*x + 242. Is x a prime number?
True
Suppose 4*a + a - 517 = y, 4*a = -4. Let c = y + 931. Is c prime?
True
Let b be 2/(-6) + (-14)/(-6). Suppose -3*u = -9, 33 = -5*v - u + b*u. Is -422*(-2 + (-9)/v) a composite number?
False
Let v = -203 - -421. Is v composite?
True
Let y(g) = 25*g**2 - g + 1. Let o be y(1). Suppose 7*q - o = 2*q. Suppose -h + 5*h - 38 = -3*n, 0 = -h + q. Is n a composite number?
True
Suppose -5*j = -5*b + 19 + 1, -2*b = 5*j + 20. Suppose -s + 186 = 5*y - b*s, 5*y = -4*s + 189. Is y prime?
True
Suppose -39 = 3*l - 429. Suppose -5*g + 615 = -l. Is g composite?
False
Suppose 8*u = 4*u + 8. Suppose -p - 3*p = 4*v - 752, u*v + 549 = 3*p. Is p a composite number?
True
Suppose -2*y - 5*h = -25 - 61, -41 = -y - 3*h. Is y a prime number?
True
Suppose -4*n + 651 = -n. Is n a composite number?
True
Let l(t) = 41*t + 2. Let x be l(4). Let b(z) = -29*z**2 - 2*z - 1. Let d be b(-2). Let s = x + d. Is s a prime number?
True
Suppose -3*p = -8*p + 10. Suppose -159 - 139 = -p*u. Is u a composite number?
False
Let f be -3 + (3 - 2)*2. Is 22*(1 + 0/f) a composite number?
True
Let d be -2 + 0/(-3) - 3. Let a = -3 - d. Is (10/15)/(a/141) composite?
False
Let i(y) = -13*y**2 - 3*y + 1. Let b be i(-3). Suppose u - 4*d = -4*u + 44, 0 = -3*u - 5*d + 56. Let x = u - b. Is x composite?
True
Let f be 38*(10/(-2) + 3). Let k be -2 + 3 + -42 + 0. Let m = k - f. Is m a composite number?
True
Let a(w) = w + 9. Let f be a(-4). Suppose 0 = -5*j - d + 3*d - 32, j - f*d = -11. Is (-1215)/(-33) - j/33 composite?
False
Let n = 159 - 84. Suppose -4*h + n = -h. Is h prime?
False
Let o = 4450 + -2847. Is o prime?
False
Let s(w) = 2*w**2 - 4*w + 7. Let n be s(-7). Suppose 118 = 4*g - 2*t, -4*t - n - 10 = -5*g. Is g composite?
False
Let m(z) = 115*z - 18. Is m(13) a composite number?
True
Suppose 0 = -3*y + 11179 + 3908. Is y a prime number?
False
Let g(y) = 4*y**2 - 3*y + 3. Suppose 5*n + 36 = -4*o, -3*n + o + 8 = -4*n. Is g(n) a prime number?
True
Let q be (-3 - -6)*(-388)/(-6). Let i = -130 + q. Let d = i + -5. Is d composite?
False
Let y(z) = 119*z**2 + 4*z - 2. Is y(1) a prime number?
False
Let o = -223 - -372. Is o prime?
True
Suppose -3*v - g = 2*g - 2994, -g + 1 = 0. Is v a prime number?
True
Let k be (-1)/(0 + -1)*1. Is (5 - -89) + (4 - k) composite?
False
Let d be ((-2)/(-3))/((-6)/9). Let v = d + 20. Is v composite?
False
Suppose 50 = -4*m - 122. Let g(r) = 21*r - 6. Let f be g(6). Let v = f + m. Is v a prime number?
False
Suppose d = 0, -3*p + 7*d = 3*d - 12. Suppose -w + 2*q + 3*q = -4, -3*q = w - p. Suppose -3*v - c + 122 = 15, 134 = w*v - 3*c. Is v a prime number?
False
Suppose -5*p = -2869 - 496. Is p composite?
False
Suppose 0*c + c + 10 = -3*n, -3*n - 35 = -4*c. Let h(s) = 15*s - 3. Let f be h(c). Suppose 0 = -4*u + f + 76. Is u a composite number?
False
Suppose 15 = 6*q - 3*q. Suppose -o - 4*b - 14 = 0, -q*o + 2*b + 2 = -16. Suppose -o*n + 13 = -25. Is n a composite number?
False
Suppose 3*a - 29 = -4*y, 4*y + 1 - 24 = -a. Let f be 176/2 + (-1 - -2). Suppose k + f = 5*l + y*k, 72 = 4*l + 3*k. Is l a prime number?
False
Suppose 0 = 5*o - 0*o - 635. Is o composite?
False
Let t = 559 - 791. Let l = -165 - t. Is l composite?
False
Suppose 0*i = -10*i + 4430. Is i a composite number?
False
Let p(z) be the second derivative of 7*z**3/6 - 2*z**2 + 7*z. Is p(2) a prime number?
False
Let t(h) = 8*h - 1. Let c be (6 + 0)*(-4)/(-8). Let z be t(c). Suppose -2*j + j = -z. Is j a composite number?
False
Suppose 0 = 4*i - 65 + 25. Let x be (-5)/(i/(-4)) - -132. Suppose -z = -6*z - m + 167, m = -4*z + x. Is z composite?
True
Let z(o) = -26*o + 7. Let h(j) = -j - 2. Let r be h(4). Is z(r) prime?
True
Let i be 236/(-10) - 2/5. Let l = 87 - 52. Let p = i + l. Is p a composite number?
False
Let k(h) = -66*h - 3. Let a(d) = 132*d + 7. Let i(b) = -4*a(b) - 9*k(b). Is i(2) a prime number?
True
Suppose -4*u = -9 - 127. Is u prime?
False
Let g = 19 - 36. Is (0 + 553)/(g - -18) a prime number?
False
Let u = 12 - -37. Is u a composite number?
True
Let b = 228 + 23. Is b composite?
False
Let b = 3 + -1. Suppose b*k + 4*g - 50 = 0, -5*k + g + 167 = 9. Is (-9)/(-3) - k/(-1) a prime number?
False
Let w = -50 + 78. Let x = w - -25. Is x composite?
False
Let y(n) = -75*n - 13. Is y(-4) a prime number?
False
Let u = 372 - 215. Is u a composite number?
False
Is 1/(-3) - (50470/(-21) - -8) a composite number?
True
Let d(i) = -2*i. Let x be d(1). Is (-299)/x - (-1)/(-2) a composite number?
False
Suppose 30 = 5*l + 5*f, 2*l + f - 2*f - 15 = 0. Let p = 60 - l. Is p a prime number?
True
Suppose 1488 = -h + 5135. Is h prime?
False
Let j be ((-20)/(-2))/((-3)/(-6)). Suppose 0*m - j = -2*m. Is (m/(-6))/((-4)/132) a prime number?
False
Let f(j) = -j**2 - 9*j - 1. Let m be f(-9). Let z be 20/8*(m - -3). Suppose 3*k + 107 = z*v + 7*k, -v + 4*k = -7. Is v composite?
False
Suppose 5*u + 1270 = a, 5*a + 3*u - 165 = 6101. Is a composite?
True
Suppose 2*m - 2 + 6 = 0, 0 = 4*i - 2*m + 304. Let k = i + 318. Let s = 368 - k. Is s a prime number?
True
Suppose -8 + 0 = 4*i. Let h be (2 - 0)/4*i. Is 1/h + 4*9 a prime number?
False
Suppose i - 5 = 2*h, -3*h - 2 = -5*i + 58. Is i composite?
True
Let q = -1146 + 1990. Let g = q - 537. Is g prime?
True
Let d = 4 - 1. Suppose -4*n + 1 = d*x - 3, -x = -4. Let j(h) = 18*h**2 + h - 1. Is j(n) composite?
True
Let n(l) = -2*l**3 - 6*l**2 - 6*l - 3. Is n(-5) a prime number?
True
Let z be (-17)/(-5) + (-2)/5. Suppose -29 = -2*p - 4*n + n, 3*p + 4*n - 44 = 0. Suppose -a = -3*r - p, -z*r + 18 = 3*a - 2*r. Is a prime?
True
Let v(d) = 2*d**3 + 2*d**2 - 2*d + 1. Let o be v(1). Suppose -o*y = 3*u - y - 23, 2*u + 6 = 4*y. Let x(h) = h**3 - 5*h**2 + 4. Is x(u) a prime number?
False
Let v = 5 - 6. Is v + 29 + (0 - -3) a prime number?
True
Let o = -347 + 766. Is o composite?
False
Suppose -5*j + 16 = 1. Let n be 0/((-1 + 4)/j). Suppose n = -2*u + 40 + 54. Is u a prime number?
True
Let y(z) = -z**3 + 10*z**2 + 9*z - 13. Let o be y(11). Let q = o + 165. Suppose -8*w + q = -3*w. Is w a prime number?
False
Suppose -3*y - 802 = -5*v, 5*y = 4*v - 503 - 136. Let k = 235 - v. Is k a composite number?
True
Let k = 708 - 439. Is k composite?
False
Suppose 2*x - 91 = -y, 2*y - 5*x + 0*x - 146 = 0. Is y composite?
False
Suppose 7*m = 3*m + 860. Suppose s - 3*k = 43, -s - 4*s = -5*k - m. Is s prime?
True
Let c(i) = 3*i - 4. Let l be c(3). Let u(g) = 1 + 7*g**2 - 10 + 5*g - l*g**2. Is u(-8) a prime number?
True
Let k = -644 + 1809. Suppose 0 = 4*l - 9*l + k. Is l a prime number?
True
Suppose -3*l = -3*r - 1020, -321 = 4*r - 2*l + 1041. Let s = -113 - -79. Let y = s - r. Is y prime?
True
Let j = 4 - 2. Suppose -i - 104 = -j*q - 2*q, 0 = 3*q - 2*i - 78. Is q a composite number?
True
Let i(n) = n**2 - 2*n + 2. Let h be i(2). Suppose -h*q = -19 - 51. Is q prime?
False
Let d be (0 - 2) + 3 + 0. Let h(l) be the first derivative of 18*l**2 + l - 4. Is h(d) a prime number?
True
Let x = 256 + 42. Is x composite?
True
Let h(i) = -i**3 + 7*i**2 + 9*i - 10. Let z be h(8). Is (30/9)/(z/(-15)) prime?
False
Let p = -206 + 328. Is p prime?
False
Let u(j) = -4*j + 18*j + 1 + 21*j + 3*j. Is u(5) prime?
True
Suppose 4*q = 20, 4*q = -5*r + 630 + 180. Is r a composite number?
True
Let d = 33 - -34. Is d a composite number?
False
Let p(o) = o**2 + 43*o + 53. Is p(23) composite?
False
Suppose -5*c - 10 + 30 = 0, 2*y = 5*c + 1086. Is y prime?
False
Suppose -5*s - 5*q + 1325 = 0, 5*s + q + 66 = 1375. Let i = 388 - s. Is i a prime number?
True
Suppose 0*d + d = 0. Is d + (290 - (2 - 5)) a composite number?
False
Let a(b) = -b**3 - 4*b + 2. Let n = -20 - -13. Is a(n) composite?
False
Suppose 40 + 10 = 5*u. Suppose -254 = u*q - 12*q. Is q composite?
False
Let i(j) = j**2 + 22*j - 19. Is i(12) a prime number?
True
Let k(w) = w + 16. Let t be k(-9). Let p(b) = 10*b + 6 - 2 - 3. Is p(t) composite?
False
Let h = 1705 + -738. Is h composite?
False
Suppose n + 541 = 5*b, -3*n = -2*b - n + 210. Is b a prime number?
True
Let f = -171 + 112. Let v = f - -102. Is v a composite number?
False
Suppose -4*q = -12, 2*w + 4392 = 5*w + 4*q. Suppose -2*z + 583 = -2*g - g, -5*z = -5*g - w. Suppose -z = -3*c - 20. Is c composite?
True
Suppose -600 = -8*w + 3*w. Let g = w - -29. Is g a composite number?
False
Suppose 5*h + 4*t + 31 = 