-124)/g + (-4)/(-6) prime?
True
Let b(k) = -k - 8. Let r be b(-9). Let t be -1*1/r + 3. Suppose 0 = 2*u + 4*w - 782, 2*u + 3*w = t*w + 779. Is u a prime number?
True
Suppose g = -2*z + 271, 0*z + 574 = 2*g - 4*z. Suppose -3*i + 2*k = -0*k - g, 3*i = k + 276. Is i prime?
False
Let m(r) = 32*r**2 + 5*r - 7. Let g be m(5). Let j be -2*g/16*-20. Suppose 0 = -0*y - 5*y + j. Is y prime?
True
Suppose -3*j = -21*j + 830394. Is j prime?
True
Let x(j) = -102*j - 9. Let z be x(-3). Let r = -162 + z. Suppose -5*t = f - 102, -4*f - t = -368 - r. Is f composite?
False
Let r be 2 - (-1)/((-1)/(-1364)). Let h = r + 1215. Is h a prime number?
False
Let x(b) = -b**3 - 3*b**2 - b + 677. Is x(0) a prime number?
True
Let y(a) = -2*a + 6. Let g(k) = -4*k. Suppose -h - 4*i + 10 = 0, 3*i - 6 = h - i. Let r be g(h). Is y(r) prime?
False
Let n(o) = o**2 + 9*o + 5. Let z be n(-9). Suppose -z*f = 2*c - 6285, -2*c + 2533 = 2*f - 5*c. Is f a composite number?
False
Suppose -3*m - 10 = -5*b, -3*m + 2*b = -m. Suppose 3*r = 4*y - 369, y + 4*r + 372 = m*y. Let n = y + -35. Is n prime?
False
Let a be 0 - 1 - -5 - 12. Let d = -8 - a. Suppose d*l = -5*l + 1185. Is l composite?
True
Let n = -54 - -50. Let v(i) = -3*i**3 - 2*i**2 - 6*i + 1. Is v(n) prime?
False
Let t be (-15)/(-35) - (-117)/21. Let u be 10/t - (-4)/(-6). Is (-689)/(-52)*4*u composite?
False
Let i = 77 + -73. Let w(y) = 84*y**2 + 7*y - 15. Is w(i) prime?
False
Suppose -50 + 6 = -4*f. Suppose -13*r + 290 = -f*r. Is r prime?
False
Suppose 0 = q - 3*r - 2, -6*q - 4*r + 44 = -4*q. Let v be -7*(2 + 3)*2. Is 2/q - 79720/v a prime number?
False
Let s(u) = -3*u - 9. Let q be s(-3). Suppose q = -x - 138 + 637. Is x a prime number?
True
Let g = -27970 + 67761. Is g composite?
False
Let l = 114 + -80. Is l a prime number?
False
Suppose -42*v - 27319 + 69445 = 0. Is v a prime number?
False
Is 13/((-117)/(-27)) - (-37040)/5 prime?
True
Let u be (4 - 1)*(-6080)/(-24). Suppose -5*g + u = 3*g. Is g a composite number?
True
Suppose 2 - 5 = -3*m. Let w be (m - -5)*(-2)/(-3). Suppose a = -w*a + 125. Is a a prime number?
False
Let p be 30/34 + (-24)/(-204). Suppose 0 = -5*h - 24 - p, -2*h - 28 = 3*q. Is 5728/20 + q/(-10) composite?
True
Let n(f) = -7507*f + 788. Is n(-9) prime?
True
Suppose 3*m + 3*g = 0, 3*m - g = 8*m. Let i = m + 5. Suppose 9*u - 4*u - 429 = j, -u + 65 = i*j. Is u prime?
False
Suppose -2*p + 7*r + 69 = 4*r, 2*p - 63 = -3*r. Is p a composite number?
True
Let i = 624 - -3695. Is i prime?
False
Suppose 0 = f + 1 - 4. Suppose 0*o - o = -5*u + 14, 0 = f*u - 3*o - 18. Suppose -5*x = -u*z + 135 - 4, -2*z + 111 = -x. Is z prime?
True
Let b(c) = -c**3 + 12*c**2 - 17*c + 7. Let v be b(7). Suppose -6*m + v + 185 = 0. Is m composite?
False
Let i(o) = o**2 - 7*o + 9. Let v be i(6). Let g be -636*v*4/12. Is ((-6)/(-4))/((-18)/g) composite?
False
Let r(n) = -3289*n + 10. Is r(-1) composite?
False
Let h be (-6)/24 - 243/(-12). Suppose d + 2*d + 4*p - 613 = 0, 0 = 4*p + h. Is d a composite number?
False
Suppose 4*c + 66 = 2*g, -c + 111 = 3*g - 4*c. Suppose 3*l + 15 = 0, 5*l + g = -5*x + 1551. Is x a prime number?
True
Suppose w - 4*h = 18, 2*h + 12 = -h. Is w/(-8)*-1874 + (-4)/(-8) prime?
False
Let p(m) = -m**3 - 24*m**2 + 6*m - 42. Is p(-29) a prime number?
True
Suppose 0 = -11*d + 6*d + 5570. Let c = d + 201. Is c a prime number?
False
Suppose 0 = i - 8*i + 14. Suppose 6*m - 220 = i*m. Is m prime?
False
Let l(a) = 226*a**2 - 17*a + 2. Is l(3) prime?
False
Let h(b) = 548*b + 5. Is h(9) a prime number?
True
Suppose 7*g - 31931 = 815930. Is g a prime number?
True
Let w be 3/(-5) + 3519/115. Suppose 26*m + w = 24*m. Is (638/8)/(m/(-60)) a composite number?
True
Let z(y) = -y**3 - 20*y**2 - 18*y + 23. Let o be z(-19). Suppose o*i + 0*i = 2804. Is i a composite number?
False
Let a(v) = -v**2 + 6*v - 1. Let k be a(5). Suppose 4*l = -5*r + 16 + 15, -k*l + 3*r = -7. Is (-106)/l*(4 - 6) a prime number?
True
Let k = 168 + 263. Is k a composite number?
False
Let m = -65 + -230. Let f = m - -1557. Is f composite?
True
Let z(h) = 2*h**3 - 3*h**2 + h - 1. Let s be z(2). Suppose -s*v - o = -5565, 0 = -0*o + o. Suppose v = 3*y - 3*j, j + 4*j = 3*y - 1109. Is y a composite number?
False
Let m(k) = -2*k - 5. Let s be m(-4). Suppose 2*y - s*r = r + 3622, 1791 = y + 2*r. Is y composite?
False
Suppose -5*l - 4*w = -772 - 1156, -5*w = -l + 403. Let a = 1787 - l. Is a a composite number?
False
Let g(y) = y**2 + 15*y + 40. Let h be g(-8). Let i(k) = -2*k**2 - 34*k + 27. Is i(h) a composite number?
False
Let p = 41 + -29. Let d = 9 - p. Is (-3)/d + 1 + 132 prime?
False
Suppose 308 = 3*g - r, r + 1 + 1 = 0. Let j = g - 87. Is j a prime number?
False
Is ((-8)/(24/18363))/(-2 + 1) a composite number?
False
Let y(f) = 24*f**3 + 3*f**2 - f. Let p be y(4). Let i = p - 1039. Is i a composite number?
False
Suppose 4*j - 4 = 0, -2*c + 2*j = -0*j - 22716. Suppose 1910 = n - 3*b, -5*n + c - 1863 = 3*b. Is n prime?
True
Suppose 4*g - 8*g + 1908 = -l, 5*l + 458 = g. Is g a prime number?
False
Let y(z) = -z**3 + 8*z**2 + 5*z + 5. Let s(u) = -u + 4. Let l be s(-5). Let d be (-14)/(-6)*(12 - l). Is y(d) a prime number?
True
Let s be ((-8)/6 + 1)/((-34)/30090). Let i be 0/1 - (94 + -2). Let d = i + s. Is d a composite number?
True
Suppose -3*j - 3*v + 7638 = 0, -2569 = -5*j - 2*v + 10158. Let r = 4298 - j. Is r prime?
True
Let t(z) = 8*z**2 - 50*z + 851. Is t(-47) composite?
False
Suppose 4*g + 16 = 4*a - 2*a, -a = 4*g - 2. Is (a + -2)/(4/734) composite?
True
Suppose 5*p + p = 103602. Is p a composite number?
True
Let y = 58639 + -39266. Is y prime?
True
Let v(q) = -920*q + 225. Is v(-29) a prime number?
False
Let x be ((-6)/2)/(8/8). Let n(a) be the third derivative of a**5/3 - a**4/8 - a**3/3 + a**2. Is n(x) composite?
True
Let c = 3189 + -6759. Let i = -1853 - c. Is i composite?
True
Suppose -o - 1 = -4. Suppose -s - 5*p + 588 = -0*s, p - 1722 = -o*s. Is s a composite number?
True
Let r(h) = 102*h**2 + 10*h + 17. Is r(-6) a prime number?
False
Is ((-11)/(11/6))/((-8)/118268) composite?
True
Let o = -260 - -2102. Suppose -6*v = -0*v - o. Is v a prime number?
True
Let p(r) = -2*r**2 + 11*r + 9. Let m(n) = 2*n**2 - 11*n - 10. Let t(o) = -4*m(o) - 5*p(o). Is t(14) composite?
False
Suppose -3*t + 10668 = -7*u + 2*u, -7111 = -2*t + 3*u. Is t prime?
False
Let v(b) = 328*b - 13. Is v(8) prime?
False
Let l(x) be the second derivative of x**4/4 - 7*x**3/6 + x**2/2 + 2*x. Let h be 0/(-1) - 42/(-7). Is l(h) prime?
True
Suppose 881140 = 75*g - 55*g. Is g composite?
True
Is 34 - (3 + (-3 - -3)) prime?
True
Suppose -3*j = 2*l + 1006, -2*l + 4*j - 834 - 186 = 0. Let z = -189 - l. Is z composite?
False
Suppose 33568 = 4*d + 2*n, 0*d + 16768 = 2*d + 5*n. Suppose d = 2*l + 4*l. Is l a prime number?
True
Let u(t) = -143*t - 6. Let v(r) = 72*r + 3. Let k(f) = -2*u(f) - 5*v(f). Suppose 22*y = 15*y - 14. Is k(y) prime?
False
Let z(u) = 36*u**3 + 27*u**2 - 17*u - 1. Is z(9) prime?
True
Is (1154/(-4))/(7/(-266)) a composite number?
True
Suppose -2*l = 3*x + x + 460, -474 = 4*x - 5*l. Is (-50025)/(-18) - (5 - x/(-24)) composite?
True
Is (-2*(1 + -6))/((-2)/(-149)) a prime number?
False
Let l be 1357/5 - 4/10. Let f be (-340)/((1/6)/(3/(-9))). Let u = f - l. Is u a prime number?
True
Suppose -4*c + 2*c - 8 = 0, 5*c = -5*r + 1715. Let a = -153 + r. Is a composite?
True
Let i(o) = 13*o**2 - 10*o + 11. Let c(s) = -s**3 - 38*s**2 + 31*s - 34. Let z(y) = 2*c(y) + 7*i(y). Is z(7) prime?
True
Is ((-2)/3 - (-57205)/51)*1 a prime number?
False
Let j(x) = 16*x - 2. Let b(n) = 16*n - 5. Let w(t) = -80*t + 24. Let d(z) = -28*b(z) - 6*w(z). Let v(h) = 2*d(h) - 5*j(h). Is v(-2) a prime number?
False
Let f(s) = -s**3 - 9*s**2 + 8*s - 10. Let r be f(-10). Suppose 4*h + 30 - 10 = 4*i, 3*h + 2*i - r = 0. Suppose b = -h*b + 581. Is b a prime number?
False
Suppose g + 4*g + 3887 = 3*o, -o = 4*g - 1307. Suppose -3*w - 2*t = -987, -5*t + 2*t - o = -4*w. Is w a prime number?
False
Let x(h) = h**2 + 10*h + 2. Let f(u) = -u + 2. Let d be f(12). Let k be x(d). Let i(q) = 6*q**3 - q**2 - 4*q + 3. Is i(k) a prime number?
False
Suppose 0*y = -5*q - 3*y + 417, 0 = 3*q - y - 253. Suppose 0 = 2*f - 1054 + q. Is f prime?
False
Let i = -14 - -15. Is (375 + 1 - 2) + (-2 - i) a prime number?
False
Let s(g) = -4*g + 12. Let x(j)