a prime number?
True
Let n(a) = 157*a + 19. Let p be n(3). Let t = p + -327. Is t composite?
False
Let p = -11 + 13. Suppose 0 = -k + 2*r + 627, -5*r - 615 = p*k - 3*k. Suppose -5*u + 0*u = -k. Is u composite?
False
Let i(y) = -y**3 - y. Let b(x) = -3*x**3 + 5*x**2 + 11*x - 3. Let l(s) = b(s) - 2*i(s). Is l(6) a prime number?
False
Let f(n) = 26*n**3 - 6*n**2 - 3*n + 2. Is f(3) composite?
False
Let b(v) = -55*v**3 - v. Let q(k) = -2*k - 5. Let y be q(-4). Let h be b(y). Is -1 - (-7)/((-28)/h) composite?
True
Suppose 141249 = 20*r - 534931. Is r composite?
False
Suppose -917875 = -49*q + 146356. Is q a prime number?
False
Let q = -10 - -12. Suppose q*u = -216 + 958. Is u a composite number?
True
Let u be -4 + (-33)/(-9) + (-391)/(-3). Suppose 3*n + t = 2155, 0 = -5*n + 3*t - u + 3731. Is n composite?
False
Let m(g) = -g**3 - 11*g**2 - 19*g + 14. Let h = 23 + -34. Is m(h) composite?
False
Let t(c) = 6*c**2 + 2*c - 2 - 4*c**2 - 3*c**2. Let p be t(0). Is 3 - (p - -4) - -34 composite?
True
Let n be 78/15*(-160)/(-2). Suppose 5*o - b - 46 = -n, -74 = o - b. Is (o/3)/(12/(-18)) a composite number?
False
Let b be (2/(-3))/(1/(-6)). Suppose b*i - 2*c = -1004, 5*i + 415 + 866 = -4*c. Is 46/i - (-29946)/22 prime?
True
Let z(c) = -14*c**3 + 12*c**2 + 14*c + 13. Is z(-7) a prime number?
False
Suppose -9*h + 7824 = -2202. Is h prime?
False
Let s = 11381 + -5718. Is s a composite number?
True
Let g(t) = 2*t**3 + 6*t**2 - 3*t**2 - 2*t + 3 - 3*t**3. Let m be g(2). Is (-1)/m + 1146/9 a composite number?
False
Let q(w) = -4*w**2 - 5*w + 37. Let s(c) = c**2 + c. Let u(r) = -q(r) + 3*s(r). Is u(12) a composite number?
True
Let u(f) = 6*f - 86. Let y be u(14). Let m(c) = 90*c**2 + 6. Let r(j) = -j**2 - 1. Let b(t) = m(t) + 8*r(t). Is b(y) composite?
True
Let a be (-7 - -11)*(7251/12 + -1). Let z = 2 - -1. Suppose -5*r - 3*p = -a, -z*r + 20 + 1427 = 2*p. Is r a composite number?
True
Suppose 0 = p - h, 3*p + h = 2*h + 6. Suppose -a - p*t = -t - 715, a + 5*t = 709. Is a composite?
False
Suppose 0 = -2*p + 14*p - 10860. Is p a prime number?
False
Let z = 18 - 2. Suppose -z*f + 2444 = -12*f. Suppose -f = -3*o + 16. Is o composite?
True
Let f(a) = a**2 + 6*a + 5. Let d be f(-9). Suppose 43 = 5*p - d. Suppose s - 78 = p. Is s a prime number?
False
Suppose 11*y + 1055389 = 64*y. Is y prime?
True
Suppose 17*h - 3748 = -2*y + 14*h, 0 = -4*h. Is y a prime number?
False
Is 38/6*(-6 + 93) composite?
True
Suppose -16*c = -11*c - 20. Suppose -c*q + 9*q - 4105 = 0. Is q a prime number?
True
Let t(c) = -1210*c**2 + 3*c + 2. Let p be t(-1). Let l = p - -2170. Is l composite?
True
Suppose 0 = -a - 2, -5*z + 12 = -2*a + 43. Let g(x) = -3*x**3 + 7*x**2 + 4*x + 11. Is g(z) prime?
False
Is 6 + -1 + 16765 + -1 a prime number?
False
Is 21954/(-9)*(-24)/16 a composite number?
False
Let y be 3/(28/8 + -2). Suppose y*o = 5*o + 3, o = 5*b - 5486. Is b composite?
False
Suppose 0 = 3*b - 2*t - 50, 3*t + 2 + 23 = 2*b. Is 225 - (3 - b/8)*4 a prime number?
True
Suppose 2*l = v - 7347, 0 = -3*v - l - 3*l + 22021. Is v prime?
False
Let b(r) = -39*r + 17. Let m be b(-2). Let g(q) = -46*q + 4. Let z be g(-3). Let p = m + z. Is p a prime number?
False
Let b(r) = -115*r**3 + r**2 + 3*r + 3. Is b(-2) a composite number?
True
Suppose 171*r = -5*q + 169*r + 32521, -2*q = -3*r - 12997. Is q prime?
False
Let h(c) = -18 - 14 - 4*c + 2*c. Let x be h(-17). Is (-2 + 1)/(x/(-138)) composite?
True
Suppose 82 = -5*k - o, -4*o = -2*k - k - 40. Let b be 2/1 - (k - -13). Suppose -b*s - 4*x + 403 = -0*s, 0 = 4*s - 4*x - 344. Is s a composite number?
False
Let a(i) = -i**3 + i**2 - 9*i + 9. Let t be a(12). Suppose 2*h - 4 = -8. Is h/(-4) - t/22 a composite number?
True
Let b be ((-20)/5 - -2) + -28. Is (0 - (-2)/1)/(b/(-1455)) a composite number?
False
Suppose 9*i = 8*i + 5. Suppose -i*n + 198 = 33. Is n a prime number?
False
Let c(s) be the third derivative of -s**4/24 - 61*s**3/6 - 3*s**2. Let t be c(0). Let x = t + 107. Is x a composite number?
True
Let c = 41 - 25. Let u be ((-3)/6)/(4/c). Is u*(676/(-8) + 3) a prime number?
True
Let v be 1 + (-2)/1 - (-344 + -15). Suppose 4*u - 3*u = v. Is u composite?
True
Let d = -3 + 0. Let g be d/(-6)*(5 + -1). Suppose -6 = -g*u, 2*c + 5*u - 147 = 2*u. Is c a composite number?
True
Is 4/(-22) + (-1026844)/(-572) a prime number?
False
Is (-1 + -3361)*((-18)/4 + 4) a prime number?
False
Suppose 249*p - 139286 = 247*p. Is p a prime number?
False
Suppose -2*c - 1 = -c. Let d be 2 - 4 - c - -6. Suppose -3*x - 63 = l - 299, 2*l - 395 = -d*x. Is x prime?
False
Let t = 3505 + -1842. Is t composite?
False
Let o = 5 + 7. Suppose 0 = -4*c - o, 3*c + 5 + 0 = -4*z. Let a = z + 84. Is a a composite number?
True
Suppose 4*n - 4102 = -5*i, 3*i - 1378 - 1079 = -n. Let w = 2124 - i. Suppose 2*y - w - 1648 = 0. Is y prime?
False
Let u(y) = 15*y + 6 + 28*y - 8*y - 45. Is u(16) prime?
True
Suppose -2*s = 3*s. Let z(u) = -u - 4. Let q be z(s). Let g(v) = -v**3 + 3. Is g(q) prime?
True
Suppose 0 = -5*m - 3*p + 4*p + 7, 6 = -3*p. Is (4*m/(-6))/((-2)/3507) a prime number?
False
Let b(x) = -63*x - 17. Suppose 7*k - 2*k + 50 = 0. Is b(k) prime?
True
Let p = -6892 + 13009. Is p a composite number?
True
Let i(m) be the third derivative of 11/6*m**3 - 5/24*m**4 + 6*m**2 + 0 + 0*m. Is i(-12) composite?
False
Suppose n + 0 = 6. Let c(t) = -t**2 + 5*t + 8. Let d be c(n). Suppose -s - 4*v - 228 = -5*s, d*s - v = 110. Is s a composite number?
False
Let v(u) = 229*u + 59. Is v(14) prime?
False
Let o(q) = 1103*q**2 + 3*q - 1. Let m be o(3). Suppose 5*x + 3960 = m. Is x a prime number?
False
Suppose -4*o = -v + 23, 5*v - 28 - 2 = 3*o. Let n be (v - 463)*(-9)/(-12). Let l = -131 - n. Is l prime?
False
Is ((-14349)/6)/((-6)/12) a composite number?
False
Suppose 2*q = 2*s + 6132, 1 + 2 = -q. Let b = 4868 + s. Is b prime?
False
Suppose 0 = -48*z + 742045 + 1139987. Is z a composite number?
False
Is -3 - -4 - -41877 - 5 a prime number?
False
Suppose -5*v + 4*h = 1728 + 2327, -3*v - 3*h - 2460 = 0. Let g = 1294 + v. Is g prime?
True
Let f(h) = -139*h**3 + h**2 - 2*h - 3. Let a(z) = -z**3 - z**2 - 2*z + 2. Let v be a(1). Is f(v) composite?
False
Suppose -4*m = -20, 2*f - 10412 = f + 3*m. Is f a prime number?
True
Let o(s) = -s**3 - 7*s**2 - 2*s - 6. Let m be o(-7). Let h be m/3*(-6)/(-4). Suppose h*r - 452 + 0 = 0. Is r a prime number?
True
Let y(j) = 11*j**3 + 2*j**2 + j + 5. Let g be y(7). Suppose 2*o - g = -1121. Is o composite?
False
Let g be (-258)/2*(-4)/6. Suppose -4 = 3*u - 19. Suppose -g = -u*x + 3*x. Is x a prime number?
True
Suppose -75*i + 36091 = -58*i. Is i composite?
True
Let d = 167 + -406. Let b = -106 - d. Is b a composite number?
True
Let u be ((-480)/28)/(-2)*14. Let c = -293 + u. Let l = c + 318. Is l composite?
True
Suppose 11992 = 2*j + 5*f - 1285, 4 = -4*f. Is j prime?
False
Suppose 0 = v + 3*a - 1379, -v - v + 3*a = -2758. Is v prime?
False
Let l(t) = 14*t**2 - 54*t - 13. Is l(13) a prime number?
False
Let s(w) be the third derivative of 0 - 101/24*w**4 - 2*w**3 - 4*w**2 + 0*w. Is s(-5) prime?
False
Suppose -10*u - 10 = -50. Suppose -3*a - 6*t + u*t + 2378 = 0, 0 = -4*t - 8. Is a a prime number?
False
Is ((-5)/4)/(12/(-500496)) prime?
False
Let o(i) = 96*i**3 - 5*i**2 + 8*i + 17. Is o(4) a composite number?
False
Let b = -496 + 166. Let u = -48 - b. Suppose -f - 113 - u = -5*w, -f = 0. Is w composite?
False
Let s = 5287 + -2289. Is s a prime number?
False
Let w(f) = 7707*f - 499. Is w(6) prime?
False
Let d(s) = 139*s + 16. Let k be d(-15). Let l = 3034 + k. Is l prime?
False
Suppose 0 = 2*j - 2*n - 626, -2*n + 3 = 7. Is j composite?
False
Let u = 196 + 759. Is u composite?
True
Let a(r) = 606*r**3 + 2*r**2 + r + 3. Is a(2) prime?
True
Let q(l) = -108*l**3 + l**2 + 3*l + 5. Let f be q(-2). Suppose 1636 = z - f. Is z composite?
False
Let b(s) = 1124*s + 119. Is b(15) composite?
False
Suppose 1871*v - 1888*v + 525487 = 0. Is v composite?
False
Let v = -18684 - -29535. Is v a composite number?
True
Suppose 3*i = 6, 4*n + 2*i + 2512 = 9424. Let b = n - 993. Is b a prime number?
False
Suppose 5*m + 5*y = 40, 2*y - 9 = -y. Suppose 0 = -m*j - 91 - 244. Is (j/(-5))/((-1)/(-5)) prime?
True
Suppose -k + 3*d = -614, -d - 1842 = 2*k - 5*k. Is (k/(-4))/(2/(-12)) a composite number?
True
Let u(i) = 1000*i -