+ 5*r + 171 = 0, -2*r + 117 = 4*h - b. Is h prime?
True
Let t be -2 + (-501 - (-16)/4). Let o = 210 - t. Is o composite?
False
Let i(w) = w**2 + w - 2. Let h be i(-2). Let d be (-9)/(6/(-2)) + -1. Suppose d*l - f - 118 = 0, 2*f + f = h. Is l a composite number?
False
Suppose 0*j + 29*j - 4228171 = 0. Is j a composite number?
False
Let u(c) = 18*c**2 + c - 4. Let l be u(2). Let m = -14 + l. Let q = 11 + m. Is q composite?
False
Let x(y) = -3*y - 9. Let d be x(-3). Suppose d*k = -8*k + 5048. Is k prime?
True
Suppose 15*h - 32471 = 72514. Is h a composite number?
True
Suppose -3*h + 3 = 3*k, 6*k - h = 3*k + 3. Is (4 + -2 - k)/(7/2219) a composite number?
False
Let c be 104/10 + (-2)/5. Suppose -c = -3*s - 7. Suppose 3*f - 41 = -4*a, f - s = -2*a + 10. Is f composite?
False
Let y(g) = 3*g**2 - 11*g - 2. Let w be y(4). Suppose -w*a + 302 - 48 = 0. Is a a prime number?
True
Is 8/14 - (-1050929)/77 composite?
False
Let u(v) = 1092*v - 155. Is u(9) prime?
False
Let a be (-3 - -1) + 4 - -29. Let x = a - 26. Suppose 5*k - 15 = 2*v - 108, 0 = -x*k + 25. Is v a composite number?
False
Let i(z) = -3*z - 7. Let l be i(-11). Suppose -22*f = -l*f + 72. Is 6870/f + 4/(-6) prime?
False
Let t(b) = -765*b**3 + 17*b**2 + 44*b - 5. Is t(-3) prime?
False
Let p = 9 - 7. Suppose 420 = 5*y - 7*m + p*m, 2*y = -m + 156. Suppose 2*r - 2*q = 46 + y, -4*r + 2*q = -260. Is r a composite number?
False
Is (-3778)/(-4)*(-1 + 3)/1 prime?
True
Let h(b) = 117*b**3 + 3*b**2 - 4*b + 1. Let u(x) = 118*x**3 + 4*x**2 - 6*x + 2. Let v(t) = 5*h(t) - 4*u(t). Let w = 3 + -1. Is v(w) prime?
False
Let z = -201 + 478. Let w = 690 - z. Is w prime?
False
Suppose -4*x - 34036 = -4*j, 2*x + 25526 = 2*j + j. Suppose 5*n = -7*n + j. Is n prime?
True
Let x be 10978 + 18/6 + 4. Suppose 4*o - x = -3*h, h = 5*h + 4. Is o a prime number?
False
Let i(n) = 1125*n - 62. Is i(13) composite?
False
Let j = 1907 + 4220. Is j prime?
False
Let i(w) = -65*w**2 - 2*w. Let n be i(2). Let o = -118 - n. Suppose 4*j = -2*p + o, 3*p - 42 - 163 = j. Is p a composite number?
True
Suppose -6*d + 14 = -4. Suppose -2*y - 5*f + 87 = 0, -d*y + 5*f + 125 + 18 = 0. Is y a prime number?
False
Let q = 14045 - 6748. Is q composite?
False
Let d(c) = c**3 + 3*c**2 + c + 4. Let f = 11 + -14. Let s be d(f). Is 10 + 0*s/(-2) composite?
True
Let z = 11541 - 8198. Is z a composite number?
False
Suppose j + 3*k - 7 = 2*k, -2 = -2*j + k. Suppose -j*l = 3, -1014 = -d + l - 2*l. Suppose -m - d = -6*m. Is m prime?
False
Let t(b) = -b**2 - 10*b + 13. Suppose -3*k - 56 + 26 = 0. Is t(k) prime?
True
Let i = 1518 + -801. Is i a composite number?
True
Suppose 9*i - 27 - 18 = 0. Suppose 3*p - 3*w = 0, -3*p - w - 5 = -5*p. Suppose -5*h + 4*v = -5207, -2684 - 2541 = -i*h - p*v. Is h prime?
False
Let w(o) = -9*o + 2. Suppose 0*t + 4 = -t. Let s be w(t). Suppose s = v - 603. Is v prime?
True
Suppose -3*o - 5*q + 21 = -3*q, 3*o = 5*q. Suppose 3*n = -c + 153, 3*c = o*n - n + 485. Is c a prime number?
False
Suppose -4*o + 19 - 3 = 0. Let z = -70 + 72. Suppose 2*p - o*p = -3*w - 178, 2*w = -z*p + 198. Is p a composite number?
True
Let q = 27 - 17. Suppose 0*n = -5*n + q. Is 55 + n/(-4)*-6 a composite number?
True
Let y = -2011 - -2899. Suppose -15*f = -23*f + y. Is f composite?
True
Let d(z) = 10*z**2 - 1 + 6*z**2 + 30*z**2 + z - 2. Let w be d(3). Is ((-8)/6)/((-12)/w) composite?
True
Let o be 18/27 - 6952/6. Let b = o + 1969. Is b prime?
True
Suppose -5*l + 3 = -2. Let x be (-4)/(-6)*(l + 185). Suppose x = 2*b - 250. Is b prime?
False
Let g(h) = h - 7. Suppose 22 = 6*i - 4*i. Let j be g(i). Suppose -j*a - 1077 = -7*a. Is a prime?
True
Suppose -4*u - 54 = -10*u. Let h(q) = 10*q**2 - 11. Is h(u) a composite number?
True
Let u(v) = -10*v**2 - 1. Let m be u(1). Let g = 116 - m. Is g a composite number?
False
Let i be 3*(-1)/(-3) + 0. Suppose -b + i = -4. Suppose 4*x = o - b*o + 944, 0 = 4*x - 4*o - 952. Is x composite?
True
Suppose 5*b + 3771 = 36226. Is b a prime number?
True
Suppose 8*c - 5*c = -18. Let h be c*16/(-12)*10. Suppose 5*a = 475 - h. Is a composite?
False
Suppose -2*f + 6 = -2*r - r, 3*f = -3*r - 6. Let l(m) = m**3 - m**2 - 2*m + 953. Is l(f) prime?
True
Suppose 9 = 3*l - y, 4*l + 2*y - 12 = y. Suppose 0 = -4*j - u + 22, 5*j = 2*u + l*u + 15. Suppose -i - 764 = -j*i. Is i a composite number?
False
Suppose 2*p = s - 4, -5*s + 0 = p + 2. Let h be 1007/5 + p/5. Let x = 508 - h. Is x composite?
False
Let q(f) = 12*f**3 + 5*f**2 + 5. Let u be (10/25 + 0)*10. Is q(u) prime?
True
Suppose -c - 4 = -2*r, 4*c - 2*r - 13 = 1. Suppose -3 = 2*s + 3*h + 3, c = 2*s - 3*h. Is 2 + (3 - -108) + s a prime number?
True
Let s(u) = 2*u - 3. Let x be s(4). Let h be x/((-60)/8)*-12. Is 17227/92 + (-2)/h a composite number?
True
Let g be 125/10 - (-2)/(-4). Suppose 7*x - 5*x = g. Let p = x + 31. Is p prime?
True
Suppose 5*k = o + 621, -2*k + 613 = 3*k - 3*o. Let m = k + -58. Is m prime?
True
Let b(m) = 1460*m + 8. Let x be b(9). Suppose x = 3*u - 16465. Is u composite?
False
Suppose -7*y - 2*y = 1890. Is (-186249)/y + (-2)/(-20) composite?
False
Is (-58)/145 + 25167/5 composite?
True
Let q(c) = 80*c**3 + c - 1. Let t be 3/((-5)/20*-6). Is q(t) composite?
False
Let z(x) = 3*x**3 - 23*x**2 - 9*x + 19. Is z(10) a composite number?
True
Suppose 4*k - 31272 = -4*q, 3*k + 2*q - 20036 - 3417 = 0. Is k a prime number?
True
Let i = -182 + 175. Let x(l) be the first derivative of l**4/4 + 4*l**3 - 3*l**2/2 - 9*l + 1. Is x(i) a composite number?
False
Let l(o) = -4*o**2 - 13*o + 11. Let i(j) = 5*j**2 + 13*j - 11. Let a(h) = -3*i(h) - 4*l(h). Let p be a(-15). Suppose 443 = 20*q - p*q. Is q composite?
False
Let v(r) = 282*r + 181. Is v(31) composite?
False
Is ((-66)/18)/(1*(-4)/12612) composite?
True
Let i be (2 + -1)*(8 + -3). Let l(y) = -3*y**2 + i - 3*y**3 + 4*y**3 - y**2 - 2 - 9*y. Is l(6) a composite number?
True
Let r(q) be the second derivative of -33*q**3/2 + q**2 + 4*q. Is r(-3) a prime number?
False
Is (9/2)/(-3) + (-27050)/(-4) prime?
True
Let h(k) = 6*k**2 - 3*k + 1. Let i be (-12)/16*16/(-6). Suppose 3*c = n + 7 - 3, -3*c + i*n + 2 = 0. Is h(c) a composite number?
False
Suppose a + 2*a = b - 5, 0 = -5*b - 5*a + 5. Suppose -q - 280 - 925 = 3*u, b*q + 810 = -2*u. Let s = u - -611. Is s composite?
False
Let q(p) = -131*p - 300. Is q(-37) a prime number?
True
Let q(s) = -30*s**3 - 10*s**2 - 15*s - 4. Is q(-7) prime?
True
Suppose 4*r = -5*a + 57733, 2547 + 20566 = 2*a - 5*r. Is a prime?
True
Let q = 2796 + 6355. Is q prime?
True
Suppose 0 = 47*n - 50*n - 3780. Let w = 2203 + n. Is w a prime number?
False
Suppose 1031 + 844 = 3*f. Suppose w + 135 = f. Let h = w - 159. Is h a composite number?
False
Let g(i) = -9*i**2 + 2*i + 6597. Let s(n) = 5*n**2 - n - 3299. Let m(t) = 6*g(t) + 11*s(t). Is m(0) a prime number?
False
Let r = -25 - -85. Suppose -o + 1198 + r = 0. Suppose 0 = -5*d - 3*n + o, -n - 3*n = 4*d - 1008. Is d a composite number?
False
Let s be 552/(-36) - (-2)/6. Let f(t) = -t**3 - 15*t**2 + 3. Let b be f(s). Suppose 0*x = b*x - 1779. Is x a prime number?
True
Suppose 0 = -6*h - 14*h + 200. Is h*(-1)/(-45) + (-5299)/(-9) prime?
False
Let v = 5486 - 3912. Is v composite?
True
Let v = 4132 - 1719. Is v a composite number?
True
Let w(j) = 143*j + 20. Let r be w(6). Let k = -507 + r. Is k composite?
True
Let z be (-2 + 1)/(1/(-3)). Suppose -q + 1329 = 5*u + z*q, 2*q = -2*u + 530. Suppose -5*o + 86 = -s + 2*s, -4*o = 3*s - u. Is s composite?
True
Suppose 3*i - 5*v = 5, 3*v = -4*i + 7*v + 12. Suppose -h - 12 = -i*h. Is (2/(-4))/(h/(-54)) a prime number?
False
Suppose -327348 = -17*n + 18857. Is n composite?
True
Let o(p) = 3 - 3*p**2 - 2*p + 3*p**2 - 2 + 2*p**2 + 6*p**3. Let c be o(2). Is ((-1 - -1) + 1)*c a prime number?
True
Suppose -6237 = 6*k - 15*k. Suppose -5*s - 4*u + 2822 = 0, 0 = -5*u + 4 + 11. Let i = s + k. Is i composite?
True
Let f(x) = 4109*x**3 - 9*x**2 + 4*x - 7. Is f(2) composite?
True
Suppose -60180 = 5*t + 2*z + 2102, -2*z - 24908 = 2*t. Let o = 22425 + t. Is o prime?
True
Suppose 3*c + 8 = 3*a - 25, 5*c + 5*a = -15. Let w(b) = -719*b - 30. Is w(c) prime?
True
Let b(s) = -71*s - 8. Let z(q) = 3*q**2 - 1. Let k be z(-1). Suppose 0 = 3*j - k*j + 9. Is b(j) composite?
False
Let s(n) = -n - 96. Let z be s(0). Suppose -852 = 2*w - 3*i - 273, 282 = -w + 3