(l) = -11*l. Let g(i) = -d(i) - 2*y(i). Is g(4) prime?
False
Suppose -5*g + 4851 = 346. Let k = -482 + g. Is k a prime number?
True
Suppose -17*w + 21*w + 2*r - 72044 = 0, 4*w - 72072 = 5*r. Is w a composite number?
False
Suppose -25 = -5*a, 28 + 26 = 3*x + 3*a. Suppose -x*r + 1495 = -8*r. Is r prime?
False
Let x(j) = 409*j - 14. Let c be 1/6 + 17/6. Is x(c) composite?
False
Let t(k) = 2*k - 2. Let b be t(6). Suppose -b - 256 = -7*h. Is h composite?
True
Let g = 23 + 1746. Is g prime?
False
Suppose 23*j - 84779 = 6*j. Is j prime?
True
Let b = 40 - 30. Is 3 - (-568 + -2)*24/b prime?
False
Suppose 2 + 1 = x, 3*k - 5*x - 2598 = 0. Suppose 8 + 5 = 3*n + 4*w, 3*n - w = 8. Suppose 273 = 2*l - l - 5*q, 2*q = n*l - k. Is l a composite number?
False
Let u(t) = 854*t + 151. Is u(24) a prime number?
False
Suppose 2*f - u = 2899, -3*u - 7 = 2. Let b = f + -777. Is b composite?
True
Suppose -3*q = -4*s - 49221, -61*q + 63*q - 4*s - 32810 = 0. Is q a composite number?
False
Let z(j) = 621*j - 22. Let g(n) = n + 2. Let r(w) = -6*g(w) + z(w). Is r(7) prime?
True
Let i = 66288 + -46555. Is i prime?
False
Let n = -2289 - -4622. Is n composite?
False
Let q(x) = -x**3 + 7*x**2 + 9*x - 11. Suppose -30 = -9*m + 4*m. Is q(m) a prime number?
True
Let n = 58 - 26. Let h = 347 + n. Let s = -224 + h. Is s prime?
False
Let k be (-5 - 135/(-25)) + (-17)/5. Is (9024 - k) + -1 - 15/(-5) a composite number?
False
Let v(u) = -u + 2. Let i be v(-3). Suppose 0 = -2*b + 1 + i. Suppose -3*m - 5*k - 4 + 66 = 0, -b*m = -k - 56. Is m a prime number?
True
Let n be 1 + 0 + (-6)/3. Is n/((-4)/1484)*1 composite?
True
Suppose -u + 12596 + 987 = 3*a, -40725 = -3*u + 3*a. Is u a composite number?
False
Let j(q) = 3413*q - 229. Is j(6) prime?
True
Let k = 7 + -5. Suppose k*j - j - d - 997 = 0, -j - 3*d + 1009 = 0. Suppose 5*w - 1215 = j. Is w composite?
False
Suppose -13543 = -0*s - 2*s + z, 27081 = 4*s - 3*z. Suppose 3*t + 1737 = s. Is t a prime number?
False
Let i = -1468 + 2831. Is i prime?
False
Let b(m) = -13*m + 14. Suppose 9*l - 7*l + 2 = 0. Let t be (-3)/(l/(-3) - 0). Is b(t) prime?
True
Let o = -58 - -59. Is o - (0 - -3) - -259 a prime number?
True
Let d = 882591 - 578611. Is 2/(-13) + d/260 prime?
False
Is ((-675294)/1044)/((-1)/66) composite?
True
Let q(s) = 9*s + 64*s**2 - 32*s**2 - 24*s**2. Let v(l) = -l**2 + 6*l. Let x be v(7). Is q(x) composite?
True
Let j(d) = -3*d**2 + 38*d**2 + 11*d + 4 - 11 + 4. Is j(-8) a composite number?
True
Let v = -13 - -18. Suppose -a - v*r = -102, -5*a + a - 5*r = -393. Is a prime?
True
Let h(j) = -18 + 31 - 15 + 15*j. Let b be h(-1). Let d = b + 50. Is d prime?
False
Let u = -37 - -168. Is u a prime number?
True
Let o be ((-516)/18)/((-3)/18). Suppose 3*q - o = 110. Is q prime?
False
Let q(r) = r**3 - 5*r**2 + 7*r - 2. Let j be q(4). Suppose 0 = -j*h - h + 36245. Is h a composite number?
True
Suppose 4*n + 0*n = 8. Suppose -239 = -n*a + 183. Is a a prime number?
True
Suppose -4*d - 21335 + 55475 = -2*u, 4*u = 5*d - 42672. Let p = d - 3395. Is p composite?
True
Let d = 12 - 8. Suppose 0 = -d*y + 891 + 1313. Suppose 2*a + 133 = y. Is a a composite number?
True
Let b(a) = 3*a**2 - a + 5. Suppose 0 = -20*n + 25*n - 35. Is b(n) composite?
True
Suppose 12*v + 183747 - 460935 = 0. Is v composite?
False
Is (((-208)/(-40))/1)/((-4)/(-10)) composite?
False
Let m = -11 - -13. Suppose 2*q + 5*f = m, -q - 4*f - 12 = 4*q. Is (-2 - (-495)/q)*-4 prime?
True
Let u(b) = 1. Let r(w) = -49*w + 15. Let a(x) = -r(x) + 6*u(x). Is a(14) a prime number?
True
Let o = 1262 - 889. Let g = -76 - -78. Suppose g*s - 362 = -4*c, o = 5*c + 5*s - 87. Is c prime?
True
Suppose 4*a + 5486 = -3*r + 36446, 2*r - 8 = 0. Is a a prime number?
False
Let f(u) = 3*u - 36. Let k be f(13). Suppose a = c - 199, k*a - 16 = -a. Is c prime?
False
Suppose 0 = 25*q - 28*q + 12. Is (-2)/q*2222/(-1) a prime number?
False
Let i = -1806 - -1254. Let c = 775 + i. Is c composite?
False
Let d(m) = -m**3 - 26*m**2 - 12*m + 16. Let w be d(-25). Let i = 2700 + w. Is i a prime number?
False
Suppose 17*v - 15 = 20*v. Let o = 18 + v. Is o a prime number?
True
Let c = -15 - -22. Suppose 2*g - 9 = c. Let k(d) = -d**2 + 19*d - 11. Is k(g) prime?
False
Suppose -244 = -4*p - 4*q + 116, -165 = -2*p - 5*q. Is p composite?
True
Suppose 12 = 2*f - 12. Let u be 3/f*0 - -8. Suppose -3*v - 2*j = -1451, 3*j + j + u = 0. Is v prime?
False
Suppose -4 - 11 = -5*y. Suppose -12 = y*u - 18. Suppose -g + 44 = 2*i - 2*g, u*g + 110 = 5*i. Is i a composite number?
True
Let a(f) = -358*f - 79. Is a(-17) prime?
True
Let h = -163199 + 252096. Is h a prime number?
True
Suppose -4*w + t = -1 - 3, 4*w = 4*t + 4. Let b = w + 2. Is (118/(-6))/((-1)/b) composite?
False
Let i(a) = 3*a**2 + 5*a + 249. Suppose 4*x = 3*x + 8. Let h(q) = 5*q**2 + 8*q + 373. Let n(w) = x*i(w) - 5*h(w). Is n(0) composite?
False
Suppose -2*u = -4*m + 25230, -43528 = -5*m - 5*u - 11983. Is (-18)/(-42) - m/(-14) a composite number?
True
Let a(n) = -136*n - 3. Suppose -m = -3*j - 5, 3*m + 5*j + 29 = 2. Let z = m + 2. Is a(z) composite?
False
Let p(k) = -34*k - 22. Let v be p(-7). Suppose -9*h = -v - 477. Is h composite?
True
Suppose -27 = -4*k + 5*t, -4*k - 4*t + 6*t = -18. Is 13/39*1717*k composite?
True
Suppose 5*c = 5*l - 55, 1 = -3*c - 2*l - 7. Let s be c/(-16) + (-13627)/8. Let b = 2590 + s. Is b prime?
True
Is 1/(3/19146) - (-3 - -8) a composite number?
True
Suppose 3*p + 6851 = 5*s - 20193, -5*p = 5*s - 27060. Suppose -16*d = -6*d - s. Is d composite?
False
Let c(y) = y + 2. Let g be c(0). Suppose -2972 = -5*z - a, -8 = g*a - 2. Suppose -4*x = x - z. Is x a composite number?
True
Let u be ((-4)/(-6))/(4/(-5112)). Suppose 0 = -5*m + 8*m - 24. Is (2/(-3))/(m/u) prime?
True
Suppose -20 = -5*j, -m + 3*j = j - 21857. Is m prime?
False
Suppose 2*v = -3*h - h + 27618, -5*v - 34560 = -5*h. Is h a composite number?
False
Let x(b) = -b**2 - b - 1. Suppose 5*u = -3 - 2. Let w be x(u). Is w/2*(-153 + -1) composite?
True
Let y(j) be the first derivative of j**6/15 + j**5/60 + j**4/24 + 10*j**3/3 - 7. Let t(d) be the third derivative of y(d). Is t(-3) a composite number?
False
Suppose -o = 2, 4*f + o - 14 = -0*o. Is (-222)/(-4) + (-2)/f prime?
False
Let q(l) = -l**3 + 2*l**2 + 3*l - 9. Let h be q(-4). Suppose 4*a + h = 3535. Is a a prime number?
False
Let l be (80/(-14))/((-30)/105). Let w = l - 20. Suppose -121 = -5*x + 4*k - 47, 2*x + k - 27 = w. Is x prime?
False
Let p = 445 + -298. Let b be 10/(-4)*1*-8. Let q = p - b. Is q prime?
True
Suppose 3*m + 5*f - 6*f = 31308, 0 = -3*f - 9. Is m composite?
True
Let z(w) be the second derivative of w**5/60 + 1211*w**3/6 - 5*w**2/2 - 13*w. Let n(c) be the first derivative of z(c). Is n(0) a composite number?
True
Suppose j + 2*j - 9612 = 0. Suppose -3*v = -2*t + 2612, 3*v + 1267 = 5*t - 5272. Suppose -5*h + j = t. Is h composite?
False
Suppose -5*q + 6*q = 0, -q = -5*i + 29990. Is i a prime number?
False
Suppose 4*t = 2 + 14. Let x(m) = 180*m + 33. Is x(t) a prime number?
False
Suppose -t + 9282 = -p, 34*t - 36*t + 3*p = -18569. Is t prime?
True
Let p = 29 + -22. Suppose -4*o + 26807 = p*o. Is o prime?
True
Suppose -4*q + 10 = 2*o, o - 7 = -o - q. Suppose 0 = 2*b + o*v - 1, -2*b - 6 = -7*b - 4*v. Suppose 0*i - b*f + 215 = i, -3*f - 1049 = -5*i. Is i composite?
False
Suppose 2*o + 6 = -o + 3*j, -37 = -4*o - 5*j. Let a(g) = -25*g**3 + 0*g - 2*g - 6*g**2 + 42*g**o - 20*g**3. Is a(-5) composite?
True
Suppose 0 = 5*x - 192 - 373. Is x a composite number?
False
Suppose -14 = -4*z + 10. Let a be (-12)/(-10)*(-20)/z. Is 2*(-2 + (-522)/a) composite?
False
Let d(s) be the third derivative of -s**4/12 - 5*s**2. Let p be d(1). Is (-4)/p - (-33)/3 a prime number?
True
Suppose d + 19 + 4 = -5*p, 5*p + 3*d + 29 = 0. Let y(h) be the second derivative of -13*h**5/20 - h**4/6 + 2*h**3/3 - 5*h**2/2 + 10*h. Is y(p) prime?
False
Let g = 10170 - 5721. Suppose 0 = 5*z + j - g, 5*z - 3*j + 0*j - 4433 = 0. Is z a prime number?
False
Let c be (1 - 5)*-1 + -1. Suppose o - 3*y - 8 = 0, -3*o - 2*y = -10 - c. Suppose -j = -o*j + 796. Is j composite?
False
Suppose 4964564 = 17*m + 27*m. Is m a prime number?
True
Suppose 3*i = 5*z - 0*z + 86, 5*z - 170 = -5*i. Suppose -o = 11 + i. Let m = 68 + o. Is m a prime number?
False
Is 2735490/165 - (0 + (-3)/11) compos