se x - 16 = -5*k, 2*k - 6 + 2 = 2*x. Suppose 0 = -k*d + 5 + 1. Is (2 + -3)*(-254)/d a composite number?
False
Let v = -76 - -176. Suppose -16 = 4*t - v. Suppose 3*o = t + 48. Is o a composite number?
False
Suppose w - v = -0*v + 4, 8 = -2*v. Suppose w = -2*l + 229 + 177. Is l composite?
True
Let m(t) = -17*t. Let c be m(-1). Suppose -16*w - 419 = -c*w. Is w prime?
True
Suppose 0 = -d + 4, 5*m - 29 = 3*d + 539. Suppose -5*q + m + 49 = 0. Is q a composite number?
True
Let x(j) = -3*j - 13. Let z be x(-8). Let c(a) = a**2 - 10*a - 8. Is c(z) prime?
True
Suppose -5*g - 5*l + 35 = 0, -4*g - 5*l + 2 = -2*g. Is g prime?
True
Suppose -2*j + 3*j - 6 = 0. Let x = -4 + j. Suppose u - 45 = -2*q + 21, 5*q = x*u + 174. Is q composite?
True
Suppose -6*a = -2527 - 3947. Is a prime?
False
Let h(t) = -4*t**3 - 2*t**2 + 5. Let x be h(4). Let d = x + 474. Is d a composite number?
False
Suppose -3*m - 71 + 693 = -5*s, 4*s = -2*m + 422. Is m a prime number?
False
Suppose 0 = 5*k - 621 - 59. Let m = -81 + k. Is m prime?
False
Let s = 190 - -23. Is s a prime number?
False
Suppose 5*x - 1909 = -2*s, 2*x + 2*s = 594 + 172. Is x composite?
True
Let t(v) = v**2 + 5*v - 8. Let z be t(-7). Suppose z*w = 2*w + 484. Is w prime?
False
Let v(d) = -2 - 2*d + 6 + 7*d - 1. Suppose 4*k - 23 = 1. Is v(k) a composite number?
True
Suppose 0 = -4*m + 81 + 63. Let p be 46/(-4 + -1 + 3). Let r = p + m. Is r a composite number?
False
Suppose r = 2, -r = -5*b + 3*r + 19217. Is b a composite number?
True
Suppose -p = 3*p. Suppose p = -2*f + 4*z + 80, -4*z = 4*f + z - 121. Suppose -u - u - 5*x = -f, 3*x - 26 = -2*u. Is u a composite number?
False
Let t be 2 + -16*(2 + 0). Let p be 1833/(-5) + (-18)/t. Let z = -217 - p. Is z a composite number?
False
Suppose -18*k = -22*k + 10012. Is k composite?
False
Is (5941/39)/(2/6) a prime number?
True
Let n be ((-5)/3)/(2/6). Let a = 36 + n. Is a a prime number?
True
Suppose -3*s = -s. Suppose 2*h - 4 = -3*y - 2*h, s = 3*h + 6. Suppose 5*x - 19 - 414 = 4*j, -4*x - y*j = -332. Is x a prime number?
False
Suppose -4*t + 4240 = 4*i + 1156, -2*t - 5*i + 1548 = 0. Is t composite?
False
Let u = 67 + -64. Let h(q) = 257*q**2 + q. Let m be h(-1). Suppose u*j + 97 = m. Is j a prime number?
True
Suppose 4*b + 1502 = 2*v + 564, -5*v + 4*b + 2339 = 0. Is v a composite number?
False
Suppose -2*a = -5*d + a + 22, 2*a + 6 = -d. Suppose -4*w = -d*w - 28. Is w a composite number?
True
Suppose 4913 = 2*a - 5*d, a - 5*d - 1458 = 996. Is a prime?
True
Let b(t) be the first derivative of t**3/3 + 9*t**2/2 + 9*t + 3. Is b(7) a prime number?
False
Let w be (2 + 2)*141/12. Let u be 1*-1 + 0/1. Is (0 + u)/((-1)/w) composite?
False
Let z = 388 + -261. Is z a composite number?
False
Let j be -4 + 2 - 0/2. Let a(p) = 2*p**2 + 2*p - 1. Let k be a(j). Suppose 4*x = -k*h + 3*x + 431, -2*h - 4*x = -274. Is h a prime number?
False
Let a be (-1)/4 - 33/12. Let c be (2/a)/((-4)/18). Suppose 2*r = c*r - 19. Is r prime?
True
Let b(m) = 4*m - 3. Suppose -5*h - 5 = 0, 6*z - 2*z - 4*h = -20. Let d be (0 - z) + (-3 - -3). Is b(d) a composite number?
True
Let p be (-5)/(-3) + 2/6. Suppose -f = p*f - 4*t - 439, 5*f - 735 = 5*t. Is f a composite number?
False
Let v(q) = 3*q**2 - 11*q - 3. Let d be v(11). Suppose 5*o + 69 = -3*b + d, -5*o + b = -190. Is o prime?
True
Let y = -5 + 9. Suppose 5 = 3*m - y. Suppose 2*s = m*c - 5*c + 72, 116 = 3*c - 5*s. Is c composite?
False
Let c be 39 + (0 - 0)/2. Let u = c - 5. Is u composite?
True
Let k be (-10)/4*8/(-10). Let s(b) = -2*b + 0*b**2 - k*b**2 + 4*b - 2 + b**3. Is s(3) a prime number?
True
Suppose -17 = x + 4*y, 5*x + 4*y + 5 = -0*x. Suppose 2*r = -x*r + 290. Let o = r + -12. Is o a prime number?
False
Let r be 168/(-27) + (-2)/(-9). Let g = -716 + 490. Is r/9 + g/(-6) prime?
True
Suppose 4*v = -4*p - 0*v + 12, p = v + 11. Suppose 3*o = p*o - 236. Is o composite?
False
Let w(i) = -i - 10. Let p be w(-10). Suppose p*b - 2*z = -b + 17, z = -b + 26. Suppose -b = 5*x + 2*a - 262, 0 = -3*x + 2*a + 137. Is x a prime number?
True
Let d(f) = f**2 - 5*f + 3. Let i be d(5). Let x = 0 - i. Is (-355)/(-6) + x/18 composite?
False
Let g be 8/(-16) - (-38)/(-4). Let b = 21 - g. Is b a composite number?
False
Let u(s) = 98*s**2 + s - 2. Is u(1) a prime number?
True
Suppose 500 = z + d, -3*d - 1506 = -3*z - 8*d. Is z a composite number?
True
Suppose -2*q = -162 - 136. Is q composite?
False
Suppose 2*x - 2*a - 20 = -6*a, -4*x = -4*a - 40. Let n be (-4)/x - (-524)/10. Is n + 3/(-3) + 2 a prime number?
True
Suppose -2*h - 107 = -3*p, 9 = -5*p + 5*h + 179. Is p prime?
False
Let g(q) = 10*q - 5. Suppose x - 3*x = -5*w + 38, 0 = 3*w + 5*x + 2. Is g(w) prime?
False
Is -6 + 85/15 - (-12356)/6 a composite number?
True
Let p(x) = 15*x**2 - 2*x. Is p(5) composite?
True
Suppose -2*z = 5*x - 800, 2*x - 4*z - 182 = x. Is 1*x - (1 - 2) composite?
False
Suppose m - 20 = -3*m. Suppose 0 = -m*t + 2*o + 95, 3*t + t - 109 = -5*o. Is t prime?
False
Let w = -183 - -310. Is w a prime number?
True
Suppose 2*l - 31 = -3*l + 3*c, -2*l + c = -12. Suppose l*a = -15, 5*o + a = -4*a - 110. Let t = o - -42. Is t a composite number?
False
Suppose 3*x - 721 = 2*b, 2*x + 5*b - 470 = b. Is x prime?
True
Let k be (30/4)/(1/(-2)). Let p = 11 - k. Is p a prime number?
False
Let k(a) = a**3 + 4*a**2 - 5*a - 1. Let m be k(-5). Let d = m - -4. Suppose d = 5*y - 12. Is y prime?
True
Let l be (-2 - 1)/(4 + -5). Suppose i - l = -1. Suppose -i*t + 0*t = -4, 0 = -4*d + 3*t + 190. Is d a prime number?
False
Let j = 3046 - 2129. Is j a prime number?
False
Suppose 29 = 5*b - 166. Suppose 40 = p - b. Is p a prime number?
True
Suppose -4*k - k = -5. Let f be (2/(-4))/(k/(-6)). Suppose 0 = -f*r + 52 - 7. Is r composite?
True
Let n = 196 + -53. Is n a prime number?
False
Let r(p) = 5*p**2 + 5*p - 3. Is r(-4) prime?
False
Let z(g) = -161*g**3 - 5*g**2 + 7*g. Let x(t) = -80*t**3 - 2*t**2 + 3*t. Let k(w) = 5*x(w) - 2*z(w). Is k(-1) a composite number?
True
Suppose -2*h = -0*h - 4. Suppose w - 67 = h*a - 19, 5*w = a + 195. Is w a composite number?
True
Let g(j) = 2*j**3 - 10*j**2 + 5*j + 13. Is g(6) a prime number?
False
Suppose 0 = v - 3, -v = x - 2*v - 251. Suppose 4*n - 508 = -4*t, -4*n - x = 3*t - 5*t. Is t a prime number?
True
Let t(n) = -n**3 - 5*n**2 + 3*n - 12. Let b be t(-9). Let u(p) = 20*p**2 - 4*p + 2. Let s be u(3). Let j = b - s. Is j composite?
True
Let y = 1 + 8. Let c be 523/4 + y/(-12). Let w = 187 - c. Is w a composite number?
True
Let d(z) = -92*z - 3. Is d(-17) composite?
True
Is 48680/90 + 1/9 prime?
True
Let y = 19 + -14. Suppose 0 = 4*s - y*i - 917, -s + 2*i = 2*s - 693. Is s a composite number?
False
Suppose -2*o + 8 = 0, -436 = -3*i + o + 133. Is i a prime number?
True
Suppose -5*d - 2*c + 10477 = 0, 4*d - 5283 = c + 3096. Is d composite?
True
Let x(h) = -h**3 - 6*h**2 - 4*h - 5. Let o be x(-5). Is 2/(-5) - 344/o composite?
True
Let s be (-3)/9 + (-1046)/(-6). Suppose -2 = -3*i + 13. Suppose 11 = i*a - s. Is a composite?
False
Let b = 5 - 2. Suppose -115 = -b*i + 14. Is i a prime number?
True
Suppose 3*y = 11 + 88. Is y prime?
False
Let t(i) = 15*i**2 + 4*i - 13. Is t(-6) prime?
True
Suppose 4*s - 711 - 9 = 0. Suppose 0 = 4*m - 536 + s. Let y = m - 58. Is y prime?
True
Suppose 136 = 4*r - 12. Is r a composite number?
False
Let y = 29 + -9. Let u = y + 28. Let b = u + -15. Is b a prime number?
False
Suppose 2*w - 46 = -4*g, -2*g - g - 2*w = -37. Suppose 0 = -5*p + 4*f + 13, 0*f + g = p - 4*f. Is 3*(-158)/(-6)*p prime?
True
Suppose 0 = -2*k + 4*s + 1466, 4361 = 5*k - 4*s + 666. Is k a prime number?
True
Let d = 99 - 71. Suppose -2*g + d = -100. Suppose -339 = -5*c - g. Is c composite?
True
Is 1 + (-86934)/(-27) - (-2)/9 a composite number?
False
Suppose 0*u = 2*u - 8. Let o = 4 - u. Is o/(1 + 0) + 3 composite?
False
Suppose 11*h = 412 + 105. Is h prime?
True
Let g be (-88)/3*30/(-8). Suppose 0 = -2*b + 4*b - g. Is b composite?
True
Suppose 15 = 3*j, 4*z = -0*z + 2*j - 2. Suppose f - 77 = z*f. Let l = 110 + f. Is l composite?
True
Suppose 3277 = w + t, 6*w - w - 2*t = 16357. Is w a composite number?
True
Suppose 2*b + 3*v = -99, 3*v + 2*v + 15 = 0. Let f = b + 24. Is (-1 - -2)/((-1)/f) prime?
False
Let t(h) = -h**2 + 15*h - 19. Let s be t(14). Let n = s - -30. Is n composite?
True
Is (-263 + 4)*