-28 + a + 0)/(-2) prime?
False
Is (-24 - -13253)*2/(-6)*-3 a prime number?
True
Let f = 13719 - 8876. Is f a prime number?
False
Let y be 2/(-3) - (-120)/18. Suppose y*u - 2968 = -730. Is u composite?
False
Suppose 0 = -3*l - 0*l + 12. Is 113/(-1 - l/(-3)) composite?
True
Let q(n) = 393*n + 32. Let t be q(4). Let m = t - -639. Is m a composite number?
False
Let t = -3 + 8. Suppose -3121 = -t*b - 4*s, -4*b + 128 = 2*s - 2364. Let a = b - 330. Is a a composite number?
True
Is (-114)/(-15)*(-72700)/(-40) a composite number?
True
Suppose 3*f = 3*t - 0*t - 6, 0 = 3*t - f - 2. Suppose t = -8*a + 6*a + 34. Let p = 148 - a. Is p a composite number?
False
Suppose 0 = 3*p + 5*c - 1112, -5*p - 5*c - 1162 = -8*p. Is p composite?
False
Let r be (20/16)/((-4)/(-224)). Suppose 23*f - r = 18*f. Let i = 53 + f. Is i composite?
False
Let k(g) = 23*g + 10. Let a(x) = 8*x + 3. Let r(d) = 7*a(d) - 2*k(d). Is r(3) prime?
True
Let g = -4 - -8. Let n(t) = 12*t**2 + 3*t + 9. Let a be n(g). Is a/4 + 1/(-4) prime?
True
Let g = -2328 - -3665. Is g a prime number?
False
Suppose 0 = -h + 2*d + 43923, -h + 43943 = -76*d + 78*d. Is h prime?
True
Suppose 57*u - 950202 = 814119. Is u a prime number?
False
Let o(x) = 272*x**2 - 5*x + 5. Let k(q) = q. Let v(r) = 2*k(r) + o(r). Is v(2) a composite number?
False
Let s be ((-27)/(-15))/(4/20). Suppose 30 = 3*i - 3*j, j - 3 - s = -i. Is i a prime number?
True
Let v(z) be the third derivative of -z**4/24 + 211*z**3/6 + z**2. Suppose -2*p = -p + 5*p. Is v(p) composite?
False
Suppose -4*i = -5*k + 766, 4*k + 36 = 2*i + 644. Let p = -75 + -26. Let z = p + k. Is z composite?
True
Suppose 0 = -4*h - 3*i + 115056, -3*h = -5*i + 8*i - 86295. Is h a prime number?
False
Let k(j) = -125*j - 2. Suppose 2*c = -3*u + 14, -4*u + 3*c = -2*c + 12. Let v be k(u). Let p = -141 - v. Is p prime?
False
Suppose 5*f - 4*i = -5*i + 343, 0 = -4*f + 3*i + 282. Is f - (-4 - -4)/5 a prime number?
False
Suppose i = -4*u + 154, 0*i - 3*u + 328 = 2*i. Let d = i - 119. Suppose 2*x = -4*f + 98, -2*x + 2*f + 47 = -d. Is x a prime number?
False
Suppose 5*s + 3 - 108 = 0. Let k = 235 - s. Is k a composite number?
True
Suppose -4*n - 40 = -40. Suppose -1664 = -k - 5*v, -4*k + n*k + 6611 = 5*v. Is k a prime number?
False
Let b be 4 + -4 - (-24)/2. Suppose 4*w = b*w - 4168. Is w a composite number?
False
Suppose -847420 = 7*k - 27*k. Is k a composite number?
True
Suppose -245 = -13*m + 2862. Is m composite?
False
Let n = 526 + 3337. Is n composite?
False
Suppose 6*u - 4*p + 6525 = 9*u, -5*u - p = -10892. Is u a prime number?
True
Let o = -76081 + 128694. Is o composite?
True
Let g(m) = m**3 + 3*m**2 - 5*m + 1577. Is g(0) composite?
True
Suppose 3*r - 17 = -14. Let d(b) = 415*b + 4. Is d(r) prime?
True
Suppose -2*w + 107 = 9. Suppose -2*u + u = -5*x - 4, -5*u + 2*x = -20. Suppose u + w = r. Is r prime?
True
Let j be -4*(3/(-2))/1. Suppose 0 = -j*n + 2*n + 532. Suppose -4*p = q - n, 14 = -q + 4*p + 123. Is q composite?
True
Let s = 1523 + 2874. Is s composite?
False
Let f = -580 - -1293. Is f a prime number?
False
Let o(v) be the second derivative of -7*v**4/12 + 5*v**3/2 + 2*v**2 - 5*v. Let r(i) be the first derivative of o(i). Is r(-7) a composite number?
False
Let a(x) = -x**3 - 6*x**2 - 6*x - 4. Let y be a(-5). Is 0 + (y - (1 + -97)) composite?
False
Suppose -5*o - 4*i + 14001 = 0, o + 9*i = 10*i + 2793. Is o prime?
True
Suppose -3*a + 2*a = x - 1131, -5*a + x = -5685. Let q = a - 93. Is q composite?
True
Let b = 1294 + -371. Suppose 4*t - b = -5*m, -564 = -3*m + 2*t - t. Is m prime?
False
Let j = -55 + 204. Is j prime?
True
Is (0 + -1)*(-139 - (-3)/(-1)) prime?
False
Is (-1660428)/168*(-2)/3 a prime number?
False
Let b(t) = 374*t**2 + 8*t + 51. Is b(7) a composite number?
False
Let c = -399 - -206. Let r = c - -370. Is r composite?
True
Suppose 2760 + 383 = 7*b. Is b a composite number?
False
Suppose -4*c + 43 - 15 = 0. Let n(x) = 348*x + 38. Is n(c) a prime number?
False
Suppose 2*o - m - 19318 = 0, 9*o + 9653 = 10*o - 2*m. Is o a composite number?
False
Let l be 0/4 + (3 - 1). Let q(b) = 74*b**2 - b - 3. Is q(l) prime?
False
Let v be ((-6)/(-4))/(10/20). Let x be (4 + v)/((-1)/2). Is 2/x - (-1395)/63 prime?
False
Let c(y) = 72*y - 37. Let m(f) = f**3 - 8*f**2 + 14*f - 8. Let u be m(6). Is c(u) composite?
False
Let l = 1322 - -5921. Is l a composite number?
False
Let i = -10548 + 15799. Is i composite?
True
Suppose -5137 + 1594491 = 26*b. Is b prime?
True
Suppose -3*t = -5*a + 88, -4*t - 6*a = -2*a + 96. Is 1 + t/22 - (-34346)/22 prime?
False
Let i(n) = 22*n - 40*n - 1 + 22*n - 10*n**2 - 10*n**2 + n**3. Is i(20) a composite number?
False
Suppose 0 = -3*m + 6*m + 24. Suppose -3*r - 182 = -629. Let u = r + m. Is u a composite number?
True
Let u be 3/(-1 + 4) - -1770. Suppose 0 = -5*j - v + u, -5*j + 694 = -3*j + 4*v. Is j a composite number?
True
Let v(f) = 2*f**3 + 6*f**2 + f - 22. Let a be v(-7). Let y = a - -908. Is y prime?
True
Suppose -2*u = -u - 4. Let i be (6 + 0)/(u/720). Suppose 0*p + 721 = 2*q - 3*p, 3*p + i = 3*q. Is q a composite number?
False
Suppose 4*q - l = 1678, 3*q + 7*l - 1253 = 5*l. Is (q/(-3))/(244/(-60) + 4) a prime number?
False
Suppose -3*f + 166 = 4*q, -2*q + 70 = -2*f - 3*f. Let k be ((-3 - -4)*-2 + 3)*117. Let u = k - q. Is u a composite number?
True
Let x(p) = -198*p - 25. Is x(-11) prime?
True
Let d = -133 - -129. Is (-3 + 5)*((-38374)/d)/7 composite?
False
Let a(b) = -4*b - 2. Let f be a(-5). Let c be 12/f*18/4. Suppose -c*j - 437 = -5*p + j, -p - 4*j + 73 = 0. Is p composite?
True
Suppose -4*g + 288 = -204. Let u = -29 + 31. Suppose u*f + g = 3*f. Is f a composite number?
True
Suppose 0 = -4*w, -5*z + 24230 = 2*w + 2*w. Is z a prime number?
False
Let f(c) = -c**3 + c**2 + c + 3. Let g be 0/((-12)/(-9)*-3). Let u be f(g). Suppose 4*a - 1213 = -5*q, 2*a - 4*q = -u*a + 1547. Is a composite?
False
Let g(f) = f**3 + 49*f**2 - 55*f + 37. Is g(22) a prime number?
True
Let o = 32625 - 12848. Is o a prime number?
True
Let c(t) = t. Let y be c(2). Suppose -2*w = -w + y. Is (8 + 3)/(w/(-6)) composite?
True
Let b(z) = 487*z**2 - 31*z - 107. Is b(-5) prime?
False
Suppose t + 28 = 5*d - 3*t, 3*d - 22 = 5*t. Suppose d*a - 2*a = 6. Suppose a*z - 3 = 0, 3*z = o - 106 + 30. Is o prime?
True
Let g(x) = 2*x + 35. Let c be g(-19). Is (-1)/c + (-121880)/(-66) a composite number?
False
Let t = -40 + 79. Is -2 - (-9007)/13 - (-6)/t a composite number?
False
Let m(l) = 7*l**2 - 7*l + 1. Let w(r) = r**3 + 11*r**2 + 8*r - 10. Let o be w(-10). Suppose 0 = -2*h - o, -h = -2*y + 1 - 6. Is m(y) a prime number?
True
Is 22/(-143) + (-2 - 554900/(-52)) composite?
True
Suppose -2*p - 678 = 1006. Suppose 4*n = 4*k + 4, -5*n + 10*n - 3 = 4*k. Is (-1)/k + p/(-4) composite?
False
Suppose 4*x = 3*x + 5. Let g be (8/(-10))/(1/x). Is 4*g*3/(-8) composite?
True
Let n be (-20)/(-28) - 10/(-35). Is (-3 - -70)/n*13 prime?
False
Let j(x) be the third derivative of 1/2*x**3 + 0*x - 9*x**2 + 0 + 145/6*x**4. Is j(1) a composite number?
True
Suppose 2*z = z + 113. Suppose -5*n = 72 + z. Let j = n - -203. Is j a prime number?
False
Let h(x) = -64*x - 271. Is h(-38) a composite number?
False
Is 23*(37854/60 - 7/(-70)) composite?
True
Let a(s) = -2*s**3 - 4*s**2 - 4*s + 3. Let b be 13 - (3 + (-2 - -2)). Let r = -14 + b. Is a(r) composite?
False
Suppose -4*t + 22190 = -2*z, 5*z - 4687 = -4*t + 17496. Suppose 2*m + 2356 = 2*u + 134, 5*u = m + t. Is u prime?
True
Suppose -54 = -2*x - 2*f + 18, -2*f - 72 = -2*x. Suppose 0 = z + 5*z - x. Suppose -3*b = -z*b + 195. Is b composite?
True
Let h = -743 + 5801. Suppose 5*v = -v + h. Is v a composite number?
True
Is 3208572/1080 - 1/(-10) prime?
True
Let b(x) = 8*x**2 + 2*x + 5. Let m be b(-4). Suppose -4*q = q + 190. Let d = m + q. Is d a prime number?
False
Let x = -27 - -13. Let y = 10 + x. Is (-498)/9*6/y a prime number?
True
Suppose 2*p + 0*l = l + 186, 4*l = -2*p + 196. Let n = 55 + p. Is n prime?
True
Suppose -2 - 50 = -5*v - 2*w, 4*v = -2*w + 42. Let g = -11 + v. Is (-201)/9*(g - 2) composite?
False
Suppose 3*a + 22 = 58. Suppose a = -w + 15. Is 1241/3 - (-4)/w a composite number?
True
Let v = 12 - -21. Suppose -5*i + 3*u + 670 = 0, 3*u + 506 + v = 4*i. Is i prime?
True
Is (-6)/(-14) - (-5954)/7 a prime number?
False
Suppose -808 = -28*n + 