e
Suppose 0 = 3*a + 5*p - 98, -11 = -a + 2*p + 40. Let k be a/(-2 - (-3 + 2)). Is -2 - (k + (-2 - -3)) a composite number?
True
Let g = -227 + 964. Is g a composite number?
True
Suppose 0 = -3*l + 4*l - 205. Is l composite?
True
Let h be 1020/42 + (-2)/7. Suppose 3*p = 3*m + h, 0*p - 5*m = -3*p + 30. Suppose 69 = p*k + 4. Is k prime?
True
Suppose i + 2 = 3*i. Is (-2)/i + 10 + 2 composite?
True
Suppose -5 = 5*u, 5*q - 3*u - 3778 = 2820. Is q a composite number?
False
Let t(s) = s**2. Let l(v) = v**3 - 12*v**2 + 3*v + 3. Let u(j) = -l(j) - 6*t(j). Let x = 13 - 10. Is u(x) a composite number?
True
Let n = -1590 - -870. Is (-1)/(1 - n/(-716)) a composite number?
False
Let t(d) = -d**3 - 3*d**2 + 4*d - 1. Let o = 0 + -4. Let x be t(o). Is x/(-2) + (-138)/(-4) composite?
True
Suppose 0 = 2*x + x - 3. Is x/(1/201*3) composite?
False
Let n(j) = -j - 9. Let z be n(-9). Suppose -t = 5*l - 13, -2*t - 3*l + 0 + 5 = z. Is (-165)/t + 3/6 prime?
True
Suppose 0 = 5*t + 3*z - 251, 0 = -0*t + t - 2*z - 58. Is t + (-1)/(-1) - 2 prime?
False
Suppose 6*a = 2*a, -5*d - 4*a - 15 = 0. Is (-4)/d*111/2 a composite number?
True
Suppose 0 = -f - 2 - 32. Let o be (f - -2)*5 - 0. Let z = -111 - o. Is z composite?
True
Suppose 5*h - 10 = -0*h. Let u(v) = 3 - 17*v**h + 16*v**2 + v**3 - 4*v + 0*v**3. Is u(4) a composite number?
True
Let t(c) = -2 - c - 4 - 2 + c**3. Let m be t(0). Let a(z) = 2*z**2 - 2*z - 11. Is a(m) prime?
False
Let s be 1/(-3) - 6692/(-6). Suppose 3*v + 2*v = s. Is v prime?
True
Let q(g) = g**3 - 3*g**2 + 4*g - 11. Suppose 0 = b - 3*t - 10 - 10, -4*t = 20. Is q(b) a composite number?
False
Suppose 0 = -3*q - 3*a - 6, -3*a = -5*q + 2*q + 24. Suppose -132 = -o - q*o. Is o prime?
False
Let c(l) = -1 + 0*l - 7*l + 0*l. Let q(w) = -13*w - 2. Let b(p) = -5*c(p) + 3*q(p). Is b(-5) composite?
False
Let h = -26 - 55. Let n = h - -148. Is n a prime number?
True
Let z = 13 + -20. Let f = z - -10. Suppose -45 = -f*r - 3*i, 11 = -2*r - 4*i + 51. Is r prime?
False
Suppose 5*k + 2*n - 29 = 0, 4*k = 2*k + 4*n + 2. Suppose 0*l - 4*l - 4*m + 724 = 0, -2*l - k*m + 374 = 0. Is l a composite number?
True
Suppose -10*p = -5*p - 7035. Is (5/(-15))/((-1)/p) a prime number?
False
Let c = 81 - 36. Suppose -4*v = 3*q - 245, v + 4*q = -0*v + c. Is v prime?
False
Suppose -12 = -2*l - l. Suppose 4*s + 0*m - 311 = m, l*m = -s + 99. Is s a composite number?
False
Let w(c) be the first derivative of -c**3/3 + c**2 + 4*c - 1. Let i be w(4). Is ((-422)/i)/(3/6) composite?
False
Let i(h) = -2*h. Let d be i(4). Let y = 71 - d. Is y a composite number?
False
Let c(n) = n - 9. Let t be c(9). Suppose 4*g - 2*g - 92 = t. Is g prime?
False
Is (-2*(-1)/2)/((-2)/(-542)) a prime number?
True
Let h(p) = -7*p**3 - 5*p**2 - 5*p - 9. Is h(-4) a prime number?
True
Suppose 0 = -q + 91 + 324. Is q a prime number?
False
Let r(d) = 10*d**2 - 5*d + 3. Is r(4) prime?
False
Let g be ((-6)/(-4))/((-8)/(-16)). Suppose 3*j = j + g*a + 68, j = -4*a + 45. Is j a composite number?
False
Suppose 2399 = 2*v - h, 3*v - 3*h - 4795 = -v. Is v prime?
True
Let c = 852 + -1493. Let m = -456 - c. Is m prime?
False
Let s be (-5 + 3)/2 - -2. Let t be (4/3)/(s/3). Let l(q) = 19*q + 3. Is l(t) prime?
True
Let k(f) = -f**2 - 14*f - 11. Let i be k(-13). Suppose 874 = i*t - c - 243, -2*t + 1111 = c. Is t a composite number?
False
Let s = 2 + 22. Suppose -l + 29 = -s. Is l prime?
True
Is 3/(-2)*3438/(-27) prime?
True
Let n be (2 - 4)/2 + 11. Is ((-955)/n)/(1/(-2)) a prime number?
True
Let x be 9/7 + 4/(-14). Is 0 - x - (-90)/1 prime?
True
Let j(u) be the third derivative of -u**4/24 - 5*u**3/6 + 2*u**2. Let r(q) = -q**2 - q - 4. Let l(a) = 4*j(a) - 5*r(a). Is l(-1) a prime number?
False
Let x be 8*(-1)/(-2) + 0. Suppose 284 = x*o - 4*q, -2*q = -o + 5*o - 302. Suppose o = 4*d - 2*d. Is d a composite number?
False
Let o = 648 + -184. Let s = o - 253. Is s a composite number?
False
Let r(m) = 2*m - 14. Let t be r(8). Suppose 0 = 3*y + t*y - 1185. Is y a prime number?
False
Let v(o) = 341*o**2 - 2*o + 1. Is v(2) a prime number?
True
Let n be (0 + 32 + -1)*1. Let m = n - -26. Is m a prime number?
False
Let m(x) = 40*x - 9. Is m(5) composite?
False
Is (-53)/(-5) + (-6)/(-15) composite?
False
Suppose 12*i = 13*i - 669. Is i a prime number?
False
Let w = 1352 - 717. Suppose -4*j - 3*a - 107 = -957, -3*j = a - w. Is j a composite number?
False
Suppose -3*t = -n - 60 - 99, 53 = t - n. Is t a composite number?
False
Suppose 1135 = j - 0*j. Suppose j = 5*k + 4*p, 2*p + 213 = k - 0*k. Is k prime?
True
Suppose -2*s + 3*s = 18. Let c = s - -65. Is c a composite number?
False
Suppose -3*i + 8*i = 0. Suppose i = 5*u + 5*p - 185, -62 = -u + 5*p - p. Let v = u - 5. Is v a prime number?
True
Let k be 2/5 - 18/(-5). Suppose k*n - n = 5*x - 397, 57 = x + 5*n. Is x a composite number?
True
Let o = 2 - 2. Suppose o*i + i = -q + 71, -4*q + 290 = 2*i. Suppose -2*y + 0*y + q = 0. Is y prime?
True
Suppose -2*o + 10 = -3*u, 0 = -u - 0*u - 5*o - 9. Let z(i) = i**3 + 3*i**2 - 7*i - 5. Is z(u) a prime number?
True
Suppose m = 6*r - 2*r + 26, 2*m - 4*r = 32. Is ((-20)/m)/((-10)/255) a composite number?
True
Let g(q) be the second derivative of 5/6*q**4 + 0 + 1/20*q**5 + 0*q**3 + 7*q**2 + 3*q. Is g(-10) a composite number?
True
Suppose 0 = -g - 2*g. Suppose -m + 3*m + 148 = g. Is m/(2 - 4/1) prime?
True
Let v(c) = 368*c**3 + 2*c**2 - 6*c - 1. Is v(2) prime?
True
Let l be (-185)/20*4*-1. Suppose 3*j - l = 122. Is j composite?
False
Suppose z = -5*p + 25, 0 = -2*z + p + 2 + 4. Is (z/5)/(2/52) composite?
True
Suppose 0 = -2*m + 3*y - 5*y + 406, -3*m = -3*y - 609. Is m a composite number?
True
Suppose -2 = 2*a - 40. Is a composite?
False
Suppose i - 117 = 3*v, -124 = -i - 2*v - 2*v. Suppose 5*p - 65 = 6*p. Let k = i + p. Is k a prime number?
False
Let u(s) = -s**3 + 2*s + 451. Is u(0) composite?
True
Let z = 1 + 1. Suppose 0 = -z*j - 2*j + 172. Suppose 2*o = j + 179. Is o a composite number?
True
Let u(x) be the second derivative of -x**4/12 + 699*x**2/2 - 7*x. Is u(0) prime?
False
Suppose 1734 = 4*b - 2*b - 5*g, 0 = -3*b - g + 2635. Is b composite?
False
Is (-3671)/2*(-1 + (-7)/7) a composite number?
False
Let p(n) = 4*n**2 - 3*n**2 + 1 + n + 5. Let d be p(-8). Let f = d + -41. Is f a composite number?
True
Let w(g) = -4*g. Let x be w(-1). Suppose 99 + 21 = x*p. Suppose -24 = 4*n + 2*d - 78, -2*n = 4*d - p. Is n composite?
False
Let y = 11238 - 7979. Is y prime?
True
Suppose -1219 + 137 = -g. Is g a prime number?
False
Suppose -2*u = -3*u + 3. Suppose -5*c + 2*b + 4 = 0, 3*c + 2*b + 4 = c. Suppose c*t = u*t - 66. Is t a composite number?
True
Is -5*(4/(-4) + -4) a prime number?
False
Let y(f) = 194*f**3 + 4*f**2 - 3*f + 4. Is y(3) composite?
True
Suppose 5*m + 72 = -g, 2*m - 5*g = -12 - 6. Let y = m + 57. Is y a prime number?
True
Suppose -11 = 2*m - 5*x, -4*x + x + 5 = -2*m. Let s(r) = -3 + r + 4 + 4*r. Is s(m) prime?
True
Is (5464 - -7)*1/(-2)*-2 prime?
True
Suppose -2*i - 1814 = -4*y, -2*y - 2*y - 5*i + 1807 = 0. Is y a composite number?
True
Let x(a) be the third derivative of -a**4/3 + 5*a**3/6 - a**2. Let i be (12/(-10))/((-6)/(-20)). Is x(i) a composite number?
False
Suppose -4*c = -5*c. Suppose -3*x + 0*x + 159 = c. Is x a composite number?
False
Let a(p) = -11*p - 1. Let m be a(-1). Suppose -155 = 5*h - m*h. Is h prime?
True
Let i be (1/(-3))/(2/3426). Let d = 804 + i. Is d a prime number?
True
Let v be (16 - 2/(-2)) + 2. Suppose -j = 5*n - 17, -n - 6*j + 4*j = 2. Suppose -2*x - n*z - v = -89, -2*x + 56 = -3*z. Is x a composite number?
False
Let r(t) = -t + 11. Let y be r(6). Suppose 2*n - 172 = -2*f + 3*f, 0 = 3*n + y*f - 271. Is n composite?
True
Let c(u) = -8*u**2 - 7*u - 12. Let j(x) be the first derivative of x**3 + x**2 + 4*x + 1. Let w(s) = 4*c(s) + 11*j(s). Is w(7) a composite number?
False
Suppose 5*q - 6 = -1. Let x(f) = f + 1. Let p be x(q). Is -2 - (-122)/(4 - p) a composite number?
False
Suppose -2*x - 4*d = -302, -2*d + 5*d - 584 = -4*x. Is x a prime number?
False
Let a be (-6)/9 - 4/(-6). Suppose x + 6 + 0 = a. Let r(m) = -27*m - 1. Is r(x) a composite number?
True
Suppose 0 = c + 4*k - 67, -3*c - 3*k = k - 185. Is c prime?
True
Let i(y) = 2*y**2 - 8*y + 1. Suppose -3*w = n - 24, 0 = -2*n - 5*w + 36 + 8. Let h = n - 6. Is i(h) composite?
True