3 a composite number?
True
Suppose -9*o + 1916 = -5*o. Is o a prime number?
True
Let n = -9 + 121. Suppose -k + 5*k = -n. Is 2/(-7) + (-1072)/k prime?
False
Suppose -1333 - 68 = -3*l. Is l a prime number?
True
Suppose -2*x + 425 = -m, -x + 146 + 77 = -4*m. Is x a prime number?
True
Let l(o) = -o + 6. Let r be l(6). Suppose -4*c + 8 = -r. Is c/(-3)*999/(-18) a composite number?
False
Suppose 3*s - 4*s = -323. Is s a prime number?
False
Suppose 5*p = -2*p + 406. Is p composite?
True
Let c(v) = -3 + 0*v + 0*v + 0 + v. Let w be c(4). Suppose 4*s - 73 = h, w = -3*h + 10. Is s a composite number?
False
Let x(c) = 80*c + 11. Is x(6) composite?
False
Suppose -y + 7*d + 2461 = 8*d, 2*d = 4. Is y a composite number?
False
Let o = -119 + 268. Is o composite?
False
Let i = 0 - 1. Let z = i + 3. Is (-1)/(z - (-39)/(-18)) composite?
True
Suppose 4*y = -y. Let q(g) = y*g + g + 23 + 28. Is q(0) a prime number?
False
Suppose 0 = -4*u - 2*k + 18334, 5*k = -5*u + 9*u - 18327. Is u composite?
False
Let a(p) be the second derivative of p**4/4 - p**3/6 - p**2/2 - 2*p. Let r be a(-1). Suppose -3*t + 401 = 5*d, 0 = -r*d - 4*t + 111 + 134. Is d prime?
True
Suppose -4*m = 5*d - 2923, -5*d = 3*m + 693 - 3619. Is d prime?
True
Suppose 4*f - 13 = 5*s - 2278, 10 = -2*f. Is s a prime number?
True
Suppose q - 84 = -10. Is q prime?
False
Let n(a) = a**3 + 9*a**2 + 5*a - 9. Let w be n(-8). Let z = w + -5. Is 6/z - (-904)/10 a composite number?
True
Let t = 26 + 3. Suppose -4*r = -27 - t. Is r a composite number?
True
Let o(b) be the second derivative of -23*b**3/6 + b**2 + b. Let m be o(-4). Suppose 2*t = m + 16. Is t a prime number?
False
Suppose 4 + 36 = -w. Let q be ((-2)/1 - -1)*-59. Let s = q + w. Is s composite?
False
Let a(x) = x**2 - 5*x - 3. Let f be a(6). Suppose -8 = -f*w - y, -1 = -w + y + 3. Is 3/(3/13)*w composite?
True
Suppose -2*i + 3 + 5 = 0, 5*b - i - 10811 = 0. Suppose -b = h - 4*h. Is h a composite number?
True
Suppose 4*i - 5*y - 1837 = 0, 7*y = i + 4*y - 461. Is i a prime number?
False
Let m = 16 + -6. Suppose -o + i + m = 4*o, 0 = -5*o + 3*i. Suppose -318 = -4*d - 2*p, -234 = -3*d - 0*p + o*p. Is d a prime number?
True
Suppose -r + 2*u + 237 = 0, -2*r + 454 = -u + 2*u. Let m = 522 - r. Is m composite?
False
Is (-21)/(-14)*(-1042)/(-3) a composite number?
False
Let u = -2774 + 6139. Is u a composite number?
True
Let w(p) = 189*p**2 + 5*p + 1. Is w(-3) prime?
False
Let d(o) = -13*o + 83. Is d(0) a composite number?
False
Let k(x) = -3*x**3 + 7*x**2 + 5*x - 4. Let o be k(6). Let g = -207 - o. Is g a composite number?
False
Let k(w) = w**2 + 7*w - 7. Let u be k(-10). Is (u*-3)/(-3)*1 a composite number?
False
Let x = -49 - -72. Let b = 54 - x. Is b composite?
False
Let h = 34 - 64. Let v = -17 - h. Is v a composite number?
False
Let x be (7 - 6)/(2/(-76)). Let h = 111 - x. Is h a composite number?
False
Let z = 3 + -2. Suppose 4*u = 3*y - 1, 8*y = 4*y + 5*u + z. Let t = y + 3. Is t a prime number?
True
Let m = 144 - -622. Is m a composite number?
True
Let w = 3 + 34. Suppose -w - 97 = -g. Is g composite?
True
Suppose u - q - 91 = 0, -5*u + u + 5*q = -361. Suppose 0 = 5*r - u - 51. Suppose -2*c + r = -45. Is c composite?
False
Let g = 489 + -78. Is g a prime number?
False
Suppose -3*i = -6*i - 5925. Is i/(-15) + (-4)/6 prime?
True
Let t(l) be the first derivative of l**3/3 - 2*l**2 + 2*l + 2. Is t(-7) a prime number?
True
Let u(z) = -118*z - 9. Is u(-5) a composite number?
True
Let a be 166*(-2)/(-4) + 3. Suppose 4*h - a = 2*h. Is h prime?
True
Is 2/((-5)/((-260)/8)) a prime number?
True
Let q be (-2299)/(-4) - (-2)/8. Suppose q = 6*o - o. Is o a prime number?
False
Is (-5 - (-156)/(-9))/((-1)/21) composite?
True
Suppose 3*n - v = 12, v = 4*n + 6*v + 3. Suppose -3*i + 2*c - 2 + 79 = 0, n*i + 4*c = 53. Is i a composite number?
False
Let i = 132 + 100. Let o = 5 - 5. Suppose 2*f - n - 121 = -4*n, o = 4*f + 4*n - i. Is f composite?
False
Let w = -12 + 15. Suppose 3545 = 5*q + 2*p, w*q + 3*p - 6*p = 2127. Is q composite?
False
Suppose 15 = 3*w, 5*m + w + 619 = 3609. Suppose k = 2*i + 199, 3*k - 2*i - m = -i. Is k a composite number?
False
Let r(i) = -15*i**3 + 0*i - 17*i**3 - 3 - 2*i. Is r(-2) a prime number?
True
Suppose -5*l - 24 = 6. Is l/33 + (-959)/(-11) composite?
True
Suppose 2*t - 4031 - 1407 = 0. Is t a composite number?
False
Let g(x) = -x**2 + 3*x + 3. Let w be g(3). Suppose 184 = w*a + 2*m, -33 = 3*a - 4*a + 5*m. Is a a prime number?
False
Let y(l) = l**2 - 4*l + 2. Let s(q) = 4*q**2 - 12*q + 5. Let g(c) = 3*s(c) - 8*y(c). Let r be g(5). Let z = -54 + r. Is z composite?
True
Is -3 - (-35 - 2) - -4 a prime number?
False
Let j(p) = -2*p**2 + p + 1. Let g be j(-1). Let r be g/4 - (-51)/6. Let o = r + -5. Is o a composite number?
False
Let o(r) = 2*r**2 - r + 2. Let a(j) = -2*j**3 - j**2 + j + 1. Let t be a(-2). Is o(t) a prime number?
True
Let c(v) = 3*v**3 + 6*v - 2. Let w be c(4). Let l = w - 37. Is l prime?
False
Let o be 3 - -5*6/(-15). Let v(r) be the second derivative of 7*r**5/10 + r**4/12 - r**3/6 + r**2/2 - r. Is v(o) a prime number?
False
Let b(m) = 5*m**3 - 7*m**2 - 4*m + 3. Let d(p) = -6*p**3 + 7*p**2 + 4*p - 3. Let h(l) = 5*b(l) + 4*d(l). Is h(8) composite?
True
Let a(r) = 7*r**2 + 14*r - 30. Is a(14) a prime number?
False
Suppose 0 = -5*s + 2*s - 648. Let m = -137 - s. Is m a prime number?
True
Is 2/(-4) + 895/2 + 2 prime?
True
Let c(u) = -93*u - 52. Is c(-7) prime?
True
Let z be (-9 - 0)*(-2772)/27. Suppose 476 = 2*o - 5*m, -o = 3*o + 4*m - z. Is o a composite number?
False
Let u(g) = -g**3 - 9*g**2 - g - 2. Let r be u(-9). Let t be (3/(-2) + 1)*-8. Suppose -r*p + t*p + 291 = 0. Is p prime?
True
Let p = 103 + -21. Is p composite?
True
Let m(b) = 1 - 4 + 2*b**2 - b + 2 + 3*b**2. Is m(-2) a composite number?
True
Let o(b) = 73*b + 34. Is o(13) prime?
True
Let g(f) = 85*f + 4. Let w be g(-3). Let m = w + 670. Is m composite?
False
Suppose a - 3*a = -5*x + 1934, 0 = -x - 3*a + 397. Suppose -2*k - 2*g = 2*g - 206, -4*k + x = 2*g. Is k prime?
False
Suppose -2*t = -2*z + 1166, -2915 = 2*z - 7*z - t. Is z a prime number?
False
Let q(g) = 636*g**2 + 3*g + 2. Is q(-1) prime?
False
Let b(a) = 14*a + 1 - 6*a + 14*a + 20*a. Is b(3) a composite number?
False
Suppose -1 = -5*t - 5*x - 31, 3*x = 5*t + 14. Let q be 2/t - (-6)/12. Is q + -19*7*-1 a composite number?
True
Suppose 4*r + 97 = a, -3*r = a - r - 79. Is a prime?
False
Let j(z) = -z**3 - 7*z**2 - 3*z + 3. Let m be j(-4). Let g = -20 - m. Is g composite?
False
Suppose 5*s - 1027 = -2*y, -4*y - 2*s + 2087 = -3*s. Is y prime?
True
Suppose -1748 = -4*q - 5*s, 1311 = 3*q - 0*s - s. Is q a prime number?
False
Let p(v) = 25*v**2 + 3*v + 1. Is p(-3) composite?
True
Suppose -2*g + 3*g = 3. Suppose -o - g*o + 276 = 0. Let a = 136 - o. Is a prime?
True
Let i(w) = 3*w**2 - 2*w - 17. Is i(8) composite?
True
Let p(m) = 19*m - 5. Let s be p(6). Let h = s + -62. Is h a prime number?
True
Suppose -5*h = -h - 40. Let v be (h/3)/(2/15). Suppose -130 = -3*c - v. Is c prime?
False
Let j(o) = 499*o**2 - 2*o + 2. Is j(1) a composite number?
False
Suppose 5*x = 225 + 1600. Is x a prime number?
False
Let w = 1 + 1. Suppose -w*n + 103 = 3*g, g - 2*n - 49 = n. Is g composite?
False
Suppose 0 = 3*f - 2*a - 32, 5 = -9*a + 4*a. Suppose 2 = y - f. Suppose 2*u - 50 = y. Is u prime?
True
Let z(i) = -i**2. Let u(f) = 5*f**2 + 4*f - 4. Let c(b) = u(b) - 4*z(b). Is c(3) a composite number?
False
Let p = -213 - -358. Is p composite?
True
Let t = 4 + 0. Suppose -t*k = -26 - 58. Is k a prime number?
False
Suppose 0 = -4*f + 29 + 7. Let n(s) = s**3 - 9*s**2 + s + 12. Is n(f) a prime number?
False
Let w = 6 - 8. Let v = 0 + w. Is 5/((-5)/(-48)) + v a prime number?
False
Let q be 1/(-2)*(-3 - -1). Let f be 2 - (9 - 2/q). Is (-2)/f - 189/(-15) a prime number?
True
Let h = 87 + -40. Suppose -i = -8 - h. Is i prime?
False
Suppose 2*p + 0*d = 3*d - 2, -36 = -4*p - 4*d. Suppose p*x + 4*i - 2*i - 395 = 0, 4*x - 288 = 4*i. Is x composite?
True
Let k be ((-10)/4)/((-1)/6). Let u = k - 5. Is u prime?
False
Is (-3)/(-21) - (-3940)/7 a composite number?
False
Let s(a) = a + 10. Let u be s(-14). Is -10*(u + (-58)/4) a composite number?
True
Let l = -102 + 56. Let a = l - -251. Is a composite?
True
Suppose -5*u + 258 = -32. Suppose 4 = l - 14. Su