pose 0 = 5*d + 2*f + 440, 3*d + 260 = f - 15. Let y be d - (1 + -3)/(-6)*3. Let v = 132 - y. Is v a prime number?
True
Let j be 6/12*(-2 + 2). Suppose j = 5*m + 20 - 35. Suppose -3*s = 5*q - 16, -2*s + m*q - q = -16. Is s a composite number?
False
Suppose -5*a = -3*w + 1103, -7*a + 6*a = -3*w + 1099. Suppose w - 1192 = -14*i. Is i a prime number?
True
Suppose -18*q = -20*q - 6. Let j be (q/(-2) + 0)/((-2)/(-4)). Let g(m) = 76*m**3 + m - 4. Is g(j) a prime number?
False
Suppose 2*f - 1 = z + 27, -z + 56 = 5*f. Suppose f = 4*i + 4. Suppose t + i*k - 555 = 0, 2*t + 3*t + 3*k = 2782. Is t prime?
True
Suppose -115*j - 3*s = -113*j - 523231, 5*s + 523175 = 2*j. Is j composite?
True
Let n(p) = 4*p + 11. Let i be n(10). Let z = 59 - i. Suppose -z*g = -5*g - 6303. Is g a prime number?
False
Let a(s) = 6*s**2 + 7*s + 12. Let w be a(-2). Is (2/(-4))/(w/(-926596)) a prime number?
True
Let a(c) = c**3 + 24*c**2 - 306*c + 33. Is a(50) a prime number?
True
Let j = -2086 + 5663. Is 2 + j/14 - (-2)/(-4) a composite number?
False
Suppose -115347 = -29*m + 1569118. Is m prime?
False
Let g(j) = -5*j**3 - 4*j**2 - 9*j + 7. Let u(f) = 11*f**3 + 7*f**2 + 18*f - 14. Let v(y) = 13*g(y) + 6*u(y). Let d be (2 + -1)*(1 + 12). Is v(d) prime?
True
Let y(h) = 200*h - 55. Let a be 660/80 + (-10)/8. Is y(a) a prime number?
False
Suppose 0 = 64*x - 58*x - 144. Is x/120 + (-8694)/(-5) prime?
False
Let r = 16 - 2. Suppose 0*l = -2*l - 2*s + r, 4*l - 4 = 2*s. Suppose 59 = 4*g - l*g. Is g a prime number?
True
Let j(m) = 44*m**2 - 28*m - 371. Is j(-46) a composite number?
True
Suppose 3*l = -4*h + 660665, 833 = 5*l + 798. Is h a composite number?
False
Let u(o) = 1281*o - 1636. Is u(27) composite?
True
Let k = -583304 + 1142467. Is k a prime number?
False
Let n = -3775 - -5399. Let l = n + -65. Is l prime?
True
Suppose 0 = -5*w - 4*g - 16 - 5, 4*w + 4*g + 16 = 0. Let v = 80 - w. Is (-1*41)/((-17)/v) a prime number?
False
Let x = -3852 + 8843. Suppose 3*c + 4*m = -x, -2*c + c - 2*m - 1667 = 0. Is c*(3/3)/((-2)/2) a composite number?
False
Suppose 150829 + 396994 = 12*u - 109861. Is u a composite number?
True
Let z = 276 + -175. Suppose -z*x + 105*x = 10172. Is x a prime number?
True
Suppose 2*m - 5*m + k = -35, k = -2. Suppose m*j + 25 = -30. Is (-1614)/15*j/2 a composite number?
False
Let p(c) be the third derivative of 7*c**5/30 - c**4/6 - 35*c**3/6 + 16*c**2 + 1. Is p(-6) prime?
False
Let p(k) = 23*k**2 + 368*k - 142. Is p(69) a composite number?
False
Let l(d) = 430*d + 2123. Is l(38) prime?
False
Let v(i) = -132*i + 9761. Is v(59) a composite number?
False
Let y(j) = -j**3 + 4*j**2 + 8*j - 12. Let o be y(5). Suppose o*w = 26 - 11. Suppose -787 = w*c - 6*c. Is c a prime number?
True
Let g = 196 - -367. Let r = 6 - 2. Is (g/r)/(2/8) prime?
True
Let v(d) = -9*d**3 - 8*d**2 - 32*d - 1. Is v(-18) prime?
False
Let c(t) = 1064*t - 2697. Is c(17) a prime number?
True
Let a(u) = -12*u + 24. Let j(n) = -n**3 + 2*n**2 + n + 16. Let s be j(0). Let c be a(s). Let r = c + 313. Is r a composite number?
True
Let v = 6772 - 2285. Is v composite?
True
Suppose -2*w + 269968 = -186*v + 188*v, -5*v = w - 674932. Is v a prime number?
False
Let i be ((-64)/(-6))/((-11)/((-495)/10)). Is -9*(-8)/i*(-14204)/(-6) a prime number?
False
Let d(c) = 454*c + 411. Is d(17) composite?
True
Let r(n) = 432*n**2 + 12*n + 14. Let d be r(-2). Let i = d + -880. Is i a prime number?
False
Let y(c) = 1647*c - 2. Let f be y(8). Let l = -7462 + f. Let s = l + -3817. Is s prime?
False
Suppose -14*p = -11391 - 15559. Let o = -788 + p. Is o prime?
False
Let m(c) = -2*c**2 - 8*c + 12. Let w be m(-5). Let s(o) = -20*o - 29*o - 37 - 4*o**2 + 7*o**w - 4*o**2. Is s(-27) a prime number?
True
Let i be (-4)/18 + ((-3412)/(-36))/(-1). Let d = i + 94. Is (-88)/d + (-5 - (-42)/7) a prime number?
True
Suppose -4*l = -780 - 768. Let a = -274 + l. Suppose -3*x + 28 + a = 0. Is x prime?
True
Is -1*(1407128/(-10) - 83/415) a prime number?
False
Let j(l) = 2*l**2 - 2*l - 116. Let w be j(0). Let u = 231 + w. Suppose u = o - 12. Is o prime?
True
Let t = 4631 + -129. Suppose -4*n + i = -4*i - t, 2*i = 5*n - 5619. Is n a composite number?
False
Suppose 9*t - 4*t + 687 = 4*s, -s + 3*t + 177 = 0. Suppose 4*z - r + 0*r - 202 = 0, 0 = -2*z + 2*r + 98. Suppose 0 = -3*y - z + s. Is y a prime number?
False
Is (-312)/(-156) - (-1 + -3548) prime?
False
Let f = 1 - 0. Let x = 643 + -642. Is 3*f + 188/x composite?
False
Is ((56/16)/((-49)/(-84)) - -435745)*1 composite?
False
Let r(v) = 38*v - 65. Suppose -4*o + 5*s + 46 = -o, 2*o - 14 = -5*s. Is r(o) a prime number?
False
Suppose 3*h = -3*w - 111, -2*h - 4*w - 63 = 21. Let n = 22 - h. Is (-18)/n - 12896/(-6) prime?
False
Let h(q) be the third derivative of -13*q**7/1260 + 5*q**6/144 - q**5/3 + 14*q**2. Let o(f) be the third derivative of h(f). Is o(-13) composite?
False
Let v(i) = -75*i**3 + 4*i**2 + i + 1. Let q = 201 - 205. Is v(q) a composite number?
False
Let w = 30093 + -17961. Suppose -5*l + 54457 = 3*a, -l + w = -a + 30279. Is a prime?
True
Let m = -145 - -143. Is 81 - (-3)/(-2)*m/3 a composite number?
True
Let j(t) = t**3 + 14*t**2 - 1. Let q be j(-14). Let f(m) = 2391*m**2 + 4*m + 4. Is f(q) a prime number?
False
Let k(l) = 34 - 18 + 716*l - 17 - 266*l. Is k(3) a prime number?
False
Let p = 217 - 138. Suppose 5*k + p = -5*s + 24, 1 = -s. Is (-2492)/k - 5/25 prime?
False
Suppose 24865 + 23525 = 15*k. Let x = k + 280. Suppose -4*c + x = 4*d - 9*c, -5*c = 5*d - 4405. Is d composite?
True
Let x be ((-27)/(-12))/(24/64). Suppose -r - x*a + 1969 = -2*a, -2*r + a + 3974 = 0. Is r a composite number?
True
Let u be (-13)/104 + (-142)/16. Let o(g) = 180*g**2 + 11*g + 22. Is o(u) prime?
True
Let u(j) be the second derivative of 97/2*j**2 + 0 + 5*j + 1/20*j**5 + 1/12*j**4 + 1/3*j**3. Is u(0) prime?
True
Suppose 0 = 32*o + 16 + 16. Is 2*(1 - 1262/4)*o a prime number?
False
Let u be ((1 - 7) + -3)/(6/(-4)). Let n(a) = a**3 - 7*a**2 + 4*a + 10. Let b be n(u). Is (1011 - 36) + -4*2/b a composite number?
True
Let k = 35 - 35. Suppose 2*l - d - 4861 = k, -4*l + 0*d + 9742 = 2*d. Suppose 0*n - l = -5*n + c, -964 = -2*n + 5*c. Is n composite?
False
Let j = -8197 - -13790. Let v = 8114 - j. Is v a prime number?
True
Let b(m) = m**3 - 6*m**2 + 8*m - 7. Let s be b(5). Let n be (34/s - 4) + (-14)/(-8). Suppose -4*r + 6785 = 5*q, 5439 = 4*q + n*r - r. Is q composite?
False
Let n(l) = l**3 + 5*l**2 + 3*l - 4. Let z be n(-4). Suppose z = 8*q + 6 + 42. Is q/(-4)*4862/39 a composite number?
True
Suppose 675498 = 5*y - 5*q - 215497, 0 = -5*y - 2*q + 891016. Is y prime?
False
Let z(i) = i**2 - 2*i. Let d be z(3). Let r(k) = k**3 - 2*k**2 - k + 4. Let g be r(d). Suppose 1262 = g*j - 8*j. Is j a prime number?
True
Let d(x) = 4847*x**2 - 7*x - 5. Is d(2) prime?
False
Let p(d) be the second derivative of -467*d**3/3 - 21*d**2/2 + 110*d. Is p(-8) composite?
False
Suppose 0 = -3*j - 15 - 3, -2*j + 34783 = 5*u. Is u a prime number?
True
Let t = -39 - -33. Let d be ((-3)/t)/(3/12). Suppose 5*w - 235 - 437 = -d*a, w - 1362 = -4*a. Is a a prime number?
False
Let g(q) = 2*q**3 + 20*q**2 - 43*q - 4. Let w be g(2). Suppose 5*m + i = 48 + 94, -4*m + 3*i = -106. Is (1106/m)/(1/w) prime?
False
Let y = 94308 + -17497. Is y a composite number?
True
Suppose -9*w + 451 - 406 = 0. Suppose -9*f + 13253 = v - w*f, 53012 = 4*v + 5*f. Is v a composite number?
True
Let j(p) = -2*p**3 - 33*p**2 - 48*p - 131. Is j(-32) prime?
True
Suppose -1025898 = -2*h - 5*w, 4*h + 4*w - 2051816 = -w. Is h a composite number?
False
Suppose 2*m - 61 + 23 = -2*z, 0 = -3*z - 5*m + 67. Let h = 14 - z. Suppose h = c + 3, -c - 1725 = -3*q + 3*c. Is q a composite number?
False
Suppose -4*o = 3*w - 961071 + 291859, o = -w + 167301. Is o prime?
True
Let f be ((-16)/12)/(4 + (-76)/18). Is (-18)/f + 5 + 11955 a composite number?
True
Let a = -96 + 66. Let f = -18 - a. Let v = 1029 + f. Is v prime?
False
Is (-12323)/4*(-15)/30*8 a prime number?
True
Let c = -81 + 81. Let g(n) = n**3 + 4*n**2 + n. Let s be g(-3). Suppose c = b - s*b - 5, 3698 = 5*w - 3*b. Is w a composite number?
False
Let a be (-2 - 43/(-9)) + 52/234. Suppose 0 = -y - a*f + 587, 10*f - 5*f = -y + 587. Is y a prime number?
True
Suppose -j + 610040 = 5*w, 3*w - 488026 = -w - 2*j. Is w prime?
False
Is 150/60 - 9