
Let k(w) = 68*w**3 + 4*w**2 - 34*w + 9. Is k(4) prime?
True
Let u be (1 - 2/(-4))*6144/72. Let b = 1321 - u. Is b a composite number?
False
Is 13 + -8 - (-7)/((-14)/(-5548)) a prime number?
False
Suppose 0 = -3*k - 1582 + 463. Let p = k - -1056. Is p composite?
False
Let u = -12 + 12. Suppose u = w - 2*w - 58. Is -4*(-2 + w/8) a prime number?
True
Let s = -107 - -107. Is (-14 - s)/(2/(-11)) a composite number?
True
Suppose -z + 23100 = 6*z. Suppose -7*o + 1509 + z = 0. Is o a composite number?
True
Let a be -2*((-2)/4 - 1). Suppose 4*y - a*g + g = 308, 4*g + 16 = 0. Is -5*5/(y/(-114)) a prime number?
False
Suppose -25*r - 10422 = -852197. Is r a prime number?
False
Suppose 5*x - x = -12. Let g(d) = -d**3 - 3*d**2 + 3. Let a be g(x). Suppose -v + 67 = s + 9, a*v = 5*s - 250. Is s prime?
True
Suppose -3*z - 2*z = -s + 23, s - 3*z - 19 = 0. Let p(x) = -2 + 188*x - 158*x + 19. Is p(s) a composite number?
True
Suppose -16 = -2*p + p. Let s(l) = 4*l**3 + 8*l**3 - 11*l**3 + 3 - 16*l**2 + 4*l. Is s(p) a prime number?
True
Suppose 10*u - 765436 - 228234 = 0. Is u composite?
False
Suppose -5*z = -25319 - 124586. Is z a composite number?
True
Let q be 4 + -3 - -2 - (1 - 0). Suppose -3*c + 224 = q*c + 3*t, -5*c = t - 218. Is c prime?
True
Suppose 0 = 21*g - 29*g + 1720. Is g composite?
True
Let f(b) = b**3 - 2*b**2 - 48*b - 38. Is f(23) a prime number?
True
Suppose 4*i - m + 7796 = 0, 0 = -2*i - 2*i - 2*m - 7796. Is 1*i*(-1 - 0) prime?
True
Let x(c) = 111*c + 593. Is x(0) a composite number?
False
Suppose 2*m = 4465 + 8533. Is m a composite number?
True
Let b(c) = -c**3 - 7*c**2 - 21*c - 18. Let s be b(-9). Suppose 781 = j - s. Is j a composite number?
True
Let z be ((-8016)/(-9) + 0)/((-8)/(-60)). Suppose -2*p + 10*p = z. Is p prime?
False
Let u(f) = 20 + 18 - 47 + 643*f. Is u(2) a composite number?
False
Let x = -844 - -1295. Suppose z + x = 2*z. Let q = -194 + z. Is q a prime number?
True
Let q be (-27)/2 - 15/(-10). Let i be (q/24)/(1/70). Let l = 24 - i. Is l composite?
False
Is 35/175 + 27208/10 a composite number?
True
Let p = -4928 + 7029. Is p composite?
True
Suppose -3*u - 5*c = 3, -4*u - 3*c + 0 + 7 = 0. Suppose u*n + 3*w - 20 = 0, -n + 3 = -2*w - 2. Is (-20)/n + 59 + -2 composite?
False
Let z = 106 + -171. Suppose 4*n - 118 = 3*n. Let t = n + z. Is t a prime number?
True
Suppose -6*a - 444 = -7*a. Is (a + 3 + 2)/1 a composite number?
False
Let k(o) = o**3 - 5*o**2 - 6*o + 4. Let z be k(6). Suppose 5*i + 2*p - 1043 = z*p, 0 = 3*i - 3*p - 624. Is i prime?
False
Let h = -48410 + 95859. Is h composite?
True
Let g be 2/6 + 195/9. Suppose -6*v + g = -164. Is v a composite number?
False
Suppose -26*a - 1420 = -24*a. Is 1/(-1 + (-712)/a) a composite number?
True
Let l be 5*3 + (13 - 13). Is ((-19030)/l)/(-2*(-2)/(-6)) a prime number?
False
Suppose -3*i - 4 = 5*f + 6, -4*i = f - 15. Suppose 4*j + 171 = i*k, -3*j = -4*k - j + 132. Is k composite?
False
Is (18292/(-10))/(262/(-655)) composite?
True
Suppose 2*f + 20 = 7*f. Suppose 114 + 38 = f*d. Suppose b - 111 - d = 0. Is b prime?
True
Suppose 0 = -11*c + 43625 - 219. Suppose -5*g + 9865 = 3*b, 0*g + 2*g - c = 5*b. Is g prime?
True
Suppose y = 2*y - 2. Let m be 8/y*(0 - -2). Suppose 2*j - k - 62 = -4*k, 2*k + m = 0. Is j a composite number?
False
Let z = 29 + -24. Suppose -2*y + z*y = 834. Is y prime?
False
Let b be (1 - 3)/(-2)*3. Suppose -4*h + b*s - s = -3196, -5*s - 3990 = -5*h. Let l = 1181 - h. Is l composite?
True
Suppose k - 4*p - 80 = 0, 21*k - 26*k - 3*p = -400. Suppose u = 2*j - 6*j + 359, -5*j = 5. Let l = u + k. Is l a prime number?
True
Let m = 69 + -29. Is (-5)/m*2 + (-27999)/(-12) prime?
True
Let z = -96 - -87. Is 3261/(-2)*(15/z + 1) composite?
False
Let t = 10632 - 7273. Is t a composite number?
False
Let h = -8 + 16. Let o be (186/h)/(1/20). Suppose 4*g = g + o. Is g a composite number?
True
Suppose 235*l - 239*l = -29932. Is l a composite number?
True
Let o = 10821 + 4690. Is o a composite number?
False
Suppose -4*s + y = 28, -s = -4*y - 2 - 6. Is (-10)/(s/4) + 816 composite?
False
Let m = 18 - 13. Suppose -m*c + 2*l = 14, 4*l = -0*l - 12. Let g(y) = -288*y - 11. Is g(c) a prime number?
False
Suppose -5*f + 12*f = 0. Suppose f = -5*s + 3*a + 2253 - 184, -5*a = -10. Is s prime?
False
Let m(j) = j**3 - 2*j**2 - 3*j + 3. Let y be m(-3). Let r = -20 - y. Suppose -16*a + 93 = -r*a. Is a a composite number?
False
Suppose 0 = -2*f + 3*f + 11942. Let c(n) = 5*n - 9. Let u be c(-9). Is f/(-12) + 9/u composite?
True
Suppose -3*b + 7 - 1 = 0. Suppose b*y = 897 + 269. Is y a prime number?
False
Suppose 0 = 5*x - 24 - 136. Suppose 0 = -x*a + 35*a - 885. Is a a prime number?
False
Let y(a) = -5*a + 14*a - 460*a**3 + 11 - 129*a**3 + 4*a**2. Let s(x) = 294*x**3 - 2*x**2 - 5*x - 6. Let j(l) = -11*s(l) - 6*y(l). Is j(1) composite?
True
Let v(a) = a**3 - 9*a**2 - 10*a. Let y be v(10). Suppose 6*i - 2334 = 5*i + f, y = -4*i + 3*f + 9335. Is i composite?
False
Suppose -4*h + 3*f - 7 = -20, -5*h + 24 = 4*f. Let l = h + -4. Suppose -t - 5 + 2 = 0, 5*n - 4*t - 267 = l. Is n composite?
True
Let y = 6 - 12. Let b(p) = -p - 1 - 3*p - 1. Is b(y) a prime number?
False
Suppose 3 + 5 = -4*b - 2*j, -5 = b + 2*j. Is b/4*2*-3262 composite?
True
Suppose -13*t - 25 = -18*t. Suppose -5*y - 5 = -3*o, -32 = -t*o + 2*y + 8. Is o a composite number?
True
Suppose 0*c - 40 = -4*c. Suppose -3*d + 6 = -2*a + 6*a, -c = -5*d - 2*a. Let m(r) = 23*r**2 - 3*r + 3. Is m(d) a composite number?
False
Let x(v) = 3*v - 6. Let z be x(3). Suppose 9 = -z*r + 30. Is r composite?
False
Suppose 0*b - 5*l + 5342 = b, 3*b - 2*l - 15975 = 0. Is b composite?
True
Let n(c) = -48 + 94 + 86*c - 27. Is n(6) composite?
True
Is -6*(753/18)/(2/(-6)) prime?
False
Suppose -3*z = 3*f - 8*f + 3728, -2*z - 2479 = 3*f. Let g = z + 2898. Is g a prime number?
True
Let z = -9 - -14. Suppose -z*p + 39 = -2*p. Let k(c) = 32*c - 1. Is k(p) prime?
False
Let o be 21/14*(-4)/(-3). Suppose -3*s - o*f + 283 = 0, 5*s + 2*f = -194 + 671. Is s prime?
True
Let b = -37 + 37. Suppose b = z + z - 2594. Is z a prime number?
True
Let w(k) = 474*k**2 + 10*k + 55. Is w(-6) composite?
True
Let b = 1293 - 614. Suppose 7*l - b = -0*l. Is l a prime number?
True
Let k = 102 + -102. Let o(i) be the first derivative of -i**4/4 + i**3/3 + i**2 + 467*i - 2. Is o(k) a prime number?
True
Suppose -3*h + 190969 = 4*l, 0*l = l - 5*h - 47771. Is l a composite number?
True
Let p be (-2 - 13/(-4))/((-1)/(-5924)). Suppose -p = -11*f + 6*f. Is f a composite number?
False
Suppose 211554 = 5*h - m, -13*m + 84617 = 2*h - 18*m. Is h a composite number?
True
Let g(f) = 95*f + f**3 + f**3 + 11*f**2 - 91*f - 9. Let r be g(8). Suppose -r = -5*l + 344. Is l prime?
True
Let k(i) = -i**3 + 5*i**2 + 5*i + 5. Let u be k(6). Let l be u*(-5 + (-3)/(-1)). Suppose -l*g = -6*g + 380. Is g a prime number?
False
Suppose -4*m = 4*d - 4412, 3309 = 3*d - 2*m - 2*m. Is d a prime number?
True
Suppose 12 = 3*w, -2*i - i = 4*w - 2035. Is i*(1/1)/1 composite?
False
Let p = 5676 - -10183. Is p composite?
False
Let d(u) = -4*u**3 - 3*u**2 - 5*u - 4. Suppose 0 = 5*n + 14 + 11. Is d(n) composite?
True
Suppose t + 4*t - 296157 = -4*v, 5*t = -5*v + 296155. Is t a prime number?
True
Suppose 2*u = -4*h + 1442, 2*u - 2*h - 26 - 1434 = 0. Suppose -3*t = -t - 4*j - 1434, t + 3*j = u. Is t a prime number?
False
Let w(y) = 778*y - 17. Suppose -3*u - 3 = g, 2*u = 3*g + 4*u - 5. Is w(g) prime?
False
Let f(y) = y**3 - 16*y**2 + 3. Let h be f(16). Suppose 2*l = h*l - 2006. Suppose 0 = -3*c + 4*j + 1517, -4*c + 5*j = 3*j - l. Is c a composite number?
False
Suppose 590 = 2*c - 3598. Let v = c + -1452. Suppose w + v = 3*t, 2*t + 3*t = 4*w + 1063. Is t composite?
True
Let c be (-4 + -4)/(-4) + -3. Let i(o) = -o**3 - o. Let a be i(c). Is (-1 + a)*(14 - -8) a prime number?
False
Let l(i) = -i**2 + 19*i - 47. Let u be l(16). Is (-1087 + 0)*u/(1/(-7)) a prime number?
False
Is 1/(4/(-28))*2722/(-2) a prime number?
False
Suppose 393 = 3*y + 5*q - 313, -4*y + 2*q = -924. Let n = y - 72. Let m = 49 + n. Is m prime?
False
Let g = 1314 + -917. Is g prime?
True
Let h be ((-96)/(-60))/((-4)/10) - 4708. Let i = h + 6627. Is i a prime number?
False
Let s(z) = -163*z**3 - 3*z - 1. Let l be s(-2). Suppose 5*f + 129 = l. Let p = 347 - f. Is p composite?
True
