x - -322. Suppose -4*n + 7*n - u = 0. Is n prime?
False
Suppose -2*w + 2 = -8. Suppose w*m - 299 = 26. Is m a prime number?
False
Let i = 5 + -5. Suppose t - 31 = -i*t. Is t prime?
True
Let w = 6 + -3. Let x be (w - 1*-2)*7. Suppose 0 = -4*j - x + 271. Is j composite?
False
Let s(r) = r - 12. Let g be s(5). Is (g/2)/(8/(-272)) prime?
False
Is (-6)/18 + (-512)/(-6) composite?
True
Suppose 0 = -5*b + 15, z - 5*b + 1 = -11. Suppose -z*s = 5*g - 440, -g = g + 3*s - 167. Is g prime?
False
Is 2/((-1299)/435 + 3) a prime number?
False
Let g(x) = x**3 - 5*x**2 - 5*x - 1. Let i be g(6). Suppose 3*u - 1 = i. Suppose 10 = 5*j + 5*l, 5*j + 4 = -u*l + 26. Is j a composite number?
True
Let h(v) = -v + 7. Let i be h(-8). Is 3/(-5) - (-2184)/i a composite number?
True
Let x(q) = q - 3 + 1 + 5. Let g be x(3). Is 111/g + (-2)/(-4) a composite number?
False
Suppose z - 208 = -3*z + 2*o, 0 = -4*z + 3*o + 206. Let v be 4/(-2) - (-4 + 2). Suppose v = h + f - 13 - 50, h = f + z. Is h prime?
False
Let x be 169/((3 - 1)/(-8)). Let g = 1251 + x. Suppose -3*h - 2*h = -g. Is h prime?
False
Suppose -d + 2 = -1. Suppose -d*m + 41 = -361. Is m composite?
True
Suppose 744 = 5*v + 9. Suppose 4 = -p + v. Is p a composite number?
True
Let l(h) be the second derivative of h**3/2 + 2*h**2 - 3*h. Let s be l(4). Suppose g + 5*u = s, 5*g - 3*u = -8*u + 100. Is g a prime number?
False
Let i = -4 + 2. Let n be -2 - 9/(-3) - i. Suppose -15 = -n*k, -m - 3*k + 48 = -4*k. Is m composite?
False
Let s(y) = -y - 1. Let c be s(-3). Suppose 0 = c*u - 4*u. Suppose -3*r + 429 - 90 = u. Is r a prime number?
True
Suppose -5*c = -0*c - 325. Is c a prime number?
False
Let l = 175 - -244. Is l a prime number?
True
Let v = -8 - -13. Suppose 3*f - 3*t = -2*f + 650, -5*f = -v*t - 640. Is f a composite number?
True
Suppose -2*r + 5*b - 10 = 0, -b = 3*r - 15 - 4. Suppose 2*f + 3*f - 825 = 0. Suppose -3*d = 4*j - 113, r*d - f = -4*j + 2*j. Is d a composite number?
False
Suppose 2*r = 7*r - 835. Is r composite?
False
Suppose -2*w - 244 = -6*w. Let d = w - 14. Is d composite?
False
Let s(t) = -73*t. Let f be s(-2). Let a = f + -77. Is a a composite number?
True
Suppose t - 2*t + p = 0, 0 = 3*t - p - 8. Let z(l) = 8*l**2 + 4*l + 3. Let k be z(t). Suppose 2*q + q = k. Is q a prime number?
False
Let t be (5/4)/(1/4). Let p = 9 + -4. Suppose 0 = -t*z - 4*v + 5*v + 130, p*v = -z. Is z prime?
False
Suppose -14 - 2081 = -5*i. Is i a prime number?
True
Let j(r) = -r**3 - 3*r**2 + 3*r + 1. Let i be j(-4). Suppose 2*x + m = 352, -185 = -x + i*m - m. Is x a prime number?
False
Let s = 1417 + -924. Is s composite?
True
Let w = 5 - 10. Let c(d) = -d**2 - 4*d + 7. Let v be c(w). Is (2/(-2))/(v/(-6)) a composite number?
False
Let b = 55 + -34. Let k(w) = 8*w**3 - 3*w**2 + w + 2. Let c be k(2). Let v = c - b. Is v prime?
False
Let c(y) = 173*y**2 + 17. Is c(-4) composite?
True
Suppose -3*p - 3*w + 27 = 0, -4*w + 1 = 2*p - 5*p. Suppose -p*t - 465 = -y, y + 356 = -5*t - 109. Let b = 130 + t. Is b a prime number?
True
Is -1*(-115 + (-20)/(-5)) a prime number?
False
Suppose o = 5*n - 638, n + 0*n = o + 130. Is n composite?
False
Suppose 13636 = 2*i + 2*i. Is i prime?
False
Suppose 4*l = 4*i + 1632, -7*l + 3*l = -3*i - 1627. Is l prime?
False
Let f(g) = g**2 - 1. Let n be f(1). Suppose 6*l - 3*l - 9 = n. Suppose 0*i = l*i - 75. Is i a composite number?
True
Let w(f) = -37*f - 4. Let m(c) = 38*c + 3. Let u(h) = 6*m(h) + 5*w(h). Is u(3) a composite number?
False
Let k(b) = -b**3 + b**2 - b + 2. Suppose 3*n + 6 = 5*l, 8 = -n - 3*n. Let d be k(l). Suppose 5 = i - d. Is i composite?
False
Suppose -4*t + l + 3*l + 4 = 0, 6 = 5*t - 4*l. Suppose -t*y = -0*y. Let o(b) = b**2 - b + 31. Is o(y) prime?
True
Let q(s) = 3*s**2 + 2*s. Suppose -2*i + 24 = -5*k, -5*i + 0*i + 5*k + 30 = 0. Let j be q(i). Suppose -j = -4*r - 0. Is r composite?
True
Suppose -8*w + 3*w = -830. Is w prime?
False
Let k be (-1 + 3/3)/(-2). Suppose -7*j + 9*j - 230 = k. Is j composite?
True
Let b(l) = l**3 + 9*l**2 - 2*l - 5. Let c be (-2 - (-28)/(-4))/1. Is b(c) composite?
False
Let s(n) = n**2 - 4*n + 3. Let b be s(4). Suppose 3*c = 5*k - 36, -b*k = -k + 4*c - 4. Suppose -5*i + 250 = -3*z, -k - 14 = -4*z. Is i composite?
False
Let k(m) = m**3 + m + 1781. Let u be k(0). Suppose -1150 = -4*i - 4*w + 1178, -4*w - u = -3*i. Is i composite?
False
Suppose 6642 = -7*n + 27523. Is n composite?
True
Let z(r) = -36*r**3 - 2*r**2 - 4*r - 3. Let x be z(-2). Suppose 4*y + x = d, d + 24 = 5*y + 380. Let v = y - -145. Is v prime?
False
Let t = -35 + 50. Suppose -5*r - t = -5*v, 2*r = -2*v - 2*r. Is (161 - v/2) + -1 a prime number?
False
Let g(d) = 147*d + 13. Is g(8) composite?
True
Suppose 0*q - 1064 = -4*q. Suppose -5*c = -t + 5*t - q, 2*t - 142 = 2*c. Is t composite?
True
Let x(b) = b**2 - 9*b + 11. Let y be x(8). Suppose 3*h + 135 = i, 2*i + 5*h + 133 = y*i. Suppose -2*g + 183 = c, -c + 50 = -3*g - i. Is c composite?
True
Let y be 558 + -1 + (-6)/(-2). Suppose 5*i = -1001 - 354. Let s = y + i. Is s composite?
True
Suppose 2*t + 222 = 796. Is t a prime number?
False
Let c(f) = -89*f - 87. Is c(-26) prime?
False
Let i(t) = 4*t + 2 + 4 + 0 - 4 - t**2. Let v be i(4). Suppose v*c - 10 = 28. Is c a prime number?
True
Suppose -2*d = -4*x + 818, -x - 188 = -2*x - 5*d. Is x a prime number?
False
Suppose -244 = 5*j + 1. Let m = -10 - j. Is m prime?
False
Suppose -2*t = -3*t + 3. Suppose -l + 20 = t*l. Suppose 3*o - 327 = -5*z + 4*o, -l*o - 10 = 0. Is z composite?
True
Suppose 4*w - 1696 = -5*z, 3*w + 7*z = 5*z + 1265. Is w composite?
False
Let q be 3628/20 + 9/15. Suppose j + j = q. Is j prime?
False
Suppose 4*o - 127 - 269 = -4*c, -2*c = 5*o - 498. Let a = o + -69. Is a a composite number?
False
Let k(a) = -a + 2. Let t be k(6). Is (-2523)/(-6) + 6/t prime?
True
Is -2 + ((-232)/(-2) - 1) prime?
True
Let i(d) = -243*d**3 + 9*d**2 + 9*d - 2. Let p(b) = -122*b**3 + 5*b**2 + 5*b - 1. Let q(x) = 6*i(x) - 11*p(x). Is q(-1) composite?
True
Is 3804/3*2/8 a prime number?
True
Let y(p) = -1 + 13*p**2 + 20*p**2 - 9*p**2. Suppose 2 = -d, 2*d + 5 = 3*h - 2*d. Is y(h) a composite number?
False
Suppose -3*m = -m - 4. Suppose 3*z = -3*p + 18, 3*z - m*p = 2*z + 18. Is z prime?
False
Suppose 5*s = 52 - 7. Suppose -i - 3*k + 9 = -s, 5*i + k = 34. Suppose -3*g - 237 = -i*g. Is g a composite number?
False
Let b(s) = 2*s**2 - 13*s - 9. Is b(-8) composite?
False
Let q(t) = 8*t**3 - 2 + 0*t + 2*t + t. Let s be q(2). Let f = 153 - s. Is f prime?
False
Let q be (1 - 1 - -1) + 14. Suppose 3*m + 9 = 6*m. Suppose l + m*s = -q + 36, 5*l - 3*s - 105 = 0. Is l composite?
True
Suppose 0 = 5*r + 27106 - 2481. Let f = r + 9929. Is 3/(-7) + f/63 prime?
True
Let v be (0 - -1) + 8/4. Let x(m) = 2*m - v*m + 0*m + 10. Is x(0) a prime number?
False
Let h be 6/8 - (-7)/28. Let d = h + 4. Suppose -d*o = -286 - 49. Is o composite?
False
Is (-3)/7 + (-543440)/(-70) a composite number?
True
Suppose -5*p = -0*p - 8185. Is p a prime number?
True
Let u(i) = -4*i - 3 + 1 - 21*i. Is u(-9) prime?
True
Suppose -2*m + 5*p = 1437, 3*m + 2144 = -p - 3*p. Is 4/(-20) + m/(-5) a composite number?
True
Let p(i) = -2*i**2 + 4*i + 7. Let g be p(5). Let n = 77 - 125. Let o = g - n. Is o a composite number?
True
Suppose -g + 112 = -0*g + 3*f, 3*g - 406 = 5*f. Is g prime?
True
Suppose i = -3*l + 17, 0 = 5*l - 0*i - i - 31. Let y(j) = -4*j - j**3 - 1 + 3*j + 12*j**2 - j - 2*j. Is y(l) a prime number?
True
Let z = -452 + 745. Is z a composite number?
False
Suppose 0 = 8*d - 3*d - 15. Suppose -4*p = d*a + 9, 7*a + 15 = 3*p + 2*a. Suppose -3*l = -p*l - 42. Is l prime?
False
Suppose 2*g - 31 = n, -3*g - 56 = 4*n + 57. Let o = n + 60. Is o prime?
True
Let o(v) = 9*v. Let u be o(7). Suppose -2*w = w - 6. Suppose -w*b + 86 = -k, k + u + 66 = 3*b. Is b prime?
True
Let m = 204 + 313. Is m a composite number?
True
Let h(u) = -u**3 - u**2 + u + 15. Let d be h(0). Suppose -4*s + 261 = 3*q, d = -2*q - q. Is s prime?
False
Let g(r) = -2*r**2. Let t be g(-1). Is 4 + (-91)/(t/2) a composite number?
True
Suppose 5*m = 22 + 8. Let h be ((-218)/m)/((-1)/3). Let r = -78 + h. Is r prime?
True
Let l(k) = k**2 + 16*k + 1. Is l(12) a prime number?
True
Suppose 0 = -4*n + 5*q + 25, -2*n + 2*q + 6 = -6. Let t(p) = 2 - n - 5*p**2 + 10*p**2 + 3*p. Is t(-3) a prime number?
Fa