6/8)*-346 prime?
False
Let c(j) = -47*j - 1. Let y(i) = -24*i - 1. Let r(x) = -4*c(x) + 7*y(x). Suppose s = 3 - 1. Is r(s) composite?
False
Suppose -196 = 2*b + 2*b. Let i = -18 + b. Is (i/(-4))/(1/4) a composite number?
False
Suppose -4*b + 7*b - 19137 = 0. Is b a composite number?
False
Let s = 3428 + -2049. Is s composite?
True
Suppose -11*a = -6*a. Suppose -g = -a*g - 451. Is g a composite number?
True
Let x(o) = -35*o + 2. Let i be x(4). Is (-1)/(((-8)/i)/(-4)) composite?
True
Let f = 284 + -194. Suppose -2*p + 725 = 5*r - f, -2*r = -4*p - 326. Is r a composite number?
False
Suppose -3*q - 16 = -4*d - q, 2*d + q = 0. Suppose -d*s + 70 = 3*s. Suppose -g = -63 + s. Is g a prime number?
False
Suppose 16*t - 11*t - 2675 = 0. Is t a composite number?
True
Let f(g) be the second derivative of -21*g**5/2 + g**4/12 + 3*g. Is f(-1) composite?
False
Suppose 2*r = -r - 522. Let f = r + 375. Is f composite?
True
Let z be (-2 - 4/(-2))/(-1). Suppose 0 = y - f - z*f + 18, -30 = y + 3*f. Let k = y + 32. Is k a prime number?
True
Suppose 0 = 2*o - 3*t - 1353, o - 5*t + t - 689 = 0. Is o composite?
True
Let q = -2 + -1. Let g = q - -3. Suppose 0 = 5*f - 2*o + 23 - 80, g = -f + o + 9. Is f prime?
True
Suppose 0*h = -3*h + 1137. Is h composite?
False
Let k = -100 + 1721. Is k prime?
True
Let r be (-60)/(-14) + (-18)/63. Suppose 156 + 6 = 3*w + 3*p, -39 = -w - r*p. Is w a composite number?
False
Suppose -1300 + 16336 = 12*j. Is j composite?
True
Let c(j) = 69*j + 4. Is c(3) composite?
False
Suppose -2*a - 40 = 2*a. Let l be (-26)/a - 4/(-10). Is (2/l)/(6/423) a prime number?
True
Suppose -2*v + 2 = 0, -4 = -a - a - 4*v. Suppose 0 = -5*b + w + 419, a = -b - 5*w + 20 + 43. Is b composite?
False
Suppose 0 = 5*g + f - 9 + 2, -5*g + 2*f + 16 = 0. Suppose 0 = 4*t - g - 2. Is (t + 2)/3 - -20 composite?
True
Let o(s) = 5*s**2 - 10*s + 14. Is o(15) composite?
True
Is (1/3)/(1/489) composite?
False
Let p = 0 + 4. Suppose p*b + 1470 = 5*d, b + 295 = d - 0*b. Suppose 0 = -0*o + 2*o - d. Is o prime?
False
Suppose f + 4 = 0, -5*f = 3*p - f - 1697. Is p a prime number?
True
Let l be (-6 - -4)/((-4)/(-22)). Let t(w) = -50*w + 3. Is t(l) composite?
True
Let z be -34*2/(-4) + -2. Let p = z - -20. Is p a composite number?
True
Suppose -3*d = -3*i - 1275, -d + 3*i - 1263 = -4*d. Suppose -5*s - l = -922, -4*l + 41 - d = -2*s. Is s composite?
True
Let c = 110 - 36. Is c/(-1 + 0 - -2) a prime number?
False
Let w = -7 + 13. Suppose -4*u - w = -94. Is u composite?
True
Let m(h) = h**2 + 3*h - 7. Let s be m(-5). Suppose 4*g - 33 = -4*q + 5*g, -s*g = -q + 22. Is q prime?
True
Suppose 3*k - 249 = k - 3*w, -3*k = 3*w - 381. Let d = k - 85. Suppose -12 + d = 5*c. Is c a composite number?
False
Let o(b) = b**3 + 10*b**2 + b - 1. Is o(-4) a prime number?
False
Let h(j) = -144*j + 4. Let p(m) = 96*m - 3. Let a(i) = 5*h(i) + 7*p(i). Is a(-1) a composite number?
False
Suppose 3*v - p = 59, 4*v + 0*p - 68 = -4*p. Let j = -13 + v. Is j a composite number?
True
Suppose -3*v + 4*w + 5 = 1, 3*w = 5*v - 25. Is (314/v)/(1/4) a composite number?
False
Suppose 4*n = 701 - 193. Is n composite?
False
Suppose -120 = 4*s + q - 734, 5*q = -10. Suppose 3*f + 2*f - 192 = 2*z, -4*f + s = -2*z. Is f prime?
False
Let f(c) = -c**3 - 6*c**2. Let h be f(-6). Suppose h = -6*j + j + 10. Suppose 4*w + 20 = 0, -3*d = 5*w + j - 88. Is d composite?
False
Suppose -2*l + 0*x = 3*x + 2, -2*x - 3 = 3*l. Let q(r) = -12*r + 1. Let y be q(l). Suppose d + 2*m - y = 0, 0 = 2*d + 5*m - 5 - 18. Is d a composite number?
False
Let k(o) = 48*o + 1. Let y be k(2). Let n = y + 64. Is n prime?
False
Let o(j) = -j + 34. Let m be o(0). Let d = m - -21. Is d prime?
False
Suppose 3*h + 1 + 5 = 0. Suppose -4*u - 2 = -k, -7*u + 2*u = -4*k - 3. Is 23 + u + 2/h a prime number?
False
Suppose 2*w - w - 515 = 0. Is w prime?
False
Suppose 3*h - 567 = -5*q, 4*h + 247 = -4*q + 699. Let m be (-2)/(-6) - q/(-9). Suppose -2*o + o = -m. Is o prime?
True
Let o = -4 - -6. Let g be (-12)/(-18) - 4/(-3). Suppose 5*x = o*x - 4*q + 261, -185 = -g*x + q. Is x a prime number?
False
Suppose -5*b - 2463 = -13018. Is b a prime number?
True
Let v = -10 + 4. Is 156 - 0 - v/3 a composite number?
True
Let l = -3 + -7. Let q be l*(2 + 1)*-5. Suppose -4*u - 3*i + 328 = -4*i, 0 = -2*u + 4*i + q. Is u a prime number?
True
Let k be 1*-1 + (-3528)/(-6). Let z = -328 + k. Is z composite?
True
Is 5/(20/12) - -62 prime?
False
Is (-4)/(-1)*(-24561)/(-36) composite?
False
Suppose 0 = 10*g - 7*g + 15. Let i(s) = -16*s - 1. Is i(g) a composite number?
False
Let v(n) = -3*n - 18. Let d be v(-8). Is d/2 - (14 + -76) a prime number?
False
Let d(j) = 12*j + 11. Is d(11) prime?
False
Suppose 7*g = 4*g + 15. Suppose -j - 3*j = -40. Is j/(-4)*(-28)/g prime?
False
Let s = 599 - -32. Is s composite?
False
Let r = 246 - 115. Suppose u + 0*u = 2*n + 68, -2*u + r = -3*n. Is u a prime number?
False
Let i(n) = -3*n**3 - 8*n**2 - 13*n + 11. Is i(-5) prime?
True
Suppose 3*g + 3*x + 81 = 1578, 0 = -4*g - 3*x + 2000. Is g a composite number?
False
Suppose 0 = 10*y - 2336 - 8534. Is y a composite number?
False
Let n(x) = x**2 - 2*x. Let m be n(0). Let v = m - -25. Is v composite?
True
Let b = 2 + 0. Let x be (2/4)/((-1)/(-10)). Suppose b*v - 150 = -x*h + 425, 3*h - 319 = 4*v. Is h a composite number?
False
Suppose -i - 10 = -5*q, -2*q + 17 = 5*i - 8*i. Suppose -3*c = -0*c. Is (q - c)*(-42)/(-6) a prime number?
True
Suppose 7*g - 4*g - 646 = 4*z, 4*z - 638 = -3*g. Suppose 2*o - 3*o - 21 = -5*h, -h = -2*o + 3. Suppose o*q - g = -2. Is q a prime number?
True
Let q(n) = -23*n + 5. Is q(-6) a prime number?
False
Let q = 154 + -31. Let a = -34 + q. Is a a prime number?
True
Suppose -a + 310 = a. Is a composite?
True
Let v(q) = -q**3 + 7*q**2 - 2*q + 7. Let n(p) = -p**2 + 12*p + 3. Let s be n(12). Is v(s) prime?
True
Let x = 2082 - 5584. Is (-6)/33 - x/22 prime?
False
Let f(u) = -7*u**2 + 27*u - 6. Let h(s) = -11*s**2 + 41*s - 9. Let d(g) = 8*f(g) - 5*h(g). Is d(8) composite?
True
Suppose -101 = -q + s + 15, -4*q - 5*s = -419. Is q composite?
True
Let v(m) = 2*m - 7. Let x(j) = j - 4. Let w be x(9). Let p be v(w). Suppose -2*u + 240 = 2*k, -p*k = 2*k - 5. Is u composite?
True
Let v = 684 - 131. Is v a composite number?
True
Let j = -6 + 5. Let m(r) = -6*r**3 + r + 1. Let s be m(j). Suppose -s*l = -2*l - 1628. Is l composite?
True
Suppose -n - 1195 = -3*x, -2*x + 1 = -n - 797. Is x a prime number?
True
Let a(l) = -3*l - 12. Let q(s) = 3*s + 12. Let b(v) = 6*a(v) + 5*q(v). Let i be b(-9). Is (-2 - -4)*i/2 a composite number?
True
Let u be (-4)/14 - 16/(-56). Suppose u = g - 5*g + 508. Is g composite?
False
Let y(c) = -c**2 + 13*c + 3. Let w be y(13). Suppose -w*s + 26 = 5. Is s a prime number?
True
Let u(n) = -3*n**2 - 3*n + 4. Let f be u(-3). Is (-970)/f + 6/(-21) prime?
False
Suppose -3*q + 68 = q + 4*k, 2*k + 56 = 4*q. Suppose d + q = 6*d. Suppose -d*n = -r - 254, r - 3*r = -4*n + 338. Is n a prime number?
False
Suppose 0 = 2*i - 2*l, 3*l - 3 - 3 = 0. Suppose n + 2 = 3*d, 0*n + d = 3*n - 18. Suppose -n*u + i*u = -785. Is u a prime number?
True
Suppose -2*i - 2*y = 3*y - 1029, -5*y - 477 = -i. Suppose 0*b + i = 2*b. Is b prime?
True
Let w(c) = -c**2 - 6*c - 5. Let l be 8/12*6/(-1). Let n be w(l). Is n + 0 + 80/2 prime?
True
Suppose -2*p - f + 4 = 0, 2*p - 2 = p - 2*f. Suppose p*i + 3*d = 15, -2*d = 5*i + d - 33. Is i a prime number?
False
Let k = -12 - -24. Suppose -r = 5*q - 18 - 36, k = 3*r. Is q prime?
False
Suppose 0 = 2*n, 2*n = -0*h + h - 357. Let m = 707 - h. Let f = -237 + m. Is f prime?
True
Suppose -4*q = -6*q + 20. Suppose 2*a - q = 8. Let j = 20 - a. Is j a composite number?
False
Let o = -11 - -14. Suppose -2*s = o*s - 495. Let y = s - -158. Is y prime?
True
Let x(j) = 24*j + 7. Is x(5) a prime number?
True
Is (170 + 0)*(-2)/(-4) composite?
True
Suppose 0*v - 5*v = 1325. Let h = v - -456. Is h composite?
False
Let t(s) = 15*s**2 + 7*s - 31. Let k(g) = -8*g**2 - 3*g + 16. Let p(a) = 7*k(a) + 4*t(a). Is p(13) a composite number?
True
Let z(o) be the third derivative of -o**6/40 - o**5/30 - o**4/12 - o**3/3 - 4*o**2. Suppose -2*w - 14 = 2*g, 4*g - 26 = 6*g + 5*w. Is z(g) a prime number?
True
Suppose 0 = -v + i - 2*i + 96, 195 = 2*v + 3*i. Is v a composite number?
True
Let b = 3126 - 2203. Is 