rime?
True
Let c(z) = -z**3 + 6*z**2 - 4*z - 5. Let s be c(5). Suppose 2*y - 4*y + 4 = 0. Suppose -y*p + s*p = -22. Is p a prime number?
True
Let p be (4/6 - 0)*60. Let v = -26 + p. Is v a composite number?
True
Suppose 0 = -4*r - 16, 400 = -0*z + 4*z - 3*r. Let v = z - 32. Is v a composite number?
True
Let l = 33 + 62. Is l a composite number?
True
Let j = -1322 + 3675. Is j a prime number?
False
Let x = -4004 - -5905. Is x prime?
True
Is (365/20)/(1/28) composite?
True
Suppose 4*z = -3*b + 16816, -3*b + 5*b = -3*z + 12611. Is z composite?
False
Suppose -3*u = 2*u - 290. Let w be u - (-3 + 1 - 0). Let k = 97 - w. Is k a prime number?
True
Let s = -43 - -31. Let o be 42/s*2*1. Let u(b) = -9*b - 4. Is u(o) a composite number?
False
Suppose -2*h + 79 = -91. Suppose -4*q - 33 = -z, -5*z = -0*z - 4*q - h. Is z a composite number?
False
Suppose 3*n - 2*y = 2 + 6, 3*n - 3*y = 6. Suppose -7*l + n*l + 1239 = 0. Is l composite?
True
Suppose -786 = -4*j - 22. Is j prime?
True
Suppose 0 = -4*y + b + 898, 444 = 2*y - 4*b + b. Let j = y + -131. Is j prime?
False
Is 8490/54 - 4/18 a composite number?
False
Let i = 12 + -9. Suppose 0 = i*o - o - 66. Is o composite?
True
Let i = -566 + 829. Is i prime?
True
Let a = -10 - -191. Suppose g - a = -4*n, 2*n - 928 = -5*g + 5*n. Suppose 0 = h + 3*s - 0*s - 37, 5*h - s = g. Is h a composite number?
False
Let w(x) = x**3 + 6*x**2 + 5*x + 1. Let z be w(-6). Let b = z + 6. Is b/(-3) + (-4)/6 a prime number?
True
Suppose 4*b + x - 1203 = 0, 3*b + x - 906 = -x. Suppose -3*g + 138 = -b. Is g composite?
True
Let b(g) = g**2 + 2*g. Let o be b(-2). Suppose -3*x + d + 366 = -969, o = -x + 4*d + 445. Suppose -3*p + 2*s = -247, -5*p - 2*s - 3*s + x = 0. Is p prime?
False
Let g = 103 + -241. Let d be g/(-9)*3*3. Suppose 3*s - q = -2*q + 97, 0 = -4*s + 3*q + d. Is s composite?
True
Let s(b) = -b - 9. Let c be s(-7). Let f be (1 + (-15)/c)*10. Suppose -f = -2*m + 205. Is m a prime number?
False
Let h = -2 - -3. Let m be (h - (0 - 1)) + -4. Is 0/(-2) + (45 - m) prime?
True
Suppose 4*t - 956 = -0*t. Is t prime?
True
Let n(f) = 2*f**2 + 12*f + 13. Is n(-12) prime?
True
Suppose 4*w = 5*w - 115. Is w composite?
True
Let x = -11 + 8. Is -2 - 3 - x - -55 composite?
False
Suppose -12 = -4*h, -4*h - 2 = -5*r + 1. Let c be 2 + (-6)/r - -925. Suppose -3*o + 8*o = c. Is o a composite number?
True
Suppose -4*p - 2*a + 7*a = -400, 4*p - a = 384. Is p prime?
False
Let z be 2 - 1/1 - -2. Suppose -150 = -z*g + 297. Is g a prime number?
True
Let w(g) = g**2 - 8*g + 4. Let v be w(8). Suppose -4*k - 2*f + 221 = -3*k, -v*k = 2*f - 884. Is k composite?
True
Suppose -4*h = -2*h - 4. Suppose h*f - 541 = f. Is f composite?
False
Suppose 5*c + 6 = 16, 464 = 2*i - 3*c. Let x = i + -158. Is x prime?
False
Suppose 0 = -0*b - 2*b + 4. Let a(j) = 11*j**3 + j**2 - 2*j + 1. Is a(b) composite?
False
Suppose 0 = -2*y - 2 - 6. Let u(p) = -11*p + 7. Let x(d) = -21*d + 13. Let h(t) = y*x(t) + 7*u(t). Is h(2) composite?
False
Let q = -37 + 10. Let i be (-20)/9 + (-6)/q. Is ((-93)/6)/(i/4) prime?
True
Suppose k - 5*k = -84. Suppose -4*y + 39 + k = 0. Let j = 50 - y. Is j composite?
True
Let v(x) = -x + 4. Let c be v(0). Suppose f - c*m = 135 + 214, -3 = m. Suppose -5*j + 5*z + f = -303, 0 = 2*z - 10. Is j prime?
False
Let v(u) = -1 + 3*u**2 + 4*u**2 + 5*u - 6*u - u**3 + 2*u. Is v(4) a prime number?
False
Suppose -3*g + 4*l + 1109 = 0, 2*g + 384 = 3*l + 1123. Is g composite?
True
Let f(z) = z**3 + 14*z**2 + 7*z + 7. Is f(-12) prime?
True
Suppose -5*p - 13 - 7 = 0. Let g(u) = u**2 - 4*u + 5. Is g(p) prime?
True
Let b = -95 + 222. Is b a prime number?
True
Suppose 23 - 2 = -3*d. Let x(r) = -3*r - 8. Is x(d) prime?
True
Is (2/4)/((-20)/(-63760)) composite?
True
Suppose 13 + 64 = j. Is j composite?
True
Suppose 4*m + 4 = 0, -2 - 2 = 2*w + 2*m. Let p(k) = 3*k**2 - 1. Let c be p(w). Suppose 228 = -0*j + 3*j + u, -c*u = -3*j + 237. Is j a composite number?
True
Let z(o) = -o + 5. Let p be z(7). Let u be (-7)/p*16/28. Suppose -36 - 94 = -u*b. Is b a prime number?
False
Suppose g + 5*j = 1, -4 = -4*g - 5*j + 4*j. Is (g - 3)/((-1)/37) a prime number?
False
Let r = -37 + 86. Is r prime?
False
Let m = -11 + 138. Is m prime?
True
Let p = 17 - 21. Is ((-2)/(-4))/(p/(-1192)) prime?
True
Let h(x) = -x**3 + 32*x**2 - 29*x - 21. Is h(27) a composite number?
True
Suppose 0 = -9*q + 5*q + 496. Suppose t - q - 83 = -4*a, -4*t + 814 = 2*a. Is t a prime number?
False
Let g be (-2)/(-12)*-3*16. Let n(p) = -30*p**2 - p + 1. Let y be n(1). Let r = g - y. Is r a composite number?
True
Is (3 - (4 + -2))*23 prime?
True
Let g(f) = f**2 - 8. Let x be g(0). Let o = x - -41. Is (-12)/(-3)*o/4 a composite number?
True
Let v = -51 - -208. Is v a prime number?
True
Let t(j) = j**2 - 5*j - 2. Let z be t(6). Suppose 0*m - 5*s + 9 = m, -3*s - 82 = -z*m. Suppose 26 = 3*u - m. Is u prime?
False
Suppose -3*k = -5*k + 1620. Is 2/(-7) - k/(-42) composite?
False
Let m = 271 - 110. Is m prime?
False
Suppose -8884 = -8*l + 12772. Is l a composite number?
False
Let z(i) = 10*i**3 + 4*i**2 - 6*i + 3. Is z(2) composite?
True
Suppose 2*h + 4725 = 5*q, 0 = -q - 0*h + 2*h + 953. Is q composite?
True
Let t(y) = -y**3 - 17*y**2 - 19*y - 11. Let q(z) = 2*z**3 + 33*z**2 + 37*z + 23. Let d(c) = -3*q(c) - 5*t(c). Is d(-13) prime?
False
Suppose 3*r - 269 = 2*r. Suppose 5*u = -5, -4*i + u = 4*u - r. Suppose 0 = -5*d - h + i - 3, -4*d = -2*h - 52. Is d a composite number?
False
Let k(j) = j**2 - 2*j + 2. Let a be k(2). Is (3 + -3)/a - -217 a composite number?
True
Suppose 9 = 4*s - 7. Is s composite?
True
Is ((0 - -2) + 41)*1 prime?
True
Let o(v) = -v**2 + 7*v - 6. Let u be o(7). Let x(j) = 12*j**2 + 7*j + 5. Is x(u) a prime number?
False
Let l be 1/(-1 - 0)*1. Let t be ((-2)/l)/(6/9). Is (-2 - -118) + (2 - t) a composite number?
True
Suppose 1201 - 389 = 4*u. Suppose -u = -4*r + 161. Is r composite?
True
Suppose p + 3*p - 16 = -2*y, y - 2*p = -8. Suppose 3*m - 5*m - 2*a + 404 = y, 5*m = -a + 1026. Is m prime?
False
Let g(v) = -12*v + 1 - 8 - 3*v. Is g(-8) composite?
False
Suppose 5*q - 230 = -9*i + 4*i, -4*q = 2*i - 82. Is i + 3 + (-1 - 0) composite?
False
Let o(u) be the second derivative of -11*u**3/6 - 3*u**2/2 + u. Is o(-2) a composite number?
False
Let d be (-202)/(-4) + 1/2. Suppose 5*a = 14 + d. Is a a composite number?
False
Suppose -2*t + 0*t = -3*s - 52, -3*t - 4*s + 61 = 0. Let x = t - -24. Is x prime?
True
Is (10/15)/(-1 + 11553/11547) a prime number?
True
Suppose 4*i + 18 = 6. Is ((-4)/i)/(8/36) prime?
False
Let o(z) = -87*z + 1. Let c be o(-1). Suppose -4*n + 16 = -4. Suppose 2*r + 2*r = n*g + c, 4*g = 0. Is r prime?
False
Let y = 34 - 11. Is y + (-3 - -1) + -2 a composite number?
False
Suppose -3*z + 2*n + 1132 = z, 4*n - 1132 = -4*z. Let l = z - 194. Is l a composite number?
False
Let a = -61 - -86. Suppose x = 11 + a. Let n = -25 + x. Is n a composite number?
False
Suppose -3*r - 15 = p - 6*p, -p - 3 = 0. Let j = r - -16. Suppose 2*y = j*y + 3*b - 3203, y - 772 = 5*b. Is y a prime number?
True
Is (236 - -1)*1/3 a prime number?
True
Let u(q) = -q + 3. Let y be u(4). Let x be 0/2*1*y. Suppose x = m - 8 - 3. Is m prime?
True
Suppose -5*a + 17167 + 12888 = 0. Is a a composite number?
False
Let o(h) = -h**3 + h**2 - h + 5. Let j be o(0). Suppose -4 - 21 = -j*n. Suppose 0*g + 2*r - 838 = -4*g, -1043 = -n*g - 4*r. Is g prime?
True
Let d be 2/(-4) - (-5685)/10. Let w be ((-1)/(-2))/(2/d). Suppose -31 = -4*o + 5*u + 99, 4*o = -u + w. Is o prime?
False
Let d(a) be the third derivative of 0 - 2*a**2 + 1/6*a**3 + 0*a - 1/6*a**4 - 1/60*a**5 + 1/120*a**6. Is d(3) a composite number?
False
Let c be (-7)/14 + (-3937)/(-2). Suppose -5*j - 244 = -u, 5*u = j + c - 628. Suppose -4*v + u + 63 = 0. Is v a composite number?
False
Suppose 35022 = -12*u + 18*u. Is u prime?
False
Suppose -5*p = 2*c - 0*c + 7, 4*p = 5*c - 32. Suppose -98 = -l - x - 4*x, -l + 89 = -c*x. Suppose l = 5*m - 2*m. Is m composite?
False
Let i(s) = s**2 - s + 131. Let z = 8 - 4. Let b be (-2)/z + (-1)/(-2). Is i(b) prime?
True
Suppose 4*p - 246 = 2*p. Is p prime?
False
Suppose -t - 3*t = j - 427, -t = 5*j - 83. Suppose -c - c - 117 = -d, -d = c - t. Is d prime?
False
Suppose 8 = -2*n + v, 2*v = 1 + 3. Is (n - -2)*-1 - -110 composite?
True
Suppose -5*w + w = 20,