 a prime number?
False
Let t(b) = -2*b**3 - b**2 - 3*b + 3. Is t(-4) a prime number?
True
Let a(c) = -2 + 146*c + 5 - 4. Is a(1) prime?
False
Suppose 22 = 3*p - 245. Is p a composite number?
False
Let a(b) = -53*b. Suppose -2*j - 9 - 1 = 0. Is a(j) prime?
False
Suppose z - 2*m + 154 = -2*z, 74 = -z - 5*m. Let h be z/(-8) + 24/(-32). Suppose -s = -h*s + 295. Is s prime?
True
Let w be (1 - 9/3)*1. Let r be 117/6 + (-1)/w. Is (-4)/(-10) + 1172/r composite?
False
Let v(j) = -j**3 + 20*j**2 + 2*j - 8. Suppose -24*g + 68 = -20*g. Is v(g) a composite number?
True
Let y(x) = x**3 + 16*x**2 + 12*x - 20. Is y(-15) prime?
False
Let g = -10 + -35. Let o = g + 200. Is o prime?
False
Let b(i) = -i**3 - 12*i**2 - 12*i - 6. Let h be b(-11). Suppose -12 = -3*t + 6. Suppose h = -c + 2, 0 = p + c - t. Is p a composite number?
True
Let r(k) = 41*k + 3. Let m be r(-2). Is (3 + 0)/((-3)/m) a prime number?
True
Let p(s) = -138*s + 14. Is p(-4) a prime number?
False
Suppose 2*f - 132 = 1642. Is f a prime number?
True
Let g = 734 + -523. Is g a composite number?
False
Let d = -126 - -335. Is d prime?
False
Let g(t) = t**2 + 3*t - 45. Is g(-19) a composite number?
True
Let o = -8 + 11. Suppose o*l - 37 = 8. Is l composite?
True
Let v(a) = 64*a - 13. Is v(8) a composite number?
False
Let l(h) be the first derivative of 293*h**3/3 - 1. Is l(1) prime?
True
Suppose 4*p = -4*u - 8, 0 = 4*p - 5*u + 35 - 9. Let a be 2 + (-1 - (-8)/(-1)). Let f = p - a. Is f prime?
True
Let l = 833 - 542. Let w = l + -164. Is w a prime number?
True
Is 2663/3 + (-2)/3 composite?
False
Let h = -241 - -548. Is h a prime number?
True
Suppose 5*c - 3*p + 4*p = 15, 3*p = 2*c - 6. Let o(n) = 10*n**3 + 3*n**2 - 2*n + 2. Is o(c) composite?
False
Suppose -7*z + 1038 + 719 = 0. Is z a composite number?
False
Let g(f) = f**3 - f**2 + f + 59. Is g(0) prime?
True
Let d(k) = 89*k + 14. Let o(s) = s - 1. Let c(i) = -d(i) + 5*o(i). Is c(-11) prime?
False
Let b(y) = y**2 + 7*y + 6. Let m be b(-7). Is 2100/9 + (-2)/m prime?
True
Suppose 0 = 5*n + s - 3480, 2*n - 3*s - 205 = 1204. Is n a prime number?
False
Let y be (-32)/(-14) + (-10)/35. Suppose 0 = -y*c + 7*c - 175. Is c a composite number?
True
Let u(s) = -3*s**3 + s + 1. Let o be u(-1). Suppose o*r - 2*r - p = 35, -3*p = r - 43. Is r a composite number?
False
Suppose 4*i = -2*b + 1082, 3*b + i + 3*i - 1623 = 0. Is b composite?
False
Suppose s = 11 + 32. Let i be (28/(-35))/(4/(-20)). Suppose -i*r + s = -49. Is r a prime number?
True
Suppose 0*n - 4*n - 8 = 0. Let m = n + 2. Suppose -2*u + 87 + 23 = m. Is u a prime number?
False
Suppose -v = a - 202, 2*v + a - 397 = 6*a. Is v a prime number?
False
Is (-9)/(-6) + 206/4 prime?
True
Is (298/8)/((-3)/(-12)) a prime number?
True
Suppose x + 1 - 2 = -y, y + 8 = -4*x. Let i = y - 1. Suppose 1 - 100 = -i*z. Is z prime?
False
Suppose p + 3*v = 110 + 185, 0 = 5*p - 4*v - 1494. Is p composite?
True
Suppose -4*t = 2*q - 16, -4*q - 5 = -2*q - 3*t. Let s(z) = 2*z**3 - z**2 + z - 1. Let d be s(2). Let f = q + d. Is f prime?
False
Is (-1)/2*(-31 + 11) a composite number?
True
Suppose 0 = -3*b + 3*x + 435, -b + 141 + 10 = -3*x. Is b a composite number?
True
Let j(s) be the first derivative of -s**6/120 - s**5/15 - s**4/24 + s**2/2 - 3. Let y(w) be the second derivative of j(w). Is y(-4) prime?
False
Let f(d) = d**3 - 10*d**2 + 9*d + 3. Let i be f(9). Suppose -1148 = i*q - 7*q. Is q a composite number?
True
Suppose 8 = 4*q - 2*q. Suppose -3*o = -a + 33 + 173, 3*a + q*o = 553. Is a composite?
False
Let j(c) = c**3 + 5*c**2 - 5*c + 8. Let r be j(-6). Suppose -54 = -r*u + 44. Is u a composite number?
True
Is 2/(-11)*-1 - (-43953)/77 a composite number?
False
Suppose s - 331 = -3*s + 5*w, 4*s + 3*w - 371 = 0. Is s a composite number?
False
Let r(h) = -h**3 + h**2. Let v be r(0). Suppose v = 2*o - 4 - 2. Is o composite?
False
Is (-14)/((-7)/(7/2)) a composite number?
False
Suppose 5*x - 369 = 4*s, 4*s - 589 = -5*x - 188. Is x a prime number?
False
Suppose 4*v = -4*t + 432, -3*t + 320 = 6*v - 2*v. Suppose -t = -6*l + 4*l. Let h = -9 + l. Is h a composite number?
False
Let y(b) be the third derivative of -7*b**6/180 - b**5/120 - b**4/24 + b**2. Let h(z) be the second derivative of y(z). Is h(-3) prime?
True
Suppose -5*u + 6*b + 23 = 4*b, 5*b - 5 = 0. Suppose -4*t = -2*s - 310, -u*t - 4*s - 383 = -10*t. Is t a prime number?
True
Is (-2)/4 + (-390)/(-4) composite?
False
Suppose -6406 = -8*b + 6*b. Is b a composite number?
False
Let w be (-3 - -3) + 2/(-1). Is (-1)/w + (-5345)/(-10) composite?
True
Is (-2)/(-4) - (-1482)/4 composite?
True
Let c = -5 + 5. Suppose -3*x + 144 = 3*t, c*x + 5*x - 2*t = 247. Is x composite?
True
Let i(l) = -18*l - 1. Let d(h) = h**2 - 7*h + 4. Let o be d(6). Is i(o) a prime number?
False
Let f(b) = b**3 - 6*b + 16. Is f(9) prime?
True
Let r(c) = c**3 + 7*c**2 + 5*c + 1. Let g be r(-6). Suppose j + 5*v - g = 0, 0 = 5*j + 4*v + v - 15. Suppose j*o + 23 = 3*o. Is o a composite number?
False
Let r = -3 + 3. Let w be (3 - 6/3) + r. Let y(x) = 37*x. Is y(w) a composite number?
False
Suppose r = 2*r - 822. Is r/14 + (-2)/(-7) composite?
False
Let z(x) = 3 + 11*x**2 + 0*x**2 - x**2. Let p be z(-3). Let n = p + -35. Is n composite?
True
Let i(u) = -u**3 - 8*u**2 + 2. Let s be i(-8). Suppose 0 = -3*w + 2*o + 3, 3*w + s*o = o + 12. Is w a composite number?
False
Let v = -29 - -52. Is (-3 - v)*(-6)/4 prime?
False
Let i(k) = -k**3 - 6*k**2 - 3*k + 4. Let d be i(-5). Let p = d - -73. Is p prime?
True
Let s(a) = -a**3 - 8*a**2 + 9. Let x be s(-8). Suppose h - 50 = -2*w + x, 2*h - w = 93. Let j = h - 28. Is j prime?
False
Let b(a) = a**3 + 3*a**2 + 1. Let v be b(-2). Let y = -4 + v. Is (-89)/(-1)*(y - 0) a prime number?
True
Suppose -16 = 4*l, 5*l + 815 - 140 = 5*w. Is w a composite number?
False
Let n be -1*3 + 2 - -1. Suppose n*s = -s + 4. Suppose 2*x - 24 = -3*w, 2*w = -3*x + s*w + 10. Is x prime?
False
Let o(k) = 1. Let t(s) = 11*s. Let f(i) = 3*o(i) - t(i). Let z be f(-8). Suppose -5*u + z = -4. Is u prime?
True
Suppose 3*i + 17 - 191 = 0. Suppose -h - 20 = -i. Is 1/(-2)*2 + h composite?
False
Let f be -2 + (440 - 0) + -3. Suppose 6*z = 3*z + f. Is z prime?
False
Let b be ((-6)/(-10))/((-3)/(-15)). Let o = b + 3. Is o composite?
True
Is ((-19766)/(-30) - -3) + 4/30 a prime number?
False
Let h(s) = 136*s + 22. Is h(6) prime?
False
Let r be (-1 - 1)/((-2)/1). Suppose -3*t - 8 = -14. Suppose 117 = t*h + r. Is h prime?
False
Suppose 2*c + 3*z - 3 = 0, c + 21 = 3*z - 0. Let m be (-4)/6 - (-32)/c. Let h(x) = -3*x - 5. Is h(m) composite?
False
Suppose 0*c - c - 1147 = -2*t, t = c + 576. Is t prime?
True
Let r(v) = v**2 - 8*v + 2. Let t be r(8). Is (-11344)/(-144) + t/9 a composite number?
False
Let s(c) = -35*c**3 - 4*c + 1. Let d be s(-3). Suppose 2*g = 4*n + d, -5*g + n - 3*n + 2359 = 0. Suppose -3*w = 3*f - 477, 2*w - 4*f + g = 5*w. Is w composite?
False
Suppose 15 = 4*u - u. Suppose 114 = 2*j - u*d + d, j = -d + 48. Is j composite?
True
Let v(r) = 2*r**2 - r + 6. Let a(h) = 2*h**3 - 5 - 2*h**2 + 3*h**3 - 2*h**3 - 2*h**3. Let o(b) = -3*a(b) - 2*v(b). Is o(-2) a prime number?
True
Let c = 1086 + 2575. Is c prime?
False
Suppose 0 = -m + 3*m - 8. Let l be (15/10)/1*2. Suppose m*z - 2*n - 332 = 0, 249 = z + 2*z - l*n. Is z prime?
True
Suppose 8*n - 1902 = 5*n. Is n composite?
True
Let v be (-1 - 3)/(30/(-1185)). Let s = 675 - v. Is s a prime number?
False
Suppose -c + 11 = -3*o, 5*c - 4*c = o + 5. Suppose 0 = c*m + 1 - 423. Is m prime?
True
Let m(c) = -6*c + 7. Let n(u) be the second derivative of u**3/6 - u. Let o be n(-5). Is m(o) composite?
False
Let g = -415 - -134. Let y = g - -586. Is y a prime number?
False
Let b be (1/(-2))/(2/(-12)). Suppose -2*x = -b*x + 2. Suppose 0 = -x*q + 26. Is q a composite number?
False
Suppose 3*y - 16 = -4*h, 3*y + 3 - 18 = -3*h. Let q(s) = -h - 2*s**3 + 2 + s - 3 - 1 - 2*s**2. Is q(-4) a prime number?
True
Suppose 3 = 5*x - 27. Suppose n = -3, -b = -x*b + 2*n + 451. Is b a composite number?
False
Let l(n) be the second derivative of -n**4/12 - 7*n**3/6 - 3*n**2 + 2*n. Let s be l(-5). Is (0 + (-2)/s)*-106 a prime number?
True
Let g(j) = -15*j**2 - 6. Let z(a) = -30*a**2 - a - 11. Let s(m) = 5*g(m) - 3*z(m). Suppose 2*b = 6*b + 8. Is s(b) prime?
False
Let n(w) = w - 1. Let d(i) = -8. Let 