) a prime number?
True
Let h = -5 + 11. Let v = h + -8. Let l(w) = w**3 + 4*w**2 + 2*w - 1. Is l(v) prime?
True
Suppose -4 = 3*g + 2*m, -m - 2 + 0 = -5*g. Suppose 3*l + g*l - 2*x - 1543 = 0, -4*l - 5*x + 2019 = 0. Is l composite?
True
Suppose 1682 = w + w - 2*t, -4*t = w - 846. Is w composite?
True
Let z = -1 + 5. Suppose -260 = -8*q + 268. Suppose -5*j = -q - z. Is j a prime number?
False
Let h be (-6)/4*(-4)/3. Suppose h*p - 79 = p. Is p composite?
False
Suppose 3*m + 3*j - 5390 = -2*j, 3*m - j = 5384. Is m a prime number?
False
Let z = -631 + 250. Let h = -4 - z. Is h composite?
True
Let s(v) = 20*v**3 - 21*v**2 + 15*v + 9. Let u(b) = 7*b**3 - 7*b**2 + 5*b + 3. Let d = 14 + -20. Let n(h) = d*s(h) + 17*u(h). Is n(6) a prime number?
True
Suppose 15 = -l + 4*l, z - 76 = -l. Is z a composite number?
False
Is 1121 - 2 - 4/(-2) a prime number?
False
Suppose -5*c - 63 = 4*d, c - 4*d - 33 = 4*c. Let f be (462/c)/(4/(-20)). Suppose -h - 2*h + f = 4*n, 3*h + 31 = n. Is n prime?
True
Suppose 0 = 5*b - 195 - 175. Is b a prime number?
False
Let b(s) = -143*s + 7. Is b(-8) a prime number?
True
Suppose 12 = -x - 5*q, -x + 3 = 3*x + 3*q. Is (-1 + 14/x)*9 prime?
False
Suppose 3*j + 0*j = 0. Let n(z) = z**2 + z + 6. Let f be n(j). Is 7/3 + 4/f prime?
True
Let d(f) = 4*f**2 + 14*f + 34. Is d(-8) a composite number?
True
Let t = 90 + 25. Is t composite?
True
Let x = -23 + 83. Suppose 0 = -0*l - 5*l + x. Is 62/3*l/8 prime?
True
Let b(s) = -s**2 - s - 2. Let y be b(-2). Let u be (-11)/y - 5/(-20). Suppose -u*c - 3*o - 111 = -6*c, 4*o = -c + 37. Is c a composite number?
False
Suppose 0 = 16*m - 4*m - 18732. Is m a prime number?
False
Let q = 1 - 1. Suppose v + 4*v + 15 = q, -4*c - v + 521 = 0. Is c composite?
False
Is (-3)/(-5) - 8703/(-45) composite?
True
Let l(w) = w**3 + 3*w**2 - w - 3. Let g be l(-3). Suppose 5*y - 5*b - 165 = g, 3*y - b - 88 = 13. Suppose x + 2 = z - 2*x, y = 3*z - 2*x. Is z prime?
False
Suppose 4*p = 904 + 652. Is p composite?
False
Suppose 0 = -4*z - 98 - 82. Let x = z + 76. Is x prime?
True
Suppose -t - 3*t + 10016 = 4*w, -3*t - 5*w + 7514 = 0. Is t a composite number?
False
Let w(k) be the second derivative of -k**5/20 - 5*k**4/6 - 2*k**3 - 5*k**2/2 + 3*k. Is w(-9) a composite number?
True
Suppose z - 5*r = -306, -r + 522 + 117 = -2*z. Let b = -115 - z. Is b composite?
True
Is (-26027)/(-68) - (3/4)/1 a composite number?
True
Suppose -2*k + 4*l = -666, l + 641 = 2*k + 2*l. Is k a composite number?
True
Suppose 4*p = 12*p - 1256. Is p prime?
True
Suppose -10 = -3*l - 2*l. Suppose -l*r + r = -971. Is r a prime number?
True
Let l(x) = 3 + 3 + 0*x + 5*x - 4*x**2. Let q(u) = 5*u**2 - 4*u - 7. Let z(j) = -3*l(j) - 2*q(j). Is z(6) prime?
False
Suppose 3*j + 0 = 9. Suppose j*v - 6*v = -573. Is v a prime number?
True
Let y be (-9)/(-3)*2/3. Let m(c) = 1 + 4*c + y*c**2 - 1 + 3. Is m(-4) composite?
False
Suppose -a - 1 = -13. Let m = 7 - a. Let o = m + 24. Is o a composite number?
False
Suppose 3*t + 0 = -b + 16, -5*t + 3*b + 8 = 0. Suppose -158 = -t*o + 2*o. Is o a composite number?
False
Let a(y) = 3*y**3 + 2*y - 1. Let j = -3 + 4. Let u be a(j). Is ((-2)/u)/((-2)/188) prime?
True
Let n = 53 - 20. Suppose -2*b - 7 + n = 0. Is b a composite number?
False
Suppose 4*f - 3*f - 4 = 0. Let w(n) = n**2 - 3*n + 3. Let d be w(f). Let m = 10 - d. Is m prime?
True
Let y(g) = 129*g**2 + g + 3. Is y(2) a prime number?
True
Suppose -14177 = -3*q + 5*y, 0 = -4*q - y - 5247 + 24165. Is q composite?
False
Suppose -u - 2*m - 119 = -6*u, -3*m + 109 = 5*u. Is u prime?
True
Let a = -28 - 414. Let m be a/(1/1) + -2. Let z = -295 - m. Is z a composite number?
False
Is (-1)/(-1) - 375/(-6)*4 a composite number?
False
Let l = 582 + -235. Is l composite?
False
Let c(o) = -5*o**2 - 10*o + 1. Let m(n) = -n**2 - n + 1. Let d(f) = -c(f) + 4*m(f). Let s be d(-6). Suppose s*x + 0*x = 141. Is x prime?
True
Let b(d) = -d**2 + 6 + 7*d + 2*d**2 + 1. Let p be (-6 - -4) + -6 + 1. Is b(p) prime?
True
Is (291222/8)/9 + (-2)/(-8) prime?
False
Suppose 0 = 3*b + 2*b - 3*m - 21, 3 = 3*b - 5*m. Suppose 7*a = b*a + 23. Is a prime?
True
Let q(u) = 37*u - 3. Let f be q(4). Suppose -f = -3*x + 2*s - 7*s, 0 = -2*x - 2*s + 102. Is x prime?
False
Let g(p) = 2*p**2 - 3*p - 2. Suppose 2*m + 2*j - 15 = -m, 0 = -5*m - 5*j + 20. Let q be g(m). Suppose -t - 4*t - 5*i = -180, -2*t - 5*i = -q. Is t composite?
True
Let x be (3 - -15)*(-196)/(-12). Suppose -4*p = -x - 62. Is p a prime number?
True
Let t(m) be the first derivative of -4*m - 2*m - 2 + m**2 + 5*m. Is t(4) prime?
True
Suppose -a + 11*a - 22310 = 0. Is a composite?
True
Let i be (-2)/3 + 6/9. Suppose w - 115 + 28 = 0. Suppose -2*d + i*c - c = -33, -4*c + w = 5*d. Is d a prime number?
False
Suppose -4*k = -3*g + 1879 + 730, 5*k = -4*g + 3427. Is g a prime number?
True
Suppose -2*n - 8 = 0, 4*q + 0*q = 5*n + 96. Let v = 52 - q. Is v prime?
False
Suppose 5*o + 4*u - 187 = 0, -8*u + 4*u = -o + 47. Is o composite?
True
Suppose 3*m - 1776 = -3*v, -3*v + 68 = 4*m - 2303. Suppose 4*r = -r + m. Is r a prime number?
False
Suppose 3*k - 1004 = -k. Is k a composite number?
False
Let z(a) = -a**2 + 3*a - 1. Let n be z(3). Let r = 1 - 8. Is (-4 + 2 + n)*r a composite number?
True
Let k = 171 - 44. Is k composite?
False
Let r(o) = -332*o - 15. Is r(-7) prime?
True
Let s = -899 + 1388. Is s a prime number?
False
Let o be 2*2*2/(-8). Is o*(3*15)/(-3) composite?
True
Suppose 11*r = -3571 + 13229. Is r a prime number?
False
Let a be 440/3 - 2/3. Let g be a/3*(-6)/4. Let p = -36 - g. Is p a prime number?
True
Let r(t) = -t + 5. Let b be -1 - (-2 - 2/(-2)). Let p be r(b). Suppose -863 = -p*v - 2*c - 218, -v + 5*c + 102 = 0. Is v a prime number?
True
Let n(o) = -o**2 - 2*o + 11. Let q be n(-8). Is 6/2*q/(-3) prime?
True
Let j(r) = -r**2 + 8*r - 2. Let h = -3 + 1. Let s = 1 - h. Is j(s) a prime number?
True
Let r(w) = 17*w. Let f = 6 + -4. Is r(f) a prime number?
False
Suppose 0*l + 12 = 2*c - 4*l, c - 1 = l. Let j be 352/2 + 8/c. Suppose -j - 101 = -5*o. Is o composite?
True
Let j be 202/6 + (-46)/69. Suppose -4*a = -0*o + 5*o - 3, -4*o - 5*a = 3. Is o*j/27*21 a prime number?
False
Let v(i) = -29*i**2 + 8*i - 7. Let y(w) = -88*w**2 + 23*w - 20. Let r(m) = 17*v(m) - 6*y(m). Let s be r(-2). Let j = s + -88. Is j a composite number?
True
Let a(o) be the third derivative of o**7/1680 - o**6/360 + o**5/60 - 2*o**2. Let s(m) be the third derivative of a(m). Is s(3) a composite number?
False
Let p(h) = h**3 + 14*h**2 - 15*h - 19. Is p(-14) prime?
True
Let i(g) = 1 + 2*g - 4*g + 293*g**2 + 3*g. Is i(-1) a composite number?
False
Let n = -5 - -8. Suppose n*b = 6*b - 9. Suppose 2*c + 3*y - 281 = 0, -b*y + 307 + 409 = 5*c. Is c prime?
False
Let r be ((-4)/6)/(4/(-6)). Let j be (7 + 2 + r)*1. Let q(h) = -h**3 + 11*h**2 - 9*h - 3. Is q(j) composite?
False
Let j = -119 + 250. Let o(x) = 18*x. Let i be o(3). Suppose -j = -5*c + i. Is c composite?
False
Let o = 10 + -7. Suppose 0 = 4*z + 8, -z = -2*t + o*z + 418. Is t prime?
False
Let i be 1704/(-8) - (-1 - 0). Let p = i - -881. Is p a prime number?
False
Suppose 3*o - 2927 + 377 = 0. Suppose -p + 124 = 2*u - o, 3*u - 1439 = 4*p. Is u prime?
False
Let a(r) = 6*r**3 + 2*r**2 - r - 9. Is a(4) a prime number?
False
Suppose -2*m + 342 + 172 = 0. Is m prime?
True
Let g(h) = 5*h**3 - 2*h**2 - h - 1. Let b = -3 + 5. Suppose 0 = -6*w + b*w + 12. Is g(w) a composite number?
False
Let r = 210 + -95. Suppose 2*m = -3*m - 2*k + r, -2*m + 2*k + 60 = 0. Is m composite?
True
Suppose 0 = -3*n + 2*v - 21, -3*n - 4*v - 22 - 17 = 0. Let i = 1 - n. Is i a prime number?
False
Suppose 3*l + 0*l = -3. Let q(j) = 239*j**2. Is q(l) composite?
False
Let z(r) = 10*r + 37. Is z(4) a composite number?
True
Let d = 11 - 7. Suppose 0 = -2*m - 0 + d. Suppose -m*u + 254 = 4*r, -r = r + 6. Is u a composite number?
True
Let p(n) be the third derivative of n**6/120 + 3*n**5/20 + n**4/3 - n**3/2 + 2*n**2. Let d be p(-8). Is 1 + d - 4*-3 prime?
False
Let q = -60 + 11. Let s = q + 114. Is s a composite number?
True
Let m(t) = 2*t - t - 6*t - 4*t - 4. Is m(-9) a composite number?
True
Let d = 1906 + -987. Is d a composite number?
False
Suppose 2*o - 2 = 2*v - 4*v, -3*o = -2*v - 23. Suppose -1685 = -o*p - 5*c, -2*p - p + 4*c = -1039. Is p composite?
True
Suppose -9 = 