 prime?
True
Let r(b) = 267*b**3 + 2*b**2 + 2*b - 3. Let d be r(2). Suppose -8*o + d = -583. Is o a composite number?
True
Suppose 4*k = 4*f - 113536, -5*k - 4 = -k. Is f a prime number?
False
Let n = 4 - -12. Let o = n + -19. Is ((-1)/o)/(3/333) a composite number?
False
Let z(d) = -d. Let j(f) = 4*f + 6295. Let m(c) = j(c) + 5*z(c). Is m(0) composite?
True
Suppose 0 = 3*r - 8*r - 5, 4*h - r + 43 = 0. Let w(n) = -n**3 - 10*n**2 + 12*n + 10. Let q be w(h). Is 5824/7 + (-2 - q) composite?
True
Suppose 296760 = -85*p + 109*p. Is p prime?
False
Is -14366*(-45)/40 - (-1)/4 prime?
False
Suppose -5*a = -3*t - 550, -4*a = t + 84 - 541. Suppose 4*n = -21 + a. Is n a prime number?
True
Suppose -r - 4*j = -3875, -19299 = -5*r + 24*j - 25*j. Is r prime?
False
Is ((-37279)/33)/(2/(-6)) prime?
True
Is 295867/78 - 3*(-1)/(-18) composite?
False
Suppose 10*q - 26437 = -4697. Is q composite?
True
Suppose -48110 = -21*v - 7727. Is v a prime number?
False
Is ((-125)/50)/(3/6) - -9906 prime?
True
Is (43/(-129))/((-3)/918423) a prime number?
False
Let j be ((-45)/(-2) - 3)*56/6. Let w = j - -587. Is w a composite number?
False
Let h = -2 - -4. Suppose h*q - 3*q + 149 = 0. Is q a prime number?
True
Let p(d) = 6 + 2*d**2 + 13*d**3 - 6 + 13. Is p(6) a composite number?
True
Let a(x) = -x - 4. Let o be a(-6). Let d(k) = 48*k**2 - 1. Is d(o) a prime number?
True
Let j = -30 - -43. Let w(g) be the first derivative of -g**4/4 + 4*g**3 + 9*g**2 - 16*g - 5. Is w(j) a prime number?
False
Let b = 1211 - -2668. Is (-4 + b)/5 + 3 prime?
False
Let a = 9732 - 3311. Is a composite?
False
Let c(y) = 9*y**2 - 34*y + 88. Is c(29) a prime number?
False
Let l = 58 + -29. Suppose 3*r - 8 = -4*o + l, r = -o + 13. Suppose -43 + r = -4*z. Is z a composite number?
False
Let b(y) = 15*y + 8. Suppose 0 = k - 8 + 6. Suppose -n + 11 + k = 0. Is b(n) composite?
True
Let u(d) = d**2 + d - 8. Let k be u(0). Let t(r) = -18*r - 6*r**2 + 7*r - r**3 - 11 + 0*r**3. Is t(k) a prime number?
False
Let b(u) = 3*u**2 - u. Let m be b(2). Suppose -m*r - 267 = -13*r. Let g = r - 56. Is g a composite number?
True
Suppose 5*r - 36 = -46, -5*i + 100051 = 2*r. Is i prime?
True
Let g(l) = 12*l**2 - 6*l - 9. Let p be g(-8). Let d = -544 + p. Is d prime?
True
Suppose 0 = 17*l - 13*l - 2624. Suppose 2*x - 900 = -4*i, 4*x - 3 = 3*i - l. Is i prime?
True
Is 740/14 + (-5 - 72/(-14)) a composite number?
False
Let s = 7835 + 11823. Is s composite?
True
Let j = 99 + -62. Suppose -5*t + 27 = -4*m, 5*t - j = -0*t - m. Let p(n) = 15*n + 14. Is p(t) a composite number?
True
Let t(w) be the second derivative of -2*w**2 + 1/4*w**4 + 5/2*w**3 + 0 + 8*w. Is t(-11) prime?
False
Suppose 6*a + 5*n - 26501 - 198302 = 0, -3*a + 112409 = 4*n. Is a a composite number?
False
Suppose 4*a = 43733 - 7245. Is a a composite number?
True
Let r(l) = -l**2 - 36*l + 6. Let v be r(-15). Is (-5)/((-5)/v) + (3 - 1) a prime number?
False
Let p be 4/3*(-75)/(-10). Suppose -4*w = -4*s - 16, -2 = -5*w + 3*s + p. Suppose -2*y - 126 = -4*j + 82, w = -y + 2. Is j prime?
True
Suppose 3*r + 1 = 2*r + 2*f, -2*r = f - 13. Is (-967)/((-4)/(20/r)) prime?
True
Let d = -4031 + 13798. Is d composite?
False
Let o(b) = 303*b - 1. Let c be o(-1). Suppose p + 485 = -2*p - x, 2*p - 4*x + 342 = 0. Let y = p - c. Is y a prime number?
False
Suppose -d + 268 = -1884. Let f = 3589 - d. Is f composite?
True
Let v = -1206 + 1311. Suppose 5*l = -3*j + 27, -j + 4*j - 24 = -4*l. Suppose -l*a = -6 - v. Is a prime?
True
Suppose -1700 = 12*q - 49136. Is q a prime number?
False
Let f(p) = p**3 + 9*p**2 + 11*p + 9. Let c be f(-8). Let g be (-10)/(-2) + (c - -12). Suppose 0*a - a + 997 = g*i, 4*a - 1503 = -3*i. Is i a composite number?
True
Let l(u) = -u**3 + 7*u**2 + 6*u + 7. Suppose 0 = -3*j + 44 - 8. Suppose 3*k = j + 6. Is l(k) composite?
False
Let t(z) = 6*z**2 + 3*z + 5. Let h be (120/18)/(4/6). Let m be t(h). Suppose m = 2*x + 3*x. Is x a composite number?
False
Suppose -3*h - l + 6534 = 0, 4*h + 5*l - 9251 + 550 = 0. Is h a composite number?
False
Suppose h + r - 51 - 21 = 0, 3*h - 219 = -4*r. Let m(p) = 7*p**2 + 2*p - 5. Let a be m(-5). Let b = a - h. Is b a prime number?
False
Is (2/(-4))/(107/(-3616814)) prime?
True
Suppose 3 = 4*f - 3*k, 7 + 2 = -2*f + 5*k. Suppose -139 - 620 = -f*b. Is b a prime number?
False
Suppose 21*j - 35410 = 35255. Is j a composite number?
True
Suppose 4*y = 8*y - 4. Let c(l) = 49*l + 1. Let m be c(y). Is m/1 - 1/(-1) a composite number?
True
Suppose -31*x + 34*x - 9 = 0. Is (1 - 747)/(2 - x) a prime number?
False
Suppose -7*h + 2718 = -5*h - 4*m, -3*h + 4079 = -4*m. Is h a prime number?
True
Is ((-330258)/12)/(-19)*(2 + 0) prime?
True
Suppose t = -3*t + 32. Let v = 493 - t. Is v composite?
True
Let a(d) = -2*d - 4. Let j be a(-8). Suppose 10*f = j*f - 2428. Is f a prime number?
False
Is -3 + (94362/12)/(2/8) a composite number?
True
Suppose 48*z = 25*z + 147683. Is z a composite number?
False
Suppose -19534 = -2*k - 0*k. Is k a prime number?
True
Suppose 64*u - 1501925 = -102309. Is u a prime number?
False
Suppose -3*c - 5*p + 4 = 0, 0*c - 5*c = -5*p + 20. Let g be 0 - (1 - 3 - c). Suppose 4*z + 8 + 12 = 0, g = -5*t - 4*z + 1875. Is t composite?
False
Suppose 8 = 2*g + 4. Is g/((-4)/(-2450)) + (-8)/4 a composite number?
False
Let n = 3091 + 2056. Is n prime?
True
Let s = -11968 - -19585. Is s a composite number?
True
Let r(q) = q**3 + 3*q**2 - 9*q + 5. Let b be r(-5). Let z be 248 + b*(-3)/12. Suppose -5*w + 469 = 4*m - z, m + 582 = 4*w. Is w a composite number?
True
Suppose 25 = -2*t + 7*t. Suppose -2*a = a - 5*o + 2119, 5*o - 3545 = t*a. Let v = 56 - a. Is v a composite number?
False
Let n(t) = -23*t**3 + 3*t + 1. Let i be (60/(-105))/(2/7). Is n(i) prime?
True
Let d be (-2)/(-9) + (-2940)/(-135). Suppose -5*o + d + 3 = 0. Suppose o*r = -4*l + 1899, -2*r + 5*l + 998 = 245. Is r prime?
True
Suppose 11*w = 3223 + 9438. Is w composite?
False
Suppose -9265 = -15*n + 10*n. Is n a composite number?
True
Let t(u) = u**2 - 7*u + 4. Let x be t(5). Let h be 928/(-15) - 8/60. Is -4 - h - x/(-2) a composite number?
True
Suppose -50*a + 16261 = -165789. Is a composite?
True
Let v be (-74)/(-14) - 2/7. Suppose -3*m - m = 3*f - 3024, 0 = 4*m + v*f - 3032. Is m a prime number?
False
Suppose 8 = f - 3*f, 0 = 4*w + f + 4. Suppose w - 2 = -b. Suppose -55 = b*o - 189. Is o a prime number?
True
Let f = 12184 + -7791. Is f prime?
False
Suppose -53*w - 191038 = -76*w. Is w a composite number?
True
Let w be 442/(-51)*6/(-4). Suppose 5*i - w = -h - h, -h = -4*i. Suppose 3*u = m - 133, -m - 4*u = -h*m + 409. Is m prime?
True
Let r = -2255 - -3666. Is r prime?
False
Let b(f) = -634*f**3 + f**2 - 2*f - 2. Let a(s) = s**2 - 11*s + 17. Let q be a(9). Is b(q) prime?
False
Suppose -2*g = 4*p - 26, 30 = 4*g + 3*p - 7. Suppose -g*i + 530 = -2*i. Is i a composite number?
True
Let z(n) = 6 - n - 7 + 25*n**2 + 6. Is z(-3) composite?
False
Let z(p) = -p - 1. Let q be z(5). Let h(l) = l + 3. Let w be h(-5). Is (q + 125)*(-2)/w a prime number?
False
Let c(y) = 203*y**2 - 4 - y - 5 + 16 - 8. Suppose 0 = -2*o - o - 3. Is c(o) a composite number?
True
Let z be (1 - (-1 - 0))*10/4. Suppose -z*o - 376 = -3*y, 0 = -5*y + 6*o - 2*o + 631. Is y prime?
True
Suppose 4*p + p - 3521 = -4*o, -o + 5*p + 874 = 0. Suppose 5*w = 5*h + w - 873, 5*h - 2*w - o = 0. Is h prime?
False
Suppose -2*d + 17 = 3*d - 3*l, -4*l = -5*d + 16. Suppose -3*f + 3*c + c = 0, -2*c = -d*f. Suppose f*o - o + 113 = 0. Is o a prime number?
True
Let k(h) = -2*h - 3. Let n be k(-4). Let b be 4/((-1 + n)/(-2)). Let c = b - -6. Is c prime?
False
Let x be (0 - 2) + -1 - -7. Suppose 4*i - 4*y = 11 - 3, -x*y + 7 = -i. Suppose 0 = i*r - 330 - 15. Is r prime?
False
Suppose 13 = t - r + 15, -12 = 4*t - 3*r. Let b(g) = g**3 + 11*g + 5*g**2 + 6*g**2 + 11 - 4. Is b(t) composite?
True
Let y = -1336 + 2705. Is y prime?
False
Suppose -2*a = -3*q + 28461, 4*q + 9487 = 5*q + 3*a. Is q prime?
False
Let b(s) = 4*s**2 - 2*s + 1. Is b(9) prime?
True
Suppose i - 13 = -0*i + n, -4*i = 2*n - 58. Suppose -5*y - 3*k = -329, 5*k + i - 4 = 0. Is y a composite number?
False
Suppose -5*a + 62 - 47 = 0, -w = -4*a - 2799. Is w prime?
False
Let g(i) = -538*i - 32*i - 3 - i. Is g(-2) a prime number?
False
Suppose 0 = 4*b - 3*k + 2100 - 10739, -5*b - 5*k + 1