s u a composite number?
True
Let t(v) = -2*v**3 - 3*v**2 + v + 2. Let h be t(-2). Suppose 0 = -s + h. Suppose 0 - 28 = -s*c. Is c a prime number?
True
Let g = -1949 + 4408. Is g a composite number?
False
Suppose -25 = 2*f - 7*f. Suppose 4*b - 348 = -4*y, 2*b - 107 = -f*y + 61. Is b composite?
False
Suppose -5*j + 5 = -3*l - 5, 3*l = j - 2. Suppose l = -3*d + 2*d + 31. Is d a prime number?
True
Suppose 7*k - 4*k = 102. Is k a prime number?
False
Is (-12186)/12*(-4)/6 a prime number?
True
Let h(m) be the first derivative of 9*m**3 - m**2/2 - m + 1. Is h(-2) prime?
True
Let h be 346/8 - 5/20. Suppose 2*x - h = -n, -x + 13 = -4*n + 212. Is n composite?
True
Suppose -4*w + 1758 = -w. Suppose -3*j = -5*z + 467, 5*z + 3*j = -113 + w. Is z a prime number?
False
Suppose -5*w + 10*w = 1795. Is w composite?
False
Is (10/6)/((-2)/(-2742)) prime?
False
Let r(m) = -m**2 - 4*m - 2. Let g be r(-2). Is g*-1 - -1*39 prime?
True
Suppose -t + 1 = -b - 419, -b = 3. Is t prime?
False
Let y(m) = m + 5. Let f be y(-2). Suppose 2202 = 3*a + f*a. Is a composite?
False
Let o = 449 - 85. Suppose -245 = -3*v + o. Is v composite?
True
Let c be (-2)/(-6) - (-951)/9. Suppose -140 = -5*w + 3*z - 4*z, 3*w - c = -5*z. Let d = -13 + w. Is d a composite number?
True
Let f(z) be the first derivative of -5*z**2 + 2*z - 3. Let r be 24/(-9) + 4/6. Is f(r) a composite number?
True
Let t = -27 - -88. Let a = 66 - 40. Let w = t - a. Is w prime?
False
Suppose -10*x = -2*x - 5080. Is x a prime number?
False
Let a(m) = -734*m - 3. Is a(-2) prime?
False
Suppose -3*h = -3*m - 0*h + 6987, 2*m - 4646 = 5*h. Is m a composite number?
False
Let f = 2621 + -1642. Is f a composite number?
True
Suppose 0 = -p + 2*p - 5. Suppose p*c + 27 = -0*d + 3*d, 4*c = -3*d. Is d*1/4*71 composite?
False
Let h(o) = -o**2 - 6*o + 8. Let i be h(-7). Let u be 0 - (0 + -2*i). Let r(n) = 27*n - 1. Is r(u) a prime number?
True
Is 0 + (113 - (2 - 2)) composite?
False
Suppose 0*q - 2*q + 680 = -2*m, q + 3*m = 336. Is q a composite number?
True
Suppose 3*w + w = 4, 2*c + w - 29 = 0. Suppose p - 83 = c. Is p a composite number?
False
Let q(k) = -30*k - 31. Is q(-14) composite?
False
Suppose -2*r + 5*d - d = -56, -137 = -4*r + 3*d. Suppose -3*c - r = -c. Let a = -5 - c. Is a prime?
False
Let m be 4/((0 - -1)*1). Let f(t) = t**2 - 3*t - 1. Let x be f(m). Suppose x*z - 4 - 26 = 0. Is z a composite number?
True
Let x(j) = j**2 + 9*j - 6. Let l be x(6). Suppose 3*r = l + 165. Is r prime?
True
Let b(v) = -v**3 - 9*v**2 - 8*v + 7. Let c be b(-8). Suppose -c = -2*h + 1. Suppose a = h*x - 0*a - 96, -5*x = 3*a - 103. Is x a prime number?
True
Suppose -465 = 5*w - 60. Suppose -3*p + 242 - 4 = -5*a, a - p + 48 = 0. Let b = a - w. Is b a prime number?
False
Is 564 + (-2 + 5)/(-3) prime?
True
Let f be ((-8)/(-10))/(2/115). Suppose -u + 3*s + 48 = 0, 2*u + 4*s - f = -0*s. Is u prime?
False
Suppose u = 3*u. Suppose d - 183 = 5*n, 5*d - n = -u*n + 1011. Is d a prime number?
False
Let b = 4 + -2. Let z(i) = -2 + 4 - 2 - b + 12*i. Is z(5) prime?
False
Let f be 3/(-2) + (-1254)/(-4). Let w = f + -131. Is w prime?
True
Suppose 275 = 2*l + 81. Is l a prime number?
True
Let w = 1 - -1. Is (-11)/(w*(-2)/12) composite?
True
Let p(d) = -2*d - 7. Let r be p(-5). Suppose -2*x = -c + 20 - 8, c + x = -3. Is c/(-4)*(-66)/r a prime number?
True
Let l = -41 - -574. Is l a composite number?
True
Let a(t) = t**2 - t. Let w be a(3). Let n(m) = 3*m + 5. Is n(w) a composite number?
False
Let w = -2 + 11. Let a = -1 - -6. Suppose 2*f = 1 + w, a*f + 198 = x. Is x a composite number?
False
Suppose 4*c + 0*c - 116 = 0. Let w = c - 10. Is w a prime number?
True
Let i = 320 - 169. Let w = 220 - i. Is w a composite number?
True
Suppose 30 - 9 = 3*n. Suppose c = -3 + n. Suppose c*s = 3*s + 31. Is s composite?
False
Let l be (-12)/(-54) + 86/18. Suppose 3*z + 3*j - 2*j = 278, -389 = -4*z - l*j. Is z a prime number?
False
Suppose -2 = -z + y - 3, z + 5*y = -1. Let a(o) = -11*o. Let v be a(2). Let u = z - v. Is u a composite number?
True
Let k be (1 - (1 - -2)) + 6. Suppose 0*y = k*y. Let z(r) = -r + 49. Is z(y) composite?
True
Let f be (18 + 8)*73/2. Suppose -5*t + 953 = 3*p - t, -3*p - 5*t + f = 0. Is p prime?
False
Let f(b) = -6 - 1 - 2*b**3 + 2*b - 2*b**2 + 2. Is f(-4) a composite number?
False
Let a = -557 - -1198. Is a a composite number?
False
Let l(u) = 0*u + 3*u + 5 - 5*u. Is l(-10) prime?
False
Let i(y) = 27*y**2 - y - 7. Let v(u) = 41*u**2 - u - 10. Let f(h) = -7*i(h) + 5*v(h). Let r = 8 - 4. Is f(r) a prime number?
True
Suppose -2*j - 3*u - 170 = -3*j, 5*u = -20. Suppose -4*v + 2*w - 340 = -2*w, -2*w - j = 2*v. Let s = -47 - v. Is s composite?
True
Is (-1)/2*(-13652)/(0 - -2) a prime number?
True
Suppose -3*m + 9 = 0, -3*b + 3*m - m + 795 = 0. Is b a prime number?
False
Let y = 1207 - 506. Is y a prime number?
True
Let w(f) = f + 15. Is w(7) a prime number?
False
Suppose -f = -0*f - 15. Suppose 64 - f = -o. Let r = 86 + o. Is r a prime number?
True
Let z = 43 + -20. Let p be (-3)/(-2 - 1)*z. Let j = p + 2. Is j composite?
True
Let a be 1 - (-2 - (1 + 0)). Suppose 0 = a*l + 86 - 670. Let v = l - 15. Is v prime?
True
Suppose 3*z - 29 = g, 2*z - 28 = 3*g + 2*g. Suppose -275 = -z*a + 4*a. Is a prime?
False
Let c(w) = -w**3 - 2*w**2 + w - 2. Let a be c(-3). Suppose 0*p = -a*p + 88. Is p composite?
True
Let b(m) = -2*m + 1. Let j be b(-1). Suppose -2*q + 23 = 3*k, -k = q + j*k - 24. Suppose q*l = 5*l - 133. Is l a prime number?
False
Suppose -3*u = 2*n - 5*n + 438, 4*n - 579 = 3*u. Is n composite?
True
Let b = -7 + 9. Suppose -i + 2*s + b = -9, 3*i - s = 28. Is i a composite number?
True
Suppose -4*g + 2816 = 588. Is g composite?
False
Let o be 2 - 2 - (-112 + 0). Suppose o + 354 = 2*z. Is z composite?
False
Let r = -407 - -728. Is r prime?
False
Suppose 4*v = 5*v - 5. Suppose -3*m = -2*n - 773, 0 = 3*m + v*n - 537 - 250. Is m prime?
False
Let l(u) = 11*u + 1. Let q be l(4). Suppose 0 = -5*v + q + 220. Is v composite?
False
Let v be 2*20/24*1437. Suppose -h + v = 4*h. Is h prime?
True
Suppose -236 = -g + 3*a, 2*a - 275 = -2*g + 237. Is g a composite number?
False
Is ((-358)/(-4 - -3))/2 composite?
False
Suppose -12*x + 1680 + 5892 = 0. Is x prime?
True
Let m(i) = 4*i**3 - 4*i**2 + 10*i - 9. Let r be m(6). Suppose 3*x = -0*x + r. Is x composite?
False
Suppose 0 = 4*y - 185 - 43. Suppose 5*h - 272 = -y. Is h a prime number?
True
Suppose 0 = -4*z - 5*p + 27803, 4*z + p - 27791 = -0*p. Is z a prime number?
True
Suppose -3*w + 440 + 133 = 0. Is w composite?
False
Suppose 2299 = 5*h + 834. Is h a composite number?
False
Let v = -3500 - -6153. Is v a composite number?
True
Let s(y) = -4*y**3 + y**2 - 1. Let u be s(-1). Suppose -3*k = 5*m + 423 - 1139, -u*m = 2*k - 478. Is k composite?
True
Let t be (-5 - -4)/(2/(-1122)). Let p = t - 292. Is p a prime number?
True
Suppose -3*a = -2968 - 2327. Is a composite?
True
Let x = 905 - 274. Is x a composite number?
False
Let h = -42 + 69. Let z be h/2*4/6. Let r(y) = 2*y**2 - 14*y + 13. Is r(z) composite?
True
Is -134*(0 - (-33)/(-6)) a prime number?
False
Let u(g) = -2*g + 12. Let r be u(5). Suppose 70 = r*l - 0*l. Is l a composite number?
True
Suppose r + 2*r = f + 2, 0 = 4*f + 3*r - 22. Suppose -f*l - 53 = -5*l. Is l prime?
True
Let m = -1920 + 4423. Is m composite?
False
Let t(l) = 87*l**3 - l**2 + l - 1. Let p be t(1). Let r = 55 + p. Is r a composite number?
True
Let m(n) = -n**3 + n**2. Let p(t) = -t**3 + t**2 - t + 183. Let u(o) = -2*m(o) + p(o). Is u(0) a composite number?
True
Let f(p) = -2*p - 1. Let q = -9 - -6. Let i be f(q). Suppose 12 = 2*c + 6*r - 4*r, c = -i*r - 10. Is c composite?
True
Let q(g) = 3*g**2 + 9*g + 5. Is q(-9) a prime number?
True
Suppose 3*k + 99 = 4*k. Suppose 166 = 4*t + 3*a, -5*t + 10*t - 3*a - 194 = 0. Let m = t + k. Is m a prime number?
True
Let r(f) = -2*f + 1471. Is r(0) composite?
False
Suppose 3*z = -0*z + 4*s + 2, z - s - 1 = 0. Suppose -z = -5*w + 8. Is w a composite number?
False
Suppose -2 = -j - 0. Let a be (100/(-6))/(j/(-15)). Let z = a + -70. Is z prime?
False
Let s(y) = -3*y**3 - 7*y**2 - y + 1. Is s(-8) a prime number?
True
Let w(n) be the first derivative of n**4/2 + n**3/6 - n**2/2 + 3*n + 3. Let h(l) be the first derivative of w(l). Is h(-4) a prime number?
False
Suppose -5