 1076. Is a a composite number?
True
Suppose -3*b - 3 = -0*b, 2*y + 3*b = 29387. Is y a prime number?
False
Let r = -61 - -154. Is r a prime number?
False
Suppose 0 = -10*v + 26250 + 13100. Is v composite?
True
Suppose 0 = f - 101 - 192. Is f composite?
False
Let w(c) = c**3 - 2*c**2 - 14. Is w(9) a prime number?
False
Let k = -350 - -144. Is (k/4)/(10/(-20)) prime?
True
Is (90 - -1) + (-1 - -1) + -4 a composite number?
True
Let o be (0 - 0) + 1*208. Let g(w) = w - 1. Let u be g(3). Suppose h - u*k = k + o, h - 5*k = 214. Is h a composite number?
False
Suppose 3*w - 5*b - 3042 = -0*w, 4*w = b + 4039. Is w a prime number?
True
Let t be 1 + 3*2*-1. Let d = 1 + t. Is 90/4 - (-2)/d a prime number?
False
Suppose -r + 921 = 5*f, -4*f + r + 3*r + 756 = 0. Is f a prime number?
False
Let k(m) = 5*m**2 + 15*m - 13. Is k(11) a prime number?
True
Suppose -4*c - 2*a + 102 = -70, -5*c + 5*a = -200. Let x = c + -26. Is 100/x + 6/8 composite?
False
Let l = 323 + -74. Is l a composite number?
True
Let g(q) = 17*q**2 + 5*q - 2. Let y(s) = 18*s**2 + 6*s - 2. Let k(u) = 6*g(u) - 5*y(u). Is k(-2) a prime number?
False
Let f(w) be the second derivative of 3/2*w**2 + 2*w + 7/12*w**4 + 0 + 1/2*w**3. Is f(4) a composite number?
False
Suppose 0 = 7*k - 3*k - 8. Suppose 0 = -k*d - 0*d + 38. Is d prime?
True
Let b(i) = 123*i + 29. Is b(4) composite?
False
Suppose -g + 75 = 3*b - 5*g, -3*b = g - 75. Let p(q) = q**2 + 7*q + 6. Let r be p(-6). Suppose -5*v - b = r, -4*c + 127 = 5*v + 12. Is c a composite number?
True
Suppose 4*y = -12, 0 = 3*s + 4*y - 0*y + 3. Suppose 0 = -4*j - s*q - 51 + 150, -2*q = -10. Is j composite?
True
Suppose 3*b = 163 + 440. Suppose b = x + 2*x. Is x composite?
False
Let m(i) be the first derivative of -7*i**6/40 - i**5/30 - i**4/12 - i**3/6 + i**2 + 1. Let t(h) be the second derivative of m(h). Is t(-2) composite?
False
Let x be (6/(-10))/(1/5). Let f be ((-1)/3)/(x/36). Suppose 5*c = f*c + 161. Is c a composite number?
True
Let s(q) = q + 23. Let u be s(0). Suppose -u = -f + 12. Is f composite?
True
Suppose 0 = -14*t + 5125 - 491. Is t a prime number?
True
Let j = 17 + -66. Is (-1 - 2)*j/3 a composite number?
True
Suppose 0*l + 2*l - 54 = 0. Suppose y = -67 - l. Let f = y + 209. Is f a prime number?
False
Let n = 101 + -149. Let y = 18 - -89. Let w = y + n. Is w composite?
False
Suppose -275 = -2*z + 321. Is z a composite number?
True
Let r = -27 - -75. Suppose -3*a = -a - r. Is (-229)/(-6) + (-4)/a a composite number?
True
Let r be 1*-337 + 8/(-4). Is r*((-5)/3)/5 a composite number?
False
Let v(w) be the first derivative of -5*w**2/2 - w + 1. Let d(g) = -g**3 + 2*g**2 - 4*g. Let t be d(2). Is v(t) composite?
True
Let d = 1819 + -1170. Is d a prime number?
False
Suppose 2*t = v + 11, 0 = -3*t - 2*t - v + 24. Suppose 5*w - 55 = -4*j - 0*w, 0 = -t*w - 5. Is (j/(-6))/(2/(-44)) a composite number?
True
Let x be 16444/12 - 6/(-9). Is x/27 + (-2)/(-9) prime?
False
Let p be 2/8 - 110/(-8). Let u be (-30)/(-7) - 4/p. Suppose 275 = u*b + b. Is b a composite number?
True
Suppose -2*z - 4*w + 179 = 5, 297 = 3*z - 3*w. Let a = -65 + z. Suppose -2*n + a = b + 2*b, 3*b = 5*n - 75. Is n a composite number?
True
Suppose -70*w = -72*w + 318. Is w a prime number?
False
Let n be (-717)/15 - 2/10. Let r = n + 139. Is r composite?
True
Let h(i) = 18*i**2 + 3*i + 1. Let z be h(3). Suppose -4*k = 3*w - 0*k - 110, k - z = -5*w. Is (w/3)/((-4)/(-42)) a composite number?
True
Is ((-2)/6)/(4/(-15036)) a prime number?
False
Let d(o) = -o**3 - 8*o**2 - 1. Let p be d(-8). Let s be (-12)/(-1 - (-3 - p)). Let m = s + 26. Is m composite?
True
Suppose 0 = 27*s - 26*s - 89. Is s a prime number?
True
Let g = -134 - -421. Is g composite?
True
Suppose -5*v + 161 = -249. Let x = v - 33. Is x prime?
False
Let o be ((-2)/(-2) - 0) + 3. Let f(z) = -4*z - 6*z + o + 47*z. Is f(3) a composite number?
True
Let u = 47 + -23. Let f = 93 - u. Is f a prime number?
False
Let b = 90 - 192. Is 1*b/(0 - 3) prime?
False
Suppose 2*j + 3 = l - 2*l, 5*j + 9 = -3*l. Suppose -4*c + 136 = -j*c. Is c prime?
False
Let d(z) = -6*z - 62. Let a(i) = -7*i - 63. Let v(o) = 5*a(o) - 6*d(o). Suppose -q = -4*q. Is v(q) prime?
False
Let n be 81/12 - 2/(-8). Let m = n + 30. Is m composite?
False
Suppose 5*l - 6 = -2*a - 0*a, -l + 10 = -4*a. Suppose l*d - 293 = -0*d + z, 2*d - 2*z - 288 = 0. Is d composite?
False
Suppose 3*o - 8*o + 2365 = 0. Is o a composite number?
True
Suppose 2*l - 8 = 5*m - 44, 3*l - 22 = -2*m. Let s(d) = 8*d - 11. Is s(m) composite?
False
Suppose z - 2*b - 25 = 90, 4*b = 3*z - 351. Is z a prime number?
False
Suppose 0 = k + 2*k. Suppose -3*h + h - 4*i + 20 = k, -10 = 4*h - 2*i. Let s(a) = -a**2 + a + 6. Is s(h) composite?
True
Let j be 5/((-1)/(-1 - 30)). Suppose -7*r + 2*r + j = 0. Is r a composite number?
False
Suppose -4*m + 10 = m. Suppose -2*u = c - 175, c - u - 180 = -m*u. Is c prime?
False
Suppose 8*x - 8131 = 3061. Is x composite?
False
Suppose -v - 5*k + 14 + 2 = 0, 4*v + 3*k = 47. Is v prime?
True
Let g = 12 + 9. Suppose 3*a - l + 142 = g, -a - l - 47 = 0. Is (-2)/(4/a) - 0 composite?
True
Let n(r) = r**3 + 7*r**2 - 5*r - 2. Let t be (-3)/(-6)*1*6. Suppose 5*l = t*l - 2*p - 18, -3*l + 5*p - 11 = 0. Is n(l) a prime number?
False
Suppose 3*d = 5*d - 606. Is d composite?
True
Let j(t) = t + 145. Suppose 0 = -0*q - q + 2, -4*m = 5*q - 10. Is j(m) prime?
False
Suppose 0 = -2*b - b + 2043. Is b a prime number?
False
Suppose 2*x = 7*x + 50. Let s(p) = p**2 + p - 7. Is s(x) composite?
False
Let u be (4 + -2)/2*11. Is u - 3/3*1 a prime number?
False
Let z be 2/6 - 6/(-9). Let v(q) be the first derivative of 15*q**2 + q - 2. Is v(z) a prime number?
True
Suppose 8*z = 75 + 109. Is z a prime number?
True
Is (4482/81)/(2/39 - 0) a prime number?
False
Let j = -213 - -97. Let p = 365 + j. Let y = p - 172. Is y a prime number?
False
Is (-14631)/(-5) - (-8)/10 a composite number?
False
Let a = 5 + -3. Let j(l) = 2*l**2 + a - 4 + 3 + 14*l**3. Is j(2) composite?
True
Let n(k) = k**2 - 8*k + 2. Let a be n(8). Suppose -3*h = -12, 5*p + 2*h = -a*h + 271. Is p composite?
True
Suppose -3*u - 357 = -1425. Suppose 0 = -2*r, 4*k - r - u = -4*r. Is k a prime number?
True
Let u(p) = 8*p**2 - 9*p + 2. Is u(7) prime?
True
Suppose -4*b + b - l = -547, b - 2*l - 194 = 0. Suppose -v = -5*v + b. Let z = -25 + v. Is z composite?
True
Suppose 5 = -4*n - 11. Let i(x) = x**3 + 7*x**2 + 5*x + 3. Let c be i(n). Suppose -3*s - 4*w + 126 = 0, 0 = s + 2*w + 3*w - c. Is s prime?
False
Let y(t) = t**3 + 8*t**2 - 11*t - 11. Is y(-8) prime?
False
Suppose 3*n - 2 = 2*n. Suppose 0*k - n = 4*k + 3*b, 3*k + 3 = -3*b. Is 2 + -4 + 69*k composite?
False
Suppose -372 = -4*p - 0*p. Is p a composite number?
True
Let f = 2311 - 330. Is f a composite number?
True
Let r = 7 + -5. Suppose 0 = -3*y + r + 10. Suppose -y*z + 5*o + 0*o = -43, z + 3*o = -2. Is z composite?
False
Let z(k) = 606*k + 1. Is z(3) a prime number?
False
Let z(b) = 9*b**2 + 0*b + 3 - 4*b + 3 + 0. Is z(5) prime?
True
Is 4 + -1 - (-554 + 30) a composite number?
True
Let q(a) = 6*a**2 - 6*a + 7. Is q(5) a prime number?
True
Let o(q) = -51*q**3 + 9*q**2 - 2*q - 3. Is o(-5) a prime number?
True
Let j = -6 - -16. Suppose -2 = -4*o + j. Suppose -o*w - w + 148 = 0. Is w prime?
True
Suppose 3*h = 6*h. Suppose h = x - 2*o - 325, o = 4*x - o - 1330. Is x a prime number?
False
Suppose 2*l - 192 = -2*m + 212, 3*m + 2*l - 605 = 0. Let c = m + -116. Is c composite?
True
Let p(d) be the first derivative of -2*d**2 - 3. Let u be p(-1). Suppose 0 = -3*l + u*l - 83. Is l composite?
False
Let f be (22/(-6) - -2)*3. Is (-10)/(-4)*(-76)/f prime?
False
Let g(d) = -d**3 - 6*d**2 - 6*d - 1. Let v be g(-4). Let x = v - -14. Is ((-1)/(-1))/(x/35) prime?
True
Let g = -1268 - -755. Let d = 846 + g. Suppose q + d = 4*q. Is q a composite number?
True
Let k = -43 - -65. Let f(p) = k*p**2 + 0 - 1 + 14*p**2. Is f(1) prime?
False
Suppose -z + 2554 = -2*g, z - 4*g = 927 + 1627. Is z a prime number?
False
Let j(v) = -v**2 + 7*v + 1. Let k be j(5). Is k/(4/(60/3)) composite?
True
Let s(t) be the second derivative of -t - 1/12*t**4 + 0 - 13/6*t**3 + 7/2*t**2. Is s(-10) a composite number?
False
Suppose -2*i - 2*r = 3*i, -4*r - 22 = -i. Suppose -4*g = -3*y - 376, 0 = i*g + y + 4*y - 214. Is g a prime number?
