h = 5*j - 3*a. Let m = j + -56. Is m prime?
True
Suppose 2*x - 3 = 4*a + 5, a = 2*x - 14. Suppose -3*f = -x*f + 1065. Is f prime?
False
Let c(h) = -14*h + 2. Let l be c(2). Let x = 30 + l. Suppose -6 = -x*p + 838. Is p a composite number?
False
Is -279 + 279 - -8149*(-1 - -2) a composite number?
True
Suppose 0 = -4*q - q - 5*j + 10, 0 = q + 4*j - 17. Is q*(-1528)/48 - (-6)/4 a composite number?
False
Let x(y) = y - 1. Let h(b) = 819*b + 9. Let p(d) = -h(d) - 27*x(d). Let f be p(-8). Is (1/3)/(6/f) composite?
True
Let y = 11 - -2. Let x = y - 14. Is 48 - (-3 + (-1 - x)) composite?
True
Suppose 0 = -0*r - r - 2. Is 27 - (1 + r + 3) prime?
False
Let d = 41670 - 13393. Is d composite?
False
Let p(n) = 42*n**3 + n**2 - n + 1. Let s(m) = -m + 2*m - 1 - 8 + 0*m. Let o be s(10). Is p(o) a prime number?
True
Let s(u) = 1109*u + 11. Let y be s(-7). Is (y/(-26) - -3) + 6/(-39) a prime number?
False
Let i(h) = 6*h**2 + 41*h - 98. Is i(-21) prime?
False
Let o(c) = 20*c + 327. Is o(-7) prime?
False
Is 4/(-8)*5*(-846)/15 a prime number?
False
Let s = 123 + -49. Suppose -36 = 4*d - 3*j - 501, 0 = -d - 5*j + 122. Suppose -h + s = -d. Is h a prime number?
True
Let b be 2794 + (-3 - -3 - (0 - -1)). Suppose 0 = 2*j + 3*q - 8*q - b, 4202 = 3*j + 5*q. Is j prime?
True
Let m(j) = j**2 + 10*j + 12. Let w be m(-9). Suppose 2*f + 0*o + 2 = 5*o, 0 = 3*f + o + w. Is (0 - f)*2 + 465 a composite number?
False
Let z(d) = -2023*d - 93. Is z(-2) prime?
False
Let x = -35502 - -64291. Is x a prime number?
True
Let w be (286/88 - (5 - 1))*5164. Let k = w + 5764. Is k prime?
False
Let m(h) = -9*h**2 - 2*h. Let f be m(6). Let k = -223 - f. Is k a composite number?
False
Suppose 0 = 5*i + 2*k - 0*k + 16, i - k = -6. Is (-3)/i + 4971/12 composite?
True
Let m(c) = c - 10. Let s be m(5). Is (-5)/s*-4*(-1137)/12 a prime number?
True
Suppose -6834 = -2*i - x, -2*i + 6822 = x - 3*x. Is i prime?
False
Let c(x) = 107*x**2 + 17*x + 115. Is c(-10) a prime number?
False
Suppose 1875 = 3*h - 8*h. Suppose -k = 2*k - 3*a - 2268, 0 = -3*a - 6. Let w = h + k. Is w prime?
True
Let h = 43 + -49. Let a(n) = 33*n**2 + 13*n + 41. Is a(h) prime?
True
Let q(l) = -l**2 + 8*l - 3. Let g be q(7). Suppose -g = -2*o - 10. Is (1 - 3)*-170 + o a composite number?
False
Let w(z) = 982*z + 401. Is w(10) a composite number?
True
Let c(z) be the third derivative of z**6/120 + z**5/5 - 11*z**4/24 + 3*z**3 - 2*z**2. Let u be c(-13). Is (-6)/u - (-1686)/24 prime?
True
Let f(k) = -81*k + 146. Is f(-21) a prime number?
True
Suppose -8 - 6 = -x. Suppose -11 = 13*o - x*o. Is o composite?
False
Let s be -5 + (-1 - -3) + -2. Is 157/((-5)/s) - -2 composite?
True
Let f = 70971 + -46812. Is f a prime number?
False
Let q be (-17)/(-5) - (66/(-10) + 7). Suppose -o + q = z - 5*o, -o - 53 = -5*z. Is z prime?
True
Let y be 3 + (-5 - (1 - 2)). Let z be (-341)/y - (-4 + 3). Let p = z + -105. Is p prime?
False
Let i = 9683 - 3540. Is i a composite number?
False
Let k = 29 - 23. Suppose w - 4*u + k*u - 407 = 0, -20 = -4*u. Is w a composite number?
False
Suppose 4 = -4*v, -3*d + 0*d + 4*v = -25. Is (165/6 + -1)*(7 + d) a composite number?
True
Let y = 9 + -13. Let c(r) = r**2 + 5*r + 5. Let j be c(y). Is (-145)/j*(-4 + 3) prime?
False
Let x be -4 - (6*2)/(-4). Let a be -3 - (0 - -1)*x. Is 4/a + 13*3 a prime number?
True
Suppose 89*m - 50977 = 70*m. Is m prime?
True
Is (-224 + 220)/(4/(-9601)) prime?
True
Suppose -14*m - 29292 = -2*m. Let c = 498 - m. Is c prime?
True
Let n(u) = 27*u**3 - u**2. Let b be n(-1). Let f = -26 - b. Suppose f*c - 1276 = -2*c. Is c a composite number?
True
Suppose 3*c - 33*n - 10142 = -38*n, 3*n = -15. Is c prime?
True
Suppose 13*c - 31169 = 23444. Is c prime?
True
Let i = 0 - -3. Suppose -i*n + 3*o = -33, -n + o = -3*o - 20. Suppose -3*w + 17 = -4*r, -3*w = -n*w + 5*r + 30. Is w prime?
True
Suppose -9200 - 4129 = -9*d. Is d a prime number?
True
Let z(a) = a**3 - 8*a**2 - 7*a + 1. Let c(w) = 2*w**2 - w - 2. Let d(l) = -4*l**2 + l + 4. Let k(x) = -11*c(x) - 6*d(x). Let r be k(-4). Is z(r) a prime number?
True
Let p = -15 - -36. Suppose i + 0 = p. Is i a prime number?
False
Let i be 2/7 + 4252/14 - -2. Suppose -171 - i = -3*q. Is q prime?
False
Suppose -a = 5 - 9. Suppose x = 2*j - 753, -a*j - 3*x + 959 + 552 = 0. Is j a prime number?
False
Let m be ((-56)/(-16))/((-2)/16). Is (-993)/2*(m/6)/7 prime?
True
Suppose 95*h - 106*h + 70631 = 0. Is h a composite number?
False
Let y(g) be the third derivative of g**6/360 + g**5/40 - 3*g**4/8 + g**3/2 + g**2. Let c(b) be the first derivative of y(b). Is c(-8) a prime number?
True
Suppose 4 = -y, 4*r - 3*y - 14188 = -7*y. Is r prime?
False
Suppose -1139 = -2*m + 587. Is m a composite number?
False
Let c(j) = 5*j**3 - j**2 + 5*j + 3. Let z be -5 - (3 - 4 - 1). Let q be c(z). Let y = -69 - q. Is y prime?
False
Let s(k) = -2*k**3 - 15*k**2 - k + 7. Let b(g) = g**3 - g - 1. Let r(n) = -3*b(n) - s(n). Let o be r(9). Suppose -5*u + o = -3*u. Is u a prime number?
False
Is (364/126)/26 - (-22660)/18 a composite number?
False
Let y = -246 - -627. Let g be y/(3 - (-24)/(-9)). Suppose 2*b = -b + g. Is b a composite number?
True
Suppose 7077 = -6*m + 789. Let o = m + 1491. Is o a composite number?
False
Suppose 0 = t + 3*t. Let u be ((-4)/8 + 1)*t. Suppose -4*d - w = -1885, 2*d - 3*w - 1030 + 91 = u. Is d a composite number?
True
Suppose -o + 2*w - 6048 = o, -5*w = 3*o + 9096. Is 1/((1 + 3030/o)*-1) composite?
False
Let m be (-6)/(-5)*(-5)/(-3). Suppose 0 = m*j - 10 + 6. Suppose -b + 2*b = j*x + 16, -4*x + 56 = 2*b. Is b a composite number?
True
Suppose 2*n + 12 = 7*n + z, -z = 3*n - 8. Let t(l) = 2*l + 3. Let k be t(n). Suppose -f + k = 3*h - 6, -4*h = 0. Is f a prime number?
True
Suppose -5*v = 2*k - 3*k - 3454, v - 5*k - 686 = 0. Is v a composite number?
False
Let j(y) = -y**3 - 12*y**2 + 2. Let r be j(-12). Let q be 1/r*6*1. Suppose -4*b - b = q*u - 465, 3*u = 3*b - 279. Is b prime?
False
Let a(b) = -11*b**2 + 4*b - 5. Let x be a(-4). Let t = x - -1637. Suppose -4*s + t - 244 = 0. Is s a composite number?
True
Let v(o) = -133*o + 10. Let y = 85 + -57. Let n be y/98 - 102/14. Is v(n) composite?
False
Let o be (-1)/((33/(-18))/(-11)). Is -3 - (-3)/(o/(-362)) a composite number?
True
Let f(d) = -50*d**3 - 2*d**2 - 4*d - 2. Let p be f(-2). Let w = 161 + p. Let i = w - 380. Is i composite?
False
Let u(q) = 50*q + 67. Let h(a) = 51*a + 65. Let j(w) = 7*h(w) - 6*u(w). Is j(10) a prime number?
False
Let i(m) = -215*m - 15. Let v be i(17). Let z = -1913 - v. Is z prime?
False
Suppose -3*k = -4*r + 22132 + 38235, 4*r - 60359 = -5*k. Is r a prime number?
True
Let l = 1959 - 986. Suppose -4*g + 5*g + 2*m = 485, -2*g - m + l = 0. Is g prime?
True
Suppose 0 = 2*n - 9591 - 4803. Is n a composite number?
True
Suppose -5*g - 3*h = h - 19, -4*g = 2*h - 14. Suppose 0*w = g*w - 5322. Is w a prime number?
False
Let f(a) = -27924*a**3 - 3*a**2 - 4*a - 2. Is f(-1) prime?
False
Is ((-32)/(-48))/(25514/(-25518) + 1) a composite number?
False
Suppose 4*y + 411 + 211 = 2*q, -1220 = -4*q - 4*y. Is q a composite number?
False
Is (-5)/((-60)/(-33006))*(-2)/1 a prime number?
True
Let x(v) = 2*v + 15. Let p be x(-6). Suppose c = 3*d - 0*d - 2366, -p*d + 2356 = c. Is d prime?
True
Let q(t) = 18*t**2 + 3*t + 1. Suppose 4*v = a - 12, -9 - 23 = 5*a + 3*v. Is q(a) composite?
False
Let r = 3413 + 3600. Is r a prime number?
True
Suppose 0 = -2*k - 0*k - 4*y + 26, -2*k + 31 = 5*y. Suppose k*s = -4*q + 209, 0 = 2*s + q + 2*q - 140. Is s a composite number?
False
Let g(x) = x + 9. Let n be g(4). Suppose -n*q + 12*q = -3. Suppose q*p - 662 = -53. Is p prime?
False
Let u(j) = j**2 + j + 1. Let f(t) = 58*t**2 + t + 4. Let m(d) = f(d) - 3*u(d). Let i be 0 - 2 - 28/14. Is m(i) a composite number?
True
Is 27/(-54) + (-154)/(-4) composite?
True
Suppose -4 + 1 = y. Suppose -14*t + 256 = -10*t. Is (3 - -3) + y + t composite?
False
Let b = 1060 - 513. Is b a prime number?
True
Let v(k) = 40*k**2 + 7*k - 23. Let d be (-12)/(-30) + (-52)/5. Is v(d) prime?
True
Is (-2028)/(-3) + 1 + -8 a prime number?
False
Let q = 122132 - 78039. Is q a composite number?
True
Let p be 7760/(-12)*(-9)/2. Suppose 4*v = 20, -z + 0*v = -5*v - p. Is z composite?
True
Let u(j) = -468*j - 5. Is u(-3) a prime number?
True
Suppose 11*o + 14895 = 20*o. Is