 m*z, -s - 23 = -3*z - k*z. Is z a prime number?
False
Suppose -13 + 93 = 2*p. Suppose -5*d + 4 = -6, 0 = 5*x + 5*d + p. Is x/15*(-402)/4 a prime number?
True
Suppose -2*w + 12 - 4 = 0. Suppose -4*n + 9*n = -w*l + 69, 2*n = -l + 27. Is n a composite number?
False
Let i = -4 - -6. Suppose x - v = 10, 2*x - i*v = -2*x + 40. Is x composite?
True
Suppose t = -0*t - 6. Let z(a) = -a**3 - 3*a**2 - 2*a - 7. Is z(t) prime?
True
Let l(z) = -z**3 + 6*z**2 + 5*z + 8. Let g be l(7). Let q = 10 + g. Suppose 4*a - q*p - 108 = 0, -1 = 5*p + 9. Is a prime?
False
Suppose 0 = 2*t + 2*t. Suppose t = 5*m - 4*m + 132. Is 3*(-2 + m/(-9)) prime?
False
Let k be (-8)/(-28) + 110/7. Suppose 0*u - k = u + 5*z, 4*u - 3*z - 5 = 0. Is 0 - 2 - 11/u prime?
False
Let q(g) = -g**3 - g**2 + g + 145. Let i be q(0). Suppose -3*j - 141 = -p + 24, -5*j - p = 283. Let o = j + i. Is o a composite number?
False
Suppose 27 = -0*q + 3*q. Suppose 2*o = o + q. Is o composite?
True
Suppose -4*v + 5*z + 7917 = 0, 11589 = 4*v + 5*z + 3722. Is v prime?
True
Let u(y) = y**3 + 5*y**2 + 3*y - 2. Let o be u(-4). Let h(l) = 7 - l + 3*l + 0*l**o + l**2. Is h(-5) a prime number?
False
Let s = -4 + 6. Suppose 3*l + 63 = -0*f + s*f, 4*f - 2*l = 106. Suppose -5*v + 75 = -5*t, 2*v - f = -0*t - t. Is v a composite number?
False
Is (37*-1)/((0 - 5)/5) a composite number?
False
Let t = -5562 - -8459. Is t a composite number?
False
Let g(y) = 4*y**2 + 1. Let d(q) = 3*q**2 + 2. Let r(t) = -6*d(t) + 5*g(t). Let z be r(-5). Let i = -28 + z. Is i composite?
True
Suppose 2 = -2*m - 4*r - 2, 2*r = 2*m - 8. Suppose -5*d - 346 = -p, 0*d + 4*d = m*p - 722. Is p a composite number?
True
Let b = -860 - -419. Let r = b - -632. Is r composite?
False
Let i be (1 + 4 + -3)/1. Is 0 + (i - (-498)/2) a prime number?
True
Let b = 4 + -2. Suppose b*t + 55 = -31. Let h = t + 76. Is h composite?
True
Let m = 17 - 13. Suppose -m*f + 344 + 12 = 0. Is f a composite number?
False
Let l be 34/(-6) - 1/3. Is -3 + 51/l*-10 prime?
False
Let v(g) = -g**3 - g**2 + g + 13. Suppose 1 = -4*h + s - 3, s = -4*h + 4. Let d be v(h). Let w = d - 6. Is w prime?
True
Suppose 0 = q + q - 2*p - 228, q + 3*p - 94 = 0. Suppose -3*m + 6 = x, 2 = 5*x - 0*x + m. Suppose 4*f - q - 207 = x. Is f a composite number?
False
Let p(h) = -93*h - 27. Let o(u) = 47*u + 13. Let s(l) = -13*o(l) - 6*p(l). Let b be s(5). Let d = 387 + b. Is d prime?
False
Let k = 16 - -67. Is k prime?
True
Suppose -5*p + 1492 = 17. Is p composite?
True
Suppose -a = -3*o + 157, 165 = -0*o + 3*o - 3*a. Is o prime?
False
Suppose -h + 3 = -0. Suppose 2 = h*i - 22. Let y = i + 30. Is y prime?
False
Let a(v) be the first derivative of -11*v**4/8 + v**3/6 - v**2/2 + 1. Let l(w) be the second derivative of a(w). Is l(-1) a composite number?
True
Suppose -b + 0*b + 10 = 0. Let g = 29 - b. Is g prime?
True
Suppose 4*y = 9*y - 25. Suppose 2*x - 627 = -5*q, 3*q - y*x = 7*q - 488. Is q a prime number?
True
Suppose 5*a + 57 + 18 = 0. Let m = a - -8. Let o(f) = f**2 - 6*f - 2. Is o(m) a prime number?
True
Suppose -h + 5*t - 15 = 4*h, -4*h = -5*t + 9. Is ((-2)/h)/((-2)/(-294)) a prime number?
False
Let a be 24/(0 + 2) + -2. Suppose -3*x - 1 = -a. Suppose 3*p - g - 10 = -2*g, 8 = x*p + 2*g. Is p a composite number?
True
Let t(c) be the third derivative of c**3 + 0*c + 0*c**4 + 0 + 1/120*c**6 + c**2 - 1/12*c**5. Is t(5) composite?
True
Let t = -135 - -73. Let z be (-4)/(-2 - 120/t). Let n = z - 25. Is n composite?
False
Let f be 29*(-1 + 0)*5. Let j = 212 + f. Is j a composite number?
False
Let q(m) = -m**2 + 3*m - 4. Let t be q(5). Let n = 64 + -97. Let o = t - n. Is o prime?
True
Suppose 1038 = t + 3*t - 2*j, 2*t = 4*j + 522. Is t a prime number?
False
Let l(k) = 45*k - 15*k + 4 - 5 + 2. Is l(1) a composite number?
False
Suppose -96 - 260 = -3*u - 2*o, 5*u - 3*o = 587. Suppose -2*f - 4*d + u = 0, 2*f = 3*d + d + 102. Is f composite?
True
Let s(u) = 3*u**3 + u**2 - 6*u - 3. Let k(x) = x**3 + x**2 - x - 1. Let d(c) = -2*k(c) + s(c). Let n(j) = 4*j**2 - j. Let a be n(-1). Is d(a) prime?
True
Let r = -408 + 1127. Is r a composite number?
False
Let d(n) be the first derivative of 2 + 0*n**3 + 3*n - 2*n**2 + 21/4*n**4. Is d(2) composite?
False
Is (11/(33/(-410)))/((-4)/6) prime?
False
Let j(s) = -147*s - 5. Is j(-8) a prime number?
True
Let y be (-110)/4*(-72)/(-15). Is (-900)/y + 2/11 a composite number?
False
Let d = 6306 - 3673. Is d composite?
False
Suppose -3*g + 175 = n - 0*n, -n - 2 = 0. Is g a prime number?
True
Suppose 773 - 177 = 4*u - 5*p, -3*u + 4*p = -447. Is u a prime number?
True
Suppose 7*m = 10*m - 1761. Is m a composite number?
False
Let l(k) = k**2 - 7*k - 5. Let t(p) = 3*p + 12. Let q be t(0). Is l(q) a prime number?
False
Let w(g) = -14*g**3 + 2*g + 1. Let k = 6 - 3. Suppose -3*q = -0*q + k. Is w(q) a composite number?
False
Suppose -3*w = -2*p - 881, 2*p - 3*p = 5*w - 1464. Is w prime?
True
Suppose -2*p = -2*g, -2*g = -5*g - 5*p + 16. Suppose 0*h + g*h = 106. Is h composite?
False
Suppose -12*d + 14*d = 1678. Is d composite?
False
Suppose 0 = 9*k + 2638 - 12691. Is k a prime number?
True
Let r(k) = 163*k**2 - 3*k - 9. Is r(-4) a prime number?
False
Is -5*((-1)/(-2) - 166/4) a prime number?
False
Suppose 2*j + 5*q - 125 = 24, 0 = -3*j + q + 215. Suppose -j = -z + 10. Is z composite?
True
Let j(d) = -d**3 - 6*d**2 + 6*d + 12. Let r be j(-10). Is r/10 - 4/20 a prime number?
False
Suppose 0*p = p + 1. Let q be 8 - 6 - (-8)/p. Let w(h) = 3*h**2 + 4*h - 1. Is w(q) composite?
False
Let i(a) = a - 7. Let j be i(7). Let o(r) = -r + 11. Let d be o(j). Suppose 0 = -5*p + 4 + d. Is p prime?
True
Is (-1 + -1654)*(-1 - -2)*-1 a composite number?
True
Let q(j) = -j + 1. Let x be q(-1). Suppose 2*p = -b + 307, 6*p - x*p + 5*b - 605 = 0. Is p prime?
False
Let x(l) = -13*l - 1. Is x(-6) a prime number?
False
Suppose -6*m + 227 + 199 = 0. Is m a prime number?
True
Suppose -3*p - 2*p = -5*u - 3865, 3*u - 1566 = -2*p. Suppose 5*v - 2*v = p. Is v prime?
False
Suppose 0 = -3*y - 1 + 10. Suppose 5*v - 8 + 1 = y*n, -4*n = -4*v + 4. Suppose -v*z + z = -191. Is z prime?
True
Let v = -1027 - -1570. Suppose -2*c + 5*c = v. Is c composite?
False
Let g = 6352 - 3353. Is g composite?
False
Suppose -8*x - 2 = -9*x. Is (3 - x)/((-1)/(-149)) composite?
False
Let m(o) = -2*o - 6. Let d be m(-9). Let r = 7 + d. Is r a composite number?
False
Suppose -4*i - 4 = 4*w - 24, 2*i - 4 = 0. Suppose -5 = -w*b + 10. Suppose b*t - 91 = -g, -t - t = -2*g + 182. Is g a prime number?
False
Suppose 248 = 2*w - 0*w. Let z = w + 52. Is (-1)/(-3) - z/(-3) a prime number?
True
Suppose -4*q = -3*p - 144, 3*p + p + 36 = q. Let c be (-9)/(-6) - 2/(-4). Suppose 0 = -c*v + 3*k + q, 0*v - 2*k + 46 = 2*v. Is v prime?
False
Let b = -123 - -45. Suppose 3*n + 119 = -22. Let l = n - b. Is l a prime number?
True
Suppose v - 97 = -2*z - 2*z, 3*z = -2*v + 74. Let y be z/9*3/2. Is (55/4)/(1/y) prime?
False
Let c(z) = 5 - 3*z + 0 - 5*z. Let x(p) = 2*p**2 - 23*p - 16. Let b be x(12). Is c(b) a composite number?
False
Let h(f) = 5*f - 2*f**2 - 8*f + 8*f**2 + 2. Let p = -6 + 9. Is h(p) composite?
False
Let k = -87 - -10. Let l = 240 + k. Is l prime?
True
Let w be 107*(0 + -3 - -2). Let j = 347 + -151. Let q = j + w. Is q prime?
True
Suppose 0 = t - 1015 + 324. Is t a composite number?
False
Is (-2)/(-13) + 21093/39 composite?
False
Let p(z) = 3*z + 6. Let g be p(8). Let c = g + -51. Let r = c + 36. Is r prime?
False
Let r(q) = 3 - 2 - 2*q**2 + 10*q + q**2 - 2. Let f be r(4). Suppose f + 8 = x. Is x prime?
True
Let t(o) = -o**2 - 3*o + 0*o - 2*o - 2. Let n be t(-6). Is (n/3 - -3)*435 a composite number?
True
Let d = -19 - -9. Is 4/d - 1782/(-30) composite?
False
Suppose -c + 0*c = 1. Let q(b) = 16*b**2 + 2*b + 1. Is q(c) composite?
True
Let c = -54 + 101. Is c a prime number?
True
Suppose 2*w - 7*w + 80 = 0. Let n be w/3 - 4/(-6). Let t(p) = -p**3 + 5*p**2 + 7*p + 8. Is t(n) a prime number?
False
Let j(o) = -209*o + 6. Let k(u) = 4*u**3 + u**2 - u - 1. Let n be k(-1). Is j(n) a composite number?
True
Let u be (-3)/((-3)/16*-2). Let s(q) = -7 + q**3 + 4 - 10*q + 0 + 8*q**2. Is s(u) prime?
False
Let b(j) = 7*j**3 - 2*j**2 + 5. Is b(2) a composite number?
False
Suppose -2*y + 4 = -4*y. Is 26*(-4)/y - -3 a composite number?
True
Suppose 3*p + 0*n - n = 1141, 