number?
False
Let n be (2 - 5 - 0)*-5. Let o(l) = 3*l**2 - 13*l - 13. Is o(n) a composite number?
False
Let a be (6 + -6)*(-2)/6. Suppose 2*h + 5*n + 10 = a, 6*n = 5*h + n + 25. Let m = h - -40. Is m a composite number?
True
Let f(x) = x**2 + 8*x + 7. Let j be f(-7). Let m(r) = -3*r - 52. Let q be m(-18). Suppose 5*u - 2*p - 1485 = j, q*u + 3*p - 618 = -p. Is u prime?
False
Let k = 26771 - 11220. Is k a composite number?
False
Let w(x) = x - 11. Let u be w(-8). Let j = -14 - u. Suppose j*q - 106 = 189. Is q composite?
False
Let i = -1 + 6. Suppose i*a = -4*t + 5*t - 5, 5*t + 2*a = -2. Is 98 + -8 + (-1 - t) prime?
True
Let f(j) be the third derivative of j**6/120 + j**5/60 - j**4/6 + j**3/2 + 5*j**2. Let z be f(2). Suppose 3*h + 892 = z*h. Is h a composite number?
False
Let t = 7 - 7. Let c = t - -5. Suppose c*h - 237 = -2*q, 4*q + 3*h - 354 = 99. Is q a composite number?
True
Let j(c) be the first derivative of -53/2*c**2 - 2*c + 5. Is j(-1) composite?
True
Let h = -9779 + 14266. Is h composite?
True
Let s be (2/(-5))/(1/(-10)). Let z(i) = i**3 - 31*i**2 - 32*i + 4. Let c be z(32). Suppose s*k - 528 = -c*w, 45 = k + 2*w - 92. Is k prime?
True
Let h = 322 - 177. Let p = h - 1211. Let a = 1637 + p. Is a a prime number?
True
Let t be 1 - (-4 - (-6 + 3)). Suppose z + 3*v - 148 = 0, 3*z + v = -t*v + 456. Let s = 419 - z. Is s a prime number?
False
Let s = -246 + 1459. Is s a prime number?
True
Is (1166/33)/(2/447) a prime number?
False
Let y = 28 + -24. Suppose 0 = -4*u + 8*u. Suppose 391 = q - u*a + y*a, q + a = 391. Is q a composite number?
True
Let u(t) = 50*t**3 + 5*t - 17. Let j be u(4). Is (j/2*2)/(-8 + 9) composite?
False
Let l = -4205 - -6112. Is l a composite number?
False
Let s = -7833 - -15298. Is s composite?
True
Suppose -4*j - 4034 = 31546. Is (-1)/8 - j/120 prime?
False
Suppose 5*b - 3827 - 20178 = -g, -9609 = -2*b + g. Let r = -2707 + b. Is r a prime number?
False
Let c = 31614 - 20557. Is c prime?
True
Let t(z) = 8*z**3 - z**2 + 6*z - 12. Let n(k) = -9*k**3 + 2*k**2 - 6*k + 12. Let c(f) = -5*n(f) - 6*t(f). Is c(-7) a prime number?
True
Let b = -86 - 27. Let j = 140 - b. Is j a composite number?
True
Suppose -3*l = -4*y + 2*l + 11296, -3*y - 5*l + 8437 = 0. Is y prime?
True
Let c = 57957 - 33256. Is c a composite number?
True
Let d = 45 + -45. Suppose 313 = 2*s - b + 2*b, 3*s + 4*b - 457 = d. Is s composite?
True
Suppose -4*c + 13 = -a, c = -c + 5*a + 11. Suppose -3*q + 5*u + 1128 = 0, -430 = -4*q + c*u + 1063. Is q a composite number?
True
Let k(v) = -v**3 - 2*v**2 - 3*v - 9. Let m be k(-3). Suppose 0 = m*n - 3*n - 4386. Is n prime?
False
Let c(l) = l**2 + 18*l + 30. Let o be c(-14). Is (-2390)/(-2)*o/(-65) a prime number?
False
Let l(u) = 4*u**2 + u + 7. Let o = -3 - -12. Let f be l(o). Is ((-7)/(-4))/(5/f) a composite number?
True
Suppose m - 2818 = -17*s + 12*s, -14061 = -5*m + 4*s. Is m prime?
False
Let k(l) = 929*l - 136. Is k(21) composite?
False
Let a be 1 + (0 - -1 - -3). Suppose -2*q + 6*q + 4846 = a*d, -4*q = 3*d - 2914. Suppose 4*l + 4*h = 2882 - d, 0 = -2*l + h + 959. Is l a composite number?
False
Let d be (1 + (-18)/10)/(54/16335). Let u = 386 + -31. Let f = d + u. Is f a prime number?
True
Is (-158)/8*-1883 - 3/12 prime?
True
Let l be -10*2/12*-3. Suppose d + 2*v = 13 + 21, -l*d + 3*v + 170 = 0. Is d composite?
True
Let u = -71 - 0. Let r = u - -148. Is r a prime number?
False
Is (-10588)/(-26) + 81/(-351) a prime number?
False
Suppose -d + 5*t + 52 = 0, 5*t + 94 = -4*d + 6*d. Suppose 8*i - 430 = d. Is i a prime number?
True
Let a(d) = -d - 18. Let h be a(-6). Let y = h - -18. Suppose n = y*n - 1015. Is n prime?
False
Let x(b) = b + 4. Let i be x(0). Suppose 0 = c - 2*c - 5*d + i, 4 = 2*d. Is 7*3/c*-58 a composite number?
True
Let a(n) = 279*n - 58. Is a(11) composite?
False
Let x be 2 + 10/(-2) - (4 + -11). Suppose x*b - 2*b - 138 = 0. Is b a prime number?
False
Suppose -s - 38567 = -6*s + 3*q, -38547 = -5*s - 2*q. Is s composite?
True
Let s = 32 + -63. Let o = s - -37. Is o prime?
False
Let z(i) = i**3 - 10*i**2 - i + 12. Let s be z(10). Suppose 2*o - l + 6 = 0, 5*l = s*o - o + 12. Is ((-1)/((-2)/(-268)))/o prime?
True
Let m be ((-4)/3 + 1 + 0)*-9. Suppose 6 = -3*d, -2*y + 2*d = m*y - 4969. Is y prime?
False
Let k(g) = -2*g**3 - 13*g**2 - 6*g + 10. Suppose 35 = 5*c + 5*t, 3*c - 4*t - 20 = 29. Let u = c + -20. Is k(u) composite?
True
Suppose -4 + 1 = -z. Suppose -1149 = -4*f - z*p + 1210, -587 = -f + 2*p. Is f a prime number?
False
Let d = -116 + 118. Suppose -2*h = -4*v - 4*h + 940, -d*v = -3*h - 454. Is v a composite number?
False
Let b be (-4 + 8)/1 + 19. Let q = 87 - b. Suppose -2*m + 3*v = -q, -2*v - 8 = -m + 23. Is m composite?
True
Let u = -99 - -104. Suppose -h - 2163 = -v - u*h, -3*v + 5*h + 6557 = 0. Is v composite?
False
Let u be (-3577)/(-63) - 4/(-18). Suppose 3*w - u = 2*w. Is w a prime number?
False
Is (-3140520)/180*3/(-2) composite?
False
Suppose 22580 = 7*x - 12693. Is x a composite number?
False
Let w(i) = i - 3. Let y be w(5). Suppose y*j = 7*j - 2045. Is j a composite number?
False
Let h be (-8)/(-52) - (-3298)/26. Suppose 4*v - h = -5*l, 2*v - 29 = -2*l + 35. Is v a prime number?
False
Suppose s = 2*a + 2, -a + 5 = 2*s + 1. Suppose -4*z - f + 1955 = a, 2*z + 4*f + 341 = 1301. Let y = z + -71. Is y a composite number?
False
Let p(b) = b**3 - 3*b**2 - 4. Suppose 2 + 16 = 3*k + 3*w, 0 = -k + 5*w - 12. Let v be p(k). Is ((-2)/v)/(2/148) a composite number?
False
Let w(z) = z**2 - 2*z - 5. Let p be w(-3). Suppose 14*n - 2068 = p*n. Is n a composite number?
True
Let a(v) = -2*v**2 - 7*v. Let i(z) = z**2. Let d(q) = a(q) + 3*i(q). Let s be d(7). Suppose -3*k + s*k = -57. Is k composite?
False
Let z(h) = 8*h**3 - 2*h**2 + 7*h - 2. Let o(u) = -9*u**3 + u**2 - 6*u + 3. Let r(x) = -3*o(x) - 4*z(x). Is r(-5) prime?
False
Let k = 62380 + 5951. Is k prime?
False
Let p be (-12)/(4 + -2) - 8/(-4). Is ((p - 0) + 2)*-68 - -3 a composite number?
False
Suppose 0 = -2*v + 5*z - 116768, -28462 = 4*v + 5*z + 205074. Let q be ((-1)/2)/(8/v). Suppose k + 3*f = -k + 2410, -3*k + 4*f = -q. Is k a prime number?
False
Let o be (-3 + -146)/(-3 - -2). Suppose 5*j + o = -i + 2*i, -2*i - 4*j = -256. Is i a composite number?
True
Let b(q) = -q - 12. Let f be b(-5). Let u(r) be the first derivative of 4*r**3/3 - 4*r**2 - r + 52. Is u(f) composite?
False
Let k be (-6690)/(-20)*(-16)/(-6). Is k/(8/(-6)*(-9)/6) a composite number?
True
Let r = -18 - -22. Suppose 0*x + j - 59 = x, 0 = -2*x + r*j - 124. Is 3 + -3 + -3 - x prime?
True
Suppose -4*c - 6677 = 3*w, -3*w = -c + 2*c + 6689. Let g = 504 - w. Is g prime?
False
Let k be 17 + (4 - 0) + -8. Let t(y) = 3*y - 16. Is t(k) a prime number?
True
Suppose s = -5 + 4. Let q be s - 2 - 65/(-5). Let f(x) = 17*x - 13. Is f(q) a prime number?
True
Suppose -4*n = 5*g + 23 + 1, -2*g + 4*n - 4 = 0. Is 887 - (0/g)/(-1) prime?
True
Suppose -7176 = -38*j + 14*j. Is j a composite number?
True
Suppose 16*x - 77819 + 23115 = 0. Is x prime?
False
Let x(t) = t**3 - 11*t**2 - 10*t - 14. Let y be x(12). Suppose -2*d = -y, 3*g - 1031 = -3*d - 383. Is g composite?
False
Let u(f) = 38*f**2 + 8*f + 37 + 36 - 52. Is u(-8) a composite number?
False
Let a(w) be the third derivative of -67*w**4/24 + w**3/6 + 17*w**2. Is a(-3) a composite number?
True
Suppose -9841 = -2*b - 3*i + 14106, 0 = -3*b + 4*i + 35895. Is b composite?
False
Let s(m) = 5*m**2 - 2*m + 6. Let n(k) = -5*k**2 + 3*k - 7. Let i(y) = 3*n(y) + 4*s(y). Suppose -2*t = -3*t - 4. Is i(t) a prime number?
True
Suppose 88*d = 100*d - 134364. Is d a composite number?
False
Suppose 21 + 4 = 5*g. Suppose g*i = 848 + 732. Is (-3)/3 + 4 + i composite?
True
Let a(o) = 10*o**2 + 4*o + 3. Let h be (6/1)/(6/20). Let c be (-7)/4 + (-5)/h. Is a(c) a composite number?
True
Let z(x) be the third derivative of x**4/12 + x**3/2 + x**2. Let t be z(16). Suppose f - t - 84 = 0. Is f a prime number?
False
Suppose -t - 3 = -1. Let o be (57/(-3) + -1)*6/(-15). Is 2/o*-94*t composite?
False
Let r(d) = d**3 - 5*d**2 + 8*d - 3. Let j be r(3). Is ((-113)/j)/((-1)/(0 + 3)) a composite number?
False
Let q = 371 - 644. Let u be (-2 - -1) + 480 + -3. Let k = q + u. Is k composite?
True
Let x be (0 - (-8)/12)*3. Suppose -x*l + 1081 + 473 = 0. Suppose 6*h - 441 = l. Is h prime?
F