3 = -170*d. Is d prime?
False
Let v(j) = 25*j**2 + 12*j - 3. Suppose -2*p = -3*m + 16, -5*m + 2*p = -0*p - 24. Is v(m) a composite number?
True
Is -5 + (4 + -9 - -9) - -1970 composite?
True
Let n = 14771 - 5770. Is n prime?
True
Let a(t) = -10*t**2 + 8*t + 12. Let p(o) = -29*o**2 + 24*o + 35. Let u(h) = 17*a(h) - 6*p(h). Is u(7) a composite number?
True
Let h(w) = -w**3 + 5*w - 3. Suppose 13*n = 16*n + 24. Is h(n) composite?
True
Let k be (-21)/35 + 13/5. Let g(n) = 4*n - n + 2*n**2 - 126*n**3 - k*n. Is g(-1) prime?
True
Suppose -4*j = 653 - 2249. Suppose 3*s + 18 - j = 0. Is 3/1*s/3 a composite number?
False
Let r be (-195)/12*(-15 - -3). Let c = 114 - 49. Suppose z + 3*l = c, 3*z + l - r = -3*l. Is z composite?
True
Let w = -37 + 36. Is 374/w*(7/2 - 4) a prime number?
False
Let i(b) = 11*b + 2*b - 14*b - 3 + b**2. Let n be i(3). Suppose 0 = -n*j - 12, -5*j + 126 = 3*o - 523. Is o prime?
True
Suppose -65*n + 55*n = -43730. Is n a composite number?
False
Let w(g) = 16*g**2 + 3*g. Let y be w(5). Suppose -9*f = -4*f - y. Is f a prime number?
True
Is (-4)/(-10) - (207224/(-40) - 8) a composite number?
False
Is 1369998/45 + 5 - (-4)/(-10) a composite number?
False
Let d = 3901 + -2784. Suppose -1059 = -o + 2*s, 2*o - d - 1013 = s. Is o a composite number?
True
Let k = 1905 - 1534. Is k prime?
False
Suppose 3*d - 28 = -11*d. Is d composite?
False
Suppose 2*l + h - 26 = -102, 2*h + 113 = -3*l. Let i be (-565)/(-2) + l/26. Suppose -3*t = -b + 6*b - i, 8 = 4*t. Is b prime?
False
Suppose -4*i + 5696 = -3*k + 1767, 2*k + 2626 = i. Let y = k + 1880. Is y a composite number?
True
Let f(b) = 99*b**2 + b - 2. Let p be f(2). Let d = p - 97. Is d a prime number?
False
Let z = 50 - 43. Let u(o) = o**3 - 2*o**2 - 6*o - 12. Is u(z) prime?
True
Let d(n) = -n**3 + 2*n. Let w be d(-2). Let i be -74 - 0 - w*1. Is (i/18)/((-1)/33) a prime number?
False
Suppose 4702 = 4*x - 6. Is x a composite number?
True
Let z(p) be the third derivative of p**5/30 + p**4/8 - p**3 + 10*p**2. Let t be z(-3). Suppose 0 = t*v - 708 + 237. Is v composite?
False
Suppose -7*t + t + 3318 = 0. Let v = t + -342. Is v a composite number?
False
Suppose -z = -5*w + 23, 2*z - 11 = -z - w. Suppose -5*n - 4*b = -2689, n = -z*n - b + 1619. Is n prime?
True
Let h be (-8720)/(-5)*(-1)/2. Let f = 1155 - h. Is f composite?
False
Suppose 2*r - r = 4*f + 20, -2*f = -5*r - 8. Let b(g) = -3*g**3 + 12*g**2 - 7*g - 5. Is b(f) a prime number?
True
Let c = -34586 + 60669. Is c composite?
False
Let i(c) = 106*c**3 + 7*c - 33. Is i(4) a prime number?
True
Suppose a + 5*y - 141 = 0, 0*y - 2*y = -8. Suppose f + 4*o - a = 0, 2*f - 3*o = 7*f - 554. Is f composite?
False
Suppose -12138 = -f - 1687. Is f a prime number?
False
Suppose -12*k = -11*k + 104. Let r(i) = -41*i + 7. Let o be r(-6). Let c = o + k. Is c prime?
True
Let m(o) = 535*o - 27. Let l be m(6). Suppose -2*f - l = -5*f. Is f composite?
False
Let s(v) = -2199*v - 73. Is s(-6) prime?
True
Let b(o) = -3*o**3 + 2*o**2 + 6*o - 9. Is b(-4) a composite number?
False
Suppose -3*n + 14462 + 35815 = 0. Is n a prime number?
True
Let i(v) = 162*v**3 - 2*v + 1. Let l be (-4 - -2 - 1) + 7. Suppose l = 5*h - 1. Is i(h) a composite number?
True
Let i = 3 + 1. Suppose -110 = 4*w + 2*o - 1054, 0 = i*w + 5*o - 932. Suppose w = 4*v - 2*v. Is v prime?
False
Let c(q) = 3*q**2 + 5 - 17*q + 2*q**3 - q**2 - 11*q**2. Is c(9) a composite number?
True
Let t = 6596 - 456. Suppose 0*v + 4*v = t. Is v composite?
True
Suppose -8*m - 4*h - 1909 = -11*m, 0 = -5*m - h + 3151. Is m a prime number?
True
Let j be 181*(11 - 9)*(-2)/(-4). Suppose -2004 = 177*g - j*g. Is g a composite number?
True
Let i(f) be the third derivative of f**5/15 - 2*f**4/3 - 7*f**3/3 + 24*f**2. Is i(9) prime?
False
Suppose 3 = 3*w - 2*w. Suppose 0*i - 561 = -w*i. Is i prime?
False
Suppose -3*r + f + 217 = -420, -2*r + 434 = -3*f. Is r prime?
True
Let c(l) = 190*l**2 - 2*l - 3. Is c(4) composite?
True
Let f(w) = 11107*w**3 - 5*w**2 + 5*w. Is f(1) composite?
True
Suppose 4344 = 4*f - y - 0*y, -3*f + 3258 = y. Suppose -4*i = 2*v + f, -i - 1252 = 5*v + 1436. Let m = v + 806. Is m composite?
False
Let n be (-3 + (-4)/(-1))*83. Let j(u) = u**2 - 55 - 17*u + n - 45. Is j(-13) a prime number?
True
Let t be 4/(-10) - (-165)/(-25). Let p(i) = -i - 6. Let v be p(t). Is 178 + v - (0 + -2) a composite number?
False
Suppose j = -4*v - 3, 0*j - j = -5*v + 3. Let o = -7 + 7. Is 180 + 3 + (o - v) a composite number?
True
Let w be (-9)/(108/16) - 13/(-3). Suppose 0 = r - w*r + 762. Is r prime?
False
Let i be 8/3 + 6/(-9). Suppose 4*z - 1335 = -5*u, -i*u = -0*u + 2*z - 532. Is u composite?
False
Suppose 5*k = 3*j - 4286, 5*j - 2578 = k + 2*k. Let q = k - -1497. Is q a prime number?
True
Let t = 590 + -283. Let o = t - -112. Is o composite?
False
Let f be -25 + 0 - (0 + -2). Let d = -12 - -4. Let y = d - f. Is y a prime number?
False
Let s = -12 + 16. Suppose s*y = -4*a - 2148, 4*a = -2*y - 1141 + 65. Is 0 + 3 + y/(-2) a prime number?
True
Suppose -o + 12 - 7 = 0. Suppose -5*i + 12 + 12 = -z, -5*z - 80 = -o*i. Is (-272)/z + 18/(-42) composite?
False
Is (-3)/(-7) + 802/7 composite?
True
Let g be (60/(-2))/(6/18*-1). Suppose -z = -g - 611. Is z a composite number?
False
Suppose 2*f + 2*b = 7178, f - 9*b - 3601 = -7*b. Is f a composite number?
False
Let j(t) be the first derivative of t**4/4 - 4*t**3/3 - 2*t**2 + 4. Let f be j(5). Suppose -f*p = -0*p - 1055. Is p composite?
False
Let c = -11 - 170. Let x = c - -474. Is x composite?
False
Let l be -1*8/(-4)*1. Suppose l*i + 1 = 3*d + 4*i, -5*d = 5*i + 5. Suppose 0 = -w - 2, -d*w + 362 + 634 = 2*o. Is o a prime number?
False
Let f(b) = 16*b**2 + 23*b - 2. Is f(12) prime?
False
Suppose -2*t - 2*a = -14936, -17209 = -3*t - 4*a + 5192. Is t composite?
True
Suppose -5*m + 3*c = 9, -4*m + 0 + 12 = 4*c. Suppose -3*p + 744 = -3*y, 5*y - 2 - 13 = m. Is p a composite number?
False
Let a(o) = -4*o**2 - 3. Let j(p) = -p - 1. Let k(d) = -a(d) - 4*j(d). Let f be (-52)/9 + 12/(-54). Is k(f) a prime number?
True
Let a(t) be the second derivative of -t**4/12 + 2*t**3/3 - t**2/2 + 9*t. Let r be a(3). Is r + 1137*(-4)/(-12) a prime number?
False
Let g = -406 + 407. Suppose -4*i = 2*q + 18 + 4, -3*q + 2 = -i. Is 368 - (g/q + -2) a prime number?
False
Let w be (-3 - -1) + 6 + -1. Suppose 5*f + 3*m = -486, 0*f + w*f - 2*m = -303. Let a = f - -145. Is a prime?
False
Suppose -5*i - 10 = -30. Suppose -5*f + 2*o + 3075 - 104 = 0, -4*o + 2360 = i*f. Suppose 2*t = -3*g + 311, -191 - f = -5*t - g. Is t composite?
False
Let i(k) = -7*k - 11. Suppose 2*y = -v + 1, v - y - 3 = -2*y. Suppose -25 = v*s - 5*p, -28 = 3*s + 4*p - 6. Is i(s) composite?
False
Suppose 0 = 9*z - 243 - 774. Is z composite?
False
Let f(a) = 40*a**2 + 11*a + 12. Is f(-3) prime?
False
Suppose 0 = -2*o + 12 - 8. Suppose -3*u - o*u = -4145. Is u a prime number?
True
Suppose 0 = 4*z + 2*d - 84, -d + 5*d = -5*z + 111. Suppose 0 = -3*b - 4*q + z, -16 = -4*b - 6*q + 3*q. Is b/(-3 - 284/(-94)) a prime number?
True
Suppose i + 2 = 0, 3*r - 3*i - 70339 = -4*i. Suppose r = 11*m + 8014. Is m composite?
True
Let d = 5 - -1. Let u be d/(-27) - 40/(-18). Suppose 4*x + 134 = u*f, -f + 3*x = -0*f - 67. Is f a composite number?
False
Let d be 0 + 4 + -3 + 14. Let y = -20 + d. Let i(h) = -17*h - 11. Is i(y) a prime number?
False
Let y = -18 - -25. Let c(t) = 5*t**2 + 5*t - 9. Is c(y) prime?
True
Suppose -9107 = -5*d + 943. Let p = -1327 + d. Is p composite?
False
Let q be 3630/18 + 2/6. Suppose 0 = -k + 381 + q. Is k composite?
True
Suppose -j - 2*j - 5*y = 5, -5*j - 30 = 4*y. Is (j/4 - -3)/(3/2514) prime?
True
Let a be (-34)/(-14) - 36/(-63). Suppose -2*n = -f + 9, a = 2*f + 4*n + 1. Suppose -s + 2460 = 3*s - 4*i, f*i - 2442 = -4*s. Is s prime?
True
Let x = 2062 + -1083. Is x a composite number?
True
Let r(l) = 96*l - 2. Let y(p) = -96*p + 2. Let i(j) = -3*r(j) - 2*y(j). Let a be i(-4). Suppose -a = -3*d + 5*k, -2*k + 77 = d - 48. Is d a composite number?
False
Is (-9 - 2018)*-1*(2 + -1) prime?
True
Let d(i) = 11*i**3 - 14*i**2 - 49*i - 19. Is d(23) a composite number?
True
Let c = -18 - -21. Suppose -2*t = -c - 3. Suppose 2389 = t*g + 448. Is g a prime number?
True
Let p be (-95)/4 - ((-6)/8)/1. Let h = p - -516. Is h prime?
False
Let s be (-2 + 3)/((-4)/(-32))