s j prime?
False
Suppose 2*i - 39652 = -11*v + 9*v, 3*i - 59446 = 5*v. Suppose 32*o = -2*o + i. Is o a composite number?
True
Let z = -4574 - -5487. Is z composite?
True
Let g = 663 + -298. Suppose 3*i = -4*q + 1057, i + 2*q - 7*q - g = 0. Is i a composite number?
True
Suppose 14 = -2*t + 7*s - 3*s, -4*s = -t - 17. Suppose 3*r - t*n - 4 = -n, -4*n - 4 = -5*r. Suppose r*b - 3*k - 878 = 493, 0 = 3*b - k - 1022. Is b composite?
True
Let r = 2602314 - 1801609. Is r composite?
True
Suppose 0 = -3*x - 0*x + 312. Suppose 6*s = x - 428. Is (-10442)/(-6) + 72/s a composite number?
True
Let j(o) = 102*o**2 + 34*o + 885. Is j(-29) composite?
True
Suppose 10*k = 984649 - 1839. Is k prime?
False
Let t(g) = 386*g + 8. Let l be t(5). Suppose 0 = 3*q + s - 1944, -3*q + 4*s - 3*s + l = 0. Let z = q - 328. Is z a prime number?
False
Suppose 0 = 5*b - 10, 0*u - 4790 = -2*u + 4*b. Let c = u - 1000. Is c a composite number?
False
Let k be (-4)/(-14) + (-800)/56. Let l = -12 - k. Suppose h + 10 = 2*g + 27, -3*g - 32 = -l*h. Is h a composite number?
False
Let y = 5843 + -2524. Let z = -1716 + y. Suppose -5*m - 1102 = -2*q, 3*q + 4*m - z = -m. Is q composite?
False
Let i be (-26)/(-91) - 3/((-21)/40). Suppose i - 3 = g. Is (-2)/(1/g - 1372/4044) a composite number?
False
Let c(v) = -17506*v**2 + 14 - 20 + 11 + 2*v + 50810*v**2. Is c(1) a prime number?
True
Suppose 0 = -6*m + 37 + 95. Is 4 - -1 - (-7 - m) - 1 composite?
True
Suppose -5*z + 30 = o, -5*z + 5*o - 2*o = -30. Suppose -4*k + 5*h + 1238 = z*h, 0 = -3*k - h + 929. Is k a prime number?
False
Suppose 1021 - 7996 = -45*b. Suppose -b*o + 125804 = -151*o. Is o prime?
False
Let v = -159027 - -359820. Is v a prime number?
False
Suppose -2*r = 8, -5*v - 5*r + 138 = 28. Is ((-57315)/6)/((-13)/v) a composite number?
True
Suppose 21*o + 548 = 17*o. Let w = 32 - o. Suppose -3*m - 95 = 5*p - 292, -3*m + 2*p + w = 0. Is m a composite number?
False
Suppose 108481 = 23*t - 143993 - 147703. Is t prime?
False
Let z = -35 + 31. Let n = z + 11. Suppose n*b = 6*b + 1759. Is b a composite number?
False
Is (-46723)/(-3 - -8 - 6) prime?
True
Suppose 5*y - 66535 = 4*k, -112*k = 2*y - 115*k - 26621. Is y prime?
False
Let g = 79390 + -8416. Suppose -a - g = -19*a. Is a prime?
True
Let t(p) = 5*p - 49. Let h be t(13). Let g(o) = -o**3 + 16*o**2 + o - 16. Let c be g(h). Suppose -15*s + 12*s + 3183 = c. Is s prime?
True
Let l(c) = 4*c**3 - 8*c**2 + 196*c + 553. Is l(60) composite?
True
Let z be ((-1227947)/(-812))/(1/(-1*4)). Let l = -270 - z. Is l prime?
True
Let f(k) = -k + 26. Let h be f(8). Let w = h + -15. Suppose -w*i = 2*i - 1775. Is i a prime number?
False
Let d(y) = 2*y**3 - 41*y**2 + 31*y + 67. Is d(47) prime?
False
Let y be -10 + 6 - 4/((-8)/10). Let u = y + 3. Is 8496/42 - u/14 a prime number?
False
Let w(v) = -v**3 - 7*v**2 - v - 3. Let g be w(-7). Let f(b) = -297*b - 195. Let c be f(-10). Suppose -3*d + c = g*h, -2*h + 3675 = 4*d - 5*h. Is d composite?
True
Let u be 0/(1 - (-1 + 1)). Let t = -1321 + 1354. Suppose u = -t*i + 28*i + 2705. Is i a composite number?
False
Suppose x + 2*p = -0*x + 143, -4*x + 551 = p. Let d = 232 - x. Let c = d + -10. Is c composite?
True
Let k = 875040 - 248257. Is k composite?
False
Let v(u) = 3*u - 31. Let d be v(10). Let q(g) = -13*g**3 + g**2 - 1. Let k be q(d). Suppose -k*i + 272 = -5*i. Is i prime?
False
Is (-5433)/6*(-411 - (23 - 12)) a prime number?
False
Let m = -67 - -71. Suppose -5*n = o + 9, 0 = -3*o - m*n + 3*n - 13. Is (39/6 - (o - -5))*6 composite?
True
Let y(n) = 2*n + 12. Let a be y(-5). Let s be 2 - ((4 - 0) + a). Is (-8 - s) + 1 + 82 a composite number?
False
Suppose 33*y = 3661289 + 1646530. Is y composite?
True
Let z = 366 + -937. Let n = z - -2406. Is n prime?
False
Suppose 3*x - 307041 = 4*s, -s - 204689 = -9*x + 7*x. Is x a prime number?
False
Let q(z) be the second derivative of -z**3/3 + z**2/2 + 7*z. Let d be q(2). Is 1/((-4802)/1601 - d) a prime number?
True
Suppose -g + 2*l = 0, 3 = 2*g - 0*g - l. Let w(k) = 1 + 2 + 13*k**3 + 7*k - 9*k. Is w(g) prime?
True
Is 101650 + -24 + ((-6)/4)/((-6)/4) a composite number?
False
Let q(o) = 56*o**2 - 535. Is q(19) a composite number?
False
Let u(f) = 32*f**2 + 8*f + 2110385. Is u(0) a composite number?
True
Let q be (-58)/(-4) + (-6)/4. Let k(v) = v**3 - 3*v**2 + 13*v - 55. Let o be k(5). Let t = o - q. Is t composite?
False
Let x(t) = -35*t - 1. Let s be x(2). Let w = 76 + s. Suppose -8685 = -w*i + 5*l, -2*i - 3*l + 3486 = -2*l. Is i prime?
True
Suppose i + 9*n = 8*n + 49509, 0 = 5*i - 4*n - 247500. Suppose 3*d - 5*d + 19806 = 4*g, g = 5*d - i. Is d composite?
False
Let b(t) = -t**2 + 8*t - 10. Let u be b(6). Suppose 2*a = u*w + 5034, 3*w - 10088 = -4*a + 2*w. Is a composite?
False
Let q be (-564)/(-9) + (-8)/(-24). Let t = 1720 - q. Is t a composite number?
False
Is (515/(-35) - -15) + (-1182394)/(-14) prime?
True
Let m(g) = -g**3 + 10*g**2 + 12*g - 12. Suppose -144 + 27 = 3*n. Let p = n - -48. Is m(p) prime?
False
Is ((2/(-6))/(-1))/(15/2864115) composite?
False
Let z(y) = -58*y**3 + 3*y**2 + 2*y - 2. Let p = 45 - 48. Is z(p) prime?
False
Let c be (-2)/(-6) - (4 - (-33)/(-9)). Is (4/(-10) - c)/((-22)/182930) a prime number?
False
Suppose -4*n - p + 171 = 0, n - 36 = -2*p + 5. Suppose 384 = m - n. Is m a prime number?
False
Let i(u) = u**3 + 8*u**2 + 27*u + 140. Let h be i(-7). Suppose -10*x + 2033 + 877 = h. Is x a composite number?
True
Let m = -25762 + 37685. Is m composite?
False
Let o(y) = -y**3 + 18*y**2 + 18*y + 23. Let q be o(19). Suppose -b + 23890 - 4315 = -q*k, -2*b = -3*k - 39130. Is b a composite number?
False
Let l be -6 + (-276)/(4 - 10). Suppose 2*s = -4*h + 4318, 39*h = -s + l*h + 2171. Is s a composite number?
True
Let p be (-1 + -2)/((-110)/(-25) + -5). Let n(q) = 8*q**3 + 4*q**2 - 15*q + 13. Let z be n(p). Let m = z - 371. Is m prime?
False
Suppose 0 = 5*v + 12*y - 10*y + 41, 4 = 2*y. Is 3*(5 - 4152/v) composite?
False
Let u = 463 - 461. Suppose -14 = -3*w + 229. Is (5 - 9)/u + w composite?
False
Suppose 2*l - 5*v - 547100 = 0, -104*l + 3*v = -100*l - 1094186. Is l prime?
False
Let x = 94 - 48. Suppose -x*m + 814 = -47*m. Let w = 175 - m. Is w composite?
True
Suppose 0 = -4*r - 733 + 2701. Suppose -168*b = -165*b + r. Is (b/3 + 2)*(-36)/8 a prime number?
False
Suppose 255339 + 52012 = 11*d. Is d prime?
True
Let l be ((-387)/45 - -9)/(6/345). Suppose 0 = l*a - 451089 - 347908. Is a a composite number?
False
Let w(o) = -489768*o + 1549. Is w(-1) a prime number?
False
Let l = -19015 + 31092. Suppose -l = -16*j + 5315. Is j composite?
False
Let p(d) = -31365*d - 9331. Is p(-16) a composite number?
True
Suppose 11*v - 17178 = 27933. Let o = v + -2444. Is o a prime number?
True
Let w = 4 + -3. Let j be (2 + -4 + 2)/(80 - 82). Is 955*w + j + -2 a prime number?
True
Let h(m) = -m**2 + 19*m + 17. Suppose -2*t + 3*y + 31 + 9 = 0, 0 = -5*t - 2*y + 62. Is h(t) a composite number?
True
Suppose 11073461 = 11*y - f, -5*f + 2013398 = 6*y - 4*y. Is y a prime number?
False
Is 6629/4 - 267/1068 composite?
False
Let b be (-24)/252 + (-447)/(-63). Let u(y) be the first derivative of y**4/4 - 5*y**3/3 - 7*y**2 + 31*y - 2. Is u(b) composite?
False
Suppose -v + 1813 = -c, -6*c + 5404 = 3*v - 2*c. Let u = -1041 + v. Is u prime?
False
Suppose -79 = 3*m + 4*v, 5*m + 5*v + 126 = 4*v. Let k(d) = -3*d**3 - 20*d**2 + 70*d + 110. Is k(m) a composite number?
True
Let d be 2 - -1 - -181*6. Let z be d*(13/(-3) + 5). Suppose 0 = -6*o + 2100 + z. Is o a prime number?
False
Is 73/(-1095) + 1614124/60 a composite number?
True
Suppose -23*s + 50317 = -75516. Is s composite?
False
Suppose -236*i = -233*i + 6. Is i/6 + 78740/15 prime?
False
Is (-1 - -2)/((-13251)/6629 + 2)*101 prime?
False
Let n(v) = -73*v + 44. Let f be n(9). Let g = 1624 - f. Is g composite?
False
Suppose -34 = -13*y + 44. Suppose 28037 = y*t - 4*t + 3*l, -l + 28043 = 2*t. Is t a prime number?
False
Is (-1805170)/(-5) - (3/(-3 + 6))/1 composite?
False
Let z be 1 - 24/1 - 218/109. Is ((-8204)/(-10))/((-10)/z) a prime number?
False
Suppose 13 = 10*a + 83. Let n(z) = -7*z**3 + 9*z**2 + 7*z - 4. Is n(a) prime?
True
Let k(n) = n**2 - 7*n + 12. Let x be k(4). Suppose x = 9*h - 25*h + 1184. Is h a prime number?
False
Suppose 3*n - 5*i - 73 = 0, -i - 140 = -4*n - 5*i. Suppose n = 7*d 