- 14 = t. Is a a composite number?
False
Let h be (-6)/8*(-16)/6. Is 1/(h/(-6)) - -148 a composite number?
True
Suppose 4*f - 3*g - 300 = -g, -75 = -f - g. Suppose -p + 4*p - f = 0. Is p composite?
True
Suppose 4*l - 398 = 286. Suppose l = 6*v - 3*v. Is v a prime number?
False
Let z = 5177 + -3594. Is z composite?
False
Suppose 4*m - 8381 = -5*l, 2*l - 10489 = -3*m - 2*m. Is m a prime number?
True
Let h(d) = 66*d + 3. Let f(g) = -66*g - 2. Let o(y) = 4*f(y) + 3*h(y). Let k be o(-1). Suppose 92 + k = 3*q. Is q prime?
True
Let k(s) = 3*s**2 + 7*s - 4 - s**3 - s + 0*s**3. Let y be k(4). Let t(a) = -a**2 + 5*a - 2. Is t(y) a prime number?
True
Let o(v) be the first derivative of v**3/3 - 3*v**2 + 5*v + 3. Let c be o(5). Suppose c = -5*t + 128 + 57. Is t prime?
True
Let a(m) = -m**2 - 6*m + 1. Let i be a(-5). Suppose -h - h = -i. Is ((-1464)/(-18))/(2/h) a composite number?
True
Let f be 10/1 - (2 - 1). Let l be ((-2 - 98)/2)/(-1). Let x = l + f. Is x a composite number?
False
Suppose 0 = -0*z + 3*z. Suppose 8*o - 3*o = -2*d + 3395, z = -3*o + 4*d + 2063. Is o prime?
False
Let f = 13 - 3. Suppose -2*c = 3*c - 365. Is c/2 - (-5)/f prime?
True
Let p = 322 - -31. Is p a prime number?
True
Let z(s) = s**3 + 4*s**2 + 4*s + 3. Suppose 5*u + 14 = -2*p, 3*p - 6 = 5*p + u. Let r be z(p). Suppose -2*k - 385 = -3*y, 0*y + 413 = r*y + 5*k. Is y composite?
False
Suppose 1678 = 5*r - 657. Is r prime?
True
Let g(k) = k**2 - 2*k + 1. Let m be g(3). Suppose -m*w = -312 - 164. Is w prime?
False
Suppose 7*a = 8*a - 134. Suppose j = 3*j - a. Is j composite?
False
Let v(c) = 2*c**2 + 3*c - 2. Let r be v(-6). Let i = -29 + r. Is i composite?
False
Is 5076/16 - (-4)/(-16) a prime number?
True
Suppose -9 = -3*m, -3*r = -4*m - 17 - 7. Suppose 0 = 5*y - 2*g - 66, -3*y + 2*y + r = -g. Suppose 4*b - y = 86. Is b a prime number?
False
Let q be -7 + -1 - 0 - 2. Let i = q - -6. Is (-22)/i*-1*-26 a composite number?
True
Let o = 6 + -1. Let r = o - 50. Let i = r - -122. Is i a composite number?
True
Let y(d) = -8*d + 4. Let m be y(5). Let g(h) = h**3 + h - 1. Let w be g(4). Let j = m + w. Is j a composite number?
False
Let i = 10 + 81. Is i prime?
False
Suppose 5*t - 125 = -2*k, -4*t = k - 19 - 51. Let b = k + 17. Is b a prime number?
True
Suppose -2*u + 2*c = 2*u - 10, 4*u = 3*c + 11. Suppose 3*z - 583 = -2*k, 4*k - z - u*z = 1139. Is k a prime number?
False
Let l(h) = -5*h**3 - 3*h**2 + 3*h - 9. Is l(-4) a composite number?
False
Let q be (3/(-1))/((-3)/2). Suppose 0*m - q*m = -2*b + 28, 4*b + 2*m = 38. Is b composite?
False
Is (-5)/((-15)/9) - -334 prime?
True
Let q(u) = 2*u**2 - 3*u + 2. Let m be q(2). Let r(w) = w**3 - 2*w**2 - 4*w + 3. Is r(m) composite?
False
Let p = -2 + 0. Let m be 19 + (-2)/p + -1. Let x = 50 - m. Is x composite?
False
Suppose -2*x + 7 = -5. Suppose c + 0 + x = 0. Let a(v) = v**2 - 3. Is a(c) a prime number?
False
Let t = -1980 - -3095. Is t a composite number?
True
Let t(j) = j**3 - 5*j**2 + 5*j - 1. Let l be t(4). Is (l - 376)*(1 - 2) a composite number?
False
Let f(c) = -c**3 - 5*c**2 + 1. Let r = -2 + 0. Let h be f(r). Let l = h - -18. Is l a prime number?
True
Suppose -8*u + 5*u + 1245 = 0. Is u a prime number?
False
Suppose -10*u = -3*u - 9527. Is u a prime number?
True
Let p = 70 - -194. Suppose 5*b + 147 - 45 = 2*l, 5*b - p = -4*l. Let i = l - 38. Is i prime?
True
Let r(x) = -5*x**3 + 14*x**2 + 5*x + 3. Is r(-10) prime?
True
Suppose -5*o = -1035 - 2660. Is o composite?
False
Let u be 6*(2 - (-60)/(-9)). Let j = u + 71. Let c = j + -24. Is c a prime number?
True
Suppose 5*o = 2*b + 15, 3*b - 4*b = 5*o - 15. Suppose b = -2*x + 39 + 23. Suppose -w = -2*w + x. Is w a prime number?
True
Suppose -4*k + 2078 = -2922. Suppose k = 5*q - 5*d - 0*d, -2*d = -4*q + 1006. Let u = q - 138. Is u a prime number?
False
Let a(u) = -7*u**3 - 7*u**2 + 20. Let d(h) = 11*h**3 + 10*h**2 - 30. Let o(n) = 8*a(n) + 5*d(n). Is o(-7) prime?
True
Let k be 35/5 + (0 - 1). Suppose -5*j + 3*w + 3704 = 0, -k*j + j + 2*w = -3706. Suppose 0 = -v + 3*v - j. Is v composite?
True
Let f(g) = 7*g**2 + 2*g + 2. Let o(s) = s + 2. Let k be o(0). Let c(d) = -8*d**2 - d - 1. Let r(j) = k*c(j) + 3*f(j). Is r(5) a composite number?
False
Let r(x) = -80*x + 5. Is r(-6) prime?
False
Let p(b) = -117*b + 31. Is p(-8) prime?
True
Suppose -d - 977 = l, -2*l = -7*l. Let m = d + 172. Is m/14*8/(-10) prime?
False
Let n be 2 + 4/(-2) - 5. Let u = n - -12. Is u a composite number?
False
Let g(i) = 84*i**2 + 1. Suppose -4*o = 5*x - 9 + 3, 2 = 2*x + 2*o. Suppose q = -x + 1. Is g(q) prime?
False
Let t(d) = -9*d**3 - 11*d**2 - 9*d - 8. Is t(-5) composite?
False
Let w(d) = 58*d + 1. Suppose -3*j = -3*u + j + 23, -9 = u + 2*j. Is w(u) prime?
True
Let t(a) = a**3 + 4*a**2 + 5*a + 12. Let q be t(-8). Let r = q - -423. Is r a prime number?
True
Let v = 7 + -4. Suppose -35 = v*l + 2*l. Let t = l + 14. Is t a prime number?
True
Let j(q) = 0*q + 2*q + 259 - q. Let i be (3 + (-3)/1)/(-2). Is j(i) composite?
True
Suppose 0 = -5*o + 9*o - 1884. Is o a composite number?
True
Suppose -4*t + 4 = 4*k - 0, 3 = 4*k + 3*t. Suppose j + 819 = 5*o, k*j + 322 = 2*o + j. Is o composite?
False
Let n(k) = -k**2 - 16*k. Let y be n(-16). Suppose 4*z - 764 = -y*z. Is z composite?
False
Suppose 5*x - 28 - 122 = 0. Is (-1552)/(-10) - 6/x composite?
True
Let x(l) = -l**2 - 2*l + 6. Let g be x(-5). Let s = 1 - g. Let a(v) = v**3 - 9*v**2 - 3*v + 15. Is a(s) a prime number?
False
Let f = -7 - -11. Suppose -24 = -2*n + 3*r, 3*n + 16 = f*r + 54. Let k = 33 - n. Is k a composite number?
True
Let g(a) = -13*a**3 + 2*a**2 + a. Suppose -13 + 9 = 4*q. Is g(q) prime?
False
Let p(y) = -23*y**3 - 4*y**2 + 6*y + 22. Is p(-5) composite?
False
Suppose 3*t - 2*t - b = -2, 8 = 4*b. Suppose -6*o + 8*o - 326 = t. Is o composite?
False
Suppose v - 5*v = -1196. Is v a prime number?
False
Suppose -18*p = -13*p - 4490. Is p a prime number?
False
Let z be 3/(-6) + 1934/4. Let w = z - 284. Is w a prime number?
True
Suppose 3*c = 3*h - 255, -4*h + 326 = 2*c + c. Is h a composite number?
False
Let j be ((-2)/4)/(3/222). Let n = 63 + j. Is n a prime number?
False
Suppose 0 = -3*q - 5*m - 64, 5*m = 2*q + 20 + 56. Let a = 48 - q. Suppose c + 19 = a. Is c a prime number?
False
Suppose -3*w - 449 = -4*j, 55 = j + w - 59. Is j composite?
False
Let k(t) = t**3 - 5*t**2 - 7*t + 9. Let b be k(6). Suppose -2*s + b*s = 1. Let m(v) = 37*v**2. Is m(s) a prime number?
True
Let p(v) = -254*v + 43. Is p(-5) a prime number?
False
Let k = 518 + -297. Is k composite?
True
Suppose -4*t - 3 = -7. Suppose -14 = -2*n + i, n + 0*n = -i + t. Let y(b) = 4*b**2 - 4*b - 3. Is y(n) prime?
False
Let i = 9 + -7. Suppose i*x - 330 = -4*k - 0*x, 2*k - 167 = x. Is k prime?
True
Let x(p) = 6*p + 88 + p**2 - p**3 - 6*p. Let t be x(0). Let h = -53 + t. Is h prime?
False
Let r be (8 + -6)/((-2)/(-4)). Suppose -5*k + 82 = 2*z, k + r*k + 20 = 0. Is z a composite number?
True
Suppose -54*l = -56*l + 3338. Is l composite?
False
Let h(s) = -68*s - 1. Let i be h(-1). Suppose y + 341 - i = 5*b, 0 = 4*b + 4*y - 224. Is b a composite number?
True
Let m = 13 + -11. Suppose 5*p + 498 = m*s, 3*p = -2*s - p + 534. Is s composite?
True
Is (3 - 1)/((-8)/(-1892)) a prime number?
False
Let z(t) = -2*t. Let u be z(-6). Let w(h) = h**3 - 13*h**2 + 18*h - 7. Is w(u) a prime number?
False
Let d = -290 + 1267. Is d composite?
False
Suppose -550 = -3*f - 4*i + 5*i, 4*f = 3*i + 735. Suppose -a - 3*x + 57 = -f, 244 = a + x. Suppose 5*p = 7*d - 3*d - 477, -2*d + 4*p + a = 0. Is d prime?
True
Suppose -u + 187 = -0*u. Is u a prime number?
False
Let g be -328 + -3 + 3 + -3. Let t = -144 - g. Is t prime?
False
Let d = 2 + 5. Is d a prime number?
True
Suppose 4*b - 4 = 4. Suppose b*v + 301 = 7*v + 3*c, 5*v = -2*c + 299. Is v composite?
False
Let g = -747 + 1218. Suppose -g - 93 = -4*w. Is w prime?
False
Let s = 166 + 153. Is s prime?
False
Suppose 3*t = -3*k - 765, -2*t - 520 = -0*k + 4*k. Suppose 11 = 2*l + 353. Let g = l - t. Is g composite?
False
Suppose -5*z = -4*m + 407 - 1692, 4*z - 1028 = 4*m. Is z composite?
False
Is ((-1084)/6)/((-4)/6) + 3 a composite number?
True
Is (-2 + 41)*(-4)/(-12) a composite number?
False
Suppose -33 = 2*q + 51. Let y = q + 100. Is y composite?
True
Let j be (3/9)/((-2)/6). Let b be 4 - (j - 