pose -f + 3 = -1, x = -5*l - 2*f + 593. Suppose 0 = g + 30 - l. Is g composite?
True
Is ((-307974)/(-4))/((-12)/(-8)) composite?
False
Suppose -1560758 = -49*k + 1648791. Is k a prime number?
False
Let y = -56 - -56. Is 60 - 8 - (-1 - y) composite?
False
Suppose -3*f + 2*i + 21 = 0, f - 4*i - 23 + 6 = 0. Let q(h) = 21*h + 8. Is q(f) prime?
True
Let l be 2709/28 + 3/(-4). Suppose 4*m = l - 20. Suppose u - m - 104 = 0. Is u a prime number?
False
Is (-60476)/(-12) + (-12)/18 prime?
True
Let i be ((-18)/(-27))/(2/165). Let h = i - 27. Suppose -h*y = -31*y + 777. Is y a prime number?
False
Suppose 141617 = 8*a - 451655. Is a a prime number?
True
Let q(o) = 5*o**3 - 2*o**2 + 5*o + 5. Let p be q(5). Suppose 1189*d - 1196*d = -2800. Let z = p - d. Is z a prime number?
False
Suppose 24 = 25*g - g. Suppose -5*h - 2*u - 89 = u, 0 = -u - 3. Is (-1128)/h*(3 - g) a prime number?
False
Suppose r = -0*r + 4*c + 22, -2*r = -2*c - 62. Suppose -2*s - r + 408 = 0. Is s a prime number?
False
Let j be 2 - (5 + 0 - 0). Suppose -5*s - 34 - 44 = -4*i, -i - s = -24. Let f = i + j. Is f a prime number?
True
Suppose r = 2*m - 0*m + 1, 3*m + 2*r + 19 = 0. Let o(z) = -23*z**3 + 2*z**2 + 3*z + 1. Is o(m) prime?
True
Suppose 4*x + 0*d = -2*d + 6882, -d - 5 = 0. Let w = x + -520. Is w composite?
True
Suppose -f - 11 + 14 = 0. Suppose 2*g = n - 305, -5*n - 4*g + 1492 = -f*g. Is n a prime number?
False
Let m = 12187 - -13552. Is m composite?
True
Let n(b) = 20*b**2 - b - 1. Let s be n(2). Let t = s + -165. Let f = t - -183. Is f prime?
False
Let c(m) be the third derivative of -2*m**2 - 7/24*m**4 + 0 + 0*m + 0*m**3. Is c(-11) a composite number?
True
Suppose -3*j + 59688 = 3*t + 1869, 2*t = -4*j + 77088. Is j composite?
True
Let c(i) = -i**3 + 7*i**2 - i + 4. Let p(n) be the second derivative of -n**4/12 + n**2/2 + 3*n. Let d(o) = -c(o) - 6*p(o). Is d(7) composite?
True
Let t be (5/(-3))/((-10)/12). Suppose -2*m + 722 = -t*v - v, -12 = 3*v. Is m a composite number?
True
Is (1*63214/2)/((-3)/(-3)) a composite number?
False
Let b(t) = -727*t - 359. Is b(-15) prime?
False
Let r(f) be the first derivative of f**5/20 + f**4/8 + f**3/2 + f**2/2 + 2. Let g(v) be the second derivative of r(v). Is g(3) a prime number?
False
Let l be (-627)/(-38)*2*1. Suppose -31*r - 1362 = -l*r. Is r composite?
True
Let f(v) = 3*v**2 + 4*v + 4. Let d(m) = m**2 + 6*m + 4. Let o be d(-6). Let g be f(o). Let b = 6 + g. Is b prime?
False
Suppose 0 = -2*c - 47 + 5. Let k = 24 + c. Is (k + -1)/(4/762) a composite number?
True
Let y = -19 - -21. Let z(c) = -13*c - c**y - 3 + 2*c - 2*c. Is z(-11) composite?
False
Let u(s) = 2*s - 16. Let w be u(11). Suppose 9*h - w*h + 5*c - 1 = 0, -4*c + 17 = -3*h. Is (0 - h)/((-3)/(-39)) prime?
False
Suppose m = 3*m - 10. Suppose -4*b + 0 + 4 = 0, -1597 = -m*r - 2*b. Is r prime?
False
Let z = -2 - -3. Let h = -319 - -532. Is h/z*1/3 a composite number?
False
Let a(m) be the first derivative of m**4/4 + 4*m**3/3 + 3*m**2/2 + 3*m + 1. Suppose 5*x = 3*x + 8. Is a(x) prime?
False
Let x(c) = 6*c**2 + 7*c - 16. Let g be x(-11). Suppose -4*i = -5*i + g. Is i composite?
True
Let u(s) = s**3 - 6*s**2 - s + 6. Let f be u(6). Let h = 879 + -494. Suppose f*q + h = 5*q. Is q a prime number?
False
Suppose -20*f + 24*f = 32. Suppose 9*o - 163 = f*o. Is o composite?
False
Let p = 2685 + -212. Is p a prime number?
True
Let k be -24*((-32)/6 + 0). Let z = k - 31. Let q = 26 + z. Is q a prime number?
False
Let j = 858 + 2505. Suppose -6*y + y - i = -16791, y - i = j. Is y prime?
True
Let j(z) = 12*z**3 + 6 - 20*z**2 + 8*z - 4*z**3 - 7*z**3. Is j(20) prime?
False
Let p = 10 - 8. Suppose 0*k + 4 = p*k. Suppose k*l + 2*r = 5*l - 559, 4*l = -2*r + 736. Is l a composite number?
True
Let u = 208 + 55. Let v be 3*(-1 + 2)*1. Suppose v*k - 1142 = -u. Is k prime?
True
Is 2719/2 + (-19)/(152/(-12)) prime?
True
Suppose 0 = 3*r + 3 - 6. Is ((-254)/(-2) + (-4 - -4))/r a prime number?
True
Let n(q) be the second derivative of -q**5/20 + 5*q**4/12 + 6*q. Let y be n(5). Let i(c) = c**3 - c + 85. Is i(y) prime?
False
Is 2 + (-16)/(-88) + 837316/22 a prime number?
False
Let u be 1/(-5)*(5 + -15). Suppose 5*o - 13530 = -5*b, 13480 = -u*o + 7*o - 5*b. Is o composite?
True
Let r = -35 + 37. Suppose -r*q + 4*q - n = 376, 380 = 2*q - 3*n. Is q a prime number?
False
Let t be (-9 - -3)/((-6)/4). Let f(z) = 18*z**2 - z + 8. Let n be f(t). Let j = 561 - n. Is j a composite number?
False
Let y(k) = -103*k**3 - 3*k**2 - 12*k - 11. Is y(-3) composite?
True
Let y(o) = 9*o + 23. Let h be y(-19). Let k = h + 275. Is k a prime number?
True
Let s = 13515 - 5582. Is s a composite number?
False
Let r(i) be the second derivative of -i**4/12 + i**3/6 - 4*i. Let z be r(-1). Is (-20 + -1 - z)/(-1) composite?
False
Let s = -20 - -12. Let w(g) = -g**3 + 7*g**2 - 3*g - 17. Is w(s) composite?
False
Suppose -4*b - 259*n + 260*n + 163463 = 0, -3*n = -5*b + 204320. Is b composite?
False
Suppose 7*n - 2*n - 17 = -4*j, 3*n = -2*j + 9. Suppose 4*c - 16 = -f, 3*c = -7*f + j*f - 1. Let k(p) = 6*p + 1. Is k(c) a composite number?
False
Let n = -12 + 30. Is (-1572)/n*6/(-4) a composite number?
False
Let y(i) = -28*i**3 + 4*i**2 + 7*i + 34. Is y(-9) composite?
False
Suppose 3*j = 4*j + 251. Is (j/(-3))/((-16)/(-48)) prime?
True
Suppose 4*h - 37651 = -5*c + 6*h, -4*h = 3*c - 22575. Is c a composite number?
False
Suppose 0 = 2*k + k - 474. Suppose -3*u + 5*z - 8*z = -1509, 4*z + 994 = 2*u. Let g = k + u. Is g a composite number?
False
Let v(h) = 252*h**2 + h + 1. Let r be v(3). Suppose -10*q + 6*q = -4*c + r, 4*c - 2242 = -2*q. Is c a prime number?
True
Let w be (-696)/(-60) - (-2)/5. Suppose -b + w = -3*b. Is (-4890)/b*(-2)/(-10) composite?
False
Let s(r) be the first derivative of r**4/4 + r**3/3 + 145*r + 2. Let h(x) = x**3 + 3*x**2 - 4. Let u be h(-2). Is s(u) composite?
True
Let j = -796 + 1581. Let a = -532 + j. Is a composite?
True
Let u(k) be the third derivative of 0 + 7*k**2 + 1/8*k**4 + 0*k + 1/40*k**6 + 0*k**5 - 1/6*k**3. Is u(3) a composite number?
False
Let t be 2/6*-3*-5. Suppose -t*u = -364 - 271. Is u a composite number?
False
Suppose 0*a - 595 = -a. Let h = -158 + a. Let g = -168 + h. Is g a prime number?
True
Suppose 1312 = 41*i - 564939. Is i a composite number?
True
Suppose -3*n = x - 1351, 10*x - 4063 = 7*x - 4*n. Let g = -5 + 8. Suppose -3*s = 3*w - 2*s - x, g*w - 1337 = -5*s. Is w a composite number?
True
Suppose -5*y + 2*l = -49919, -2*y = 37*l - 32*l - 19956. Is y composite?
True
Suppose q - 123 = -2*b, -2*b - 41 = -q + 74. Suppose -2*a + 963 = q. Is a a prime number?
False
Let j be 0*((-3)/(-6) + 0). Suppose 5*v - 3*v - 734 = j. Is v prime?
True
Let r be 1 + (-2)/(-4)*-14. Is ((-172)/r)/(6/261) prime?
False
Let g be (-9 - -9)*1/(-2). Suppose 4 = -p + 1, -5*f + 2*p + 2071 = g. Is f composite?
True
Let t = -22 - -24. Is 1/(t*2/1228) a prime number?
True
Suppose -5*a = -24*a + 76. Suppose a*j = -3078 + 14666. Is j a composite number?
False
Let h = 3714 + 15467. Is h a prime number?
True
Suppose 4*l = 11*l - 14. Suppose t - w = -l*w + 1113, -4*w = 5*t - 5563. Is t a prime number?
False
Let c be ((-1)/(-3))/((-1)/(-54)). Suppose 5*m - c = 3*m. Is 2445/6 - m/(-6) composite?
False
Is (4 - 939896/32)*-4 prime?
False
Is 3 + 1926 - (9 - 9) prime?
False
Let k = -63 - -123. Suppose 5*r = 2*q + 303, 5*q + 21 - k = -r. Is r a prime number?
True
Is ((-5 - 537) + 1)/((-3)/21) a composite number?
True
Let c = -7 - -11. Suppose -c*a + 1413 = -a. Is a composite?
True
Let s(d) = -6 + 1 + 2 - d. Let y be s(-5). Is 7/(4/136*y) composite?
True
Is (-88031)/(-2) - (-18)/12 prime?
True
Let v(f) = f**2 + 5*f - 1. Let d be v(-5). Let h be d/(-2) - (-9)/(-18). Suppose n + j = 520, 0 = -h*n + 4*n - 3*j - 2087. Is n prime?
True
Suppose 2*y - 9366 = -4*r, -2*y + 0*r + 2*r = -9354. Is y a composite number?
False
Suppose 4 = 2*o - 6. Let j = 0 + o. Suppose -3*q = -j*x - 82, -4*q - x + 52 = -q. Is q composite?
False
Let i(m) = -m**3 - 3*m**2 + m - 4. Let l be i(-4). Suppose -3*c + 125 - l = 0. Is c a composite number?
True
Let z = 1999 - 1182. Suppose -2*m + z = -1081. Is m prime?
False
Suppose 8*b - 104813 = 54539. Is b composite?
False
Is 2/(2*-1) + -17 + 3581 prime?
False
Suppose -14 = 5*r - 3*l + l, -5*r + 4*l - 18 = 0. Let n be (10 + r + -1)*12. Let