/6)*-3 prime?
True
Suppose -7*p = -6*p - 87. Is p composite?
True
Let l be 4 + -3 - (-4436)/1. Suppose 2*z = -5*q + l, 4*q - 2*z - 3333 = 213. Is q a prime number?
True
Is 337*4*4/16 prime?
True
Suppose 3*j - 3*k = j - 37, 0 = k - 3. Suppose 0*s - 4*s + 3*w - 199 = 0, w - 148 = 3*s. Let n = j - s. Is n prime?
False
Suppose -2*b = -7*b. Suppose b = 2*y - 173 - 21. Is y a composite number?
False
Suppose 0 = -5*d + 4*q - 41, 5*q - 35 = 5*d - 2*d. Let j(c) = -2*c + 2. Let o be j(d). Suppose 0 = -y + o + 25. Is y a prime number?
True
Let m = -20 - -42. Let y be 48/m + (-2)/11. Suppose y*x - 37 = 153. Is x prime?
False
Suppose -2*n + 1140 = 4*p + 6, 0 = p - 3. Let l = -366 + n. Suppose 4*u + 0*b = -b + 146, 5*u - 5*b = l. Is u composite?
False
Let o(z) = 9*z**3 - 6*z**2 + z + 5. Is o(5) prime?
False
Suppose -5*h + 5*d + 5230 = 0, -2*d - 4181 = -4*h + 3*d. Is h composite?
False
Suppose -5*k + j + 576 = 0, 4*j + 239 = 2*k + 5. Let n = k - 64. Is n a composite number?
True
Is 3898/8*(-84)/(-21) prime?
True
Let h be 7/(-14)*(0 + 10). Is 1/h + 768/15 prime?
False
Let v = -10 - -41. Is v prime?
True
Let b be (-2)/8 + (-198)/8. Let c = 107 + b. Is c a prime number?
False
Suppose -2*x - x + 4*h = -4103, 0 = -x + h + 1366. Is x prime?
True
Let p(q) = -q**2 - 9*q - 1. Let d be p(-7). Suppose a - 66 = d. Is a composite?
False
Let w be 6/(-9) - (-11)/3. Suppose -2244 = -3*i + w*c, 0 = -4*c - 1 + 5. Is i prime?
False
Is ((-1 - 1) + 24)/((-2)/(-5)) a prime number?
False
Let k = -3 - 6. Let w(x) = -x**3 - 9*x**2 - x - 6. Let m be w(k). Suppose m*n + 69 = 5*n - t, 4*t = -2*n + 64. Is n a composite number?
True
Let x = 4 - 4. Suppose -t - 2*t + 234 = x. Suppose -5*n - u = -102 - t, -3*n = -3*u - 90. Is n a composite number?
True
Let o = 406 - -73. Is o prime?
True
Suppose 7*k - 3829 + 728 = 0. Is k composite?
False
Let n(k) = 87*k + 2. Let y = -2 + 3. Is n(y) prime?
True
Is (-1)/(-3)*(-2382)/(-2) composite?
False
Suppose l + 2*b - 4*b - 33 = 0, 2*l - b = 57. Suppose 5*g - r + 36 = 0, 5*r - 4*r = -4*g - l. Is 4/(-14) + (-681)/g a prime number?
True
Suppose -9*u = -6*u - 234. Let n = u + -39. Is n prime?
False
Let i = 830 + -333. Suppose 3*r = i + 298. Is r composite?
True
Suppose -16 = -3*f - 4. Let z = 3 - f. Is (z - 105/(-6))*2 a composite number?
True
Let f be (-8)/(-4) - 3 - -1. Suppose f = -h + 6*h - 2815. Is h a prime number?
True
Let p = -17 - -19. Suppose 0*l = p*l - 158. Is l composite?
False
Suppose 4*z + 264 = 5*a - a, -2*a = 2*z - 116. Is (-2)/(-3 - (-184)/a) a composite number?
True
Suppose -2*d + 4*t = 6*t - 260, -d - 3*t = -120. Let c = d - -204. Is c prime?
False
Suppose 0*u = u - 4*m - 22, -2*m = -5*u + 38. Suppose -27 = 3*c - u*c. Is (-2)/c + (-1340)/(-36) composite?
False
Suppose -s + 30 = 4*s. Suppose 0 = j + 5*i - 734, s*j - 3800 = j + i. Suppose -5*n + j - 104 = 0. Is n a composite number?
False
Let c(b) = -2*b**2 + 2*b + 3. Let l(v) = 3*v**2 - 3*v - 5. Let q(r) = -7*c(r) - 4*l(r). Is q(3) a prime number?
True
Let r = 103 - -220. Is r prime?
False
Let h = 742 + -509. Is h a prime number?
True
Suppose 3*j - 13 = 53. Let x be -1 - (-3)/(-6)*j. Is (x/16)/((-2)/56) a composite number?
True
Suppose 0 = 3*u - d + 4*d - 51, 3*d = -4*u + 72. Is u composite?
True
Let n(j) = -j**3 + 4*j**2 + 4*j + 4. Suppose -2 = 3*h - 20. Suppose h = -4*a - 6. Is n(a) prime?
False
Let z(u) = u**2 + 12*u**2 + 1 - u + 21*u**2 + 6*u. Is z(4) composite?
True
Let g(l) = -4 + 2*l + 2*l + l**3 + 2 - 5*l + 5*l**2. Let x(w) = w**2 + 2*w - 5. Let h be x(-4). Is g(h) prime?
True
Let v(f) = -f**3 + 6*f**2 + 6*f + 10. Let c be v(7). Suppose 0*o - 128 = -4*r + c*o, -47 = -r - 3*o. Let s = 14 + r. Is s prime?
False
Suppose -4232 = -11*v + 3*v. Is v prime?
False
Suppose 5*l = f + 21, l + 13 = -2*f + 4. Is 2 - 21/f*34 composite?
True
Let k = 2 - 102. Let h = 185 + k. Is h a composite number?
True
Let c be (-9)/(-4) - (-2)/(-8). Let d be 6/15 - (-18)/5. Suppose d*m = -2*x - 2*x + 344, 409 = 5*x - c*m. Is x composite?
False
Let s = -1 - -1. Suppose o - r - 7 = s, o = 5*r + 16 + 7. Suppose o*j - 147 = -0*j. Is j composite?
True
Let s(o) = -6*o**2 - 2*o**2 + o**3 - o + 2*o**2 + 6. Let p be s(7). Suppose 0 = 4*x - 4*f - 84, -5*x = -3*x - 5*f - p. Is x prime?
True
Let i be (0 - -1)/((-2)/(-82)). Let g = 72 - i. Is g composite?
False
Let s = 1839 + -902. Is s prime?
True
Let q(r) = r**2 - 6*r - 3. Let o(j) = -j**3 + 8*j**2 + j. Let z be o(8). Let p be q(z). Suppose l = -p + 92. Is l prime?
True
Let f = 39 - -14. Is f a prime number?
True
Let q = 4 - -1. Suppose 4*y - 64 = 2*y + 3*p, -5*y - q*p = -185. Is y prime?
False
Let r(o) = -o**2 - 1 + 7*o - 11*o + 2*o**3 + 5. Let q = 6 + -3. Is r(q) a composite number?
False
Is 5517 + (-1)/(6/12) composite?
True
Suppose -296 = -4*x - 28. Suppose 0 = -5*l + x + 63. Is 0 + 2 + l + 3 a prime number?
True
Suppose -q + k + 4 + 0 = 0, -3*q + 5*k = -2. Suppose 2*f - q = -f. Let x(y) = 10*y**2 + 2*y - 3. Is x(f) a prime number?
False
Let l(t) = -t + 6. Let y be l(6). Let p(x) = 40*x**2 - 5 - 41*x**2 + x + x**3 + 7. Is p(y) a prime number?
True
Let s be (-5 + -2 + 3)*-1. Is (4/s)/3*573 prime?
True
Suppose -986 + 3860 = 6*k. Is k composite?
False
Let r(f) = f**3 - 4*f**2 - 4*f + 1. Let x = -3 - -8. Let k be r(x). Let o = k - -4. Is o prime?
False
Suppose -3*h = -l - l - 412, 3*h - 4*l = 416. Let j = 163 + h. Is j composite?
True
Let i = 863 + -589. Suppose 3*a = i + 95. Let s = -8 + a. Is s composite?
True
Suppose -2 = -q - 0*q. Suppose 3*t = 2*t + 4*b, q*t = 4*b + 4. Suppose -i - 38 = -t*d + 136, d - 49 = 3*i. Is d a composite number?
False
Suppose 2*t + 5*u = 9, -2*t + t + 4*u + 11 = 0. Is (-1738)/(-8) - t/28 a prime number?
False
Suppose 4*k = 5*k - 124. Suppose -k - 126 = -5*d. Suppose 0 = 2*o - 26 - d. Is o a prime number?
False
Let u be 1/4 - 14/(-8). Suppose 1036 = 2*z + u*z. Is z a composite number?
True
Suppose -5*k - 10 = 0, -3*n - 142 = -7*n + 3*k. Is (n/(-6))/((-4)/156) a prime number?
False
Suppose -i - a = -0 - 3, -3*a - 21 = -3*i. Let x = -3 + i. Suppose -x*u + 74 = -0*u. Is u a prime number?
True
Suppose 0 = 3*x - 12 + 3. Let k(n) = 5*n**2 + n - 1. Let j be k(1). Suppose j*v - 98 = -q, -5*v + x*q - 31 = -117. Is v composite?
False
Let r(l) = l + 7. Let a be r(-5). Let m be a + (-1 - 1)/(-2). Suppose -5*s - 3*x + 41 = -m*s, -5*x = -25. Is s composite?
False
Let p(o) = -o**2 + 9*o - 11. Let i be p(8). Let b(n) = -n**3 - 3*n**2 + 2*n - 4. Let f be b(i). Is (-10)/25 + (-134)/f prime?
True
Suppose -2*i + u = 10, i + 15 = -0*i + 3*u. Is (1/i)/((-3)/765) a prime number?
False
Suppose -2*a = -4*o - 504, -a = 2*o - 0*a + 248. Let u = o + 182. Suppose t = -0*t + u. Is t a composite number?
True
Suppose 0*u + 3 = -3*u. Is 19 - ((1 - u) + -4) prime?
False
Let h = -927 + 416. Let p = -182 - h. Is p prime?
False
Suppose 0*q - 6*q + 2238 = 0. Is q a prime number?
True
Let c be 1*(5 + -2) + 298. Let a = c + 142. Is a prime?
True
Let u(y) = -366*y**3 + 3*y**2 + 7*y + 9. Is u(-2) a composite number?
True
Let i(a) = -2*a**3 - 5*a**2 + a - 7. Let u(x) = 2*x + 1. Let k be u(-4). Is i(k) a prime number?
False
Suppose 0 = 4*c + 86 + 18. Let w = c - -10. Let h = w + 23. Is h composite?
False
Let m = 29 - 18. Is m a prime number?
True
Suppose 0 = 5*b + u - 9087, 4*u + 3 - 11 = 0. Is b prime?
False
Let c = 48 + -34. Is c a prime number?
False
Let x(a) = a. Let i be x(12). Is ((-296)/i)/((-1)/3) a composite number?
True
Let c(o) = o**3 + 6*o**2 - 8*o + 4. Is c(-7) prime?
True
Suppose -5*w = 4*f - 12, 4*w = 5*f - 4 - 11. Suppose -4*u - f*s = -6*s - 16, 4*s - 8 = -2*u. Is (-63)/(-5) - u/(-10) a composite number?
False
Let u(n) = 184*n**3 + n**2 - n + 1. Let h(o) = -o**3 + 4*o**2 + 1. Let z be h(4). Is u(z) a prime number?
False
Let f be 7/(-5) - (-4)/10. Let b(z) = -521*z**3 - z**2. Let u be b(f). Suppose -3*c + u = 49. Is c composite?
False
Let y(p) = 4*p**2 + 2*p + 2. Let h = 4 - 9. Let b be y(h). Suppose -4*k = 4*r - 92, -4*k + 3*r = -r - b. Is k a composite number?
False
Suppose -20*r + 150928 - 22988 = 0. Is r prime?
True
Suppose 178 = s + s. Is s composite?
False
Let m(i) = 5*i + 5 + 2*i - i**2 + 3 - 3. Let q be m(7). Suppose -f + 165 + 547 = q*u, -3*u + 4*f + 441 = 0. Is u composite?
True
Let i = 3 - 3. Suppose 4*l + 0 + 4 = i. Is -3 + 4 - (-35 + l) prime?
True
Sup