 composite number?
True
Let f = 22003 - 10724. Is f a prime number?
True
Let c(w) = 6 - 5 - 2*w**2 - 44*w**3 + 2*w**3. Let s be c(1). Let o = s + 80. Is o a prime number?
True
Let t(f) be the second derivative of -17*f**3/3 + 7*f**2/2 + 19*f. Is t(-11) a prime number?
False
Let y be (26 - 23) + 2*-10. Suppose -4*s + 0*s = -264. Let w = s - y. Is w prime?
True
Suppose -7*n - 13*n + 516820 = 0. Is n composite?
False
Let w be -156*(1 - 2)/2. Let s = 443 - w. Is s composite?
True
Suppose -k = 2*i - 317, -2*i + 1590 = 5*k + 3*i. Is k a prime number?
False
Suppose -4*y = -7 - 5. Suppose h - 26 = -x - x, 0 = -x - y*h + 18. Suppose 2*k - 67 = -5*l + x, 2*k = -4*l + 82. Is k composite?
False
Is (-164)/(-369) + (-756658)/(-18) composite?
True
Let m(t) = -t**2 + 7*t + 10. Let w be m(9). Let g(r) = -r**3 - 3*r**2 - 2*r - 6. Let b be g(w). Let q = 541 - b. Is q a composite number?
False
Let w be 2/5 - (-13038)/30. Suppose 3*b - 252 = 3*o, -5*b + 3*o - o + w = 0. Is b prime?
True
Let r = -5304 + 16853. Is r composite?
False
Suppose -4*f = 5*r - 4*r - 9, 4*r = 4*f + 16. Suppose 0 = 5*n - 0*n - r. Is (-1)/(1/(n - 114)) a prime number?
True
Let l(v) = 1435*v**3 - 2*v**2 + 1. Let z be l(1). Let t = 1711 + -1166. Let i = z - t. Is i composite?
True
Suppose 0 = -38*o - 22*o + 1175820. Is o a prime number?
True
Let b(i) = 2*i - 1. Suppose 5*j - 14 = -4*r, -2*j - j = -4*r + 30. Is b(r) composite?
False
Is (3 + -2 + -15154)*(-35)/15 prime?
False
Is (-18958)/(-18) + (-34)/153 - -2 a prime number?
False
Suppose -6 = -3*w, -3*d + 1 - 2 = -5*w. Suppose -5*h + d*h - 3*q + 1536 = 0, -2270 = -3*h + 4*q. Suppose 8*v - 2*v = h. Is v prime?
True
Let o = 20649 - 13642. Suppose -7*k + o = -3920. Is k a prime number?
False
Let h = -14 - -16. Suppose -h*y + 376 = -298. Is y composite?
False
Suppose -p - 4*p = -754495. Is p composite?
True
Suppose 9*g + 22783 = 88762. Is g composite?
False
Let h = -2 - -4. Suppose -3*o + 2*o + 3 = 0. Suppose u + 5*f = o*u - 91, -218 = -4*u - h*f. Is u a composite number?
False
Let q(a) = -a**3 - 2*a**2 - 8*a - 52. Is q(-9) prime?
True
Is -2517*(-6 - (-85)/15) a prime number?
True
Suppose 0 = -771*p + 770*p + 13499. Is p a prime number?
True
Let n(l) = l**3 - 3*l**2 - 6*l - 3. Let f be n(12). Let p = -775 + f. Is p a composite number?
True
Suppose -52*a + 45 = -47*a. Is (3/(a/12813))/(-11 - -12) prime?
True
Suppose 3*z + 2*z - 20 = 0, -2*p - 2*z = -1114. Is p a composite number?
True
Let a(y) = 85*y**2 + y - 27. Is a(5) a prime number?
False
Let u(v) = v**3 + 11*v**2 - 2*v - 11. Let d be u(-11). Suppose -237 = -d*l + 10*l. Suppose -4*k + k + l = 0. Is k a composite number?
False
Let r be (-1 - 0)/(42/(-10) - -4). Suppose 3*i - 5820 = -5*b - 494, r*i - 8883 = -2*b. Is i a prime number?
True
Let u(k) = 2501*k**2 - 8*k - 32. Is u(-3) a prime number?
True
Let z(b) = -2*b - 8. Let x be z(-5). Suppose x*m - 5*m - 21 = -3*y, 5*y - m - 19 = 0. Suppose -3*c + 6 = 0, -y*c + 69 = -2*t + 201. Is t prime?
False
Let i be (-2)/(-6)*(6 + -9). Is i + 2/4 - 22110/(-44) a prime number?
False
Let a be 1*(3 + -2 + 1). Let m(p) = 65*p + 3. Let i be m(a). Suppose -i + 40 = -z + q, 4*q - 113 = -z. Is z prime?
True
Is 195*(-18)/(-12) + 3/(-2) composite?
True
Let l(h) = 112*h - 5. Is l(6) a composite number?
True
Suppose -4*m - 5*f + 132 = -2*m, 5*m - 284 = -f. Suppose -g - 2*u - m = -0*g, 0 = -g + 5*u - 49. Let q = g + 107. Is q composite?
False
Let b = 29 + 1. Let m = b - -191. Is m a prime number?
False
Let h(f) = -34*f - 10 - 20 + 44 - 8 - 19. Suppose 4*u - 9 + 57 = 0. Is h(u) a prime number?
False
Let q = 27923 - 18796. Is q prime?
True
Suppose -3*m + 23 = 2*p - 0*m, 3*m + 5 = 5*p. Suppose 2*h = p*b + 26, -4*h - 2*b + 47 = -5*b. Let f(l) = l**2 - 8*l - 10. Is f(h) a composite number?
False
Let n be 20/15 + 8/12. Suppose n*d - 10*d + 112 = 0. Is d a composite number?
True
Is (4 + 1 - (-5283)/36)*20 a prime number?
False
Suppose -9*s - 28613 = -22*s. Is s a composite number?
True
Let j(p) = -252*p + 1. Let d(t) = -503*t + 1. Let n(r) = -4*d(r) + 7*j(r). Is n(1) prime?
True
Is 1 + (-64074)/(-4) + (-6)/12 composite?
True
Let b = -19 + 29. Let s(g) = -g**3 + 7*g**2 + 3*g + 4. Let m be s(7). Is 3074/b - 10/m a composite number?
False
Let o be ((-5)/(-20))/(1/8). Suppose -o*m = -8*m + 2190. Is m a composite number?
True
Let j = 2268 - 1517. Suppose 2*d = -5*l + j, 4*l - 507 = 2*d + 83. Is l composite?
False
Let u(x) = -3*x. Let n be u(-1). Suppose -489 = -0*t - n*t. Let h = 16 + t. Is h prime?
True
Suppose -2*j + 9 = -5*j. Is (4 - (-10)/j)/(6/4041) prime?
True
Let a(f) = 132*f + 7. Let w be a(3). Let t = w + 88. Is t composite?
False
Suppose -15*k = -14*k - 5. Suppose h - k*h = 3708. Let u = -620 - h. Is u a composite number?
False
Let m be 45*((-52)/(-12) + -4). Suppose 556 = m*x - 13*x. Is x a prime number?
False
Let c be (-2)/6 - 28/(-12). Let z be c*-3*16/24. Is 6/z*742/(-21) a prime number?
True
Suppose 0 = -7*k + 28*k - 63462. Is k prime?
False
Let p = -25 - -31. Is (-882)/(-8) - p/(-8) prime?
False
Let f = 6738 - 611. Is f composite?
True
Is (4/6)/(22/52701) composite?
False
Let t(u) = -u**2 - 8*u + 2. Let w be t(-8). Suppose -3*j = -0*j - w*v - 99, -4*j + 115 = 3*v. Is j prime?
True
Let a(p) be the first derivative of p**5/20 + 5*p**4/6 + 19*p**3/6 - 11*p**2/2 + 7. Let s(t) be the second derivative of a(t). Is s(-15) a prime number?
False
Suppose 3*u + 286 = 3*o + 19, -178 = 2*u - 3*o. Let c = u + 1258. Is c prime?
False
Let b(q) = -2*q**2 + 20*q + 13. Let g be b(-5). Let i = 510 + -304. Let k = i + g. Is k prime?
False
Let f be 0 + (8/(-4) - -4). Suppose -2 = -f*i + 6. Is 237 - 0/(i - 7) composite?
True
Let t = -1111 - -1760. Is t prime?
False
Suppose -7*a + 28602 = 2*n - 6*a, 57210 = 4*n - a. Is n a prime number?
False
Suppose 4*o + 12 = v, -5*o - 1 = 5*v - 11. Suppose -v*s = 4*h + 1480, -2*s - h = 4*h + 734. Let m = 35 - s. Is m a composite number?
True
Let k(u) = 2*u - 32. Let f be k(16). Suppose f*r = 3*r - 237. Is r composite?
False
Suppose 5*j - 695 = f + 1697, -5*j - f = -2398. Is j prime?
True
Suppose 58*f = 65*f - 6755. Suppose -f + 12383 = 6*l. Is l a composite number?
True
Suppose -5*w + 54 - 139 = 0. Let h = w + 20. Suppose h*g - 1324 = -g. Is g prime?
True
Let d = -4425 - 1727. Is 2 + (1 - d/4) a prime number?
False
Let z be (648/90)/((-3)/(-310)). Let u = 1583 - z. Is u a composite number?
False
Suppose 4*a - 3 = -2*c + 9, -15 = -5*a + 3*c. Is ((-3144)/(-9) - 4/(-6)) + a a prime number?
True
Let y be 196/3 - -1 - 4/(-6). Suppose -i + y = -120. Is i prime?
False
Let z = -13239 - -7524. Is (4/(-6))/(6/z) a composite number?
True
Suppose -359*j + 366*j - 164913 = 0. Is j a prime number?
False
Let r = -49 + 81. Let a = 67 - -23. Let c = a - r. Is c a composite number?
True
Let k(l) = 5*l**3 + l**2 - 5. Let o be (-9 + 6)/(6/(-22)). Let m = -7 + o. Is k(m) prime?
True
Let b = 6 - 41. Let a be b/(-11) - 48/264. Suppose -q - 489 = -a*j + q, 163 = j - 3*q. Is j a composite number?
False
Let u = -782 - -1350. Suppose 2*z + 146 = u. Is z a prime number?
True
Let m(t) = -65*t**3 - 5*t**2 + 6*t + 11. Is m(-6) a prime number?
False
Let z(r) = 412*r - 31. Is z(14) prime?
True
Suppose -6 = -m - 0. Let h(y) = -m*y**2 - y**2 + 5*y**2 + 2 + 3*y**2 - 8*y. Is h(11) a composite number?
True
Let v be (39/6)/(3/6). Let w(x) = 311 + x + 0*x - v + 201. Is w(0) a composite number?
False
Let j(n) be the third derivative of 5*n**4/24 + 6673*n**3/6 + 34*n**2. Is j(0) a prime number?
True
Let s = 36 - 25. Let m(t) = t**2 - 10*t + 26. Is m(s) composite?
False
Let s be (-4 + 4 + -1)*-1. Let n be s/((-4)/16*-2). Suppose -n*y - 3156 = 2*t - 6*t, -4*t = 2*y - 3156. Is t composite?
True
Suppose 5*x - 4*q + 147 = -0*x, 0 = 2*x + 4*q + 42. Let m = -27 - x. Suppose -2*t - 4 = m, -4*t - 18 = -5*l + 20. Is l prime?
False
Let u(c) = c - 1. Let q(s) = -14*s + 3. Let o(a) = q(a) + 5*u(a). Is o(-5) composite?
False
Suppose y + 1774 = 4*s, -2*s + 5*y - 876 = -4*s. Is s prime?
True
Suppose 5*d + o = 358, 3*d - 3*o - 204 = -0*d. Suppose -i - 7 = -0*i - 5*v, v + 31 = 2*i. Let q = d - i. Is q prime?
True
Let i(g) = g**2 - g**2 + 0*g**2 + 2*g - 1 + 127*g**3 - g**2. Is i(1) composite?
False
Let r = 55 - 27. Suppose -z - 15 = -r. Is z prime?
True
Suppose -4*d + 242 = -2*n, 0 = 5*n + 5*d + 270 + 410. S