s l(i) a prime number?
True
Let p(j) = 837*j**2 + 8*j. Is p(-5) a composite number?
True
Is 66/99 - (270364/3)/(-4) a prime number?
True
Let i be ((2 + -5)*-13)/1. Let k be (-34)/(-6) - 26/i. Suppose -5*v = -2*f - f + 5934, k*f + 2*v = 9859. Is f a prime number?
True
Let l = -145464 + 246055. Is l a prime number?
True
Suppose 3*f - 3*h = -0*h + 45, 5*f - 78 = 4*h. Suppose 25*n = f*n + 679. Is n a prime number?
True
Let x(a) = a**3 - 18*a**2 - 4*a - 15. Let j be x(19). Let d = j - -23. Is d composite?
False
Let z = 7611 - -40766. Is z a prime number?
False
Let k = -947 + -333. Let p = -481 - k. Is p composite?
True
Suppose f + 3*j + 14 = 0, 5*f - 4*j + 3*j = 10. Is 209 - (-3 - (0 - f)) prime?
True
Let n be 8/2 + -4 + 0. Suppose n = c + 9 - 302. Is c a prime number?
True
Suppose u + 0*u + 6 = 0. Let m(v) = -41*v - 6. Let r(h) = 20*h + 3. Let x(w) = u*m(w) - 13*r(w). Is x(-5) a prime number?
True
Suppose 2*m = -14*m + 14768. Is m a composite number?
True
Let n = 6932 + -4779. Is n a prime number?
True
Let s = 29 - 26. Suppose 0*z + 2*z - 6102 = -s*l, -3037 = -z - 5*l. Is z composite?
True
Let k(o) = 972*o**2 + 8*o + 9. Let b be (-4*9/(-36))/((-2)/2). Is k(b) a composite number?
True
Is (34/102)/((-2)/(-110046)) a prime number?
True
Let q(p) = p**3 - 9*p**2 - 9*p - 6. Let t be q(10). Suppose -21 = -2*y + 3*s, 32 = 4*y - t*s - 0. Is y prime?
True
Let f = -257 + 608. Suppose 5*u - 5*y + 10 = 0, 0 = -5*u + 3*u - y + 8. Suppose 2*i - f = -u*i - 5*p, 0 = 5*i + p - 444. Is i prime?
True
Let i(p) = p**2 - 5*p - 4. Let y be i(6). Let g(u) = u + 2. Let b be g(3). Suppose y*m = b*m - 555. Is m a composite number?
True
Suppose -2*a + a = -2. Suppose 0 = -3*h + 2*k - 1136, -a*k - 407 = h + 3*k. Is (-4)/8*6 - h composite?
False
Let n(z) = 4*z - 2*z**2 - 16 + 6 + 19*z**2. Is n(-5) prime?
False
Suppose -3*s + 372 = 7*b - 4*b, 0 = -2*s + 3*b + 233. Is s a composite number?
True
Suppose -f - 5463 = -4*g, 6*g - 4096 = 3*g + f. Is g a prime number?
True
Let k(q) = -q**2 - 5*q + 2. Let o be k(-5). Let r(v) = v**3 - 7*v**2 + 5*v + 6. Let u be r(6). Suppose u = -o*g + 7*g - 1065. Is g prime?
False
Suppose -5*s + 21 + 26 = -2*q, 2*q = -2. Suppose -l + s = n, 5*n + 2 = 3*n + 2*l. Suppose -486 = -n*h + 2*c, 4*h - 3*c - c = 488. Is h a prime number?
False
Let m(b) = b**3 + b + 321. Let o be m(0). Suppose -l + o = -187. Let u = l + -359. Is u a prime number?
True
Let s = -47793 - -74102. Is s a prime number?
True
Suppose -26 = -4*w - 2*a, -5*w = 5*a - 26 - 14. Suppose l + 4*o - 16 = -3*l, -2*o = -w*l - 8. Suppose -c - 5*u + 165 = l, 4*c - 3*u - 612 = u. Is c composite?
True
Let n(v) be the third derivative of v**6/120 + v**5/60 + 278*v**3/3 + 3*v**2. Let o be n(0). Is (-1 + 2)/(4/o) prime?
True
Let c(p) = -p**3 + 7*p**2 - 7*p + 2. Let n be c(6). Let y be -148 - (n + 2) - 3. Is (y/2)/(1/(-2)) composite?
False
Let s be (-3)/(-2)*102/(-17). Let k(u) = -9*u + 6. Is k(s) a composite number?
True
Let w(b) = 376*b**2 - 6*b - 17. Is w(-5) a composite number?
False
Let a = 30307 + -542. Is a composite?
True
Let u(r) = -8*r**2 - 37*r + 4. Let l be u(-6). Suppose 3*x - 3*b = -0*b + 1095, 2*x - 750 = -3*b. Let i = l + x. Is i a composite number?
False
Let q(r) = r - 6. Let k(d) = 1. Let a(s) = 6*k(s) + q(s). Let n be a(-1). Let x(l) = -381*l. Is x(n) a prime number?
False
Let o(y) = -40*y - 129. Is o(-8) a composite number?
False
Let m = 27 + -16. Let r = m + -2. Is (-170)/15*r/(-2) a prime number?
False
Let l = -3 + 8. Let p(m) = 67*m**2 + 2*m - 12. Is p(l) composite?
True
Let z(q) = -178*q - 87. Is z(-11) a prime number?
True
Let f(c) = -19*c**3 - 4*c**2 + c + 1. Suppose -5*o = -5 + 20. Let h be f(o). Let u = h - 68. Is u composite?
True
Let i = -978 - -2065. Is i a composite number?
False
Let s(w) = -w**3 - 42*w**2 - 50*w + 179. Is s(-42) a prime number?
False
Is ((-3)/(-4))/((-11)/((-75757220)/21)) a composite number?
True
Suppose -76 - 2 = -3*o - 3*v, 5*o - 2*v - 116 = 0. Suppose -u = -27 - o. Is u prime?
False
Let k(x) = x**3 + 20*x**2 + x + 24. Let w be k(-20). Suppose w*j + 4*a = 609 + 3427, -2*a + 1009 = j. Is j prime?
True
Suppose 0 = -4*t + 6 + 14. Suppose t*y = 10*y - 15415. Is y a composite number?
False
Let p(c) = c**3 + 24*c**2 - 14*c + 6. Is p(-11) a prime number?
True
Suppose -y + 3 = 1. Suppose -y*o = 5*p - 4*o - 314, -4 = 2*o. Suppose 3*a + 248 = 4*w, w - a = -2*a + p. Is w a composite number?
True
Let i be ((-3980)/(-25))/(1/5). Let v = i - 493. Suppose -2*u + 1009 = v. Is u a composite number?
False
Let g(z) = -z**3 + 20*z**2 + 7*z + 3. Is g(20) a composite number?
True
Let n be 4/(-7) - (-6055)/49. Suppose 0 = -4*z + 145 + n. Is z composite?
False
Let j = 3089 + 30369. Is j a prime number?
False
Let p be (0/(-2) + -1)*-3. Suppose 3*f = 9, -3*g + p*f - 7*f + 42 = 0. Is g composite?
True
Let l(z) = 1276*z + 89. Is l(6) a prime number?
False
Let j(v) = 6*v**2 + 26*v + 6. Let l be j(-4). Let c(m) = -m**3 + m + 1. Let n be c(-3). Let p = l + n. Is p prime?
True
Let g(m) = -50*m + 17. Suppose -6 = 2*i + 3*p, -2*i + 2*p - 20 = -2*p. Is g(i) a composite number?
False
Suppose -v + 16 = -5*v, 5*v + 67094 = 3*o. Suppose 0 = -21*n + 7*n + o. Is n prime?
True
Let u(o) = -o**2 + 20*o + 15. Let x be u(21). Let d(y) = -31*y - 25. Is d(x) prime?
False
Let h(w) = 28*w + 317. Is h(27) a composite number?
True
Let h(y) = -7*y**3 - 12*y**2 + 9*y - 9. Is h(-10) a prime number?
True
Let u(v) = 4*v**2 - 148*v - 9. Is u(39) a composite number?
True
Let i be (0 - 1)*(-72)/(-12). Let g be ((-9)/i)/((-3)/(-32)). Suppose 3*l - g = -2*a + 183, -4*l = -a - 280. Is l composite?
True
Suppose -b - 296 + 300 = 0. Suppose 0 = 2*k - 6*k + 252. Suppose b*o = o + k. Is o composite?
True
Suppose 14*k = 8*k + 3810. Is (k - 2)*6/18 prime?
True
Suppose -14*m + 40780 = 3414. Is m prime?
False
Let b be (-1 - 21)*(-6)/12. Suppose -1118 = -b*m + 2369. Is m a prime number?
True
Suppose -p = 5*z - 1292, -5*p = -5*z - 8870 + 2500. Is p composite?
False
Let d = -52 + 77. Let b(x) = -4*x - d*x + 3 - 3*x. Is b(-2) a composite number?
False
Let u be (-2882)/110*(1 + -21). Let w(z) = 4*z**2 - z. Let d be w(1). Suppose 7*n = d*n + u. Is n prime?
True
Let n be (-10)/(-6) + ((-1)/(-3))/1. Suppose 0 = w + n*w + c - 7188, -15 = -5*c. Is w prime?
False
Suppose u + 80*u = 54513. Is u prime?
True
Let i be 214/3*1*-3. Let b = 9 - i. Is b a composite number?
False
Let s(b) = b**2 - 13*b + 19. Let c be s(11). Is (-51 + -2)*(2 + c) composite?
False
Let f = 15102 - 731. Is f a prime number?
False
Let c(w) = 67*w - 15. Let m be c(5). Let o(r) = 26*r**2 - 14*r + 10. Let d be o(9). Suppose -d = -5*k - m. Is k a composite number?
True
Is ((-2)/(-3))/(13133/4377 + -3) composite?
False
Suppose 47*x + 30 = 50*x. Suppose 10500 = x*m + 470. Is m a composite number?
True
Suppose 6*j + 6 = 18. Suppose -o = -3*i + 1399, -5*i + 2345 = 3*o + j*o. Is i a prime number?
True
Suppose b + 1412 - 295 = 0. Let k = 1704 + b. Is k a composite number?
False
Suppose -k - 4*i = -1653 - 1826, 13928 = 4*k + 4*i. Suppose -13*q + k = -6644. Is q composite?
True
Suppose 2*l - 4*s - s - 16942 = 0, 5*l + 2*s - 42384 = 0. Suppose -5*i + l + 3669 = 0. Is i prime?
False
Suppose 3*q + 7 = 16, 4*x = -4*q + 32. Suppose x*p + 0*p - 2055 = 0. Is p a composite number?
True
Suppose i = 0, -5*l + 4*i + 15775 = 3*i. Is l composite?
True
Let x(j) = -11*j + 6. Let q be ((-5)/2)/(2/4). Let l be x(q). Is l/(-2)*(-27 - -1) composite?
True
Let c be (4 + -1)*33/11. Suppose -c*q + 26 + 271 = 0. Is q prime?
False
Let c(s) = 255*s + 94. Is c(25) a composite number?
False
Let o(z) = 4368*z - 95. Is o(2) a prime number?
True
Suppose x = -6 - 14. Let u = x - -23. Suppose -194 + 1511 = u*n. Is n a prime number?
True
Let n be (2 - -1) + 0/(-2). Suppose 0*j + 4*h + 26 = -5*j, n*h = 5*j + 33. Is 2*3/j*-499 composite?
False
Let c be (-14)/(-3) - 6/9. Suppose c*a - 5*a + 587 = 0. Is a a composite number?
False
Let p = 18 + -17. Is 0 + 0 + p - -253 prime?
False
Let p = 25918 - 16385. Is p a composite number?
False
Let q = 29197 - 15680. Suppose 8*g - q = g. Is g composite?
False
Let w = -155 - -228. Let j = 118 - w. Let y = j - -24. Is y a composite number?
True
Let r = 14044 + -5303. Let j = r - 6000. Is j composite?
False
Let d(k) = 667*k + 1. Let h be d(2). Suppose -j = -4*a + a - 267, 