 a composite number?
False
Suppose -3*j - 20 = -8*j, l + j - 135 = 0. Is l a prime number?
True
Let z be 2 - 1/((-3)/(-1182)). Let b = -265 - z. Is b a prime number?
True
Let d = 4 + -2. Suppose -d*j - 1 = -5. Suppose j*f - 48 = 58. Is f composite?
False
Suppose -9*d = -6*d - 6. Suppose -3*t + 12 = -9. Suppose -d*h - 175 = -t*h. Is h a prime number?
False
Suppose 7*r = -2*r + 4041. Is r a composite number?
False
Suppose -i = 2 - 1, -2*j = -2*i - 300. Is j a composite number?
False
Let w = 17 + -11. Suppose 0 = -w*z + 4*z + 1018. Is z composite?
False
Let m(g) = 107*g + 14. Is m(7) prime?
False
Let u(n) = -n - 7. Let g(s) = 3*s + 13. Let x(j) = -2*g(j) - 5*u(j). Let i be x(5). Suppose m - 255 = -i*m. Is m composite?
True
Let z(n) = 2*n**2 + 10*n + 17. Let p(y) = -y**2 - 5*y - 8. Let q(s) = -13*p(s) - 6*z(s). Let t be q(-5). Suppose -111 = -t*w - w. Is w composite?
False
Let a(g) = -g + 11. Let f be a(9). Suppose -178 = -4*y - 2*b, -f*b + 5*b + 9 = 0. Is y a prime number?
False
Suppose -2*n - 44 = 3*j - 7*j, j - 5*n - 20 = 0. Suppose -5*u - j = 0, -112 = -4*k + 2*k + 3*u. Is k a composite number?
False
Suppose z = -6*q + q + 28, 8 = z + q. Suppose -5*d = v - 30, -v = -z*d - 2*d + 40. Is d a composite number?
False
Let q(j) = -2*j - 5. Let o = 7 + 8. Let d = o + -21. Is q(d) prime?
True
Is 3/(-9)*1*-393 a prime number?
True
Let r(p) = p**2 - 3*p + 9. Let b(m) = -6*m**2 + 14*m - 45. Let k(g) = -2*b(g) - 11*r(g). Is k(-8) composite?
True
Is ((-1)/2)/(4/(-152)) prime?
True
Let l(k) = k**2 - 6*k + 9. Let x be l(-9). Suppose n - 4*f - x = -2*n, n - 3*f = 53. Suppose 0 = 4*r - 152 - n. Is r a composite number?
True
Let l = 89 - 127. Let h = l + 25. Let a = h - -50. Is a composite?
False
Let f(w) = 24*w - 13. Is f(8) a composite number?
False
Suppose -4*y + 5*p - 5 = 0, -3*y + 0*y + 1 = p. Let r(o) = o**2 + o + 23. Let n be r(y). Is n/(2 + -2 + 1) a prime number?
True
Let b = 66 - 38. Suppose 2*w - 38 = b. Is w composite?
True
Suppose -p - 250 = -3*p. Let x = 47 + 13. Let n = p - x. Is n prime?
False
Let m = -2 - -4. Suppose -5*l = -m*b - 3*b + 1445, -4*b + 2*l = -1164. Is b composite?
False
Let i = -620 - -2467. Is i composite?
False
Let j be ((-3)/5)/(4/(-20)). Suppose -2*d + 565 = j*d. Is d a composite number?
False
Let q(x) = -x**2 + 7*x - 5. Let n be q(5). Suppose 3*k - 19 = -n*g, g + 4*g - 7 = k. Suppose 2*c - 102 = 5*w, 0 = g*c - 4*c - 5*w + 82. Is c a prime number?
False
Let k(b) be the second derivative of b**5/20 + b**4/6 + b**2 - 2*b. Let m be k(-2). Is -3*m/3*-5 a prime number?
False
Let o = 2511 + -1268. Is o prime?
False
Let w(h) = h + 9. Let n be w(-6). Suppose z - n*d - 88 = -2*d, -d + 98 = z. Is z composite?
True
Let j be 5/((-10)/(-12)) + -2. Is (1 + -15)/(j/(-14)) a composite number?
True
Is -2*1*(-7096)/16 a prime number?
True
Let m be -5*10/(-3)*3. Let c = -69 - -41. Let a = m + c. Is a a prime number?
False
Let o = -19 + 28. Let z = 10 + o. Is z prime?
True
Suppose 3*x = 4*d - 2071, -2*x - 1550 = -3*d - 3*x. Is d composite?
True
Let y(v) be the second derivative of v**3/3 - 3*v**2 - v. Let g be y(5). Suppose 198 = 2*k - g*l, 0*l + 16 = -4*l. Is k composite?
True
Suppose 267 - 1201 = -2*z. Is z composite?
False
Suppose -8*s - 2881 = -9833. Is s prime?
False
Suppose 0 = -4*u - 4*z + 28, -3*u + 5 = -5*z. Suppose 2*x = u*y - 3*y + 78, -5*x + 3*y + 195 = 0. Is x a composite number?
True
Let s(y) = 38*y**2 + 2*y + 1. Let n be s(-1). Let f be 6/(-2) - (-92)/(-4). Let t = n + f. Is t composite?
False
Let l(n) = -2*n + 2*n - n. Let a be (2/6)/(1/(-21)). Is l(a) composite?
False
Let m be -2235*(-1 + -1)/6. Suppose -5*q = -0*q - m. Is q composite?
False
Suppose -o = -2*w - 0*o - 3, 5*w = 3*o - 9. Suppose w*h + 5*h = 2*q + 1741, -2*h + q = -697. Is h a prime number?
True
Suppose -911 = -2*s - q + 43, -2383 = -5*s - 2*q. Suppose 0 = -t - 4*t + s. Suppose -20 = 5*c - t. Is c a composite number?
True
Let a(b) = 5*b**2 + 2*b - 2. Is a(7) a prime number?
True
Is 699/(-6)*-4 + 1 a prime number?
True
Let m = -39 - -132. Is m composite?
True
Let j(o) = 245*o**2 + o - 4. Is j(-2) composite?
True
Let z(w) = w**3 - 4*w**2 + w + 1. Let d be ((-4)/10)/((-7)/105). Is z(d) prime?
True
Let t(c) = 8*c**3 - 1. Let z be t(3). Let l = z + -24. Is l a composite number?
False
Let i(z) = z - 1. Let n be i(4). Suppose 6 = -5*b - 5*u + 31, -n*b + 9 = -3*u. Is b a prime number?
False
Let m(j) = -j**2 + 19*j - 15. Is m(16) a prime number?
False
Let a = 13 + 9. Suppose 233 = 3*x - a. Is x composite?
True
Let h = 28 - -135. Is h composite?
False
Let o be ((-10)/(-1))/(-2) + 2. Let c be o/1 - (2 + -10). Suppose 0*h - c = x + 5*h, 5*h = -5*x + 55. Is x a composite number?
True
Let j(t) = 3*t**2 + 17*t - 23. Let y(a) = -a**2 - 6*a + 8. Let l(p) = 6*j(p) + 17*y(p). Let k be l(4). Suppose 4*r - 600 = -s, -k = r + 4*s - 179. Is r prime?
True
Suppose 17 - 1 = 4*l. Suppose 0 = -l*g - h + 15, -24 = g - 6*g - 3*h. Is 7*(g - (2 + 0)) a composite number?
False
Let y(a) = 34*a + 7. Let z(t) = t + 1. Let k(o) = -74*o - 19. Let f(x) = k(x) + 5*z(x). Let d(p) = -4*f(p) - 9*y(p). Is d(-7) composite?
True
Suppose 2*p + 5167 - 645 = 0. Is (p/14)/(2/(-4)) a prime number?
False
Suppose 0 = -5*z + x + 5032, 4*z + 3*x + x = 4016. Suppose 330 = -4*i + z. Is i a composite number?
True
Is 2 + (1 - 1) - -65 a prime number?
True
Let k(q) = q**2 + q + 1061. Is k(0) composite?
False
Let l(r) = r**3 - 10*r**2 - 9*r. Let g be l(-8). Let j be ((-4)/6)/(5/g). Suppose 3*u - 3*v = j, v - 6*v = -3*u + 142. Is u prime?
False
Suppose x = -j + 909, -2835 = -4*j - 5*x + 803. Is j a composite number?
False
Let z(x) = -x - 12. Let s be z(-12). Suppose -n - 2 = -s*n. Is (40 - n)/(0 + 2) prime?
False
Let f(v) = 8*v**2 + 6*v - 7. Suppose 0 = 5*z + 29 - 4. Is f(z) composite?
False
Let j(c) be the first derivative of 7*c**2/2 + 4*c - 7. Is j(6) a composite number?
True
Let z(r) = -r**2 - 9*r + 5. Let f be z(-7). Suppose -x + f = -0*x. Is x a prime number?
True
Suppose 1656 = -0*d + 2*d. Let f = -220 + d. Suppose -5*z - 163 = -f. Is z a prime number?
True
Suppose -2*u - 31 = 5*m, 2*m - 3 + 9 = 0. Let o(i) be the first derivative of -2*i**2 + 3*i + 1. Is o(u) a prime number?
False
Let k(l) = 4*l**2 + l - 1. Let b be k(1). Suppose -t + 81 + 45 = b*y, -y = -3*t - 25. Is y a composite number?
False
Let p be 2/(-2) + 3 - -1. Let b(g) = 18*g**2 - g + 4. Is b(p) prime?
True
Let c = -333 + 776. Is c prime?
True
Let p = -65 - -133. Suppose v - f - 10 = 0, -5*v + p = 4*f - 9. Is v prime?
True
Let l(d) = -4*d**2. Let q(v) = v**2. Let z(p) = 3*l(p) + 24*q(p). Let t be z(-2). Let m = -27 + t. Is m composite?
True
Suppose -5*u - 11 = -3*n + 16, n - 10 = 2*u. Suppose 3748 - 1416 = n*y. Is y prime?
False
Suppose -3*v = 2*d + d - 21, -3*v + 11 = -2*d. Suppose -10 = -d*b, -4 + 1 = r - b. Suppose r*i - 32 = -12. Is i a prime number?
False
Suppose -k + 2*i + 1538 = 3*k, -5*i + 357 = k. Is k a composite number?
True
Suppose 1850 = 2*g - 0*g. Suppose -4*v + 247 + g = 0. Is v a prime number?
True
Let r(y) = -y**3 + 7*y**2 - 1. Let p be r(7). Is (p/2)/(7/(-266)) composite?
False
Is 1670/15 + 2/(-6) composite?
True
Let v(b) = 40*b**2 - 12*b - 5. Is v(-5) composite?
True
Is 483 - (-4 + 3 + -1) a composite number?
True
Is (3466/4 - 0)/((-5)/(-10)) prime?
True
Let b = -20 - -35. Suppose 0*f + b = f. Is f composite?
True
Is ((-6)/(-4) + -1)*654 a composite number?
True
Suppose 0 = 3*p + 4*b - 997 - 5576, 3*p - b = 6573. Is p composite?
True
Let l = 59 + 20. Is l a prime number?
True
Let v(p) = p**3 + 3*p**2 + p - 2. Suppose -10 = -5*i - 5*s, 2*i + s - 1 = 3. Suppose -12 = -i*u - 3*l, 7*u - 4*u - 11 = -l. Is v(u) a prime number?
False
Let u(j) = j**2 - 6*j - 1. Let v = 5 + 3. Is u(v) prime?
False
Let t(q) = 61*q + 2. Is t(3) composite?
True
Let w = 345 + -14. Is w composite?
False
Let d(f) = 2*f - 6. Let t be d(4). Is 2 + 82 + (-2)/t a prime number?
True
Suppose -3*j - t + 170 = 0, -j + 300 = 4*j + 5*t. Is j composite?
True
Suppose 0 = -q + 3*t + 688, 754 = 2*q + 2*t - 582. Is q prime?
True
Suppose j + 5*h = 5, 4 = 2*h + 2. Suppose -5*s + 4*g - 258 - 12 = j, 0 = 2*s + 5*g + 75. Let l = s - -87. Is l a prime number?
True
Suppose 0 = -4*j + d + 137, 2*d - 7*d = 2*j - 41. Is j prime?
False
Suppose -3*c = -5*w - 28, -5*c + 4*w + 30 = -w. Let z be c