Is x prime?
True
Let t(h) = -h**3 + 2*h**2 - h + 2409. Let j be t(0). Suppose -j - 553 = -2*d. Is d a prime number?
True
Let b(s) = -6*s - 5. Let k be b(-2). Suppose k*p + 639 = 6008. Is p a prime number?
False
Let p(i) = 181*i**2 - 2*i - 31. Is p(-6) composite?
True
Let g = -144 + -248. Let u(t) = -73*t**3 - t**2 + 4*t + 1. Let x be u(-2). Let z = g + x. Is z prime?
True
Suppose 8*o - 5*o - 12515 = -5*j, -5*o = -j + 2503. Is j a composite number?
False
Let u = 3266 - 1497. Is u prime?
False
Suppose 44*b - 54948 = 47176. Is b a prime number?
False
Suppose 4*u + 5687 = 17731. Is u a composite number?
False
Suppose 4*q = -250 + 1302. Suppose r + 6 = -r, -3*r = -2*h + q. Is h prime?
True
Suppose t + 2*v = -24, 75 = -2*t - 3*v + 8*v. Let r = t - -34. Let k(m) = 4*m**3 - 6*m**2 + 7*m - 5. Is k(r) prime?
False
Let x(y) = -y**3 - 7*y**2 + 2*y + 7. Let p be x(-6). Let r = p + 126. Let n = 228 - r. Is n prime?
False
Suppose 0 = 2*t - 3*y + 159, 0 = -2*t + y - 27 - 126. Let z = t - -198. Suppose 3*q - z = -30. Is q a composite number?
False
Let p = -78 + 82. Suppose 3617 = 4*u + 3*h + 849, -h + p = 0. Is u prime?
False
Suppose -18*b = -16*b - 4. Let r be b - (-1 - (374 + 3)). Suppose r = s + s - 3*f, 2*f - 931 = -5*s. Is s a prime number?
False
Suppose 20655 = 2*f - 16055. Is f prime?
False
Suppose 4*y + y = 5, -3*h = 2*y - 302. Suppose 0*b + 2*b - h = 2*j, j = -b + 56. Is b a composite number?
False
Let f(c) = c**3 + 6*c**2 + 1. Let x be f(-6). Let u be (-18)/30*5*x. Is u/(-9)*1*699 a prime number?
True
Suppose -v = -5*v + 180. Let z be (-81)/v + 1/(-5). Is (z + -2 + 5)*31 a composite number?
False
Suppose 0 = 3*j + 2*v + 2*v - 22009, j = -4*v + 7347. Is j prime?
True
Suppose -p + 2 = -2, 4056 = 4*x - 5*p. Let i = x + 240. Is i a composite number?
False
Let z(i) = 184*i**2 - 4*i - 49. Is z(-6) prime?
True
Suppose 2*o - 482 = 438. Let q = -152 + -45. Let x = o + q. Is x composite?
False
Is 106013/6 + 93/558 prime?
True
Let w = -38 - -43. Suppose -w*q + 3226 = 591. Suppose -y = -212 - q. Is y a prime number?
True
Suppose f + 2*w - 2 = 4, f - 12 = -5*w. Suppose 33 = -5*v + 8, 0 = f*h - 5*v - 43. Suppose -101 = -3*g + 4*r, -79 = -2*g + 4*r - h. Is g a composite number?
False
Suppose 95345 = -18*m + 524447. Is m prime?
False
Let h(n) = 119*n**2 + 9*n + 69. Is h(-4) a prime number?
False
Let a = -27 + 27. Suppose a = 5*o - 2*o + 5*m - 982, -4*o + 1261 = -3*m. Is o prime?
False
Suppose -4*x - 5*c = -12401, -1 = -2*c + 9. Suppose -11*k = -10761 + x. Is k composite?
True
Let g(z) = z**3 - 8*z**2 - 2*z - 2. Let n be g(8). Let c = n + 15. Let a(v) = -71*v - 2. Is a(c) a prime number?
True
Let s(g) = -4*g - 54. Let i be s(-10). Let o(m) = -m**3 - 2*m**2 - 19. Is o(i) prime?
True
Is (10/(-20))/((-3)/25494) composite?
True
Suppose 3 = 4*o - 9. Suppose 5*c - o*m - 3559 = 0, -5*c - 4*m + 8*m = -3557. Is c a composite number?
True
Suppose k - 7*k = 156. Let u = k + 184. Is u composite?
True
Let j be 2 - (-68)/8 - 1/(-2). Suppose j*z - 5*z - 4074 = 0. Is z prime?
False
Suppose 8*c = 3*c - 15. Let t be (42/(-15))/(c/75). Suppose 3*y - 125 - t = 0. Is y prime?
False
Suppose -24*n + 46*n - 483758 = 0. Is n a composite number?
True
Suppose 5*c - 6*t - 3 = -2*t, -4*t + 3 = -3*c. Suppose -w - 3*w - 2809 = -c*p, 3*p + 4*w - 2801 = 0. Suppose 0 = -18*y + 13*y + p. Is y a composite number?
True
Suppose -30*a = -38*a + 2040. Let f(k) = 4*k**2 - 2*k + 1. Let c be f(1). Suppose -c*u = -0*u - a. Is u prime?
False
Let m(d) be the third derivative of d**4/24 + d**3/3 - 6*d**2. Let z be m(-1). Is (z*-107)/(6/(-12)) composite?
True
Let v be -22*(-212)/16*2. Let w = v + -164. Is w a composite number?
False
Let x = 42 + -46. Let h = x - -18. Is h a prime number?
False
Let o = 10 - 13. Let g = 16 + o. Let w = g + 24. Is w composite?
False
Let t(u) = 1127*u**2 + 1. Let z be t(1). Let p = z - -125. Is p + -4 + 2 + -2 a composite number?
False
Let n(h) = -1 + 4*h - 9*h**2 + 17*h**3 + 8*h**3 + 7*h - 3*h**3. Is n(5) a prime number?
True
Suppose -n = 2*n + 3, 2*u = 4*n + 262. Let b be -1 + -1*u*1. Let c = -93 - b. Is c a prime number?
True
Let g = 96 + -264. Is ((-452)/(-6))/((-16)/g) prime?
False
Let j(z) = 0 + 3 + 4*z - 2. Let u be (1 + 4)*36/20. Is j(u) a prime number?
True
Is (-1066582)/(-44) + (-3)/2 composite?
False
Suppose x + 12213 = 10*x. Is x a composite number?
True
Suppose 0 = -6*w + 9 - 3. Let u(p) = 694*p**2 + p - 1. Is u(w) a prime number?
False
Let z(n) = 678*n**3 + n**2 - 3*n + 1. Is z(1) prime?
True
Let b be 425/136 + (-2)/16. Let x(n) = 463*n - 6. Is x(b) a composite number?
True
Let p(r) = 4*r**3 + 2*r**2 - 3. Let c be p(4). Let m = 4 - 4. Suppose 0 = 5*t - m*t - c. Is t prime?
False
Let q(u) = 429*u**3 + 3*u**2 - 13. Is q(3) composite?
False
Let m(b) = 2*b**2 - 8*b - 2. Let s be m(6). Let i = 19 - s. Is i + (24*4 - 0) a composite number?
True
Is (-1)/((-10)/65)*(-134)/(-1) composite?
True
Let k = 607 - 2068. Let x = -1009 + k. Let f = -1155 - x. Is f a composite number?
True
Suppose -j - 5*y + 167 = -21, 0 = j - 2*y - 153. Is j a prime number?
True
Let c be (-13 - (-4 - -1))*-114. Suppose -5*k + c = -1115. Is k composite?
True
Let l(t) = -1 - 3*t**2 + 0 + 2*t**2 - 4*t + 4. Let i be l(-4). Is (-10)/15 - (-155)/i a composite number?
True
Suppose -49*n + 42*n + 133777 = 0. Is n a prime number?
False
Let r = 22 - 19. Suppose 0*v + 2*a - 210 = -4*v, -4*a = r*v - 165. Is v composite?
True
Let p(x) = x**3 + 9*x**2 - x + 4. Suppose -2*b - 4*v = 44, -2*v = -4*b + v - 44. Let n be b/(-1)*(-3)/6. Is p(n) a prime number?
True
Let x be ((-2)/6)/((-3)/2889). Let g = x - 168. Suppose -3*j + 2*r = -g, 2*r + 232 - 26 = 4*j. Is j composite?
False
Let y = -751 + 1254. Is y composite?
False
Let y be 45*-2*(-1)/1. Let r(c) = 2*c**2 + 3. Let a be r(0). Suppose -2*w + 80 = a*n, -n - 2*n - y = -3*w. Is w a composite number?
True
Let j(n) = 2*n**2 - 52*n - 183. Is j(46) prime?
True
Let b = 1844 - -237. Is b composite?
False
Let m = 1749 + -1004. Is m a prime number?
False
Suppose x - 83 = 13*j - 9*j, -j = -2. Is x a composite number?
True
Suppose -41*v = -39*v - 5266. Is v composite?
False
Let w be (-16)/(-24) + 1243/3. Suppose -7*j + 2*j = w. Is j/(0 - (-4)/(-4)) a composite number?
False
Let o be -3 + 1 - (6 + -12). Suppose -4 = -o*u + 20. Suppose c - u*c + 1015 = 0. Is c composite?
True
Let v be (-453)/(-3) + 4 + -4. Suppose 3*s = f + v, -5*s = 2*f - 4*f - 251. Is s a composite number?
True
Let k(r) = 839*r - 61. Let t be k(-10). Let c = t + 14266. Is c composite?
True
Suppose -21 = 6*n + 87. Is 8883/4 - n/72 prime?
True
Let r(n) = -1 - 27*n**2 + 0*n + 28*n**2 + n. Let c be r(2). Suppose 0 = 4*u + 3*x - 1495, 5*u = x - c*x + 1869. Is u composite?
False
Suppose g = -4*g + 5*o + 65, -3*o = g + 3. Let w(y) = 20*y - 15 + 22 - g. Is w(3) composite?
True
Let d be 44/(-11)*58/(-8). Suppose -m = 5*o - 164, m - d = -o - 3*m. Is o a prime number?
False
Suppose 26*w - 23*w = 1665. Suppose 1812 + w = 9*z. Is z prime?
True
Let f be (1*-24)/(2/(-113)). Suppose 4*r + 116 - f = 0. Suppose 4*u - r = 2*u. Is u prime?
False
Let o(v) = v - 1. Let i be o(5). Suppose 990 + 638 = i*z. Is z composite?
True
Let x = -38 - -124. Let a = -202 - -119. Let z = x - a. Is z composite?
True
Let t be -4 + (0 + 4 - 4). Let o(r) = 3 - 3*r**3 + 3*r - r + 2*r**3 + 2*r**2. Is o(t) a prime number?
False
Suppose -6*p = -3*p. Let n = p + 6. Is n/21 - 789/(-7) a composite number?
False
Let t = 6235 + -3512. Is t composite?
True
Let n(d) = -357*d - 32*d - 116*d - 523*d - 3. Is n(-4) a prime number?
False
Let h(t) = t**3 + t**2 - 2*t - 1. Let v be h(-1). Let o(q) = 1757*q**2 + 2*q. Is o(v) prime?
True
Let q be (6/(-9))/(8/72). Is (0 + q/12)/((-1)/212) composite?
True
Suppose 64*f - 47292 = 30340. Is f a prime number?
True
Let r = 236 + -202. Is r composite?
True
Suppose 0*v - 5*v = 2*i - 24, -2*i - 12 = -4*v. Let c be -8 - -9 - 18/(-1). Let j = c - v. Is j a composite number?
True
Let z(d) = -d**3 - 3*d**2 + 3*d - 2. Let k be z(-4). Suppose 138 = k*a - 0*a. Is a composite?
True
Let o(f) = 86*f**2 - 3*f - 1. Is o(-6) a prime number?
False
Let x = -76 - 106. Suppose 0 = 26*h - 29*h - 99. Let i = h - x. Is i a composite number?
False
Suppose 97191 = 20*a - 58069. Is a a prime number?
False
Let o(b) = 4*b**2 - 26*b - 9. Let p be o(7). Supp