c**2 + c + 18. Let l be z(8). Let x = -3787 - l. Let n = x + 2028. Is n prime?
True
Suppose 0 = 11*f - 7*f. Suppose f = 5*g - 3391 - 384. Suppose -z + 257 = r, -4*r = -r - z - g. Is r a prime number?
False
Let k(a) = 14*a**2 + 7*a - 8. Suppose 4 + 16 = 5*t, y - 2*t + 13 = 0. Is k(y) a composite number?
False
Let a(h) = -h**2 + 3*h - 15. Let c be a(15). Let b = c + 512. Is b composite?
False
Is (-2094)/18*-9 + 2 a composite number?
False
Let a be (0 - -3)*(13 - 59). Let o = 353 - a. Is o a prime number?
True
Suppose 22 = 3*z - d, 10 = -0*z - z - 4*d. Let m be z/(-4) + (-6)/(-4). Suppose -3*v + m*n + 1107 = -3*n, 0 = -4*v - n + 1496. Is v a composite number?
False
Is 237153/92 + 5/4 a composite number?
False
Let u = -18 - -29. Let x = 13 - u. Suppose -4*c + 438 = -0*z + 2*z, x*z - 442 = -5*c. Is z a composite number?
False
Suppose 16 + 39 = 5*m + 5*j, -m - 7 = -5*j. Let d(h) = 105*h + 11. Is d(m) prime?
False
Let x = 1063 - -47. Suppose 3*v + 3499 = 5*l, 4*l - 5*v - 1684 = x. Is l a prime number?
True
Let q be ((-108)/(-45))/(1/10). Suppose -n = -5*n + q. Suppose -h - 4*b + 33 = 0, -2*h + n*b - b = -79. Is h composite?
False
Suppose -9*c = -1553 - 2218. Is c composite?
False
Let a(h) = h**3 - 2*h**2 - h - 3. Let l = 21 + -18. Let s be a(l). Is -3*(-97)/s*3 prime?
False
Let c(m) = -256*m + 3. Let p be c(3). Let y = 1739 - p. Suppose -4*u - 4*o + y = 0, 4*o - 7*o - 1908 = -3*u. Is u composite?
False
Let u(r) = -7*r - 14. Is u(-4) a composite number?
True
Let h(s) = 442*s**2 + 6*s - 5. Suppose 0 + 16 = -4*l. Is h(l) a composite number?
False
Suppose 13*m + 73 = 8. Is (-2038)/(-3) + m + 8/(-6) a composite number?
False
Let y be (-1119)/4*(-16)/6. Let h be (17136/20)/(-7) - 6/10. Let f = y + h. Is f a prime number?
False
Let v(f) = 5*f**3 + 11*f**2 - 2*f + 5501. Let z(b) = 3*b**3 + 6*b**2 - b + 2751. Let u(r) = 4*v(r) - 7*z(r). Is u(0) a prime number?
False
Suppose -166 = j - 935. Suppose -5*p - j = -4*y - 10*p, -p = -1. Is y prime?
True
Is (-4)/(-6)*-26084*(-63)/56 a prime number?
False
Suppose -5 - 3 = -4*j. Suppose 4*y + 3418 = j*s, -3*s = 4*y - 2*y - 5159. Suppose 5*z = -602 + s. Is z prime?
True
Let m(r) = -7*r**3 + 6*r**2 - 9*r + 5. Let t be m(-7). Let x = t - 1856. Is x prime?
True
Suppose 3*g = 9, 4*r + 0*g - 16726 = 2*g. Is r a composite number?
True
Suppose 3*b + 2*x = 5*b - 12, -26 = -4*b + 5*x. Suppose -4*l + 12354 = -v, b*l + 3*v = 5*l - 3083. Is l a composite number?
False
Let t = -695 - -4791. Suppose -y = 2*o - t, 2026 = o + y - 6*y. Suppose 4*s + 2*u = o, -2*u + 0*u = -4*s + 2042. Is s composite?
True
Let q be (-4)/1*149 + -2. Let y = -212 - q. Suppose -a - 3*w = -y, 2*w = 2*a + 4*w - 752. Is a a prime number?
False
Suppose 5*n = -4*y + 8861, -8811 = -24*y + 20*y + 5*n. Is y prime?
False
Let f(a) = 10*a**2 + 6*a + 409. Is f(65) prime?
True
Let i(j) be the second derivative of 7*j**3/6 + j**2 - 9*j. Is i(11) prime?
True
Suppose 9*n - 96 = 5*n. Is 1249/7 - n/(-42) a prime number?
True
Let y(t) = 643*t**2 - 15*t + 1. Is y(-5) prime?
False
Suppose 91807 + 144212 = 7*y. Is y composite?
True
Let p = -1394 + 4343. Is p prime?
False
Let n(r) = -r**2 + 5*r - 1. Let l(d) = d. Suppose 5*p = 9*p - 16. Let u(h) = p*l(h) - n(h). Is u(-11) composite?
True
Suppose 20213 = 19*r - 2*r. Is r a composite number?
True
Let y = 19922 - 10131. Is y a prime number?
True
Let d(r) = 2800*r + 7. Let q(z) = z**3 - 16*z**2 - 36*z + 1. Let j be q(18). Is d(j) a composite number?
True
Let g = 1809 + 4738. Is g composite?
False
Let b = -34 + 19. Let i = -10 - b. Let h = 32 + i. Is h a composite number?
False
Suppose 5*o + 944 = 8394. Suppose 0 = 2*g - 4*x - o, 3*x + 0 = -3. Is g prime?
True
Is 44916 - (42/(6/1))/(-1) a composite number?
True
Suppose u + 4 + 2 = 0. Let y be u/4*(1 + -149). Let x = 489 - y. Is x a prime number?
False
Let r be -1 - (15/5 + -2). Is (-2 + 1 - r)/(2/1826) prime?
False
Suppose 0 = -6*c + 7*c - 4. Suppose -x = c*x. Suppose 5*q - 158 - 97 = x. Is q prime?
False
Suppose 0*g = 6*g - 40926. Is g composite?
True
Let u be (0/(-2))/(10/(-5)). Is u - 4 - (-339)/3 a prime number?
True
Let q(s) = 16141*s**3 - s**2 + 6*s - 5. Is q(1) prime?
True
Suppose 3*q + 4448 = 2*m, 7874 = 4*m + q - 1008. Is m prime?
True
Suppose -7114 - 3544 = -2*i. Suppose -3*r + 1330 = 4*l - i, 5*l = -5*r + 8330. Is l composite?
True
Let i(g) = g**3 + g**2 - g + 12. Let u be i(0). Suppose -2*s = -s - 3*b - 10, 2*b + 8 = 2*s. Is -2 + u*s - 1 prime?
False
Let y = -836 + 1027. Is y a composite number?
False
Let k(y) = 206*y - 16. Let c be k(7). Suppose -1189 - c = -5*q. Is q composite?
False
Let t(m) = m**3 + 2*m**2 - 5*m - 4. Let p be t(-3). Is 1/((-6475)/(-3235) - p) a prime number?
True
Suppose 0 = 2*p - 6*p + 12. Suppose p*d = -g + 1359, d + 0*d - 5*g = 453. Is d prime?
False
Suppose -5*o + n = -474, 3*n + 2 = 5*n. Let k(p) = p**3 - 7*p**2 + 2*p - 10. Let l be k(7). Suppose -i - o = -q, l*i + 539 = 5*q + 64. Is q prime?
False
Let k = 0 + 2. Is ((-9444)/9*9/(-6))/k a composite number?
False
Let a(q) = -184*q + 25. Let w(k) = 370*k - 49. Let m(s) = -7*a(s) - 3*w(s). Is m(9) prime?
False
Let a be (-59036)/(-30) - (-4)/30. Suppose 2*z - a - 1598 = 0. Is z prime?
True
Let p = 29 - 11. Let g = 190 - p. Suppose -r - 840 = -5*m - 0*r, 0 = -m + r + g. Is m a composite number?
False
Let y(v) = -349*v - 14. Let f(c) = -116*c - 5. Let p(m) = -17*f(m) + 6*y(m). Is p(-6) composite?
False
Let y = -7650 + 16723. Is y composite?
True
Suppose 39*u + 20 = 44*u. Suppose -4*j + 0*j + 196 = -u*m, 0 = j - 3*m - 45. Is j composite?
True
Is (-8)/18 - 1219*(-2342)/18 prime?
False
Let n = 3969 + -2448. Suppose 262 = d - n. Is d a composite number?
False
Suppose -3*z + 8 = -40. Suppose -z + 4 = -3*b. Suppose 2 = 3*n - 5*n, -b*h - 5*n + 1463 = 0. Is h composite?
False
Suppose 13*f = 18*f - 10215. Suppose f = 2*m + m. Is m prime?
False
Let c = -300 - 22. Let h = 613 + c. Is h/(-2)*12/(-18) composite?
False
Let r = 47115 - 33370. Is r a prime number?
False
Suppose -2*v + 74 = 4*l, 3*v = -l + 7 + 9. Let h = l - -5. Is 422*-3*(-4)/h composite?
False
Let z = 15 - 9. Let q be 9/2*368/z. Suppose -169 = -2*u - y + q, 4*u + 3*y = 889. Is u prime?
True
Suppose 154*r - 1827 = 145*r. Is r composite?
True
Let b be ((-24)/(-15))/(6/45). Suppose 13*d = b*d + 581. Is d composite?
True
Is 160/(-16) + 16713/1 a composite number?
False
Let b(v) = -v**3 + 9*v**2 + 2*v - 20. Let g be b(9). Is 341 + 0/(-3) + g a prime number?
False
Is (15/(-30))/(4/(-720856)) composite?
False
Suppose 0 = 400*f - 403*f + 16266. Is f composite?
True
Suppose 0 = -3*c + d + 3, -4*c - d - 4 = -5*d. Suppose -c*f - 2156 = -2*m - 9352, -3*f + 5*m + 10804 = 0. Is f prime?
True
Suppose -2*j = -79 + 41. Suppose 0 = 24*x - j*x - 27415. Is x composite?
False
Suppose 6951 = k - 4*s, -2*k + 11272 = -2*s - 2624. Is k composite?
False
Let x be (-1 - -4) + (-210)/(-3). Suppose -w + x = 17. Let p = w - -1. Is p a composite number?
True
Let d = 50465 + -31182. Is d a prime number?
False
Suppose 2*g + 8 = 26. Suppose 0 = -g*j + 8*j - 3*l + 1730, -4*j + 6907 = -l. Is j composite?
True
Suppose 0 = 3*l + 29 + 16. Let b = l + 15. Is -1 - (-79 - (b + 1)) composite?
False
Is 4/6 + (-4718)/(-6) composite?
False
Let k(w) = -w**2 - 6*w + 4. Let b be k(-6). Suppose -7 = 2*m - 3*a, -5*m - b*a = -m - 36. Suppose 0*p - 200 = -m*p - 4*c, 0 = 2*p - 2*c - 96. Is p composite?
True
Suppose 0 = p + 3*p - 5*r - 36, 5*r = -2*p - 12. Let h be 0*(-2)/(p/(-1)). Suppose f - k - 64 = h, 4*f + 0*f = -2*k + 274. Is f a prime number?
True
Let o be (3/(-3)*4997)/(6 - 5). Let c = -1204 - o. Is c a composite number?
False
Suppose -2*g + 19 + 7 = -4*t, -2*t - 16 = -2*g. Let b(j) = -2 + 75*j + 1 - 7*j. Is b(g) composite?
True
Let l(x) = x**3 + 15*x**2 - 24*x - 3. Is l(8) a prime number?
True
Let p(g) = g**3 + g - 1271. Let k be p(0). Let i = 518 + k. Is i*((-7)/3 - -2) a composite number?
False
Let a(g) = 7*g**3 + g**2 - g. Let l = -13 + 14. Let w be a(l). Let y(c) = 28*c - 5. Is y(w) prime?
True
Let x = 1082 + -639. Suppose 0 = -0*f + 2*f + 568. Let d = x + f. Is d a composite number?
True
Let s(d) = -90*d**3 - 6*d**2 - 7*d - 2. Is s(-3) composite?
True
Let z(p) = -2*p + 9. Let s(x) = -4*x + 17. Let q(n) = -2*s(n) + 5*z(n). Let g be q(4). Suppose g*m - 1076 = -m. Is m prime?
True
Let b(z) =