mber?
True
Let l(r) be the second derivative of 23*r**4/12 + r**3/3 - 19*r. Is l(-5) composite?
True
Let u = 53373 - 36134. Is u composite?
False
Suppose 0 = 3*y + 8611 - 106012. Is y prime?
True
Let x = -20928 + 46617. Is x composite?
True
Suppose -47*p = -99*p + 378872. Is p a composite number?
True
Let a(x) = 37*x - 9. Let l be a(12). Suppose -4*v - 3*o + l = 0, -4*v = -5*o - 184 - 275. Is v a composite number?
True
Suppose -8*x + 43341 = -7675. Is x a composite number?
True
Suppose -13*i = -200413 + 24822. Is i composite?
True
Let t = 2919 - -1472. Is t composite?
False
Let a(v) = -8*v**2 - v + 27. Let l be a(-10). Let x = -261 - l. Is x composite?
True
Let w(b) = 907*b**3 - b**2 + b - 1. Let z be w(1). Let q = -952 + 1479. Let g = z - q. Is g a prime number?
True
Suppose -2 = q - 5*s + 274, 3*q - 2*s = -841. Let i be 922/(-6) + 2/(-6). Let o = i - q. Is o prime?
True
Let v(a) = a - 3. Let s be v(1). Let l = -7 - s. Is (-7689)/(-12) + l/(-20) a prime number?
True
Suppose -9 + 3 = -3*f. Let o(k) = 119 - k**f - k - k + 3*k. Is o(0) a composite number?
True
Let p(i) = i**3 + i**2 - i + 72. Suppose o = -3*k, -3*k = -4*o - 0*o. Let y be p(k). Let a = 151 - y. Is a a composite number?
False
Let i = -3 - -48. Let t = i + 400. Is t composite?
True
Suppose 1788 = 3*n + s, 3*n = 3*s - 2*s + 1788. Let v = 39 + n. Is v composite?
True
Let u(c) = -2*c + 1. Let o be u(-1). Let v(y) = 6*y**3 + 4*y**2 - 5*y + 2. Let j be v(o). Suppose 0 = -2*t - d + j - 24, -5*t + 425 = -2*d. Is t a prime number?
True
Let l = -2865 + 13032. Is l prime?
False
Let i be 2/5 + 1346/10. Let q = 610 + i. Suppose f = 6*f - q. Is f a prime number?
True
Let a(w) = -2*w**3 - 4*w**2 - 17*w - 11. Is a(-6) composite?
False
Let s = -8 + 8. Let t be 6 - 6 - (-7 + s). Suppose t*i - 11*i + 76 = 0. Is i prime?
True
Let h(f) = 5*f**3 + 15*f**2 - 20*f - 3. Let c be h(-12). Let r = c - -8830. Is r a prime number?
False
Let f be 30/(-4)*60/(-45). Is (-9)/(405/f) + 71867/9 composite?
True
Let i = -1079 - 2465. Is i/32*(-2 + -2) a prime number?
True
Suppose -3*x + 8 = x. Suppose -5*h = -x*h - 9. Suppose h*u + 2*f = 443, 5*f = u + f - 157. Is u a prime number?
True
Let i(l) be the third derivative of l**6/180 + 17*l**5/120 + l**4/8 + 8*l**2. Let t(d) be the second derivative of i(d). Is t(9) prime?
True
Suppose 3*h = -2997 + 34314. Is (-4)/6 + h/39 a prime number?
False
Let l(y) = 5*y**2 + 5*y - 2. Let r be l(-9). Let z be 30/12*r/5. Suppose 0 = -x - 2*t + z, 0 = 2*x - 5*t - 160 - 198. Is x composite?
False
Suppose 1 + 4 = 4*t - d, 6 = -3*t + 4*d. Suppose -o - t*z + 583 = 3*z, 3*o - 1685 = z. Is o composite?
False
Let l(x) = 4*x**2 + x - 31 + 32*x - x. Is l(-17) a composite number?
True
Let j = 2607 - 1227. Suppose j = -4*m + 3*w, 2*w = -m + 3*m + 688. Is 4*(-1 - m/16) composite?
False
Let d = -595 - -5954. Is d a composite number?
True
Let y be (-12050)/(-6) + 10/(-30). Let p = -755 + y. Is p prime?
False
Let r(d) = 79*d**2 - 17*d + 371. Is r(10) a composite number?
False
Is 1000 + ((-8)/24)/((-2)/(-30)) composite?
True
Let y be (4 - 0) + -3 + 2 + -1. Suppose 0 = y*q - 4, -3*u - 5*q = -3*q - 6301. Is u a composite number?
False
Let m(s) = -s**2 + 9*s + 22. Let n be m(11). Suppose -18*l + 21*l - 201 = n. Is l a prime number?
True
Let n = 12 + -23. Let r = n + 15. Suppose 3*c - r*o - 259 = 0, 3 = -5*o + 2*o. Is c prime?
False
Suppose 5*l + 81 = -2*k, -3*l - 61 = 3*k - 7. Let q be 1000/l + (-2)/6. Let s = 104 + q. Is s prime?
True
Let n be (2 + (-40)/15)/((-6)/(-27)). Let p(x) = -4*x**3 + x**2 + 8*x + 2. Is p(n) a prime number?
False
Let h = 26 + -22. Let y(o) = -o**3 + 7*o**2 + o + 3. Is y(h) composite?
True
Suppose 73*c + 2761161 = 112*c. Is c prime?
False
Suppose -5*y + 12 = -2*w, 3*y - 4 = 2*w - 0*y. Suppose 2*q + 2*a - 249 = a, -3*q - w*a + 361 = 0. Is q composite?
False
Let l be 84/9 + 12/18. Suppose 4*o = l*o - 186. Is o prime?
True
Suppose 536 = -5*m + 7*m. Suppose v = m + 483. Is v prime?
True
Suppose 80 - 4 = -o - 5*x, -5*x + 76 = -o. Let s = 155 + o. Suppose -5*r + 5*p = -s - 161, 4*r + 3*p = 199. Is r a prime number?
False
Let g = -5845 - -11012. Is g a prime number?
True
Is (261/18)/((-3)/(-18)) a composite number?
True
Let k = -27 - -30. Let q be k - (-2 - -4) - -97. Let m = 167 - q. Is m prime?
False
Suppose 0 = 79*y - 64*y - 285. Is y a prime number?
True
Suppose 0 = 3*b + 100 - 34. Let z = 101 + b. Is z a composite number?
False
Suppose -5*n + 86842 = 3*o, -14*o - 3*n - 28924 = -15*o. Is o prime?
False
Is -101 - -99 - (1 - 688) composite?
True
Suppose h + 3*r - 298 = -3*h, r - 378 = -5*h. Let u = h - -393. Is u composite?
True
Suppose -j - 5*d = -6064, j + 2*j - 2*d = 18141. Is j a composite number?
True
Let w(r) = -r + 3. Let f be w(-6). Let u = 14 - f. Suppose 411 = u*z - 4. Is z composite?
False
Let c(x) = 176*x**2 + 7. Is c(9) a composite number?
True
Let m be (-1)/((-4)/81)*28. Let t = m + -1350. Let z = 1324 + t. Is z a prime number?
True
Suppose 0*p - 25 = 5*p, 0 = 2*a - p - 13. Suppose -a*i + 2*i = -892. Is (i/6)/((-4)/(-12)) prime?
True
Let m(x) = -3*x - 14. Let j be m(-6). Is j/(-14) - 2979/(-63) prime?
True
Suppose 16 - 6 = 2*l. Suppose l*v - 10*v = -275. Is v a composite number?
True
Let r(t) = t**2 + 8*t + 7. Let d be r(-7). Let n(k) = k**3 - 2*k**2 - 2*k + 249. Is n(d) prime?
False
Let u(g) = -g**3 + 8*g**2 - 2*g - 2. Let h be u(7). Suppose h = -c - 17. Let i = 328 + c. Is i a prime number?
False
Let a = -20 - -24. Is (3717/(-36))/((-2 + a)/(-8)) prime?
False
Suppose -2*w = 4*w + 24. Let z(g) = -4*g**3 + 6*g**2 + 5*g - 1. Is z(w) composite?
False
Let b = 13 - 10. Suppose 0 = -3*a - 4 - 2, -11 = -b*y - 2*a. Suppose -2*d - 588 = -4*c, 2*d - 737 = -5*c + y*d. Is c a prime number?
False
Suppose 95 = -35*a + 36*a. Suppose 0 = -44*c + 49*c - a. Is c prime?
True
Let h(c) = 90*c - 5. Let l be h(-8). Let p = l + 1023. Is p composite?
True
Suppose -25*f = -3*t - 24*f + 1940, 3*t - 3*f - 1938 = 0. Is t a composite number?
False
Let f(s) be the first derivative of 3*s**4/4 - s**3/6 + 4*s - 1. Let a(b) be the first derivative of f(b). Is a(2) a prime number?
False
Let b(u) = 12*u**2 - 2*u + 1707. Is b(0) composite?
True
Let b(q) = 4*q + 181. Let s(a) = -3*a - 182. Let y(n) = -5*b(n) - 6*s(n). Is y(0) composite?
True
Let z = 750 + -415. Is z prime?
False
Suppose -4*f - 2920 = 4*m, -f - 2*m - 829 + 96 = 0. Let d = -284 - f. Is d a composite number?
False
Let k(o) = 51*o - 38. Let y be k(-7). Let p(r) = r**3 - 2*r**2 - 9*r - 6. Let l be p(-6). Let c = l - y. Is c composite?
True
Suppose 2*f - 5*f = 2*v, -14 = 5*v + 4*f. Let g(z) = 51*z**2 + 3*z + 19. Is g(v) a composite number?
True
Let y(h) = 2*h**2 + 38*h + 82. Let p be y(-24). Suppose -300 = 3*z + 2*r + r, z - r + 98 = 0. Let l = p + z. Is l a prime number?
True
Suppose -13*a = -21*a + 728. Is a composite?
True
Let c be (-1)/2 - 893/(-2). Suppose c = 32*g - 30*g. Is g a prime number?
True
Let p(y) = -y**3 - y**2 + 11*y + 1. Suppose -f - 6*a + a + 2 = 0, -3*f + 5*a = 34. Is p(f) a prime number?
False
Let j(x) = 8*x**2 + 16*x - 7. Is j(-13) composite?
True
Let q = -127 + 90. Let c be (3 - 2 - -261) + -2. Let h = q + c. Is h prime?
True
Let h(o) = 19*o + 34. Let v(m) = -m - 1. Let b(q) = h(q) + 3*v(q). Is b(10) a composite number?
False
Is ((-38)/(-8) + -5)*-31604 composite?
False
Let o be (-9 + 8)/(1/(-11971)). Suppose 4247 = -4*t + o. Is t prime?
True
Suppose 480365 = 5*v - 5*s - 1085, -5*v + 481471 = 2*s. Is v a prime number?
True
Let v(g) = 6*g - 2. Let f(s) = -3*s + 1. Let a(h) = 5*f(h) + 3*v(h). Let t be a(1). Suppose t*u - 124 = 70. Is u prime?
True
Let w be (1/2)/((-1)/8). Let q = -818 + 819. Is 47/(q + w + 4) a prime number?
True
Let c be (142/6)/((-2)/6). Let g(r) = -18*r - 130. Let m be g(-7). Is (-2)/m*(-1 - c) a prime number?
False
Is -4 - -1 - 3124/(-16 - -14) composite?
False
Let w(f) = f. Let u be 14/12 + (-2)/12. Let p = u - -10. Is w(p) a composite number?
False
Let s be (8/12)/((-1)/228). Let x = 311 + s. Is x a composite number?
True
Suppose 123267 + 7335 = 6*g. Is g a composite number?
False
Let o(i) = 2*i - 11. Let y(z) = -z**2 + 7*z - 1. Let q be y(5). Let t be o(q). Let a(c) = -c + 14. Is a(t) a composite number?
False
Let n = -2651 + 5690. Suppose 4*s - 5291 = 5*q, -2*s = -5*q + 386 - n. Is s a composite