True
Suppose -3*v + 7*v - 2*k = 1794, -3*v - 2*k + 1363 = 0. Is v a prime number?
False
Suppose 0*x - 1398 = -2*x. Is x a prime number?
False
Suppose -21*w + 19365 = -6*w. Is w a prime number?
True
Let f = -22 + 31. Suppose 2*k - 818 = -2*p, -f = -3*p - 3. Is k a composite number?
True
Suppose 37 + 31 = f. Suppose 2*n = 104 + f. Suppose n - 3 = r. Is r a prime number?
True
Is (-63)/(-6)*(-20)/(-6) composite?
True
Suppose 0 = 5*c - 9*c + 92. Is c composite?
False
Suppose -2*z - 25 = -7*z. Suppose -3*l = -z*j - 10, -5 = -3*l + l + 5*j. Suppose -l*v + 204 + 61 = 0. Is v prime?
True
Suppose -2*m + 4429 + 4761 = 0. Let r be m/25 - 2/(-10). Suppose -3*l + 77 + r = 0. Is l a composite number?
True
Suppose -3*i - 27 = -4*o, 3*o + i - 13 = -4*i. Let q(r) = -236*r. Let h be q(-1). Is (h/(-6))/(o/(-9)) a composite number?
False
Let m = 59 + -29. Suppose -47 - m = -y. Is y composite?
True
Suppose 0 = 7*s - s - 690. Is s composite?
True
Is 5*(131 + 0/5) a prime number?
False
Suppose 4*u - 2676 = -8*u. Is u a prime number?
True
Suppose 5*t - 23 = r, -5*r = -3*r - 4*t + 16. Let w(k) = 30*k - 3. Let y be w(r). Let j = y - 26. Is j prime?
True
Suppose -5*a + 4 = -6. Is 204/18 + a/(-6) a prime number?
True
Let n = 1681 - 524. Is n composite?
True
Suppose 0 = 3*d + 102 - 513. Let p(l) = -6*l - 1. Let g be p(-1). Suppose 0 = -g*u + 25, f + 4*u - d = -2*f. Is f a prime number?
False
Let n = 348 + -191. Is n prime?
True
Let v(f) = -f**2 + 5*f - 2. Let r be v(5). Is (-192)/r - (11 - 12) a prime number?
True
Let c = -12 - -58. Is c prime?
False
Suppose -3*n = 3*n - 1146. Is n prime?
True
Suppose -4*p + 351 = -13. Is p a composite number?
True
Let q(l) be the second derivative of -5*l**3 + l**2/2 + 5*l. Is q(-3) composite?
True
Let u(w) = -56*w - 29. Is u(-6) prime?
True
Suppose 4*x = -5*j + 3*x + 730, -740 = -5*j + x. Let c = -32 + j. Is c composite?
True
Let d be 12*(0 + 1/(-2)). Is -3*(260/d + 1) a prime number?
True
Let n(o) = -o**2 + 5*o + 5. Let r be n(6). Let a = 4 + r. Is (-2)/a - (-118)/6 prime?
True
Let g = -22 - -37. Let l = 34 - g. Is l prime?
True
Suppose 0 = 3*t - 35 - 34. Is t composite?
False
Let d(c) = -3*c + 26. Is d(-9) a composite number?
False
Let x = 21 - 48. Suppose -186 = 4*p - p. Let s = x - p. Is s a composite number?
True
Let t(b) = -41*b**3 + b**2 + b + 1. Is t(-2) a composite number?
False
Suppose 0*g = 5*g - 4*i + 2, 4*g + 12 = -2*i. Is ((-8)/24)/(g/204) prime?
False
Let n = -62 - -177. Is n a composite number?
True
Suppose 3*u - 2*h - 397 = 468, -3*h - 1152 = -4*u. Is u prime?
False
Let m(c) = -3*c**2 + 3*c + 6. Let g be m(-5). Let o = g - -203. Is o prime?
False
Let f = 460 - 56. Let h = f + 83. Is h a prime number?
True
Let l(u) = u**2 - 1. Let h be l(-3). Let v be (-2)/8 + 3682/h. Suppose -q + v = 4*i - 4*q, -115 = -i + 5*q. Is i a prime number?
False
Let h = -16 - -35. Suppose 2*s = c - h, 40 = 5*c + 4*s - 69. Is c a composite number?
True
Let o = 412 + -201. Is o prime?
True
Let o be -1*3/(2 - -1). Is -2 - ((-2 - 38) + o) composite?
True
Let g(p) = -p + 2. Let q be g(-2). Suppose 17 + 251 = q*m. Is m a prime number?
True
Is (6/12)/(1/382) prime?
True
Let n = 168 - -62. Suppose 5*r = -n + 755. Is r/(-10)*4/(-6) a prime number?
True
Is -2*109*12/(-24) composite?
False
Let y(b) = -b**3 + 2*b - 1. Let t be y(1). Suppose t = -0*q - 3*q + 531. Is q prime?
False
Suppose -5*w + 3075 = 5*b, w + 0 = 1. Is b composite?
True
Suppose -s + 3*w + 143 = 0, -5*s - 4*w = -6*w - 715. Is s a prime number?
False
Let j = -8 + 8. Suppose 5*d + j*a - 1825 = 2*a, -2*d + 724 = -2*a. Is d a prime number?
True
Is 1*-3 + (-6924)/(-6) prime?
True
Let v(f) = -34*f**3 + 15*f**3 + 2 - 6*f**2 + 17*f**3. Let q(c) = c**2 - 8*c + 8. Let g be q(6). Is v(g) a composite number?
True
Let v(j) = 7*j + 5. Let h be v(4). Let t = 70 - h. Is t a prime number?
True
Suppose 5*i = -3*v - 2, 4*i + 2 = -4*v - 6. Let x be (-2 + i + -1)*-1. Let r = 2 + x. Is r composite?
False
Let v = -132 - -277. Is v a prime number?
False
Let p(v) = 5*v**3 + v - 1. Let m be p(1). Suppose -3*o - 4*s + 249 = 0, m*o + 5*s - 608 = -193. Is o a prime number?
True
Let t(m) = m**2 + m + 4. Let r be t(0). Let q(s) = 105*s**3 + 7*s + 7. Let k(b) = -53*b**3 - 4*b - 4. Let i(z) = r*q(z) + 7*k(z). Is i(1) composite?
True
Let n be (-4)/(-10) + 208/(-20). Let r(m) = -2*m - 4. Let f be r(-3). Is ((-88)/20)/(f/n) composite?
True
Suppose 3*r - 4*r = t + 1, -5*r = 2*t - 4. Suppose r = 2*o - 6. Suppose -o*v + v + 21 = 0. Is v composite?
False
Let k be -2 + 1 + 1 - -11. Suppose 0 = -5*r + 4 + k. Suppose -3*h = -5*c - 68, 58 = r*h - h + 3*c. Is h composite?
True
Is (-21054)/(-24) + 9/12 composite?
True
Let x(n) = -n**3 + 4*n**2 + 4*n + 7. Let k be x(5). Suppose -2*l = -5*q + k + 7, -l = -2*q + 3. Is -1 + (6/l - -50) a composite number?
True
Let h(d) = 2*d**3 - 3*d**2 - 5*d + 7. Is h(5) a composite number?
False
Suppose -6*p + 2*p + 444 = 0. Is p prime?
False
Suppose -2*w + 2*l = -132, 7*w - 2*w = -2*l + 316. Suppose 12 - w = -4*t. Is t a prime number?
True
Let x = -7 - -27. Let v = 45 - x. Is v prime?
False
Let g(y) = 9*y + 4. Suppose 0 = 2*r - 16 + 4. Is g(r) a composite number?
True
Let i(q) = -q**3 + 8*q**2 + q - 4. Let s be i(8). Let l = 15 + s. Is l a prime number?
True
Suppose 2*w + 2 - 1092 = 0. Is w a composite number?
True
Let o = 360 - 137. Is o a prime number?
True
Let u(s) = s**3 + 5*s**2 + 5*s + 2. Let w be u(-4). Let q be w - 3 - (-3)/(-3). Let y(b) = b**2 - 2. Is y(q) composite?
True
Suppose 2*z = -4*a + 208, -4*z + 2*a + 3*a = -364. Let r = 281 - z. Is r a composite number?
True
Let p be (-4)/(-3)*(-3)/(-2). Let j be (-1)/(-1) + -2 - -96. Suppose -3*i - p*i = -j. Is i composite?
False
Suppose -51 - 231 = -2*d. Is d a composite number?
True
Let g = 3 - 1. Is (3/g)/((-12)/(-56)) composite?
False
Suppose -2*a + 1 = -o - 1, 0 = -5*a - 4*o - 8. Suppose a*j - 10 = -2*j, -4*q - 4*j = -616. Is q composite?
False
Suppose 4*o - 4*q + 72 = 0, 0 = 2*o - 3*o - 2*q - 30. Let n = 43 - o. Is n a prime number?
False
Let s(t) = 10*t**2 - 30*t + 46. Let y(u) = 2*u**2 - 6*u + 9. Let d(j) = -2*s(j) + 11*y(j). Is d(6) a prime number?
True
Let r(z) = 837*z - 50. Is r(5) a composite number?
True
Let l = -3 - -7. Suppose l*h = 5*r - 445, 3*h - 28 = -2*r + 150. Is r a composite number?
False
Let b be 3/(1 + 2) - -59. Let c = b + 9. Is c composite?
True
Suppose 2*u - 1 = 5. Let i(q) = -8*q**2 + 9*q - 2. Let l(m) = -24*m**2 + 26*m - 6. Let a(f) = 11*i(f) - 4*l(f). Is a(u) a prime number?
True
Let s be -9*((-24)/(-9) - 2). Is 15/(-10)*28/s a prime number?
True
Let a = 226 - 38. Let o = a + -99. Is o a composite number?
False
Let n = 21 - 254. Let s = -159 - -5. Let y = s - n. Is y composite?
False
Let w(u) = 4*u**3 + u**2 - u + 1. Let j be w(1). Suppose 3 = 3*t - 9, 3*a - 29 = -5*t. Suppose -j*l + 108 = a*v, -l + 47 = l + 5*v. Is l composite?
True
Let s(o) = 12*o - 4. Let c be s(2). Let f = c + -13. Is f a prime number?
True
Suppose 0 + 10 = 5*u. Suppose u*p = -0*p + 38. Is p composite?
False
Suppose -g - 3*k = 7, 0*g - 5*k = -g + 17. Suppose -2*r + g*n + 364 = r, 5*n - 5 = 0. Is r prime?
False
Suppose 7 = 3*q - 5. Let j = 4 - q. Suppose 0 = 3*c - j*c - 21. Is c a prime number?
True
Suppose -a + 253 = -6. Suppose 4*m = -w - 496, w - a + 5 = 2*m. Let x = m + 219. Is x composite?
True
Let a = -7 + 11. Suppose 4*u = a + 20. Suppose 3*n + 9 = 0, 2*s - u*n + n = 89. Is s prime?
True
Suppose 4*d + 0*d - 1660 = -2*y, -3*y + 838 = 2*d. Is d prime?
False
Let a be 2166/15 - (-4)/(-10). Let s = -67 + a. Is s composite?
True
Let o(h) = 2*h**2 - 9*h + 8. Let d be o(6). Let y = d - 11. Is y a prime number?
False
Suppose 5 = 2*s + 3*s - 5*v, -2*v = 3*s - 23. Suppose 2*y = s*y - 447. Is y prime?
True
Suppose 4*a - 37 + 177 = 0. Let t be 249/(-12) - 2/8. Let z = t - a. Is z a prime number?
False
Let x(k) = -6 - k - 2 + 1. Let r be x(-7). Suppose r*n - 3*n + 102 = 0. Is n composite?
True
Let l be (-30)/(-25)*20/3. Suppose 3*r = -0*q + 2*q - 22, -r - 4 = 0. Let n = l - q. Is n a composite number?
False
Suppose -a + 127 = 4*z, 2*z - a = -z + 104. Is z/(-2)*6/(-9) composite?
False
Let t(q) = 15*q**3 + 2*q**2 - 2*q + 1. Let z be t(1). Let s = z - -17. Is s composite?
True
Suppose 3*a - 70 = -v, 4*a - v - 80 = v. Suppose 3*t - 469 = -a. Is t a prime 