 553 = -939. Is x prime?
True
Suppose -4*n = -3*n - 4*w - 1, 2*n + 2*w - 2 = 0. Let q(o) = 4 - n - 27*o - 2. Is q(-2) a prime number?
False
Suppose 2*h - 135 = s + 363, -5*s - 984 = -4*h. Is h a composite number?
False
Let t be (-9)/((-4)/32*-2). Is 21/(-2)*24/t a composite number?
False
Let l(g) = -19*g - 1. Let u be l(-7). Let o = u - 49. Is o a composite number?
False
Let m be 0/(-2) - (-8)/(-2). Let z = m + 23. Is z composite?
False
Let j(n) = n**2 + n. Let y(u) = -3*u**2 + 6*u + 10. Let r(m) = 5*j(m) + y(m). Let a(p) = p**3 - 5*p**2 - 8*p + 5. Let t be a(6). Is r(t) composite?
False
Let d = -9 - -19. Suppose 5*l + 5*c = d, 0 = -l + c + 4*c + 14. Suppose -3*k - 3*t = -378, -l*k - 3*t + 726 = 221. Is k a prime number?
True
Let q(p) = p**2 + 9*p - 2. Let x be q(-9). Let n be x + 0 + -2 + 5. Is n - (-64 + 0/(-3)) prime?
False
Let x(r) = -r**3 - 6*r**2 + 3*r - 3. Let p be ((-4)/8)/(2/16). Let h = p + -3. Is x(h) prime?
False
Suppose 5*t = c - 156 + 48, -5*c + 428 = 3*t. Let k = -30 + c. Suppose 0 = -4*m + 298 + k. Is m a prime number?
True
Suppose 4*i + i + 45 = -2*s, 0 = 4*s - 3*i + 77. Suppose n = 6*n + 10, -3*n - 16 = h. Let x = h - s. Is x a prime number?
False
Suppose -x - 3*x = 0. Suppose -v = -x*v. Suppose -5*i + 43 = 3*p - 37, 2*i + 10 = v. Is p prime?
False
Let i = 1249 - 464. Is i prime?
False
Suppose 9*v - 2492 = 5*v. Is v composite?
True
Let r(m) = 33*m**2 + 5*m + 9. Is r(-10) prime?
True
Suppose -4*a - a + 1624 = 2*b, -a - 2*b + 328 = 0. Let t = a + -221. Is t a composite number?
False
Suppose 2*w + 118 - 34 = 4*s, 4*s - 5*w = 96. Is s a composite number?
False
Let q(n) = 14*n**2 - 2*n - 2. Is q(3) a composite number?
True
Suppose -3*w + 125 = -10. Let a = 10 + -7. Suppose 4*b = 5*v + a*b - w, -25 = -5*b. Is v a composite number?
True
Let y(g) = -200*g**3 - g**2 + 2*g + 2. Let w be y(-1). Suppose -621 + w = -2*u. Is u a composite number?
False
Let w(y) = -59*y + 1. Let o be w(-1). Let j = 99 - o. Is j a prime number?
False
Suppose 0*f - 5*y = f + 2, 0 = -5*f + 3*y + 18. Suppose f*v - 410 = 1495. Is v composite?
True
Suppose -3*u = -8*u - 140. Let y = u + 42. Is (-4)/(y/6 + -3) a composite number?
True
Let h(b) = b**3 - 7*b**2 + 1. Suppose -48 + 13 = -5*r. Let z be h(r). Is 118/3 - z/3 composite?
True
Suppose 2*v = 5*v + 5*a - 307, 5*v - a - 465 = 0. Is v a prime number?
False
Let g = 1389 - 760. Is g prime?
False
Is ((-12)/4)/3 - -36 a composite number?
True
Let n(i) be the second derivative of 9*i**4/8 - 2*i**3/3 - i**2/2 - 3*i. Let d(w) be the first derivative of n(w). Is d(3) composite?
True
Let n be -2 + -3*18*-2. Suppose -3*s - 12 = 0, -5*m + 5*s + 701 = n. Is m composite?
True
Let m = 163 + -116. Let w = m - -24. Is w composite?
False
Suppose 4*v = j - 533 - 108, -2*j + v = -1282. Is j composite?
False
Suppose -2*m + 3*z = m - 1497, -2*m = -z - 998. Is m a prime number?
True
Let c be 4/1 + 0 - (-1 - -1). Let j(y) = 11*y - 1. Let p(n) = 34*n - 4. Let i(u) = 7*j(u) - 2*p(u). Is i(c) a composite number?
False
Let s(y) = 6*y - 9. Let o(q) = 13*q**2 + 2*q - 2. Let m be o(1). Is s(m) prime?
False
Suppose 4*y + x = 523, -396 = -3*y + 2*x + x. Is y a composite number?
False
Suppose -11 = -5*k - 51. Let j = -4 - k. Let v = j - 1. Is v prime?
True
Let z = 542 + 425. Is z composite?
False
Let m = 1 + 8. Let y = -6 + m. Is (-1 + y)*(-460)/(-8) prime?
False
Is ((-1)/(-1) + (0 - 2))*-1195 a prime number?
False
Suppose 2*j - h - 78 = 0, -5*j + 2*h + 177 = 4*h. Suppose 0 = -5*k, -3*i + j = -k + 121. Is (-2678)/(-14) - (-8)/i a composite number?
False
Let q(g) = -2*g - 13. Let s be q(10). Is (-1 + (s - 3))/(-1) prime?
True
Let p = 166 - 35. Is p a composite number?
False
Suppose -3*y = -2*b - 7, -3*b - 8 = -2*y - 5*b. Let a(x) = 4*x**2 - 4*x - 1. Is a(y) a composite number?
False
Let r(t) = -t - 11. Let l be r(-7). Let c(z) = -z**2 - 4*z - 3. Let x be c(l). Is (-104)/x + (-3)/(-9) a composite number?
True
Let w be (-1)/(-2 - (-15)/9). Suppose 4 = w*c - 2*c. Suppose 2*b + 1 = b + c*u, -3*u = -4*b + 35. Is b composite?
False
Let c(r) = -20*r - 23. Is c(-9) a composite number?
False
Let v = -37 - -228. Is v composite?
False
Let c be (12/6)/((-2)/(-3)). Suppose -c*k + 0*z + 44 = -z, k - 2*z - 13 = 0. Is k a prime number?
False
Let y = 111 - 64. Let i(h) = -6*h + 2. Let g be i(2). Let o = g + y. Is o prime?
True
Let g(s) = 0 - 3*s - 5 - 11*s - 9 - s**2. Is g(-11) a prime number?
True
Suppose 2*g = -g. Is (-388)/(-8)*(2 + g) prime?
True
Suppose -4*c = c - 2525. Is c a composite number?
True
Suppose 4*f = -0 + 16. Let z(x) = 2*x - 5. Let v be z(f). Is -166*((-10)/(-4) - v) a composite number?
False
Let n(s) = -14*s**3 + 3*s**2 - s + 5. Is n(-3) a prime number?
False
Let l = 195 - 108. Let k = 36 + l. Is k prime?
False
Suppose -5*k + 0*g - g = -3147, 5*g = -3*k + 1897. Is k a composite number?
True
Let n be -1*12/(-2 - 1). Suppose n*m - 595 = -m. Suppose 0*a + m = k - a, 2*k - a = 234. Is k a composite number?
True
Let q(w) = -w**3 + 8*w**2 + 0*w**3 + 9*w + 0*w**2 + 9. Is q(7) composite?
True
Suppose 0 = 4*l - 2*l - 94. Suppose -5 = -v - 0. Suppose -5*o = -v*y - 170, 187 = 5*o + 5*y + l. Is o composite?
False
Let g(w) = -16 + 2 + w + 10. Is g(11) prime?
True
Is ((-502)/(-5))/((-34)/(-10) - 3) composite?
False
Let c = 256 - -129. Suppose 0 = -p + 3*m + 47 + 77, 3*p = -4*m + c. Is p composite?
False
Suppose -t + 37 = -2*t. Let f = t + 55. Suppose 3*o + 16 = 2*q, -f = -3*q - 3*o + 21. Is q a prime number?
True
Is 790/(-40)*(-3 - 1) prime?
True
Let a(j) = 30*j**2 - 4*j - 21. Is a(-7) a prime number?
False
Let h(f) = 5*f**2 + 17*f - 89. Is h(15) composite?
False
Let m = 867 - 572. Is m a prime number?
False
Suppose 10 = 4*n + l, 0 = -5*n + 3*l - 0 + 4. Is (236/8)/(n/4) a prime number?
True
Is -7726*(2/(-3))/(4/3) prime?
True
Let t = 1 + 4. Suppose t*h - 624 = h + 5*v, 4*h - 640 = v. Is h a composite number?
True
Let v = -15 - -36. Suppose -2*x + 95 = -v. Is x composite?
True
Let t be (-3)/6 + (-30)/(-4). Suppose -u = -27 - t. Is u a composite number?
True
Suppose -33 - 11 = -2*g. Let w be (-7)/(-4) - 4/(-16). Suppose -5*v + 8 + 38 = 2*a, -w*a + g = -v. Is a prime?
True
Let b(p) = -340*p**3 + 2*p**2 - 1. Is b(-1) composite?
True
Let k = 465 - -424. Is k a prime number?
False
Let f(b) = -b - 9. Let g be f(-6). Let x = g - -6. Is -159*x/(3*-3) a composite number?
False
Suppose -2*x + 8*x = -18. Is (446/(x + 2))/(-2) a composite number?
False
Suppose 1 + 9 = 5*g. Suppose 0 = -g*n + 57 + 211. Is n a composite number?
True
Suppose -5*f + 13 = -2. Suppose f*g + 77 = 2*g. Let c = g + 164. Is c a composite number?
True
Suppose 1370 + 644 = 2*h. Is h a composite number?
True
Suppose -3 = -q, -l + 6*l - 12776 = 3*q. Is l composite?
False
Suppose -2*n = -0*n. Suppose n = 4*x - 4*q - 828, -x - 3*q + 185 = -38. Is x prime?
True
Suppose 239 = w + 62. Suppose 742 = 5*s + w. Is s a composite number?
False
Let w be 1 + (-3)/(3/(-2)). Is (-1)/((w/(-573))/1) a composite number?
False
Let s = 19 + -27. Let a = s + 147. Is a composite?
False
Let b(a) = 50*a + 1. Let y be (-3)/(3*2/(-10)). Suppose -t - t + 2*s = 6, -y*t = -s - 1. Is b(t) composite?
True
Let v(r) = r + 10035. Let l be v(0). Is l/35 + (-2)/(-7) a composite number?
True
Suppose 5*q = 4*q + v + 417, 10 = 5*v. Is q composite?
False
Suppose -4*o - 69 = -q, -o + 198 = 2*q + 3*o. Is q composite?
False
Let y = 2 + -2. Suppose y = -4*a + 16, -3*u - 203 = 5*a - 997. Suppose 2*t - 6*t + u = -5*q, 5*q - 10 = 0. Is t a prime number?
True
Let m(f) = f**3 + 4*f**2 - 10*f - 1. Let c = 9 + -3. Is m(c) a composite number?
True
Is 4330/8 + (-2)/8 composite?
False
Suppose -5*d + 30 = -m, 32 = d - 0*m + 5*m. Suppose d + 1 = -4*a. Is 1/(0 + a/(-28)) prime?
False
Let z = 78 - 52. Suppose -4*k + z = -34. Is k composite?
True
Let m = 5 + 1650. Is m composite?
True
Let p(a) = -3*a**2 - 8*a + 3. Let m = 2 + -8. Let z be p(m). Let j = -24 - z. Is j a prime number?
False
Suppose -4 = -4*j + 4*k, -5*j = k + 3*k - 14. Suppose -z - 8 = -2*t, -t + j = 3*z - 2. Suppose -b + 32 + 3 = z. Is b composite?
True
Let k be ((-2)/4)/((-3)/(-6)). Let y(x) = x + 1. Let n be y(k). Suppose n*o = 5*o - 10. Is o composite?
False
Let d be (-4 - 5)*(-4)/18. Suppose -d*x = q - 45 - 23, 4*x = q - 38. Is q a prime number?
False
Suppose -3*w = 5*u - 3, w + u =