 c composite?
False
Suppose 5*t = -11*t + 17104. Is t composite?
False
Let b(c) = -11*c - 2. Let n be b(-5). Let j = n - 35. Is 552/j*(-6)/(-4) composite?
True
Let n(m) = m**3 + 4*m**2 - 4*m + 5. Let u be n(-5). Let s(i) be the first derivative of i**3/3 + 21*i + 2. Is s(u) prime?
False
Let t be 2/4*(-408)/4. Is (34/t)/(1/(-93)) a prime number?
False
Suppose -m + 1737 = -5*l, -2*m - l = -3*l - 3506. Is m prime?
False
Let m = -1 + 5. Suppose -4*j - 191 = -5*i, 0 = 5*i - i + m*j - 160. Is i composite?
True
Is 7 + -8 + 46 + -2 prime?
True
Suppose 0 = 4*v - 4 - 4. Suppose v*h - f = 3, 3*h + 0*f = -f - 3. Let b(l) = l + 53. Is b(h) a prime number?
True
Let q = -1 - -4. Let o be (336/(-9))/2*q. Is (0 + -1 + o)/(-1) a prime number?
False
Suppose 5*q = q + 252. Let d = -112 + q. Let p = 28 - d. Is p a composite number?
True
Suppose -2*w - 2*v + 56 = -0*w, -v = 2*w - 57. Let t be w/(-3)*6/2. Let l = -10 - t. Is l a composite number?
False
Let h = -5293 + 8138. Is h a prime number?
False
Let g = 26 - 14. Suppose h + g = 67. Is h composite?
True
Suppose -3*i = -2*i - 2. Suppose -i*b + 5*b = 3. Is 117/(3/b) - 1 a prime number?
False
Let h(k) = k**3 + 5*k**2 + 5*k + 2. Suppose 2*w + w = -9. Let s be h(w). Is -1*63/(-15)*s a prime number?
False
Let b = 2 + 16. Is 19/6 - 3/b prime?
True
Let s = 162 - 88. Let w = s - 16. Is w a prime number?
False
Suppose -5*z - 12 = 3*g, 6 = 5*z - 3*g - 6. Suppose -2*o + z*o - b = 5, 0 = 5*o + 4*b + 8. Is (-114)/o*(-12)/(-18) prime?
True
Let d = 7 + 3. Let y = 18 - d. Is (-12)/y*152/(-6) a composite number?
True
Suppose -3*f = -0*f + 3, 1851 = c - 4*f. Is c prime?
True
Let i = -2 - -8. Let j(s) = -s**3 + 7*s**2 + s + 7. Let z be j(i). Let u = 170 - z. Is u a composite number?
True
Suppose v + 5*w - 13 = -0, 2*w - 4 = 0. Let j(a) = -30*a + 31. Let g(t) = 6*t - 6. Let s(n) = 11*g(n) + 2*j(n). Is s(v) a composite number?
True
Let l(f) = 0*f + 1 + f**3 - 5*f**3 + f - 2*f**2 + 3*f**3. Let h be l(-3). Suppose -11 - h = -2*t. Is t composite?
True
Let j(c) = 2*c**2 - 13*c - 17. Is j(12) a composite number?
True
Is ((0 - 0) + (-26819)/39)*-3 a composite number?
False
Let h be (-1)/(2 + 1/(-1)). Let f = -1 + h. Is -2 + 2 - -8 - f prime?
False
Is (0 + 10/(-4))*-6 a composite number?
True
Is (-4 - -2)/8*(0 + -3716) a composite number?
False
Let s(w) = -w**3 + 4*w**2 - 2*w. Let n be s(3). Let g(a) = 8 + 4*a - n + 0 + a**2. Is g(4) a composite number?
False
Let b = -8 - -11. Let x be (3 + 0)*b/9. Is (x + 0)*(-2 + 12) prime?
False
Suppose 8*z - 3*z + 185 = 0. Let x = -17 - z. Is 1 + -3 + (x - -3) a composite number?
True
Let x = 0 - -13. Suppose 4*d + p = 5*d - 7, 0 = -4*d + p + x. Suppose 0 = -4*f + 3*q + 307, -7*q = -2*f - d*q + 143. Is f a composite number?
False
Let g be -11*(4 - (6 + -3)). Let u = g - -32. Is u a prime number?
False
Let k(f) = -f - f**3 + 0*f**2 - f**2 + 3*f**2 + 5*f + 1. Is k(-3) a prime number?
False
Let m be (-32)/(-14) - (-8)/(-28). Let g = m - -2. Suppose 9*t - 55 = 4*t - g*u, t + u = 11. Is t composite?
False
Let n(h) = -10*h**3 + 6*h**2 + 2*h - 4. Let d be n(-5). Is d/10 + 8/20 a composite number?
False
Let h(v) = -18*v**3 + 3*v**2 - 4*v + 1. Is h(-4) a composite number?
False
Suppose 1 = -u + 4*j + 8, -2*u = 4*j - 2. Suppose -391 = -7*c + u*c - 3*q, c - 102 = -5*q. Is c a composite number?
False
Let s = -284 + 441. Is s a composite number?
False
Suppose 2*w - l + 2*l = 3194, w = l + 1597. Is w composite?
False
Let o = 0 - 2. Let y be (8*(-43)/o)/1. Suppose 3*k - y - 101 = 0. Is k prime?
False
Suppose 2*v - 4*v = 10. Let i = v + 7. Suppose -i*f = -f - 183. Is f a composite number?
True
Let k = -1471 - -3228. Is k a composite number?
True
Let w(s) = -s**2 + 1. Let b be w(-1). Suppose -3*z - 5*y + 31 = b, -3*y + 20 = 3*z - 1. Suppose 9 = z*t + m, 0 = -t - t - 3*m + 15. Is t a prime number?
True
Is (5 - (2 + 1)) + 9524 + 1 a prime number?
False
Suppose 0 = -g - 3*s + s - 16, 4*g - 4*s = -16. Is (-483)/(-5) + g/(-20) composite?
False
Let k = 157 + -43. Let i = -32 + k. Is i a prime number?
False
Suppose -2*r + 8 + 2 = 0. Suppose r*q - 10 = -0*q. Suppose -3*n + 120 = i, -q*n + 3*n = -4*i + 447. Is i composite?
True
Let w(u) = u**3 + 11*u**2 + 11*u + 10. Let z be w(-10). Suppose -f + 652 = 3*c - z*f, c - 5*f = 212. Is c prime?
False
Is 58*13 - (-9)/3 a composite number?
False
Let n be ((-4347)/(-6))/(-9)*2. Let i = n + 252. Is i composite?
True
Let a(w) = -51*w - 4. Let s be a(-4). Is (1 + s)/((-9)/(-6)) prime?
False
Let s = 0 - 1. Is (s - (-3 + 1)) + 30 a composite number?
False
Let v be (0 + -24)*(-2)/3. Suppose -v = -d + 15. Is d a prime number?
True
Suppose 5*y = 3*w - 22, 0*y = -3*w + 2*y + 16. Suppose -3*n + 661 = -3*p - p, -n - w*p + 215 = 0. Is n a composite number?
True
Suppose 5*h = 21 + 4, -h = 5*w - 200. Let k = -16 + w. Is k prime?
True
Let j(k) = -k + 7. Let f = 19 - 13. Let l be j(f). Let t = l + 2. Is t prime?
True
Let w(t) = -t**3 + 3*t**2 + t. Let b be w(3). Suppose b*g = 3*m + 192, -2*g - g + 5*m = -190. Is g prime?
False
Let f(k) = -k**3 - 4*k**2 + 6*k + 5. Let j be f(-5). Suppose d - 15 - 8 = j. Is d a prime number?
True
Let z = 1 + -1. Suppose z = r - 2*r + 5. Suppose 0 = -r*a - 4 + 129. Is a a prime number?
False
Suppose -2*o = -z - 3, -3*o - 2*z = -5*o + 4. Suppose 4*k - 28 = 2*q, 4*q + 56 = 2*k - 4*k. Is q/(-6)*3*o composite?
False
Is 11697/14*4/6 a prime number?
True
Let f(t) be the third derivative of t**5/30 + t**4/6 + 3*t**3/2 + t**2. Is f(-7) a composite number?
False
Suppose i = 12 - 6. Let d = i - -13. Is d a composite number?
False
Let q = -8 + 13. Suppose -120 = -q*k + 115. Is k a prime number?
True
Let n(k) = -k**3 + 5*k**2 + 5*k. Let h be n(6). Let y(t) = t**3 + 1 - 3 + 7*t**2 - 5 - 8*t. Is y(h) prime?
False
Suppose o = 5*f - 6300, 2*o - 2513 = -2*f + o. Is f a prime number?
True
Suppose -4*s = -18 - 74. Let v = s + -14. Is v a composite number?
True
Let h = -562 + 1412. Suppose -5*g + 855 = -h. Is g composite?
True
Suppose 0*w + 2*w - 2 = 2*p, 2*w + 4*p = -16. Let u(d) = -315*d - 7. Is u(w) composite?
True
Suppose -2*f + 415 + 111 = 0. Is f a composite number?
False
Let q = -11 + 13. Suppose 0 = -p - q*p + 399. Is p prime?
False
Let c = -755 + 1134. Is c composite?
False
Suppose -112 - 132 = -2*y. Suppose 2*i - y = 4*d, -3 = d - 2*d. Is i a composite number?
False
Let i = -7 - -5. Let k be 144/(-15) + i/5. Is (0 - -194)*(-5)/k a composite number?
False
Suppose -i - 1360 = -5151. Is i a composite number?
True
Let u be 92*(2 + 9) - 1. Suppose -10*f + 13*f = u. Is f prime?
True
Suppose -4*c + 2*x = c - 2860, 0 = -c - 2*x + 572. Suppose c = -0*i + 4*i. Is i a prime number?
False
Suppose 0 = t + 3*o, o = -4*t - 4*o. Suppose 3*a - 1412 = -f - 4*f, 3*a - 5*f - 1402 = t. Is a a composite number?
True
Let u be (-3 + 4)*(1 - -2). Suppose m = u - 0. Suppose 0 = 4*w + 5*j - 41, 4*w + m*j + 17 = 64. Is w a prime number?
False
Suppose -4081 = -0*a - 11*a. Is a composite?
True
Let o = 985 - 528. Is o a composite number?
False
Let l(x) = x**2 - 18*x - 2. Let s be l(-12). Let a = s - 135. Is a a prime number?
True
Let u(b) = 1. Let o(v) = 9*v**2 - 5. Let c(a) = o(a) + 6*u(a). Is c(-1) composite?
True
Suppose 0 = 7*p - 3*p + 196. Let c = -30 - p. Is c a composite number?
False
Suppose 5*i - 3*p = 12, 2 - 4 = i - 5*p. Suppose -5*r + i*r + 446 = 0. Is r a composite number?
False
Suppose 0 = -4*w - 3 - 25. Let y(b) = -5*b**2 - 4*b - 4. Let s(n) = -9*n**2 - 7*n - 9. Let h(t) = 6*s(t) - 11*y(t). Is h(w) prime?
False
Let c(s) = 3*s + 7*s - 2*s - 1 + 0*s. Let q be c(3). Suppose 0 = 2*j + 9 - q. Is j composite?
False
Let l be (-3)/(-1)*(-2 - -3). Suppose -2*z + 25 = l*z. Suppose 179 = z*d - 96. Is d composite?
True
Suppose -6*q + 7 = -3*q + 4*v, -4*v - 33 = -5*q. Suppose t - 1 - 162 = -3*i, 4*t + 283 = q*i. Is i prime?
False
Let p = 45 + -85. Let u be 0 + 0 - (5 - 0). Let r = u - p. Is r a prime number?
False
Let o be (6/(-4))/((-14)/28). Suppose 0 = -q + o*q - 446. Is q a prime number?
True
Let r(t) be the second derivative of 109*t**3/6 - t**2/2 - 2*t. Let q be r(1). Suppose 0 = -3*d - 2*o + 123, -3*d + 6*o = 3*o - q. Is d composite?
True
Let g be 1 + 4 + (-27)/(-9). Let c be 2*-1*10/4. Let t = c + g. Is t prime?
True
Let w = -35 - -118. Is w prime?
True
Let x(k) = -k**2 + 7*k + 3. Let i be x(6). Su