 - c. Is t a composite number?
True
Let d = 3593 + 3914. Is d a composite number?
False
Suppose l - d - 30 = 0, 3*d - 154 = -5*l + 4*d. Suppose -3*b = 5*k + 7 - 42, -4*k - 23 = -b. Let w = l + b. Is w composite?
True
Suppose 5*j = b + 3393, 3*j - b = 5*j - 1360. Let y = j - 484. Suppose v - y = -4*v - 5*m, 3*m - 3 = 0. Is v prime?
False
Let a be 3/(-4 - -1) + -7 + 14. Suppose -k - y + 0*y + 7661 = 0, 0 = -4*k + 2*y + 30662. Is (k/(-24))/((-4)/a) a composite number?
False
Suppose -2*u = -0 + 14. Let z(l) = -l - 5. Let q be z(u). Suppose q*v - 1071 - 283 = 0. Is v prime?
True
Let y(k) = 52*k**2 - 4*k - 2. Let l be y(-3). Suppose -12*u + 16*u = -628. Let g = l - u. Is g composite?
True
Suppose -2*p = -59117 - 9689. Is p a prime number?
True
Let z = 3 + 1. Is 1148 - ((-4)/z + -2 + 0) prime?
True
Suppose 3 = -4*y + 5*y. Let i be 5 + -3 + 3/y. Suppose -395 = -i*j - 2*j. Is j composite?
False
Let j = -29598 - -60719. Is j a prime number?
True
Is ((-1)/1)/((2/(-12878))/1) a prime number?
False
Suppose 0 = -3*l + 9, -2*t + 3*l + 320 + 213 = 0. Let q = t + -86. Is q a prime number?
False
Let l = -120 - -48. Let n be l/(-7) - 2/7. Is 1/(-5) - (-252)/n prime?
False
Let j = -44 - -45. Suppose n + j = 92. Is n a composite number?
True
Let p = 37 + -37. Is 1*(p + (210 - -1)) a composite number?
False
Suppose 0 = -2*j - 3*t + 1748 + 11645, 4*j = t + 26751. Is j composite?
False
Let m(t) = 6594*t - 85. Is m(8) a prime number?
True
Suppose 3*d = 7*d + 8. Let n be (0 - d)/(2/5). Suppose -n*f + 15 = 3*p - 767, -3*f = 5*p - 466. Is f a composite number?
False
Let u = 3 - 2. Is -37*((-1)/u)/1 composite?
False
Let b = 231 + -13. Is b a composite number?
True
Suppose 8*n - 4*n = 12. Is (n + 175/30)*6 a prime number?
True
Is (3 - (-5562)/24)*(4 - 0) composite?
True
Suppose -w + 339 = 2*g, 2*w + 2*w = -5*g + 855. Suppose -f + g = -107. Is f composite?
True
Let q(i) = 3737*i**2 - 22*i - 35. Is q(-2) a prime number?
True
Suppose -7*l + 16 = l. Suppose l*s - 942 = -s. Is s prime?
False
Suppose 8*r - 12*r + 20 = 0. Is 3/(r/(-4190)*-6) a prime number?
True
Suppose -268610 = -a + f - 4*f, 5*a - 3*f - 1343032 = 0. Is a composite?
False
Suppose 0 = 2*p + 4*v - 16, 2*p + 3*v = -3*p + 12. Suppose -2*l - 15 + 5 = p. Let y(q) = 20*q**2 + 8*q + 7. Is y(l) prime?
True
Let k(b) = b**3 + 3*b**2 + 4. Let v be k(-3). Let m(g) = g. Let t be m(v). Suppose -t*r = -4*l + 2008, 3*l = 3*r + 2*r + 1516. Is l a prime number?
False
Let k(t) = -3*t**2 + 2*t + 21. Let f be k(9). Let n = 338 - f. Is n composite?
True
Let i = -86 + 88. Suppose 7*g = 3*g + 2*p, g = 5*p + 9. Is 15/(i - (g - -2)) a prime number?
False
Let q(w) = 351*w**2 + 12*w + 17. Is q(16) a prime number?
False
Suppose 0 = 2*t - 2*k - 2330, 1527 = 4*t - 3*k - 3133. Is t prime?
False
Suppose -3*w + 5 = -4*r + 9, -36 = -5*r - 4*w. Suppose 0 = 2*n - r*n + 466. Is n composite?
False
Suppose -2*j + 5*k = -24, 2*j - j - 6 = k. Suppose -r - r = -j. Is 53 - r*(-2 - -2) composite?
False
Let q = -38 - -40. Suppose q*b - 269 = -l + 364, -2*l + 1266 = 2*b. Is l prime?
False
Suppose -4*t = -0*t - 12. Let l be (-2 + 22/8)*4. Suppose l*a = 2*c + 71, 2*c + t*c + 5 = 0. Is a a composite number?
False
Suppose 0 = -b, -4*b = -k + 5*k - 4. Suppose -5*r = 5*g + 20, -5*r - 24 + 4 = -g. Is 5 - k - 1300/r composite?
True
Let c(n) = 27*n**3 + 10*n**2 + 8*n + 17. Is c(4) prime?
False
Suppose -1052194 + 9525 = -53*v. Is v a prime number?
False
Suppose -2*i - 5*n + 13 = -0*n, 5*i - 5*n - 50 = 0. Let c = i - 5. Suppose 0 = -2*d - 2*d - 2*z + 214, c*d + 4*z = 208. Is d a composite number?
True
Is 2*4/8*(12740 + -1) a composite number?
False
Suppose -403 = -q + 154. Is q a prime number?
True
Suppose q + 1227 = -u, -2*u + q = 1450 + 1001. Is u/(-6) + 8/12 a composite number?
True
Let n(d) = -5*d**3 + 7*d**2 + 12*d + 9. Let h(p) = -11*p**3 + 15*p**2 + 24*p + 19. Let r(f) = -4*h(f) + 9*n(f). Is r(-5) a composite number?
True
Suppose 2*g + 4 = 4*g. Suppose 0 = -g*p - 0*p + 6. Suppose 4*w = -2*f + 52, p*f = w - 2*w + 8. Is w a composite number?
True
Suppose -4*v = 4*z - 371151 + 93799, 10 = 10*z. Is v prime?
True
Suppose o = 113 + 152. Is o a prime number?
False
Let d be (-88)/(-20) + -4 - (-6)/(-15). Suppose 2*k + k + 2*y = 580, -5*k - y + 969 = d. Is k a composite number?
True
Let x(l) = 61*l**2 - 2*l + 28. Is x(5) a composite number?
False
Suppose 0 = -3*j + 15, -6*m + 16970 = -m - 3*j. Suppose -3*i = -5*g + 2760 + 1520, -4*g - 3*i = -m. Is g a composite number?
False
Is ((-105)/(-20))/(-21) - (-13210)/8 a prime number?
False
Let y be (-7822)/(-14) - 6/(-21). Let b = -144 + y. Is b composite?
True
Let c(h) = -h**3 - 42*h**2 - 37*h - 101. Let r(v) = -v**3 - 28*v**2 - 25*v - 67. Let w(g) = -5*c(g) + 8*r(g). Is w(-9) a prime number?
False
Let b be (-4)/(-5) - 9/(90/(-52)). Let i = 1 - 1. Suppose -g + 37 + b = i. Is g a prime number?
True
Let t = 1629 - 758. Is t a prime number?
False
Let f(u) = 227*u**2 + 7*u - 5. Is f(3) a composite number?
True
Let n = -1393 - -4782. Is n prime?
True
Suppose 4*l - 61 - 27 = 0. Suppose j + 2*j = 1965. Suppose 3*o - j = -l. Is o composite?
False
Let x = 0 - -8. Suppose 0 = -4*n - x, 4*n = -3*q - 0*n + 988. Suppose -4*p + 3*p = 3*w - 97, 2*w = 4*p - q. Is p prime?
False
Suppose -a = 3*f - 4469 - 33, -1502 = -f + a. Is f a composite number?
True
Let w(x) = 4*x**2 - 18*x + 4. Let k be w(11). Let s = k - 672. Is s/(8/4)*-1 a prime number?
True
Let x(n) = -1854*n - 7. Suppose 15*b - 10 = 25*b. Is x(b) prime?
True
Suppose -5*d = 4*y - 6 - 2, 10 = 4*d + 2*y. Suppose 0 = z - 3*v - 695, 2780 = d*z - 17*v + 13*v. Is z a prime number?
False
Suppose g + 0*z + 14 = 4*z, 6 = -g + 2*z. Suppose -g = c - 42. Suppose -26 = -2*o + c. Is o a prime number?
False
Let r(p) = 20*p + 10. Let a be r(6). Let s = 321 - a. Is s a prime number?
True
Suppose 0 = -5*v + 10, 2*r = -10*v + 9*v + 2944. Is r composite?
False
Suppose -18*p - 2*p = -60. Is p*11967/18*4/2 composite?
False
Let r be (8/(-6))/(-1)*(-9)/3. Is r/(-14) + 2624/28 a composite number?
True
Let l(f) = f**2 + 9*f - 21. Let j be l(-10). Let v(c) = 2*c**2 - 4*c + 5. Is v(j) composite?
True
Suppose -3*u + 6 = -6*u. Is (8 + 348)/((0 + -1)*u) a composite number?
True
Suppose -2*x - 3*x = b - 46, 3*b = x - 22. Suppose -u - x = -3*u, 0 = -3*p - u + 53. Let n = 37 + p. Is n a composite number?
False
Let z = 31685 - 19186. Is z composite?
True
Suppose 2*f = 5*c - 35, 0*f - 5*f + 16 = -c. Let i(t) = -t**3 + 8*t**2 + 7*t + 12. Let u be i(c). Is 18/27 + (-1064)/u prime?
False
Let u(m) = -55*m - 20. Let f be u(-19). Let o = -454 + f. Is o prime?
True
Let w(z) = -66*z**2 + 5*z - 2. Let a(l) = -l**2 - l - 1. Let f(d) = -2*a(d) - w(d). Let n(r) be the first derivative of f(r). Is n(4) a prime number?
True
Let t be ((-10)/(-3))/(4/6). Suppose g + t = 384. Is g composite?
False
Suppose 0 = -5*k, 0 = z + z - 5*k - 2. Let r be (-20492)/(-16) - z/(-4). Suppose 5*a - r = -236. Is a prime?
False
Let t(y) = 8*y + 22. Let s be t(-13). Let k(f) = f**3 + f**2 + 4*f - 9. Let c be k(7). Let p = s + c. Is p a prime number?
False
Suppose 4*l - 972 - 76 = 0. Let v = -60 + l. Is v a composite number?
True
Suppose -2*h + 1915 = 3*h. Suppose 4*z = 1701 + h. Is z prime?
True
Suppose l + 3*l + 3652 = 4*s, -5*l - 2*s = 4544. Let x be (6/15)/((-1)/l). Suppose 3*v - 2935 = -4*r, 3*r - 4268 + x = -4*v. Is v prime?
False
Let n(r) be the second derivative of 33*r**3/2 + 5*r**2/2 - 11*r. Is n(2) composite?
True
Suppose 8*j - 3*w + 15476 = 9*j, 15486 = j + w. Is j composite?
True
Let i(w) = -2*w. Let t be i(-1). Let x be (-4)/(-1)*1/t. Suppose -2*h = -3*q - 218, -263 = -3*h - x*q + 90. Is h a composite number?
True
Let v = -1246 - -3827. Is v composite?
True
Let y be (-1 - (-196 - 1)) + 3/1. Suppose 4*s - 1620 - 668 = 0. Let l = s - y. Is l composite?
False
Let k(t) = -17*t**3 + t**2 - 13*t - 25. Let y(n) = 9*n**3 - n**2 + 7*n + 13. Let d(p) = 6*k(p) + 11*y(p). Is d(-6) a prime number?
True
Let l(n) = -n**3 + n. Let t be l(1). Let q(b) = b + 1. Let j(y) = y**2 - 2*y - 292. Let p(f) = -j(f) - 3*q(f). Is p(t) prime?
False
Let g(t) = t**3 + t - 3970. Let n be g(0). Is 1/((-11915)/n - 3) prime?
False
Suppose -3*s + 2*k + k = 5166, -5*k = 4*s + 6915. Let q = -1112 - s. Is q a composite number?
False
Suppose 0 = 3*n - 12, -2*d = -6*d - 5*n + 159