*p - 216, 0 = 2*z - 4*p - 146. Is z a prime number?
True
Is (-908)/((5 - 3) + -4) a composite number?
True
Let i(n) = 17*n**2 + 12*n + 14. Is i(-7) composite?
True
Suppose 0 = -7*y + 474 + 65. Is y prime?
False
Is 7/21 - (-724)/6 composite?
True
Let z = -18 + 49. Is z composite?
False
Let q be 2/8 - (-76)/16. Let z = 9 - q. Is z a prime number?
False
Let k(h) = h**3 - h**2 - h - 6. Suppose 5*t = -q - 5, 4*t + 1 = q + 6. Let l be k(t). Let v = 1 - l. Is v composite?
False
Suppose -2*p = -7*p + 45. Let h be (-2)/3 + 56/(-6). Let c = p - h. Is c a composite number?
False
Suppose -4*r = 255 - 2115. Suppose 2*d = 4*t - d - r, 0 = t + 4*d - 102. Suppose -4*b = -5*n - t, 3*b - 99 = -n - 2*n. Is b composite?
False
Let h = 7 + -15. Let u = h - -24. Suppose -85 = -3*q - u. Is q prime?
True
Let f = 0 - -7. Suppose 4*r - f = 49. Is r composite?
True
Suppose l + 38 = 44. Is l a composite number?
True
Let z(w) = 3*w**2 + 8 - 2*w**2 - 2*w**2 + 4*w. Let q be z(6). Let h = q - -27. Is h a prime number?
True
Suppose -2*c - b = 0, -4*c + 28 = -2*b - 3*b. Suppose c*k - 136 = 30. Is k prime?
True
Let b be 1/(-8) - (-9)/72. Suppose -1 = a - 4. Is a + b + 158 + 2 a composite number?
False
Let w(n) = n**3 - 5*n**2 + 2*n - 7. Let s be w(5). Suppose -h + k + s = -8, -3*k = -2*h + 22. Is h a composite number?
False
Suppose -3*q = -4*q - 2. Let c(y) = 5*y**2 + 2*y + 3. Is c(q) a composite number?
False
Suppose 4*s - 2*s + 18 = 0. Let n = s - -64. Is n a prime number?
False
Suppose 5*j - 2*j = 4*a + 377, j - 5*a - 122 = 0. Is j composite?
False
Let f(v) = -v**2 + 10*v - 7. Let h be f(9). Let u be (-4)/6*78/(-4). Suppose 5*a - 22 = -4*i, -3*i - h*i = -a - u. Is i a composite number?
False
Suppose 4*x = 6*x + 146. Let q be ((-19)/(-3))/((-1)/6). Let b = q - x. Is b composite?
True
Let i(f) = -f**2 - 24*f - 22. Is i(-15) a composite number?
False
Let t = -4 + 1. Let q = t - -5. Suppose 63 = q*p + p. Is p composite?
True
Let x = -1 - -4. Suppose 5*l - 55 = -x*j + 69, 3*l - 15 = 0. Is j prime?
False
Suppose -6*g + 2*g = -892. Is g a prime number?
True
Let v = -25 + 53. Let k = 3 + -5. Let w = k + v. Is w prime?
False
Suppose -616 = -6*k - 34. Is k composite?
False
Let i(g) = g**3 - 6*g**2 + 2*g + 1. Let z = 22 + -16. Is i(z) prime?
True
Suppose 2*z - 4*z = -1102. Is z a composite number?
True
Let h(c) = 9*c + 5. Let f(l) = -l. Let q(o) = -6*f(o) - h(o). Is q(-4) a composite number?
False
Is (-2)/5 - (-7548)/20 composite?
True
Is (-36836)/(-24) + 0 + 3/18 a prime number?
False
Suppose -2101 + 748 = -m - 2*v, -5*v = 20. Is m a composite number?
False
Let f(o) = -2*o**2 - 2*o - 3. Let u be f(5). Let s be (1 + 15/(-9))*-3. Is u/(-6)*2 - s composite?
False
Suppose 0 = 4*h - 857 + 9. Suppose -h + 9 = -d. Is d composite?
True
Let d(x) = 5*x**2 + 8*x + 11. Is d(8) composite?
True
Let j(p) = p**2 + 8*p + 8. Let u be j(-7). Let x be (u - (-3)/(-6))*18. Is (-2)/(-2) - (-4 - x) a prime number?
False
Let d(u) = -63*u. Let v be d(-3). Suppose v + 37 = 2*f. Is f a composite number?
False
Let d(i) = -i**2 + 3*i - 1. Let o be d(4). Let n(s) = -2*s - 2. Let j be n(4). Is (o/j)/(1/30) a prime number?
False
Let c be (3/4)/((-1)/(-28)). Suppose -5*f - 6 = 2*d + 16, 4*f + c = -5*d. Is 1 - 6*(-4 + d) composite?
False
Suppose 5*q = -16*x + 17*x + 790, -4*q + x = -633. Is q a composite number?
False
Let p(c) = -18*c**3 - c**2 - 8*c + 22. Is p(-5) a composite number?
False
Let i(t) = -3*t**3 - t**2 + t + 1. Let j be (-1)/4 - 9/12. Let z be i(j). Let n(l) = 19*l - 1. Is n(z) composite?
False
Is 1958/(8/12*3) composite?
True
Suppose -4*v - v + 7985 = 0. Is v a composite number?
False
Let k be ((-64)/10)/(1/(-10)). Suppose -o - 5*u = -k, 0*o - u - 94 = -o. Suppose -3*f + o - 20 = 0. Is f composite?
False
Let p = -16 + 18. Suppose 3*r = t + 1913, 2*r - 5*t = 962 + 322. Suppose 167 = -p*d + r. Is d a prime number?
False
Let v(n) = 2*n - 4. Let b be v(3). Suppose 4*l = 4*f - 16, b*l + 2*l = -2*f + 8. Suppose -75 = -l*q - 5*q. Is q prime?
False
Suppose 5*b + 3*l - 3 = 10, 0 = -4*b - 5*l. Let j(z) = z**3 - 3*z**2 + 3*z + 6. Is j(b) prime?
True
Suppose 2*x + 142 = r, 3*r - 211 - 226 = -5*x. Suppose -15 = 5*s - 0*s, -r = 3*d + 2*s. Let z = d - -65. Is z a composite number?
False
Let w(q) = q**2 + 3*q - 1. Let o be w(-7). Let y = 38 - o. Is y a prime number?
True
Let o(a) = a**2 + 3*a + 4. Let b be o(4). Let i = 12 - b. Is 2/5 - 652/i composite?
True
Let u = 479 - 132. Is u a prime number?
True
Let g be (408/(-20))/(6/(-20)). Suppose -3*m + g = -10. Is m a prime number?
False
Suppose 0 = -15*a + 12*a + 1761. Is a a composite number?
False
Let l(a) = -a**3 + a**2 - a + 24. Let i be l(0). Let b = i + -3. Is b composite?
True
Let r be 0/(3 - (0 + 1)). Is 2/4*r + 51 prime?
False
Let x(j) = j + 12. Let o be x(-7). Suppose -116 = -o*v + 354. Is v prime?
False
Let r(t) = 6*t**2 - 13*t + 12. Is r(9) prime?
False
Suppose 6*p = -585 + 1695. Is p a prime number?
False
Suppose -22 = -3*t + 2*m, 2*m - 28 = -3*t + t. Let w = t - 5. Suppose w*f - 34 = 4*h, 4*h = -f + h + 22. Is f a prime number?
False
Let n be (0 - -1)/((-3)/(-6)). Suppose 4*i - 74 = n*i. Is i a composite number?
False
Is ((-105)/(-63))/((-2)/(-138)) a composite number?
True
Let r(c) = -20*c + 1. Let p be r(-1). Suppose 0*w = -5*w + 460. Let q = p + w. Is q composite?
False
Suppose -5*r + 30 = 4*p, 2*p = 6*r - r. Suppose -3*u - 2*u - r*g = -27, -9 = u + 4*g. Is u prime?
True
Let r(z) = -2*z - 3*z + 3*z - 8 + 3*z**2 + 3*z**2. Let l be r(-7). Suppose 3*t = 3*d - l, 5*d - 3*t - 495 = t. Is d a composite number?
True
Let b(t) = 3*t**2 - 5*t + 2. Let k be b(4). Let y = k + -3. Suppose 0 = 5*u - 15, -f + 31 = 3*u - y. Is f composite?
True
Suppose -3511 = 72*p - 73*p. Is p prime?
True
Suppose 4*g + 0*g = -4. Let a = 21 - g. Let z = a + -15. Is z a prime number?
True
Let p = -646 + 1965. Is p composite?
False
Is (3 + -2 - -190)/1 composite?
False
Let o be -3 + 4 + (2 - 1). Let g(i) = 4*i + 4*i**3 - 4*i + 2*i + 1. Is g(o) a prime number?
True
Let p = -8 + 9. Let m be p*-2*9/(-6). Is m - -12*(-20)/(-3) prime?
True
Is ((-372)/(-9))/((-8)/(-12) - 0) prime?
False
Let c be 2460/9 + 2/(-6). Suppose c = 4*o - o. Is o composite?
True
Suppose 5*k - h = -11, 3*k + 0*h + 3*h + 21 = 0. Is 4*-1 - k - -38 a composite number?
False
Let f(y) = -y**3 + y**2 + y + 2. Let b be f(2). Is (-17 - -2)*(-1 - b) a prime number?
False
Let n = 94 - 24. Suppose 9*f = 4*f + n. Is f prime?
False
Suppose 0*m = m - 2*l - 587, 3*l = -2*m + 1160. Is m prime?
False
Let q = -112 - -68. Is (-2)/(-11) - 5184/q prime?
False
Let h be -1 - (-1 - (-8)/(-2)). Suppose 0 = -i - 1, -h*z + 0*z - 4*i + 928 = 0. Is z composite?
False
Let r be 5/((-20)/16) - -269. Let a = -1 + 4. Suppose -650 = -a*i + r. Is i prime?
False
Let b(t) = -67*t**3 + 2*t**2 - 8. Is b(-3) a composite number?
True
Let j = 2 - -197. Is j a prime number?
True
Let b(d) = d**2 - 6*d - 16. Is b(-9) composite?
True
Suppose -8*r + 70 = -3*r. Suppose 0 = -5*d - 3*c - 13, 6*d - 4*d + r = c. Is ((-14)/d)/((-4)/(-20)) prime?
False
Suppose -2*v + 11 = d - 12, -4*d - 5*v = -89. Is d*7 - (1 + 0) a composite number?
True
Let d(u) = 6*u + 7. Is d(10) a composite number?
False
Suppose 0 = -2*v - k - 3*k - 4, 0 = -5*v - 4*k + 20. Suppose 0 = 4*s - 0 - v. Suppose 3*x = -s*x + 35. Is x composite?
False
Let i(d) = 3*d - 3. Let w be i(2). Is w*6/(-9) + 71 a prime number?
False
Suppose -712 = -0*v - 8*v. Is v a prime number?
True
Suppose -2160 = -5*j + 3185. Is j prime?
True
Let t be (-312)/(-20) + (-9)/15. Suppose -15 - t = -3*c + 5*g, 0 = 4*c - 2*g - 54. Is c a composite number?
True
Suppose 2*t + 18 = 8852. Is t a composite number?
True
Let c(p) = 16*p**3 - p**2 - 4*p + 3. Is c(2) a prime number?
False
Let q(f) = -154*f - 11. Let l be q(-5). Let t = l - 340. Is t prime?
True
Let j(r) = -r - 9. Let i be j(-12). Suppose -2*z + 46 = -5*a + a, -i*a - 4*z - 18 = 0. Is (-190)/1*5/a prime?
False
Suppose 0*z - 8 = 4*z. Let j = 5 - z. Is j a prime number?
True
Let g(t) = t**2 + 7*t - 4. Let h be g(-8). Let z(r) = 4*r**2 - 5*r + 3. Is z(h) composite?
False
Let a be 1 + 4 + (-4)/2. Suppose v - 3 + 12 = q, -a*q - 3*v - 3 = 0. Suppose 4*p - q*d = 136, -2*d = 4*p - d - 131. Is p a prime number?
False
Let q(p) = p**3 + 4*p**2 - 5*p + 7. Let f be q(-5). Is 42/12*52/f composit