s a prime?
False
Let j be 122*1/(-6)*-3. Suppose j = 2*t - 9. Is t a prime number?
False
Let v = 423 - 83. Suppose 0*d - 4*d = -v. Is d a prime number?
False
Let s(c) = 2*c**3 - 2*c**2 + c + 4. Let q be s(3). Let b = -8 + q. Is b a composite number?
True
Suppose 2*a - 2*j - 6 = 0, -5*a - j + 12 = -a. Suppose 2*y = -2*m - 30, -a*m - 12 - 23 = 2*y. Let x = y - -59. Is x prime?
False
Suppose 4*k = 5*z - 9, -3*z + 0*k - k = -19. Suppose 5*x - 890 = 4*q + 361, q + 1239 = z*x. Is x prime?
False
Is 1151*(3/2 - 9/18) a composite number?
False
Suppose 2*c = -c + 168. Suppose -2*s = -4*f + 13 + 83, c = -2*s - 4*f. Let w = -16 - s. Is w a prime number?
False
Suppose 53 = 5*a + 8. Suppose 0 = -6*l + a*l - 435. Is l a prime number?
False
Suppose -3*k - h - h = -3, 0 = 5*k - 2*h - 21. Suppose 0 = -2*l - k*l + 10. Suppose a - l*a = -23. Is a a prime number?
True
Let s(d) = -d + 6. Let v = -4 + 7. Is s(v) a prime number?
True
Let f = 307 - 141. Let t = f + -97. Suppose 5*u + t = 224. Is u composite?
False
Is -6 + -3 + 5 - (-1527)/1 composite?
False
Let c = -28 - -99. Is c prime?
True
Let g = 214 - 87. Is g a prime number?
True
Suppose 0 = 4*o - 327 + 59. Suppose o = -2*b + b. Let p = b + 104. Is p prime?
True
Suppose -5*a - i = -5*i - 8437, 4*i = 2*a - 3382. Is a a composite number?
True
Let p(z) = -222*z**3 - 4*z**2 - 6*z - 5. Is p(-3) prime?
False
Let y(w) = -4*w + 6. Let p be y(6). Let r = p - -31. Is r a prime number?
True
Let f(z) = 11*z - 12. Is f(13) a composite number?
False
Let f(b) = -5*b**2 + 15*b - 5. Let r(u) = 15*u**2 - 44*u + 15. Let y(x) = 17*f(x) + 6*r(x). Is y(6) composite?
False
Suppose 2*v - 5432 - 1090 = 0. Is v prime?
False
Let t be 12/(-8)*2/3. Let s = 7 + -6. Is 36 - s - (t + 3) a prime number?
False
Let s = 158 + 477. Is s prime?
False
Let c = 1322 - 933. Is c prime?
True
Suppose -2*q = 10 - 0. Let a = -2 - q. Suppose 0 = 6*s - a*s - 111. Is s prime?
True
Let c(m) = 28*m**2 - m - 1. Let y = -4 + 2. Let f be c(y). Suppose 3*o + 0*s - f = -s, -175 = -5*o + 5*s. Is o a composite number?
False
Let m(f) = -f**3 - f**2 - f + 4. Let k be m(0). Suppose -626 = -5*g + 3*h, 3*g = -k*h - 0*h + 393. Is g a composite number?
False
Let x(r) = 21*r. Let s be x(1). Suppose -18 - s = -c. Is c a prime number?
False
Let h = 402 + 71. Is h prime?
False
Let o(q) be the third derivative of -q**6/120 - q**5/20 + q**4/12 - q**3/6 + 3*q**2. Is o(-4) a prime number?
True
Suppose 5*w + 1 = 4*p - 24, 3*w = 4*p - 23. Let r = -16 - p. Is 4/14 - 288/r a composite number?
True
Let m(u) = -u**2 + 9*u. Let l be m(6). Let p = l - -1. Is p prime?
True
Let o be -1 + 0 + 1 + 10. Let d = 8 + -2. Let f = o - d. Is f composite?
True
Let l(q) = -230*q + 5. Let a be l(-3). Suppose 2*x + 43 = 4*s + 741, 2*x - s = a. Is x a composite number?
False
Suppose -50 = 2*v - 3078. Is v composite?
True
Suppose -x + 12 = 4*j, 2*x - 16 = -0*j - 4*j. Suppose -3*l + 30 = j*l. Suppose -4*g = l*k - 3*k - 283, -93 = -k - 2*g. Is k a prime number?
True
Let i = 230 + -17. Is i a prime number?
False
Suppose 36*x = 31*x + 235. Is x prime?
True
Let k = 5 - 5. Suppose -2*t + 94 = -k*t. Is t prime?
True
Let w = 12 - 10. Suppose -3*a + 0*a + 3*m + 369 = 0, 0 = -w*m - 4. Is a a prime number?
False
Suppose -7320 = -5*x + x. Suppose 0 = -0*o - 5*o + x. Suppose o = 2*k + 136. Is k composite?
True
Let y(d) = -d**2 - 4*d + 1. Let l be y(-3). Suppose 0 = k + l*k - 10. Suppose -g - 37 = -k*g. Is g a composite number?
False
Let k = 121 + 502. Is k a composite number?
True
Let r = -61 - -144. Is r prime?
True
Let i = -165 - 175. Let f = 129 - i. Is f prime?
False
Suppose 2*f + 27 - 281 = 0. Suppose p = -0*p + f. Is p a composite number?
False
Suppose 6*i - 341 = 361. Let d = i + -28. Is d prime?
True
Suppose 4 = 2*p + 3*l, 0 = -0*p + 2*p - 5*l - 4. Suppose t + 4*o = 421, -p*o + 4 + 0 = 0. Is t a prime number?
False
Suppose -4*r = 8*r - 66732. Is r a composite number?
True
Suppose -p + 10991 = 4*t, 5*t + p = 2*t + 8244. Is t a composite number?
True
Let p(c) = -c**3 - 4*c**2 + 4. Let k be p(-3). Let o be 2/4 + 10/4. Is ((-9)/o)/(1/k) composite?
True
Let d = 3326 + -619. Is d prime?
True
Let a(l) = 23*l**3 - 2*l**2 - 5*l + 9. Is a(3) composite?
True
Let m(v) be the third derivative of -5*v**4/24 + v**3/2 + v**2. Let b be m(-7). Suppose 22 = 4*k - b. Is k a composite number?
True
Let w = -194 + 104. Let x = -13 - w. Is x a composite number?
True
Suppose 5*m = -y + 7200, 0 = -2*m + 5*y + 3775 - 922. Is m a prime number?
True
Let x(p) = -23*p. Suppose 0 = 4*i + 12, -i - 37 = -5*m - 2*i. Let n(v) = -v**3 + 7*v**2 + 7*v + 7. Let b be n(m). Is x(b) prime?
True
Let z = 1 + 3. Let q be -1*1 - (17 - z). Let k = 29 + q. Is k a prime number?
False
Suppose 0 = -4*u - 34 + 294. Suppose 0 = 3*i + 2*d - u, -5*i + 3*d - 2*d + 91 = 0. Is i a prime number?
True
Let x(g) = -2*g**3 + 7*g**2 - 2*g + 1. Let i be x(5). Let y = 74 - i. Is y prime?
False
Let f(b) = b - 26. Let v(g) = -g + 25. Let z(a) = -6*f(a) - 5*v(a). Let s be z(0). Suppose -5*u + 4*u + s = 0. Is u a composite number?
False
Suppose 0 = -5*w + 10 + 10. Suppose h + w*h = 10. Is (-424)/12*(-3)/h a composite number?
False
Let o be (7 - 2) + 6/(-2). Suppose 2*r + o*r = 8. Suppose q = 3*s - 155, -4*s + r*q + 216 = 3*q. Is s a composite number?
False
Suppose 9 = 5*f - 26. Let b = f - 4. Suppose -3*v + b*p + 33 = 0, -3*v - p + 5 = 3*p. Is v a composite number?
False
Let u(c) = -2*c. Let b be u(1). Let p = b + 5. Suppose 89 = a + 5*l, a = -3*a - p*l + 356. Is a a prime number?
True
Let w = -6 - -8. Suppose 3*f + 376 = 4*j, -w*j + 2*f + 198 = -2*f. Is j prime?
False
Let v be 4/(8/6) - 1. Suppose 455 = v*f + 3*f. Is f a prime number?
False
Suppose 4*q - 4*r = 8, -2*r - 6 - 1 = -q. Let m be 2 - (-2)/q*15. Is m/6*(-21)/2 prime?
False
Is 742/4 - 11/22 a composite number?
True
Suppose 4*y = -3*j + 107, -2*j + 66 = 2*y + 2*y. Let p(v) = 19*v - 1. Let t be p(1). Let s = t + j. Is s a composite number?
False
Let s(a) = 282*a - 1. Let k(d) = 47*d. Let l(t) = -34*k(t) + 6*s(t). Let p be l(4). Suppose -h + 82 = -m, 4*m = -5*h + m + p. Is h composite?
True
Suppose 0*z + 5*z - 1421 = 2*j, 4*j = -5*z + 1433. Suppose -z = -3*v + 348. Is v composite?
False
Let o = 6 + -13. Let u(g) = g**2 + 4*g - 4. Let i be u(o). Suppose -5*x + i = -18. Is x prime?
True
Let x(r) = r**3 - 10*r**2 + 6*r - 6. Let y be x(9). Let g = y - -52. Is g prime?
True
Let h = -9 + 7. Let d(m) = 4*m**2 - 2*m - 1. Is d(h) prime?
True
Suppose -w + 255 = 4*w. Is w a prime number?
False
Suppose 5*f = 3*j - 969 + 213, -5*f = -15. Is j a composite number?
False
Suppose 2*c - 3*s = 4, 0*c + 2*s = -4*c + 8. Let h(k) = 39*k - 1. Is h(c) a prime number?
False
Let o be 3 - ((-2 - -1) + -1). Let w be (-3)/((-374)/184 + 2). Suppose -w = -x - 3*u, -4*x + 182 + 151 = o*u. Is x a composite number?
True
Let y be (1/3)/(1/(-3)). Let t(h) = -h + 1. Let j(w) = -12*w - 10. Let u(i) = y*j(i) - 6*t(i). Is u(3) composite?
True
Is (1*2532/(-18))/(4/(-6)) a prime number?
True
Let x = 498 + -158. Let u = -213 + x. Is u composite?
False
Let v = -3 - -7. Suppose x + 4*f - 31 = 6, 2*f = v*x - 94. Is x a composite number?
True
Let d(l) = -177*l + 9. Let r be d(-4). Suppose 5*b - w = 729, -4*w + r = 5*b - 2*w. Is b a composite number?
True
Let g be (-2)/(-3) + 152/(-12). Let f = g - -33. Is f prime?
False
Is (1/2)/((-3)/(-2082)) a prime number?
True
Let l be 1/(56/18 - 3). Suppose 0 = 4*b + 3*m - 20, -4*b - 25 = -l*b + 4*m. Suppose -b*g = -4*s + 318, 2*s - 156 = 3*g + g. Is s a composite number?
True
Suppose 0 = -t + 3*t. Suppose -2*n + 59 = -5*q - 61, t = -4*n + 5*q + 230. Is n a composite number?
True
Let y = 30 - 11. Is y prime?
True
Suppose 3*x - z + 513 = 2*z, -2*z - 346 = 2*x. Let c = -105 - x. Is c a composite number?
False
Suppose d - 25 + 0 = 0. Let x = 74 - d. Is x prime?
False
Suppose 2*t = 5*x - 41, -2*t = -6*t - 5*x - 7. Is -8 - t - -1*547 composite?
False
Let l(r) = r**3 - 5*r**2 - r + 2. Let k be l(6). Suppose 0 = 5*g - 3*b - 59, -5*g + 24 + k = -2*b. Is g a composite number?
True
Suppose -2*w = 2*p - 5*p + 5, -4*w + 8 = 0. Let t(y) = y - 1. Let o be t(p). Suppose -7*u = r - o*u - 57, -5*r + 193 = 2*u. Is r prime?
True
Suppose 4*h + 280 = 92. Let q(m) = -m - 4. Let g be q(-3). Is 1 + g + (0 - h) a composite number?
False
Suppose 0 = -0*z