= -2*d + 9 + 27. Suppose q + q - d = 0. Is q composite?
True
Let c be (-1)/(-2)*14 - 1. Suppose -2*l = -c*l + 120. Suppose 76 = 2*p - l. Is p composite?
False
Suppose -2*m - 3*m + 159 = 4*t, -3*t - 12 = 0. Suppose -3*k + 12 = -z + m, -12 = 3*k. Is z a composite number?
False
Let d be -10 - ((1 - -1) + -3). Let x(h) = 3*h**2 + 7*h + 7. Is x(d) a composite number?
True
Let t = 6 + -4. Suppose 3*n + 2*x - 13 = 0, 2*n + 2*x = -0*x + 10. Suppose -k + 266 = t*a + n*a, -a = -k - 52. Is a composite?
False
Let z(u) = 2*u**2 + 9*u - 4. Let r = -26 + 37. Suppose -2*q - 2*t = 8, 4*q + 2*t + 11 = -r. Is z(q) a composite number?
False
Let f(t) = 3*t - 3. Let v be f(-5). Let u be (-2)/3 - 12/v. Suppose u = -7*q + 4*q + 39. Is q a prime number?
True
Let v(k) = k**3 + 9*k**2 - 6*k + 14. Let x be v(-10). Let t be -5*1/(5/x). Is (t - (-2 - -3)) + -2 prime?
True
Suppose 0*c - b - 3230 = -5*c, c - 622 = 5*b. Is c a prime number?
True
Is (-12)/((-24)/6) - -791 composite?
True
Suppose 0 = -2*v + 10 + 80. Let f = -12 + v. Is f a composite number?
True
Suppose d - 548 = 321. Is d prime?
False
Is -3*((-1)/2 + 355/(-30)) composite?
False
Suppose -7*m + 4205 = 558. Is m composite?
False
Let b(g) = -2 - 2*g + g + 0*g. Let f be b(-4). Is 0 - (-55 - -2 - f) a composite number?
True
Let d(n) = -6*n**2 - 3*n - 12. Let i(t) be the third derivative of 7*t**5/60 + t**4/8 + 13*t**3/6 - t**2. Let j(q) = -6*d(q) - 5*i(q). Is j(-7) prime?
False
Suppose -2*n = 4*i - 32, -10 = -5*i - 5. Suppose 3*h - 5*h = 0. Let m = n - h. Is m prime?
False
Suppose -4*f + 23 + 13 = 0. Suppose -74 = -5*q - f. Is q a composite number?
False
Suppose w - 161 = -3*d, -w + 4*w = -4*d + 208. Is d a prime number?
False
Let g(i) = -14*i + 7. Let z(f) = -29*f + 14. Let q(d) = -5*g(d) + 2*z(d). Is q(5) a prime number?
True
Let q be (-990)/(-25) + (-2)/(-5). Let d = -6 + q. Is d prime?
False
Let o(n) = 192*n**2 - 17*n - 26. Is o(-5) prime?
False
Suppose 3*l + 0*l = -3. Is (l - 0)/((-1)/10) prime?
False
Let x(v) = v**3 - 3*v**2 + 4*v - 13. Is x(6) composite?
True
Let j(a) = -4 - 4*a - a**2 - 2*a**2 + 4*a**2. Let w be j(5). Is (2 - w) + (36 - 0) composite?
False
Let p be (-638)/(-8) - (-2)/8. Is 3 + -5 - (-1 - p) a prime number?
True
Let p be -1 - (1 - (2 - -4)). Let m(h) = -p + 2 + 31*h - 1. Is m(4) composite?
True
Let m(l) = -17*l**2 - 5*l - 3. Suppose 6*j - 7*j - 4 = 0. Let v be m(j). Let q = v - -404. Is q composite?
False
Suppose 5*l - 4*l = 0. Suppose 5*y + 15 = l, -h + 3*y + 102 + 170 = 0. Is h a composite number?
False
Let y(v) = -v**3 - 2*v**2 - 2*v. Let s be y(-2). Suppose s = g, 5*g + 7 - 27 = -2*o. Suppose o = x - 18 + 5. Is x prime?
True
Suppose 7 + 5 = 4*i. Suppose m - 94 = -5*w - 10, 2*w = i*m - 167. Is m a prime number?
True
Let c(w) = -13*w**3 - 18*w**2 - w + 29. Let g(f) = -7*f**3 - 9*f**2 + 15. Let h(n) = -6*c(n) + 11*g(n). Let k be h(-8). Suppose 4*b + 237 = k*b. Is b composite?
False
Let o(n) = 504*n**2 + n. Is o(2) composite?
True
Let y be (-9813)/21 - (-4)/14. Let s(l) = 6*l**3 - l**2 - l - 4. Let d be s(-5). Let c = y - d. Is c a composite number?
False
Suppose b + 2*b - w - 251 = 0, -4*b + 2*w + 338 = 0. Let r = -3 + b. Is r prime?
True
Let u(s) = 766*s + 3. Is u(1) prime?
True
Suppose -164 + 819 = w. Is w a prime number?
False
Let a(z) = 6*z**2 + 16*z + 7. Is a(19) a composite number?
False
Let n(i) = -3 + 3 + 2 + 429*i. Is n(1) prime?
True
Let d be 1 - (-5)/(5/2). Let b be (9 + d/(-3))/2. Suppose -b*h - 21 = -297. Is h a composite number?
True
Let f be (-4 - (-6)/(-3)) + 2. Let t be (1 + -2)/((-4)/f). Let a(w) = 35*w**2 - w - 1. Is a(t) prime?
False
Let t be (-1)/3 - 10/(-3). Suppose 2*b = -13 + t. Let c = 36 + b. Is c a composite number?
False
Suppose 5*w - 15 = -5*b, -10 = -4*w - 2*b - b. Suppose 0 = -3*d - w - 2. Is 0 + 1 + (4 - d) a prime number?
False
Let n(m) = 106*m**3 + 3*m**2 + 2*m + 4. Is n(3) prime?
False
Suppose 2*l - 12 = -4. Suppose 3*c - 3*u + l = 19, 23 = 5*c - 3*u. Suppose -1 = -2*o + z, -2*o - 2*o + c*z = 8. Is o a prime number?
True
Suppose -z + 24 = -5*i, 3*z + 2*i - 4 = -0*i. Suppose -2*l - z = 2*l. Is ((-84)/(-20))/(l/(-5)) prime?
False
Suppose -5*c + 40 + 135 = 0. Is c composite?
True
Let o = 1558 - 565. Suppose 4*g - g - o = 0. Is g a prime number?
True
Let j = 1283 - 2183. Let c = -113 - j. Is c a prime number?
True
Let n = 698 + -280. Let h = -291 + n. Is h prime?
True
Let c(p) = -p**2 - 5*p - 9. Let k = -17 - -9. Let o be c(k). Let x = o - -55. Is x composite?
True
Let x be (4 + -6)*(-7)/(-2). Let k(n) = -2*n**3 - 7*n**2 - 4*n + 8. Is k(x) prime?
True
Suppose h + 20 = 6*h. Suppose -v = -5*v - 4*b + 48, -h*v - 5*b + 53 = 0. Is v prime?
True
Let g(b) = -287*b + 6. Is g(-1) a prime number?
True
Let k = -7 - -12. Suppose 281 + 354 = k*w. Is w a composite number?
False
Suppose -3*q + 10 - 1 = 0. Suppose 100 - 25 = q*x. Is x a composite number?
True
Let b = -128 - -242. Suppose s - 47 = b. Is s composite?
True
Suppose -5*m = -w - 0*m - 6, 3*w - 14 = -m. Is 323/2 - w/8 a prime number?
False
Suppose 2*o + t + 773 = 5*o, 3*t + 765 = 3*o. Is o a prime number?
False
Let b be 14/63 - (-50)/18. Suppose -5*s - 34 = -o, -31 = -b*o + 5*s + 41. Is o a prime number?
True
Suppose 0 = -2*c + 26 + 292. Suppose 36 + c = 5*y. Is y a prime number?
False
Let d(o) = 6*o**3 + 10*o - 17. Is d(7) prime?
True
Let q be (-1 - -2)*(2 + 3). Let t(m) = 2*m**2 - 3*m + 2. Is t(q) composite?
False
Let n = 518 - 327. Is n a composite number?
False
Is (1 - 36*6)*-1 composite?
True
Let j(s) = s**3 + 5*s**2 - 5*s - 5. Let p(l) = l**3 + 6*l**2 + 2*l + 8. Let y be p(-6). Is j(y) a prime number?
True
Let h(u) = -2*u**2 + 12*u + 1. Let r(t) = -2*t**2 + 12*t + 2. Let m(n) = 6*h(n) - 7*r(n). Suppose 2*o - 30 = 4*k, -5*o = -0*o + k - 42. Is m(o) composite?
True
Suppose 5*l + 21 = -4. Let q = 20 + l. Is q a prime number?
False
Suppose 2*d = -2*l + 688, 4*l + 6*d - 1379 = d. Is l a composite number?
True
Suppose 452 = a + 3*a. Is a a composite number?
False
Suppose 5*j + 2679 = 8*j. Is j a composite number?
True
Is 332/(-2)*(21/(-6) - -2) a composite number?
True
Suppose 6*n = n + 15. Suppose -n = -4*m + 5*m. Is ((-57)/1)/3*m a prime number?
False
Let b = 84 + -17. Is b a composite number?
False
Let o be (-3)/12 - (-2)/8. Suppose -x - u = -150, 3*x + x - u - 575 = o. Is x a prime number?
False
Suppose -b = 4*b - 15. Suppose -5*g + b = -7. Is 58/(g*3/6) a composite number?
True
Let w(n) be the second derivative of n**5/20 - n**4/2 + 2*n**2 + 2*n. Let k be w(6). Suppose k*v = 2*v + 2*o + 70, o - 155 = -4*v. Is v prime?
False
Let k(w) = w**2 + 3*w + 2. Let y be k(-3). Suppose y*s + s = -5*z + 782, 0 = 4*z + 3*s - 625. Let c = z + -104. Is c a prime number?
True
Suppose i = -3*v + 54, -24 = -i + 3*v + 36. Let g = i - 34. Is g a composite number?
False
Let n be (0 - -2)*(-415)/10. Let t = n + 424. Is t a composite number?
True
Let q be 0*(-2 - 6/(-2)). Suppose q = 5*y - 51 - 144. Suppose 15 = -5*w, 0 = -d + 3*d + w - y. Is d a composite number?
True
Let l(v) = v - 1. Let n be l(3). Suppose q = f + 4, 3*f + 12 = n*q - 0*q. Let z = -1 - f. Is z prime?
True
Suppose -l + 1 - 3 = 0. Let c = -11 + l. Let o = 38 - c. Is o a prime number?
False
Let x(y) = -y**3 + 7*y**2 - 5*y - 3. Suppose -2*u + 5 = -3. Suppose 20 = u*g - 4. Is x(g) prime?
True
Suppose -2*p - 3*b + 1550 = 0, -2*p + 5*b = -p - 749. Is p composite?
False
Suppose -3*p - 72 = -j - 4, -272 = -4*j + 2*p. Is j/(-3)*21/(-14) composite?
True
Let y(i) = 2*i**2 - 3*i - 1. Let n(b) = b + 7. Let o be n(-10). Let s(z) = -z**3 + 6*z**2 - 8*z - 2. Let g(u) = o*s(u) + 8*y(u). Is g(2) prime?
False
Let h(z) = -z - 4*z + z. Let q be h(4). Let x = q + 26. Is x prime?
False
Suppose 0 = -2*l + 40 + 66. Is l a composite number?
False
Suppose -30 - 27 = -3*b. Is b a composite number?
False
Let z = 1048 - 69. Is z a prime number?
False
Let t = -633 - -1114. Is t composite?
True
Suppose -31 = 3*i + 212. Let m = i - -119. Let t = -19 + m. Is t prime?
True
Let a(n) = n + 8. Let o be a(-6). Let u(z) = z + 5*z - o - z**3 - 7*z**2 - z. Is u(-8) prime?
False
Let l be ((-100)/6)/((-2)/12). Suppose -l = -5*u + 20. Suppose 4*w + t - 54 = 0, -2*w = t + t - u. Is w composite?
True
Let m = 10 - -46. Suppose v + 50 = 5*v - 2*i, 4*v = -4*i + m. Is v prime?
True
Let b = 1 - -4. Let k(d) = -d -