ue
Let d(l) be the first derivative of 6 - 57/2*l**2 - l. Is d(-2) prime?
True
Suppose -4*p + 0*p + 6 = 2*l, 2*p + 9 = -5*l. Is (207 - l - -1)/1 a composite number?
False
Suppose 16738 = 4*x - a - 17250, 33988 = 4*x + 2*a. Is x composite?
True
Let o(t) = 3*t**3 - 11*t**2 - 2*t + 14. Let l(i) = i**3 + i. Let d(w) = -2*l(w) + o(w). Let u be d(13). Suppose -5*y + u = -755. Is y a composite number?
False
Let q(z) = z**3 + 8*z**2 - 9*z - 4. Let m be q(-9). Is 2*3183*m/(-24) a composite number?
False
Let z(q) = -4*q**2 + 2*q - 6. Let i(s) = -3*s**2 + 3*s - 7. Let x(g) = -5*i(g) + 6*z(g). Let k be x(4). Let r = -102 - k. Is r a composite number?
True
Let q = 724 + -199. Is 1/(-4) - q/(-4) composite?
False
Let m(t) = 4*t**2 - t. Let a be m(1). Suppose 2*f = -f + 9, -5*f = a*k - 300. Is k a prime number?
False
Let i(t) = -82*t. Let u(w) = -2*w**2 + w + 2. Let x be u(-1). Is i(x) prime?
False
Let k(c) be the second derivative of -14*c**4 + c**3/6 - 3*c**2/2 + 13*c. Let z(y) be the first derivative of k(y). Is z(-2) composite?
False
Let p = 230 + 93. Is p a composite number?
True
Suppose -7*r - 4068 = -13*r. Let j = 1163 - r. Is j composite?
True
Suppose -j + 132424 = 5*y, 0 = -17*j + 20*j + 3. Is y a composite number?
True
Let i be (-1234)/(-10) + 6/(-15). Suppose 2*q + q - i = 0. Suppose 4*s = q + 83. Is s a prime number?
True
Let c(t) = 64*t**2 - t. Let i = -14 + 13. Is c(i) composite?
True
Let o = -1 - 2. Let t(i) = 9*i - 169. Let s be t(19). Is ((-1)/o)/(s/2478) a composite number?
True
Let g(d) = 2*d**2 + 9*d + 22. Suppose 8*z - 30 = 42. Is g(z) prime?
False
Suppose 2*i + 5*z = -3*i - 10, 2*i - 3*z - 11 = 0. Suppose i + 65 = 3*s. Is s prime?
False
Suppose 117 = -5*g - 443. Suppose -4*h - 630 = -2*i, -1281 = -154*i + 150*i + h. Let o = g + i. Is o prime?
False
Suppose -3982 - 478 = -5*i. Let y = 1523 - i. Is y a composite number?
False
Suppose 185778 = 26*m - 399820. Is m prime?
False
Let h(x) = -314*x + 3 - 4*x**3 - 8*x**2 + 300*x + 0. Is h(-8) a prime number?
False
Let a(i) = i**3 + 8*i**2 - 11*i + 2. Let h(s) = -s**3 - 6*s**2 - 7*s - 6. Let m be h(-4). Let w be a(m). Let j = w + 299. Is j a prime number?
True
Let r(x) = -x**2 - 3*x + 8. Let t be r(-4). Let z(o) = 11*o - 8*o**2 - 5*o**3 + t + 1 + 8. Is z(-7) a prime number?
True
Let i = 35 + -13. Let h = i + -16. Is (h/5)/(26/1495) a composite number?
True
Let l(p) = -1430*p**3 + 3*p + 3. Let s be l(-2). Suppose 0 = w - 5*k - 2270, 5*w + 5*k - k - s = 0. Is w a composite number?
True
Let k(p) = -1076*p**2 + 13*p - 7. Let i be k(5). Is i/(-12) - (-7)/42 prime?
True
Let b = -4 + 0. Let x be 2/b + (-45)/(-10). Is (2 - 108)/(3 - x) composite?
True
Let h(d) be the first derivative of -1 + 4*d + 1/2*d**4 + 2/3*d**3 - 3/2*d**2. Is h(3) prime?
True
Let v(q) = 94*q + 11013. Is v(0) a prime number?
False
Suppose -3*y = -y + 3*x, 8 = 2*y + x. Let p(z) = 5*z - y*z - 8*z + 1. Is p(-9) prime?
False
Let o(w) = 102*w - 13. Let i be 1 - (-1 - -4 - 6). Is o(i) a prime number?
False
Let t = 32 + -27. Suppose -g - 5*v = -467, 0 = 4*g - 2*g - t*v - 994. Is g prime?
True
Suppose s = -5, 0 = -3*c + c - 3*s - 23. Is 2198/21*(-6)/c a prime number?
True
Let y be 2/(-9) + (-80)/(-36). Suppose -v + 2*v + y = 0. Is -2 + 3 + v - -224 composite?
False
Suppose 5*z - 616 = 4*n + 60, -z = 3*n + 507. Let r = 576 + n. Is r a prime number?
False
Suppose 0 = -3*i + 6*i - 333. Let v(q) = 5*q + 44. Let o be v(-14). Let m = o + i. Is m a prime number?
False
Suppose 0 = 17*j - 22*j + 85. Suppose -j = -3*k - 2*d - 2*d, -22 = -4*k - 5*d. Suppose 0 = -5*w + k*n + 157 + 232, 2*n + 233 = 3*w. Is w a prime number?
True
Suppose 2*f = 1 - 5. Let r be -7 - -29 - (f - -2). Suppose 4*g - 56 = w, 2*g = w + 8 + r. Is g a composite number?
False
Let i(d) = -d + 12. Let s be i(6). Suppose 0 = 3*x - s. Suppose -x*m - 325 = -5*c, -3*m = -m. Is c prime?
False
Let x = -50 - -53. Is (6/(-15))/((-6)/4365*x) a composite number?
False
Suppose -z + 36 = 2*z. Let l(k) = -k**2 + 5*k + 5. Let m be l(z). Let o = 126 + m. Is o a composite number?
False
Let m = -24 - -32. Suppose m*u - 789 = 5*u. Is u a composite number?
False
Suppose -4*a + 8392 = -2*d + d, 5*a - 10499 = -d. Is a a composite number?
False
Is 1 + (-3 - 18291)/((-12)/8) a prime number?
True
Let p(x) = 3*x - 2. Let n be p(2). Is -453*(32/(-12))/4 - n prime?
False
Let p = 30 - 31. Let c be -1 + 9*(1 - p). Suppose c = -v + 103. Is v composite?
True
Let x = 18 - 16. Suppose 0 = x*u + 19 - 119. Let t = u + -27. Is t a prime number?
True
Suppose h + 5*n = 1874, 3*h + h = -3*n + 7445. Suppose -2*b + h + 2583 = 0. Is b a composite number?
False
Let w(g) = 53*g - 34. Is w(7) composite?
False
Suppose 3*a - 2*h = 36977, 27*a - 31*a + 2*h = -49300. Is a a prime number?
True
Let z be -2 - (-450)/55 - 4/22. Suppose -3*h - z*h = -3123. Is h a composite number?
False
Suppose -3*c = -l - 2*l + 34038, 3*c = -5*l + 56770. Is l prime?
True
Let c(v) = 3*v**2 + 2*v + 1. Let h be (1 - -1) + -3 - 4. Let y be c(h). Suppose y = -14*i + 16*i. Is i prime?
False
Suppose 2*h = 3*x + 4, 4*x - 2 + 14 = h. Is 9/(-6)*h/6 + 1758 prime?
True
Let n = -15 - -20. Is ((-2)/(-6))/(n/3165) a composite number?
False
Let v be (-2 - 0)*(6 - -4). Let f = -18 - v. Suppose 1408 = 3*s - i, -f*i + 0*i + 467 = s. Is s prime?
False
Suppose -2*v = -6*v + 4*w + 237748, 3*v + 5*w - 178343 = 0. Is v prime?
True
Suppose 2*r - r - 2*g = 2, -2*g = -5*r + 18. Suppose 2*w + r*w = 15942. Is w a composite number?
False
Let b(a) = 13*a**2 + 4*a - 7. Suppose 2*v = 0, 2*v - 6 = n - 3*v. Let t be b(n). Suppose -2*i - 3*s = -t, -4*s = i - 2*s - 221. Is i composite?
False
Let k = -858 + 1247. Suppose -3*s = -c - 111, 17*s - 267 = 2*c + 20*s. Let t = k + c. Is t a composite number?
False
Suppose -2*p = -3*p + 3869. Is p a composite number?
True
Let h = -14 + 1. Let c = h + 19. Suppose -4*d + 3*d + c = 0. Is d composite?
True
Suppose 2*h = -0*h + 2, h - 1 = 4*z. Suppose 4*i - 46 - 174 = z. Is i a prime number?
False
Suppose 5*v = -0*v - 15. Let j be (11/6)/(v/(-18)). Let k = j + 11. Is k composite?
True
Let d(j) be the first derivative of -159*j**2/2 - 34*j - 12. Is d(-9) a composite number?
True
Let f = 1334 + 1129. Suppose 848 = -5*h + f. Is h prime?
False
Let s = -1 - 1. Let z(r) be the first derivative of 22*r**3/3 + r**2/2 - r - 16. Is z(s) prime?
False
Let v(i) = 7*i**2 + 6*i + 31. Let y be v(18). Suppose -5*r + 3*f - 5*f + 3985 = 0, -2*f = -3*r + y. Is r composite?
True
Suppose -799879 = -5*d - 3*h, 3*d - 479935 = -51*h + 53*h. Is d a composite number?
False
Suppose 4*x - 2*x + 1360 = 0. Suppose -2*u + 4*s = 7 + 1, -4*s + 26 = -5*u. Is u/(-4)*x/(-12) prime?
False
Suppose 0 = 5*x - 3*q - 1 + 25, 5*x - 4*q = -27. Let n be (x - 1)/(-4)*20. Let o = n + 451. Is o prime?
False
Let h(c) = 163*c - 4. Let w be h(-2). Is 60/w - 29858/(-22) prime?
False
Suppose -8*o = 4*d - 7*o - 55992, 3*o + 27982 = 2*d. Is d prime?
True
Let n(o) = 89*o**2 - o + 19. Is n(-5) prime?
False
Is (5 - 9 - -6)/((-6)/(-9981)) a composite number?
True
Suppose 260 + 1330 = 5*m. Let f = m + -25. Is f composite?
False
Suppose -4*g + 4*j + 23402 = j, -23392 = -4*g - 2*j. Is g prime?
True
Let w(v) = -7 + 0 + 6 + 192*v. Is w(4) a prime number?
False
Suppose 0*s = -3*l + 2*s + 5, -4*l + 5*s + 2 = 0. Suppose 0 = -l*q - 8 + 101. Is q a prime number?
True
Let w(z) = 11*z**2 + 14*z - 13. Let y be w(9). Let h = 1509 - y. Is h composite?
True
Let b(u) = 4*u**2 - 19*u - 8. Is b(45) a composite number?
False
Let j(v) = 46*v - 1. Let n be j(8). Suppose -o + 1 = 0, -5*z + 2*o + n = -o. Is z a composite number?
True
Let z(f) = -720*f**3 - 9*f**2 - 4*f + 2. Is z(-3) composite?
False
Is (-1 + 55598)/((-8)/48*-6) composite?
True
Let v(u) = -1109*u + 64. Is v(-5) composite?
True
Let u be (-46)/(-8) - ((-18)/8 + 3). Suppose -2*n - 2*a + 600 = -u*a, -2*n - a = -608. Is n prime?
False
Suppose 0 = 7*q - 5*q - 54. Let f be 36/q*(-66)/4. Is ((-136)/(-6))/(f/(-33)) composite?
True
Suppose -21*k - 36216 = -5*u - 20*k, 7247 = u - 4*k. Is u a composite number?
False
Suppose -j = -0*j - 631. Suppose -4*d + j + 705 = 0. Is d prime?
False
Suppose -1037152 = -37*y - 129246. Is y a composite number?
True
Let b be (-464)/28*28/(-8). Let y = b + -33. Is y a prime number?
False
Suppose 4*s - y + 9036 = y, 0 = -4*s - y - 9042. Let u = 