 0*c. Is c a prime number?
False
Suppose 5*n + 3*c = 12512, 0*n - 5*n = 5*c - 12510. Is n prime?
True
Let q = 2185 + -1512. Is q a prime number?
True
Suppose -13484 = -26*m + 22*m. Is m prime?
True
Suppose -5*r + 7 = -13. Let a(i) = i**2 - 5*i + 5. Let v be a(r). Is 19*(v - -2 - 2) a composite number?
False
Suppose u - 137 = -3*z + 1081, 5*z - u = 2038. Is z composite?
True
Let c be (-2)/(-3) + 4/(-6). Suppose f + 32 = 3*h, 5*h + c*h - 4*f - 51 = 0. Let g = h - -11. Is g a composite number?
True
Let o = 580 - -143. Is o a composite number?
True
Suppose 0 = -0*f + 3*f - 15. Suppose -f*r + 50 = -25. Suppose 20 = m - r. Is m composite?
True
Suppose -777 = 5*r - j - 2040, 2*r = 4*j + 498. Is r composite?
True
Suppose y - 1 = -y - 3*c, 3*c - 36 = 3*y. Let i(r) = -17*r - 4. Is i(y) a composite number?
True
Let j = -21 - -42. Is j prime?
False
Let z be 0 - -2 - (-804)/(-1). Let x = -447 - z. Is x composite?
True
Let d(p) = -p - 1. Let a be d(-1). Is -3 - (a/(-4) - 152) composite?
False
Let r(b) = -6*b + 2 - 39*b**3 - 3 - b**2 + 4*b. Let m(a) = -a**3 + 3*a**2 + 3*a + 3. Let v be m(4). Is r(v) composite?
True
Let t(u) = -u - 2 + 1 - 14*u**2 + 45*u**2. Is t(-1) prime?
True
Let p(k) = k + 1. Let r(j) = -30*j + 22. Let t(a) = -p(a) - r(a). Is t(10) prime?
False
Let k = -411 + 682. Suppose 5*m - 8 - 1 = -3*w, -w + 3*m = -3. Suppose w*h + 9 = 0, 2*h = 5*c - 0*h - k. Is c a composite number?
False
Let n(r) = -2 - 14*r - 2 + 3. Is n(-1) a prime number?
True
Let x be 1*(1 + -2)*5. Let u(l) = -4 + 2 + 0 - 1 - 8*l. Is u(x) a composite number?
False
Suppose 5*i - 803 = -x, 0 = 2*i - 4*i - x + 323. Suppose 3*g - 5 = i. Is g prime?
False
Suppose -b - 2 + 0 = 0, 4*k + 4*b - 2732 = 0. Is k prime?
False
Let u(r) = -r**3 + 19*r**2 + 25*r - 45. Is u(20) a composite number?
True
Suppose 3*c - 1237 = 2846. Is c a prime number?
True
Suppose -3*t = -0 + 108. Let m = t + 67. Is m a prime number?
True
Suppose 29 = 4*a - 3*s, -8 = -3*a + 3*s + 2*s. Let d(j) = 3*j**2 + 14*j - 3. Let u be d(a). Suppose 4*c + 3*y - 5*y = u, -4*c = y - 529. Is c a prime number?
True
Let m(v) = -19*v**2 + 6. Let h(j) = 18*j**2 - 5. Let u(l) = 6*h(l) + 5*m(l). Let k = 54 - 53. Is u(k) composite?
False
Suppose 0 = d + l + 140, -5*l = d + 2*d + 428. Let x = 221 + d. Is x composite?
True
Let a(b) = -822*b + 31. Is a(-6) a prime number?
False
Let x = 93 + -6. Is x a composite number?
True
Is ((-3804)/18)/(6/(-63)) composite?
True
Suppose l + 0 + 2 = 0. Let o be l/4 + 351/6. Suppose -3*w + o - 13 = 0. Is w composite?
True
Suppose -2*i = t - 723, 3*t - 4*i - 2119 = -0*t. Is t a prime number?
False
Let m(t) = 17*t**2 + 2*t - 2. Let s be m(3). Let c = s - -22. Let a = c + -122. Is a a composite number?
True
Let u(f) = f**3 - f**2 - f + 5. Let x be u(0). Suppose x*z - 66 = 2*z + 2*i, 88 = 4*z - 4*i. Suppose 0*g - z = -g. Is g a prime number?
False
Suppose g + 2*v = 76, 3*v - 345 = -7*g + 2*g. Let r = g - -265. Is r a prime number?
True
Let g be 2/(-4)*(1 + -7). Suppose -18 = -2*w + 4*l, 2*w = 5*w - g*l - 24. Is w prime?
True
Suppose -h = -3 - 3. Is (-2)/(-4) - (-183)/h a prime number?
True
Suppose 8*j - 24 = 4*j. Suppose -6*q + 4*q = -j. Let m = 12 + q. Is m a composite number?
True
Let b(p) = 37*p**3 + 2*p - 2. Is b(1) a prime number?
True
Let r = -154 - -265. Is r a prime number?
False
Let v(h) = -h**3 + 7*h**2 - 6*h + 3. Let r = 3 + 1. Suppose z - r*z = -18. Is v(z) prime?
True
Let f = 464 + -15. Is f composite?
False
Let z(q) = q**3 - 6*q**2 - 2*q + 4. Let f be z(8). Suppose -392 = -2*w - f. Is 5*(w/10)/3 a composite number?
False
Let i = -101 + 348. Is i a composite number?
True
Suppose 2*b - 8 = t - 1, 0 = 4*t + 20. Let h = 1 - b. Suppose h = 4*m + 16 - 92. Is m prime?
True
Let r(a) = 3*a**3 - a**2 + 4*a + 37. Let p(t) = -t**3 - t. Let x(z) = 4*p(z) + r(z). Let m = 0 - 0. Is x(m) composite?
False
Let f(n) = -n**3 - 8*n**2 - 3*n + 1. Let g be f(-8). Is g*(1 + 1 - 1) a prime number?
False
Let r(g) = 56*g**2 + 3*g + 2. Suppose 3*k + 5*t = -26, 8*k + 6 = 3*k + t. Let y be r(k). Suppose 34 + y = 2*h. Is h a composite number?
False
Let b(u) = -708*u - 5. Is b(-1) composite?
True
Suppose 5*i = 3*x + 34, 3*x - 14 = -4*i + x. Suppose 3*h - i*h - 2*m + 244 = 0, 2*h = 4*m + 250. Is h prime?
False
Let c(o) = 568*o + 3. Is c(1) composite?
False
Is (-3 + 1 + 1)/((-3)/1086) a prime number?
False
Let h be 3 + 0 - 0 - -15. Let b(i) = -25*i + 1. Let y be b(-1). Suppose y = 4*n - h. Is n prime?
True
Let j(p) = -4*p**3 + 2*p**2 - 4*p + 1. Let u(z) = -16*z**3 + 9*z**2 - 16*z + 3. Let m(o) = -9*j(o) + 2*u(o). Is m(2) composite?
False
Suppose 0 = 4*z - 5*x - 36, 4*z + 5*x + 7 = 3. Suppose 0 = -z*k - i - 499, 5*k + 5*i + 950 = 330. Let l = k - -182. Is l prime?
False
Let n be (-1)/(0 - 3/12). Let p(f) = 40*f + 1. Is p(n) a prime number?
False
Is (-3246)/(-21) + (-6)/(-14) a prime number?
False
Suppose 2*c + 4 - 10 = 0. Let v(s) = 1 + s**c + 3 + 17 - s**2 + s. Is v(0) a composite number?
True
Let f = 6 + -4. Suppose -f*y + 2 = q - 0*y, -q - y = -2. Suppose q*v + 107 - 297 = 0. Is v composite?
True
Suppose 0 = -m - 4*m - 5. Let j be 58/(-3) - m/3. Let i = 32 + j. Is i a prime number?
True
Let v(k) = 0*k**2 + 1 - 15*k - 4 - k**2. Is v(-8) a prime number?
True
Suppose 0 = 4*d - 10 - 10. Let x = 10 - d. Suppose x*o = -2*y + 14, -5*o + 35 = 5*y - o. Is y prime?
True
Suppose z - 88 = 115. Suppose 28 + z = 3*u. Is u composite?
True
Let n(g) be the first derivative of g**6/60 - g**5/40 + g**4/6 - g**3/3 + 3. Let l(d) be the third derivative of n(d). Is l(-7) a prime number?
False
Suppose 3*m = -2*r + 39, -5*m + 0*m = -4*r - 43. Suppose -7*a + 6*a + m = 0. Is a composite?
False
Let h(z) = -83*z. Is h(-1) a prime number?
True
Let r = -5 + 11. Suppose 0 = -5*c - d + 8 - 2, -3*d = 3*c - r. Is (-594)/(-5) - c/(-5) a composite number?
True
Suppose 2*a - 1768 = -2*o, 3*o - 5*a = 3002 - 326. Is o prime?
True
Let r(x) be the first derivative of -x**3/3 - 9*x**2/2 - 4*x + 1. Let t be r(-7). Is (-86)/(-10) + 4/t prime?
False
Let o(q) = q**2 + 2*q + 1. Let k be o(-1). Suppose k = -5*t + 4*t + 37. Is t prime?
True
Suppose -5*a + 10 = -2*v, 28 - 3 = -3*a - 5*v. Suppose 3*o - x = -a*o + 109, -5*o + 4*x = -177. Is o prime?
True
Is ((-155)/10)/(1/(-2)) a prime number?
True
Let i = -2585 + 4313. Suppose -683 = 5*h - i. Is h prime?
False
Let a(d) = -1 + 2 + 3*d - 8*d. Let r be (-1)/(-2) - (-26)/(-4). Is a(r) a composite number?
False
Let j = 291 + -185. Is j a prime number?
False
Let l(o) = o**3 - o**2 - o + 4. Let y be l(0). Suppose -i = y*i. Suppose i = g + g - 422. Is g prime?
True
Let o = 156 + -79. Suppose -2*h - o = -l, -4*l = h + 2*h - 319. Is l composite?
False
Let f(o) = 19*o**3 + o**2 + 3*o - 3. Let u be f(2). Suppose 0 = 2*a + 5*c + 28 - u, 4*a - 220 = 4*c. Suppose 243 - a = 5*j. Is j composite?
False
Let v = 504 - 301. Is v a composite number?
True
Let z be ((-500)/15)/(1/(-3)). Suppose x + 3*j = -0*j + z, 0 = -x - 5*j + 102. Is x a composite number?
False
Let x be (-3)/(-9)*(5 - -1). Let k be (-1)/(x*2/(-404)). Suppose 2*j + 96 = 2*s, -2*s + k = -2*j + j. Is s a composite number?
False
Let b = 618 - 140. Is b a prime number?
False
Suppose 0 = 4*h - 5078 - 2798. Is h a composite number?
True
Suppose 3*r + 892 = 7*r. Is r prime?
True
Let b(w) = -6*w**2 + 13*w + 4. Let r(u) = -7*u**2 + 14*u + 3. Let h(a) = -6*b(a) + 5*r(a). Is h(-8) prime?
False
Let a(r) = 237*r**3 + 4*r**2 - 6*r + 3. Is a(2) a composite number?
True
Let q = -9 + 34. Is q composite?
True
Suppose -3*g + 947 + 3484 = 0. Is g a prime number?
False
Let m(o) = -o**2 + 7*o + 5. Let l be m(7). Suppose -55 = -l*w + 4*j, 2*j = -3*w - 0*w + 55. Is w composite?
True
Let k(t) = -t**3 + 4*t**2 - 4*t + 6. Let r be k(3). Suppose -r*n = 4*w - 271, -5*w - 20 - 5 = 0. Is n composite?
False
Suppose 6876 - 62 = 2*q. Is q composite?
False
Suppose -10*i + 12*i - 10 = 0. Let t(q) = -q. Let g be t(-5). Suppose -y - g*p = -37 - 35, p = i. Is y a prime number?
True
Suppose 0*l = l. Suppose l = n - 3*n + 356. Let z = -83 + n. Is z prime?
False
Let q be 30/25*10/4. Suppose j - 4*p - 87 = 0, 169 = j + j - q*p. Suppose 5*r - j = 4*r. Is r a prime number?
True
Let t(s) = s**3 - 2*s**2 - s + 2. Let p be t(3). Let c be 3/12 - (-222)/p. Is (-8)/c - (-1866)/14 prime?
False
Let y = 71 - 2. Is y composite?
T