 v - -521. Is u a composite number?
True
Let c(g) = 1406*g - 17. Is c(3) composite?
False
Suppose 15*p + 12 = 19*p. Suppose -2*h = 2*f - 5*f - 2997, -4496 = -p*h + 5*f. Is h a prime number?
False
Suppose -2*a - p = -306, 2*p - 758 = -5*a + 3*p. Suppose z + 5*b - a = 0, 0*z - 3*z + 4*b = -475. Is z prime?
True
Let w(t) = -50*t - 7. Is w(-10) prime?
False
Let z(o) = 4*o + 2*o + 1 - 7*o + 5*o + 100*o**2. Is z(2) a composite number?
False
Suppose -4*y = -6*y + 4. Let v(s) = -27*s + 8. Let t be v(-5). Suppose -x - 4*o + t = 0, -y*x = -6*x + 3*o + 667. Is x a prime number?
True
Let o(d) = d. Let i be (-2 + (4 - 1))*2. Let w be o(i). Suppose -n - 4*k - 2477 = -4*n, w*n - 1654 = 2*k. Is n composite?
True
Let a(b) = 2*b**2 - 7*b + 1. Suppose 2*r = 2*h - 2 - 2, 0 = -4*h - 4*r + 32. Let c be a(h). Suppose j - 62 = -c. Is j a prime number?
False
Is (-597916)/(-66) + (-1)/3 a prime number?
True
Suppose 2*v - 26 = k - 185, 0 = 4*k - 4*v - 656. Suppose 4*l = 2*u - 8 - 8, 3*l + 14 = 2*u. Suppose 0 = 3*t - u*t + k. Is t composite?
True
Let s = 5380 + 4749. Is s a prime number?
False
Let k = 6505 - 4367. Is k composite?
True
Let g = 3234 - 2103. Let a = -498 + g. Is a a prime number?
False
Let q(i) = -342*i + 29. Is q(-7) prime?
True
Let d(b) = b**3 - 12*b**2 + 10*b + 19. Let s be d(11). Suppose -3*h + s*h = 25, h = 5*a - 700. Is a a composite number?
True
Let w = -50 - -98. Suppose 46 = -5*l + 3*g, 3*l = -0*l - 5*g - w. Let m(o) = o**2 - 10. Is m(l) composite?
True
Let g = 967 + -594. Suppose 3*v + 70 + 66 = w, g = 3*w - 2*v. Is w prime?
False
Is (-1)/(-8) + (12754896/(-128))/(-11) prime?
True
Suppose 82676 = 14*c - 8114. Is c a composite number?
True
Let a be 1/(((-2)/8)/(7675/(-4))). Suppose 0 = -2*w - 3*w + a. Is w composite?
True
Let s(h) = 0*h + h**2 + h + 0*h - 3 + 6 + h**3. Let j be s(0). Suppose -j*m + 1107 = -96. Is m composite?
False
Let w(n) = 31*n - 5. Let m(y) = -31*y + 4. Let c(b) = -2*m(b) - 3*w(b). Let k be c(-8). Suppose -5*t = -2*t - k. Is t prime?
False
Let z(o) = -1962*o + 55. Is z(-2) prime?
False
Let u(a) = a**2 + 3. Let v be u(-2). Is (0 + v)*(-72)/(-56) prime?
False
Suppose 2261 = 10*g - 1869. Is g prime?
False
Suppose -20 = -5*k, -2*k = -x - 5041 + 16470. Is x a composite number?
False
Let y = 200 + -381. Let t = -107 - y. Is t a prime number?
False
Let v be 4/(-2)*(-3)/(-2). Let o(c) = -12*c**3 - c**2 - c + 4. Let k be o(v). Suppose 4*r + k = 6*r. Is r a composite number?
True
Let v = -152 - -152. Suppose -t + 4*n = 6, -t + n + 8 = 4*t. Suppose v = t*r - 241 + 67. Is r composite?
True
Suppose -19708 = -4*k - 5*q, 3*q + 24648 = 5*k + 6*q. Suppose 0 = 7*f - k + 361. Is f a prime number?
True
Let g = 18 - 14. Suppose 14 = 5*p + g. Suppose 3*b = 3*t + 1272, -p*b + 6*b - 5*t - 1701 = 0. Is b composite?
False
Let r(t) = t**3 + 10*t**2 + 8*t + 2. Let w be r(-9). Let k be w/(44/3576) + 1. Is 2*(k/2 + -3) prime?
False
Let m be (1 + 11)/(3/2). Let i(t) = 5*t**3 - 3*t**2 + 8*t - 1. Let l(r) = -6*r**3 + 3*r**2 - 9*r + 2. Let c(x) = 5*i(x) + 4*l(x). Is c(m) a composite number?
True
Suppose 0 = j - 0*j - 3. Suppose 0 = j*a + a - 4460. Suppose 4*o + 5*p = 896, 0*o - 5*p + a = 5*o. Is o composite?
True
Suppose -6*p + 97 = -413. Suppose -3*v - 2*v = p. Is v/(-1)*50/10 composite?
True
Suppose 119*s - 114*s - 21955 = 0. Is s a prime number?
True
Let q = -1859 - -2738. Suppose p + 2*p - q = 0. Is p prime?
True
Suppose -2 = -a + 3. Let l be (-2 + a)/(-8 - -9). Suppose l - 9 = 3*k, 4*d = 4*k + 652. Is d prime?
False
Let v(y) = y + 2. Let q be v(5). Let j be ((-22)/(-3))/(q/714). Suppose -6*a + j = -2*a. Is a a composite number?
True
Let k(x) = 251*x + 6. Let g be k(5). Suppose -1961 = -4*u - q, -5*q + g = 3*u - 214. Suppose -t - u = -3*z, 651 = 4*z + t - 0*t. Is z a composite number?
False
Let d(j) = -15 - j - 5*j + 161*j**2 + 13 + 2*j. Is d(-1) composite?
False
Let q(j) = 15*j - 3. Let w be q(3). Let y be (-8968)/(-28) - 12/w. Suppose y = 4*x - 444. Is x composite?
False
Let v(w) be the second derivative of 1/3*w**3 + 11/12*w**4 + 5*w + 0 + 11/2*w**2 - 1/20*w**5. Is v(9) a composite number?
False
Let a = -13016 - -41757. Is a a prime number?
False
Let b = -9023 + 24214. Is b a prime number?
False
Let a be 768/8*57/9. Suppose -3*y - 5*q + a = 0, -297 = 4*y + q - 1136. Is y composite?
False
Let h be 14/49 + 66/14. Suppose h*y + 205 = 2990. Is y composite?
False
Let y(p) = -11*p**3 + 3*p**2 + 47*p + 2. Is y(-5) a composite number?
False
Let h be 3 - (-3 + -5)/(-2). Let w be 1*h*4/(-2). Suppose -p + w = 5, 4*q - 53 = -p. Is q composite?
True
Suppose -1 = -2*z + b, -5*b + 8 = z - 9. Suppose 0 = y + y - 4. Suppose -z*n - r + 165 = 0, -n = -0*r + y*r - 81. Is n a prime number?
True
Let o(i) = 10*i**2 + 3*i + 14. Let t be o(-6). Let a = -49 + t. Is a a prime number?
True
Let y be 6/4 + (-2)/4. Is y/4 - (-2433)/12 prime?
False
Suppose 0 = k - 0*k - 3*q + 7, 0 = -2*k - 4*q - 4. Is 164*((-65)/20 - k) a prime number?
False
Let w(o) = -72*o + 7. Let p = -32 + 29. Is w(p) prime?
True
Suppose -4*r - h = -7, 4*r + h = -h + 2. Suppose -284 = r*m - 1157. Is m a prime number?
False
Is 6 - (0 + 12) - -1643 prime?
True
Suppose 4*h + 8*j - 3*j = -7, 0 = -4*j - 12. Suppose 5*r + 5*w = 9590, -2*w - h + 8 = 0. Is r a composite number?
True
Let n(x) = 2744*x + 103. Is n(17) a prime number?
True
Suppose -195 = -s + r + 4*r, 4*r = -s + 186. Suppose 2*k - 270 = s. Suppose f = 3*f - k. Is f prime?
False
Suppose b - 1504 = -h, 5*h = -0*h + 4*b + 7475. Is h a composite number?
False
Let w be (-10)/4*4 - -5. Let y(n) be the second derivative of -n**5/4 + n**4/12 + 3*n**2/2 + n. Is y(w) a composite number?
False
Let g(f) be the third derivative of 7/60*f**5 - 1/8*f**4 + 5/6*f**3 + 0 + 4*f**2 + 0*f. Is g(-4) a composite number?
True
Let g(w) = 78*w**3 + 2*w + 3. Let q = -21 + 23. Is g(q) a composite number?
False
Suppose -3*p - p - 4*b + 5100 = 0, -3*p = -b - 3825. Suppose 5*l + 404 = 2*c + 6833, -l - 5*c + p = 0. Is l composite?
True
Let t(x) = -2*x**2 + 6*x - 13. Let c(l) = -l**2 + 3*l - 7. Let j(v) = 11*c(v) - 6*t(v). Let s be j(4). Suppose 15 = 5*a + 5, a + 1863 = s*w. Is w prime?
True
Suppose -3940 - 6987 = -7*j. Is j a prime number?
False
Suppose 6 = 5*s + k, 2*s + 2*k - 5 = -k. Is (s - 83)*(-65)/26 a prime number?
False
Suppose -2*i + 39 = a, -49 = -3*i - a + 12. Let t = 11 + -6. Suppose 4*n + 3*l - 19 = 6*l, n = -t*l + i. Is n a prime number?
True
Let d(b) = -432*b - 37. Is d(-10) a composite number?
False
Suppose 3*x - 39 = -216. Let o = 360 - x. Is o a composite number?
False
Let j = 11176 - -28183. Is j a prime number?
True
Let p = -3 + -5. Let u be (5 - 0)/1*-4. Is -1310*(-3 + u/p) prime?
False
Let z(f) be the third derivative of 0*f + 0 + 5/6*f**3 + 1/20*f**5 - 6*f**2 + 1/6*f**4. Is z(-6) a prime number?
True
Let x(i) = -3*i**3 + 19*i**2 - 2*i - 19. Is x(-17) composite?
True
Let w = 4264 - 9384. Let z be (-4)/18 - w/(-45). Let n = z + 273. Is n composite?
True
Let v(p) = -6*p**3 + 3*p**2 - p - 3. Let m(n) = 3*n**3 - n**2 + n + 2. Let j(g) = 7*m(g) + 4*v(g). Is j(-5) a prime number?
True
Suppose 0 = 4*u + 20, g = 4*u + 25 - 5. Suppose 3*m - 8 = 2*o, -2*m + g*m = -4*o. Suppose -185 = -5*v + 4*l, 0*v - 2*l - 148 = -m*v. Is v composite?
False
Let b = 2092 + -245. Is b a prime number?
True
Let s(z) be the first derivative of -z**4/4 - 11*z**3/3 - 3*z**2 + 3*z + 2. Let f be s(-11). Suppose w - 10 = f. Is w a composite number?
False
Let p = -66 + 67. Is 7/9 - p - 126808/(-72) a composite number?
True
Let d = 1450 + -1462. Let u(t) = -2 - 6 - 8*t**2 - t**3 - 5 + 7*t. Is u(d) composite?
False
Suppose -5*v - 2779 = -5*y + 24631, -16431 = -3*y - 2*v. Is y composite?
False
Let d = 1221 - 705. Suppose 6*t - 192 = d. Is t prime?
False
Let g(l) be the second derivative of -l**3/3 - 2*l**2 - l. Is g(-13) a prime number?
False
Let a(j) be the third derivative of 1/10*j**5 - 1/40*j**6 + j**2 - 7/6*j**3 + 3/8*j**4 + 0 + 0*j. Is a(-5) composite?
True
Let v(o) be the first derivative of o**2 - 13*o + 1. Let c be v(9). Suppose c*p - 1376 + 424 = 3*k, -p = 3*k - 194. Is p prime?
True
Let k(l) = 513*l + 16. Let g be k(5). Suppose 7291 - g = 6*d. Is d a composite number?
True
Let c be 15 + 3 + 20/(-5). Suppose -2*p = -2 - c. Is ((-4)/(-10))/(p/5480) a composite number?
True
Let g(w) = w**2 + 5*w.