0. Let s(m) = -65*m + 3. Let f be s(-5). Suppose 3*n = y + f. Is n prime?
True
Is (30/(-45))/(-4 - 97878/(-24471)) a prime number?
True
Let t(f) = -2*f**3 - 4*f**2 - 27*f + 4. Is t(-15) a composite number?
True
Let h = -51 + 55. Suppose 5*v - 427 = -2*q, h*v - q - 274 = 78. Is v prime?
False
Is 3/(-6) + 151335/18 composite?
True
Let j(a) = -5*a**3 - 2*a**2 - 2*a - 1. Let c be j(-1). Is 1/(((-3)/111)/(c/(-2))) a prime number?
False
Suppose 5*o - 172 = 363. Suppose q - 680 = o. Is q composite?
False
Let m(t) = -57*t**2 - 6*t - 16. Let z(q) = -113*q**2 - 11*q - 32. Let y(x) = -7*m(x) + 3*z(x). Is y(-5) a composite number?
False
Let h(o) = -4*o - 10. Let v be h(-4). Suppose 14 = 2*k + 3*d, -3*d - v = -6*d. Suppose 0 = 3*c - k*c + 1009. Is c composite?
False
Is 90/30*((-87692)/(-6) - 1) a prime number?
False
Let s(h) = 314*h**2 + 2*h + 19. Is s(-6) a prime number?
True
Is 103/(-103)*-5953*3 prime?
False
Let d(s) = s + 4. Let j be d(6). Suppose 0 = 3*f - 4*i + 1, 3*f - j - 21 = -4*i. Suppose -5*b = -0*b - f*y - 1080, 2*b - 407 = -3*y. Is b a composite number?
False
Suppose z - 2428 = -3*p, -8*z + p + 7254 = -5*z. Is z composite?
True
Suppose -9*z = -4*z - 1850. Let o = -625 + z. Let b = o + 440. Is b prime?
False
Let b(t) = 13*t + 2. Let c be b(-4). Let n(v) = -v**3 - 28*v**2 - 22*v + 8. Let x be n(-27). Let u = c - x. Is u composite?
True
Let y(l) = -l**3 - 4*l**2 - 4*l. Let g be y(-3). Suppose 3*q + 41 = 4*q. Suppose g*c - 16 = q. Is c a composite number?
False
Let c = -1579 - -2786. Is c a composite number?
True
Let z(u) = -u**3 - 3*u**2 + 2*u - 3. Let y be z(-4). Suppose -y*b + 10 = 5*r, 2 = -b - b. Is 20 - (2 - r - 0) composite?
True
Is (-4)/(-10) - ((-27699)/(-5))/(-3) composite?
False
Let u(w) = -259*w + 331. Is u(-22) composite?
False
Suppose -4*k + 8*k + 60 = 0. Let t(c) = 3*c**2 + 16*c + 4. Is t(k) composite?
False
Let r(t) = 4*t + 6*t - 2*t**3 + 6*t - 6*t - 2*t**2 - 7. Is r(-10) a composite number?
False
Let j = -18 - -22. Is j/(-8)*-166*1 prime?
True
Let a(q) be the third derivative of 0 + 13/6*q**3 + 0*q + 5*q**2 - 5/24*q**4. Is a(-9) prime?
False
Let p(u) = 59*u + 382. Is p(45) prime?
True
Suppose 532708 = 27*s - 168725. Is s prime?
False
Suppose 9924 = 10*h - 35686. Is h a composite number?
False
Let g(q) = -4*q**3 + 2486*q**2 + 3*q**3 - 27*q + 16 - 2463*q**2. Is g(11) composite?
False
Is 1/(-1) + -9070*(-66)/55 a prime number?
True
Let w(i) = 7*i + 0*i + 17 - 4*i. Let f be w(-5). Suppose 0*v + f*v + 8 = 0, -5*l + 537 = 2*v. Is l a prime number?
True
Let d(h) = 2006*h + 7. Let a be d(3). Let g = a - 2160. Is g a prime number?
False
Let z(n) = -n - 15. Let i be z(-17). Suppose 0 = -3*h - t - 2*t - 15, 0 = -5*h - 4*t - 20. Suppose -i*o + h + 14 = 0. Is o prime?
True
Suppose 0 = -11*y + 369711 + 738880. Is y a composite number?
True
Let a(f) be the first derivative of 17*f + 14/3*f**3 + 1/2*f**2 + 1/4*f**4 - 1. Is a(-12) a prime number?
True
Let u(b) = -3*b - 7. Let w be u(-4). Let g = w + -3. Is 6/3 + 258/g prime?
True
Suppose 0 = 4*g - v - 855, 4*v = 15*g - 13*g - 410. Let k(c) = 174*c. Let j be k(2). Let s = j - g. Is s prime?
False
Let r = -12 - -9. Let z = r - -3. Suppose 6 + 10 = 4*b, 2*l - 3*b - 178 = z. Is l a prime number?
False
Let w = -9868 - -17195. Is w a composite number?
True
Suppose -y + 0 + 2 = 0. Suppose -1 = -d - y. Is ((-4)/8)/(d/42) composite?
True
Suppose -1006*r + 86540 = -1002*r. Is r composite?
True
Let j(n) be the first derivative of 5*n**3/3 + 4*n**2 - 6*n - 8. Is j(5) a prime number?
False
Suppose 0 = 3*z + 226 - 622. Suppose 0 = 5*i - 291 - 174. Let b = z - i. Is b a composite number?
True
Let t(j) = -2*j**3 - 42*j**2 - 65*j + 36. Let m be t(-27). Suppose 22*q = 13*q + m. Is q a composite number?
False
Suppose 105885 - 31908 = 3*b. Is b prime?
True
Suppose -w - 3*u = -0*u + 13, -5 = u. Suppose -5 = w*m - 11. Suppose 4*d = m*y + 305, -3*d + 180 = -5*y - 46. Is d a prime number?
False
Let s(m) = 89*m**2 - 74*m - 27. Is s(-10) composite?
False
Suppose 12*j + 3794 = 16982. Is j composite?
True
Suppose -4*g - 13 = -5*v, -g + 17 = 5*v - 11. Suppose -4*j + 3*c + 43478 = 0, -6*j + v*c - 10881 = -7*j. Is j a prime number?
False
Suppose 4*x = 3*a + 2, -5*x = 6*a - a - 20. Suppose -x*z = -6*z + 12. Suppose z*v = 1918 + 2711. Is v a prime number?
True
Suppose -m + 23 = 4*y, 8 - 4 = -4*m. Let j(d) be the third derivative of 19*d**5/60 + 7*d**4/12 - 5*d**3/6 - 3*d**2. Is j(y) prime?
False
Let r be (90/5)/6*(-5)/(-3). Suppose u - r*i - 553 = 0, 0 = 3*i - i + 8. Is u a composite number?
True
Let l = -1080 - -214. Let y = l + 1567. Is y prime?
True
Suppose 4*k + 2*t - 77148 = 0, 0 = -3*k - t + 2588 + 55275. Is k a composite number?
False
Suppose 4*l = 4*p - 8, 0*p + 2*p + 2*l + 4 = 0. Let g(n) = n + 242. Let i be g(p). Let t = -173 + i. Is t composite?
True
Let q(y) = 3*y**3 + 5*y**2 + 8*y + 17. Let w be q(-5). Let t = w - -2875. Is t prime?
False
Suppose -3*i = i - 8. Let b = i - -856. Suppose -5*w + b = w. Is w a composite number?
True
Suppose u + 5 = -2*f - 3*f, 5*u + 5*f = -5. Suppose 126 = 2*c - 0*k - 4*k, u = c + 2*k - 71. Is c prime?
True
Let p(c) = -476*c - 25. Let g be p(5). Let a = 4272 + g. Is a prime?
True
Let i = 173 - 459. Let d = -121 + -26. Let q = d - i. Is q a prime number?
True
Let k(v) be the first derivative of -v**4/4 + 25*v**3/3 - 8*v**2 + 17*v - 24. Is k(14) prime?
True
Let n(x) = -449*x + 26. Is n(-3) prime?
True
Let u(v) = v**3 - v**2 - 4*v - 13. Let t be u(6). Suppose 0 = -5*q + n + 124 + t, -2*n + 49 = q. Is q a composite number?
False
Let u be 2156/14 - (-6 - -2). Suppose -23*g + u = -22*g. Is (g/3)/(50/75) a prime number?
True
Let d = 37153 - 20706. Is d a prime number?
True
Suppose 0 = -27*j + 310270 - 30253. Is j composite?
True
Let l = 90 + -91. Is (l*382)/(2*(-4 + 3)) prime?
True
Suppose j - 186 = -k, 4*k + j + j - 744 = 0. Suppose -446 = -4*h + k. Is h a prime number?
False
Let q(i) = -i**3 + 13*i**2 - 3*i - 6. Let u be q(5). Let h = u - -1158. Is h a prime number?
False
Suppose 3*x = -4*h - 5 - 28, 0 = 3*h + 3*x + 27. Is ((-9)/h + 1)/((-2)/(-1052)) a composite number?
True
Suppose 0 = 5*y - 4*y + 5*n - 13, -n - 17 = 3*y. Let l(k) = -k**3 - 6*k**2 + 7*k + 3. Let j be l(y). Suppose -496 = j*w - 1615. Is w a prime number?
True
Suppose -15 = 5*y - 0*y. Let l be (-5 + -277)*(-2)/y. Let k = -95 - l. Is k composite?
True
Let k(c) = -57*c + 4. Let u(w) = w**3 + 4*w**2 + 2*w. Let b be u(-3). Suppose -9 = b*m - 3. Is k(m) prime?
False
Let w be (-1 + 458/6)*-9. Let o = 3 - 8. Is w/3*o/10 prime?
True
Suppose 0 = -20*a + 8*a + 132684. Is a a prime number?
True
Let n be 14/5 + 10/50. Suppose n*q = 6*q. Suppose q = -9*s + 6*s + 399. Is s prime?
False
Suppose -2*o = -0*r + 3*r + 164, 5*o + 4*r = -403. Let c = -11 + o. Is (-1 - c)*4/4 prime?
True
Let w = 1 - -5. Suppose w*z + 2791 = 8221. Suppose -2*s + 360 = 2*c, -z = -s - 4*s - 4*c. Is s composite?
True
Suppose 0 = 5*w + 2*c + 13, 6*w - w + 20 = 5*c. Is (438/3 - w)/((-5)/(-10)) composite?
True
Suppose 5*z = -0*z + 15. Is z/5 - 7/((-35)/6422) a composite number?
True
Let v(p) = -84*p - 1. Let s(a) = -83*a. Let t(y) = -6*s(y) + 5*v(y). Is t(4) a composite number?
False
Let j be 1*3*3629/57. Let k = 95 - j. Is (264/k)/(2/(-40)) prime?
False
Suppose 0 = v + 2 + 1. Let i be 228 - (v - -3 - -4). Let l = i - 111. Is l a composite number?
False
Suppose 2889*p + 95051 = 2900*p. Is p a prime number?
True
Let k(v) be the first derivative of -v**4/4 - 11*v**3/3 + 19*v**2/2 + 14*v - 6. Let x be k(-13). Suppose 4*m - m - x = 0. Is m prime?
False
Suppose 17*q + 82 = 2649. Suppose 62 = 3*r - 2*r. Let n = q - r. Is n a composite number?
False
Let k = -262 + 29. Let f = k + 126. Let o = 20 - f. Is o a prime number?
True
Let q be (7/(-2))/((-9)/(-18)). Let i(z) = 18*z**2 + 4*z - 15. Is i(q) prime?
True
Suppose 0 = -3*q + 6. Suppose -b + 2 = 0, q*g + 5*b = -3*g. Is (127/g)/(7/(-14)) prime?
True
Let c = 24907 + 7828. Is c prime?
False
Let t = -62467 - -96590. Is t composite?
False
Let f = -11 + 15. Suppose 4*b = 2*b - 4*r + 8, f*b + 6 = 3*r. Suppose -2439 = -5*p - w, -3*w - 1936 = -4*p - b*w. Is p a prime number?
True
Suppose -13*f + 2*u = -8*f - 17, 3*u + 6 = f. Let i = 181 + -88. Suppose -540 = -f*b - i. Is b a prime number?
True
Let y(m) = 153*m + 1. Suppose -7*w = -3