e (2 - 4)/(10/(-15)). Suppose -r*x + 7*x - 6236 = 0. Is x prime?
True
Suppose 0 = 10*t - 10410 + 3080. Is t a composite number?
False
Let r = -67 - -166. Let f(c) = -33*c**3 - 2*c**2 - 2*c - 1. Let i be f(-1). Let w = r - i. Is w prime?
True
Let n be 9/(-12) - (-36)/(-16). Is (-3)/(6/(-940)) + n composite?
False
Let c(k) = -k**3 + 2*k**2 - 3*k + 19. Let u(r) = -r - 3*r**3 + 0*r**2 + 2*r**3 + r**2. Let y(x) = c(x) - 2*u(x). Is y(0) composite?
False
Is -1 + -3 - (-440)/4 a composite number?
True
Suppose 4*x - 21528 = -2*d, 9*x - 5*x - 2*d - 21520 = 0. Is x composite?
False
Let j(q) = -213*q + 2. Is j(-3) composite?
False
Let t(z) = z**3 + z**2 + z + 5. Let b be t(0). Suppose -628 = c - b*c. Is c prime?
True
Is (6/(-4))/(-3) - (-11665)/10 a composite number?
True
Suppose 2*b + 3*g + 22 = 0, 3*b + 5 + 6 = g. Let f be (-2)/(b/((-5)/(-2))). Is -13*(f/1 + -2) prime?
True
Let l(q) = -3*q**3 - 8*q**2 + 9*q + 8. Let b be l(-8). Suppose 2*f + f = -2*h + 466, -4*h + b = -f. Is h prime?
True
Let u = -213 + 372. Is u a composite number?
True
Let f = 6 - 20. Suppose -4*c = c + 5. Is c/((1 + 1)/f) prime?
True
Let s be (-56)/(-10) + 2/5. Let i = 3 - -1. Suppose s*x = i*x + 254. Is x a composite number?
False
Suppose 4*u - 2*k = 107 - 25, -91 = -4*u - k. Is 6/(-33) + 1962/u a composite number?
False
Let q = 1640 + -853. Is q a prime number?
True
Let z = -2 + -2. Let m be ((-2)/z)/(5/190). Suppose -o - m = -2*o. Is o a prime number?
True
Suppose -2*h + 10 = -8. Let g = 46 + h. Let u = -21 + g. Is u prime?
False
Let h = 153 + -74. Is h a composite number?
False
Suppose o + 17 - 2 = 5*p, -3*o + 19 = p. Suppose -o*s + s = -292. Suppose 9*n - 4*n - s = 2*z, 0 = -4*n - 3*z + 63. Is n a composite number?
True
Let a(j) = j**3 + 12*j**2 + 12*j - 11. Is a(-10) a composite number?
True
Is (5/(-2))/(2/(-1756)) composite?
True
Suppose 4*b - 2*l - 178 - 238 = 0, -5*b + l = -520. Let t = b - -29. Is t a composite number?
True
Is 15/(-60) - (-282)/8 a prime number?
False
Let z(a) be the third derivative of 1/120*a**6 + a**2 + 0 + 3/2*a**3 - 1/12*a**5 + 0*a - 7/24*a**4. Is z(6) prime?
True
Let v(n) = n**3 + 8*n**2 + 2*n + 4. Let a be v(-8). Let j = -8 - a. Suppose -b = 5*i - 32, -j*b - 4 = -i + 15. Is i prime?
True
Is 42 - (4 + -1) - -4 composite?
False
Suppose -4*v = 2*d - 158, 4*d = -2*v + 24 + 64. Suppose 5*i = 7*i - v. Is i composite?
False
Suppose 0 = 4*h - 2*b - 0*b - 32, 0 = h + 3*b - 15. Let i = -14 + h. Is 15*((-7)/i - 1) a composite number?
True
Let x be (-606)/(-30) + 1/(-5). Let p(v) = v + 10. Let s be p(-7). Suppose -119 + x = -s*a. Is a composite?
True
Let g = 5 + 3. Suppose g*t - 3*t = 1115. Is t composite?
False
Suppose f = -4*c - 19, 43 = -3*c + 3*f + 2*f. Let y = c + 3. Is -11*y/(-9)*-3 a composite number?
False
Let z(c) = -c**2 - 4*c. Let p be z(-3). Suppose -2*t = p*t - 30. Is t composite?
True
Let k = 6 - 4. Let z(g) = -1 - 3*g - k - g. Is z(-6) composite?
True
Suppose -4*t = -3*f - 339, -t + 304 = 3*t + 4*f. Let u = 164 - t. Is u prime?
True
Let h be 4/2*-1 + 289. Suppose 4*v = x - 149, 4*x - h - 246 = -5*v. Suppose -x - 117 = -2*o. Is o a composite number?
False
Let s = -7 + 7. Suppose h - 2*h + 65 = s. Is h a prime number?
False
Let m(a) = a**3 + 11*a**2 + 6*a + 5. Let j be m(-10). Let z be 64/(-3) + (-4)/6. Let k = j + z. Is k a prime number?
True
Is (58 + -4 + -1)*1 composite?
False
Let j(w) = 125*w**2 - 8*w - 4. Is j(3) composite?
False
Suppose -2*l + 5*w = -39, l = -2*w + 5*w + 22. Let m(h) = h**2 - 6*h - 4. Let g be m(l). Suppose o - 2*o = 2*i - 4, 20 = g*i - 2*o. Is i composite?
True
Is -46*(-5)/((-10)/(-13)) a composite number?
True
Let i = -77 - -135. Suppose 11 = 3*a - i. Suppose 2*w - a = -3. Is w a composite number?
True
Suppose -2*i = -0*i - 1174. Suppose k = -2*s + 264 + 323, 0 = k - 2*s - i. Is k composite?
False
Let g be 12/(-8)*1*38. Let n be ((-3)/(-2))/((-3)/(-4)). Is g/(-3) - -1*n composite?
True
Let a(t) = 39*t - 7. Is a(4) a composite number?
False
Is (-68)/6*348/(-8) prime?
False
Let k(i) = 27*i - 8. Is k(17) a prime number?
False
Let f(w) = 2*w**2 - 7*w + 5. Let o(i) = i + 2*i + 5*i**2 - 7 - i**3 + 0*i. Let r be o(5). Is f(r) a composite number?
True
Suppose -5*f = 5, -3*f + 712 = 4*p + f. Is p a prime number?
True
Let a(i) = -100*i - 74*i - 161*i - 1 + 2. Let m be a(-1). Is m/9 - (-1)/(-3) prime?
True
Suppose 6*c = 5*n + 2*c - 1503, -2*c = -2*n + 600. Is n a prime number?
False
Suppose 0 = 2*j + 3*q + 14, -3*q = -2*j - 36 + 10. Let t be 51*(-3)/(9/j). Is ((-8)/(-10))/(4/t) prime?
False
Is -2 - (-14)/6 - 2036/(-3) a composite number?
True
Is -3*11*(-8)/12 a prime number?
False
Let s be 3*-1*4/(-6). Suppose 6 = s*a - 0*a. Suppose 2*h + g = 3*h - 61, -a*g + 337 = 5*h. Is h composite?
True
Is 73 + 2 + (-6 - -10) prime?
True
Let f = 229 + -102. Is f a prime number?
True
Let l(w) = w - 8. Let p be l(9). Is p/(-2)*18/(-1) a composite number?
True
Let d = -9 - -2. Let u(g) = g**2 + 7*g + 5. Let m be u(d). Suppose 2*j + 4*a = 3 + 3, 75 = 5*j - m*a. Is j composite?
False
Let f(r) = 3*r**2 + 2*r + 1. Let z be f(-1). Let i = z + -2. Let l(k) = -k + 11. Is l(i) a composite number?
False
Suppose 2*g + 18 - 236 = -4*k, 0 = -5*k - 4*g + 277. Is k a prime number?
True
Suppose 2*l + 3*b + 3 = -3, -l = 4*b + 13. Suppose 105 + 27 = 2*t. Suppose l = 3*a - t. Is a composite?
False
Suppose -5*f = 3*h - 4, 2 = -2*h - 2. Suppose 3*n + f*n + 55 = 0. Is (-2)/(n/(-13) - 1) prime?
True
Let k be -1 + 1 + -3 + 5. Suppose k*o - o = 2. Suppose 307 + 15 = o*y. Is y a composite number?
True
Suppose -5 + 3 = 2*v. Let g = 40 + -29. Is (-2 - -3 - g)/v a prime number?
False
Let p(i) = 3*i**2 - 7*i + 7. Let b(a) = a**3 - 3*a**2 - 2*a. Let n be b(4). Is p(n) a prime number?
False
Let x = 306 + -215. Is x prime?
False
Suppose -5*f + 8*f + 3 = 0. Let b be 10*(-3)/(f + 4). Is (-1 - 4)*52/b a composite number?
True
Let b be 2 - (342/(-3) + -2). Suppose -2*q + b = -0. Is q a prime number?
True
Let z = 60 + -42. Suppose -47 - z = -o. Is o composite?
True
Let s(n) = -n**3 + 16*n**2 - 19*n - 14. Is s(12) a composite number?
True
Let i(f) = -3*f + 3. Suppose 12 = -0*a + 4*a. Let o be i(a). Let q = 9 + o. Is q composite?
False
Let u(s) = s**3 + 14*s**2 - 16*s + 1. Let y(k) = -k + 9. Let h be y(7). Let m(z) = -3*z**2 + 3*z. Let w(p) = h*u(p) + 11*m(p). Is w(3) composite?
True
Suppose -5*i + 0*i = 0. Let d(r) = 2*r**2 - 3*r - 4. Let y be d(3). Suppose -5*v = -y*q - 200, -4*v + v + 5*q + 114 = i. Is v prime?
True
Let m = 7 - 5. Let b(g) = -2 - m + 5 + 33*g. Is b(1) composite?
True
Suppose x - 23 = 3*x + i, 0 = 3*x - 4*i + 29. Let f = x + 163. Suppose 0 = -4*t + f - 12. Is t a prime number?
False
Let h = 44 + -10. Is h prime?
False
Let b(c) = -c**3 + 4*c**2 + 2*c - 3. Let f be b(4). Is f/10 - (-613)/2 composite?
False
Let v = -10 + 17. Let b(s) be the first derivative of 2*s**3/3 - 5*s**2/2 - 10*s - 1. Is b(v) composite?
False
Let y be (6/(-9)*3)/1. Let h(s) = -2*s**2 - 4*s - 2. Let o be h(-4). Is 0 + o/(-2) + y a prime number?
True
Suppose 5*r - 2209 = -254. Is r a prime number?
False
Let t = -6 + 8. Suppose -3*l = 3*f + 15, t*l = 2*f - 0*l - 10. Suppose -n + 4*r = -11 - 10, f = n - r - 21. Is n composite?
True
Suppose -9*g + 1761 = -6*g. Is g a prime number?
True
Let o(s) = -15*s + 12. Let q be (-1)/6*-3*-10. Is o(q) composite?
True
Suppose -6277 = -7*n + 5*n + 3*v, 0 = n - 4*v - 3141. Is n prime?
True
Let m = -905 + 1303. Is m a prime number?
False
Is (-3*1/(-3))/(2/1130) composite?
True
Let f = 233 + -100. Is f a prime number?
False
Let h = 343 - 140. Is h prime?
False
Let s(l) = -6*l. Let m be s(-2). Suppose -16 = -3*d + 3*q - q, 2*q + m = d. Suppose -46 = -d*x - 0*x. Is x composite?
False
Suppose 0 = -13*m + 12*m + 701. Is m a composite number?
False
Let p = 1 + -6. Let x(f) = -7*f + 4. Is x(p) prime?
False
Let y(n) = 137*n - 47. Is y(8) a composite number?
False
Let o = -129 - -240. Is o a composite number?
True
Suppose -2*m + 186 = 2*g, 4*g - 148 = 4*m - 520. Is m a prime number?
False
Let j be ((-7)/14)/(1/(-26)). Let l = 44 - j. Is l a prime number?
True
Is 1643/7 + 14/49 composite?
True
Suppose 6*i - 373 = 4*i + 5*p, -206 = -i - 4*p. Is i a composite number?
True
Suppose -5*o - 5 = u, -4*u - 4*o + 6 + 6 = 0. Suppose -u*q - 4*c = -31, -q + 2*c = -11 + 2. Is q a prime nu