 prime number?
True
Suppose -6 = k - 5, -2*z = 4*k. Let a(f) = -4*f**3 - 8*f**2 - 5*f - 10. Let m be a(-7). Suppose -3*r - 1686 = -5*c, 2*r + m = 3*c - z*r. Is c composite?
True
Let g = 114 + -106. Suppose -3*z + g*w - 3*w = -6244, z = -2*w + 2063. Is z a prime number?
False
Suppose 5901 - 18219 = -6*c. Is c a prime number?
True
Suppose -b = 3*b - 24. Suppose 0 = b*h + h - 6209. Is h a composite number?
False
Let z be (-3 - -4)*(-1 + -1). Let b be z + 4 + -4 + 32. Is 1522/12 - (-5)/b composite?
False
Suppose -3*a = -4*v - 17, 4*v - 3*a - 7 = 3*v. Is (2/v)/(1/(-1676)) a prime number?
True
Let o be 1 + -1*(-2 - 0). Suppose 0 = -6*p + o*p, -3*w - 5*p = -12. Suppose j - 531 = -3*z + 655, -4*j - 1576 = -w*z. Is z prime?
False
Let x be 7 + ((-18)/3 - -4). Suppose -2*o + x*g + 1538 = 0, 5*o + 4*g = -363 + 4208. Is o a prime number?
True
Suppose 5*x = 4*x - 2. Is (-1145)/x + (-39)/26 a prime number?
True
Let h = 4300 + -1967. Is h composite?
False
Suppose -255*r = -256*r + 7495. Is r a prime number?
False
Let g = 12497 + 2810. Is g composite?
False
Let v(h) = 7*h**3 - 111*h**2 - 2*h + 37. Is v(18) a prime number?
True
Let h(z) = -z - 24. Let y be h(-21). Let c = y - -7. Suppose -4*w + c = 0, 2*w + 138 = 4*r - 216. Is r prime?
True
Let b = -26291 + 58600. Is b composite?
False
Let n(w) = -w**2 + 10*w + 14. Let u be n(11). Suppose 5*c - u*t = 307, -t - 2*t - 71 = -c. Is c a prime number?
True
Let l(w) = w**3 - 22*w**2 - 49*w + 29. Let o be l(24). Suppose o*h = 4*x - 12416, 4*x + 5*h = 2*x + 6238. Is x a composite number?
False
Let c(g) = -11 - g**2 - 34 - g**3 - 14. Let w be c(0). Is w/(40/(-12) + 3) a composite number?
True
Let a = 1702 - 264. Suppose 6*m + 285 = j + 4*m, -5*j - 3*m + a = 0. Is j a composite number?
True
Suppose 3*t - 1344 = -3*t. Let c = -33 + t. Is c prime?
True
Let g = 182 - -382. Suppose -510 - g = -6*s. Is s a composite number?
False
Suppose -2*g = -2, 4*k - 4*g = 5*k - 2651. Is k prime?
True
Suppose -3*t = 2*t + 3555. Let f = 1084 + t. Is f a prime number?
True
Suppose -3*p = -6*p. Let h(n) = n**3 + 8*n**2 + 5*n + 2. Let m be h(-5). Is (p - 2/(-4))*m prime?
False
Let q(b) = 52*b**2 - 2*b - 1. Let p be 36/9 + (-4)/2. Is q(p) a composite number?
True
Suppose -w + 2 + 9 = 0. Let d(q) = 56*q - 3. Is d(w) a composite number?
False
Let h = -22 - -8. Suppose 0 = 2*p - 4, 3*c - p - 1026 + 335 = 0. Is ((-38)/3)/(h/c) composite?
True
Suppose 3*c - 685 = -q + 7*c, -2079 = -3*q + 4*c. Is q composite?
True
Is 10247 - (-2 - 1)/(228/(-304)) a composite number?
False
Let p(r) = 3157*r**3 + 3*r**2 + 2*r + 2. Is p(2) prime?
False
Suppose 256 = -3*j - 5*d, -j = -0*j - d + 72. Let l(t) = -12*t - 9. Let r be l(-12). Let i = r + j. Is i prime?
False
Let w(h) = h**3 - 7*h + 3. Let b(u) = -u**3 + 7*u - 2. Let f(d) = 4*b(d) + 5*w(d). Is f(9) a composite number?
False
Let y = 0 + -19. Let h = 53 + y. Is h prime?
False
Let a = 312 + 1001. Suppose 3*t - 700 = a. Suppose 3*u - t = -g, 0*u - g = -u + 221. Is u a prime number?
True
Let a(o) = o**3 - 8*o**2 + o - 3. Let r be a(8). Let k = -5 + r. Suppose 4*f - 572 = -k*f. Is f composite?
True
Let h(f) be the third derivative of -f**4/8 - f**3 - f**2. Let s(y) = y + 5. Let a be s(-10). Is h(a) a composite number?
True
Is -3 - 4*(-5)/10 - -956 a prime number?
False
Suppose -37*j + 2999627 = -0*j. Is j a composite number?
False
Let r(w) = -2*w**3 - 5*w**2 + 10*w + 27. Let v be r(-5). Is (v/(-6))/(1/(-13)) a composite number?
True
Let x(k) = -k**3 - 9*k**2 + 14*k - 19. Is x(-11) prime?
False
Let o(m) be the first derivative of m**5/5 + m**4/8 + 2*m**3/3 - m**2/2 - 7. Let c(u) be the second derivative of o(u). Is c(-3) a prime number?
True
Let w(o) = o**2 - o + 2. Let m be w(0). Is (1 - 3/m)*(7 - 1193) prime?
True
Suppose 3*o + 2*r - 36720 + 8265 = 0, -4*o - 3*r + 37939 = 0. Is o a composite number?
True
Suppose 0 = -5*m + 10, 7*p - 3*p = 3*m + 8066. Is p a composite number?
True
Let c(l) = -l**3 + 6*l**2 - 5*l - 6. Let u be c(5). Let d(r) = -r**3 - 2*r**2 - 2*r - 7. Is d(u) a prime number?
True
Let k = 30 - 24. Let b(o) = k*o**2 - 3 - 3 + 3*o**2 + 1 - 3*o. Is b(6) prime?
False
Is 4 + 2/(-6) + 13252/3 a prime number?
True
Suppose -4*s - o = -12, 5*s - o = -4 + 10. Let h be s*((-50)/4 - -2). Is (-128)/(-6) - 14/h composite?
True
Suppose -3*v - 20 = -8*v. Suppose -8 - 22 = -v*i - 5*d, 2*d = 2*i - 6. Let w(k) = 14*k**2 - 7*k + 4. Is w(i) a prime number?
False
Let z(v) = 864*v**2 + 4*v + 3. Is z(-4) a composite number?
True
Suppose 4*i + 5*c = -758, -4*i - 2*c - 16 - 736 = 0. Let j = -111 - i. Suppose 198 = 5*w - 3*p, w + 2*p - j = -w. Is w a prime number?
False
Suppose -r - 3*r + 4*d - 20 = 0, -4*r = -d + 5. Is -1*2 - (r - (4 - -1067)) prime?
True
Let o be 2/((-3 - -2)/(-1)). Suppose r - 5412 = -o*v - r, -2*v = -5*r - 5391. Suppose -658 + v = 5*t. Is t a prime number?
True
Suppose 113391 = 14*a - 181855. Is a composite?
False
Suppose 0 = 2*w - 6*w - 56. Let y be w/(-4)*(-20)/35. Is (y/(-6))/(7/1113) composite?
False
Is -3 - (2 + -5320 + -3) - -5 prime?
True
Let r(g) be the third derivative of -13*g**4/8 - 7*g**3/6 + 18*g**2. Let m(v) = v - 13. Let q be m(9). Is r(q) a prime number?
True
Let o(m) = 58*m + 3. Suppose s - 5*v = -2*s - 19, -3*v = 2*s - 19. Is o(s) prime?
False
Let z = 1028 - 37. Is z prime?
True
Suppose 3*c = -12, -12*f - 4211 = -15*f + 5*c. Is f prime?
False
Let g(u) = -u**3 - 16*u**2 - 26*u. Let a be g(-15). Let o = 331 - a. Is o prime?
False
Is -7 - (-5 + -9236 - -7) a prime number?
True
Is (-525)/(-77) + -7 - 131221/(-11) a composite number?
True
Let w = -2161 - -1370. Let v = 1120 + w. Is v prime?
False
Let j(g) = -31*g + 4. Let m be (5 - -2) + 1 + 1. Suppose m*c + 18 = 3*c. Is j(c) composite?
False
Let p = -34 + 61. Is (38/10)/(p/8235) composite?
True
Is 7/(735/(-14)) + (-389571)/(-45) a prime number?
False
Let g = 151498 + -60197. Is g composite?
True
Suppose -5*c + 4605 = l, -10*l = -5*l. Is c a composite number?
True
Let z = -3530 - -7111. Is z prime?
True
Suppose -3*d = -5*a - 19, 2 + 5 = d - 2*a. Suppose d*v - 442 = 332. Is 2*(-1 - v/(-4)) composite?
False
Let k(n) = 21*n**2 + 2*n - 15. Let b be k(-5). Let d = b - 226. Is d a composite number?
True
Let x = 518 - -393. Is x a composite number?
False
Let n = -27 + 27. Suppose -118 = -n*c - 2*c. Is c a composite number?
False
Let u(l) = -l**2 - l + 2. Let g be u(-2). Suppose 4*x + o + 2*o - 1609 = g, 0 = -x - 2*o + 401. Let r = x + 282. Is r composite?
True
Suppose 5*f = 15, 7*m = 3*m + 4*f + 84. Let j(h) = 111*h - 7. Is j(m) a prime number?
True
Let t(k) be the first derivative of -k**4/4 + 5*k**3 - k**2 + 18*k - 6. Let p be t(14). Suppose -357 = -3*m + p. Is m a prime number?
True
Let q(v) be the second derivative of 7*v**3/3 - 2*v**2 - 9*v. Let c be q(5). Suppose -3*w + 300 = 3*z + c, 2*z = 2. Is w composite?
True
Let i = 4 - 5. Let y be (-985 - -4)*i - -3. Suppose -6*h + 282 = -y. Is h a prime number?
True
Let v be (-15)/(-2)*(-2)/(-3). Suppose -3*s + 4*o = -1314 - 579, -4*s = -v*o - 2525. Is s a prime number?
False
Let f = 19 + -14. Suppose 2*p + l - f*l = -2, 0 = -3*p - 4*l - 3. Let g = p + 32. Is g composite?
False
Suppose -330446 = -2*s + 20*y - 23*y, y = -5*s + 826141. Is s a prime number?
True
Suppose 2*m - 934 + 266 = 0. Is m composite?
True
Let p(i) = 8*i**2 + 7*i + 3. Let d(j) = j**3 - 7*j**2 - 9*j + 2. Let n = 16 - 8. Let g be d(n). Is p(g) composite?
True
Suppose 0 = 5*q - 1 - 14. Let z(t) = -28*t + 2. Let y(j) = 27*j - 2. Let b(r) = 5*y(r) + 4*z(r). Is b(q) a composite number?
False
Let s(v) = 7*v**2 + 3*v - 12. Let j(x) = -14*x**2 - 7*x + 24. Let u(c) = -2*j(c) - 5*s(c). Let p be u(8). Is p/(-1) - 13/13 composite?
False
Let t(k) = -21*k**2 - k + 3. Let j(d) = 84*d**2 + 3*d - 13. Let n(z) = -4*j(z) - 18*t(z). Is n(-5) a prime number?
False
Suppose 5*n - 5*j + 225 = 0, -2*n + 153 = -5*n - 3*j. Let m = -43 + n. Let x = -58 - m. Is x composite?
True
Let k be 105/(-9) + ((-10)/(-15))/(-2). Is ((-12327)/(-30) + k/30)*2 a composite number?
False
Let k(h) = h**3 - 19*h**2 + 16*h + 35. Let n be k(18). Is ((-105)/(-9))/(n/(-3)) a prime number?
False
Let f(c) = 288*c - 3. Let l(m) = 3*m - 28. Let u be l(11). Is f(u) composite?
True
Let v(k) = 700*k**2 + 32*k - 141. Is v(5) prime?
True
Let t(w) be the second derivative of 19*w**4/2 - w**3