
Let r = 393 + -182. Is r prime?
True
Let n be (-18)/(-27) - 128/(-6). Suppose i + 0 = n. Is i a prime number?
False
Let h be (-4 - (-2 + 0)) + 45. Let w = -26 + h. Suppose -2*u - 5*j + 95 - w = 0, 3*j - 156 = -4*u. Is u composite?
True
Suppose 46 - 1052 = -2*y. Is y composite?
False
Let i = -392 - -627. Is i prime?
False
Let s be (328/10)/((-1)/(-5)). Let b = 317 - s. Suppose b = 5*h + 3*n, -h - 12 = -5*n - 65. Is h prime?
False
Suppose -5*u + 6*u - 2 = 0, -2*u = 2*p - 504. Suppose 0 = j + 3*c + 60, 0 = -5*j + 2*c - 7*c - p. Let g = -26 - j. Is g composite?
False
Suppose 4*q + 712 = 4*i, 0 = -0*q + q - 1. Is i a composite number?
False
Let b(n) = n**3 - 4*n**2 + 5*n - 3. Let u be b(3). Suppose -u*q + 5*q = 186. Is q prime?
False
Let c = 1495 + 556. Is c a composite number?
True
Let l be -1 - (-1)/((-1)/(-4)). Suppose -8*u + l*u = -320. Suppose 45 + u = n. Is n prime?
True
Suppose 5*x - k = 806, 0 = -x + 3*k - 4*k + 160. Is x prime?
False
Let x = 926 - 553. Is x a composite number?
False
Suppose 0 = 3*j - v - 7, 3*j = -v + 3*v + 11. Let c = j + 1. Suppose l = -5*o - 8 - 0, l - c*o = 13. Is l composite?
False
Suppose 5*u + 2*n - 439 = 122, 0 = 2*u + n - 224. Suppose 0 = -5*r + 4*y + u + 88, r = 4*y + 53. Is r a prime number?
True
Let n be 1*(2 + (-2 - -5)). Is -1*(-50)/(n + -3) composite?
True
Let j = 0 - 2. Is j/((-2)/2)*7 composite?
True
Let h = 1519 + -842. Is h a prime number?
True
Suppose 150 = -8*s + 3*s. Is (2/3)/(s/(-5715)) composite?
False
Let i = -21 - -16. Is (-7 + 0)/(1/i) composite?
True
Suppose -h + 0 + 1 = 0. Let z be 6*h - (0 + 2). Is 597/z + (-3)/12 composite?
False
Let g = -1773 + 3674. Is g prime?
True
Let i = -110 - -155. Let u = i - 11. Is u a prime number?
False
Let w(c) = -49*c**2 + 1. Let i be w(-1). Let j = -43 + 72. Let v = j - i. Is v composite?
True
Let q = 11 + -11. Is (-67 - q)*(0 + -1) prime?
True
Let n(y) = -12*y - 53. Is n(-22) a prime number?
True
Suppose -4*y - 862 = -86. Let c = 273 + y. Is c composite?
False
Let v = 15 + -9. Suppose -2*n - 3*u = -85, 109 = 2*n - v*u + u. Is n a prime number?
True
Let q(y) = 3*y**2 + 9*y + 3. Is q(-6) prime?
False
Suppose -3*p = -z + 274, 5*z - 1066 = -p + 256. Is z composite?
True
Suppose 0 = 5*s - 5*f - 35, s = -2*s - 4*f. Is 128 + 2/s*-2 a prime number?
True
Let f = 723 - -1350. Is f a prime number?
False
Suppose -u + 39 = 2*u. Let j = 62 - u. Is j a composite number?
True
Suppose 12 = 4*t - 2*t. Let j(n) = 28*n - 2. Is j(t) composite?
True
Let u(y) = -y**3 + y**2 - y - 7. Let m be u(0). Let k be (-2)/m + 2/(-7). Suppose k = -4*w + 17 + 7. Is w prime?
False
Let k be (-24)/(-30) - (-808)/(-10). Let o = -105 + 62. Let s = o - k. Is s prime?
True
Let r = -8 + 16. Is -122*((-20)/r + 1) prime?
False
Let s(t) = 3*t**2 + 4. Let w be s(5). Let q(y) = -y**2 - 7*y - 7. Let n be q(-5). Suppose -i - n*h - w = -5*i, -i - 3*h = -16. Is i composite?
False
Suppose 5*v + 2*v = 833. Is v prime?
False
Let h(q) = -q + 3. Let d be h(6). Is (-4)/(d - -1)*17 composite?
True
Suppose 4*f = 4*w + 16, 5*f + w + 0*w - 2 = 0. Is 119 - (12/(-4) + f) prime?
False
Let l be (-3)/(0 - -3) + 3. Suppose l + 1 = b. Let c(q) = 2*q**2 - 2*q - 1. Is c(b) a composite number?
False
Let l(a) = -a**2 - 7*a - 5. Let q be l(-5). Suppose 5*z + 4*s + 158 = 0, -z - 3*s = s + 38. Is (-564)/z + 1/q a composite number?
False
Suppose 703 = 4*s - 2445. Is s a prime number?
True
Let j be ((-10)/(-2) - 2) + -1. Suppose -6*p = j*i - 2*p - 274, p - 640 = -5*i. Is i prime?
True
Let y(l) = -l**3 - 4*l**2 + l + 3. Is y(-7) prime?
False
Suppose j + 4*p - 33 = 0, -6*p + 32 = j - p. Is j a prime number?
True
Let o(q) = 222*q**2 - q. Let l be ((-4)/(-6))/(6/(-9)). Is o(l) a prime number?
True
Suppose 0 = 3*x + 722 - 1931. Is x a composite number?
True
Let u = -10 - -17. Suppose 0*n - 2*n = -p + u, 0 = 2*n + 6. Let k = p - -50. Is k a prime number?
False
Suppose 2*c = 7*c - 555. Is c composite?
True
Let q(k) = -852*k**3 + k + 2. Is q(-1) prime?
True
Suppose 0 = a - 1 + 4. Suppose 2*x - 4*k + 39 = 15, -5*x + 5*k - 35 = 0. Is 13 + (a/3 - x) prime?
False
Suppose 4 = 2*u + 10. Let w(p) = -2*p**3 - p**2 - 3*p + 1. Is w(u) composite?
True
Let p(k) = 4*k**2 - 3*k + 2. Let c = 3 + 0. Let y = -6 + c. Is p(y) a prime number?
True
Is (0 + 17)/(17/119) composite?
True
Let i = 799 + -476. Is i/5 - 10/(-25) a prime number?
False
Suppose 31 - 6 = -5*o. Let i = o - -3. Let p = i - -6. Is p composite?
True
Suppose -a + 2*x = -541, 5*x + 0 + 10 = 0. Is a a composite number?
True
Let o(i) = -3*i**2 + 0*i**3 + i**3 - 1 + i + 0*i + i. Let r be o(3). Is -5 + r - (-46 - 0) a prime number?
False
Suppose 0 = 4*t - 2*k - 70, -k = -0*t + 5*t - 91. Suppose -4*f + 5*c = -t, 5*f - 8 = 3*f + 2*c. Suppose f*m = 4*m - 28. Is m prime?
False
Suppose 3*m - b = -0*m + 20, 0 = -3*m - b + 16. Let o(d) = 8*d**2 + 4*d - 5. Is o(m) a composite number?
False
Suppose 5*n - 28 + 8 = 0. Suppose -n*f = 6 - 14. Suppose f*k - 67 = 1. Is k a prime number?
False
Let h be 7*(0 + -1)*3. Is 3/(-6) - h/2 a prime number?
False
Suppose 1631 = 11*b - 4562. Is b prime?
True
Suppose 0 = -t, s + 1119 = 4*s + t. Is s prime?
True
Let n = 303 + -214. Let c = n + 218. Is c prime?
True
Let f be (-3*1)/(-5 - -4). Suppose -a = -f*a. Suppose a = -5*r - 5*p + 375, 4*r - 3*r + 4*p - 87 = 0. Is r a prime number?
True
Let z(o) = 22*o - 13. Is z(9) composite?
True
Suppose -5*z = 4*x - 1461, 0 = 2*x - 5*x + 12. Is z composite?
True
Let g = 14 + 0. Is (158/(-3))/(g/(-21)) composite?
False
Let d = 1691 + -528. Is d a prime number?
True
Let g(d) = d**3 - 11*d**2 + 5*d + 4. Let f be g(12). Suppose 77 + f = 5*u. Is u a prime number?
False
Suppose -3*h + 0*b + 4*b = -947, -3*h + 954 = 3*b. Is h composite?
False
Let r = 0 - -2. Let z be (2 - (-1 - -1)) + 0. Is -2 - ((-70)/r - z) a prime number?
False
Let v = 679 + -348. Is v prime?
True
Let d = 126 - -211. Is d a composite number?
False
Let d(k) = k**3 - k - 1. Let n be d(2). Suppose 11 = 4*o - n. Suppose o + 17 = m. Is m a composite number?
True
Let l = 236 - 109. Is l a composite number?
False
Let j = 135 - 193. Is 12/(-6) - (-1 + j) composite?
True
Suppose 2*f + 5*j - 254 = 4*f, -4*f - 530 = j. Let g = f + 599. Is g composite?
False
Let l = 6 - 4. Is (-1 - l/(-3))*-237 composite?
False
Let z = 1855 + 1024. Is z prime?
True
Suppose -h - 3*q = -364, 5*h = -3*q - 385 + 2181. Is h a composite number?
True
Let c = 14 + -6. Suppose 5*m = 4*k - c - 4, 2*k - 5*m = -4. Is (-44)/(-3) - k/12 prime?
False
Suppose 0 = -o + 5*o - 48. Let a be (3 - 2/2) + 23. Let r = a - o. Is r a prime number?
True
Let m(n) = 6*n - 6. Let i be m(6). Is (44/(-6))/((-20)/i) composite?
False
Let p(j) = 102*j**2 + 3*j + 7. Is p(-2) a prime number?
True
Suppose -4*u - u + 3741 = 4*d, -1498 = -2*u - 2*d. Is u composite?
True
Suppose 5*w = 3*x + 16, -w + 5*w - 14 = 2*x. Suppose 0 = -5*t + 4*u + 253, -5*u + 483 = w*t + 203. Is t a prime number?
True
Suppose 0 = -0*t - 2*t. Suppose 0 = -4*p, 3*q + 3*p + 0*p + 378 = 0. Is (-24)/8 + (t - q) a prime number?
False
Let m be (-2)/(3 - (-7)/(-2)). Suppose 4*x - 2*u - 360 = 358, 0 = -m*x + 4*u + 712. Is x a prime number?
True
Let h(l) = -l**2 + 9*l + 3. Let q be h(9). Let o = 40 - q. Is o prime?
True
Suppose 0 = 4*d + 3*m - 0*m - 8596, 2149 = d - 3*m. Is d prime?
False
Let x = 17 + -8. Let t = 5 - x. Let z(n) = n**2 + n + 1. Is z(t) a prime number?
True
Let j(m) = -3*m**3 - 9*m**2 + 3. Is j(-7) a prime number?
False
Suppose -5*q + 3*q = 0. Suppose a - 3*a + 36 = q. Suppose -2*d - d + a = 0. Is d prime?
False
Let p = -1 + 4. Suppose 1 = p*z - 11. Suppose j + z*w = 391, 1468 = 4*j + w - 21. Is j prime?
False
Let b(a) = -70*a - 13. Is b(-2) a prime number?
True
Let j(v) = 21*v**2 + 3*v - 3. Suppose 2*q + 15 = 3*d - q, -5*d + 16 = -2*q. Is j(d) a prime number?
False
Suppose 0 = -4*i + 3*g + 9717, 9723 = -i + 5*i - 5*g. Is i a composite number?
True
Suppose 0 = 2*t + t - 132. Suppose -l = -5*l + t. Is l a prime number?
True
Let r(j) = -6*j**3 + 2*j + 1. Let d be r(-1). Suppose 4*k - 10 = -d*o, 5*k + 4*o = -4 + 12. Suppose k*w - 5*w = -50. Is w composite?
True
Let u(b) = b**2 + 4*b + 32. Is u(-25) a composite number?
False
Let b = 220 + -123. Is b a prime number?
True
Let y = -9 - -13. Suppose -2*t + 270 = 4*g, g + 504 = y*t - 0*g. Is t a prime number?
True
Let k