361 - 3049 = -2*m, -8824 = -4*x - 3*m. Is x a prime number?
False
Let y = 847 + -582. Is y prime?
False
Let n = 3698 - -12285. Is n prime?
False
Let q(d) be the first derivative of 4/3*d**3 + 1/2*d**2 + 0*d + 6. Is q(-5) a prime number?
False
Let b = 1605 + 73. Is b a prime number?
False
Suppose 129764 + 10943 = 7*f. Is f composite?
False
Let m(v) = 2*v + 0*v**2 - 11*v - 10 + v**2. Let q be m(10). Suppose 450 = -0*o + 3*o + 3*s, q = -o + 5*s + 120. Is o prime?
False
Suppose 4*h = -g - 13, -h + 0 = 2. Let k(i) = i. Let f be k(g). Is 34*((-70)/4)/f composite?
True
Let z(t) = 389*t**2 - 5*t + 5. Suppose -j = -w + j + 11, -2*j = 2*w + 8. Is z(w) a composite number?
False
Let v(i) = 55*i**2 + 2*i + 17. Let l(z) = -z + 5. Let h be l(13). Is v(h) composite?
True
Let u(b) = 2*b**2 + b - 1. Suppose 5*r - i - 9 = 0, r - 5*i + 0*i - 21 = 0. Let m be u(r). Is (m/4)/((-5)/(-4090)) a composite number?
False
Suppose -51*d = 217740 - 5291577. Is d a prime number?
True
Is 1905/(-20)*(-33156)/81 a composite number?
True
Suppose 9*v - 28 = -1. Suppose 3*q - 1902 = v. Is q prime?
False
Suppose 0 = -p + 16*p - 57945. Is p a prime number?
True
Let u be (-6)/(-2) - (-12118 - -10). Suppose -937 - u = -8*a. Is a a prime number?
False
Is (6640 - (0 + 7)) + 2 + 2 a prime number?
True
Suppose 0 = 5*n - 3*n - 8, -3*n = h + 1124. Let j = h + 2185. Is j a prime number?
True
Suppose -2*c = c + 2*w - 24, 3*w = 0. Suppose 4*r + c = 0, 5*k + r - 735 = 4*k. Is k a composite number?
True
Suppose -6*t = -7*t + 1727. Is t a prime number?
False
Let k(m) = 2*m**3 - 19*m**2 - 8*m + 30. Is k(17) composite?
False
Let m(w) be the first derivative of w**4/4 - 7*w**3/3 + 2*w**2 + 14*w + 9. Let r be m(5). Is r/(-40) - (-766)/10 composite?
True
Let k(t) = t**2 - 10*t + 10. Let y be k(9). Let d(r) = 6*r**2 - 2*r + 1. Let q be d(y). Suppose 3*b - q*b = -114. Is b a composite number?
True
Let y(p) = 7*p**2 - 6*p + 2. Let r = 0 - 6. Let l be y(r). Suppose 6*z = z + 4*q + 290, 5*z - l = -4*q. Is z a composite number?
True
Let s(n) = 113*n**3 - 8*n**2 + 13*n - 7. Is s(3) prime?
True
Let u(w) = -2070*w - 32. Is u(-3) prime?
False
Let x be 3/(-2) + 1 - (-41388)/24. Suppose -l - 53 + 918 = 2*t, 2*l = -2*t + x. Is l composite?
False
Let c = -8 + 10. Suppose c + 102 = 4*z. Is (-4)/z + 920/65 composite?
True
Let f = 5535 + 5218. Is f prime?
True
Is (-1 + 7770 + 4)/((-9)/(-15)) a prime number?
False
Is ((-214907)/(-14) - 4)*2/3 composite?
True
Let j(m) = 2*m - 8 - 2*m + 4*m - 2*m. Let g be j(4). Suppose -3*d = -4*r - g*r - 1085, -1400 = -4*d - 4*r. Is d prime?
False
Is 51*(-2)/(-3)*(-9)/(-6) a composite number?
True
Let r(u) = u**2 - 13*u - 15. Let k be r(-15). Suppose 3*w - k = -150. Is w composite?
True
Suppose 4*o = 7*o - 9. Suppose 0 = o*p + p. Suppose 587 = y - p*y. Is y a prime number?
True
Suppose 0 = -30*i + 93*i - 725319. Is i a composite number?
True
Suppose -5 + 21 = 8*c. Is (1053/(-2) + c)*(-11 + 9) a composite number?
False
Suppose k = 24 + 21. Let q(n) = -10*n + 18. Let y be q(4). Let w = y + k. Is w a prime number?
True
Suppose -4*a + 140 = 6*a. Let z be -1 + (54 - 2)/(-1). Let d = a - z. Is d composite?
False
Suppose 487 = 2*x - x. Let y = 1166 - x. Is y a prime number?
False
Is 202154/427*14/4 composite?
False
Is (4258/7)/((-1)/(7/(-2))) a composite number?
False
Let a(r) = -940*r - 12. Let n be a(11). Is n/(-24)*(-1 + 11/2) a composite number?
True
Suppose -d - r + 1 = 3, -4*d = -4*r - 24. Suppose c - 1 = 0, 2*o + 0*o - 328 = -d*c. Is o a prime number?
True
Let m(i) = 2*i + 41. Let q be m(-19). Suppose -4*a = -5*d - 12 + 738, 4*a + 442 = q*d. Is d composite?
True
Let h(q) = -33*q - 4. Let t be h(-6). Suppose 0 = 24*v + 802 + 638. Let b = v + t. Is b composite?
True
Is (-1658890)/(-34) + 12/102 prime?
False
Is (7147 + 1)*611/188 a prime number?
False
Let v be (-2)/4*(2 + -2). Suppose -s + 2*s = v. Suppose s = d + 2*d + 3*f - 234, -386 = -5*d - f. Is d composite?
True
Let l(j) = -5461*j - 51. Is l(-2) composite?
True
Suppose 3*w - 552 = -0*w. Let m(l) = 2*l**3 - 43*l**2 + 22*l - 21. Let z be m(21). Is z + w + -2 + 5 a composite number?
True
Let c(l) = -6*l - 4. Let g be c(-6). Let w = g + -63. Let i = 8 - w. Is i a composite number?
True
Is ((-6171)/(-4) - 2) + (-16)/(-64) a prime number?
False
Suppose 2*c = -2*z + 3*c + 11, 0 = -5*z + 5*c + 35. Let u(w) = -15*w - 3. Let m(y) = -330*y - 65. Let f(i) = 2*m(i) - 45*u(i). Is f(z) a composite number?
True
Suppose 2*o + 3*p + 16843 = 3*o, 0 = 4*o - 3*p - 67372. Is o prime?
True
Suppose 2*u - 18326 = 12996. Is u a composite number?
False
Suppose 24622 = 10*y - 29128. Suppose 3*f + 44 = y. Is f a prime number?
True
Is (-8 - -3) + 894/(-5)*-5 prime?
False
Suppose 0 = 5*k - 3*m + 87, 0 = -3*k - m - 27 - 14. Let j be k/(-6)*(-36)/(-30). Suppose j*w - 1047 = -5*z + 295, -2*w + 4*z + 902 = 0. Is w a composite number?
False
Suppose 5*c - 3*j = -82, -c + 2*c + j + 18 = 0. Let q = c - -250. Is -1 + (q - -3)/4 prime?
False
Let a be ((-2)/1 - 7)/1. Let z = a + 11. Suppose -z*o + 5*w + 1407 = o, -1407 = -3*o - w. Is o prime?
False
Let q = 0 + 8. Let y(h) = -h**2 - 15*h - 9. Let v(j) = -2*j**2 - 15*j - 8. Let r(t) = 2*v(t) - 3*y(t). Is r(q) prime?
True
Let k be (1 - 10) + -20 + 23. Is k/39 - 27412/(-52) a composite number?
True
Let f(n) = -51*n**3 - n**2 + n + 7. Let q be f(6). Let k be q/(-13) - (-16)/(-104). Let b = k - 442. Is b a composite number?
True
Let n(h) = -h**2 + 12*h - 18. Let g be n(10). Suppose 71 = g*d - f, -4*d + 0*d = 5*f - 163. Is d a prime number?
True
Let g(h) = 2*h**3 + 19*h**2 + 28*h - 7. Let y(c) = -3*c**3 - 28*c**2 - 42*c + 10. Suppose -2*q - 20 = 2*q. Let v(j) = q*y(j) - 8*g(j). Is v(-11) composite?
True
Let k(t) = 11*t**3 - 5*t**2 - 9*t + 14. Let j be k(6). Suppose 5*x - j - 59 = 0. Is x a prime number?
True
Suppose 29*a - 664 = 28*a. Let w = a - 372. Suppose j - 175 - w = 0. Is j composite?
False
Let z be ((-3)/(-6))/((-1)/18). Let h(g) = g**2 + 8*g - 5. Let y be h(z). Is 295 - (-2 - -10)/y a prime number?
True
Let x(f) = -271*f - 26. Let b(n) = 54*n + 5. Let s(i) = 11*b(i) + 2*x(i). Is s(4) a prime number?
True
Suppose 5*w - 2834 = 13891. Suppose 5*j - 2007 = -3*o, 0*o = -5*o - 3*j + w. Is o composite?
True
Is (-48)/(-112) + (-22663)/(-7) + 1 a composite number?
True
Let i = 304 + -191. Let j = i - -474. Is j a composite number?
False
Let v be (-3194)/(-10) - (-6)/(-15). Suppose -6*m = -5*m - v. Is m a prime number?
False
Suppose 4*m = -5*u - 114, -2*u = 2*m + 26 + 30. Let t be (-4)/m + (-26285)/(-91). Suppose -c + 115 = -4*b, -2*c + t = -5*b + 50. Is c a prime number?
True
Let p = -254 - -923. Is p composite?
True
Let d = 3265 - 1460. Suppose 4*j - 7471 = d. Is j a prime number?
False
Let y(g) be the third derivative of g**5/60 + 5*g**4/24 + 4*g**3/3 - 7*g**2. Let l be y(-4). Let p(q) = 8*q**3 + 4*q**2 - q - 1. Is p(l) a composite number?
False
Is (-1477007)/(-91) + 10/65 prime?
True
Let m(d) = 143*d**2 - 10*d + 10. Is m(7) a prime number?
True
Is (-87)/348 + ((-9202)/(-8) - -1) a composite number?
False
Let r = 1 + 18. Let h = 29 - r. Is h a composite number?
True
Suppose -8*j + 267769 = 7297. Is j a composite number?
True
Suppose -31*v - 40 = -36*v. Suppose 10*d - 3*c - 829 = v*d, -2*c = -3*d + 1251. Is d prime?
True
Let m be 1520/((-4)/(-2)) + 4. Let c = 3009 - m. Suppose n + 5*g - 449 = g, 5*n = -2*g + c. Is n a prime number?
True
Suppose -5*p - 8*d + 26230 = -3*d, 3*p - 15739 = -4*d. Is p a composite number?
True
Let g = 2554 + 2893. Is g a composite number?
True
Suppose -100*k + 210 = -94*k. Is k composite?
True
Let i be (-39825)/(-60) - 6/8. Let g = i - -1048. Is g a prime number?
False
Let k be (-25950)/35*(-3 + -4). Is ((-1)/3)/((0 - 5)/k) a prime number?
False
Let b(z) = 136*z**2 - 3*z + 2. Let m(q) = -272*q**2 + 5*q - 3. Let k(t) = 5*b(t) + 2*m(t). Is k(-3) prime?
False
Let x(t) = -t**3 + 3. Let j be x(0). Suppose 136 - 476 = -2*v. Suppose 2*m - j*c = v, 332 = 4*m - 0*c - 4*c. Is m composite?
False
Let z = -959 - -1650. Is z composite?
False
Let o = 22 + -17. Suppose 5*n - 4*k + o*k - 1658 = 0, -1670 = -5*n - 5*k. Is n a composite number?
False
Let x be (-5 - -3)/((-4)/376). Let s = x - 61. Is s a composite number?
False
Let j = 9865 + -1364. Is j a composite number?
False
Let l be (-4)/(-48)*4*21. Suppose 0 = -