 5*s + 41 = w, 0 = -2*w - s + 13. Suppose -w*j + 12 - 8 = 0. Is -6*j/2 + 322 composite?
True
Let h be 156978/189 + (-4)/7. Suppose y - h = -y. Is y a composite number?
True
Let r = 4279 + -1020. Suppose 6*t - 263 = r. Is t composite?
False
Let i be (-30)/(-12)*7268/5. Suppose 2*z = 4*u - i, u + 1808 = 3*u + 2*z. Is u prime?
True
Let x(f) = 15*f**2 - 4*f + 5. Let y(c) = 29*c**2 - 8*c + 9. Let j(h) = 5*x(h) - 2*y(h). Is j(4) a prime number?
True
Suppose -9*h + 10 = -17. Suppose -2*u - n + 7178 = -h*n, 2*u + 5*n - 7164 = 0. Is u composite?
True
Let d(r) = 7*r**2 + 52*r - 27. Is d(-20) a prime number?
True
Let q(i) = 4*i**2 + 63*i + 57. Is q(-26) composite?
False
Is 164*(-620)/(-15) + (-2)/(-6) composite?
False
Suppose 27404 = 17*r - 14*r + 5*l, l = 1. Is r composite?
False
Is (1080 - 0) + (17 - (9 + 1)) prime?
True
Suppose -3*g + 77 = 4*d, -5*d - 22 = -3*g + 10. Let c(j) = j**3 - 19*j**2 + 14*j + 41. Is c(g) a composite number?
False
Suppose 5*d - 2*d + 15 = 0. Let w(h) = -74*h + 7. Is w(d) a composite number?
True
Suppose 0 = -2*j + 225 - 41. Is ((-362)/(-6))/(6/(j - 2)) composite?
True
Let v(z) be the first derivative of z**4/6 - 13*z**2/2 + z - 4. Let c(s) be the first derivative of v(s). Is c(-9) composite?
False
Suppose -5*a - 21 = -3*s, -s - 2*a = -2 - 16. Suppose -s*x + 7*x + 230 = 0. Is x prime?
False
Let f(k) = k**3 + 5*k**2 - 6*k. Let l be f(-6). Let t be 2 + l + (-390)/(-2). Suppose -5*p = 4*s - t, -5*p - 16 = -2*s + 45. Is s a composite number?
False
Let f(g) = -5*g - 13. Suppose m - 4*m = -2*k + 1, -3*m + k - 5 = 0. Let t(v) = -2*v - 6. Let l(c) = m*f(c) + 7*t(c). Is l(9) composite?
True
Let r(d) = 146*d - 23. Let u = 21 - 19. Suppose u*g - 9*g = -42. Is r(g) a composite number?
False
Let p = -4491 + 6586. Is p a composite number?
True
Let g = 7968 + -1841. Is g prime?
False
Let q(d) = -1787*d**3 - 2*d**2 - d - 9. Is q(-2) a prime number?
True
Is (-3)/(-6)*291804/3 a prime number?
False
Is 1 + (0 - -1498)*7 composite?
False
Suppose -17*f + 284 = -16*f. Let c be 826/6 + (-2)/(-6). Let h = f - c. Is h a composite number?
True
Let a = 2130 - -83. Is a prime?
True
Suppose -5*d + 16 + 12 = 4*k, -5*k = d - 14. Let f be (-2 - d)/(-2) - 1. Is (1 - f - -10) + 2 prime?
True
Let k(f) = f**2 - 9*f + 9. Let b be k(4). Is (-2)/(-1) + (187*b)/(-1) a prime number?
False
Let a = -250 + 716. Suppose -4*m + a - 118 = 0. Is m composite?
True
Let l(j) = 3*j + 3. Let m be l(-8). Let f = 12 - m. Is f a prime number?
False
Let h(f) = -2*f**3 + 2*f**2 + f. Let j be h(-1). Suppose -4*q + q - j*l = -9351, -4*l = 3*q - 9350. Is (3/3)/(2/q) prime?
True
Is (-40)/(-8)*(400 + -3) composite?
True
Is 8029 - (-56)/35*15/6 prime?
False
Is 2703 - (33/(-15) - (-9)/45) a composite number?
True
Is -8*((-14)/(-4))/(-7) - -2731 prime?
False
Suppose -35 = -5*h - 3*j, -h + 10 = 2*j - 4. Suppose h = -i + 13. Is i prime?
False
Let p(g) = -21*g + 24*g + 8 + 11. Let c be p(-8). Is (-7245)/(-75) + (-2)/c a composite number?
False
Let w be 7746 + 1/((-5)/15). Is (-20)/(-60)*w/1 a prime number?
False
Suppose -3*z = -5*r - 147, 4*z + 92 = -3*r + 2*z. Suppose -2*i + 912 = -5*v, 5*i - 3*v - 916 = 3*i. Let n = r + i. Is n a composite number?
False
Let d = 13 + -3. Suppose 0*x - 15 = -x - 4*b, -2*b + d = -2*x. Is 1/((x/(-341))/1) composite?
True
Let p be (-4)/2*1 + 5. Suppose 497 = p*t + 5*x - 107, 3*x + 409 = 2*t. Is t a composite number?
True
Suppose 0 = 3*l - 4 + 1. Let q(b) = b**2 + b. Let j(r) = 634*r**2 - 5*r. Let h(p) = l*j(p) + 6*q(p). Is h(1) composite?
False
Let s(z) = -2*z**3 - 11*z**2 + 3*z + 11. Let a be s(-8). Suppose 2*m = 3*b - 401, -5*b - 4*m + a + 354 = 0. Is b a prime number?
False
Suppose 2*v - 10 = -4*m, v - 2*m = m. Suppose 3*b + 4*z = -17 - v, 0 = -3*z - 6. Is b*-379*(-1)/(-4) a composite number?
False
Let v(y) be the first derivative of y - 2*y**2 - 4 - y**3 + 11/4*y**4. Is v(3) prime?
False
Let j be (69/(-21) - (-10)/35) + 4. Is ((-991)/(-4))/(3/12*j) composite?
False
Let b(a) = -4*a - 2*a + 215 + 7*a + 2*a. Is b(0) a prime number?
False
Let s(r) = -197*r - 48. Is s(-3) prime?
False
Is (183/2)/(-24*(-8)/896) a prime number?
False
Let r be (-12)/(-3)*1/(-6)*-6. Suppose -r*d - 3429 = -19*v + 16*v, -5*d = v - 1124. Is v prime?
False
Suppose -i - 3*g = -0*i - 15, 5*g = 10. Suppose 3*a + i - 147 = 0. Is ((-264)/(-12))/(4/a) composite?
True
Let l(n) = -n**3 + 2*n**2 + 5*n + 1. Let d = -10 - -10. Let h = -4 + d. Is l(h) a composite number?
True
Let d(t) = -40*t**3 + t**2 - 9*t - 15. Is d(-3) a composite number?
True
Let l = -88 - -91. Suppose 10923 + 74 = l*t + 5*c, t - 3643 = 4*c. Is t a composite number?
False
Suppose 5*z = 20, i = -6*z + z + 2498. Let r = i + -1469. Is r composite?
False
Let d = 44 - 40. Is (3 - d)*(-877)/(-1 + 2) a composite number?
False
Let x(i) = 2*i**2 + 3 - 8*i**2 + 15*i**2 + 2*i. Let q be x(7). Suppose 2*b - 44 = q. Is b a composite number?
False
Let s = -123 - -1484. Is s a prime number?
True
Let l = -6310 - -12857. Is l a prime number?
True
Let f(h) = -37*h**2 - h + 16. Let b be f(-7). Let g = -633 - b. Is g a composite number?
True
Suppose 5*s + 23 = l + 4, -s + 17 = 5*l. Is (298/(-8))/((-2)/((-24)/s)) prime?
True
Suppose 2*g + g + 27 = -4*x, -x - 4 = -2*g. Let d(z) = -z**3 - 5*z**2 - 10*z - 8. Let m be d(x). Suppose 2*y + 3*y - m = -3*q, -2*q + 67 = -5*y. Is q prime?
True
Let o be (56/(-21))/((-4)/438). Let b(x) = -x**2 + x + 4. Let m be b(7). Let q = o + m. Is q a composite number?
True
Suppose k + 4*k = 2*f + 23, 2*k - 18 = 3*f. Let u be 5 - 4 - (-11 + 384). Is -2 + (k + -2 - u) prime?
False
Let d(t) = -t**2 - 10*t + 14. Suppose v = 2*v + 11. Let w be d(v). Suppose -4*h = -y + 5, -2*y + 0*y + 32 = w*h. Is y composite?
False
Let t(b) = -2*b**3 - 18*b**2 + 20*b + 143. Is t(-22) a prime number?
False
Let q(n) = 2*n**2 - 10*n - 7. Let c be q(8). Suppose 37 = s - 3*g - g, 3*g - c = -2*s. Suppose 2*y - 785 = -y + 2*x, 0 = -5*x + s. Is y composite?
True
Let z(r) = 562*r - 69. Is z(5) a prime number?
True
Let o be (-17 + 17)/((-1)/1). Suppose o = -2*k - k + 582. Is k composite?
True
Let u(w) = 1918*w - 7. Is u(2) a composite number?
True
Let i(j) = 273*j - 274. Is i(15) a composite number?
False
Let m(f) = 4*f**3 - 14*f + 3. Suppose 40*h - 21 = 37*h. Is m(h) a composite number?
False
Let k = 5 - 10. Let w(u) be the second derivative of -23*u**3/3 - 7*u**2/2 + u + 2. Is w(k) composite?
False
Let x(y) = -2*y - 8. Let b be x(-6). Is (6 - 8)/(b/(-98)) a prime number?
False
Let t(l) = 3*l**3 - 10*l**2 + l + 37. Is t(9) composite?
False
Suppose -13 = -3*v + 2*m, -6*v + 5*m + 20 = -v. Suppose -3368 = n - 6*n + g, 3*n = v*g + 2034. Is n composite?
False
Let w(i) = -37*i**3 + i**2 + 2*i + 1. Let k be w(-1). Let h be k/7 + 4/(-14). Suppose 5*r - 923 = -h*l + 342, 4*r = l - 243. Is l a prime number?
True
Suppose q - 2*q = 0. Suppose 5*h = -0*s + 3*s - 34, 3*s - h - 14 = q. Suppose -s*u - u + 764 = 0. Is u a composite number?
False
Let w = 30 - 36. Let s(g) = -2*g**3 - 9*g**2 - 2*g + 7. Is s(w) prime?
True
Let x be 43/9 + (-6)/(-27). Suppose -16 = 4*u - x*w, 2*u + 8 = -3*w - 0*w. Let d(b) = 7*b**2 + 3*b - 3. Is d(u) prime?
True
Let w be (3/6 - 0)/((-1)/(-852)). Suppose 2*c - t - t = w, c + 5*t = 219. Is c composite?
True
Let f = -20052 + 37603. Is f composite?
False
Suppose -104*z + 64885 = -85*z. Is z a composite number?
True
Let s(q) = 58*q - 3. Suppose 5*p - 8 = v, 2 = 2*p + 3*v - 8. Is s(p) prime?
True
Suppose 3*b - 6 = -4*g - 0*g, 5*g + 4 = 2*b. Let r be g + -4 + -1 + 1. Is ((-59)/4 - 2)*r a prime number?
True
Let u(b) = b**2 + 12*b - 10. Let a be u(-13). Suppose -3*i + 26 = 5*m, m - i - 8 = -a*i. Is (m/(-6))/((-6)/279) a prime number?
True
Let g(o) = -o**3 - 6*o**2 - 2*o - 9. Let h be g(-6). Let z(u) = h - 3 + 6*u. Is z(1) a composite number?
True
Let i(v) = 517*v - 14. Is i(3) prime?
False
Let h = 8415 + -1955. Suppose -3*w - 2023 = -h. Suppose 2*x - w = 299. Is x a composite number?
True
Let z(a) = -a + 14. Let k be z(10). Suppose 0 = -2*g + f - 7, -4*f - 12 = -k*g - 32. Is 434*(g + (-5)/(-2)) a composite number?
True
Suppose 3*z + 2 = -3*j - 2*j, 0 = j - 4*z + 5. Is (j - (0 + 2)) + 296 composite?
False
Let u(n) = 62*n - 4. Let o(y) = 62*y - 3. Let s(h) = 5*o(h) - 4*u(h). Is s(4) a composite number?
True
Let x = -35404 + 201773. Is x a prime num