s z a composite number?
True
Is -1 - (-4)/8 - 4246/(-4) a composite number?
False
Let d(y) = y**2 + y. Let i(k) = -8*k**2 + k + 5. Let q(u) = -2*d(u) - i(u). Is q(-4) a prime number?
True
Suppose 0 = -2*z + 11 - 3. Suppose t - 290 = -z*t. Is t prime?
False
Let i = -3 + 5. Suppose -2*g = 4*q, -i*q - g = -6*q. Suppose q*z - 4*z - 16 = -4*c, 6 = 2*z. Is c a prime number?
True
Let j(r) = 5*r**2. Let y be j(1). Let v(d) = -29*d - 7. Let o(p) = 14*p + 3. Let f(x) = -5*o(x) - 3*v(x). Is f(y) prime?
False
Is -839*((-20)/5 + 3) a composite number?
False
Suppose 3*s + 0*c = 3*c + 6261, 2*s - 4173 = c. Suppose 2*h = -0*h + s. Is h a composite number?
True
Let n = 5 + -1. Suppose 188 = n*z - x, 2*z + 4*x - 3*x - 88 = 0. Is z a prime number?
False
Suppose 3*o + 4*c = 1106, 2*o + 0*c - 744 = -4*c. Suppose 3*x - 85 = o. Is x prime?
True
Is (-1 + 2524)*2/6 a composite number?
True
Let h(i) = -i - 2. Let x be h(-7). Let a(f) = 31*f. Is a(x) composite?
True
Suppose 7 - 87 = -5*k. Is (-2)/4 - (-6712)/k composite?
False
Let s(i) = -i + 5. Let f be s(4). Let w = 6 - f. Suppose 2*l - w = 15. Is l a prime number?
False
Suppose 2*i + 11 - 55 = 0. Is i prime?
False
Let z(s) = -321*s + 13. Is z(-6) prime?
False
Let x(v) = 37*v**3 + 2*v**2 - 2*v + 1. Let s be x(1). Suppose 3*q = 19 + s. Is q a prime number?
True
Is ((-670)/(-4))/(4*(-2)/(-16)) prime?
False
Is (-4)/(-1) + (1211 - (-1 - 3)) prime?
False
Suppose -o = 5*x - 7720, -5*x + 10687 = 5*o - 27893. Is o a composite number?
True
Let d = -1359 + 1925. Suppose 181 = 3*k - d. Is k composite?
True
Suppose -z = -0*z + 172. Let v = -63 - z. Is (v - (-1 - -1)) + 2 a composite number?
True
Suppose -5*a + 33 = -x + 5*x, x - 24 = 4*a. Suppose 5*y + x = 397. Is y a composite number?
True
Suppose -353 = -4*j + 299. Is j a prime number?
True
Let x(s) be the third derivative of 3*s**5/20 + s**4/24 - 3*s**3/2 - 2*s**2. Is x(-11) composite?
False
Suppose j - 16 = -j. Let b(f) = -f**3 + 14*f**2 - 8*f + 11. Is b(j) composite?
False
Let y = -12 + 17. Suppose 4*l - z - 393 = 0, 4*l - 3*l + y*z = 72. Is l a composite number?
False
Let q be (7 + 1 - 0)/1. Suppose z = -z + q. Suppose -z*o = -102 - 94. Is o a composite number?
True
Let n(d) = -d**2 + 4*d + 6. Let u be n(6). Let q(j) = -3*j**2 - 5*j + 2*j**3 - j**3 + 8*j**2 + 8. Is q(u) a composite number?
False
Suppose -137 = 4*p - 557. Suppose -4*g = g - p. Is g a composite number?
True
Let l(b) = 176*b**2 - 5. Is l(-3) a prime number?
True
Let d = -15 - -26. Let m = d - -50. Suppose -213 = -4*p - m. Is p a prime number?
False
Is (-2 - 159/(-9))*(20 + 1) a prime number?
False
Suppose -n + 10 = 8. Let u(g) = -3 - g + 0 + 10*g. Is u(n) prime?
False
Let t = 17408 - 7891. Is t composite?
True
Suppose -4*p = -4 - 4. Suppose 2*s = -p*s + 12. Suppose z - 124 = -s*z. Is z a composite number?
False
Suppose -3*l + 422 = 5*x, 0 = 2*x - 4*l - 94 - 54. Suppose -2*j = -382 - 240. Suppose 3*b - j = x. Is b a prime number?
True
Suppose -3*c = -5*c + 26. Suppose d + 4*z = 15, -c = -d + 3*z - 6*z. Is (-45)/(-2) + d/(-14) a prime number?
False
Suppose -t + 4 = 0, 6*t = n + 2*t - 381. Is n a prime number?
True
Let q = 1964 - 937. Is q composite?
True
Let t(v) = -v**2 - 8*v - 9. Let q be t(-6). Suppose 69 = q*u - 36. Is u a prime number?
False
Suppose -3*d + d = -830. Is d composite?
True
Suppose 5*z + 2*p + 3*p - 945 = 0, -3*z + 4*p + 539 = 0. Is z a prime number?
False
Let c = -766 - -1233. Is c a prime number?
True
Suppose 5*y - 2*y - 477 = 0. Is y a composite number?
True
Let g = -5 - -7. Suppose 2*i - m = 116, 4*i = g*m - 3*m + 238. Is i prime?
True
Let s be (1 - 3) + 0/2. Let g be 2 - (-78 + s + 2). Suppose -3 = 3*a, -4*z = -a - 3*a - g. Is z prime?
True
Let h(g) = g**2 - 6*g + 2. Let d be h(6). Let v be (-4)/(-18) - 25/(-9). Suppose 8*n = 3*n - v*c + 248, d*n = -5*c + 103. Is n a prime number?
False
Let w(j) = j. Suppose -v + 12 = 3*v. Let b be w(v). Suppose b*i + 6 = 153. Is i a prime number?
False
Let k be (-12)/(-30) + (-9923)/(-5). Suppose -q = -6*q + k. Is q prime?
True
Let p = -35 + -1. Let m = p + 93. Is m a prime number?
False
Let p = 10 + -9. Let f = p + 4. Suppose f*b + j + 66 = 449, -3*b + 4*j = -239. Is b composite?
True
Is ((-1486)/8)/(7/(-28)) composite?
False
Suppose 6*b - 8397 = -3*b. Is b composite?
True
Let t(z) be the second derivative of 3*z**4/4 + 3*z**2/2 + 2*z. Let a be t(5). Suppose -3*b + a = 3*s, 8 = s - 5*b - 86. Is s a prime number?
True
Let o = 596 + -404. Is -2 + (-4)/(-1) + o composite?
True
Suppose w + 0 + 10 = 0. Let j(q) = 11*q**2 + 13*q - 3. Is j(w) a prime number?
True
Suppose -2*s - 2*q = -4672, s + 2*q = 2618 - 286. Suppose 5*i - z = 4*z + s, -z = 3*i - 1400. Is i a composite number?
False
Suppose 3*n - 282 = 147. Is n a prime number?
False
Let b be 18*2/(-1 + 3). Let k be b/6*(-2)/3. Is 2 + (-51)/6*k a composite number?
False
Let q(h) = -h**2 - 5*h - 2. Let i be q(-2). Is (-14)/i*(4 - 6) a prime number?
True
Let o = 152 - 59. Is o prime?
False
Let i(g) = -g**3 + 8*g**2 - 4*g - 7. Let w be 9/(-6)*(-14)/3. Let a be i(w). Is (a/4)/((-6)/(-156)) a prime number?
False
Let w(c) = -14*c - 1. Is w(-4) a prime number?
False
Suppose 5*d = 3*k - 61, 0 = 4*d - 1 - 3. Suppose -2*l = -k - 0. Is l a composite number?
False
Let v(u) = 2*u**2 + 5*u - 4. Let y be v(9). Suppose 0 = -3*l - 32 + y. Let m = l - 31. Is m a composite number?
True
Let x be ((-304)/20)/((-6)/15). Suppose -3*b + 5*j = -2, 0*b + 7 = -3*b - 4*j. Let p = x + b. Is p a prime number?
True
Suppose 2*q - 3*x + 22 = 0, 4*q + x = -8 - 8. Let l = 7 + q. Suppose -l*h + h + 49 = 0. Is h a composite number?
True
Suppose 5*r - 5*d = 1055, 5*r + d - 649 = 406. Is r a composite number?
False
Let a(n) = 21*n**3 + 5*n**2 + 6*n - 1. Is a(6) a composite number?
False
Let p = -1 - 1. Is 7/((4/(-26))/p) a prime number?
False
Let u(j) = -j**3 + 8*j**2 - 8*j + 7. Let t be u(7). Suppose t = -5*o + o. Suppose -3*h + h + 134 = o. Is h prime?
True
Is ((-2)/4)/((-1)/2930) prime?
False
Is 1*669*2/6 prime?
True
Suppose 3*y - 172 = -y + 3*z, 0 = 2*y - 2*z - 84. Let i = y + 6. Let a = -33 + i. Is a prime?
True
Let z(h) = h + 1. Let f(v) = -2*v - 529. Let l(a) = -f(a) - 3*z(a). Let s be l(0). Suppose -4*k + s = 2*y, -k + 5*y = -0*y - 126. Is k composite?
False
Suppose 16*s - 12*s = 532. Is s a composite number?
True
Let k = -8 + 11. Suppose 0*j + 435 = k*j. Is j a prime number?
False
Let i(g) = 39*g**2. Let t(d) = -194*d**2 + d - 1. Let u(q) = -11*i(q) - 2*t(q). Let f be u(-2). Is 1/(2/f*-1) a prime number?
True
Let l = 73 - -4. Is l a prime number?
False
Let q(u) = 2*u**3 - 6*u**2 - 2*u. Let v be q(6). Let j = 291 - v. Suppose -63 = -w - z, w - j = 8*z - 3*z. Is w composite?
False
Let o(a) = 12*a**2 - 15*a - 20. Is o(-11) a composite number?
False
Let f = -35 + 13. Let l = f + 53. Is l a prime number?
True
Let x(i) = i**2 + 9*i - 9. Let f(o) = -15*o**2 - 125*o + 125. Let t(p) = -4*f(p) - 55*x(p). Suppose -10 = -4*u + 2*u. Is t(u) prime?
False
Let l(i) = 164*i**2 + 3*i - 29. Is l(-6) a composite number?
False
Suppose 0 = c + 3, -4*r + 3*c + 7 = -22. Suppose 0 = -l - r*o + 380, -2*o = -l + 30 + 371. Is l a composite number?
True
Let y(v) = v**2 + 4*v - 5. Let p be y(-5). Suppose 2*b - 7*b + 1115 = p. Is b prime?
True
Let n be 28/(-6)*(-9)/6. Suppose -n = -u + 28. Is u a prime number?
False
Is (-2 - -2 - 37)*(-4 + 3) a composite number?
False
Suppose 4*t = -274 + 1086. Is t a prime number?
False
Suppose -3*p + 0*p = -6. Let k(o) = 10*o + 1 - 10*o + 52*o**p. Is k(-1) a composite number?
False
Suppose 159 = -g - 3*a + 52, -2*g + 4*a - 244 = 0. Let w = g + 205. Is w a prime number?
True
Let a be 22/8 + 1/4. Suppose 6*l = a*l - k + 106, 5*l - 190 = -5*k. Let q = l + -8. Is q a prime number?
False
Let g(b) = 53*b**2 - 12*b + 17. Is g(-10) composite?
False
Let r = 4 + 2. Is r/21 - (-2049)/7 prime?
True
Suppose 5*w - 590 = 135. Is w a prime number?
False
Let d = 16 - 11. Let s(y) = y**2 - 5*y - 3. Let w be s(6). Suppose -5*c - 4*f = -71, -d*c + w*f + 59 = 4*f. Is c a composite number?
False
Suppose 5*h + 55 = -275. Let f(d) = -d**2 - 3*d - 5. Let n be f(-7). Let r = n - h. Is r a prime number?
False
Let s(p) = -p**2 - 3*p + 1543. Is s(0) a composite number?
False
Let o(t) = -t**2 - 6*t - 3. Let a be o(-4). Let h(x) = 5*x**3 - 4*x**2 - 5*x - 1. 