7*k - 2*k - 575. Is k a prime number?
False
Is (711/12)/(12/32) a prime number?
False
Suppose 2095 = 103*k - 102*k. Is k a prime number?
False
Let l = 17 - -518. Is l composite?
True
Let c = 7 + 0. Suppose -c = -r - 1. Is r composite?
True
Suppose 3*r - 2*k - 44 = 0, 2*k + k = 4*r - 60. Is (-3)/(-12) - (-609)/r a composite number?
True
Suppose -j + 3*a = -43 + 5, -a - 146 = -3*j. Suppose -6*v + j = -v. Let l(m) = 2*m**2 - 12*m - 3. Is l(v) a composite number?
True
Let s(y) = 83*y - 2. Is s(5) composite?
True
Suppose -2*v = -15 - 407. Suppose 0 = -2*b + b + v. Is b prime?
True
Suppose 0 = t + 4 - 6. Suppose q + 131 = t*q. Is q prime?
True
Let c be 4*(0 - (1 + -2)). Suppose -c*l + 90 = 18. Is ((-26)/(-4))/(3/l) a composite number?
True
Suppose 0 = -3*i + p - 4, 2*p - 11 = 3*i - 3. Suppose 70 = 2*s - i*s. Is s a composite number?
True
Suppose 2 = 3*k - 4. Suppose -k*h + h = -69. Is h a prime number?
False
Let w be (-58)/(-5) + 4/10. Let t(s) = 12*s - 1. Is t(w) a composite number?
True
Suppose 2*c + 4*s = -s + 18, 3*s = -c + 10. Suppose -3*z + 5*o = -2*z - 78, 2*z = c*o + 144. Let v = z + -19. Is v a prime number?
False
Let z = 776 - 379. Is z composite?
False
Let d(v) = 2*v**3 - 6*v**2 - 4*v + 5. Let u(t) = -4*t. Let g be u(-2). Let b(o) = 5*o**3 - 18*o**2 - 12*o + 15. Let i(p) = g*d(p) - 3*b(p). Is i(-4) prime?
True
Let w be (-2)/(-4) - 68/8. Let t be 66/(-4)*w + 0. Let h = t + -67. Is h a prime number?
False
Let m(n) = -n**3 - 2*n**2 - 3*n. Suppose -4*o + 14 = -l, 3*o - 2 - 11 = 2*l. Let a be m(l). Suppose 4*c = a*c - 68. Is c a composite number?
True
Suppose -4*g = 4*m - 4328, 20*g + 3*m = 15*g + 5420. Is g a composite number?
False
Let q(g) = -2*g - 7. Let t be q(-5). Suppose -5*a + 286 = t*o, -4*o + 7*a - 2*a = -393. Is o a composite number?
False
Let g(u) = -u**2 + 243. Let y be g(0). Let x be (y + 1)*(-2)/(-4). Is (-2)/8 - x/(-8) a prime number?
False
Is (-20 + 5)*(-381)/9 composite?
True
Let h(g) = 2*g**3 - 7*g + 3. Let j be h(5). Suppose 45 + j = q. Is q a composite number?
False
Suppose 0 = 3*w - 5*g + 2*g - 2613, -4*w - 2*g = -3484. Suppose 0 = 4*x - w - 89. Suppose -3*q = -x - 105. Is q prime?
False
Suppose -k + 5296 = 3*k. Suppose -2*u + k = 2*u. Is u composite?
False
Let x = -2750 - -4074. Suppose -11*v = -15*v + x. Is v composite?
False
Let d be (-4)/(-2)*1 - 20. Let a = -6 - d. Suppose 5*o + a = q, o = 2*q + 5*o - 10. Is q a prime number?
True
Let w = -43 - -781. Suppose -93 = 5*g - w. Suppose g + 37 = 2*r. Is r a composite number?
False
Let t = 154 + -71. Let v = 8 + t. Is v composite?
True
Let q(d) = -43*d**2 + 5*d - 1. Let w(a) = 44*a**2 - 6*a + 1. Let k(f) = -7*q(f) - 6*w(f). Is k(-1) a prime number?
True
Let y = 5 - 4. Let a(d) = 31*d**3 - 1. Let o be a(y). Suppose -2*s + 4*s = o. Is s prime?
False
Suppose 2*q + 5*f = -0 + 4, f = -2. Is q a composite number?
False
Suppose -4*p + 2*o + 2 = -0*p, 0 = 4*p + o + 13. Let i be (-62)/(-6) + 2/3. Is p + 2 + i + 2 a composite number?
False
Suppose 4*w - m + 3 + 14 = 0, 0 = 2*w - 2*m + 4. Let x(g) = -g**3 - 3*g**2 + 3*g - 6. Let k be x(w). Let a = 8 + k. Is a a prime number?
True
Let l = 3 + 31. Is l a prime number?
False
Let x(u) = -u + u**3 + 3*u**3 + 2*u**3 + 2 - u**2 - 5*u**3. Is x(5) a composite number?
False
Suppose 28*p - 31*p = -2361. Is p prime?
True
Let g(h) = -115*h. Let z be g(1). Let p = 18 - z. Is p prime?
False
Let k = -1171 - -1706. Is k a prime number?
False
Suppose -5*h = -2*h - 3. Let o be (h + -2 + 2)*-47. Let b = o + 93. Is b a prime number?
False
Suppose 4*z - 4*c - 2700 = 0, 5*c - 1005 = -2*z + 366. Suppose 5*r - z - 247 = 0. Is r a prime number?
False
Suppose -8*y + 5*y = -3783. Is y composite?
True
Is 146060/140 + (-3)/(42/4) prime?
False
Let x(h) be the third derivative of -323*h**4/24 + h**3/2 + 5*h**2. Is x(-2) composite?
True
Suppose 0 = -3*a - a + 976. Let o = 471 - a. Suppose 4*c - o = -5*z, 0 = -5*c - 0*z + z + 262. Is c a prime number?
True
Let f(d) = -4*d**3 + 2*d**2 + 2*d - 1. Suppose -5*l = -20, 4*o - l = 2*o - 6. Let j be (1/2)/(o/4). Is f(j) prime?
False
Is (1524/(-18))/(2/(-3)) composite?
False
Is (4/(-6))/((8/1986)/(-2)) composite?
False
Suppose -3*c + 53 + 43 = 0. Suppose -c = -z - 9. Is z a prime number?
True
Let s(x) = -x**3 - x**2 + 4*x. Let p be s(-3). Let k = 1 + p. Is k composite?
False
Suppose -4*a - 4198 = -5*v, 3*a + 2520 = 2*v + v. Is v prime?
False
Suppose 2*t - 4*r = -16, -4*r = -5 - 15. Suppose t*h + 1 = 21. Is 5/(-1)*(-44)/h a composite number?
True
Let u(a) = -a + 2. Let m be u(8). Let v(o) = 13*o**3 - 5*o**2 - 21*o + 11. Let b(i) = 3*i**3 - i**2 - 5*i + 3. Let d(x) = -9*b(x) + 2*v(x). Is d(m) composite?
False
Let h(o) = -o**2 - 15*o - 6. Let l(d) = d**3 + 9*d**2 + 2*d + 11. Let c be l(-9). Let x be h(c). Let p = 71 - x. Is p prime?
False
Let v(r) = -5*r**3 - 4*r**2 - r + 5. Is v(-4) a composite number?
True
Is 2/9 + (-5270)/(-18) a prime number?
True
Let i = 6 - 9. Let x(s) = -s**2 - 5*s - 4. Let o be x(i). Suppose -c - o*y - 3*y + 71 = 0, -c + 71 = -y. Is c composite?
False
Suppose -2*y - 2 = -y, -2 = 2*q + 3*y. Suppose -3*z - q*d + 1 = -10, -4*z = 2*d - 14. Is z a composite number?
False
Let d(y) = 2*y**3 - 6*y**2 - 3*y - 6. Suppose -2*l = 3*l - 25. Is d(l) composite?
False
Is 4/(-6) - 3059/(-21) a prime number?
False
Suppose -37*w + 6341 = -36*w. Is w a prime number?
False
Let i be ((-920)/(-4) - 0) + 0. Suppose -2*l = 2*l + 556. Let m = l + i. Is m a prime number?
False
Let f = -6 + 6. Let t be 57 - (-1 + 3 + f). Suppose -4*i - t = -5*i. Is i a prime number?
False
Let c(b) = b**2 - b - 2. Let l be c(-2). Suppose l*p - 20 - 4 = 0. Suppose -5*w + 283 = -4*k, 2*k - p*k = 3*w - 189. Is w a prime number?
True
Suppose 0 = -6*g + 2*g + 4*c + 4344, 5*c + 4343 = 4*g. Is g a composite number?
False
Let l = 5 - 1. Suppose l*d + p - 2 = 0, -3*d + 4*p = -d + 8. Suppose -157 = -n - d*n. Is n prime?
True
Let q(z) = z**3 + 14*z**2 + 13*z + 6. Let l be q(-13). Is 1042/l*3/1 composite?
False
Suppose q - 31 = 8. Is -2 - (-2 - (-2 + q)) composite?
False
Suppose 2*v + 3*v = -470. Let l = v + 255. Is l a prime number?
False
Let t = 781 - 150. Is t composite?
False
Let w(t) = -15*t - 6. Let q(z) = -16*z + 1 - 9 + 1. Let n(b) = -3*q(b) + 4*w(b). Is n(-3) a composite number?
True
Suppose -3*y + 1003 = j + y, j = 3*y + 1010. Is j prime?
False
Let p(k) be the first derivative of k**3/3 + 5*k**2/2 + 6*k + 2. Let q be p(-4). Is 127 + (0/(-3))/q a composite number?
False
Suppose h + 5*t = -1 + 26, 5*h + 5*t - 85 = 0. Let k be (-4)/6 - (-55)/h. Suppose 0 = s + 2*w - 45, k*w - 53 + 3 = -s. Is s composite?
True
Suppose 3*k - 10 - 2 = 0. Suppose 7 = k*d + 5*g, d = -d - g + 5. Suppose -v + 386 = 3*v - d*u, -u + 93 = v. Is v a composite number?
True
Suppose 0 = -3*w + 2*w + 5, -2*x + 15 = w. Suppose x*l - y = -257 - 189, 5*l = 2*y - 447. Is 0/(-2) + 0 - l composite?
False
Suppose 4*s = 3301 - 561. Is s a composite number?
True
Is (1636 - ((-16)/2 + 4)) + -3 a prime number?
True
Suppose -118 = 5*x - 553. Let l = 185 - x. Suppose -2*p = 3*v + 18 - l, 72 = 2*p - v. Is p composite?
False
Let u = 101 - 56. Suppose -x - 48 = -3*c, 0*c - 4*c = 5*x - u. Let b = c + -5. Is b composite?
True
Suppose 220 + 49 = i. Is i prime?
True
Suppose -8 = -s + 4*s - d, -4 = -s + 2*d. Is ((-557)/s)/(6/24) prime?
True
Suppose 0*g - 2*g - 112 = -3*t, 2*g - 2*t + 108 = 0. Let b = -3 - -8. Let n = b - g. Is n composite?
True
Let f(c) = -24*c - 5. Is f(-2) a composite number?
False
Let o be (-2)/1 + (-10)/(-2). Let v(j) = -50*j + 2. Let w be v(o). Is w/2*(-1)/2 prime?
True
Let n be 1 - (1 + (-3 - -1)). Let k be (n + (-6)/(-9))*-3. Let c(h) = -5*h + 3. Is c(k) a prime number?
True
Is (53 - 0)/((-9)/(-45)) a composite number?
True
Let d(v) = -v**3 + 14*v**2 - 10*v - 4. Is d(13) composite?
True
Let n(p) = -259*p - 1. Is n(-2) a composite number?
True
Let v be ((-1)/(-3))/(2/(-6)). Let o(j) = -j**2 - 10*j + 15. Let h be o(-11). Let m = v + h. Is m prime?
True
Let v = -1106 + 2113. Is v prime?
False
Let x = 103 - 48. Is x a prime number?
False
Let p = -1006 - -1425. Is p a prime number?
True
Let k be (-2841)/(-9) - 2/(-6). Suppose -4*l + k = -0*l. Is l prime?
True
Let x = 275 - 148. Is x a prime number?
True
Let j = 636 + -227. Is j composite?
False
Suppose -5*c = 97 + 43. Is (-428)/c + (