3) a composite number?
True
Let t(y) = 551*y + 2. Is t(4) a prime number?
False
Let v be 0 - (0 + 3 + -2). Is (4 + -3)*(-131)/v a prime number?
True
Let m(c) be the third derivative of -c**6/120 - c**5/20 + c**4/24 - 5*c**3/6 + c**2. Suppose 0*h - 5*h = 20. Is m(h) a prime number?
True
Let k = -6 + 4. Let a be (-6 - -2)*140/(-8). Is k + (-3)/(-3) + a a composite number?
True
Let q(l) be the second derivative of 3*l**4 + l**3/6 - l**2/2 - 3*l. Is q(2) composite?
True
Suppose 4*g - 5*n - 5 = 0, -6*n + 4*n = 5*g - 31. Suppose -2*h + 24 = g*k, 0*h + 27 = 4*k - h. Is k a prime number?
False
Let m(z) = z + 8. Let d be m(-6). Suppose 5*j - 475 = -5*s, -2*s - 3*s + d*j + 489 = 0. Is s composite?
False
Let m be 14/35*(-5)/1. Is ((-340)/6)/(m/3) a composite number?
True
Let g = -47 - 10. Is 1/(3 - (-168)/g) a prime number?
True
Suppose 2*s = -2*s + 1356. Suppose 0 = -5*w, -3*h + 4*w + 1140 + s = 0. Is h a prime number?
False
Let m(l) = 9*l**2 - 4*l - 35. Is m(-8) composite?
True
Suppose -3*b = 2*i - 341, -4*b + 4*i = -2*b - 222. Let v = -70 + b. Let k = v + -17. Is k a composite number?
True
Let v(w) = 71*w**3 + 3*w**2 - 4*w - 1. Is v(3) composite?
False
Let l(s) = s**3 - s**2 - 2*s - 1. Suppose 3*x = -g + 18, 2*x - 19 = -g - 2*g. Is l(x) a composite number?
False
Is (-4 + 10)/(6/21) a composite number?
True
Suppose 0 = -3*v - 5*x - 74 - 23, 5*v + 5*x = -145. Let f = v - -27. Is f a composite number?
False
Is 21/(-14) + 617/2 composite?
False
Suppose -5*g - 10 = -25. Suppose 5*m - 5*i = 2*m + 212, 0 = -g*m - i + 206. Is m composite?
True
Let j be 48/(-18)*1098/8. Let g = j - -233. Is g/2*1*-2 prime?
False
Let m(c) = 5*c - 4 + 6 + 10. Is m(11) prime?
True
Let k(n) = 181*n**2 + n + 1. Is k(-1) prime?
True
Suppose -2*k + 144 + 14 = 0. Let b be (1 - -2)/3*k. Let a = 54 + b. Is a composite?
True
Suppose -c - c = -2*h - 1084, 0 = 3*c - h - 1624. Is c prime?
True
Suppose 2*t - 1 = 5, 2*t - 11 = -b. Suppose 5 + b = 5*v. Is -1 + 1 - (v - 61) a prime number?
True
Let b(w) = 8*w - 1. Let f be b(1). Let z(v) = -v + 8. Let m be z(f). Is (23/(-3))/(m/(-3)) prime?
True
Let f be (-7)/(-5) - (-2)/(-5). Let g be (2/f - 10)*13. Let r = 181 + g. Is r prime?
False
Let f = 1482 - 918. Suppose -394 - f = -2*s. Is s a prime number?
True
Suppose -6*f + 8 = -2*f. Suppose -2*d = -p - 159, f*p + 4 = 2*d - 156. Is d prime?
True
Let n(d) = 1. Let o(c) = -175*c - 2. Let s(t) = -n(t) + o(t). Is s(-2) a prime number?
True
Suppose -2*y = -9 + 3. Suppose 10 = -y*q + 67. Is q a composite number?
False
Suppose 2*i + 0*i = 322. Is i a prime number?
False
Let r = -3 + 10. Suppose 0 = -3*t - 3, 3*u - 15 = r*u - 5*t. Let f = u - -12. Is f composite?
False
Let d be (-1)/((-1)/(-22)*2). Let y = d + 3. Let w(n) = 2*n**2 + 8*n - 9. Is w(y) a prime number?
False
Let j(h) = -h**2 - 7*h + 4. Let a(r) = 2*r**2 + 13*r - 8. Let g(s) = -3*a(s) - 5*j(s). Let o be 12/(-9)*(2 - -1). Is g(o) a prime number?
False
Let c(w) = -4*w + 1. Let h = -5 - -2. Let y be c(h). Suppose -5*d - y + 67 = 4*m, -3*d + m + 46 = 0. Is d prime?
False
Suppose -1678 = -3*g + 1223. Is g composite?
False
Suppose -4*r + 13606 = -2*r. Is r prime?
True
Let n be 6/27 + (-2)/9. Let g be 6/4*2*(1 - -12). Let t = n + g. Is t a composite number?
True
Suppose 6*y = 3*y + 6. Suppose 2*s = -y*s + 12. Suppose -4*n - s*q + 454 = 0, 0*q + 335 = 3*n + 5*q. Is n a prime number?
False
Let o be -198*((-3)/(-2))/(-3). Let w(y) = y**2 - y - 30. Let p be w(0). Let b = o + p. Is b prime?
False
Let n(c) = -2*c + 8. Let x be n(6). Let k(l) = 3*l**3 + 5*l**2 - 4*l - 2. Let v be k(x). Is v/(-10) + (-5)/(-25) composite?
True
Suppose 4*j + 24 = -0*j. Let k(l) = 6*l**2 - l - 1. Is k(j) prime?
False
Let t = 2 + 0. Let b = -1 + 1. Is -2 + t + b + 10 composite?
True
Suppose -4*l + 0*t + 23 = 3*t, -l = -t + 3. Suppose -4*d - l*p = -3*p - 128, 5*p - 20 = 0. Is d composite?
True
Let n = 1289 + -552. Is n a composite number?
True
Let a(z) be the third derivative of -z**7/70 + z**5/40 + z**4/24 - z**3/3 + z**2. Let h(p) be the first derivative of a(p). Is h(-2) prime?
False
Is 1976260/484 - (9/(-11) + 1) a composite number?
True
Let j be (-3 + 2)*1 - -1. Suppose j = -3*a - 0*a - 57. Let d = a + 34. Is d prime?
False
Let n(t) be the first derivative of -4*t**2 + t + 3. Is n(-3) a prime number?
False
Let b = 4 - 2. Suppose b*l = -6, -4*q - 3*l + 9 = -6*l. Suppose 4*j + q*f = -2*f + 74, -5*j - 2*f = -95. Is j prime?
False
Let j(z) = 8*z**2 - 7*z - 5. Is j(4) prime?
False
Let y(l) = -l**3 + 3*l**2 + 15*l + 2. Is y(-9) composite?
False
Suppose 2*w + 25884 = 14*w. Is w a composite number?
True
Suppose 9653 = k + 2*k + 2*z, 3*k - 9641 = z. Is k a composite number?
True
Is 4/(-22) - (-118209)/77 composite?
True
Is -2 - (44/6)/(4/(-606)) prime?
True
Is 410/((-10)/(-3 + -2)) a composite number?
True
Is (-2)/(-4) + (-819)/(-14) a composite number?
False
Suppose 4*t = 10 + 6. Suppose -u + 9 = -3*y - 91, -2*u + 190 = t*y. Is u prime?
True
Suppose 3*n + 0 + 3 = 0. Let j = -1 - n. Suppose j = 4*g - 39 - 37. Is g a prime number?
True
Suppose 156 = -h - 2*h. Let f(g) = -17*g + 1. Let j be f(-5). Let x = j + h. Is x a composite number?
True
Suppose 3*u + 3*n - 180 = 0, 2*u + 0*n + 3*n = 117. Let k = u + -37. Suppose 49 = 3*g - 4*y - k, 2*g - 39 = -y. Is g a prime number?
False
Let t be 78/(-4)*(5 - 7). Suppose -6*x = -3*x - t. Let k = 2 + x. Is k composite?
True
Suppose 207 = -2*p + 2845. Is p a composite number?
False
Let o be (-4790)/(-9) - 4/18. Let t = -231 + o. Is t a composite number?
True
Let d(o) = o**3 - 3*o**2 - o + 4. Let w = -3 + 6. Let r be d(w). Suppose r = -5*v + 66. Is v a prime number?
True
Suppose -3*c = -4*z + 3*z + 301, -4*z + 1204 = -4*c. Is z a composite number?
True
Suppose z + x - 3 = 0, 2*z + 3*x + 15 = 7*z. Suppose -15 = z*f - 8*f. Suppose f*c = -0*c + 42. Is c prime?
False
Suppose 56 = -0*d + d. Let p = d + 63. Is p composite?
True
Let b(q) = -q**2 + q. Let y be b(2). Let p be (5/y)/(2/(-4)). Suppose p*s - 213 = -38. Is s prime?
False
Suppose -2*d + 3*d - 14 = 0. Let o be (-38)/d - 2/7. Let h(m) = 4*m**2 - 3. Is h(o) a composite number?
True
Let b(q) = -3*q**2 - 4*q - 4. Let a = 24 + -37. Let t(h) = -6*h**2 - 9*h - 9. Let l(v) = a*b(v) + 6*t(v). Is l(-3) a prime number?
True
Let p(d) be the first derivative of -95*d**2/2 - 7*d - 5. Is p(-6) a prime number?
True
Let y = 315 + -157. Is -1 + y - (1 - -1) a composite number?
True
Let c = 22 + 25. Is c a prime number?
True
Suppose -5*x = -2*x - 5*c + 2, c = 2*x - 8. Let h(r) = r**3 - 5*r**2 - r - 7. Let n be h(x). Suppose -k = -118 + n. Is k a prime number?
False
Suppose -73 = 4*d - 4*j - 381, 3*d + 2*j - 256 = 0. Suppose -5*f + d = 7. Is f a composite number?
True
Suppose 2590 + 1565 = 3*a. Is a composite?
True
Let l = -510 + 861. Is l/6 - (-2)/4 a composite number?
False
Suppose 4*x + 0*x = -4. Let t = 12 + x. Is t prime?
True
Let d = 0 + 0. Let p(v) = 1 - 3 + 1 + d*v + 12*v. Is p(3) prime?
False
Let s(d) = 2*d**3 + 8*d**2 - 11*d - 5. Is s(6) a prime number?
False
Is (-9565)/(-5)*-2*3/(-6) composite?
False
Suppose 2761 = 5*a + 251. Is a composite?
True
Suppose 7*p - 2*p - 10 = 0. Suppose p*i - 3*w - 2*w + 5 = 0, 4*i - 26 = -2*w. Suppose i*q = -3*g + 17, g - 4*q + 22 = 4*g. Is g prime?
False
Let f = -3402 - -5645. Is f prime?
True
Let n(a) = a**2 + 6*a - 7. Let h be n(-7). Suppose -4*s - 186 + 1510 = h. Is s composite?
False
Suppose 0 = -p + 3*p - 2306. Let c = -822 + p. Is c prime?
True
Suppose 0 = -5*w + 4199 + 8366. Is w a composite number?
True
Let q = -11 - -69. Let x = 83 - q. Let l = 96 + x. Is l a composite number?
True
Suppose 0 = -2*p - 5*i - 3 - 7, -5 = -5*p - 5*i. Suppose 112 = 5*m - 3*m - b, -p*m + 267 = 4*b. Is m prime?
False
Suppose -4*q - 349 = -1305. Is q composite?
False
Suppose 4*m + 393 + 483 = 0. Let u = m + 424. Is u a prime number?
False
Let n = 63 - 41. Let f = 59 - n. Is f prime?
True
Let n(s) = 2*s**3 - 2*s + 2. Let p be n(2). Let b be (-4)/p - (-2)/7. Suppose 2*c - u - 66 = b, -4*u - 128 = -4*c - 3*u. Is c a prime number?
True
Suppose 0 = 3*k + u + 120, 70 = -2*k - u - 3*u. Is (-6)/4 - k/2 prime?
True
Suppose 4*v + 8 - 20 = 0. Suppose -3*b + 530 = -5*p, -v*b = 2*p - 3*p - 550. Is b composite?
True
Let d = 991 - 692. Is d composite?
True
Suppose 301 + 818 = 3*s. Is s composite?
False