s o composite?
False
Let f be (-1 - 345/(-12))*24. Suppose i - 269 = f. Suppose -2*a + i = 3*a. Is a prime?
False
Suppose -2*c = -f + 5132, 2*c + f + 2526 = -2606. Is c/(3*2/(-3)) prime?
True
Let r(b) = 2*b + 2. Let a be r(2). Suppose -a*n = -n + 5*m - 25, 3*n - 4*m - 8 = 0. Let q(j) = 7*j**2 - 8*j - 1. Is q(n) prime?
True
Suppose -3*y + 2*s = -10953, 14581 = 20*y - 16*y + 5*s. Is y a prime number?
False
Let u be (0 - -1)*(-16)/(-4). Suppose 0 = u*v - 3*v - 701. Is v a prime number?
True
Let n(l) = -l**3 - 5*l**2 + 3*l - 3. Let o(g) = -g**2 + g - 1. Let c(r) = -n(r) + 3*o(r). Let a be c(-2). Suppose a = 5*z - 2*z - 483. Is z a prime number?
False
Suppose -26*k + 1187875 = -2260531. Is k prime?
True
Suppose 3*x - 14 - 64 = 0. Let i = x + -23. Suppose -i*y = -5*r - 1277, -3*y + 332 + 921 = r. Is y composite?
False
Suppose s = 5*s + 5*m - 1, 9 = -4*s - 3*m. Is (2/2)/(s/(-10218)) composite?
True
Let q(s) = s**2 - 9*s - 29. Let o be q(12). Suppose o = -2*b + 171. Is b prime?
False
Suppose -2930 + 730 = -4*s. Suppose q = -4*q + h + s, 0 = q - h - 106. Let x = 176 - q. Is x prime?
False
Let j(w) be the third derivative of -w**6/120 + 11*w**5/60 - 5*w**2. Let z be j(11). Suppose -4*t + 0*r = -3*r - 365, -4*r + 20 = z. Is t prime?
False
Let m(f) = 9*f**2 + 49*f + 15. Is m(-38) composite?
False
Let d = -13696 + 19615. Is d prime?
False
Is -2902*(-284)/56 + (-20)/70 a composite number?
False
Suppose 17570 = 7*u - 71253. Is u composite?
False
Suppose 4*y + 93 = -27. Let q = y - -87. Is q a composite number?
True
Suppose 10*q + 14308 = 102878. Is q a prime number?
False
Let k(a) = 1 + 2*a - 15*a + 5*a + 7*a. Let q(y) = -134*y + 3. Let o(c) = -4*k(c) - q(c). Is o(4) prime?
False
Is ((-7)/(-1) + -4)*6161/3 a prime number?
False
Let u = 14 + -12. Suppose 3*m - 11 = 3*o - 4*o, -o - u*m = -8. Suppose 2*x + o*x - 5596 = 0. Is x prime?
True
Suppose -5*f + 3033 = -4*o, -4*f - 2*o = -o - 2439. Suppose -9*h + 2424 = -f. Is h prime?
True
Let n(h) = -90*h - 3. Suppose 0 = -6*m - 14 + 2. Is n(m) prime?
False
Let a(b) = 32*b**2 + 8*b - 49. Is a(-15) prime?
False
Let v(z) = 4*z - 7. Let q be 360/100 - 6/10. Suppose -i = -q*i + 8. Is v(i) a composite number?
True
Let w = 438 - -1073. Is w a composite number?
False
Suppose z - 4*z + 2*l + 47593 = 0, 0 = 2*l + 4. Is z a composite number?
True
Let n(x) be the third derivative of 95*x**4/12 + x**3/3 - 4*x**2. Let q be n(2). Suppose -q = -2*p + 120. Is p a prime number?
True
Suppose 1358 = 4*t - 390. Suppose -4*c + 3*l = -t, -2*c + 0*c = 2*l - 222. Let w = c + -51. Is w composite?
False
Let g = 68661 - 33388. Is g prime?
False
Let d(z) = -z**3 + 10*z**2 - 12*z - 13. Let t be d(7). Let y = -6 + 23. Let l = t + y. Is l a composite number?
False
Let a = 79 + -64. Let o = 54 + a. Is o composite?
True
Suppose -5*i - 2 = -22. Suppose 0 = -2*y - 10, 0 = 3*k - i*y + y - 2322. Is k a composite number?
False
Suppose 32167 = 3*t + 16*t. Is t a composite number?
False
Let j be (-6)/(-5)*25/10 - 7. Is ((-2)/(-9)*16527)/(j/(-6)) a prime number?
False
Let f(y) = -4*y**3 - y**2 + 18*y + 8. Suppose 0 = 24*b - 26*b - 14. Is f(b) a prime number?
False
Suppose -2*q + 1 + 3 = -4*z, q = -2*z + 2. Suppose 2*i + 3*i = -q*w + 380, i = -w + 73. Let k = i + -43. Is k a composite number?
True
Suppose 3*w = -v - 0*v + 450, -470 = -v + 2*w. Is (-2)/((-3)/v*4) a prime number?
False
Let n = 2993 + -384. Is n composite?
False
Let m(i) = i**2 - i. Let x(u) = 7*u**2 + 9*u + 11. Let y(p) = -3*m(p) + x(p). Is y(9) prime?
True
Let s = -5 + -1. Let u(y) = y**3 + 5*y**2 - 7*y - 6. Let c be u(s). Suppose c*z + 580 = 4*z. Is z composite?
True
Suppose 2*r - 6*r + 158141 = -n, -39534 = -r - n. Is r a composite number?
True
Suppose -18*g = -15*g - 1563. Is g composite?
False
Let f = -24857 - -42750. Is f a composite number?
True
Suppose 6*g - 9*g = -9. Suppose -2 = 3*u + 2*p, -u - p + g = -4*p. Suppose u*o = 2*o - 190. Is o composite?
True
Is (-81933)/(-5) - (-5)/((-75)/(-6)) prime?
False
Let b = 770 - 547. Is b prime?
True
Let k be (454 - (2 - -2))*9. Suppose 2*l + 1842 = 4*d - k, -2*d = -4*l - 2958. Is d composite?
False
Suppose -7*j - 23919 = -1078. Let v = j + 5758. Is v a prime number?
False
Let q(k) = 4*k**3 - 5*k**2 + 7*k**3 + k + 2 + 8*k**2 + 10*k**3. Suppose 3*c - 4 = 5. Is q(c) composite?
False
Let n be 0 + (4 - -297 - -1). Let c = 365 + n. Is c a composite number?
True
Let y(m) = 502*m + 56. Let s be y(4). Let p = s - 1261. Is p a prime number?
False
Suppose -11*d = -7*d - 20. Suppose 265 = -d*t + 1160. Is t prime?
True
Let q(j) = -j**3 + 30*j**2 - 26*j - 39. Is q(22) a composite number?
True
Let z(g) = -200*g**3 + 10*g - 1. Is z(-4) composite?
True
Suppose 34*n - 32*n - 8998 = 0. Is n composite?
True
Let b(v) = -v + 8. Let c be b(6). Is 1*c*3/((-12)/(-2234)) a prime number?
True
Let s(z) = -57*z + 11. Let w be s(-5). Let j = -190 + w. Is j a prime number?
False
Let a be (-1)/(-4) - (-1425)/12. Suppose -c + a = -0*c. Is c composite?
True
Suppose 2*r - 3*l = 3685, 3*l + 5532 = -0*r + 3*r. Is r a composite number?
False
Let i(q) = 5*q**3 - q**2 + 1. Let g be i(1). Suppose -g*h + 2 = -3, 0 = -x + h + 2220. Is x composite?
False
Let v be (-1 + 3)/(3 - 1). Let d = -221 - -384. Is (d - 0)*v*1 a composite number?
False
Let r be (1 - (109 - -2)) + -4. Let q = -52 - r. Suppose 5*w = -12 + q. Is w prime?
False
Let g be 16/8*(-2 - -4). Let r(i) = -i**2 + 2*i + 2. Let o be r(g). Is (254/o)/(2/(-6)) a composite number?
False
Let r be 39/65 - 24/(-10). Suppose -5*c + 9 = -2*l, -2*l = -r*c - 3*l + 1. Is 3/(-4 + c) - -336 composite?
True
Let l(u) = -u**2 - 3*u - 3. Let v be (-1)/(-4*3/(-24)). Let r be l(v). Is 0 - 4 - (-116 - r) a prime number?
False
Suppose 0*h - 363 = -3*h. Suppose 4*i + 0*r - 3*r - 103 = 0, 4*i + 3*r - h = 0. Suppose t + 3*o = 43 + i, 3 = -3*o. Is t a prime number?
False
Suppose -2123 = -3*x + 2*r - 676, 0 = -3*x - 4*r + 1417. Suppose 0 = -10*k + 9*k + x. Is k a prime number?
True
Let g be ((-24)/180 + 64/30)*11719. Suppose g = 15*j - 17377. Is j a prime number?
False
Let q(j) = 12*j**2 - 6*j - 8. Is q(7) a prime number?
False
Suppose 5*d - d + 1624 = 0. Let a = 989 + d. Is a prime?
False
Is (2 - -4) + (-10)/(-6)*2139 a prime number?
True
Is 3/27*-2 + 1955096/198 prime?
False
Let n be -822 + (-2 - -3) + 4. Let q = n - -1562. Is q a prime number?
False
Suppose -30*v = -19*v - 1348853. Is v composite?
True
Let q(l) = 1 + 295*l**3 - 1 + 0. Is q(1) composite?
True
Let d = -1573 + 6594. Is d composite?
False
Suppose g - 29 = -27. Suppose -4*m = a - 1165, -g*a = -3*m + m - 2340. Is a composite?
True
Suppose -h = -2 - 4. Let t be ((-8)/h)/(4/12). Is 0/1 - 1196/t a prime number?
False
Let o = 5 - 1. Suppose -o*b - 20 = -2*r, -r - 4*r - 5*b - 10 = 0. Suppose 179 = r*z - 119. Is z a prime number?
True
Let f(v) = -v**2 + 22*v + 23. Let y be f(23). Suppose -492 = -4*r + 4*h, 4*r + y*r + 2*h = 480. Is r composite?
True
Let i = -1170 - -2182. Suppose k - 5*k = 0. Suppose k*c = 4*c - i. Is c a composite number?
True
Suppose -15*n + 417342 + 40593 = 0. Is n composite?
False
Let g = -7438 - -13541. Is g a prime number?
False
Let f(n) = 0*n**2 + 5*n**2 + 0*n**2 + 6*n**3 + 12 - 5*n**3 + n. Is f(-5) prime?
True
Suppose 2*x + 0 + 6 = 0. Is 325*2 - (x + 4) a prime number?
False
Let c(f) = 3*f**2 + 23*f - 2. Let s be c(-8). Is s/2*(-1)/(-12)*5444 prime?
True
Let v = 298 - 374. Let y = 296 + -143. Let n = y + v. Is n composite?
True
Suppose -4*p - 7 - 3 = 5*n, 4 = -2*p - 2*n. Suppose -2*b + 2*k - 5*k + 601 = p, -901 = -3*b - 5*k. Is b prime?
False
Let i(r) = -2*r**2 - 3*r + 9. Let y be i(-6). Let j(a) = -6*a + 1. Let o be j(4). Let x = o - y. Is x a composite number?
True
Let c = 5680 + -2283. Is c a prime number?
False
Let u = 20 + -9. Let j(c) = -29*c - u + 77*c + 12. Is j(3) a prime number?
False
Suppose 194*u = 190*u + 5564. Is u prime?
False
Suppose -3*f = -f. Let m = -23 + 26. Suppose f = -5*c + o + 429, m*o + 162 = 2*c - 7. Is c prime?
False
Is (2942 + 13 + -13)*2/4 prime?
True
Suppose 0 = -4*h + 2*w + 111064, -w + 6*w - 111078 = -4*h. Is h prime?
True
Let u(n) = -n**3 - 10*n**2 + 16*n - 44. Is u(-19) a prime number?
False
Let u = -22 + 5. Let m = 18 + u. Is m/((-3)/(-165) - 0) composite?
True
Let u be (-4)/(-8) - 9/(-2). Suppose 0 = 4*g - 3*m - 17595, -3*m + 20530 = 