x**2/2 + 6*x - 4. Is c(i) prime?
True
Suppose 502 = 3*k - 4*d - 56, -4*d = k - 170. Let g = k + -88. Is g composite?
True
Suppose -26*a - 285874 + 1610600 = 0. Is a composite?
False
Suppose -4*c = -2*c + 8, 3*c = -5*t + 103. Suppose t*n - 27*n + 380 = 0. Is n a prime number?
False
Let d be (-5564)/(-10) + 3/5. Suppose -c + 5*p - d = -1930, -4*p = 3*c - 4081. Is c a prime number?
False
Let z = -36 + 40. Suppose 0 = 2*l - z*o - 138, 0 = -l - 4*l - 3*o + 280. Is l a composite number?
False
Suppose -4 = -12*u + 10*u. Suppose -u*b = 2*b - 740. Is b a composite number?
True
Let r = -27 - -31. Suppose r*y + 5*a + 72 = 5*y, -5*a + 82 = y. Is y prime?
False
Let c(v) = -5*v**2 - 41*v - 1. Is c(-5) a prime number?
True
Suppose -161 = -n + 99. Suppose 3*w - n = 2*w. Suppose w = 14*b - 10*b. Is b a composite number?
True
Suppose 10982 = 4*c + 3246. Is c composite?
True
Let k(g) = -12*g + 6. Let u be k(1). Let d(w) = 18*w**2 + 4*w + 7. Is d(u) a prime number?
True
Suppose 20 + 0 = 4*n. Let x be 20*(3 - (-295)/4). Suppose 0*k + x = n*k. Is k composite?
False
Suppose 2*v = -5*o - 0*o + 40, -5*o + 2*v = -40. Suppose -o*n - 445 = -9*n. Is n prime?
False
Is ((-12791664)/60)/(-4) - (-2)/5 a composite number?
False
Let u(b) = -b**3 + 8*b**2 - 8*b + 12. Let v be u(7). Suppose -197 = -v*t + 2408. Is t prime?
True
Let q(d) = d - 16. Let w be q(16). Suppose -2*f + 4*f - 166 = w. Is f composite?
False
Let r = 10852 - 6885. Is r prime?
True
Suppose 2*o - 8 = 4*x, 2*x - x - 4 = 2*o. Is (o/3)/((-2)/2253) a composite number?
True
Is 286 - 1 - 34/(-17) - -6 a prime number?
True
Let k = 3818 + -429. Is k a composite number?
False
Let a be (2 - 14) + 0/2. Let i be a/3*(0 - 1). Suppose 3*w - 36 - 532 = -4*v, -w - 584 = -i*v. Is v a prime number?
False
Suppose 3*s + 548 + 476 = 2*d, -364 = s + 5*d. Let h = s - -808. Suppose 4*p - h = -4*p. Is p prime?
False
Let z = -14 + 2. Let t be -216*(2 + 33/z). Suppose 5*c - 113 - t = 0. Is c composite?
True
Let t(i) = -3647*i - 99. Is t(-4) a prime number?
True
Let b = 63 + -58. Suppose m = b*p - 4*m - 1080, -m = 5. Is p composite?
False
Let t = -5600 - -11215. Is t a prime number?
False
Suppose 10*r - 39768 = -14*r. Is r a prime number?
True
Let o(y) = 9*y + 20*y**2 - 69 - 4*y**2 - y**3 + 74. Let g be o(7). Let m = 906 - g. Is m prime?
True
Let f = -9454 + 28285. Is f prime?
False
Let b be 7/(21/(-6)) + 6. Suppose -5*t + 1 = -b*h + 91, 2*h - 3*t - 44 = 0. Let k = 9 + h. Is k a prime number?
False
Suppose 1 = i - 1. Let x(n) = 13*n - 3. Is x(i) a composite number?
False
Suppose -2*d + 4*b = -d - 11605, -4*b + 46480 = 4*d. Is d prime?
True
Let g(w) be the third derivative of -1/6*w**4 + 3*w**2 - 1/6*w**3 + 0*w - 1/10*w**5 + 0 - 17/120*w**6. Is g(-4) prime?
False
Suppose -2*g + g + 2*v - 2 = 0, 4*g - 2 = -2*v. Suppose g*z = -z + 817. Is z a prime number?
False
Let o = 35 - -3. Let s = o + 356. Suppose s = 4*j - 234. Is j composite?
False
Let i(n) = 2*n**2 + 28*n + 59. Is i(-27) composite?
False
Let u(v) = 13*v**2 - 8*v - 10. Let g be u(-10). Let c = g - 583. Is c composite?
False
Let m be 984/9 - 2/(-3). Let q = -42 + m. Suppose -2*b = -4*b + q. Is b composite?
True
Let h = 1677 - 1113. Let x = h - 241. Is x a composite number?
True
Let c be 1/(1/716) + -1. Let s(b) = -b**3 + 6*b**2 + 16*b + 12. Let n be s(8). Suppose -c = 7*t - n*t. Is t a composite number?
True
Suppose 0 = 5*g - 8 - 12. Suppose g*y + 49 = 5893. Is y prime?
False
Let b(w) = w**3 - 15*w**2 - 30*w - 53. Is b(25) prime?
False
Suppose 45*a - 44434 = 19*a. Is a a composite number?
False
Let b be (-32)/40*15/(-6). Is (5 - 4)*(4987 - b) prime?
False
Suppose 0 = 2*j - s - 1702, 2*j = 4*s + 718 + 972. Is j a composite number?
False
Suppose 3*v + 8770 = 74341. Is v a prime number?
False
Is 5 + (4 - (1 + -5713)) prime?
False
Let s(x) = -x**2 - x + 6. Let p be s(-5). Let q(r) = -5*r + 7. Is q(p) composite?
True
Suppose 3*n = 289731 - 83700. Is n a prime number?
False
Let h(v) = -v - 3. Let s be h(-7). Let r(y) = 128*y**2 + 2. Let i be r(2). Suppose 0 = -b + 3*f + 518, -b - 5*f = -s*f - i. Is b a composite number?
True
Let w(b) = -2*b + 955. Let r = 68 + -68. Is w(r) prime?
False
Let o(q) = -1784*q**3 - 2*q**2 - 5*q - 4. Let x be o(-1). Suppose -7*d + 8160 = x. Is d a prime number?
True
Suppose -1 = 3*q - 16. Suppose -q*r + 2110 = -3*r + b, 3*r - b - 3160 = 0. Suppose -2*j + j + 1051 = 2*i, -2*j - r = -2*i. Is i a prime number?
False
Is (1667888/(40/5))/2 a prime number?
True
Let l(w) = 26*w**2 + 122*w + 29. Is l(48) composite?
False
Suppose -12*f + 36 = -8*f. Let s = 12 - f. Suppose 13 = s*w - 8. Is w a prime number?
True
Suppose -2*v + 11 = 7. Suppose 5*s = v*s + 822. Is s prime?
False
Let l(y) = y**2 - y - 5. Let f be l(5). Let j(t) be the second derivative of t**5/20 - 7*t**4/6 - 4*t**3/3 + 11*t**2 + 121*t. Is j(f) a prime number?
True
Let p = 36989 + -7266. Is p a prime number?
True
Suppose j - 3 = -2. Let x = j + 1. Suppose 208 = 4*u + 2*l, 57 = 3*u - 2*u - x*l. Is u a composite number?
False
Suppose -5*a - 20*a = -958825. Is a a prime number?
False
Suppose 3*s + 8 = 20. Suppose -187 = -s*l + 433. Is l a composite number?
True
Let n(v) = -9*v**2 + 71 - 5*v**2 - v**3 - 76 + 8*v. Is n(-16) a prime number?
True
Suppose 5*u = 3*a + 7246, -2*u + 4*u - a - 2899 = 0. Is u a composite number?
False
Is (-128)/(-256) - (-50781)/2 a composite number?
False
Let n = 466 - 222. Let g = n - -93. Is g a prime number?
True
Let q be (-3 + 6)*15/9. Suppose -3*w - 675 = -q*r - 8*w, r - 3*w = 119. Suppose -5*p - r = -3*d, 66 = 2*d + p + p. Is d composite?
False
Let n = 5 - 5. Let o = -1362 + 2031. Suppose n = -5*t - 124 + o. Is t a prime number?
True
Suppose 4*l + 6*m = 5*m + 81910, -40948 = -2*l + 3*m. Is l composite?
False
Let v = -24 + 40. Let r = 4 + v. Suppose -n - r = -3*n. Is n a composite number?
True
Let a(k) = k**2 + 6*k + 5. Let j be a(-9). Let b = j - -117. Is b composite?
False
Suppose 6877 = 5*x + 8*x. Is x a composite number?
True
Let v be (-10)/45 - 345/27. Let u = v - -236. Is u a prime number?
True
Let c be ((-20)/6)/(10/(-12)). Suppose -c*z = -z - 261. Is z a prime number?
False
Let t(r) be the first derivative of -8*r**2 + 5*r + 9. Is t(-3) a prime number?
True
Let d be 12/(-6) + 6/(-2). Let i be (-2)/d - 249/(-15). Suppose -843 = -4*g - 2*o - i, 3*g - 603 = 4*o. Is g a composite number?
True
Suppose 4*s = -4*u + 34124 - 2436, -3*s + 2*u = -23751. Is s a prime number?
True
Let w(t) = -t**2 - 9*t - 10. Let p be w(-7). Suppose 2*y - 61 + 7 = p*k, -2*y + 54 = k. Is (-18)/y + (-322)/(-6) prime?
True
Suppose 4*h - 5208 = 10*h. Let m be (-8 + 7)/(2/h). Is (6/4)/(21/m) a prime number?
True
Let y(n) = 17*n**2 + 29*n - 8. Suppose -2*v = -3*v + 10. Is y(v) prime?
False
Let k(r) be the third derivative of 6*r**2 - 1/24*r**4 + 0*r + 0 + 79/6*r**3. Is k(0) composite?
False
Let r(c) = 1. Let z(v) = -304*v - 12. Let h(q) = -6*r(q) - z(q). Is h(2) composite?
True
Let v(w) = -w**3 + w + 1. Let j(y) = 2*y**3 + 13*y**2 - 19*y - 8. Let n(u) = -j(u) - 3*v(u). Let h be (-12)/7*(-1 + -6). Is n(h) a composite number?
False
Suppose -29*h = -11*h - 68562. Is h prime?
False
Let l be (120/5)/(2 + 221/(-112)). Let t = l + -517. Is t composite?
False
Let h(j) = j**3 + 12*j**2 + j - 1. Is h(-8) a prime number?
False
Let m(h) = 122*h**2 - 15*h - 64. Is m(-5) prime?
True
Suppose -7*a - 3 = -17. Suppose 0 = -a*u + 6*u - 2444. Is u a composite number?
True
Suppose -10*g = -15*g - 15. Is (g/(-6))/(2/1676) a prime number?
True
Is (-1 + -4)/(7 - (-68832)/(-9832)) prime?
False
Let v = -17074 - -28865. Is v a prime number?
False
Let w(m) = 0 - 3 - 4*m + 16*m**2 - 4. Let o(c) = -2*c**3 - 25*c**2 - 32*c + 17. Let i be o(-11). Is w(i) composite?
True
Suppose 0 = -2*o - 3*o + 4*o. Let m(h) = 157*h**2 + h - 1. Let i be m(1). Suppose o*k - i = -k. Is k a prime number?
True
Suppose 8*h - 5 = 3*h. Let w(p) = 252*p**3 + p**2 - 5*p + 3. Is w(h) a prime number?
True
Let o = 114 - 75. Is 0 + 30960/o + (-4)/(-26) composite?
True
Let v(w) = -3*w + 7. Suppose 0 = -5*j - h - 63, 15 = -5*j - 2*h - 51. Is v(j) composite?
False
Let x(b) = 73*b**2 - 5*b - 2. Let o = -24 + 21. Let t be x(o). Suppose 35 = -5*h + t. Is h composite?
False
Let r(i) = -111*i + 3. Let z(d) = -d**2 - 6*d - 1. Let k(x) = x**2 + x. Let g(q) = -6*k(q) - z(q). Le