o = 3*m - 8583, 3*m = 4*o + o + 8583. Is m a prime number?
True
Suppose 7*a + 45 = 3*a - 5*w, -4*a = -4*w. Let q(m) = -6*m + 7. Is q(a) a prime number?
True
Let j(b) = b**3 + 7*b**2 + 4*b + 7. Let l(a) be the second derivative of -a**5/20 - 7*a**4/12 - 3*a**2 + a. Let o be l(-7). Is j(o) prime?
True
Let p be -2*(39/(-2) - 2). Suppose 0 = -w - 4*y + 95, w - 2*y - p = 40. Suppose -v - 2*j = -w, 0 = -2*v + 6*v - 5*j - 400. Is v a composite number?
True
Is (321/4)/((-48)/(-128)) a composite number?
True
Suppose -2*m = -237 + 35. Let t = 220 - m. Is t a prime number?
False
Let g(m) = 2*m**2 + 3*m. Let t be g(-5). Let d = 3 + -2. Suppose d + t = 4*p. Is p a composite number?
True
Let p(f) = -73*f + 19. Is p(-10) a composite number?
True
Let b = -12 + 15. Suppose 0 = -c - b*s + 364, 5*s + 1740 + 180 = 5*c. Is c prime?
True
Suppose x - 2 = 1. Suppose 4*o - x*o - 19 = 0. Is o a composite number?
False
Suppose -4*q + 23 = -17. Let a = q - 2. Suppose -a = -2*f + 34. Is f prime?
False
Suppose 2*t - 4 = 0, 4*g - 806 = 5*t - 2*t. Is g prime?
False
Let p be (2 - -2) + (-1 - -2). Suppose -5*y = -p + 25. Is y/(-8) - (-22)/4 composite?
True
Let q(n) = -n**3 + 16*n**2 - 11*n - 1. Is q(14) prime?
False
Let g = 9 - -18. Suppose 9 + 3 = -2*c. Is c/g - 130/(-18) a composite number?
False
Suppose -2*u - 15 = -5*d - 7*u, -5*d + 39 = -u. Suppose 0 = x - 8 - d. Is x a composite number?
True
Suppose -3*z - 3*a = -39 - 684, 741 = 3*z - 3*a. Let m = z - 101. Is m prime?
False
Let q = 561 + -375. Suppose 125 = 2*w + 3*o, -5*o + q = 3*w - 0*o. Is w a composite number?
False
Suppose -21*v + 16*v + 485 = 0. Is v prime?
True
Suppose -2*f + 1 = -7. Suppose -2*u + 2*y = 0, 2*u - y = -2 + f. Is (u/(-3) + 0)*-39 a prime number?
False
Let q = 123 + 4. Is q a prime number?
True
Let f = 422 - 289. Is f a composite number?
True
Suppose 262 = -l + 2*l - 3*u, 2*u + 1018 = 4*l. Is l a composite number?
True
Let k(z) = z + 1. Let d be 0/((0 - 2)*-1). Suppose d = y + 1 - 3. Is k(y) composite?
False
Suppose 6*z = 2*z + 3*d + 3191, 0 = -4*z - 3*d + 3185. Is z prime?
True
Let x(a) = -a - 4. Let t be x(-6). Suppose -t*n = 3 - 63. Is 6/4*2 + n a prime number?
False
Let a = -32 - -53. Suppose -50 = -5*c - 2*u - 2*u, -c - 2*u + 10 = 0. Let h = a - c. Is h composite?
False
Let z(t) = -50*t**3 - 3*t**2 + 11*t + 23. Is z(-5) a prime number?
True
Let a = 41 - -17. Is a a composite number?
True
Suppose 8*b - 5*b = 0. Let v be -456 + (5 - b) + -2. Let h = 640 + v. Is h composite?
True
Suppose 5*h - 5*d = 55, -3*h + 40 = 2*h - 2*d. Let o be (51/3)/((-2)/h). Is (o/2)/(6/(-8)) prime?
False
Let j(n) = n**2 - 5*n - 10. Let a be j(7). Suppose 11 = 2*r + 4*o - 3, a*r - o - 64 = 0. Is r a composite number?
True
Suppose 0*q - 12 = 3*q. Is (-23)/1*8/q a composite number?
True
Is (-62)/(-8)*-2*-2 composite?
False
Is ((-10)/(-15))/((-6)/(-7983)) a prime number?
True
Suppose c - 90 = 457. Is c prime?
True
Suppose -2*w + 2*f = -2118, f - 3157 = -3*w - f. Is w composite?
True
Let o be ((-100)/(-15))/(2/3). Suppose -5*z - l - o = -141, 4*l + 126 = 5*z. Is z a prime number?
False
Let i(o) = 2*o**2 + 3*o - 5. Let b(q) = q**2 - 7*q + 4. Let z be b(6). Let c = 6 + z. Is i(c) a composite number?
True
Let s(z) = -1561*z + 2. Is s(-3) prime?
False
Let q(p) = -p**2 + 4*p - 3. Let u be q(4). Let h = -3 - u. Suppose g + 2*g - 105 = h. Is g a composite number?
True
Suppose -3*n + n - 2*t = -2, -2*t = -5*n + 19. Suppose -4 = -n*i - i. Is 1*i*(1 - -36) prime?
True
Suppose 2593 = 2*o + 3*i - 6462, -2*i + 4525 = o. Is o a prime number?
False
Let c(t) be the second derivative of 43*t**3/2 + t**2 + 4*t. Is c(1) composite?
False
Let t = -43 - -136. Let d be -57 + (-2 - (-5 + 2)). Let j = t + d. Is j prime?
True
Suppose 2*t - 3 = 7. Suppose -418 = -t*j - 33. Is j composite?
True
Suppose 9*w - 6*w = 0. Suppose -4*v + d + 74 = w, -2*v - 5*d = v - 67. Is v a prime number?
True
Let w be 1*3 - (-2 - -3). Suppose 47 = w*z + 5. Is z a prime number?
False
Let w(p) = -36*p - 3. Suppose 0 = -n - 2. Let c be w(n). Is c*(-1 + -2 + 4) prime?
False
Suppose -2*k - a = 3*k + 92, -2*a = -3*k - 50. Let x = 37 - k. Is x a composite number?
True
Let d = 12 + -7. Let v(c) be the third derivative of c**5/6 + c**4/24 + c**3/3 + 3*c**2. Is v(d) a composite number?
False
Let t(r) = 16*r**2 + 4*r - 10. Is t(-6) a prime number?
False
Suppose 0*o = 5*o. Suppose -p + 0 - 24 = o. Is ((-222)/p)/((-2)/(-8)) a prime number?
True
Let t = 6 - 34. Suppose 5*o - 18 + 60 = -v, -v - 42 = o. Let g = t - v. Is g composite?
True
Suppose 2*w + 7 = -g + 216, 5*w - 5*g = 500. Let m = 186 - w. Is m composite?
False
Let n(s) = -8*s + 1. Let m be n(-5). Suppose -3*z + m = -o, 3*o - 4 = -3*z + 53. Is z prime?
False
Let w(h) = 86*h**2 + 8*h - 8. Let u be w(6). Suppose 3*g - u = -g. Suppose 0 = -3*d + 4*c + 739, -3*d - 5*c = -0*c - g. Is d prime?
False
Suppose 0 = -m + 11*m - 21030. Is m a composite number?
True
Suppose -1755 = -a - 5*o, -6*a - 3*o + 5241 = -3*a. Is a a composite number?
True
Let p = -124 + 302. Is p a composite number?
True
Suppose 0 = 3*c - 8 + 2. Suppose -22 = -c*f + 4*f. Is 2/f + (-343)/(-11) a prime number?
True
Let o(f) = -f**3 - 3*f**2 - f + 1. Let q be o(-3). Is (-14)/q*(-2 + -2) composite?
True
Is (-2147)/(-7) + (-8)/(-28) prime?
True
Let y(c) = 30*c - 8. Let a be y(6). Let u = a - 5. Is u a prime number?
True
Let g = 70 - 36. Is g a composite number?
True
Suppose 4*k + 221 = z, 2*k + 2*z = -z - 93. Let m(d) = d**3 - 4*d**2 + 11*d - 4. Let h be m(5). Let j = k + h. Is j composite?
True
Let d = 16 + -33. Let m = -12 - d. Suppose 2*x - x - 1 = -3*n, -2*n = m*x - 44. Is x composite?
True
Suppose -5*p = -1045 - 25. Is p a composite number?
True
Let q be (-357)/(-14)*4/3. Suppose 3*p - 365 = q. Is p prime?
False
Let q(x) = -x**3 - 11*x**2 + 14*x - 7. Is q(-13) prime?
True
Is (-3 + (-95)/(-35))/((-2)/9562) composite?
True
Let s = 169 + -11. Is s a composite number?
True
Let c(m) = -m**3 - 7*m**2 - 2*m - 10. Let p be c(-7). Suppose -p*x = -102 - 214. Is x composite?
False
Let c(o) = 8*o**2 - 13*o - 3. Suppose -5*b = 6*i - i - 20, -4*b = -4*i - 16. Let q(w) = -4*w**2 + 7*w + 1. Let s(f) = b*c(f) + 7*q(f). Is s(4) composite?
False
Let u = -34 + 257. Is u a composite number?
False
Let i(x) = -2*x**3 + x**2 - 1. Let z be i(-1). Suppose z = -2*q + 3*q. Suppose -q*d = -14 - 0. Is d composite?
False
Suppose f + 12 = -5*q, -f - 3*q = 3 + 3. Is 27/f - (-8)/(-4) a composite number?
False
Let l be 1*(1 - -1 - -16). Suppose 2*w + 0*w = 2*q + l, -37 = -5*w + 3*q. Let k = w - -2. Is k prime?
True
Let j(f) = f**2 + 7*f + 7. Let i be j(-5). Let l = -6 - i. Is (-9)/l - 5 - -21 a prime number?
True
Suppose -4*y + 7*y - 697 = -4*u, -3*y + 709 = -2*u. Is y a prime number?
False
Suppose 3*t + 3*y + 3851 = 8*t, 5*y - 759 = -t. Is t a prime number?
True
Is (790/(-30))/((-2)/18) a composite number?
True
Suppose -4*w + 2 = -2*f - 4, 0 = 4*w - 3*f - 5. Suppose -w*r = -7 - 1. Suppose 2*s = r*c - 186, c = -2*s - 3*s + 74. Is c a composite number?
True
Let h be 78/12 + (-2)/4. Let u(r) = -r**2 + 6*r. Let y be u(h). Is y + 2 - (-1 + -158) a prime number?
False
Suppose -3 = 3*w - 21. Suppose -3*j + w*j = 6. Is (-548)/(-36) - j/9 a composite number?
True
Let g = 195 - -10. Let j = g - 120. Is j composite?
True
Suppose -s + 9 = r, -10 - 11 = s - 5*r. Suppose -5*n + n + 5*i = -1304, 2*n + s*i - 652 = 0. Is n composite?
True
Suppose -k + 373 = 2*v, 640 = 4*v + k - 103. Is v a composite number?
True
Suppose -3*n + n = -158. Suppose m - 126 = n. Is m composite?
True
Suppose q - 8 = -3*q. Is (-147)/(-3)*q + -1 prime?
True
Suppose -u = -3 - 1. Suppose 0 = -i - u*i + 185. Is i a prime number?
True
Let y be (-26)/5 + 5/25. Is (-1583)/y - (-4)/10 prime?
True
Is (-53400)/(-95) + 2/(-19) a composite number?
True
Let y be (-1 - 3)*50/10. Let h(x) = 40*x - 1. Let m be h(-1). Let o = y - m. Is o a prime number?
False
Let p be 58/18 - (-2)/(-9). Let q(l) = 12*l**3 - 2*l**2 - 5*l - 4. Is q(p) prime?
False
Let l(d) = 17*d**3 + 3*d**2 - 2*d + 1. Is l(2) composite?
True
Suppose 2*y = 3*y. Suppose y = 3*u - 8*u - 65. Let l = 36 + u. Is l a prime number?
True
Is 3 + (0 - (-2 + -248)) prime?
False
Suppose 5*f - 967 = 3*d, 3*f - 3*d = -0*d + 579. Is f a prime number?
False
Suppose -5*t + 579 = 69. Let w = t + -67. Supp