 composite?
True
Suppose -90 = -3*g - 24. Let y = g - 32. Is (-15)/y - 1310/(-4) composite?
True
Let f(h) be the first derivative of 167*h**2 - 19*h - 26. Is f(12) prime?
True
Is (-40312)/(-6)*(-51)/(-68) a prime number?
True
Let f = -16277 + 23526. Is f composite?
True
Let m(z) = z**3 - 6*z**2 + z - 21. Let u(x) = -x**3 + x**2. Let n(h) = -m(h) - 2*u(h). Is n(10) a prime number?
False
Let f(z) = -15*z**3 + 5*z**2 + 4*z + 5. Let y(g) = -15*g**3 + 4*g**2 + 4*g + 4. Let q(r) = -4*f(r) + 5*y(r). Let x be q(-3). Suppose 5*d + 58 = x. Is d prime?
True
Let v(m) = -2*m**3 - 2*m**2 + 2 + 3 + 39*m**3 + 2. Is v(2) a composite number?
True
Suppose q - 745 = 380. Let p = 2054 - q. Is p prime?
True
Let r be (6/(-5))/(2*5/(-25)). Suppose 0*v - 1510 = -5*j + v, j - 316 = r*v. Is j prime?
False
Suppose h - 2383 = -0*h. Let o = 1146 + h. Suppose 2856 = 5*p - o. Is p a composite number?
False
Suppose p - 6738 = 10015. Is p a prime number?
False
Let r(d) = 52*d**3 - 3*d**2 + 4*d. Let b(a) be the first derivative of 13*a**4 - 2*a**3/3 + 3*a**2/2 + 7. Let u(o) = 5*b(o) - 4*r(o). Is u(1) prime?
True
Suppose 5*b - 12196 = -826. Is (5/(-10) - -1)*b composite?
True
Let z be (1/(-2))/((-5)/830). Suppose -458 = 3*t - z. Let a = 326 + t. Is a a prime number?
False
Suppose 2*z - 171 = 11. Let k = z - 25. Suppose f = 3*f - k. Is f a prime number?
False
Is 87/(207/1219*(-2)/(-6)) composite?
True
Let n be -3*(-3 - -3 - 1). Is ((-1)/n)/((-5)/10515) a prime number?
True
Let x be -1 - (-4 + (-3)/(-3)). Suppose x*d = d. Suppose -3*l = -d*l - 429. Is l composite?
True
Suppose 0 = 23*k - 11*k - 37644. Is k prime?
True
Let c = 4787 - 688. Let a = -2826 + c. Is a prime?
False
Let y be 606 + 1 - (0 + -2)/1. Let s = y - 142. Is s prime?
True
Let c(a) = a + 7. Let n be c(7). Let v = n - 1. Let z = v - 11. Is z prime?
True
Let r(y) = -25*y + 1. Suppose 4*u + u - f = 31, -5*f + 20 = 0. Suppose -17 - u = 3*c. Is r(c) composite?
True
Let w be (-44)/(-8) + (-6)/4. Suppose -w*d + 487 = -3*d. Is d a composite number?
False
Let n(h) = -h**3 + 4*h**2 + 6*h - 7. Let i be (-57)/(-12) - (-3)/12. Let g be n(i). Is (-1055)/(-20) - g/8 prime?
True
Let x(t) be the first derivative of 11*t**5/60 - t**4/6 + 10*t**3/3 - 6. Let u(j) be the third derivative of x(j). Is u(5) prime?
False
Let s(k) = -95*k + 1. Let h be s(8). Let z = -3681 - h. Is z/(-18) - 4/(-6) prime?
True
Suppose -2*o + w = -0*o - 20905, 4*o + 3*w - 41815 = 0. Is o a prime number?
True
Let a = -719 + 260. Let z be 8/(-3)*a/36. Suppose 0 = 2*c - 36 - z. Is c composite?
True
Suppose -5*w = -14 + 4. Let l = 2 + w. Suppose u = -l*u + 175. Is u a composite number?
True
Suppose 0 = 2*h - 463 - 3395. Is h a prime number?
False
Let k(w) = -w + 9. Let l(i) = 3*i + 6. Let y be l(0). Let s be k(y). Suppose -398 = -4*b + 5*g, 0 = -s*b - g + 5*g + 299. Is b prime?
True
Let k(i) = 424*i + 27. Is k(6) prime?
False
Let g(j) = -j**3 + 6*j**2 - 5*j + 3. Let c be g(5). Suppose 5*a = -4*z + 2145, 2*a + 1050 = c*z - z. Suppose 0*t = -5*t + z. Is t prime?
False
Let m(u) = -2*u**3 + 3*u**2 + 4*u + 4. Let v(k) = -k**2 + 5*k - 2. Let i be v(3). Let c be m(i). Let o = c - -118. Is o a composite number?
True
Let n = 12 + -7. Suppose -n*m + 81 = r, 2*r = -m - r + 19. Suppose m*k = 12*k + 3164. Is k prime?
False
Let p(a) = 5*a + 15. Let z be p(-2). Suppose 0*j = z*v - 3*j - 2045, -2*v = -j - 818. Is v a composite number?
False
Let z(h) = -4*h**2 - 2*h + 5. Let w(d) = 1 + 10 - 1 - 5*d - 8*d**2. Let q(o) = 2*w(o) - 5*z(o). Is q(7) prime?
True
Suppose -30*o = -14*o - 64. Let s(h) = 3 + h**2 + 4*h - 3*h - 4*h. Is s(o) composite?
False
Let y(k) = -k**2 + k. Let b(s) be the third derivative of -s**5/20 - s**4/4 + 11*s**3/6 - 5*s**2. Let m(o) = -b(o) + 2*y(o). Is m(16) a composite number?
False
Let b(r) = 27*r**2 - r + 185. Is b(-29) prime?
True
Suppose 95741 = 17*a + 2*a. Is a a composite number?
False
Is -7 + 10 + 0 + 1178 a composite number?
False
Suppose -40*y + 1296536 = 461616. Is y a composite number?
False
Is (-15045380)/(-364) + 12/(-26) prime?
True
Suppose -34*q - 5898 = -40*q. Is q a prime number?
True
Let x(w) = -w - 19. Let c be x(-32). Suppose c*r = 2*r + 19151. Is r prime?
True
Suppose 2 = -3*k + 5. Let d(m) = 202*m**2 - 4*m + 3. Is d(k) a prime number?
False
Suppose 3*u = 2*m - 6, 4*m - 3 = 3*m. Suppose 3*b + 18 - 93 = 0. Suppose u = -2*y + 347 - b. Is y prime?
False
Suppose -3112 = -12*h + 13508. Is h a composite number?
True
Let s(i) = i - 2. Let c be s(3). Let v be ((-12)/14)/(c/(-7)). Suppose -2*f - 592 = -v*f + d, -5*f = 2*d - 753. Is f a prime number?
True
Suppose -g - 3*a = -0*g + 22, 4 = 2*a. Let f be 2/(-8) - 175/g. Suppose f*r = r + 635. Is r a composite number?
False
Suppose -6*u + u + 71000 = -3*g, 4*u = -2*g + 56778. Is u a composite number?
False
Let c be 11202/21 - (51/21 - 3). Suppose -5*v + 2*j - 3*j = -79, -5*v = -2*j - 67. Is c/v + 3/(-5) prime?
False
Suppose -2*q + 8443 = q + 4*p, 2*q + 5*p = 5617. Let n = q - 1454. Is n a prime number?
True
Suppose -122*i + 120*i - 416 = 0. Suppose -1122 = a - 4*a. Let j = a + i. Is j a composite number?
True
Let z be ((-6)/10)/((-1)/10). Let p be 2/z*0/2. Suppose 12 = 4*d, -3*d = -4*h - p*h + 163. Is h a prime number?
True
Let w be 1448/22 + (-8)/(-44). Suppose -3*o = -4*f + w, 4*f - 2*o - 30 = 34. Suppose 76 = f*b - 11*b. Is b prime?
True
Let c = 12848 + -7635. Is c a prime number?
False
Suppose -37 = -2*l - 29. Let b(h) = -139*h - 6. Let m be b(-6). Suppose 32 + m = l*n. Is n composite?
True
Suppose 5593 = 5*c + 2*z, c = 5*z + 1431 - 334. Is c a composite number?
False
Let p = -4 + 7. Suppose 5*x - 4 - 6 = 0, 5*n = -p*x + 2761. Is n a composite number?
True
Let o(k) = -13*k - 2. Let j be o(1). Is (0 - 10/j)*3783/2 a prime number?
False
Suppose n + 845 = s + 3*n, s - 873 = 5*n. Is s a composite number?
False
Let o(q) = -9*q**3 + 2*q**2 + 2*q + 1. Let j be o(-1). Suppose j = z + 11. Is z - -1 - (-39)/3 composite?
False
Let k(p) = -692*p**3 + 4*p**2 + 28*p + 65. Is k(-3) a prime number?
True
Suppose 3*m = 5*c - 46, -3*m = 2*m + 10. Is (1/(-3) - 0)/(c/(-11832)) a prime number?
False
Suppose 9*w + 18595 = 78121. Is w prime?
False
Let t = -8133 + 14938. Suppose -5*u = -l + 3*l - t, -3*l = -5*u + 6805. Is u composite?
False
Suppose 5*g - 63 = -4*f + 9, -5*g + 69 = 3*f. Let m be ((-8)/g)/((-6)/45). Suppose -m*q = -245 - 800. Is q prime?
False
Let y = 16 - 28. Let d be -4 - (y + (0 - -3)). Suppose -5*x = -2*w - 1991, 4*x - 1176 = x - d*w. Is x composite?
False
Let l be (-15)/(-6) + 2/(-4). Let k = -3 + l. Is k/(670/(-223) + 3) composite?
False
Let m = 17 - 14. Suppose m*n - 1722 = -4*n. Suppose 200 = 2*o - n. Is o a prime number?
True
Let j(p) = -11*p**2 - 26*p - 26. Let h(o) = -o**2 + 1. Let k(g) = 6*h(g) - j(g). Is k(-9) prime?
False
Let y = 1409 + -4595. Let f = y + 5765. Is f composite?
False
Suppose 6*u - 1625 + 83 = 0. Suppose w + u = a + a, -670 = -5*a - 3*w. Is a prime?
True
Is (7 - (-124580)/(-30))*-3 prime?
True
Suppose 0 = -2*m - 3*j + 52 - 16, 5*j - 8 = m. Let s = m + -5. Suppose 6*o + 395 = s*o. Is o prime?
False
Let w(b) = 57*b**2 + 9. Let k be w(-4). Suppose -3*z = 5*d - k, 4*d = 2*z - 0*d - 614. Is z prime?
True
Let u be 4/2*-1*12/(-8). Is (-611)/(1/(-1)) + u + -3 composite?
True
Let j(u) be the first derivative of -5*u**2/2 + 4*u - 11. Is j(-3) composite?
False
Let y = 29 - 110. Let c = y + 43. Is ((-4)/(-8))/((-1)/c) a composite number?
False
Let o = 190 + -59. Let c = 168 + -164. Suppose o = 5*i - c*i. Is i a composite number?
False
Suppose 3*o - 6171 = -276. Let r = o - 796. Is r a composite number?
True
Let t be (22/(-6))/((-3)/54*3). Suppose 26*p - 436 = t*p. Is p composite?
False
Suppose -3*y + 957 = 2*f - 39784, -101842 = -5*f + 3*y. Is f prime?
True
Let y = -172 - -357. Suppose 0 = -j + 53 + y. Suppose 0*s = -2*s + j. Is s a composite number?
True
Suppose -7*m + 13*m = 12. Suppose -4*i - m*i = -1266. Is i prime?
True
Suppose 0 = i + 3*a - 4265, 6*i - 8*i = 5*a - 8532. Is i prime?
True
Suppose c + 3*c + 11 = -r, 2*r - 3*c = 0. Let a = r + 4. Suppose 0 = -2*f - 3*l + 157, -a = -l - 0. Is f prime?
False
Let w(h) = -2*h**3 - 2*h**2 - 2*h - 51. Is w(-7) prime?
False
Is 29/(-58)*(-1 + -3621) a composite number?
False
Let x(h) = h**3 + 9*h**2 + 7*h + 10. Let d be (-20)/3*(-18)/(-15). Let