True
Suppose -2*t - 5*v + 12 = 2, -t - 3*v + 5 = 0. Suppose t*d - 464 = 2041. Suppose -4*j + d = 25. Is j a prime number?
False
Suppose 10*k = k + 30132. Suppose -12*t + 660 = -k. Is t composite?
True
Suppose 4*i - 173111 - 7889 = 0. Suppose -i = -12*a + 17882. Is a composite?
False
Let u be (-39 + 6)/(1/(-23)*-1). Let c = u + 1826. Is c composite?
True
Suppose -102822 = -1314*q + 1308*q. Is q a prime number?
True
Suppose 2*o - 5*g + 33 = 0, -5*g = o + 3 - 9. Suppose -24*r - 6*r = -7*r - 92874. Is 3/(-2)*r/o a prime number?
True
Suppose -61*f + 59*f + 19518 = 0. Suppose -3*g - 8*w = -5*w - f, 0 = -w + 2. Is g composite?
False
Let k = 59990 + -5239. Is k prime?
True
Let x(u) = 5*u**2 - u**2 - u**3 + 5*u**2 - 13*u + 0*u**3 - 13 + 5*u**2. Let f = 3 - -7. Is x(f) composite?
False
Suppose 6991119 = -24*v + 12903943 + 11460752. Is v prime?
False
Suppose -5484791 + 499096 = -38*d + 1303723. Is d a composite number?
False
Let y(x) = 796*x**3 - 9*x**2 - 3*x - 18. Let r be y(8). Suppose -27*h + r - 18269 = 0. Is h a prime number?
False
Is (1/((-7)/91))/(5/(-109775)) - -6 prime?
True
Let v = 221 + -216. Suppose -3*g - 5*y + 15452 + 5976 = 0, 0 = 3*g - v*y - 21478. Is g a prime number?
True
Let i(x) = 23*x**2 + 577*x - 703. Is i(-108) prime?
True
Suppose -4*f + 75383 = 1337*v - 1334*v, 0 = -4*f - 2*v + 75374. Is f prime?
True
Let t(f) = -f**2 + 8*f + 4. Let w be t(8). Let r be w*(321/8)/(15/410). Suppose 0 = 10*m - 9603 - r. Is m prime?
True
Let y = 248 + -245. Suppose y*b = 4*n - 25562, n + b + 25558 = 5*n. Is n a composite number?
False
Let c(r) be the third derivative of 49*r**5/60 + r**4/3 - 17*r**3/3 + 8*r**2 - 3. Is c(-9) a composite number?
False
Is (4 - (-13 + 18))/(1/(-444341)) composite?
False
Suppose 74*z - 101808 = -70*z. Is z a composite number?
True
Let v = -30383 - -72906. Is v a prime number?
False
Suppose -6*s + 1615 = -6539. Let j = s + -802. Is j composite?
False
Let w = -60 - -69. Suppose 0 = 2*p - w*p + 14. Suppose -5*m - y - p*y = -4768, 5*y = -4*m + 3817. Is m prime?
True
Let h be 1 + -3 + 1 + -152 + -3. Let s = 615 - h. Is s a composite number?
True
Is 940544/5 + (-2646)/1470 a prime number?
True
Suppose 2*s + 17342 = -2*h + 163354, -2*s + 4*h = -146018. Is s prime?
False
Suppose -42*b = -97639549 - 18030677. Is b composite?
False
Let x = 34150 + 49611. Is x prime?
True
Let a(b) = 2599*b + 10. Suppose -22*y - 9 = -31*y. Is a(y) prime?
True
Suppose 140*g = -175*g + 156164715. Is g a composite number?
True
Is (79 - 8961)*(-112 - -1) + (-6 - -1) a composite number?
True
Let i be (-15)/10 - 9/(-2). Let n be 5 - ((-20)/(-4) - i). Suppose -5*o - m - n*m + 12393 = 0, 9900 = 4*o - 4*m. Is o a prime number?
True
Let g(n) be the first derivative of 75*n**2/2 + 38*n + 24. Is g(11) a composite number?
False
Let p = 16021 - 8559. Let z = -393 + p. Is z composite?
False
Let d(l) = 2*l**2 - 15*l - 12. Let a be d(8). Is a/6 + (-1513731)/(-153) composite?
True
Suppose -55*g + 48*g = -7. Is g/((-17820)/3565 - -5) a prime number?
False
Is -16 - 15/((-15)/150359) a composite number?
False
Let v(n) = 4 + 5 - 6 - 2208*n**2 + 10987*n**2 - 3*n. Is v(1) a prime number?
True
Let i be (8/3 + -3)*(-15 + 0). Let m(z) = -5*z + 22. Let h be m(i). Is (-1082)/h*(-12)/(-8) a composite number?
False
Suppose 2*s = s, c = 2*s - 72. Let f = c + 79. Suppose 0*t = -f*t + 25487. Is t a prime number?
False
Let a = -242 - -245. Suppose -a*i = -t + 1738, 2140 = 3*t - 5*i - 3078. Is t composite?
False
Suppose 325*v - 6305483 - 138306563 = 1725379. Is v a prime number?
False
Suppose 8 = -5*q + 18. Suppose 4*l - 368 = 3*k, 0 = q*l - 3*k - 3 - 187. Is l prime?
True
Let b = -92456 - -154405. Is b a composite number?
False
Let l be ((-1)/5*-3274)/((-11)/(-165)). Suppose 0 = -a - 5, 0*a = -4*h + 2*a + l. Is h composite?
True
Let r(l) = 1016*l + 5. Let m be r(2). Let y = -749 + m. Suppose 0 = 5*b - 3*s - y, -5*b - 3*s - 363 = -1645. Is b prime?
True
Let v(y) = -4*y + 52 - 11 + 105 + 8*y. Let u be v(0). Suppose -u = -x + 297. Is x a composite number?
False
Let a = 30 + -30. Suppose 3*h - 7*h - 52 = a. Let c(j) = -j**3 - 11*j**2 + 5*j - 10. Is c(h) composite?
False
Suppose -x + 46 = 1. Let w = 16 - 11. Is (-3752)/(-9) + w/x a prime number?
False
Is (-1)/((-4)/(-708)*(-33)/2629) composite?
True
Suppose 3*g - 1 = 2*g. Let s be 0*((-1)/g - 0). Suppose s = -2*z + 3*t + 3038, -2*t = -0*t + 8. Is z composite?
True
Suppose -a - 20*g + 21*g = -29953, 0 = -3*a - g + 89851. Is a a composite number?
True
Let n(g) be the third derivative of 11*g**6/360 + 3*g**5/40 - 3*g**4/8 + 4*g**3 + 47*g**2. Let z(x) be the first derivative of n(x). Is z(-13) composite?
False
Suppose 3*t + g - 11 = 0, -7*g + 5*g = -5*t + 33. Suppose 8301 = 12*s - 11*s + t*u, 41593 = 5*s + 3*u. Is s a composite number?
True
Suppose 3*i + 2*y = -3, 5*i + y + 3*y = -7. Let v be (151 - -3) + 1 - i. Is v/3 - (-8)/(-24) prime?
False
Is -4*(-68642)/(-140)*-5 a composite number?
True
Suppose -11*d = -10*d - 206. Suppose -d = -10*z + 24. Let m = 105 - z. Is m composite?
True
Suppose 2665*m = 2768*m - 110023673. Is m a prime number?
True
Let w(s) = -s**2 - 1. Let o be w(-5). Let r = -26 - o. Suppose 0 = k + 2*k + 3, 5*g - k - 10976 = r. Is g a composite number?
True
Let l(v) = 4366*v + 1437. Is l(5) prime?
False
Let y(r) = -7205*r - 1988. Is y(-59) a composite number?
True
Let i = -8967 - -30344. Is i a composite number?
False
Let n(s) = 43730*s - 1687. Is n(33) a composite number?
True
Suppose -2*p - 5*c + 1577 = -164, -4*c + 1736 = 2*p. Is p/(-65) + 13 - (-23572)/10 a composite number?
False
Is 420570/60*(-4)/(-6) a prime number?
True
Let u(n) be the first derivative of -46*n**2 - 3*n + 12. Let t be u(-4). Suppose -5*o - 4*d + 1958 = t, -d = 2*o - 636. Is o a prime number?
True
Let a(i) = 147 - 76*i - 175*i + 27*i - 94*i. Is a(-10) a prime number?
False
Suppose 2*i - 215384 = -4*w + 46156, 4*i = -3*w + 196135. Is w a composite number?
True
Suppose 5*x + 5*j - 35 = 0, -2*x + 4 = -2*j + 2. Suppose -o - 4*p = -0*p - 5887, x*o - 23510 = 3*p. Is o composite?
False
Let u = 14223 + -13532. Is u composite?
False
Let c(j) = -3*j**2 + 15*j + 2. Let h be c(5). Suppose 1456 = -4*q + h*k - 4*k, 0 = 4*q + 5*k + 1450. Let f = q - -772. Is f a composite number?
True
Is ((-285)/(-30) - 10)*-499214 a composite number?
False
Suppose 0 = -3*r - 12, -1601 + 6559 = h + 3*r. Suppose 2*p = -3*i + 3317, -i - h = 3*p - 6*p. Is p prime?
True
Let k = -147 - -158. Suppose 0 = k*z - 94775 + 14376. Is z a prime number?
True
Suppose 2*u - 18 = 4*l, -u = -5*l - 5*u - 16. Is 0 - l - 4 - 1004/(-4) a composite number?
False
Suppose -d - 4*m + 31 = 2*d, -40 = -4*d - 5*m. Suppose -d*f + 0*f - 35 = 0. Let r(i) = -2*i**3 + 9*i**2 + 3*i + 13. Is r(f) a composite number?
True
Let n(r) = -362*r - 2 - 1 - 93*r. Is n(-10) a composite number?
False
Suppose -3*o - 5*d = 8 + 6, 0 = -2*o + 5*d + 24. Suppose 4*k + 2*x + o*x - 10992 = 0, 0 = -2*k + 2*x + 5500. Is k a composite number?
False
Let w(s) = -10*s**3 + 36*s**2 + 11*s + 21. Is w(-16) a composite number?
False
Suppose -6*u + 4*u + 29010 = 3*w, 2*w - u = 19333. Suppose 168*a - w = 164*a. Is a a composite number?
False
Is (-3)/(-18) - (-23892583)/858 prime?
True
Let j(n) = 12*n**2 + 7*n + 18. Let r be j(9). Suppose -5*v - 2764 = -2*i - r, i - 858 = 2*v. Suppose -i = 2*m - 6*m. Is m prime?
False
Let u = -170103 - -392482. Is u composite?
False
Let c = 27 + -37. Let k be 86514/c + -2 + (-21)/(-15). Is (15/12)/5 + k/(-16) composite?
False
Let c = -348162 - -757363. Is c composite?
True
Suppose 5*n + 285801 = 4*y - 113808, 7*y - 699306 = -n. Is y composite?
False
Let h(i) be the first derivative of i**3/3 - 2*i**2 - 5*i - 2. Let o be h(-2). Suppose o*z = 71 + 83. Is z a composite number?
True
Let j(z) = -4782*z**2 + 7*z + 3. Let c be 62/(-22) - (-40)/(-220). Let g be j(c). Is 1/(g/8612 + 5) prime?
True
Suppose 106*y + 5100 = 111*y. Suppose 3*p - 273 = y. Suppose 42 = d - p. Is d composite?
True
Let b(l) = l**3 - 3*l**2 + 5*l - 7. Let c be b(4). Let u(f) = 9*f - 3 - c*f**2 + 30*f**2 - 6 - 8. Is u(5) prime?
True
Suppose 63 = -19*b + 1545. Is (-216)/(-52) + (-12)/b + 2893 a composite number?
False
Suppose 2*h - 231 = -u, 948 = 4*u + h - 5*h. Let p = -3 - -3. Suppose 5*x - m + 3*m - u = p, 0 = -x - m + 47. Is x prime?
True
Let p = 