 Is p prime?
False
Suppose -4 = 2*t + 2*t + 4*f, 2*t - 3*f - 3 = 0. Suppose c - 4 = t, -4*w - 4*c = -3*c - 64. Is w a composite number?
True
Suppose 0 = 2*t - 556 - 2166. Is t a composite number?
False
Let w(s) = -s**3 + 8*s**2 - 8*s + 4. Let r be w(5). Suppose k - 2*o - 16 = -0*o, 3*o + r = 4*k. Is k prime?
False
Suppose 2490 = 4*l - 866. Is l prime?
True
Let g = 2 - 3. Suppose r - 1 = -4, 0 = 4*f - 5*r - 7. Is (f - -1)*g - -5 a prime number?
False
Suppose -2*p + q = -65, p - 2*p + 4*q + 22 = 0. Let v = -255 + 378. Let k = v - p. Is k composite?
False
Let l = 14 - 10. Suppose t - l*t = 0. Suppose t = 3*k + 5*o - 2*o - 147, 3*k = -o + 147. Is k prime?
False
Suppose -544 = -2*w - 162. Is w prime?
True
Let t(i) = -i**3 - i**2 - 4*i - 6. Let q be t(-4). Is q/((2/(-7))/(-1)) composite?
True
Let a(z) = 238*z**2 - z + 3. Let s be a(2). Let g = s - 606. Is g a composite number?
False
Let k = 4710 - 2754. Is k/8*6/9 a composite number?
False
Let s(u) = -85*u**3 - 3*u**2 - 2*u + 2. Let q be s(-2). Suppose 5*z - q = 3*z. Is z prime?
True
Suppose 210 = 2*b + 728. Let o = -146 - b. Is o prime?
True
Let s(f) = f + 1. Let w be s(-2). Let r be 1/(w*(-2)/8). Is (-10)/(r/(-6) - 0) prime?
False
Suppose -8*l + 3*b - 1 = -4*l, -4*b = 3*l + 7. Let z be l/(-2) + 5/(-2). Is z*((-2)/4 - 1) composite?
False
Suppose 4*t = 23 - 3. Suppose -296 = -t*b + 339. Is b a composite number?
False
Let j = -61 + 87. Is j a composite number?
True
Let l be -1*3 + -2 + 0. Let k(i) = -i**3 - 6*i**2 - 5*i + 5. Let o be k(l). Suppose -2*z + h + 4*h + 40 = 0, -o*h + 35 = z. Is z prime?
False
Suppose 4*l - 4299 = 1321. Is l composite?
True
Suppose 2*q - 289 = 81. Is q a prime number?
False
Is (4 + 2 + -59)*-1 a prime number?
True
Suppose -5*d + 3*p = 15, -4*d + 0*p + 5*p = 25. Suppose d = 5*x + 10, 2*f - 13 = f - x. Is f a composite number?
True
Let d(k) = 2*k**2 - 4*k + 3. Let w be d(2). Suppose 2*a = 2*u + 18 + 44, 4*u + 91 = w*a. Is a a prime number?
False
Let g be (6/(-15))/(1/(-5)). Suppose -3*k + 3*t + 159 = 0, -141 - 15 = -3*k + g*t. Let r = k + -36. Is r a prime number?
False
Suppose 4*g + 154 = 5*n, 3*n + 0*n - 42 = g. Let b = g - -71. Is b a prime number?
False
Let h = -16 - -9. Let u(t) = t**3 + 7*t**2 - t - 5. Let p be u(h). Is (-370)/(-10) - 0/p composite?
False
Let j be -3 - (2 - (-42)/(-3)). Let m(f) = f**2 + 5*f - 3. Is m(j) prime?
False
Let n(q) = 3*q**2 - 2*q - 2. Let k be n(2). Let v = -5 + 2. Let y = v + k. Is y a prime number?
True
Suppose -4*b + 925 = -8559. Is b a composite number?
False
Let s = 688 + -390. Is s a prime number?
False
Let f(m) = -m**3 - 8*m**2 - 9*m - 6. Let k(d) = 3*d + 9. Let h be k(-6). Let s be f(h). Let n = s - 79. Is n a prime number?
False
Suppose -2*q = -m - 3, -2*q - m + 7 = 2*m. Suppose 0 = q*t - 6*t + 124. Is t a prime number?
True
Suppose k - 5*k = -2876. Is k a composite number?
False
Suppose 6*p - 12 = 3*p. Suppose -148 = -p*m + 5*h, -2*m + 6*m = 3*h + 148. Is m composite?
False
Suppose 3*f - 50 = -17. Let c = 25 - f. Is c a prime number?
False
Let h(m) = -m**3 - m**2 + 2. Let w be h(0). Suppose -10 = -x + w*g + 12, 5*x - 97 = -3*g. Let f = 39 - x. Is f a prime number?
True
Let o(l) = 169*l - 66. Is o(17) prime?
False
Suppose 1 + 14 = 5*l. Suppose 4*s - 3 = 3*m, -l*s + 7*s = -3*m + 21. Suppose 3*a + 3*z - 120 = 0, 4*a - s*z - 86 = 39. Is a a prime number?
False
Let f(m) = -79*m + 12. Is f(-5) prime?
False
Suppose -5*i = -i - 20. Suppose 4*t + 3*c - 4 = -i, 4*c + 1 = -5*t. Is t - -13*1 - -2 a prime number?
False
Is (-8248)/(-32) + 3/(-4) prime?
True
Let c(h) = 5*h**2 + 3*h + 1. Is c(3) a composite number?
True
Suppose 0 = -2*n + 2*s + 3*s - 87, -5*n = 2*s + 174. Let b = n + 67. Is b a composite number?
False
Suppose -2*d = -4*d + 2302. Is d prime?
True
Suppose -5*i = -0*i - 245. Is i a composite number?
True
Suppose -647 = -u - 4*c - 0*c, -2*u = 2*c - 1276. Is u a prime number?
False
Suppose 10 = -3*g + 25. Suppose 0*l - 1 = -i - 3*l, -3*i - g*l = 1. Is 65 - i/(-3)*-3 prime?
True
Let u = 15 + -21. Is (-38)/u*(-4 + 7) a composite number?
False
Let k(j) = -j**3 - 3*j**2 - j. Let y be k(-3). Suppose -1 = -2*m + 7, -5*f + y*m + 153 = 0. Is f composite?
True
Let j(u) = u + 6. Let v be j(-14). Is (-2 - -4) + v + 40 a prime number?
False
Let u(o) = 6*o + 0*o - o**2 + 2*o**2. Let q be u(-6). Suppose -y - 4*v - 2 = q, 4*v + 10 = 4*y - y. Is y composite?
False
Suppose -5586 = -3*v - 0*v + 3*q, 0 = 3*v - 2*q - 5591. Is v a prime number?
True
Is ((-3148)/(-6))/((-28)/12 - -3) composite?
False
Suppose -3*v = 2*c - v + 10, 5*c - v - 5 = 0. Suppose -3*j + j = c. Suppose j = -4*d + 4*z + 212, 0*d + z - 167 = -3*d. Is d composite?
True
Let s(a) = 36*a - 1. Let t(y) be the second derivative of -y**5/20 + y**4/2 + y**3/6 - 2*y**2 + 2*y. Let l be t(6). Is s(l) composite?
False
Let i be (-2 - -2 - -6)*29. Suppose -184 = -4*p + 4*h, -2*h + h = 4*p - i. Suppose -w - 4*w + 44 = 4*m, 0 = -4*m - 4*w + p. Is m a composite number?
False
Let n(j) = -j**3 - 5*j**2 + 7*j + 6. Suppose 24 = v - 5*v. Let r be n(v). Is (r + -1)*3 - -14 a composite number?
False
Let o(p) = 423*p**2 - 1 + 2*p + 407*p**2 + 634*p**2. Let h be o(1). Suppose 0 = 8*l - 3*l - h. Is l composite?
False
Suppose p = -2*n - 7, 9 + 4 = 2*n - 3*p. Let k(r) = -63*r + 1. Let h be k(n). Let b = -31 + h. Is b a composite number?
True
Let k(c) = -c + 11. Let i be k(9). Suppose i*m - 381 = 401. Is m a prime number?
False
Let q(d) = 6*d**3 + 5*d**2 - d - 79. Let p(u) = -7*u**3 - 6*u**2 + u + 79. Let f(l) = -5*p(l) - 6*q(l). Is f(0) prime?
True
Suppose -4*q = q - 5215. Is q prime?
False
Suppose 0 = 3*o - 3*l - 108, 4*l + 105 = 2*o + 23. Is o prime?
True
Suppose 5*p - 12061 = -3*s, -2*p + 4*p = -2*s + 4826. Is p a prime number?
True
Suppose j - 3136 = -3*j + 4*q, -3*j - q = -2356. Is j a composite number?
True
Let v(m) = 13*m**3 + 3*m**2 - 13*m + 8. Is v(6) a composite number?
True
Let n(u) = -u**3 - 11*u**2. Let s be n(-11). Suppose 0 = -4*j + 6*j + 2*k - 12, 2*j + 5*k = s. Is j composite?
True
Suppose 3*i + 1 = -2. Let o be (2/4)/(i/12). Is 4/o + (-478)/(-6) prime?
True
Suppose -4*t = 2*w - 8, 2*w + 38 = 4*t + 14. Suppose t*q = 2*a - 1074, 531 = -a + 2*a + 4*q. Is a a composite number?
True
Let i = 81 + 61. Is i prime?
False
Suppose -7*z = -2*z - 1060. Suppose w - z = -3*w. Is w a prime number?
True
Let g = -120 + 168. Suppose g = 3*r - 4*y - 51, -5*y = -4*r + 133. Is r a prime number?
True
Let b = -6 + 0. Let v(g) = -17*g - 5. Is v(b) a prime number?
True
Let y = 29 + -53. Suppose 4*v - 171 = 3*n + 2*v, v - 56 = n. Let t = y - n. Is t composite?
True
Let m be -1 - 0 - -8*34. Suppose -m + 96 = -5*k. Is k composite?
True
Let t be (-9)/12*(0 - 4). Suppose 0 = -t*u + 2*u. Suppose 0*s - 4*s + 148 = u. Is s a composite number?
False
Is (-11)/((-22)/988) + 5 a prime number?
True
Let t(y) = y**3 - y**2 + 2*y - 5. Is t(4) a composite number?
True
Let x be 10/4 + 5/10. Suppose 3*w = -3*k + 15, -x*k = w - 3 - 20. Is k a composite number?
True
Let c(f) = f**2 - 2*f - 1. Let n be c(3). Is 48 - n*2/4 a prime number?
True
Let g = 99 - 51. Let r = g - 34. Is r prime?
False
Suppose -5*n + 264 + 1 = 0. Is n a composite number?
False
Let o(a) = a + 1. Let z(p) = 4*p + 20. Let n(g) = 3*o(g) - z(g). Let d(s) = 3*s + 50. Let j(k) = 3*d(k) + 8*n(k). Is j(-7) prime?
True
Suppose -3*c = 34 - 1. Let m(r) = r**2 + 4*r + 8. Is m(c) prime?
False
Let y(h) = -62*h**3 - 3*h**2 + 1. Is y(-2) composite?
True
Let l(n) = -3*n**3 - n**2. Let q be l(2). Let p = -4 + 5. Is (p + 3)*q/(-8) prime?
False
Suppose 3*y = 6*y + 3*c - 114, -2*c = -3*y + 94. Let f = y + 709. Is f prime?
True
Suppose -6*x + 263 = 53. Is x prime?
False
Let i be 2/(-7) + 90/21. Let o(k) = -i*k**2 - 5*k - 3 + k**3 - 2 + 10*k. Is o(4) a composite number?
True
Let c(f) = f**3 - 13*f**2 + 15*f + 10. Let m be -3 + 15/1 - 1. Let t be c(m). Is -2 - (0 + -2) - t a prime number?
True
Is 6 + (-10528)/(-35) - 2/(-10) prime?
True
Let h be (5/10)/((-1)/920). Let g = h - -678. Let r = g + -151. Is r composite?
False
Suppose -4*q + 2*v + 746 = 0, -q + v + 180 = -8. Is q prime?
False
Suppose 9*q - 1055 = 4*q. Is q a prime number?
True
Let o(b) = 22*b + 2 - 3 + 0. Let u be -2*1*(-2)/4. Is o(u) composite?
True
Let n(o) = -o**2 - 8*o - 5. Let j(d) = -d**2 - 7*d + 3. Let r be j(-7). Suppose 