
Let j(t) = -32*t**3 + t**2 - t - 1. Let m(z) = -z**3 + 2*z**2 + 2. Let k be m(2). Let u be (-9 - -8)/(3 - k). Is j(u) prime?
False
Suppose -5*p - 5*k = -10, -k = -2*p - 2*k + 7. Suppose p*i + 187 = 642. Is i composite?
True
Suppose -3*t - 2*l = -13, -2*t = -7*t - 2*l + 15. Let f = t - -1. Suppose 406 = f*s + 108. Is s a composite number?
False
Is (-117784)/(-6) + 12*(-1)/(-36) prime?
False
Let z = -74260 - -112091. Is z a prime number?
True
Let c = 37159 + -23202. Is c composite?
True
Let x be (-23)/69 + (-2)/(-6). Let a = x - -87. Is a a composite number?
True
Let j(p) = 135*p + 4. Let d(w) = -138*w - 3. Let l(i) = 137*i + 3. Let v(r) = 3*d(r) + 4*l(r). Let q(m) = 2*j(m) - 3*v(m). Is q(-1) a prime number?
True
Let r = 4 - 2. Let p(b) = b**3 + r*b + 0*b**3 + b**2 + b - b + 3. Is p(4) composite?
True
Let w(p) = 3*p**3 - 2*p**2 - 21*p + 29. Is w(21) a composite number?
False
Is (1/2)/((-101)/(-7069798)) a prime number?
False
Suppose 2*v = s + 5, -3*v = 2*s + v - 30. Let a be s/2*(-6)/(-5). Suppose -2*g + 185 = a*g. Is g composite?
False
Let g be (-22924)/33 - (-1)/(-3). Let a = 1164 + g. Is a a composite number?
True
Let c(w) = -1834*w - 15. Is c(-1) prime?
False
Let c be (1/(-4) - (-21)/(-12)) + 7. Suppose -4*h - c*a = -6*a - 530, a - 268 = -2*h. Is h prime?
False
Suppose 5*h - 3*m = -400, -3*h - m = 58 + 196. Let p = 118 + h. Is p a prime number?
False
Let q be 3 - (4 + -7 - 111). Let d = q - -41. Is d a prime number?
False
Let d = 14 + -6. Suppose p = 1150 + 2398. Suppose d*c - p = 4*c. Is c composite?
False
Let j(x) = 39*x**3 - 5*x**2 - 5*x. Let v be j(-4). Let m = 343 - v. Is m a prime number?
False
Let d(i) = 9*i**3 + 37 + 30*i + 10*i - 32 + 25*i**2 - 10*i**3. Is d(24) a prime number?
False
Let p(m) = -5*m**2 - 9*m - 21. Let s(b) = -56 - 2*b**2 + b**2 - 8*b**2 - 17*b + 15. Let w(n) = 7*p(n) - 4*s(n). Is w(13) composite?
False
Suppose -v = -2*v + 3. Let w be 0 - (v/(-1) + -176). Let f = w + -121. Is f a composite number?
True
Suppose -2*p - 2211 = -c, -6*c + 4*p = -2*c - 8828. Is c composite?
False
Let h(n) = n**3 - 6*n**2 + 4*n + 2. Let d be h(5). Let o(c) = c**3 + 3*c**2 - 2*c - 4. Let x be o(d). Suppose -5*p - 4*m + 551 = 0, 0 = x*m + 2. Is p composite?
True
Let m = -527 + 1624. Is m a composite number?
False
Is (8585/606)/(1/6) a composite number?
True
Let w be ((-19677)/28 - 1)/((-2)/16). Suppose 16*f - 6*f - w = 0. Is f a prime number?
True
Suppose w + 3*v - 1873 - 705 = 0, 5*v = -4*w + 10312. Is w a composite number?
True
Suppose 5*w - 2 = -12. Is ((-69)/18*3)/(1/w) a prime number?
True
Let y = -5 + 10. Let h(j) = 36*j - 8. Let q be h(5). Suppose 5*t + a = q, y*a = -2*t - 2*t + 146. Is t composite?
True
Let j(l) = l**3 + 7*l**2 + 4*l - 8. Let o be j(-6). Suppose -5*y = 4*v, 0 = -2*y + y - o*v. Suppose -2*f + f + 545 = y. Is f prime?
False
Let t be (-22)/8 + 11/(-44) - -9276. Let j = 15882 - t. Is j a prime number?
False
Let g be 14/(-4) + 10/20. Is 2/g*(-158)/8*6 composite?
False
Let z(f) = f**2 + 4*f + 3. Let p(a) = -6*a**3 - a**2 + 2*a - 1. Let v be p(1). Let k be z(v). Is (947 - 0)*(k - 14) a prime number?
True
Suppose -140399 = -13*l + 122838. Is l prime?
True
Let h(w) = -w**3 + 11*w**2 - w + 11. Let j be h(11). Let a be (-3 + 9 + j)/2. Suppose a*p - p - 74 = 0. Is p a composite number?
False
Let w(x) = 34*x + 1. Let z be w(-3). Let q = -482 - z. Is q/(-6) - 3/(-2) prime?
False
Let p = 7 - 5. Let g be 258/(-12)*4/p. Let n = 120 + g. Is n prime?
False
Let u = 16417 - -1102. Is u prime?
True
Let w be 0 + -1 + 0 + 6725. Suppose w = -4*y + 3*g, -3*g - 3287 - 1735 = 3*y. Is y/(-3)*(-6)/(-4) composite?
False
Is (-500)/(-600) + 986474/12 prime?
True
Let m(w) = 130*w - 4. Let h be m(3). Suppose -4*j + 1502 = o - 6*o, 4*o - h = -j. Let c = j + 31. Is c prime?
True
Let c be ((-104)/65)/((-2)/5). Suppose c*x + 3*s = -174, 3*x + 70 + 64 = -4*s. Let f = 953 - x. Is f a composite number?
True
Suppose 55620 + 162570 = 14*d. Suppose 0 = v - 3*t + 6*t - 5191, 0 = 3*v + 3*t - d. Is v a composite number?
False
Let w be (0 - -2)*15/6. Suppose 4450 = w*u + b, 2*u - 2687 = -u - 4*b. Is u prime?
False
Suppose -5*w - 28 = -8. Is (w/(-8))/(2 - (-1030)/(-516)) prime?
False
Let y = 18 + -8. Suppose 0 = 7*s - y*s + 582. Is s composite?
True
Let o = -27 + 27. Suppose 0*g + 6 = -3*c + 2*g, o = -5*c - 3*g - 29. Is (-4568)/(-10) - c/20 a prime number?
True
Let m be 9694/26 - (-7 - 267/(-39)). Let j be 12*(-13 - (-1 + 1)). Let s = m + j. Is s composite?
True
Suppose 2*s = -4*d + 3674 - 870, -2*d = -4*s - 1402. Is d prime?
True
Let n(d) = 177*d**2 + 10*d + 51. Is n(-8) a prime number?
True
Let t = 2176 - 3484. Let p = 3743 - t. Is p prime?
True
Let h(b) = 12*b**3 - 2*b**2 + 7*b. Let u be h(9). Let s = -104 + u. Is s composite?
True
Suppose 4*r - 5*r = 0. Suppose 12*b - 1608 = -r*b. Is b composite?
True
Suppose 28*g = 347509 - 124601. Is g composite?
True
Suppose 0 = -5*q + o + 5775, -2*q + 4*o - 3465 = -5*q. Suppose -q - 599 = -2*r. Is r a prime number?
True
Let l(y) = y**3 - 6*y**2 + 5*y + 2. Let n be l(5). Suppose -4*z = -20, -n*b - z - 3*z = -28. Suppose -57 = i - b*i. Is i composite?
False
Let z = 18333 + -11954. Is z composite?
False
Let d(a) = -31*a - 4. Let m be d(-1). Suppose m - 7 = -5*k, -2*h + 90 = -k. Is h a prime number?
True
Suppose 2*q + 3 = x, -2*x + 6 = -2*q - 2. Is (938/21)/((-35)/(-33) - q) composite?
True
Suppose -3*y + 2*s - 22 = -7*y, 38 = 5*y - s. Let q(x) = -2*x**3 + 4*x - 4*x**2 + 6*x**2 - y*x**2 + 7. Is q(-6) prime?
False
Let l(j) = j**3 + 227*j**2 - 10 - 2*j**3 - 11*j - 239*j**2. Let r be l(-14). Suppose -f + r = -5*x, 5*x - 950 = -2*f + 77. Is f composite?
False
Suppose 4*k = 5*h - 26, -k - 2 = 3*h + k. Let r be h/4 - 901/(-2). Let s = r - -130. Is s a composite number?
True
Let y = 172831 + -54010. Is y composite?
True
Suppose 4*i + 132 = -3*n + 830, -3*i - 5*n + 518 = 0. Suppose -3*m + i = -m. Let v = -63 + m. Is v composite?
True
Suppose 0*t + 6 = 2*t - 2*z, 2*z - 2 = 0. Suppose 8 = -k + t*f - 12, 5 = -2*k + f. Suppose k*x - 4*x = -596. Is x prime?
True
Let c(z) = -3*z + 4. Let r be c(-4). Is r/112 + 12416/14 a composite number?
False
Suppose 0 = -3*a + 3*i + 12351, 0 = 6*a - a + 5*i - 20625. Is a a composite number?
True
Let h = -16865 - -23668. Is h prime?
True
Let h(p) = 30*p**2 + 14*p + 113. Is h(19) composite?
True
Is (-609)/(-18) + (3 - (-51)/(-18)) composite?
True
Suppose -6*d = -4*d - 90. Let p = 106 - d. Let w = 150 + p. Is w a prime number?
True
Let s be (-36)/(-45) - (-8)/(-10). Suppose -4*w + 2256 = 2*u, s = 5*u - 5*w + 528 - 6183. Suppose m - n - 124 = 438, -4*n = -2*m + u. Is m composite?
True
Let g(h) = 264*h**2 - 3*h - 7. Let x = 45 + -47. Is g(x) prime?
False
Let o = 538 + 13605. Is o prime?
True
Suppose 3*w = -4*p + 116, -3*w - 29 = -p - 4*w. Suppose 25 = 2*i - p. Is (-2222)/(-6) + 18/i a prime number?
False
Let d(r) = -r**3 + 15*r**2 - 14*r - 1. Let h(o) = -3*o + 2. Let y be h(-2). Suppose -3*f + 32 = 4*j, 3*f - y = 4*j + 32. Is d(f) a prime number?
True
Let h(a) = -a + 1. Let k(i) = -i**3 - 7*i**2 - 2*i - 8. Let z(y) = 6*h(y) + k(y). Let b be z(-9). Suppose -3*o + b = -215. Is o composite?
False
Let l(n) = n**3 - 2*n**2 - 2*n - 1. Let f be l(-1). Let x be f/(-5) + 18/5. Suppose x*v - 187 = -s, -1067 = -4*s + 4*v - 239. Is s a prime number?
False
Suppose -4*r = -2001 - 3003. Suppose 617 = 4*b - r. Is b composite?
False
Suppose -73 = -3*p - 1690. Let d = p - -1122. Is d composite?
True
Suppose 0 = -3*a + 5*r + 22, -2*a - 12 = r + r. Is 155905/30 + a/(-6) a prime number?
True
Let l = -100 - 60. Let a = l + 287. Is a composite?
False
Suppose 2*g = 370 - 18. Suppose g = 6*c - 2*c. Suppose 2*z + 3*k - c = 0, 0 = z - 6*k + 5*k - 27. Is z prime?
False
Suppose -3*y = -53 + 5. Suppose 2*v - i - y = 13, 3*i = 3*v - 36. Let j = v - -14. Is j a composite number?
False
Let f = -948 + 1789. Suppose -3379 - f = -10*z. Is z composite?
True
Let m = -590 + 2961. Is m composite?
False
Let k(s) = 1405*s - 153. Is k(10) a composite number?
True
Suppose -7*y + 5423 = -23536. Suppose 3*s - 4*u - y = 0, s = 5*u + 320 + 1059. Is s a prime number?
False
Suppose -18799 - 14042 = 3*u. Is (-10)/35 - u/21 prime?
True
Let b = -32770 - -63527. Is b prime?
True
Suppose 10 = d + 46. Is 2 - ((-6129)/d)/(2/(-8)) a prime number?
True
Let z(d) =