-15 - -17. Suppose -m*g + 3*a = 2*a - 136, a = 3*g - 205. Is g a composite number?
True
Suppose -v = 3*v - 28. Let y = v - 7. Suppose -3*m + 44 = 5*p - 42, y = 4*m - 5*p - 173. Is m prime?
True
Suppose -4*u = -127 + 583. Suppose -y = f - 31 + 80, 5*y = 2*f + 84. Let b = f - u. Is b a composite number?
False
Let w = 3789 + -1468. Is w prime?
False
Let s = 5 - 1. Suppose s + 2 = 3*k. Suppose -2*b - k*i + 26 = -0*b, b - 4*i = 23. Is b a composite number?
True
Suppose 0 = 4*l + 3*p - 7, -3*l + 22 = l - 2*p. Suppose -2*t - 3*t = -4*i - 599, 0 = -4*i - l*t - 572. Let c = 333 + i. Is c composite?
True
Suppose 5*g - 809 = -2*c + 4*c, -2*g = c - 320. Is g a prime number?
False
Let b = -17 + -13. Let k = 157 + b. Is k a composite number?
False
Suppose -k = -0*k - 631. Is k a prime number?
True
Let l = 90 - -18. Suppose -4*h - 4*u = 216, -u - 219 - 71 = 5*h. Let w = l + h. Is w prime?
False
Suppose 1083 = -4*l + 2599. Is l composite?
False
Suppose -3*b - 21 = 5*z - 2*z, 0 = 5*b - 3*z - 5. Let h be (9/12)/(b/8). Is (3/h)/((-2)/14) composite?
False
Suppose 3*y - 2637 = 1374. Is y a prime number?
False
Let j(m) = 10*m**2 - 3*m + 70. Is j(-12) a prime number?
False
Suppose 2*t + 489 - 18 = 3*m, -4*m + 648 = 4*t. Is m prime?
False
Suppose -12 = -q + 2*l, 0 = -5*q + 4*l - 4 + 34. Suppose 4*v + 50 = 3*j, 5*v = q*j + 6 - 51. Is j a prime number?
False
Suppose -f = 3*t - 6*t + 2895, -4*f = -2*t + 1930. Is t a composite number?
True
Suppose -2*q - 6 - 6 = 0. Let d = q - -4. Let r = 13 + d. Is r a composite number?
False
Let j(i) = i - 1. Let q be j(1). Suppose -2*p + q*p = -8. Suppose 4*m - 6*t - 60 = -p*t, 2*t - 30 = -2*m. Is m a composite number?
True
Let b = 0 + 18. Let z = -13 + b. Suppose -6 = 3*m, -5*u + 0*m = z*m - 60. Is u a composite number?
True
Let k(t) = 2*t**2 + 5*t - 6. Let z be k(6). Suppose -d + z - 19 = 0. Is d a prime number?
False
Let q(x) = 2*x**3 - 2*x**2 - 19*x + 5. Is q(8) a composite number?
True
Let s(a) = 108*a**2 - a. Suppose -5*o = -2*o + 9. Let b be (1*(o - -2))/1. Is s(b) composite?
False
Suppose -2*p - t + 5 + 9 = 0, -5*p = t - 35. Is p prime?
True
Suppose -3*k + 9 = 0, 7*q - 4*q + 3*k = 33. Suppose 14 = v - q. Suppose 3*a = a + v. Is a a prime number?
True
Let h(m) = -m**2 - 5*m - 1. Let a be h(-4). Let s be (-196)/6 - (-2)/a. Let p = 3 - s. Is p a composite number?
True
Let h(q) = -2460*q + 7. Is h(-2) a prime number?
False
Let m = 1038 - 455. Is m composite?
True
Suppose 4*n - 2*n = 5*i + 43, 33 = -3*i + 3*n. Let d(j) = 3*j**2 + 8. Is d(i) a composite number?
True
Suppose -3*d + 0*d = -1203. Is d composite?
False
Let x be (-16)/(-4)*(-1)/(-2). Suppose 3*a - 103 - 27 = -x*z, a - 4 = 0. Is z composite?
False
Let c(v) = v**3 - 6*v**2 + 6*v - 3. Let n be c(5). Suppose -p = n*p. Suppose 4*r + 2*y - 212 = p, -2*r + 106 = y + y. Is r a prime number?
True
Suppose -5*t - 11 = -4*z - 1, -13 = -z - 4*t. Suppose 0*g + 165 = z*g. Suppose -g + 11 = -y. Is y a prime number?
False
Suppose -636 = -4*q + 2*y, 3*q + 159 = 4*q - 4*y. Is q prime?
False
Suppose 5*s = 3*s + 2034. Suppose -5*v = -2*i + 6*i - s, -2*v = 3*i - 411. Is v prime?
False
Let d be 16/(-6)*(-1455)/10. Suppose -3*m = m - d. Is m a prime number?
True
Is (1 - 3)/((-2)/157) prime?
True
Suppose b - 2*b = 3. Is 1/(((-12)/44)/b) a composite number?
False
Is (62/(-6))/(1/(-21)) a composite number?
True
Let p be (24/(-16))/(1/(-6)). Let t = p + 11. Let a = t - -15. Is a composite?
True
Is 0 + 0 - 2515*(-4 - -3) a composite number?
True
Suppose 2*z - 1262 = -2*k, -k + 3*z + 631 = 2*z. Is k composite?
False
Suppose 0*b = 4*b + 20, -4*b + 1105 = 5*c. Suppose 3*m + 2*m = c. Let n = -32 + m. Is n a prime number?
True
Let x be 10/35 - (-131)/7. Suppose 4*g - 3*g - 16 = 5*v, -x = -g + 2*v. Is g composite?
True
Let a(c) = -c**2 + 10*c - 2. Let f be a(9). Is 252/f + (-2)/(-2) composite?
False
Let g(a) = a**2 - 4*a + 1. Is g(14) prime?
False
Let c(k) = 1500*k**2 + 6*k + 5. Is c(-1) a prime number?
True
Suppose 148 + 104 = i. Suppose 3*w - i = u, w + w - 181 = 5*u. Is w a composite number?
False
Suppose -5*y = -0*y + 15. Let c(b) = -b**2 - 3*b + 1. Let t be c(y). Is t/((-2)/(-112)) + 3 a prime number?
True
Let o(z) = 32*z**2 - 8*z + 22. Is o(4) prime?
False
Is -18*(-2 + 10/6) a composite number?
True
Let t(z) = 2*z**2 - 6*z + 2. Let i be t(4). Let k be (0 + 1)/(2/i). Suppose -6*q + q = -5*l - 260, -k*q + 2*l + 257 = 0. Is q composite?
True
Is 1842/15 - 6/(-30) prime?
False
Let s(t) = 10*t**2 - 4*t - 1. Let u(r) = r**3 - 12*r**2 + 6. Let f be u(12). Suppose p = -p + f. Is s(p) a prime number?
False
Suppose f + 2 = 0, f - 183 = -c - 0*f. Is c composite?
True
Let p = -2 - -5. Suppose -2*t + p = -419. Is t prime?
True
Let p = -6 + 1. Let y(j) = -14 + 7*j**2 + j**3 - 5*j + 17 - 3*j**2. Is y(p) a composite number?
False
Let s(f) = f**2 + 9*f + 5. Let o be s(-9). Suppose o*x - 12 = 3. Let q(g) = 15*g**2 - 2. Is q(x) composite?
True
Let n(l) = 2*l**2 - l - 1. Let o be n(2). Suppose 5*x - o*z - 494 = 356, -x + 2*z + 174 = 0. Is x prime?
False
Let v be 0 - -4*(-1)/2. Let x(m) be the second derivative of 5*m**4/6 + m**3/2 + m**2/2 + 7*m. Is x(v) composite?
True
Let v be 3 + (-2 - (0 + -3)). Is 1653/v + (-3)/12 a prime number?
False
Is 2 + 122 + 1 + 2 a prime number?
True
Suppose 0 = -6*j + 832 + 314. Is j a prime number?
True
Let t be 9*1 - (-2 - 0). Let a = 18 - t. Is a prime?
True
Let x(d) = -4*d**3 - 13*d**2 - 8*d + 1. Let m(s) = -3*s**3 - 12*s**2 - 9*s + 1. Let k(w) = 3*m(w) - 2*x(w). Is k(-9) prime?
True
Let l = 13 + -21. Is (356/l)/((-2)/4) composite?
False
Suppose -4544 = -5*f - 3*w, 3*f - f + 2*w - 1820 = 0. Is f composite?
False
Let r(x) = -95*x. Let q be r(2). Let g = 114 + q. Let a = 43 - g. Is a composite?
True
Suppose -2*h + 690 = -5*b - 4*h, 0 = -4*b - h - 552. Let r be (-252)/27*b/4. Suppose 0 = p + p - r. Is p composite?
True
Let o be (-207)/(-63) + 4/(-14). Suppose -3*h - 99 = -o*i, 0*h = 3*i - 5*h - 89. Is i composite?
True
Let n = 8 + -2. Suppose -n*j = -j + 565. Let p = j - -172. Is p prime?
True
Let z(t) be the third derivative of -19*t**5/30 - t**4/8 - t**3/2 - 3*t**2. Let d(b) be the first derivative of z(b). Is d(-2) a composite number?
False
Let z be -50*(15/(-6) - -3). Is z/(-10)*(-204)/(-10) prime?
False
Let p(o) be the first derivative of 5 - 2*o**2 + 3*o - 2 - 4. Is p(-4) a prime number?
True
Suppose s = 3*x - s - 9, -5*x + 10 = -5*s. Let b = x + -4. Suppose -4*p + 218 = 6*n - 4*n, -p = b. Is n a composite number?
True
Let y = -96 - -175. Is y prime?
True
Suppose -9 + 30 = 3*q. Let y(n) = 73*n - 6. Is y(q) composite?
True
Suppose 7*c = 2*c + 10. Suppose 4*q = -c*n + 12, -q + 5*q = n. Suppose 0 = -n*d - 0*d + 8. Is d composite?
False
Let m = -168 - -331. Is m composite?
False
Suppose 4*p + 4*r = 12, -6*p = -2*p - 3*r - 5. Let y(h) = 12*h - 1. Is y(p) composite?
False
Suppose -4*r = -3*r - 127. Let h = r + 22. Is h a prime number?
True
Let d = -4 - -9. Suppose 0 = 10*v - 11*v + 3. Suppose -4*t + 69 = -d*k, -v*t - 3*k = t - 93. Is t a composite number?
True
Suppose 4*b - 2*b - 6 = 0. Let a(h) = -1 - 2*h - 5*h + 0 - b*h. Is a(-11) a prime number?
True
Suppose -l + 346 = -741. Is l composite?
False
Let l(x) = x**3 - 5*x**2 + x + 11. Is l(6) prime?
True
Let v = 895 - 344. Is v prime?
False
Let f be (-102)/(-27) + (-2)/(-9). Is f/(-18) - 249/(-27) prime?
False
Let a(b) be the third derivative of -b**5/12 + b**4/6 - b**3/2 + b**2. Let j be a(7). Is j/(-15)*3/2 a prime number?
False
Let o(t) = -t**3 - t**2 + 3*t - 4. Let p be o(-3). Suppose -448 = -p*z + 337. Is z prime?
True
Suppose -4*a - 190 = -1946. Is a a prime number?
True
Let b = -4 - -17. Is 1/(-3) - b/(-3) a composite number?
True
Let h(u) = 15*u + 17. Let y(d) = 7*d + 8. Let z = -5 - -14. Let q(p) = z*y(p) - 4*h(p). Is q(5) prime?
True
Suppose y = r + 2*r + 19, 0 = -4*y - r + 11. Suppose 0 = v - y*v + 54. Suppose -4*i = -2*q + v + 44, -q - i = -22. Is q a prime number?
False
Suppose l + 3*l = -1280. Let g be 1/(1/(-202)) - -1. Let t = g - l. Is t a prime number?
False
Let l = -9 + 13. Suppose -c = l*c. Is 134 - -7 - (-1 - c) prime?
False
Let w(c) = c**2 + c. Let b be w(1). Let s = b - -2. Is s a composite number?
True
Suppose 4*q - 5 = 11. Suppose -7 - 1 = -q*d. Suppose 2*n - 38 + 12 = -b, -d*b = 2*n - 24. Is n a prime number?