True
Let n = 152 - 43. Is n composite?
False
Let r be 3/(-6) + (-34)/(-4). Suppose 0 = 2*n - 0*n - r. Suppose -n*p + 8*p - 24 = 0. Is p composite?
True
Suppose 5 = -v, 0 = 5*k - 2*v - 3*v - 4035. Is k a composite number?
True
Let l(g) = 10*g - 1. Let j be l(2). Suppose 4*a - j = 3*a. Is a a prime number?
True
Let j be 32/20*(-10)/(-4). Suppose 3*q + j*d + 90 = 5*q, -4*q + 200 = 2*d. Is q a prime number?
False
Suppose -2*i - 447 = -5*i. Is i composite?
False
Suppose -7*p + 10039 = -6292. Is p prime?
True
Let j = -14261 - -1748. Is j/(-33) - (-8)/(-44) a composite number?
False
Let t be ((-40)/2)/((-5)/55). Suppose t = 3*x + x. Is x composite?
True
Suppose -6*y = -9*y + 201. Is y a prime number?
True
Is 1*19*(-1 + 2) a composite number?
False
Let d(f) be the first derivative of f**2/2 + 2*f - 2. Let i be d(0). Is (12 + i)/(2/7) a prime number?
False
Let y = 1 - -1. Is ((-1)/y)/(11/(-2684)) composite?
True
Suppose 5*f + 5774 = 2*j, -3*j = 8*f - 3*f - 8711. Is j a prime number?
True
Let c(d) = -d - 1. Let x(u) = u + 3. Let p(r) = -2*c(r) - x(r). Let o be p(0). Is (-1)/(-2)*(-422)/o prime?
True
Suppose 0 = b + 4*n - 369, -1182 = -3*b - 5*n - 54. Is b prime?
False
Suppose -3*p + 22 = -17. Is p a composite number?
False
Let k = 44 - 11. Let j be (3 - 1 - 4) + -12. Let w = k + j. Is w a prime number?
True
Let i(t) = 2*t**2 - 4*t + 5. Is i(5) a prime number?
False
Is 0 + 15/20*4 a composite number?
False
Let d be (-69)/(-2)*16/12. Let u = 81 + d. Is u a composite number?
False
Suppose h = -38 + 461. Suppose -53 + h = 5*w. Is w/5*(-15)/(-6) a composite number?
False
Is (-6)/4*(-376)/12 a composite number?
False
Let z = -3 - -7. Suppose 86 = f + 5*k, -6*k + 2*k = 3*f - 236. Suppose -f = -z*u + 16. Is u prime?
True
Let d(g) = -g**3 + g**2 - g + 1. Let u(r) = 167*r**3 - 2*r**2 + 2*r - 4. Let p(y) = -3*d(y) - u(y). Is p(-1) composite?
False
Let v = 18 + 5. Let x = -1 + v. Let o = x - 7. Is o composite?
True
Let f(g) = -g + 1. Let d be f(3). Is (106/3)/(d/(-3)) a composite number?
False
Let x be (-15)/2*(-6)/(-9). Let u = -2 - x. Suppose 3*j = 2*j + u. Is j composite?
False
Let q(c) = c**2 + 2*c - 12. Let y = 3 + 2. Is q(y) composite?
False
Let f = 3372 - 167. Is f a composite number?
True
Suppose 0 = -2*a + 9*a - 13307. Is a a composite number?
False
Let b = 201 - 92. Suppose 4*w + 17 - b = 0. Is w a prime number?
True
Let f be 6/(-3)*(-3)/2. Suppose -f*g + 38 = 2*w - 7*g, -2*w + 44 = 2*g. Is w prime?
False
Suppose 2*g + 2660 = -3*g. Let s be g/(-8) - (-1)/(-2). Suppose 2*a - 3 = -3*b + s, 2*b - 54 = -4*a. Is b a prime number?
False
Suppose 0*b + b = 563. Is b a prime number?
True
Suppose -3*n = -p + 121, -5*n - 5*p - 170 - 25 = 0. Let r = -5 - n. Is r composite?
True
Is (155/10 - 4)*10 prime?
False
Let g(z) = -9*z**2 - 20*z + 4. Let m be g(-5). Let f = 404 - 610. Let c = m - f. Is c prime?
False
Suppose -2*v = -1634 + 502. Is v a composite number?
True
Suppose -279 = -20*r + 17*r. Is r a prime number?
False
Let b = -68 - -115. Is b prime?
True
Let h = 10 + -20. Let m = 12 - h. Is m composite?
True
Let q(i) = -1 + 48*i - 3 - 636*i. Let t be q(-4). Suppose -b = 3*b - t. Is b prime?
True
Suppose 4*t - 4*z + 26 = 10, -4*t - 4*z + 16 = 0. Let s = 5 - t. Suppose 267 = s*u - 2*u. Is u composite?
False
Suppose 0 = -3*s + o + 15, 4*s + 3*o - 10 = 10. Suppose l - 1890 = -2*l - 3*z, -s*z = 4*l - 2515. Suppose -l = -7*k + 2*k. Is k a prime number?
True
Let q(d) = -d**2 - d + 263. Is q(0) composite?
False
Suppose -6 = -2*y + y. Is y prime?
False
Let k = -90 - -149. Is k a prime number?
True
Is (36 + 1)/((-2)/(-10)) composite?
True
Suppose n - 718 + 210 = -4*u, u = -2*n + 134. Suppose u + 659 = z. Is z a prime number?
False
Let m = 2 + -2. Suppose m = -0*y + y - 7. Is (-2 - -4) + 3*y composite?
False
Let f be 48/(-18)*(-318)/4. Suppose -5*l = -4*s + f, -4*l + 4*s = 2*s + 172. Let o = l - -81. Is o prime?
True
Let q(z) be the first derivative of z**3/3 + 5*z**2/2 + 2*z - 2. Let o be q(-5). Suppose 0 = -7*k + o*k + 15. Is k prime?
True
Let w(q) = q**3 - 12*q**2 - 23*q - 13. Is w(17) composite?
True
Suppose c + 2 = 5. Suppose c*w + 316 = 7*w. Is w a composite number?
False
Let d be 4/6 + (-112)/(-12). Suppose c - 2*j - 4 = 0, 0 = c - 3*j + 8*j + d. Suppose c = -0*t - t + 47. Is t composite?
False
Is 6/27 - (-10969)/9 prime?
False
Let j = -95 - -184. Suppose 3*y - 217 = 167. Let z = y - j. Is z a composite number?
True
Suppose -5*g + 15 = -25. Let r(x) be the second derivative of x**4/3 + 5*x**3/6 - 3*x**2/2 + 2*x. Is r(g) a prime number?
True
Let b(o) = -356*o - 3. Is b(-1) prime?
True
Let m(z) = -z**2 + 7*z - 5. Let n be m(5). Is (-4)/(-10) + 168/n a composite number?
True
Let x(k) be the first derivative of k**4/4 + 3*k**2/2 - 2*k + 1. Is x(3) a prime number?
False
Let m = 159 + -71. Is (m + -5)/(-2 + 3) composite?
False
Suppose -f + 2*f - 2 = 0. Suppose 897 = -f*m + 4*m + v, 1344 = 3*m + 3*v. Is m a prime number?
True
Let y(s) = -12*s + 23. Is y(-3) a prime number?
True
Let k(q) = -19*q + 1. Let t(m) = 1. Let n(f) = -k(f) + 5*t(f). Let l be n(4). Let z = l - -11. Is z a prime number?
False
Let a = 38 - -15. Suppose -4*h = -3*h - a. Is h a composite number?
False
Let c(g) = g**3 - 2*g**2 - 3*g + 4. Let o be c(3). Let v(y) = y**3 - 8*y**2 - 6*y - 4. Let u be v(8). Is u/(-6)*(-1 + o) a prime number?
False
Let i(u) = 9*u**2 + 2 + 4 - 13*u - 3*u**2 + 8*u. Is i(-7) prime?
False
Suppose -x = -0*x - 3. Suppose 0 = -t - 3*s - 56 + 501, -865 = -2*t - s. Suppose -t = -x*y + y. Is y composite?
True
Let y be (-1 - 1)/((-4)/(-14)). Let v be (-2 - 20)/(2 - 1). Let n = y - v. Is n prime?
False
Is 7/14 - 331/(-2) a composite number?
True
Suppose 0*p = 2*p - 248. Let u = -57 + p. Is u a prime number?
True
Let w(b) = -6*b + 1. Suppose -4*x - 8 = 0, -5*k - 2*x - 43 = -3*x. Is w(k) prime?
False
Is -1 + 2/5 + (-17752)/(-20) a composite number?
False
Let n = 138 + -610. Suppose -3*o = 2*o + 1475. Let t = o - n. Is t a prime number?
False
Let h be (-12)/(-8)*2 + 1. Suppose -5*q = -m - 0*q + 201, -h*m + 846 = q. Is m composite?
False
Suppose -5*n - 63 = -4*r, -9 = -n + 4*n. Let c = r + -6. Is (-2)/c + (-212)/(-6) prime?
False
Suppose 22 = 3*o - 5*u, -u = -3*o + 6*o - 10. Suppose 3*w - 208 = 5*d - 1470, 4*d - 1016 = -o*w. Is d prime?
False
Suppose -4*b - q + 21 + 2 = 0, 4*b + 4*q - 32 = 0. Suppose 4*o - 84 = -w, -2*o + 0*w + 42 = -b*w. Is o a composite number?
True
Suppose 0*o = 4*o + 140. Let x = 60 + o. Is x a prime number?
False
Let r(i) = -4*i + 5. Let k(y) = 9*y - 11. Let h(u) = 2*k(u) + 5*r(u). Let g = -3 + -1. Is h(g) a composite number?
False
Let f(m) = 72*m**3 + 4*m**2 - 6*m - 11. Is f(5) a prime number?
True
Let b(k) = k**3 - 14*k**2 + 12*k - 12. Let r be b(13). Suppose -89 = l - 3*l + z, 4*l - 193 = 5*z. Let m = l - r. Is m composite?
False
Suppose 4*z - 4394 = 3122. Is z a composite number?
False
Let r(y) = -6*y**2 + 6*y**2 + y**3 + 6. Let x be r(0). Is 140/(-12)*x/(-2) composite?
True
Suppose -o = -3*f + 22, 2*f - 20 = -0*o - 2*o. Let c(w) = -w + 7. Let b be c(f). Is 54 - b*(0 + -1) a prime number?
True
Suppose -y = 2*c + 26, 4*y - 2*c + 93 = c. Let t = y + 34. Suppose 5*j - t - 30 = -5*m, -m = 5*j + 12. Is m a prime number?
True
Let p(t) = t**3 - 8*t**2 + 8*t - 6. Is p(8) composite?
True
Suppose 3*a = -0*a + 6. Is (-2 - (a + 233))/(-1) composite?
True
Suppose -5*i + 195 = 5*l, 5*i + 3 + 2 = 0. Suppose 40 = 5*v - 4*w - 0*w, 5*v - l = 3*w. Let h(p) = 10*p + 9. Is h(v) a composite number?
False
Let i(h) = 12*h**2 - h. Is i(2) prime?
False
Let v(q) = -15*q**2 + 2*q - 1. Let a(k) = -15*k**2 + k. Let t(w) = 2*a(w) - 3*v(w). Is t(2) composite?
True
Suppose -3*i + 383 = -2*o - 242, 2*o = 4*i - 834. Is i a prime number?
False
Suppose -23 = c + o, -5*c + o - 3*o = 103. Let t = -13 - c. Let p(a) = a**2 - 5*a + 5. Is p(t) composite?
False
Let y = 703 + -384. Is y a composite number?
True
Suppose -3*m + 92 = 5*o - 24, 4*m - 118 = -5*o. Let n = 509 - o. Is n a prime number?
True
Let f = -478 - -822. Suppose 6*o - 2*o - f = 0. Is o a prime number?
False
Suppose 5*g + 5 = -15. Is (-182)/(g/(-1 - -3)) a composite number?
True
Let b(t) = -t**3 - 14*t**2 + 19*t - 13. Is b(-18) composite?
False
Is (3/(-6))/(3014/(-1004) + 3) composite?
False
Let v(b) = -60*b**3 + b**2 - 2. Let m(k) = -241*k**3 + 