True
Suppose 0 = -p - 3*v + 22, 2*p = 4*v + 23 - 9. Suppose 0 = -3*b - p + 28. Is b - -2328 - (-3 - -1) prime?
False
Let f = -32417 + 71886. Is f a composite number?
True
Let y(j) = j**3 + 7*j**2 + 8*j + 15. Let u be y(-6). Let g be 6 - u - (-8 - -2). Is g*(-6333)/(-18)*(-4)/(-6) a composite number?
False
Let h(s) = 4*s**3 - 13*s**2 + 18*s - 10. Let g(l) = -3*l**3 + 13*l**2 - 17*l + 11. Let r(u) = 5*g(u) + 4*h(u). Let n be r(-14). Is n + 34 - (1 + -5) prime?
False
Let a be 4/(-10)*(-15)/6. Let b(t) = 798*t**3 - 1. Let x be b(a). Let z = -12 + x. Is z prime?
False
Suppose -2*i + 8664 = -2176. Suppose -1917 = v - i. Suppose 5*l - 2552 = v. Is l a composite number?
True
Let i(l) = -l + 5. Let v(n) = -n**3 + 8*n**2 - 2*n + 13. Let p be v(8). Let u be i(p). Is 34116/u + (-1)/(-2) prime?
False
Suppose 4590 = 5*p - 5*x, -10*p + 8*p - 2*x = -1848. Let j = p - -341. Is j a composite number?
True
Suppose -7*g + 57012 = -3*g. Suppose -g = 90*m - 93*m. Is m prime?
True
Suppose 8 = c, 4*o = -c + 7418589 + 1665567. Is o a composite number?
False
Suppose -19452962 - 17237373 = -85*f. Is f composite?
True
Suppose -g + 0*g - 5 = 0, -3*w + 30 = -3*g. Suppose -9064 = 3*r - w*r - 4*h, -h - 13589 = -3*r. Let z = -3169 + r. Is z a composite number?
False
Let z(w) = -3*w - 5. Let s be z(-13). Let g = 39 - s. Suppose -i + g*l = -480, 0 = 2*i - 4*l - 87 - 903. Is i prime?
False
Suppose -22 = -3*d + 4*l, -d - 2*l = 2*l + 14. Suppose d*z = 0, -2*p + 0*p + 2*z + 14566 = 0. Is p a prime number?
True
Let a(l) = 32722*l**2 + 28*l + 109. Is a(-3) a prime number?
True
Suppose 0 = 66*q + 146*q - 44563036. Is q a composite number?
True
Let i be ((-47)/(-3) + -3)/((-6)/(-9)). Suppose i = -13*t - 85. Let a(l) = 4*l**2 + 3*l - 15. Is a(t) prime?
False
Let m be (-14616)/(2/(-1)) + 0/(-146). Let n = 14909 - m. Is n a prime number?
False
Let q(i) = -i + 16. Let c be q(10). Suppose 0 = -w + c - 5. Is 3/(-1) + 4 + w*1210 composite?
True
Suppose 99*p - 96*p = 135678. Is p prime?
False
Suppose 0 = -10*i + 7*i - 36. Let s be i/(-9)*(-9)/6. Let l(g) = 160*g**2 + 3*g + 1. Is l(s) prime?
False
Suppose -249*v + 751359 = -228*v. Is v a prime number?
False
Let y = -13 - -497. Suppose 5*g - 1184 = 2*v, 0 = 2*g - v - y + 10. Suppose o - g = 179. Is o a composite number?
True
Suppose -37 = -b - 32. Suppose l = -b*x + 709, -3*l = 4*x - 3*x - 139. Is x + (0 + 1)*3 a composite number?
True
Let w(c) = -8*c - 72. Let b be w(-9). Suppose -2*z + 5*z + 12 = b. Is (-4)/10 + z + 17394/10 a prime number?
False
Let o = -139 - -139. Suppose 7*v - 8671 - 14086 = o. Is v a composite number?
False
Is (-5 + 7 - -790120) + -1 a composite number?
False
Suppose 3*a + 85338 = -4*i, 3*i = 6*a - a + 142230. Let s = -19363 - a. Is s a composite number?
True
Suppose 0 = b + 111 - 3513. Suppose -14*y = -b + 420. Let i = y + -126. Is i prime?
False
Let k(v) = -v**2 + 2*v + 24. Let j be k(7). Is (-2)/6*(-14878 + j) composite?
True
Let i = 1721733 - 928078. Is i composite?
True
Suppose -3*a - 19 = -2*g, -2*g + 0*g - 6 = 2*a. Suppose -m + 0*y + y = -4, -5*y = 4*m + g. Suppose 9 = m*s + 3, -258 = -3*t - s. Is t composite?
True
Let a(k) be the first derivative of -k**4/4 + 11*k**3/3 + 7*k**2 - 23*k + 10. Let q be a(12). Is q/2 - 1503/(-6) prime?
True
Let n = -5043 - -7729. Suppose n = -13*z + 15*z. Is z a prime number?
False
Suppose -3*s + 1315 = 4*g, 3*g = 5*s - g - 2245. Let t(o) = o**2 - 2*o - 2. Let y be t(-2). Suppose a = y*a - s. Is a composite?
False
Suppose -4*s = -t - 3*s - 15, -3*t - 75 = 3*s. Let m be ((-16)/t)/(2/5). Suppose -5*g + 3*i = -389, -m*i - 95 = -g - 20. Is g prime?
True
Let t(r) = 31354*r + 908. Is t(5) prime?
False
Suppose -5*m - 155911 = -3*g, 3*g - 155897 = 11*m - 13*m. Is g a prime number?
False
Let g = -17159 - -75930. Is g prime?
True
Suppose -23*k + 22*k - 461991 = -4*d, 0 = 3*k - 15. Is d a composite number?
False
Suppose -9*j + 4*j - 3*y = -102, -4*y = -2*j + 20. Suppose n - 2*s - 155 = 0, 2*n + 3*n = s + 793. Let h = n + j. Is h composite?
True
Let l(t) = 8*t**2 - 2*t + 28. Let c be l(6). Suppose -o = 2*s + c - 1397, 2201 = 2*o - s. Is o a composite number?
True
Let y = 157 + -75. Suppose -70 + y = 4*z. Suppose -z*k = -k - 4934. Is k composite?
False
Is ((-9)/243*-9 - 878104/(-6))/1 a prime number?
False
Let x = -2 - -3. Suppose -h - 1966 = -271*o + 275*o, 2*o + 8 = 0. Let i = x - h. Is i a prime number?
True
Let z(q) = 10*q**2 - 28*q - 4. Suppose -42 = 3*b - 2*g, b - 3*g - 70 = 6*b. Let v be z(b). Suppose -76*n = -80*n + v. Is n a prime number?
True
Let b be 0 + 4 + -2 + 0. Suppose -n + b*n = 375. Let y = n + -40. Is y composite?
True
Suppose 0 = -23*t + 13735 + 64028. Suppose -t = -c + 3*l, -1112 = c - 2*l - 4495. Is c composite?
True
Suppose 0 = 973*j - 996*j + 215993. Is j prime?
True
Let s(q) = 104*q**2 + 8*q - 21. Let m be s(2). Let y = m - -1582. Is y a composite number?
False
Suppose 0 = 1627*i - 1648*i + 1988007. Is i a composite number?
True
Is (-47288928)/(-120) + (-5)/((-225)/21)*-3 a composite number?
False
Suppose 2*p + 7*p = 18. Suppose 5*q + 23348 = 4*x - 7281, -p*x + q = -15307. Is x a prime number?
False
Let i = 332889 - -656218. Is i composite?
True
Let z be 5/1 + -2 + -2. Let m be (6/12)/(z/18). Suppose m*j - 8958 = 7557. Is j a prime number?
False
Let s = -20228 + 28363. Is (s/(-68) + 26/(-221))*-8 a prime number?
False
Suppose 7653 = -4*b + 31877. Suppose -3*w - v = 2*w - 7561, 0 = -4*w + v + b. Is w composite?
True
Let o = 571558 + 326695. Is o a prime number?
True
Let u be (2 - -1) + -2 - -2. Let k be -1*(-4 + u) + 48. Is 899/((-4)/(-14) - (-35)/k) prime?
False
Let o = -31 + 25. Suppose 0 = w, -7*j + 14900 = -2*j - 5*w. Is (j/30)/(-2 - 14/o) composite?
True
Let g be (-2)/5*(675/18)/(-15). Let i be ((-5)/(-5))/g - 2. Is (3 - (-1 - -5))/(i/967) a prime number?
True
Let h(q) = -15168*q + 67. Is h(-2) prime?
True
Let a be 0/(1 - 2 - -3). Suppose 5*p + 7 = 2*v, a*v + 5*v - 2*p = -14. Is (2/v)/(23/(-24334)) a prime number?
False
Suppose 4*h = 21 + 31. Suppose -j = h*j - 290514. Is j a composite number?
True
Let o be 244/2*27/1. Suppose 9*j = -439 + 475. Suppose 4*w + 2*b = o, 0 = -2*w + w + j*b + 801. Is w prime?
True
Let c(z) = 5*z**2 + 34*z - 31. Let f(s) = s**2. Let o(m) = c(m) - 6*f(m). Is o(30) composite?
False
Let l = -13 + 17. Suppose 40*u + 3*y = 36*u + 24836, -l*y + 31045 = 5*u. Is u a prime number?
False
Let x be (-12)/2*-1 - (-2 - -3). Suppose 2*d + 20340 = 6*d + 2*m, -3*d + x*m = -15281. Is d prime?
True
Suppose 0 = -57*z + 59*z + 28. Is 254/(-3)*231/z composite?
True
Let r(h) = -8373*h**3 + 3*h**2 + 15*h - 11. Is r(-4) a prime number?
True
Let g be 230/(-210) - (-2)/21. Let h(m) = -7393*m - 6. Is h(g) composite?
True
Suppose k = 35*f - 34*f - 64530, 4 = 4*k. Is f composite?
True
Suppose 10*s - 185 = 5*s. Suppose s*b - 764 = 35*b. Is b composite?
True
Suppose -5*v - 3 = -l + 12, 3*l + 5*v - 5 = 0. Suppose 0 = -l*y - 50712 + 176807. Is y a composite number?
False
Let r = 370095 - 233926. Is r a composite number?
True
Let h = -1836 - -3388. Let w be 54/36 + 1723/2. Let p = h - w. Is p prime?
False
Let l = 15497 - 22012. Is -4 - 1 - (1 - 12) - l composite?
False
Let j(q) = -1247*q - 1990. Is j(-21) a prime number?
True
Let p = -107 - -111. Suppose h + h + 2505 = 5*d, 20 = -p*h. Is d a prime number?
True
Suppose 20*m + 7314 = 53914. Suppose x - 2*y - 3015 = 0, 0 = -3*x - 5*y + 6737 + m. Is x a prime number?
True
Suppose g - 5*a - 285666 = 0, 29*g - 33*g - a + 1142643 = 0. Is g composite?
False
Let w = 1578 - -217. Suppose 3649 = 4*l - w. Is l prime?
True
Let y(z) be the first derivative of -21*z**4/4 + z**3/3 - 3*z**2/2 + 13*z - 37. Is y(-4) prime?
False
Let f = -280392 + 516647. Is f a composite number?
True
Suppose 4*k + 5*a + 27 = 10*a, 3*k - a = -12. Suppose -2 + 17 = 2*h - d, 0 = -2*h + 3*d + 21. Is (-4)/h + (-479)/k a prime number?
False
Let w(r) = 737*r**2 - 2*r - 5. Let t(z) = -3*z - 56. Let c be t(-18). Is w(c) prime?
False
Suppose 0 = 4*a - 15 - 53. Let z = a - 9. Is (-1199 - -1)*(-4)/z composite?
False
Suppose -4*v + 19604 = -6272. Is v a prime number?
True
Let t(h) = 442535*h - 4116. Is t(5) a composite number?
False
Let q(x) = -2100*x - 1. Is q(-11) prime?
True
Let q be ((-60)/8)/(9/18). Is ((-12526)/(-4))/(q/(-30)) prime?
True
Suppose -210*c - 14132637