u a prime number?
False
Suppose 0 = 2*q - 3*q - 12. Is (8/q)/(3 - 13155/4383) a prime number?
True
Let h(z) = -2*z - 32. Let d be h(-18). Is 1077/d + (-2)/8 a composite number?
False
Let i(c) = -c. Let w be i(3). Let g(q) = q**3 + 2*q**2 - 5*q - 2. Let t be g(w). Suppose -t*u = -3*u - 191. Is u a prime number?
True
Let s(l) = 12*l**3 - 6*l**2 + 6*l - 31. Is s(10) prime?
False
Suppose -z + 947 + 1180 = 0. Is z a prime number?
False
Suppose 217*g - 212*g - 7715 = 0. Is g a composite number?
False
Let f = -61 - -2228. Is f a composite number?
True
Let a(q) be the third derivative of 1/6*q**4 - 13/6*q**3 + 0 + 1/2*q**5 - 2*q**2 + 0*q. Is a(-6) composite?
True
Suppose 2*g - h = -5*h + 6962, 15 = -5*h. Is g composite?
True
Is 6 - 1 - (-332)/8*84 prime?
True
Let x = 768 - 1280. Let t = 735 + x. Is t a composite number?
False
Suppose -4*t + 7708 = -3*x, x - 9635 = 43*t - 48*t. Is t composite?
True
Let z(l) = 75*l**3 + l**2 + 1. Let a(c) = -c**2 - 6*c + 8. Let f be a(-7). Let r be z(f). Let t = 108 - r. Is t a composite number?
False
Suppose 24*v + 295403 = 91*v. Is v a prime number?
True
Let c(u) be the first derivative of -u**3/3 - 3*u**2/2 + 4*u + 5. Let b be c(-5). Is (-855)/(-6)*b/(-9) composite?
True
Let m = 95 + -86. Let l(z) = 6*z**2 + 6*z - 7. Is l(m) a prime number?
False
Let m(c) = 11*c**2 + 2*c + 17. Let i = -59 + 64. Is m(i) prime?
False
Is (99260/21 - -15) + 4/(-6) a prime number?
False
Let l(w) = -13*w - 5. Let x be l(4). Let v = 20 - x. Is v a prime number?
False
Let r(m) = -13*m - 5*m + 5 - 42*m. Suppose -u - 5 = 0, -2*t - 1 = -0*u - u. Is r(t) a prime number?
False
Let k(o) = -7*o + 23. Let s be k(3). Let x = 16 + -11. Suppose 5*d + x*c = 1275, -s*d - 3*c = -497 - 11. Is d a prime number?
True
Let m(t) = 7 - 3*t - t - 14 - 3*t**2 - 13*t - 3*t**3. Is m(-6) a prime number?
False
Is (-15237)/(-18)*4/(0 - -2) a composite number?
False
Let j = 151 + -127. Suppose 19490 = -22*o + j*o. Is o prime?
False
Suppose -599350 = -51*c + 71657. Is c a prime number?
False
Suppose 5*l - 15 = 0, 0 = 3*n - l - 7 - 5. Let z be 5 - -2*(104 + -1). Is z/n*(-5 + 10) composite?
False
Let y = 34 - 31. Let u(n) = 52*n**2 + 2*n - 1. Is u(y) prime?
False
Suppose 9455 = 5*d - a - 3*a, 3*a + 9460 = 5*d. Is d composite?
True
Let c = 49 - 53. Let j(w) = -17*w**3 + 7*w**2 + 6*w + 5. Is j(c) a prime number?
True
Let d(p) = -4*p**2 + 9*p - 6. Let h(m) = 5*m**2 - 10*m + 6. Let a(q) = -6*d(q) - 5*h(q). Let w be a(-6). Let t(f) = f**2 - 7*f + 5. Is t(w) a composite number?
False
Let s be 3519/1 + 16/8. Suppose -6*h = h - s. Is h a composite number?
False
Let f = 47962 - 30903. Is f a composite number?
True
Suppose 679 = -5*b + 2339. Suppose -3*r + 3*d + b = -r, -d = r - 161. Is r a prime number?
True
Is 2722473/(-234)*-1*2 composite?
False
Let s(p) = 12*p**2 + 2*p - 12. Let w be s(8). Suppose -y + w = -1837. Is y prime?
True
Suppose 0 = 4*d + i - 109, -152 + 13 = -5*d - 4*i. Let x = d - 20. Suppose x*n - 4*n - 237 = 0. Is n prime?
True
Suppose -2*u + 46736 = h, 11*u - 8*u - 70093 = 4*h. Is u a composite number?
True
Let k = -23 - -25. Suppose -4*d + 3*n = -2 + 5, -2*d + k*n - 4 = 0. Suppose -d*w + 237 = -102. Is w a composite number?
False
Let a(w) = -3*w**2 + 8*w - 3. Let j(s) = 6*s**2 - 16*s + 7. Let o(l) = 5*a(l) + 3*j(l). Let x be o(10). Let k = 555 - x. Is k a prime number?
False
Let l(p) = -12*p + 10. Let d(j) = j**2 - j - 1. Let s(i) = d(i) - l(i). Is s(15) a prime number?
True
Suppose -c = 3*c - 8. Let j(l) = 3*l**2 + 31 + 12*l**3 - 2*l**c - 11*l**3. Is j(0) composite?
False
Let m be -3 + 9*(-3)/(-9). Suppose -p + 3*s + 40 + 171 = m, 5*s + 219 = p. Is p a composite number?
False
Let x = 4152 - -539. Is x composite?
False
Let g be (3 - 0 - -23) + -1. Let m = -18 + g. Let w(d) = 5*d. Is w(m) composite?
True
Let j = -12159 - -17798. Is j prime?
True
Let j = -15 + 21. Is 38/j*-2*855/(-30) a composite number?
True
Let u(f) = -27*f**3 + 7*f**2 - 39*f - 41. Is u(-12) a prime number?
True
Let i(l) = 48*l**2 - 17*l + 221. Is i(24) composite?
True
Let n = -1998 + 3713. Suppose p + n = -0*j + 3*j, -3*j - 3*p + 1707 = 0. Is j a composite number?
False
Suppose -5*n - 5*h = 40, -5*n + 8*h - 4*h = 40. Let j be (176 - -2)/(n/(-28)). Suppose -p - i = -124, 0*p + 4*i - j = -5*p. Is p prime?
True
Suppose -59*t - 2931 = -60*t + q, -2*t = -5*q - 5874. Is t a composite number?
False
Suppose -14*o + 10*o + 27054 = 2*k, 0 = k + 5*o - 13533. Is k composite?
False
Let z = -58 + 37. Let o = z + 26. Let r(g) = 9*g + 10. Is r(o) prime?
False
Let z(i) be the third derivative of -i**5/60 + 691*i**3/6 - 18*i**2. Is z(0) composite?
False
Let x(k) be the second derivative of 0 + k**3 + 1/6*k**4 - 3*k + 5/2*k**2. Is x(-5) a prime number?
False
Let n(z) = -4*z - 34. Let u be n(-8). Is ((-14)/(-14))/(u/(-5854)) a prime number?
True
Let t = -6053 - -10157. Suppose 27 + 5106 = 5*k + 2*z, -4*z = 4*k - t. Is k composite?
True
Let u = -210 + 459. Suppose -474 = -5*l - 5*s - 59, 3*l = 2*s + u. Let k = 74 + l. Is k a prime number?
True
Suppose 4*b + 3*b - 2261 = 0. Suppose f - b - 144 = 0. Is f a prime number?
True
Suppose -1 = 4*o + 7, -2*a + 124 = 2*o. Suppose 0 = -u + 18 + a. Is u prime?
False
Let l(k) be the first derivative of 31*k**4/4 - k**3/3 + k**2/2 + k - 2. Suppose 8 = 5*v - v. Is l(v) prime?
False
Let j(p) = 6 + 2*p + 2*p**3 - 5 - 8*p**2 + 2. Is j(4) a prime number?
True
Let l(q) = -q**3 - 7*q**2 - 62*q - 23. Is l(-15) a prime number?
True
Suppose 7*z - 3*z - 48 = 5*q, -2*z = 4*q + 28. Let d = 11 + q. Suppose -7*o + d*o + 356 = 0. Is o a prime number?
True
Let g be ((-20)/8)/((-4)/1736). Suppose 1183 = 3*j - g. Is 2/(1 + j/(-764)) prime?
True
Suppose 27 = 9*b - 9. Suppose -2*c + 5*c + 2*h - 408 = 0, 539 = b*c + h. Is c a composite number?
True
Suppose 58661 + 145657 = 6*m. Is m a composite number?
True
Suppose -81*b = -73*b - 740152. Is b prime?
False
Let w(d) = 56*d - 37*d + 40*d - 3. Let u(p) = 4*p - 16. Let m be u(5). Is w(m) prime?
True
Let x = 2068 + 3766. Let c = -1639 + x. Is c composite?
True
Suppose -1464 = -0*a - 6*a. Suppose b - 137 = a. Is b composite?
True
Let b(j) = -j**2 - 24*j + 21. Let c be b(-25). Is (-7)/((-4)/(-1356)*-3) + c a composite number?
False
Let q = -4583 - -7086. Is (q/3*2)/(16/24) a composite number?
False
Let s = -905 - -1096. Is s composite?
False
Let f(t) = t**3 - 11*t**2 + 3. Let r be f(11). Suppose 7*c - 37 = 2*c + 3*k, -5*k = r*c + 5. Suppose c*m = 681 + 234. Is m a prime number?
False
Let i = -2800 - -6074. Is i composite?
True
Let z(u) = 158*u + 109. Is z(3) a prime number?
False
Is (-41330)/(-20) + -3 - (-1)/(-2) a prime number?
True
Suppose 1285*j = 1302*j - 47345. Is j a prime number?
False
Let f(j) = -101*j - 3. Let t be (17 + -15)*-1*2. Is f(t) a composite number?
False
Let o(n) = -375*n + 1. Let p be o(1). Suppose 3*y + 131 = -2*k - 294, y - k + 135 = 0. Let t = y - p. Is t composite?
True
Let n(y) = 6*y**2 - 1. Let i be n(1). Suppose 11*q - i*q - 1164 = 0. Is q prime?
False
Let j be ((-117)/(-26))/(9/4). Let q = -406 - -577. Suppose 0 = 4*n - 2*x - 998, j*n - 682 = -3*x - q. Is n a prime number?
True
Let b = 34 + -32. Suppose 3*s + 53 = 4*q + b*s, -q = 3*s - 10. Suppose q*o - 15*o = -106. Is o a composite number?
False
Suppose -5*a + 9 = z - 19, -5*z - 2*a + 48 = 0. Let y be 2/z - 1729/(-28). Suppose 153 = 5*d + 4*i - y, 0 = 3*d - 2*i - 151. Is d a prime number?
True
Suppose 0 = 4*b - 27 - 77. Let a = b + -22. Is 2 + (a - -247) - -4 composite?
False
Let c(u) = -40*u + 266. Is c(-11) prime?
False
Let u(l) = -l**2 - l + 13. Let q be u(5). Let h(m) = 2*m**2 + 15*m - 6. Is h(q) composite?
False
Is -5*((-80)/25 + 3)*3337 composite?
True
Let j be (-1)/((-2)/1)*6. Suppose 3*x - j*h - 183 = 0, 3*x - 117 = x - 3*h. Suppose m - x - 35 = 0. Is m composite?
True
Let j(z) = z**3 - 21*z**2 - 18*z + 51. Is j(31) composite?
False
Suppose -3*w - 4 = -13. Suppose -3*y = w*f - 540, 6*y = 4*y - 4*f + 362. Is y composite?
False
Suppose -q - 1908 = -2*t - 6393, 17875 = 4*q + 5*t. Let k = q + -1456. Is k prime?
True
Let l = 0 - -3. Let i(q) = -l + 6 + 4 + 15*q. Is i(5) a composite number?
True
Let a(g) = 404*g**2 + 33*g + 38. Is a(5) composite?
False
Let u(c) = -16*c + 51. Is u(-20) a composite number?
True
Let i(f) be the first derivative of 19*f**3/3 + f**2/2 + 5*f + 