ber?
True
Let n = -1148 + 3509. Is n prime?
False
Suppose 0*z = 3*d - 5*z + 15, 6 = 4*d + 2*z. Suppose -2*l = o - 6*o + 355, -3*l - 15 = d. Is o a composite number?
True
Suppose 0 = -5*o + 4788 + 7727. Is o a prime number?
True
Suppose -4*a + 142 = -190. Let z = a + -47. Let h = 55 - z. Is h a prime number?
True
Suppose -5*o = -5*y + 57 - 17, 4*o + 16 = 0. Is y/14 - (-5340)/28 a prime number?
True
Let c(u) = -8*u - 1. Let j be c(1). Let o(z) = z**3 + 11*z**2 + 8*z + 1. Is o(j) composite?
True
Let j = -2204 - -6751. Is j a prime number?
True
Suppose 3*u + 2864 = 20. Let m = u - -1446. Suppose k + k - 4*p = m, 4*p = -2*k + 458. Is k a composite number?
False
Suppose -l + 1 = -71. Let q = -34 + l. Is q/6*(-5 - -8) a prime number?
True
Suppose -24*d + 14712 + 389808 = 0. Is d a prime number?
False
Let a = -4864 - -8213. Is a a prime number?
False
Let h = -26 - -87. Let g = h + -28. Is g prime?
False
Let f = -20 - -20. Suppose i + 2 + 5 = f. Is i/1*(-268)/4 a prime number?
False
Suppose 99 = -j + 4*j. Suppose -5*i = -7 - j. Is 2/(-6)*(-1159 - i) composite?
False
Suppose -2*u - 29*g + 27*g = -7522, -5*u + 18805 = -5*g. Is u composite?
False
Suppose -53*r + 83488 = -21*r. Is r composite?
False
Suppose 0*s + 3*s - 90 = 0. Suppose -s + 6 = 4*h. Is (-2918)/h + 2/3 composite?
False
Let a(z) be the first derivative of -z**4/2 + z**2 - 5*z - 1. Let d = -8 + 3. Is a(d) a composite number?
True
Let o(z) = z**3 - 6*z**2 + 2*z - 14. Let x be o(6). Let n be (-6)/x + -3 + 0. Suppose n = -2*i + 39 + 23. Is i a prime number?
True
Let j(s) = -132*s**3 - 7*s**2 + 26*s + 28. Is j(-7) a composite number?
True
Suppose -4 = -2*x, -335 = 4*q - 3*x - 85. Let l = q - 73. Let b = l - -191. Is b prime?
False
Suppose 0 = 3*q + 1005 - 12126. Is q composite?
True
Suppose -4*y + 3*f = -435, -4*y - 2*f = 3*f - 427. Suppose 3*k = 69 + y. Let m = k - 36. Is m composite?
False
Is 10/(((-4)/2302)/(-1)) composite?
True
Is ((-16)/12)/(56/(-76566)) prime?
True
Let v be 4 + 1 + (2 - 2). Suppose 2*p + 2946 = -3*a + v*a, a = 4*p + 1479. Is a prime?
True
Let r = 2749 + -1907. Let v = r + -433. Is v prime?
True
Is (-92994)/(-7) + (-50)/(-350) prime?
False
Let p(o) = 357*o**3 - o. Let v be p(1). Suppose -5*c + v = -c. Suppose -4*a = -2*i - 1044, -a + 328 - c = 5*i. Is a composite?
True
Suppose -j + 2 - 4 = 0. Let y be 1 + (-3356)/(-4) + j. Suppose 6*v - y = 4*v. Is v prime?
True
Let q = 1044 - -869. Is q prime?
True
Let v = -271 - -577. Let u = v - 148. Is u a prime number?
False
Let l(d) = 117*d - 41. Is l(12) prime?
False
Suppose 67 - 256 = -j. Let d = 316 - j. Is d composite?
False
Suppose -4*q - 20534 = -5*k, 0*k - 4*q = 2*k - 8236. Let p = 43 - 36. Suppose -p*l = -l - k. Is l a composite number?
True
Let s = 41 + -57. Let a be 5 - s/(-4) - -2. Suppose -5*j + 2*h + 328 = 3*h, 4*j = -a*h + 269. Is j a prime number?
False
Let p = 1 + 6. Suppose -4*m + 9 = -p. Suppose -53 = -m*z + 3. Is z composite?
True
Let g = 6455 + -1956. Is g composite?
True
Let d = 2187 - -2434. Is d composite?
False
Let y(k) = -3*k**3 - 9*k + 3*k**3 - 1 + 15*k**2 + 17*k + k**3. Is y(-10) composite?
False
Let w be 4/2 + 1 + -1. Suppose -12 = -w*x + 4*a, -1 = -3*a - 7. Suppose -x*q = -41 - 57. Is q a prime number?
False
Let m = -16 - -16. Suppose m*n = -6*n - 30. Is -3 - (-355 + 5/n) composite?
False
Let d(s) = -2*s - 10. Suppose 0 = l - 4*k + 21, 3*k = l - 0*k + 17. Let i be d(l). Is (5 - 3) + 329 + i a composite number?
False
Is (7 + 36/(-3))*(-79 + 0) composite?
True
Is (-568047)/(-33) + (-210)/385 a composite number?
True
Let u(j) = 7*j - 23. Let r be u(5). Let n(f) = 29*f + 34. Is n(r) composite?
True
Suppose 17*s = 10*s + 56. Suppose 10*a = s*a + 838. Is a composite?
False
Let c(t) = -t + 33*t**3 - t**2 - 8*t**3 + 3*t**2. Is c(1) prime?
False
Let z(h) = 1361*h**2 + 53. Is z(-8) composite?
True
Suppose -70 = -2*d + 4*v, -30*v = -31*v - 1. Is d prime?
False
Let w = 2098 + 1837. Is w composite?
True
Suppose -3*b = -11*b + 52784. Is b composite?
True
Let b be (-38 - 229)/(1 - 0). Let g be ((-2)/(-5))/(1/(-365)). Let z = g - b. Is z composite?
True
Suppose 0 = j + 5*t + 26, -t + 4*t + 30 = -3*j. Let d(w) = -837*w + 11. Is d(j) prime?
False
Let p = 13 + -10. Let b = 0 + p. Suppose b*t - 27 = 42. Is t prime?
True
Let d(g) be the second derivative of 23*g**4/4 + g**3/3 - 3*g**2/2 + 7*g. Suppose -h + i + 12 = -i, 4*h = i + 20. Is d(h) a prime number?
True
Suppose 20*s - 61766 = 124974. Is s composite?
False
Let k(f) = -15*f - 1. Let w be k(-6). Suppose 3*h - 5*o - 588 = 0, h - 5*o - 97 = w. Suppose -35 = x - h. Is x prime?
False
Suppose -9877 - 2186 = -2*n - f, 0 = 2*n - f - 12053. Is n a prime number?
True
Suppose -5*c + c + 26170 = -2*y, -2*c = 3*y - 13073. Is c a composite number?
True
Let i = -14 - -10. Let y be i + -141 + 1 - 0. Let f = y + 233. Is f a prime number?
True
Suppose -4840 = -7*q - 129. Is q prime?
True
Let w(a) = 27*a**3 + 6*a**2 + 13*a + 13. Let f(j) = 54*j**3 + 12*j**2 + 27*j + 26. Let h(k) = 2*f(k) - 5*w(k). Is h(-6) a composite number?
False
Suppose 7*x + 11 = 39. Suppose m + 184 = x*m + 2*y, y = 5*m - 285. Is m composite?
True
Let d = 4959 - 2699. Let a = d + -1327. Is a a composite number?
True
Suppose -4 = o - 3*n, 5*o + 5*n - 21 = 19. Suppose 0 = o*h - 4*c - 775, 155 = h + c + 2*c. Is h composite?
True
Let f = -10143 + 16825. Let a = 11733 - f. Is a prime?
True
Let x(u) = 4*u**2 + 11*u - 17. Let g(h) = -h - 27. Let y be g(-13). Is x(y) a composite number?
False
Let u = 44058 + -19387. Is u a prime number?
True
Suppose -8*f + 12*f = 4. Let o(c) = 681*c**2 + 2. Is o(f) a composite number?
False
Let k(i) = i**3 - 21*i**2 + 10*i - 27. Let d(h) = h**3 - 22*h**2 + 10*h - 27. Let w(n) = 6*d(n) - 7*k(n). Is w(13) a prime number?
False
Let x(g) = -19*g - 3 + 20*g + 17*g + 13*g. Let s be x(5). Suppose z = 3*f - s, 4*z = -4*f - 56 + 264. Is f prime?
False
Let f(z) = z**2 - 10*z + 13. Let i be f(9). Suppose -i*r - 2*m + m = -10, -3*m = 2*r. Suppose -222 - 123 = -r*g. Is g a composite number?
True
Let v(j) = 572*j**3 + j**2 - 6*j + 2. Let t be v(2). Suppose -t - 10144 = -7*l. Is l a prime number?
False
Suppose -40*k - 4*k = -219516. Is k a composite number?
True
Let o(g) = g**3 - 7*g**2 + 7. Let n be o(7). Let c(p) = 252*p + 10. Let f be c(n). Suppose -2*m + 4435 = 5*y + m, 2*y = -2*m + f. Is y composite?
False
Let h(p) = 12*p**3 + 5*p**2 - 7*p + 7. Is h(7) composite?
True
Let w(q) = 11*q**3 - 4*q**2 - 3*q - 19. Is w(8) prime?
True
Let m = -566 - -1050. Let g = m + 163. Is g a prime number?
True
Let m = 4 + 5. Let g = 9 - m. Suppose o + n + 76 = 222, g = -2*n + 10. Is o composite?
True
Let x(o) = -466*o + 1. Let t be 6/((-2)/4*4). Is x(t) a prime number?
True
Let i = -44 - -47. Suppose 5*s = -i*s + 4136. Is s prime?
False
Let v be (-1 + 63 - -4)*6. Suppose -8*q + 3*q - n = -v, q - n = 78. Is q a composite number?
False
Let m = -8172 + 17555. Is m composite?
True
Let t(b) = -1311*b + 4. Is t(-1) a prime number?
False
Let s = -85358 + 121771. Is s composite?
True
Suppose 418935 - 35876 = 19*o. Is o composite?
False
Let c = 5754 - 2987. Is c composite?
False
Let x be (5/(-30)*-20)/((-2)/15). Let b(o) = -98*o - 55. Is b(x) a composite number?
True
Let n(s) = 2*s**2 - 13*s + 2. Let o be 2/(-5) - (-627)/55. Let k = o - 2. Is n(k) prime?
True
Suppose -4 = -4*v + 36. Suppose 9*x - 3 = v*x. Is (-2970)/(-8) + x/12 composite?
True
Is -3*(-9 - (-2648)/(-12)) composite?
True
Suppose 3044 = a + a. Let c(g) = -182*g - 11. Let b be c(-5). Let j = a - b. Is j a prime number?
False
Suppose 2*n - 2*m = 23178, 12788 = 2*n + 2*m - 10398. Is n composite?
True
Let k(v) = v + 10. Let d be k(-6). Suppose -3745 = -d*r - r. Is r prime?
False
Suppose 0 = -2*j + 7*j - 10. Suppose 0*l = -j*b + l + 9, -2*l = 5*b. Suppose 2*p + 2*w + w - 344 = 0, -b*p = 2*w - 340. Is p a composite number?
True
Let j(k) = 5*k + 2*k**2 + 9 - 3*k**2 + 2*k. Let r be j(7). Suppose -4*v = -r*v + 425. Is v prime?
False
Suppose 5*h - 30 = -5*f, 2*f = -20*h + 19*h + 8. Suppose 3*i = -3*m + 2*m + 8, -5*i = -m. Suppose x - 6 = -m*w + 58, -f*w = -2*x + 116. Is x a composite number?
False
Let i = 1350 + -5926. Let y = i + 6779. Is y composite?
False
Let b(i) = -2*i**2 - 19*i - 21. Let z be b(-17). Let f = 103 - z. Is f a prime number?
True
Let v = 2508 + -1326. Let 