omposite number?
True
Suppose 3*n = -u + 3*u - 15, -15 = 3*n. Suppose 5*i + 4*g - 2053 = u, 0 = -5*i - g + 162 + 1900. Suppose 4*l = -4*j + 336, 2*l = -5*j + 4*l + i. Is j prime?
True
Let w(k) = k**2 - 16*k + 4. Is w(-13) a composite number?
True
Suppose -a - 4*u + 18 = 0, -2*a - 6 = -3*u + 2. Is a - (-18 - (1 + -2)) a prime number?
True
Suppose -2*h - 180 = -3*c, -3*c - 3*h - 56 + 251 = 0. Let y = c + -19. Is y prime?
True
Suppose -4*r + 696 = 4*g, -r - 3*g = 2*g - 154. Is r prime?
True
Let m(b) = -b**3 + 11*b**2 + b - 9. Let v(u) = -9*u - 1. Let j be v(-1). Is m(j) composite?
False
Is (-715)/(-26)*(1 + 1) prime?
False
Let p = 39 - -76. Is p a composite number?
True
Is -1 + -3 + 244/2 composite?
True
Let w be 7/2*(-24)/(-14). Is 2/w - 369/(-27) a prime number?
False
Suppose -682 = -h + l, 0 = h - 6*h - 3*l + 3386. Is h prime?
False
Suppose 4*s - 2075 = -199. Is s a prime number?
False
Suppose -869 = 3*o + c - 5*c, 0 = -2*o - 5*c - 541. Is o/(-6) - 9/54 composite?
False
Let y = 1705 + 136. Is y a prime number?
False
Suppose 0*s - 4 = -s. Suppose -s*x - 625 - 3 = 0. Let p = x + 266. Is p composite?
False
Suppose 4*t + 4 = r - 6, 3*r = -5*t + 13. Let c = 47 + r. Is c a prime number?
True
Let q be 4/10 + (-1744)/(-40). Suppose u - 129 + q = 0. Is u a prime number?
False
Let f(j) = j**3 - 10*j**2 - 13*j + 8. Let t be f(11). Let a = 5 - t. Is a composite?
False
Let z(f) = 9*f**2 - 2*f + 1. Let y be z(1). Suppose -o + 17 = -y. Is o composite?
True
Let j = -2 + -2. Is 26/j*12/(-6) composite?
False
Suppose -3*u - 5*q + 7330 = 2*u, u - 4*q - 1491 = 0. Is u a composite number?
False
Suppose 2*v - 4 = -2*v. Suppose -g + 2 = 4*y - 8, -4*g = 3*y - v. Is 3 - 1 - -17 - g a prime number?
False
Let g(z) = 513*z - 4. Is g(3) prime?
False
Let l = 36 - -44. Suppose 3*f - 7 = 2*b, -f - 2*f - 4*b = -31. Suppose 5*s - y = l, -y - 31 + 101 = f*s. Is s a prime number?
False
Is 2/3 - 235/(-3) a prime number?
True
Suppose 3 = -2*v + 7. Let r be 1/(-2) - 173/v. Is r/3*10/(-2) a composite number?
True
Is (1 - (-4)/(-2)) + 810 composite?
False
Suppose -4*d = -2232 - 1220. Is d a prime number?
True
Suppose -2*v + 183 = -f, -1 = -2*v - 3. Let m be 3/(426/212 - 2). Let i = f + m. Is i a prime number?
False
Let u be -1*(-44 - (-2)/2). Suppose 3*z + u = l, -5*l = -2*l + 5*z - 101. Is l a prime number?
True
Let u = -3 - -6. Suppose 2*t - 5 + u = 0. Let x(l) = 11*l. Is x(t) a prime number?
True
Suppose -5 = -5*x - 45. Let g = 6 + x. Let a(q) = -4*q**3 - q - 1. Is a(g) composite?
True
Let o(r) = -74*r - 1. Let v be o(1). Let j = 312 + v. Suppose -l - j = -4*l. Is l a prime number?
True
Suppose -3*v - 555 = 4*j, 3*j = -0*v + 2*v + 353. Let d = v - -625. Is d/8 - (-1)/(-2) composite?
True
Suppose -2*r + 1 = 3. Let h be 1 - 1/(r + 0). Suppose -h*w - 2*w = -184. Is w a composite number?
True
Is 311 - -1 - (-2 - -3) composite?
False
Let x(h) = -3*h - 8. Let z be x(-4). Is 191*1*(z - 3) composite?
False
Let a = -3 - -7. Is 87/2 + a/(-8) a prime number?
True
Let y(w) be the third derivative of w**6/120 + w**4/24 + 7*w**3/6 + 3*w**2. Is y(0) composite?
False
Suppose 3 = -5*b + 23. Let h(q) = 6*q**2 + q - q**3 - 5 - 3*q**2 + b*q**2. Is h(6) prime?
True
Let q(l) = 3*l**2 + 20*l + 13. Let y(n) = -2*n**2 - 10*n - 7. Let h(v) = -3*q(v) - 5*y(v). Let g be h(9). Is (g - 2)*34/(-6) prime?
False
Suppose 5*p - 2*h + 1 = 0, -3*p + 5*h + 0 + 7 = 0. Let y = -92 + -36. Is -2 - (-2 + y - p) a composite number?
False
Let c be 1/((-1)/70*-2). Suppose -2 = -0*x - x, x - 8 = -3*r. Suppose c = r*f - 123. Is f composite?
False
Suppose 4*r - 12 = s - 2*s, 0 = 2*r + 2*s - 6. Let i be (r/9)/(2/102). Let j = -10 + i. Is j a prime number?
True
Let m(v) = v**3 - 1. Let a(t) = 8*t**3 - t**2 - 3*t - 5. Let z(j) = a(j) - 4*m(j). Let q = -6 - -9. Is z(q) composite?
False
Let v be ((-33)/(-22))/((-6)/(-8)). Let r(s) = 6*s**2 + s - 7. Let h be r(5). Suppose -v*q = -3*g + h, -4*q - 158 = -5*g + 2*g. Is g composite?
True
Let s(n) = -3*n + 2*n - n**3 + 10 + 7*n**2 + 4*n. Suppose 5*d - h - 2*h - 35 = 0, h - 14 = -2*d. Is s(d) a composite number?
False
Let m(l) = 22*l - 1. Let v be m(5). Suppose -17 = -y - 2*n + 14, -2*n = 3*y - v. Is y prime?
False
Suppose 2*u = 4*m + 174, -m - 2*m - 400 = -5*u. Is u prime?
False
Let f = -80 - -183. Is f a prime number?
True
Let d(n) = -22*n + 1. Let h(b) = 5 - 6 + 4*b + 18*b. Let g(s) = -2*d(s) - 3*h(s). Is g(-1) a prime number?
True
Let f = -253 - -540. Is f a prime number?
False
Suppose 0 = -3*r - 5*r + 18024. Is r a composite number?
True
Suppose -32*o = -35*o + 333. Is o a prime number?
False
Let b(g) = 31*g - 14. Let p be b(-7). Let a = 356 - p. Is a prime?
True
Is (-1)/(-3) + 7516/6 a composite number?
True
Suppose 5*f - 5799 = 2306. Is f a composite number?
False
Suppose -531 = -2*f + 5*b, -3*b - 764 = -3*f - 2*b. Is f a prime number?
False
Let k be 2 + -4 + 0 - -7. Suppose 145 = k*u - 110. Is u a prime number?
False
Suppose -3*i + 343 = 4*r, -3*i - 6*r = -4*r - 341. Let y = i + -58. Suppose 0 = m - 3*h - y, -2*h - 220 = -4*m + h. Is m prime?
False
Suppose 0 = -4*w + 7 + 5. Let n(y) = 4*y**2 + 4*y + 1. Is n(w) prime?
False
Let o be 5/2*8/(-5). Is (o + 10)/2 + 46 composite?
True
Let u(s) = 2*s**3 - s**2 + 1. Let x be u(1). Suppose -x*t = -t + 470. Is 3/(-2)*t/15 a prime number?
True
Let o = 3 + -88. Let i = o - -176. Is i a prime number?
False
Let a = -12 - -17. Let n(d) = 8*d - 7. Is n(a) a prime number?
False
Suppose j = -16 + 118. Suppose -q = 2*x - 67, -5*x + 2*q = -43 - j. Let t = 50 - x. Is t composite?
False
Let x be ((-104)/2 - 1)*-1. Suppose 0 = 3*v + 3*s - 5 + 2, 5*s = 4*v - 40. Suppose -v*q + x = l, 0 = 5*l - l - 12. Is q composite?
True
Suppose -2*v - 62 = -2336. Is v prime?
False
Suppose -5*h = 5*p - 150, -33 = -3*h + 4*p + 57. Suppose c = -c + h. Is (-132)/(-10)*c/6 a composite number?
True
Let g(w) be the third derivative of 5*w**4/12 - w**3/6 + 3*w**2. Is g(5) prime?
False
Let v(y) = 27*y + 8. Is v(5) a prime number?
False
Suppose 3*t - 796 = 7*t + 5*a, 5*a = 20. Let l = t + 549. Suppose j = 6*j - l. Is j prime?
False
Let w(b) = 12*b. Let j(r) = -24*r + 1. Let o be 3/5 - (-60)/25. Let s(f) = o*j(f) + 7*w(f). Is s(3) composite?
True
Let k(q) = q + 7. Let j be k(0). Let u be j + -4 - (-1 + 2). Suppose 0 = 4*n - 3*z - 2, 0 = -z - u*z + 6. Is n composite?
False
Let o(m) = -m**3 - m**2 + m + 251. Is o(0) a composite number?
False
Let t(n) = 0 - 10*n**3 + 10*n**3 - 3*n**3 - 7*n - 3. Is t(-5) composite?
True
Let h = 490 - 243. Is h a prime number?
False
Let a = 292 + -154. Suppose 0 = 5*u + 5*o - 180, -5*o + 11 + a = 4*u. Is u prime?
True
Let l = 1018 + 49. Is l a composite number?
True
Suppose 5*k = -b + 2787, -4*b = -5*k + 1714 + 1063. Is k a composite number?
False
Let s(d) = 2*d**3 - 6*d**2 - 4*d - 1. Is s(6) a composite number?
False
Let q = -8 + -120. Let d = q - -207. Is d a composite number?
False
Suppose 5*g - i - 26 = -4*i, -4*g - 3*i + 19 = 0. Suppose -o + g = 2*n - 38, 4*o = -n + 208. Is o a prime number?
True
Let f(i) = 7*i**2 + 11*i - 31. Is f(-15) prime?
False
Is ((-22)/(-6))/(-4 - 949/(-237)) a composite number?
True
Is (33/6)/(1/22) a composite number?
True
Suppose -5*y + 2901 = 466. Is y a composite number?
False
Let a(m) = m**3 - 5*m**2 + 2*m - 4. Suppose -3*j = -j - 10. Is a(j) a composite number?
True
Suppose 5*t + 5 = 5*k, 5*k - 7 = 2*t + 2*k. Suppose 0 = -t*d - 6 - 10. Is 74/d*(-1 - 1) a prime number?
True
Is 17/(-85)*-1*(1865 - 0) composite?
False
Let i = -179 + 306. Is i a composite number?
False
Suppose -12*b + 9432 = -4476. Is b prime?
False
Suppose 513 = 3*c - 6*c. Let b = -88 - c. Is b composite?
False
Suppose -4*d + 868 = 2*y, 8 = -0*y + 2*y. Is d composite?
True
Let s = 0 + -2. Is ((-4)/8)/(s/56) a prime number?
False
Suppose 0 = 3*b + g - 57 - 167, 0 = 3*g + 3. Let s = b - -14. Is s a composite number?
False
Let v = -2 - -3. Let s = v - 3. Is s*2/(12/(-57)) a prime number?
True
Suppose -5*a + 0 = -5. Let r(v) = 193*v**2 - 13*v + 2. Let d(b) = 96*b**2 - 6*b + 1. Let i(x) = 13*d(x) - 6*r(x). Is i(a) a prime number?
False
Suppose 386 = -3*c - 58. Is c/16*-1*8 a prime number?
False
Suppose -25*v + 53140 = -5*v. Is v a prime number?
True
Let p = 570 + -189. Is p prime?
False
Let j = -5 + 74. Let f = j + -34. Is f a prime number?
False
Suppose 0