 = -p - f. Is p prime?
False
Let d be 2/6*24/2. Let m = 4 - d. Let k(u) = -u + 31. Is k(m) a composite number?
False
Suppose 0 = 2*m - 5*t + 21, -2*t - 1 + 5 = -3*m. Suppose -k + 5*u = m*u - 25, 4*k + 2*u = 72. Is k a prime number?
True
Suppose 5 + 3 = v. Let r(b) = -b**3 + 7*b**2 + 9*b - 8. Let l be r(v). Suppose w + 0*w - 31 = l. Is w composite?
False
Suppose 34 + 66 = 2*u. Is (4/10)/(2/u) a composite number?
True
Suppose 2*u - 4*t - 107 = 717, 5*u - 5*t = 2085. Suppose 0 = -m + 3*m - u. Is m a prime number?
True
Let x(i) = -5*i**2 - 1. Let t(c) = -2*c**2. Let l(n) = 8*t(n) - 3*x(n). Let w be l(0). Suppose -w*s + 4*q = -2*s - 49, -q = 3. Is s composite?
False
Suppose -5*p - 42 = -k, 0*k - 293 = -4*k - 5*p. Let w = k - 32. Is w composite?
True
Let q be (-3 - 482/(-2))*-1. Let w = -420 - q. Let l = -39 - w. Is l a prime number?
False
Suppose -t + 2*o + 0*o + 15 = 0, -4*t - 3*o + 5 = 0. Suppose 2*s = 4*r + 34, -4*r = 3*s - 2*s - t. Suppose 0 = 3*d - 50 - s. Is d a prime number?
False
Let y(t) = t**2 - 5*t - 10. Let s be y(7). Suppose u - 129 = -3*r, r + 3 = 2*u + 46. Suppose -r = s*p - 311. Is p a prime number?
True
Let a be 1*-1 - (5 + -4). Is ((-3)/a)/(3/102) a prime number?
False
Let v be 3 + 2 + (-3)/1. Suppose 3 = -4*y - 1. Is v/(-6)*207/y composite?
True
Is ((-177)/(-4))/((-18)/(-72)) a prime number?
False
Let y = 8 - 3. Suppose 3*a - 156 = y*h, 0*h - 2*h - 108 = -2*a. Suppose 2 = o - a. Is o prime?
True
Suppose 4*b - 5409 = 5*t, 3*b - b - 2682 = -2*t. Is b prime?
False
Suppose -4*k + 2373 = 3*r, 2*k = 6*k + 12. Suppose -4*v = -7*v + r. Is v a prime number?
False
Suppose -2*l + 61 = 197. Let u = l + 43. Let w = u + 56. Is w prime?
True
Suppose 4 = 3*f - 5*f. Is f + (36 + -1)*1 composite?
True
Let r(v) = 12*v**2 + 2*v + 1. Let q be r(-1). Let s(d) = 9*d + 10. Is s(q) a composite number?
False
Suppose 195 = 3*x - n, -2*x + 0*n + 2*n + 134 = 0. Suppose 2*p - x = 6*p. Let v = p - -49. Is v a prime number?
False
Let g = 102 - 44. Is g a prime number?
False
Let y(l) = -l + 17. Let o be y(13). Suppose 0 = 5*u + o*i - 159, -8 = -0*i + 2*i. Is u a composite number?
True
Suppose o = 6*o - 60. Let p(l) = l**3 - 11*l**2 - 13*l + 12. Let k be p(o). Suppose k = 2*y - 4*y, 2*q - 5*y - 154 = 0. Is q a prime number?
False
Is 1 + (-2 - 2 - -560) prime?
True
Let l be (558/(-27))/(1/(-21)). Suppose 2*y - 2*j - l = 0, -y + 5 = -5*j - 204. Is y prime?
False
Let c(i) be the third derivative of i**5/30 - i**4/12 + i**3/3 - i**2. Suppose 0 = 4*g - 3*r - 12 - 2, -g - 5*r = 8. Is c(g) a prime number?
False
Suppose 10 = -i + 4*y, 0 = -0*i - 3*i - 4*y + 2. Let n(b) = -59*b - 3. Is n(i) a prime number?
False
Let x = 6 + 2. Suppose 0 = -f + 5*i + 73, 0 = -0*i - 2*i + x. Is f a prime number?
False
Suppose -2*r - 159 = -5*r. Suppose u - r = 3. Let j = u + 13. Is j a composite number?
True
Suppose -2*s + 4*d = 3*s - 324, -5*d + 88 = s. Let y = 143 + s. Is y composite?
False
Suppose 5*p = 1141 - 291. Suppose -2*n + p = 2*s, 97 = s - 7*n + 2*n. Is s a prime number?
False
Suppose h = -2*h + 60. Suppose -4*p - p = -h. Suppose 5*o - 14 = -3*y, -32 = -p*y - 0*o - 4*o. Is y a prime number?
True
Let n(q) = 8*q**3 - 3*q + 4. Is n(3) a composite number?
False
Suppose 3*a = -0*a. Suppose a = 2*g + g - 39. Suppose 118 = 3*d + g. Is d a prime number?
False
Suppose 0 = w - 0 - 3. Is 132/8*4/w prime?
False
Let o = 3 - -120. Is o a prime number?
False
Let z(g) = 10*g - 4 + 0 + 3 - 6. Is z(6) a composite number?
False
Is 0 + (2 - (3 - 374)) a composite number?
False
Let j = 428 - 109. Is j composite?
True
Suppose 4*w + 12 - 2 = -y, 0 = y - 2*w - 8. Is -1*2*(-11)/y prime?
True
Suppose -2*k + 2*f - 14 = 0, 11 + 8 = -5*k + f. Let m = k + 2. Is -1 + 122 + (m - 1) composite?
True
Suppose 0 = -l + 75 + 138. Let j = -87 + l. Suppose -2*m - 28 = -j. Is m a composite number?
True
Let o be -2 + 4 - (-20)/(-2). Let i = 14 + o. Is i a prime number?
False
Suppose -3 = c + 2*c. Let r be c/(0 - 2/(-52)). Let h = r - -37. Is h a prime number?
True
Suppose 253 = 3*a + 97. Suppose -2*s = -6*s + a. Is s a prime number?
True
Suppose -2*q + 286 = -i - 87, -3*q + 5*i + 570 = 0. Is q prime?
False
Let f = -2227 - -4888. Is f/21 - 2/(-7) composite?
False
Let i(f) be the third derivative of f**6/120 + f**5/10 - f**4/24 + 7*f**3/6 - 2*f**2. Is i(-5) prime?
True
Suppose -4*v = i - 206, -2 = -2*i + 2. Let z(w) = -3*w**2 + w - 2. Let a be z(-3). Let u = v - a. Is u a composite number?
False
Let w(x) = -x**2 - 8*x - 3. Let n be w(-7). Let o(g) = 7*g**2 + 6*g - 5. Is o(n) a prime number?
True
Let m be ((-24)/20)/(9/30). Is m/(-5)*30/4 composite?
True
Let l(n) = 2*n**2 - 20*n - 61. Is l(25) prime?
False
Let d be 0 + -1 - -2 - -20. Suppose -5*f = -2*y - d, 0*f + 2*y + 3 = -f. Let c(s) = 3*s**2 + 4*s - 2. Is c(f) composite?
False
Let y(i) = i**2 + i + 4. Let m be y(-6). Is m - 9/(-6)*-2 composite?
False
Let l be (-38)/10 + (-2)/10. Is ((-981)/18)/(2/l) composite?
False
Suppose q - 537 = -2*w - 2*w, 4*q + 246 = 2*w. Is w composite?
True
Suppose -4*v - 585 = -7*v. Let y = v - 110. Is y composite?
True
Let j = -74 + 171. Is j a prime number?
True
Let i(d) = -d**2 + 5*d + 15. Let s be i(7). Is (s/(-2))/((-2)/892) a composite number?
False
Let h be 2*(-1)/4*-6. Suppose -14 = -4*a + 6, 1316 = -h*r - 5*a. Is (r/6 + -3)*-2 a composite number?
True
Let z = -61 - -210. Is z prime?
True
Let j(n) = 68*n**2 - 4*n + 2. Let l(b) = -203*b**2 + 11*b - 5. Let h(i) = -8*j(i) - 3*l(i). Is h(-1) prime?
False
Is (-5485)/(-4) - 5/(40/2) composite?
True
Let m be (-438)/(-5) - (-14)/35. Suppose 3*f = 2*f - m. Let i = f - -299. Is i composite?
False
Suppose 2*c = 2*o - 0*o - 10, 3*c - 3 = -3*o. Let k be -2 - (-42 - c) - 0. Let a = 81 - k. Is a a prime number?
True
Let v(b) = 3*b**2 + 4*b - 2. Let f(u) = u**2 + 11*u + 14. Let j be f(-10). Suppose -3 = -j*s - 23. Is v(s) a composite number?
False
Suppose -2*y - 61 = -5*m - 24, 0 = 4*y + m + 129. Let z = y + 15. Let l = z - -26. Is l a composite number?
True
Suppose q + 5*l = 24, l - 4*l - 4 = -4*q. Suppose q*u + 63 = 7*u. Is u prime?
False
Let u be (1/2)/(1/6). Suppose 0 = 2*h - 3*h + u. Suppose -8*t - 4*k + 158 = -3*t, -h*t = -k - 105. Is t composite?
True
Is ((-198)/(-54))/(0 + 2/222) a prime number?
False
Suppose -299 = -5*h + l + 320, -2*h + 258 = -3*l. Is h composite?
True
Let f = 5 + -2. Suppose 4*a + 232 = 2*l, 0 = f*l - a - 456 + 93. Let y = 211 - l. Is y composite?
False
Suppose 4*t + t - 950 = 0. Suppose 4*k - t = 318. Is k prime?
True
Suppose 2*h - 4863 = -3*a + 4*h, -5*a + 8105 = -2*h. Is a a composite number?
False
Let i be ((-22)/6 - -2)*-3. Let b = 9 - i. Is 51 - (b + -2)/(-1) a composite number?
False
Suppose 5*r - 4*r = 272. Is (-4)/(-10) + r/20 a composite number?
True
Let s(m) = -m**2 + 7*m + 6. Let p be s(7). Suppose 4*v + 2 = p. Is 106/((v - 2) + 3) a composite number?
False
Let f be (-2)/7 - 225/21. Suppose 0 = -4*c + 4*d + d - 53, c = -4*d - 29. Let u = f - c. Is u prime?
False
Suppose -11 - 9 = 5*u. Let c(o) = 2*o**2 + o. Let p be c(u). Let b = 39 - p. Is b prime?
True
Let a = -244 - -479. Is a a composite number?
True
Suppose 3*i - 2*i - 1050 = -5*y, 0 = 3*y + 4*i - 613. Is y a composite number?
False
Let o = -371 + 534. Is o composite?
False
Suppose -4*w + 2*w = 26. Let z = w + 8. Let c = 8 + z. Is c a prime number?
True
Let x(g) be the third derivative of 1/30*g**5 + 0 + 3/8*g**4 + 0*g - 2*g**2 - 5/3*g**3. Is x(-7) a composite number?
True
Let l(j) = -j**2 + 6*j + 2. Let n be l(6). Let w(c) = -c**2 - 10*c - 13. Let h be w(-3). Let z = h - n. Is z prime?
False
Suppose -i - 4035 = -5*r + i, 3*i = -5*r + 4035. Suppose 2*c - 5*d + 54 = 386, 5*c - d = r. Is c composite?
True
Suppose 0*a + 5 = a. Let m(z) = z**2 - 3*z - 6. Let f be m(a). Suppose 0 = -5*c - f*k + 114, -3*k = -2*c - 8 + 49. Is c prime?
False
Suppose 4*y - 230 = 534. Is y a prime number?
True
Let i = 5 + -10. Let s(u) = -u**2 - 4*u - 1. Let r be s(i). Let w = r - -29. Is w prime?
True
Suppose -3*p - 4667 = -6*p + 4*n, -4*n = -5*p + 7789. Is p a prime number?
False
Let q(w) = -120*w**3 + w**2 - w - 1. Let t be 1 + (2 - 1 - 3). Is q(t) a prime number?
False
Let k = -22 - -18. Let o(r) = -65*r + 5. Is o(k) composite?
True
Suppose 0 = 4*t - 3*q - 90, 6*q + 48 = 2*t + 3*q. Suppose -2*j + t = -1. Is j prime?
True
Sup