e number?
False
Is 2*((-8875260)/24)/(-15) a prime number?
True
Let o(w) = -69 - 67 - 87*w + 124. Is o(-9) composite?
True
Suppose 5*c + 5164 = 4*m, m - 5*m - 3*c + 5132 = 0. Is m composite?
True
Suppose 0 = 29*x - 26470 - 18219. Is x a composite number?
True
Suppose 3*n - n + 4 = 0. Let r be 712/4 + (n - -3). Suppose -5*i - 4*q + 868 = -75, -i + r = -4*q. Is i composite?
True
Let f(g) = 4*g - 11. Let j be f(5). Let d(t) = -5*t**3 - 16*t**2 - 9*t + 13. Let k be d(-10). Suppose 214 + k = j*o. Is o a prime number?
False
Let c(i) = 11*i + 14. Let j = -5 - -7. Let p(u) = 10*u + 13. Let v(m) = j*c(m) - 3*p(m). Is v(-10) composite?
True
Suppose y = -6 + 9. Suppose -4*w = -2*x + 10, y*w = 5*w + x + 3. Is (24 - 5) + w + 6 composite?
False
Let w = -66286 - -130991. Is w a prime number?
False
Let t = 46 - 41. Suppose -4*d + 2*d - 10 = 0, -t = -s - 2*d. Is s composite?
True
Suppose -4*j + 0*j = -28. Suppose -j*l + 63 = -0*l. Suppose -6*z = -l*z + 1437. Is z a prime number?
True
Suppose 4*o - 2508 + 589 = -5*k, 4*o - 1145 = -3*k. Suppose 1338 - k = l. Is l composite?
True
Let s = 8 + 20. Let c = s - 25. Suppose c*z + 3*m + m = 1355, -2*m = -2*z + 894. Is z a prime number?
True
Let s = -24203 + 40346. Is s composite?
True
Let m = 10 + -14. Let x be (-9)/m - (-1)/(-4). Suppose 146 = x*l + 4*i, 187 = 3*l - 3*i - 14. Is l a composite number?
True
Suppose -o + 53085 = -5*t, 10*o + 4*t - 1492 = 529142. Is o composite?
True
Suppose 0*v + 27 = -5*q - 4*v, 5*q = 4*v - 43. Let x be (-3 - q)*2/4. Suppose -a - 143 = -x*a. Is a prime?
False
Let y = -20 + 20. Let t(h) = h**2 + 2*h + 419. Is t(y) composite?
False
Is (6 - 10)*(-1)/(-4)*-37651 a composite number?
True
Let k = 925 - -11514. Is k a prime number?
False
Let f(c) = c**3 + 6*c**2 + 1. Let a = 46 - 50. Is f(a) a composite number?
True
Let q = 4524 - 2791. Is q prime?
True
Let p(a) = -8*a + 2. Let x be p(-5). Let w = x + -24. Is (927/w)/((-2)/(-4)) a composite number?
False
Suppose 3*u - 6*u = -45. Let z be (1 + -1)/(u - 14). Suppose -j + z*j = -211. Is j a composite number?
False
Let k(j) = j**3 + 4*j**2 - 5*j + 2. Let t be k(-5). Suppose -2*d + 260 + 68 = t*q, -q = -4*d - 174. Is q a prime number?
False
Let q be (2392/16)/(3/6). Suppose -q + 2312 = 3*i. Is i prime?
False
Suppose -6*a + 40 = -2*a. Is (11665/a)/((-2)/(-4)) a composite number?
False
Let u = 308 - 29. Let z = 236 + u. Is z a composite number?
True
Is (-78109)/(-76) + (-3)/12*3 composite?
True
Let d be (3/6)/(1/1076). Let b = -406 - -1209. Suppose d + b = 3*t. Is t a prime number?
False
Suppose -932 = -3*y + 4*s - 5660, 4*s = 0. Let q = 2428 + y. Suppose 3981 = 7*d + q. Is d a prime number?
False
Let j = 673 - 405. Suppose j = 4*h - 192. Is h a composite number?
True
Let d = 14 - -6. Suppose 0 = -21*w + d*w + 2787. Is w prime?
False
Let w(b) be the first derivative of -b**3 + 6 + b - b**2 - 7/4*b**4. Is w(-2) a composite number?
True
Is -3*(1 - 2/3)*-38659 prime?
False
Let b(i) = 273*i - 76. Is b(11) prime?
True
Let z(r) = 983*r**2 - 14*r + 17. Is z(4) a composite number?
True
Let k(h) = -4*h - 6. Let b be k(-6). Suppose -14 + b = -4*z. Let y(q) = -201*q**3 - q - 1. Is y(z) a prime number?
False
Suppose 9*s - 3615 = 1254. Is s prime?
True
Let o(x) = -x + 13. Suppose f - 3 = -3*u + 24, -5*f = -5*u + 25. Let a be o(u). Suppose 6*s - a*s = 205. Is s a prime number?
False
Suppose -5*r = -10559 - 6706. Is r a prime number?
False
Suppose -5*b = -3*o + 451, b + 302 = 2*o - b. Suppose o = -2*k + 576. Is (-1)/(1 + (-216)/k) a composite number?
False
Let y(n) = -n**2 + 4*n + 5. Let r be y(4). Suppose -3*p - q + 317 = -0*q, -r*p + 529 = q. Is p prime?
False
Suppose -18*h - 5*c = -17*h - 655, c + 631 = h. Is h a prime number?
False
Let k = 15 - 15. Suppose -s = 3*p + 9, -s + 2*s + p + 3 = k. Suppose s = -2*g + 1792 + 318. Is g prime?
False
Suppose -3*z + j = 25, 0*j - 2 = -2*z - 4*j. Let n be (-159)/(-2) - z/14. Suppose x - n = 59. Is x a composite number?
False
Is (-4)/18 - 9/162*-431446 composite?
True
Suppose -4*y = y. Suppose y = -4*z - z + 660. Let u = z - 19. Is u prime?
True
Let k be 38/8 - 6/(-24). Suppose -2*g - i = -583 - 264, 5*i = -3*g + 1274. Suppose -5*a = n - 153, -g - 382 = -k*n - 5*a. Is n a prime number?
True
Let c be 7/(14/(-4)) - -18. Suppose 5*q = h + c, q = -3*q + 2*h + 14. Suppose 5*o + 7*z = 3*z + 405, q*z = 3*o - 216. Is o a composite number?
True
Suppose 4*i + r - 4*r - 70 = 0, -i + 5*r = -26. Suppose i = -2*h + 5*z, -z - 8 = 4*h - 3*h. Let g = 29 - h. Is g composite?
False
Suppose -2*o - 2*y + 30246 = 0, -4*y = o - 9*y - 15111. Is o a composite number?
False
Let f(j) be the first derivative of j**2 - 4*j + 7. Let p be f(3). Suppose p*i - 133 = i. Is i composite?
True
Let l = -3 - -27. Suppose n + l = 9*n. Suppose 2*d - 4*d - q + 50 = 0, -n*q = -2*d + 58. Is d composite?
True
Let s(l) = 34*l**3 - 2*l**2 - l. Let y be s(-1). Let i be 2/(-5) - 224/y. Is i + -2 + -1 - -66 prime?
False
Let m(j) = 2*j - 10. Let v be m(6). Suppose s - v = 1. Suppose u - 694 = -s*d, -2*u - 2*d - 2*d = -1382. Is u a composite number?
True
Let a = 22671 + -15324. Is (a/(-12))/(5/(-20) + 0) a composite number?
True
Suppose -18*m + 21*m + 588 = 0. Let g = m - -578. Is g prime?
False
Suppose -10*l + 7*l - 14875 = -2*s, 5*s - 5*l = 37180. Is s composite?
False
Let k = 1 + 5. Let a be ((-10)/k)/((-5)/1440). Suppose -2*x + 14 = -n - 181, 5*n - a = -5*x. Is x a composite number?
False
Suppose 9*w - 2*w + 17087 = 0. Is 4 + 0 - (w - -8) a composite number?
False
Let k be 4/((-4)/1) + 13. Let t be k/(-8)*4/(-2). Suppose -t*a - 2*u + 6*u = -765, -3*u = -9. Is a a prime number?
False
Let b be 64/10 + 12/(-30). Is (-29 + 12)/((-2)/b) composite?
True
Let i = -27 - -22. Let t(c) = c**2 + c + 6. Let o be t(i). Let w = -20 + o. Is w a prime number?
False
Suppose 2*m + 4*l - 13130 = 0, -m - 4*l + 32819 = 4*m. Is m a composite number?
False
Let d be -2*1/(-6)*-6. Is 5 + d + (187 - -1) a composite number?
False
Let u(a) = a. Let n(o) = -117*o - 5. Let x(q) = n(q) + 3*u(q). Is x(-8) composite?
False
Suppose -4*r + z + 43 = -3*r, -5*r = -z - 223. Let q = 201 + -199. Suppose q*x - r - 190 = -5*v, -4*x = -3*v - 457. Is x a composite number?
True
Let x be 4101*1 - -2 - (9 - 8). Let j = -2431 + x. Is j composite?
True
Suppose 2 + 5 = -d. Let s = 5 + d. Is (33/6)/(s/(-8)) composite?
True
Suppose 118071 = 14*g + 29913. Is g a prime number?
False
Suppose z - 27 = 5*u, -15 = 5*z - 0*z. Let t be ((-20)/u)/(2/3). Suppose 539 - 92 = 2*k - t*y, k - 4*y - 231 = 0. Is k a prime number?
True
Suppose l = -2*l + 6. Suppose 8*u = -40 + 56. Suppose l*i - 2980 = -u*i. Is i prime?
False
Let h be (-2)/(-10) - (-2934)/30. Is (-291 + 0)/((-42)/h) a prime number?
False
Suppose 0 = -7*y - 3 + 10. Is (1173 - y)*(-49)/(-28) a composite number?
True
Suppose -4*o + 2*l - l = -249, -195 = -3*o - 2*l. Suppose 2*t - o = -y, -6 = 5*t + 9. Is y composite?
True
Let g(q) = q + 4. Let t be g(-2). Suppose -2*n = -4, -t*u + 3*n - 6 = u. Suppose u*y - 1113 = -3*y. Is y a composite number?
True
Suppose 591 = -5*n + 3*y + 228842, 4*n - 3*y = 182602. Is n composite?
True
Let l(z) = 804*z + 371. Is l(8) a prime number?
True
Is 2/9 + 6 + (-101475)/(-81) a composite number?
False
Is 0 - (63231/(-10) + 25/250) a composite number?
False
Let z be (-1)/3 + (-585)/27. Let o(f) = -110*f - 27. Is o(z) prime?
True
Let x be (-9)/6*(-10)/(-15). Is (-21)/2*-60 - x a prime number?
True
Suppose 14 = -3*u + 10*u. Is u/(((-8)/98)/(-2)) composite?
True
Let w(j) = -1795*j + 27. Is w(-8) a prime number?
True
Let n = -9 - -1. Is n/(-4)*-1 + (120 - -1) composite?
True
Let f be 4/14 - (-255)/(-35). Let j(t) be the first derivative of 4*t**3/3 + 6*t**2 + 15*t + 63. Is j(f) a composite number?
False
Let w = 1330 + 573. Is w prime?
False
Let m(y) = -311*y + 47. Is m(-4) prime?
True
Is 15 - 2 - (-223760 + -8) prime?
True
Let s be 1 - (-3 + 6/1). Let h = 6 + s. Suppose h*y = -3*v + 818, 3*y + 2*v = 4*v + 605. Is y composite?
True
Let q = -8782 - -17135. Is q a prime number?
True
Let g = -1695 - -7513. Is g a prime number?
False
Suppose -10 = 3*w + 4*z, z - 4 = 2*w - 12. Let t = 0 + w. Suppose m = t*m - 83. Is m a prime number?
True
Let c = -196102 - -332079. Is c a composite number?
False
Let o be (1 - -24)*(-4248)/(-15). Is o/9 - 5/(-15) a prime nu