r = -2 - 2. Is 128 + (0 - 1) - r composite?
False
Let v be (618/15)/((-22)/55). Let j be (-4)/(-10) - 3/(-5). Is (9 - v) + 1/j a prime number?
True
Suppose 4*s = 5*s. Suppose -2*p - 8 = -s*p. Is p/12 - (-328)/3 a prime number?
True
Let s = 14 + -13. Let q be -4 - 177/(-3)*s. Suppose q = 5*u - 0*y + 2*y, -2*u + 41 = -3*y. Is u prime?
True
Suppose -2*p = -2*u - 3020, -2*p = -5*u - 0*u - 3017. Is p a composite number?
False
Suppose -2*p = -6 - 10. Let u = p + -8. Suppose 0 = -u*k - 3*k + 42. Is k a composite number?
True
Let f(m) = -3894*m**3 - 5*m**2 - 6*m - 2. Is f(-1) composite?
True
Suppose -7304 = 3*v - 23927. Suppose -v = -5*f + 2*f. Is f composite?
False
Let u be 2/(-8) - 3*39/(-36). Suppose -2*v = u*v - 3515. Is v a prime number?
False
Suppose 5*k - 26 = -6. Suppose -k*w + 113 = a + 287, -3*w + 304 = -2*a. Is a/12*2*-3 a composite number?
False
Is (-1 - (-2 + (52 - 4)))*-127 a composite number?
True
Let i(g) = -g - 9. Let l be i(5). Let o be l/(-35) - (-3308)/5. Suppose 0*b = 2*b - o. Is b composite?
False
Let z(i) = 56*i**2 - 5*i + 3. Suppose 0 = -q + 7*q + 24. Is z(q) a composite number?
False
Is 5 + (212 - 3) - 3/1 a prime number?
True
Let r = 114950 + -60121. Is r a composite number?
False
Let n = 20 - -109. Is n prime?
False
Let d be (-8)/28 + 38/(-14). Let q be (-4)/(d/(-1) + -4). Is 6/q*118/3 a composite number?
False
Let z(c) = 4*c**3 - 13*c**2 + 5*c + 6. Let r be z(8). Suppose x + 2 = 2*x, r = 5*p - 4*x. Is p a prime number?
False
Suppose -4*w - 2*s + 27068 = 0, 17776 = 5*w - 3*s - 16081. Is w composite?
True
Suppose 0 = -3*k + 43 - 28. Suppose -7*o = -k*o - 5*i - 1138, -4*o + 2232 = i. Is o prime?
False
Suppose 5*a + 115 = 520. Let w = a - 194. Let t = 226 + w. Is t composite?
False
Is (-12951)/(-2)*(528/(-54))/(-22) a composite number?
True
Suppose 2*h - 3*a - 90175 = 0, -11322 - 33764 = -h + 3*a. Is h a composite number?
True
Let v be (-7252)/111*(17/2 + -1). Let q = v + 897. Is q a prime number?
False
Suppose 66*k - 148237 = -18943. Is k a prime number?
False
Suppose 4*z - 1822 + 334 = 0. Let t = 595 - z. Is t a prime number?
True
Suppose 4*p - 10413 = 5*g, -4806 = -2*p - g + 383. Suppose 4*y - 1294 = -2*m, 3*m + m = y + p. Is m composite?
True
Suppose 0 = -4*y - 3*i - 10 - 9, -2*y - 4*i = 22. Let n(z) = 3*z**2 + z + 1. Let m be n(y). Suppose 0 = -4*v + 20, -4*v - 154 = -d - m*v. Is d prime?
False
Is 20/16 - (-14172)/16 a prime number?
True
Let i(r) be the third derivative of 13*r**5/3 - r**4/24 - r**2. Let k(f) = f**2 + 8*f + 8. Let o be k(-7). Is i(o) a composite number?
True
Let s = -299 + 487. Let f = 304 + s. Let n = f - 349. Is n prime?
False
Let o = -14 - -12. Is o/((-4)/(-10)) + 26 a composite number?
True
Let l(p) be the first derivative of -1/3*p**3 - 4 - 1/2*p**4 + 12*p + 2*p**2. Is l(-5) a composite number?
True
Is ((-9)/21)/(22/(-339262)) prime?
False
Suppose 0*k = -k + 841. Suppose 5*d + 154 = -k. Let c = d + 348. Is c composite?
False
Let d = 90 + -90. Suppose d = -v + h + 698 - 119, -v + 575 = -3*h. Is v prime?
False
Let a(p) = -41*p + 18. Let f be a(-9). Let w = f + -210. Suppose -5*r - 4*t + 447 = 0, -4*r - 5*t + 186 + w = 0. Is r a prime number?
False
Is 43233/(-15)*-15*8/24 prime?
True
Let a = 606 + 160. Is a composite?
True
Suppose 2*d = 3*u + 29545, -3*u = -50*d + 55*d - 73894. Is d composite?
True
Let a(h) = h**3 - 2*h**2 - h - 4. Let s be a(3). Let i = -38 - -40. Is (21/i - 1)*s prime?
True
Let d = -1025 - -1582. Is d prime?
True
Let n = 465143 + -302082. Is n a composite number?
False
Let g = 663 + 376. Is g composite?
False
Suppose 364*l = 359*l + 307815. Is l prime?
False
Suppose -4*a + 2031 = 10*b - 7*b, 2*a - 1012 = 2*b. Let z = 1378 - a. Is z a composite number?
True
Let w = 13 + -9. Suppose 0*t + 18 = -5*i - w*t, -8 = 4*t. Let r(f) = 133*f**2 - 3*f - 5. Is r(i) a composite number?
True
Is (-84)/112 - (-3035)/4 composite?
True
Let l = 25 - 25. Suppose l*u + 171 = u + 4*y, 0 = 3*u + y - 568. Is u prime?
True
Suppose 5*x - 23210 = 5*f, 6*x - x - 4*f = 23205. Is x composite?
False
Suppose -7*d = -5*n - 2*d - 20, 9 = -3*n + 2*d. Let m be (n + 3)*-1*24. Let u = 71 + m. Is u a prime number?
True
Let n(y) = 8*y - 20*y + 104 - 97. Is n(-6) composite?
False
Is (-2521)/((52/44)/(-13)) a composite number?
True
Let y = 16 - 12. Suppose 5*a + 1 = -n, 0*n + y*a = 2*n + 2. Is -1 - (95 - n)/(-2) composite?
False
Suppose -3*m - 2*w - 4 = 0, -4*w + 20 = -2*m + m. Let d(n) = -n**2 + 3*n - 5. Let z be d(m). Let v = z - -54. Is v composite?
True
Let d(v) = -6*v**2 + 6*v - 5. Let x(z) = -5*z**2 + 7*z - 6. Let k(w) = 4*d(w) - 5*x(w). Let b be k(10). Let p(q) = q + 178. Is p(b) a prime number?
False
Let m(z) be the third derivative of z**6/120 + z**5/20 - z**4/6 + 2*z**3/3 + 4*z**2. Let a be m(-4). Is 23/a*(1 - -51) prime?
False
Suppose -382*n + 381*n = -5879. Is n composite?
False
Let i = -229 + 386. Suppose -160 = s + s. Let g = i + s. Is g composite?
True
Let c(y) = y**3 + 19. Suppose 0 = 3*t - 4*t. Let s be c(t). Suppose -3*d - s = -250. Is d a prime number?
False
Suppose 2*z + z - 4650 = 0. Let h(q) = -6*q - 1. Let p be h(-1). Suppose -z = -p*d - 305. Is d a composite number?
True
Let u be 4/8 - 6/(-4). Suppose -4*g + 59 = -5*d, 2*d - 4 = -2. Suppose -5*o = -n + g, -u*n - 3*o = o - 46. Is n a composite number?
True
Let z = -1206 - -2448. Suppose -t + 4*o - 8*o + 1268 = 0, 4*o = 8. Suppose 5*p + t = 3*s, 5*s - 2*s - z = -p. Is s a composite number?
True
Let u(w) = -w**3 + 5*w**2 - 6*w + 16. Let v be u(4). Is (-14596)/(-12) + v/12 a prime number?
True
Let f(j) be the first derivative of j**3 - 5*j**2 + 5. Is f(5) a prime number?
False
Suppose 0 = -3*o - 2*o + 145. Suppose 0 = 7*t - 2*t - 3*d - 70, o = 4*t + 3*d. Is (t - 18)*(0 + -1) prime?
True
Suppose 24*p = 4*j + 23*p - 10573, 2*j - 5283 = -3*p. Is j a prime number?
False
Let l be (-3)/(-6)*(-10 + 0). Let o be 2 + -2 - (1 - l). Let w(r) = -12*r - 1. Is w(o) composite?
False
Suppose 14*b = 17*b + 12, 4*b - 38653 = -i. Is i a prime number?
True
Let g = 5 - 20. Let x(b) = -b**2 - 15*b + 14. Let t be x(g). Suppose v - 113 = t. Is v a composite number?
False
Suppose 4*z - 213233 - 23275 = 0. Is z a composite number?
True
Let q(y) = -2*y**2 - 3*y + 27. Let i(o) = o**2 + 2*o - 14. Let f(b) = -11*i(b) - 6*q(b). Let d be f(6). Let p = d - 2. Is p composite?
False
Suppose 9*s = 10*s - 5. Suppose -2*x - 921 = -s*x. Is x a composite number?
False
Let q = -19100 + 38397. Is q prime?
False
Suppose 10*r - 43771 = 166999. Is r a prime number?
False
Let h(p) = 417*p - 7. Let w be h(4). Suppose 2*t - 827 = -2*z + 5*t, t = -4*z + w. Is (2 + 1)*z/15 prime?
True
Let q(c) = -3*c**2 - 2*c**3 - 4 + 4*c**2 - 2*c**2 - 4*c. Let s be (-5)/45 + (-104)/36. Is q(s) a prime number?
True
Suppose 4*n - 6*t = -2*t - 632, -12 = -4*t. Let s(j) = -3*j**2 + 7*j + 4. Let x be s(4). Let q = x - n. Is q a composite number?
False
Suppose -3*j - 7183 = -n, j = 4*n - 3*j - 28764. Suppose g - 4*g - 4*q = -n, 4*q - 4802 = -2*g. Is g prime?
True
Suppose 0 = 3*i + i - 8. Suppose 0 = u - v + 4*v - 2, 4 = i*u - v. Suppose 0 = u*r - 462 + 144. Is r a composite number?
True
Suppose -4*b - 16 = 0, -b + 183048 = 5*y - 41418. Is y a composite number?
True
Let n = 7 - 12. Let w = n + 9. Is 99 + -1 + w/(-4) prime?
True
Let n(t) = 954*t**2 - 13*t + 3. Is n(-4) prime?
True
Suppose -12039 = -5*m + 4*r, 7*m - 3*r - 12038 = 2*m. Is m composite?
True
Suppose m + 3*m = 0. Suppose 3*g + 3*w - 13926 = 0, m*w = 5*g + 3*w - 23200. Let h = g + -3276. Is h a prime number?
True
Let f be ((2 + 0)*-4)/(-1 - 1). Suppose f*m - 901 = 7255. Is m prime?
True
Suppose 0 = 4*k - 6*k + 13558. Is k composite?
False
Let i = 17078 - 11539. Is i a prime number?
False
Suppose -7230 = -5*h + 10400. Suppose -m - h = -3*m. Is m composite?
True
Suppose -k + 2*s = -7, -4*s = 2*k - 5*k + 13. Let l be ((-2)/5)/(k/1405). Suppose 3*p - 762 = 2*c, -3*p = 3*c - l - 200. Is p prime?
False
Suppose 0 = -2*d + 3*d - 56. Let q be d/10 - 2/(-5). Suppose 1768 + 1538 = q*v. Is v composite?
True
Let d be -2*(-2)/4*-29. Let q = 84 + d. Is q a prime number?
False
Suppose 5*a + 9660 = 5*y, 5*y + 0*y - 9670 = 3*a. Is y composite?
True
Let f(y) = -3*y**3 - 4*y**2 - 2*y + 7. Suppose 0 = -5*w, -4*a + 2*w + w + 12 = 0. Let m be f(a). Let g = m + 243. Is g prime?
True
Let d(