number?
False
Let s = 151 - 993. Let q = s + 3279. Is q composite?
False
Let p(z) = -940*z + 151. Is p(-6) a composite number?
False
Let b be (-1 - 0)/((-20)/31380). Let s = -986 + b. Is s composite?
True
Let o(n) = 859*n + 19. Let i be o(13). Let y be ((-4)/(-2))/((-28)/i). Let r = 1752 + y. Is r composite?
False
Suppose -4*m = -7*m - 3*y + 3, y + 1 = 0. Suppose 4*g = -m*i + 566, -3*g = -6*g - 15. Is i composite?
False
Is 14895/30*(-174)/(-9) prime?
False
Suppose -4*d = 2*v + 756, 2*v - 4*v - 3*d = 753. Let l = v + 639. Is l a prime number?
False
Let q(n) be the second derivative of -n**5/20 - 7*n**4/6 - 11*n**3/3 + n**2/2 + 9*n. Is q(-13) a composite number?
True
Suppose 2*b + w - 10 = 0, 2*w + 7 = -0*b + 5*b. Let t be (-61)/b + 4/12. Is (-459)/(-18)*t/(-6) a prime number?
False
Suppose -15 = -3*x, -3*x - 499 = -4*t - 22. Is t composite?
True
Suppose 0 - 4 = u. Is (365/20)/(u/(-112)) a prime number?
False
Let u(w) = w**2 - 3*w + 2. Let i be u(3). Suppose -12 = -2*n - i. Suppose -v - 9 = 3*r - 31, v + n*r - 12 = 0. Is v a composite number?
False
Let c(v) = -2*v**2 + v + 13. Let r(f) = 4*f**2 - 3*f - 27. Let u(h) = 11*c(h) + 6*r(h). Is u(8) composite?
False
Let c(w) = w - 3. Let l be c(-5). Let x(p) = -p**3 - 9*p**2 - 8*p + 9. Let a be x(l). Suppose z = f - 2*f + a, 0 = 3*z - 5*f - 27. Is z prime?
False
Let m = 16 + -13. Suppose m*y - 695 = -2*y. Is y a composite number?
False
Suppose a + 1 = n, 0 = -3*n - 4*a + 11 + 6. Suppose -b - 2148 = n*b. Let u = -20 - b. Is u prime?
False
Let q be -3*4/6*-2. Suppose c + 1767 = q*c. Is c prime?
False
Let q = 8830 - 5903. Is q prime?
True
Let l = -5424 - -9104. Let j = 2189 - l. Is ((-1)/(-3))/((-7)/j) a prime number?
True
Let l(v) = -5*v**2 + 23*v + 4. Let r(f) = -5*f**2 + 24*f + 4. Let h(n) = 2*l(n) - 3*r(n). Is h(-5) prime?
True
Suppose -4*w - 3*c = -31, 52 = -3*w - 3*c + 76. Let r = 106 + -62. Let n = r - w. Is n a prime number?
True
Let x(y) = y**2 - 7*y + 8. Let z be x(6). Suppose c + 3*g = 5*g + 1985, z = -g. Is c prime?
False
Let l(h) = 28*h**2 + 3*h - 92. Is l(6) composite?
True
Suppose 5*f - 11 = 3*t, 4*f - 8 = t + 5. Suppose -m - 14 = t*x, 2*x - 34 = 5*m - x. Is 120 + 0 - (-7 - m) composite?
True
Let u be (-16)/(-6) + (-1)/(-3). Let q(d) = -5*d + 6. Let a(o) = -6*o + 5. Let k(n) = u*a(n) - 2*q(n). Is k(-7) composite?
False
Let m(f) = f**2 - 10. Suppose -5*u + 2*c - 10 = 5*c, 0 = -u + c - 10. Let v be m(u). Is 5061/v + 2/(-5) a prime number?
True
Suppose -5*r + 0*r - 25 = -5*v, 4*v + 5*r = 29. Let i(u) = -u**2 + 8*u - 7. Let c be i(v). Suppose 91 = 3*b - c*z, 4*b + 3*z = z + 156. Is b composite?
False
Suppose 5*i - 41 = 3*x, -i + 0*i - 4*x = -22. Suppose -i*v + 251 = -9*v. Let l = 474 - v. Is l prime?
True
Is (-4)/16 + 18807/12 composite?
False
Let p = 158 - -71. Suppose 3*i = v + p, 3*v + 300 = 4*i - v. Is 22/i + (-1550)/(-14) composite?
True
Let i(p) = 471*p + 13. Let a be i(6). Suppose 7*n - a = 6156. Is n prime?
False
Let l(k) = 1756*k**2 + k - 1. Is l(-1) composite?
True
Is 14261/17 + -6 + (-1872)/(-306) prime?
True
Let l be (2 + -3)/((-1)/47). Let s = l + 937. Suppose -9 - s = -3*t. Is t composite?
False
Let v be 2/9 + (-100)/(-36). Suppose v*j - 392 = -j. Is (0 - j)*(-1)/2 a composite number?
True
Suppose -4*b - 70 - 14 = h, -h - 75 = b. Let p be 2030/(-18) - (-16)/h. Let n = p - -192. Is n a prime number?
True
Let v(p) = 141*p + 157. Is v(4) prime?
False
Let c be (-1)/(3/(-3075))*1. Suppose w - c = -4*w. Suppose z - w = 6. Is z a composite number?
False
Let d(y) = -73*y - 14. Let c(j) = 219*j + 41. Let i(f) = -4*c(f) - 11*d(f). Suppose 35 = -5*l - 5*m, 2*l = 2*m - 17 + 3. Is i(l) composite?
True
Suppose 0 = -5*v - 3*t + 7, 0 = 3*t - 1 + 4. Let y = 318 + -316. Suppose -y = -v*a + 16. Is a a prime number?
False
Suppose 5*a - 25 = -80. Let w = a + 11. Suppose n + 11 = -2*z + 63, n - z - 61 = w. Is n a composite number?
True
Let z(v) = -148*v**3 - 4*v**2 - 21*v - 85. Is z(-4) composite?
True
Suppose -3 = 5*i + v - 205, 3*i + 2*v = 117. Suppose -4*x + 95 = -5*n - 9, 16 = -n - 4*x. Let z = i + n. Is z composite?
True
Let p(j) = -4*j + 1 + 13*j - 9*j - 88*j**3. Let k be p(-1). Suppose -2*t - 69 = -3*t - h, -t + 3*h = -k. Is t composite?
True
Let x(t) = -t**2 - 10*t - 15. Let i be x(-9). Is i/(-4) - 4354/(-28) composite?
False
Suppose 26*h - 410670 = -82940. Is h a prime number?
False
Suppose 0 = -5*z - y + 790231, -2*z + 316086 = 18*y - 16*y. Is z a prime number?
True
Let r(i) = 6 + 7*i + 4 - 5 + 18*i. Is r(2) composite?
True
Suppose 0 = -8*s + 60736 + 112728. Is s a composite number?
False
Let f(z) = z**2 + 3*z - 2. Let u be f(2). Let a = 9 - u. Is (3 + 152 - 0)/a a composite number?
True
Suppose -10*v = -13*v + 6. Suppose 2*o - 3*s - 1 - v = 0, 0 = -o + s + 1. Suppose 3*q + a + 3*a - 410 = o, 2*a + 150 = q. Is q composite?
True
Is -21 + 18 + (-12040)/(-2) prime?
False
Suppose 161*a - 2748 = 155*a. Is a prime?
False
Let g(p) = 19*p**2 + 25*p + 151. Is g(-7) prime?
True
Let f = 6 - 2. Suppose 25 - 27 = 4*q + h, 0 = -5*h - 10. Suppose q = -f*k - 290 + 1102. Is k a prime number?
False
Let h(t) = -21*t + 8. Let k(f) = 7*f - 3. Let s(j) = 4*h(j) + 11*k(j). Let x be s(3). Is ((-143)/x)/((-1)/(-22)) prime?
False
Suppose -4*o + 3*j + 21 = 0, -2*j + 0 = 2*o - 28. Suppose -19*l = -o*l - 37850. Is l prime?
False
Let b(f) = f**3 + 7*f**2 - 7*f - 12. Let v be b(-8). Let s = 20 + v. Suppose 2*z - 502 = -s*z. Is z composite?
False
Let a(z) = 4*z**2 + 3*z - 16. Let w be a(-9). Is 6 + w - (1 - 1) prime?
False
Suppose -5*b - 4*p + 20 = 0, -3*p + 20 = 5*b - 8*p. Suppose -2*w = -0*w - b*h - 122, 2*w = 5*h + 119. Is w a composite number?
False
Let g(n) = -80*n**3 - n**2 + 4*n + 5. Let k = 7 + -9. Is g(k) composite?
True
Let c(v) be the third derivative of v**5/60 + v**4/8 - 23*v**3/6 - 17*v**2. Is c(-11) a prime number?
False
Let d = 10 + -9. Suppose f = 4*p + d, 2*f = -3*p - f - 12. Is p*1*(-15 - 0) a prime number?
False
Let n(s) = -227*s - 50. Is n(-23) a composite number?
False
Let q(i) = 28*i**2 - i + 4. Suppose -3 = -g - g + 3*c, 0 = -4*g - 4*c + 36. Suppose -4*z - w - 7 = -g*w, -4*w = -z + 1. Is q(z) a prime number?
False
Suppose -2*d - 5*d + 2366 = 0. Suppose -1505 = -3*w - d. Is w prime?
True
Let j = 16666 - 10343. Is j prime?
True
Let l be 12/(-9) - (-1022)/6. Let h be l/((0 + 1)/(-1)). Let n = 326 + h. Is n composite?
False
Let l = 1691 + -1338. Is l prime?
True
Suppose -1 + 4 = -d. Is ((-446)/8)/(d/36) a composite number?
True
Suppose 3*w - 15 = -4*u, 0 = -5*w - 2*u + 5*u + 25. Let b = w - 0. Suppose 335 = b*i - 300. Is i prime?
True
Suppose 5*l - 39772 = -4*i + 9567, l - 2*i - 9879 = 0. Is l a composite number?
False
Is 156/351 + 23909/9 a prime number?
True
Let v be (-1428)/(-140) - 2/10. Let g(b) = -21*b + 23. Let q(a) = 42*a - 46. Let i(d) = -5*g(d) - 2*q(d). Is i(v) composite?
True
Let v(n) = -4*n - 28. Let b be v(-18). Suppose -b*q - 159 = -47*q. Is q prime?
True
Suppose -20*t = -1405111 - 357189. Is t a prime number?
False
Suppose 5*z + d = -4, -4*z - 3 = -3*d + 4. Let a(v) = -158*v**3 - v - 1. Is a(z) a prime number?
False
Let i(w) = 101*w**2 - 3*w - 67. Is i(-8) a prime number?
True
Suppose 7*t - 3*t - 2*d = 1800, 888 = 2*t + 5*d. Is t prime?
True
Suppose 628*l + 522162 = 646*l. Is l prime?
True
Let g(u) = -181*u + 29. Let w be g(-8). Suppose c - 2*l - w = -4*l, -4425 = -3*c - 4*l. Is c composite?
False
Let o = -165 - 121. Let t = -168 - o. Is t a composite number?
True
Suppose -4*b + 16 - 8 = 0. Is 1561 - 0/b*-1 a prime number?
False
Suppose 2*s - 14 = 4*o, -2*o = o. Suppose -j + s*j - 1722 = 0. Is j prime?
False
Suppose 0 = -j - 0*j + 164. Suppose -3*u + 5*c - 2*c + 231 = 0, 2*u - 154 = -5*c. Let g = j - u. Is g composite?
True
Let z = -73321 + 149964. Is z a prime number?
False
Let a = 37076 - -52731. Is a a prime number?
False
Let p be (-2)/8 + (-126)/(-24). Let i be (p + 0)*12/6. Let q(a) = 7*a - 11. Is q(i) a prime number?
True
Suppose -31624 = -7*l + 4965. Is l composite?
False
Suppose z = -3*h + 11155, -97*z + 101*z - 18587 = -5*h. Is h a prime number?
True
Suppose 26092 + 33760 = 26*f. Is f a composite number?
True
Let q(s) = -s - 4. Let n be q(-8). Suppose -g + 3*x = -748, 2*g = -0*g + n*x + 1498. Is g prime?
True
Let z = 938 - 627. Is z a composite number?
False
Is -3*(192260/(-