9*c. Is c a prime number?
False
Let x = 14 - 11. Suppose -a - 10 = -x*a. Suppose -a*j = -137 - 208. Is j composite?
True
Let n = -23 - -3. Let h = n + 23. Suppose -h*b - 157 = -4*b. Is b composite?
False
Suppose -2*u - q + 12201 = 0, 5*u = -18*q + 13*q + 30490. Is u a composite number?
True
Is (-108710)/(-4)*(-62)/(-155) a composite number?
True
Is (102/153)/(4/44598) composite?
False
Let o = -42 - -40. Is 0/(0 + o) - -719 prime?
True
Suppose 6*o = -o + 10983. Is o composite?
True
Suppose -4*b - 5*t + 9815 = -21476, -b - 2*t = -7819. Is b prime?
True
Let n(c) = -3*c**3 + 4*c**2 - 12*c - 10. Let z be n(9). Let v = 2987 + z. Suppose 3*m - 5*a = m + 507, -v = -4*m + 2*a. Is m a composite number?
False
Let b(k) = 587*k**3 - k**2 + 4. Let p be b(2). Is p - 15/(7 + -4) a prime number?
True
Let c = 5379 + -2900. Is c a composite number?
True
Let b(q) = -17 - 4*q**2 + 20 + 2*q - 2 - 7*q**3. Is b(-4) composite?
True
Let g be 18/(-135) + 13/(-15). Let o = 4 - g. Suppose -4*q = 4*f - 648, -q + 4 = -o*q. Is f composite?
False
Let f(z) = -z**3 + 20*z**2 - 22*z - 9. Is f(14) composite?
False
Let h = 0 - 1. Suppose 317*f - 3 = 318*f. Is f/(-2)*52 + h composite?
True
Suppose -9 = -8*m + 15. Let d(x) = -3*x + 5 - m*x - 66*x**3 + 7*x**2 + 67*x**3. Is d(-6) a composite number?
True
Is -3 + (-8 - -5) + 4373 a prime number?
False
Let h = 7 - 2. Suppose 4*u + i = -14, h*i - 24 = 4*u + i. Is (2/1)/(u/(-118)) composite?
False
Let u be 1/((-2)/998) + -4. Let z = u - -992. Is z composite?
True
Let o(v) be the third derivative of 31*v**5/10 - v**4/24 + 3*v**2. Is o(1) a prime number?
False
Suppose -8*h = -0*h + 74880. Let z = h + 13343. Is z a prime number?
False
Let m be 2084/(-18) - 12/54. Let r = -81 - m. Is r composite?
True
Let j(b) be the second derivative of b**4/12 - b**3/3 + 9*b. Let w be j(0). Suppose -26 = -2*k - 3*o + 66, w = -o. Is k composite?
True
Let y(z) = 16*z**2 - 34*z + 37. Is y(17) prime?
False
Suppose 0 = 41*k - 44*k + 4971. Is k a prime number?
True
Let y(g) = 2*g**3 - 10*g**2 + 9*g - 4. Suppose 3*h - 2*h = 4*l - 31, 2*h + 6 = 0. Let n be y(l). Is (2/3)/(2/n) composite?
True
Is (-7671 + -2)*-1 + -19 + 15 a prime number?
True
Is (-59333)/((11/((-308)/(-12)))/(-3)) prime?
False
Let p(j) = -4*j + 1. Let q be p(-3). Suppose 3*c + q = 4. Is 209/1 - 1 - c composite?
False
Suppose -9*a = -a - 22832. Is a a composite number?
True
Suppose 4*i - 451330 = -364*k + 366*k, 0 = -2*i + 2*k + 225660. Is i a composite number?
True
Let u(c) = -c + 6. Let t be u(6). Let p(j) = j**2 - 12*j. Let o be p(12). Suppose 4*l + o*l = h + 1174, h + 2 = t. Is l a prime number?
True
Let h be 1/2*-5*-214. Let k = h + -344. Is k prime?
True
Let x(c) = 16*c**2 - 9*c + 10. Let u(m) = -32*m**2 + 19*m - 21. Let v(b) = 2*u(b) + 5*x(b). Suppose -4*q + 29 = 1. Is v(q) a prime number?
True
Let c(m) be the third derivative of 11*m**6/120 + m**5/120 + m**4/4 - 7*m**2. Let b(g) be the second derivative of c(g). Is b(2) prime?
False
Let c = 5 + -3. Let n be 5 - 4/(-4) - c. Suppose -6 = 3*a, -n*d + d + 5*a = -1411. Is d a composite number?
False
Let a(k) = 6674*k**3 + 12*k - 13. Is a(1) a composite number?
False
Let n(c) = 236*c + 13. Is n(3) a composite number?
True
Let z(y) = y**2 + 3*y - 2. Let r be z(-4). Let q be 35/(-15) + r/(-3). Is (-992)/(-4) - 1*q a composite number?
False
Let v = -2547 + 10954. Is v a composite number?
True
Suppose d - 1 = 5. Let b(n) = n**2 - 7*n - 6. Let v be b(d). Is (-981)/(-6)*v/(-9) composite?
True
Let t(a) = -36*a**3 - 7*a**2 - 8*a - 7. Is t(-5) prime?
False
Let v = 375 - 519. Suppose 1468 = 5*d - d. Let z = v + d. Is z a prime number?
True
Let p be (-2)/14 - (-19)/133. Suppose 2*w - 4*w + 1790 = p. Suppose 0 = 3*q - w + 280. Is q a composite number?
True
Let b be 15/(-5) - (-2 + -5). Suppose -l = -b*o - 49, 0*o - 3 = o. Suppose 2*d - l = d. Is d composite?
False
Let f = 23591 + -12618. Is f prime?
True
Let w(n) = n**2 - 13*n + 10. Let q be w(13). Suppose -2*h - q = 0, -37 = g - 2*h - 261. Is g a composite number?
True
Suppose -7*q - 13*q = -328940. Is q composite?
False
Let y(d) = 4*d**2 + 2*d + 1. Let l be y(-1). Suppose -2*t = l*c + 421, -10 = -3*t + 2. Let a = c - -220. Is a a prime number?
False
Let t(w) = 5*w**2 - 33*w - 121. Is t(-21) a composite number?
False
Suppose 2*b - 337 - 2963 = 0. Let k = -395 + b. Is k a prime number?
False
Suppose 5*p - 20 = -2*f, 4*p = -p + 2*f. Is 0 - 3 - (p - 1218) composite?
False
Is 26450 + (-8 - -6) + (-4 - 1) a composite number?
True
Is (19661 - 0)*(6 + -1)/5 prime?
True
Let q = -697 + 2228. Let v = q - 652. Is v composite?
True
Suppose 6*i - 4 = 26. Suppose 0 = -i*u - 3*z + 8477, 2*u + 5*z - 171 - 3235 = 0. Is u a prime number?
True
Suppose 3*q - 2*g + 130 = 0, 5*g = -5*q + 76 - 276. Is 120 + q/(-35)*(-10)/(-4) a prime number?
False
Suppose 12 = g + 11. Let p(l) = 1364*l**2 - 3*l + 2. Is p(g) a prime number?
False
Suppose 6*q - 241825 = -19*q. Is q a prime number?
False
Suppose -4*x + 24076 = -3*l - 56694, 4*x - l = 80766. Is x prime?
False
Let u = -5940 + 10073. Is u prime?
True
Let n be (-122)/(-18) + -1 - 28/(-126). Is 362*-2*((-15)/n)/5 composite?
True
Let a = -6584 - -15997. Is a a prime number?
True
Let j = 400 + 1237. Is j composite?
False
Let c = -122 + 120. Suppose 3*n - 4*m = -2*m - 4, 3*n - 11 = -m. Is 298/c*(n - 3) a composite number?
False
Suppose 2*u = 5*n + 56182, 95782 = 5*u + 8*n - 44591. Is u a composite number?
False
Suppose -5*w + 4270 = 5*y, 0 = 4*y + w + 58 - 3462. Suppose -5*z = -4*v - 1047, 8*z - 4*z + 3*v - y = 0. Is z a prime number?
True
Suppose 111131 = -2*c + 3*c - 4*o, 111149 = c + 2*o. Is c prime?
True
Suppose -4*n + 0*n = -b + 8, -4*n = 8. Let m be (b/(-1))/(1/1). Suppose m = 3*u - 0*k + k - 776, 0 = -2*u + 5*k + 489. Is u a prime number?
True
Let u(b) = b**3 - 18*b**2 + 15. Let x be u(18). Suppose -906 = x*q - 13*q. Let r = -116 - q. Is r a composite number?
False
Let x(h) = 2*h - 296*h**3 + 295*h**3 - 3*h**2 + 6 + 0*h. Is x(-5) a composite number?
True
Is (8/20)/((-4)/(-180410)) composite?
False
Let g be 3 + 0 + -2 - -18. Suppose g = x - 15. Is x a prime number?
False
Suppose 3*p = -3*l + 50331, -8*l + 7*l + 2*p + 16789 = 0. Is l composite?
True
Let g(b) = b + 21. Let h be g(-10). Let z(r) = 3 + 6*r**3 + 4*r**2 + 7*r - h*r + 2. Is z(4) composite?
True
Is 0/2 - (-5)/25*35285 a prime number?
True
Let c(u) = u**2 + 5*u + 9. Let f be -10*3/(45/6). Let s be c(f). Let z(d) = d**3 - 2*d**2 - d + 9. Is z(s) composite?
False
Let z(g) = -g**2 - 9*g - 2. Let x be z(-8). Suppose x*b = 12202 - 2992. Is b prime?
False
Is (2566/(-16))/((-4)/32) prime?
True
Let n(o) = 54*o**2 - 2*o + 25. Is n(-9) prime?
False
Let a(o) = -o**2 + o - 1. Let u(m) = -492*m**2. Let g(z) = -a(z) - u(z). Is g(1) prime?
False
Let a(n) be the first derivative of n**4/4 + n**3/3 - n**2/2 + 31*n + 1. Is a(0) prime?
True
Suppose 2*t - 25 = -29. Is t + 3024 - 3/1 a composite number?
False
Let n = 75103 + -43364. Is n prime?
False
Suppose i = -2*v + 227 + 224, 0 = -5*i + 3*v + 2268. Suppose 5*s - s = 12. Suppose -2*p = 3*d - i, -5*d + s*p + 739 = p. Is d composite?
False
Let r(j) = 5*j**2 - 2*j + 3. Let y be r(2). Let x = -177 - y. Let g = 181 - x. Is g a composite number?
True
Suppose i = 125 + 52. Let a = -81 + i. Let s = a + 53. Is s prime?
True
Let o = -12185 - -20546. Is o/(-15)*-1 + 2/(-5) a prime number?
True
Suppose 0 = s + g - 290, s - g - 1160 = -3*s. Suppose 5*b + t = 1029, -3*b + 3*t + 331 = -s. Is b prime?
False
Let a(x) = -6*x**3 - x**2 + x - 2. Let v be a(-2). Suppose 45 + v = h. Suppose -2*c + h = -49. Is c a composite number?
False
Let y be 19/57 - 4223/(-3). Is (-6 - (-186)/30) + y/10 composite?
True
Let w(a) = 120*a - 13. Suppose -j - 3*j + c = -46, -2*j + 5*c = -32. Let f = -5 + j. Is w(f) prime?
False
Let x(t) = 15*t**3 + 4*t**2 + 3*t - 7. Let m(g) = g**3 + g**2. Let c(r) = 3*m(r) + x(r). Is c(6) a prime number?
False
Is (-160936)/(-6) + (-62)/(-186) a prime number?
False
Let z(q) = -q**2 - 3*q - 3. Let a be z(-1). Is ((0 + a)*-1514 - 4) + 1 a composite number?
False
Let k(y) = y**3 + 5*y**2 + 2*y - 3. Let d be k(-4). Suppose 0 = 5*h - d*g - 1480, 0*h = -3*h + 5*g + 878. Let w = h - -210. Is w composite?
True
Suppose x = 4*d - 0*d - 170, 2*d = 4. Let c = -95 - x. Is c a composite number?
False
Let t be 