e
Let j be (0 + 0)/(15/5). Suppose 2*h = -l + 128, j = -l + 2*l - 5*h - 149. Is l a composite number?
True
Suppose -490 - 275 = 5*f. Suppose -i - 3*s + 2*s = 72, -5*s = -5*i - 310. Let g = i - f. Is g a prime number?
False
Suppose 29477 - 6306 = 17*w. Is w a prime number?
False
Let z(n) = n + 6. Let j be z(-5). Let p(y) = 4 + 30*y + 9 + 58*y - 12. Is p(j) prime?
True
Suppose -4 = -2*y + 4. Suppose y*l + 4*r = 3*l + 287, 4*l = 3*r + 1224. Suppose -2*h = -63 - l. Is h a prime number?
False
Suppose 270*k - 278*k = -20872. Is k a prime number?
True
Suppose -5*q + 33 = 8. Suppose 1 = i + 2*g - 13, -5*i + 5*g - q = 0. Suppose -i*k = 2*l - 716, 2*l = -3*l + 20. Is k a prime number?
False
Let c(y) = -176*y - 1. Let m(i) = i. Let d(f) = -c(f) + m(f). Suppose -2*r = 3*g - 11, -2*g + 25 = 23. Is d(r) a prime number?
True
Let a(g) = 3*g**3 - 7*g**2 + 5*g - 2. Let f be a(5). Suppose -c + 5*u + 138 = 0, -95 - f = -2*c - 4*u. Suppose 0 = -t - 2*t + c. Is t a composite number?
True
Let x(s) = 922*s + 3. Is x(4) a prime number?
True
Let a(h) = 6*h**2 - 9*h - 31. Is a(-15) prime?
False
Suppose 2*d + 5595 - 27055 = 0. Suppose 17*f = 27*f - d. Is f a prime number?
False
Suppose 2*o + 10 = 4*y - 18, y + o - 7 = 0. Let p(f) be the first derivative of f**3/3 + f**2 + 8*f + 1. Is p(y) prime?
True
Let f(s) = 917*s**2 - 5*s + 1. Let x = 106 + -105. Is f(x) composite?
True
Let i = 6718 - 987. Is i a prime number?
False
Let h be ((-849)/(-2))/(3/4). Let d = 843 - h. Is d prime?
True
Let p(g) = -37*g**2 - 73*g + 9. Let h(m) = -56*m**2 - 110*m + 13. Let f(n) = 5*h(n) - 8*p(n). Is f(12) prime?
False
Suppose 5*o + 53 + 37 = 0. Is (-11164)/(-16) - (o/8 - -3) a composite number?
True
Suppose -3*d - 9*d = 0. Suppose -73*c + 74*c - 838 = d. Is c composite?
True
Let a(r) = -r**2 + 8*r - 4. Let c be a(6). Suppose -c*s + 4*s = 80. Let o = -10 - s. Is o a composite number?
True
Let p = 140 - 142. Is ((-4)/8)/(p/9316) a prime number?
False
Let g(a) = 3570*a + 401. Is g(9) composite?
False
Let i(n) = -16*n + 9 - 25*n - 9*n + 4*n. Is i(-7) a prime number?
True
Let a = -14 - -38. Suppose -5*u + 74 = a. Is ((-652)/u)/(8/(-20)) prime?
True
Let v(h) be the third derivative of -h**4/4 + 7*h**3/6 + h**2. Let c be (-9)/6 + 46/(-4)*1. Is v(c) prime?
False
Let c(w) = 73*w**2 + w - 5. Let z be 4*(-6)/(-72) + 20/(-6). Is c(z) a composite number?
True
Let p(y) = y**3 + 4*y**2 + 4*y + 3. Let d be p(-3). Suppose -30*i + 25*i = d. Suppose i = z - 130 - 169. Is z a composite number?
True
Let y be 1/(9/16) + (-20)/(-90). Suppose 0 = y*q - 5179 - 3783. Is q a composite number?
False
Let u be 0 - 4 - 2/(-2). Let v(q) = -q**3 - q**2 + 5*q - 1. Let f be v(u). Suppose -f*t + 3*j - 125 = -7*t, 5*t = -4*j + 130. Is t composite?
True
Suppose h - 2*b - 7053 = 0, -55*h + 56*h = -3*b + 7028. Is h a prime number?
True
Let t(u) = -34*u + 1. Suppose 0 = -4*v - 4 - 4. Is t(v) a prime number?
False
Is (529/(-69))/(((-1)/(-723))/(-1)) prime?
False
Suppose -n = 4*h - 271, h + 0*h + 1313 = 5*n. Is n prime?
True
Suppose 3*s = o + 3*o - 3, 6 = 2*o. Suppose -5*l - 4*u + 2357 = 0, 2*l - 926 = u + s*u. Is l prime?
False
Let m(v) = 10*v**3 + 36*v**2 - 21*v + 17. Is m(8) composite?
True
Let f = 4989 - 3378. Let t = f - 1133. Is t composite?
True
Let n be 1 - (-3 + 1 - -1). Let b(m) = 5 + 15*m**2 - 5*m - 2*m - 2*m**n. Is b(5) a prime number?
False
Suppose 20 - 10 = 5*i. Is ((-16331)/28)/(i/(-8)) prime?
True
Suppose 15627 = 116*w - 113*w. Is w a prime number?
True
Suppose -2*j - 1648 = -6*j. Suppose 32 = 4*r + j. Let v = -10 - r. Is v a prime number?
False
Let k(d) be the first derivative of -d**5/20 + d**4 - 11*d**3/6 + 13*d**2/2 + 3*d - 2. Let s(p) be the first derivative of k(p). Is s(9) prime?
True
Let y = 296708 + -132457. Is y composite?
False
Suppose -82*c = -83*c + 2411. Is c composite?
False
Suppose -6*q + 2*q + 28 = 2*p, -2 = q + 5*p. Suppose -q*h + 14716 = -12300. Is h prime?
False
Suppose -4*b - q = -17082, -3*b - 9*q = -6*q - 12807. Is b a prime number?
True
Is 4/(-14) + 80778/84*2 a composite number?
True
Let q(k) = -4487*k + 43. Is q(-2) a prime number?
False
Suppose 2*j + 726 = 2*q - 0*j, -5*j = -2*q + 720. Is q a composite number?
True
Let u(v) = -25*v**3 - 3*v**2 - 5*v + 29. Is u(-6) prime?
True
Let v(q) = -94*q**3 + 2*q**2 + 10*q - 5. Is v(-3) prime?
True
Suppose 7*k + 23210 - 216823 = 0. Is k composite?
True
Let f = -66 + 96. Let a = 40 + -37. Suppose 0*v + a*v = f. Is v prime?
False
Let f(z) = -75*z**2 - 6*z + 4. Let i(v) = -v**2 + v - 1. Let h(r) = -f(r) - 6*i(r). Is h(6) a composite number?
True
Is 5 + (42746*2/4 - 1) a composite number?
False
Suppose 3*m + 899 = 2*k + 121, -2*k = 2*m + 532. Let p = m - -389. Is p a prime number?
True
Suppose -5*y - 2235 = 455. Let i = y - -861. Suppose -2*w + i + 401 = 0. Is w a composite number?
True
Let m(q) be the third derivative of 10*q**4/3 + 9*q**3/2 + 11*q**2. Is m(13) a prime number?
False
Let h be 1/(-6)*-2 - (-7)/(-3). Is (-1)/h - 119475/(-30) composite?
True
Let h be 1/1 - 567/(-3). Suppose g - 323 - 523 = -5*c, c - h = 5*g. Let a = c + -85. Is a composite?
True
Let f(b) be the third derivative of 5*b**5/12 - b**4/8 + 7*b**3/6 - 7*b**2. Is f(-4) prime?
True
Let i(b) = -b**2 + 6*b + 43. Let t be i(10). Let u(d) = 40*d**3 + 9*d - 6. Is u(t) a prime number?
False
Let s(y) = 100*y - 177*y - 7 - 179*y. Is s(-2) a prime number?
False
Let b(m) = 146*m - 47. Let p(w) = -145*w + 48. Let a(t) = -4*b(t) - 3*p(t). Is a(-7) a composite number?
False
Suppose -3*h - a = -20795 + 7546, 3*h - 13257 = 3*a. Is h prime?
False
Let l be (-10)/4*(-48)/15. Let f be 34/l + 5/(-20). Suppose 10 = -d - f*d, -4*k - 5*d + 1762 = 0. Is k a composite number?
False
Let m = 11 - -5. Let a = m - 41. Let c = a + 38. Is c a prime number?
True
Suppose -11*b = 11309 - 177. Let q = 1779 + b. Is q a composite number?
True
Let x(u) = 90*u - 18. Let h be x(-4). Let z = 613 + h. Is z composite?
True
Let b be 410 - (-3 - -2) - 3. Let z = 575 - b. Let r = -22 + z. Is r a prime number?
False
Let s = -1140 + 1829. Is s a composite number?
True
Let z(d) = -1 + d - 1 + 1. Let n be z(2). Is -3*n*944/(-24) composite?
True
Let g(k) = 3759*k**2 - 3*k + 5. Is g(3) composite?
False
Suppose -168*d - 53862 = -174*d. Is d composite?
True
Let x(b) = b**2 + 5*b + 7. Suppose 5*p = 10*p + 25. Let q be x(p). Is q/14 + 1794/4 prime?
True
Is (-26)/299 + 7443594/138 composite?
False
Let p be 7 + -6 - 2*(-2)/4. Suppose 7*y = -4*n + 2*y + 1531, 0 = 4*n + p*y - 1522. Is n a prime number?
True
Suppose 7*d = 12*d + 5*a - 8210, 5*a - 1662 = -d. Is d a prime number?
True
Suppose -2837 = -2*p + 3*b, 6*b = -p + 4*b + 1422. Suppose 8*x + 8 = 4*x. Is p/9 + x/(-9) prime?
False
Suppose 5*w - 5 - 5 = 0. Suppose w*m - 3847 = m. Is m prime?
True
Let z(h) = -h**3 + 11*h**2 - 9*h - 10. Let j be z(10). Suppose p - 6 = -j. Suppose -2*k = -p*k + 124. Is k a composite number?
False
Let j = -1959 + 6816. Is j a prime number?
False
Suppose 3*u = 6*u + 201. Let a = 259 + u. Suppose h = 3*z + 36 - 225, 0 = -3*z + 2*h + a. Is z a prime number?
False
Let j(y) be the first derivative of -3*y**3 + 4 + 1/2*y**4 - 13*y + 3/2*y**2. Is j(7) prime?
False
Let o be (-5 - -4)*-19 + 2. Is 3/(-7) - (-26616)/o a composite number?
True
Let a(r) be the third derivative of 19*r**6/120 - 3*r**5/20 + 11*r**4/24 - r**3/3 - 23*r**2. Is a(5) prime?
True
Is 2/(-9) - (-2090)/495 - -63885 composite?
True
Suppose 2 = 5*v - 3. Let w = v - -5. Let r = w + 77. Is r prime?
True
Suppose -u + 72 = 2*u. Let d be -345*-2*4/u. Suppose 3*m = 4*m - d. Is m prime?
False
Let h(g) = 37*g**2 - 9*g - 11. Let t be h(3). Let u(d) = -d + 5. Let c be u(3). Suppose -q - t = -n, -287 = -n + q - c*q. Is n prime?
False
Let i(q) be the third derivative of 3/2*q**3 - 2*q**2 - 1/12*q**5 - 1/3*q**4 + 0*q + 0 - 1/120*q**6. Is i(-8) a prime number?
False
Let p = 422 + -309. Is p a composite number?
False
Let b(z) = -1899*z + 7. Is b(-4) a composite number?
False
Let s = -8916 + 12703. Is s a composite number?
True
Let z(p) = 11*p**3 + 2*p**2 + 2*p + 1. Let f be z(-1). Let i be (-8)/f*(-7 - -2). Is (i/8 + 1)*518 composite?
True
Let j = 26 + -21. Suppose -2*k = -4*n - 1590, 0*k + j*k = -n + 3931. Is k composite?
False
Let g = 966 + -171. Let k = 41 - 38. Suppose 6*a = k*a + g. Is a prime?
False
Suppose 0*