prime number?
False
Suppose l + z = -z + 133, 5*l + 3*z - 686 = 0. Is l prime?
True
Suppose -5*c - t + 6*t + 15 = 0, -3 = -4*c + t. Suppose 3*i = -c*i + 561. Is i a composite number?
True
Let g = 35 + 124. Let u = 222 - g. Suppose t - 2*l - u = 0, -4*t - 3*l + 217 = 9. Is t composite?
True
Suppose -3*k + 5454 = 2*h, -2*h + 4*k + 5430 = k. Is h a prime number?
False
Let v = 453 + -242. Is v a composite number?
False
Let j(w) be the second derivative of -w**5/20 + w**4/4 + w**3 - w**2/2 - 2*w. Let c be j(4). Let t = 14 - c. Is t a prime number?
True
Let l = -856 - -1235. Is l prime?
True
Suppose -4*r - 9 = 147. Let m = -13 - r. Is m prime?
False
Let t(i) = i**2 + i - 1. Let s be t(2). Suppose s*g = -y + 67, -y - 352 = -5*y + g. Is y a prime number?
False
Suppose -5*y = -3*b - 16, 11 = 2*b + y - 0*y. Suppose -b*v - 46 = 2*u - 284, 4*u - 3*v - 476 = 0. Is u prime?
False
Suppose 17 = -2*y - 5. Let z = y - -34. Is z prime?
True
Let b(x) = 8. Let h(m) = -m - 8. Let p(u) = -4*b(u) - 3*h(u). Is p(6) prime?
False
Let w = -33 + 16. Let d be w + 0 + (1 - 2). Let v = d + 39. Is v a composite number?
True
Suppose 0 = 3*m - 78 - 27. Let n = m + 120. Is n composite?
True
Let j = -73 + 44. Let v = j + 48. Is v composite?
False
Let b(k) = -6*k**2 + 6*k + 3. Let o be b(7). Is (7 + -6)/((-3)/o) a composite number?
False
Suppose 115 + 155 = -5*d. Is -3 + -1*(0 + d) a composite number?
True
Let y = 1 + 4. Let v(p) = 1 + 0 + 3*p + p - 2*p. Is v(y) a composite number?
False
Suppose -478 - 335 = 3*u. Let o = u + 566. Is o a prime number?
False
Let s(a) = 16*a**3 + 3*a**2 - 4*a + 3. Let p be s(2). Suppose 5*q + 403 = -j + 4*j, 2*q + p = j. Is j prime?
True
Suppose 0 = 3*n - 5*m - 13847, n + 4*m - 4605 = 3*m. Is n a prime number?
False
Let z(m) = -2283*m + 1. Let r be z(2). Is r/(-25) - 4/(-10) prime?
False
Let t = -39 - -196. Is ((-6)/(-3))/(2/t) composite?
False
Suppose 0*x + x = -3*v - 18, -4*x - 5*v - 37 = 0. Is (-1)/((-1112)/(-371) + x) a composite number?
True
Let q(f) = -5*f**2 - 4*f - 47*f**3 - 5 + 2 + f**2 - 39*f**3. Is q(-2) a prime number?
True
Suppose 0 = -5*j - d + 4015, 2*j - 1606 = -0*j - 3*d. Let l = -74 + 139. Suppose 5*u = -4*o + j, -219 = -u - 3*o - l. Is u prime?
True
Let d(s) = s**3 + 2*s**2 - 23*s - 7. Is d(11) a composite number?
True
Let t be 6*-1 - -3 - -186. Let o = -56 + t. Is o composite?
False
Suppose r - 902 = 1497. Is r a composite number?
False
Suppose 5*r + 26 = 3*d, 4*d - r = 4*r + 28. Suppose -2*k + 10 = d. Suppose 189 = m + k*m + s, m - 4*s - 21 = 0. Is m prime?
True
Let v(g) = g**2 + g - 2. Let w be v(-3). Let j be w/(0 + (-2 - -4)). Suppose -2*u = j*u - 356. Is u prime?
True
Suppose g = -g. Suppose -2*n + 0*n = -2*h - 184, g = 5*h - 25. Is n prime?
True
Let y = -613 + 1280. Is y composite?
True
Let q(h) = 112*h**2 + 1. Is q(2) a composite number?
False
Let g be 2/10 - (-278)/10. Suppose 4*p - 9 = -3*o, 4*p + p - 12 = -3*o. Suppose p*m - 2 = g. Is m a prime number?
False
Let n(w) = -w**3 + 3*w**2 + 3*w + 4. Let x be n(4). Suppose 2*m - m - 22 = 0. Suppose -f + 0*f + m = x. Is f a prime number?
False
Let i(d) = -d**3 - 6*d**2 + 9*d + 10. Let s be i(-8). Suppose s = -h + 3*h. Is h a prime number?
False
Let y(c) = 796*c + 9. Is y(5) prime?
True
Let f be 2/(-2) + 1/1. Suppose -2*c = 3*x - 6, 5*c + 2*x + 7 + f = 0. Let j = 5 + c. Is j composite?
False
Let z(q) be the third derivative of 7*q**4/8 - 7*q**3/6 - q**2. Is z(8) composite?
True
Let c = 2668 + -1387. Suppose -4*w = -c + 433. Let g = -31 + w. Is g composite?
False
Suppose -12 = 2*d + 4*g, -8 - 4 = -2*d + 4*g. Let z = -4 + 9. Suppose d = z*v - 0*v - 165. Is v a prime number?
False
Suppose 24 = -4*h - 0*h. Let o = 8 + h. Suppose o*n - 8 = -2*n. Is n a prime number?
True
Let t = -165 + 260. Is t a composite number?
True
Suppose -2*c = 3*c + 465. Let r = -96 + c. Let o = 266 + r. Is o a prime number?
False
Is 6/(-9)*3681/(-6) prime?
True
Let m(l) = 10*l + 13. Let f be m(7). Suppose -3*c - 2*t + 105 = 0, -f = -2*c + 2*t + t. Is c composite?
False
Let f(s) be the second derivative of s**5/20 + 2*s**4/3 + s**3 - 3*s**2 + s. Let t be f(-7). Is t*(1 + 0)*3 prime?
True
Let r(d) = d**2 - 3*d + 2. Let z be r(2). Suppose z*y = y - 21. Is y a prime number?
False
Let s(f) = 5*f**2 - 2*f + f**2 - 3 - f**3 + 9. Let n be s(5). Let t = -10 + n. Is t composite?
False
Suppose -3*u + 166 - 574 = 0. Suppose 0 = -5*k + c - 1233, -1 - 1 = c. Let o = u - k. Is o a composite number?
True
Suppose -5*k + 2*w = -86, -3*w = 3*k - w - 58. Let c = 13 + k. Is c a prime number?
True
Suppose -2*p + 274 + 688 = 0. Is p a composite number?
True
Let t = 367 - 224. Is t a composite number?
True
Suppose -2*q = 4*a - 32236, -3*a - 5*q + 40305 = 2*a. Is a a prime number?
False
Let t be 0/(1 - -2) - -5. Suppose -t*m + 4*n + 15 = 5*n, -3*m - 13 = 5*n. Suppose -m*x - 35 = -247. Is x composite?
False
Let h = 15 - 22. Let c = h + 10. Is c/(-9) - 106/(-3) composite?
True
Let t(m) = 19*m - 8. Let p(g) = -g + 1. Let n(h) = -3*p(h) - t(h). Is n(-9) composite?
False
Let b(t) = 5*t**2 - 5*t - 27. Is b(11) a composite number?
False
Let c = 1 + 6. Let n(u) = u**3 - 5*u**2 - u - 2. Is n(c) a prime number?
True
Suppose -3*l + u - 4*u = -573, -5*l - 4*u = -955. Is l prime?
True
Suppose x = -3 + 70. Is x composite?
False
Let i(h) = -h**3 - h**2 + 97. Is i(0) a prime number?
True
Let s = 42 - 20. Suppose -4*q + 15 = -3*q. Let u = q + s. Is u a composite number?
False
Suppose 2*a = w - 1, -3*a + 0*w - w - 4 = 0. Let p be ((-30)/12)/(a/2). Suppose -2*l - 237 = -p*l. Is l a composite number?
False
Let z be 6/4*(-6 - -4). Is z*((-12)/9 - 1) a composite number?
False
Let y be 2/(56/(-30) + 2). Let p = 30 - y. Suppose 0*v = v - p. Is v a prime number?
False
Suppose 0 = -s - 4*s + 35. Suppose -435 = -s*w + 2*w. Is w prime?
False
Let k = 11 - 6. Suppose 3*d + 2*h = -14, k*d + 18 = -5*h - 2. Let u(a) = a**2 + 4*a - 5. Is u(d) prime?
True
Let y(m) = 19*m - 1. Is y(20) a composite number?
False
Suppose -a = -24 - 35. Is a prime?
True
Let t(d) = d**2 + 6*d + 3. Let y be t(-9). Let q be (-78)/(-4)*40/y. Suppose -4*c = 4*h - 244, 10 - q = -4*c. Is h prime?
False
Suppose -3*c = -2*s - 49, 0 = 6*s - 2*s - 5*c + 97. Let f be (-2629)/(-44) - 2/(-8). Let w = s + f. Is w a prime number?
True
Let v = 6 + 16. Is (2 - (5 - 2)) + v a prime number?
False
Let p(g) = 20*g - 5. Let t be (-10)/15 + (-22)/(-6). Is p(t) a prime number?
False
Let w(p) = -p**3 + 4*p**2 - 2*p. Let o be w(2). Suppose 0 = -2*u - 0*u + 3*x - o, 2 = -u - x. Is 17 - (0 + u*1) prime?
True
Suppose 3*f - 134 = 1267. Is f prime?
True
Let j be (13/4)/((-11)/(-88)). Suppose -p + 75 = 4*n - j, -p + 113 = -2*n. Is p composite?
False
Let m(h) = 2*h**3 + 6*h - 11. Is m(8) a prime number?
True
Let d(o) = -o**3 - 9*o**2 - 8*o. Let n be d(-8). Suppose y - 1 + 0 = n. Is ((-1)/(-1))/(y/55) a composite number?
True
Let o be (-28)/8*(-29 + -1). Suppose 0*w = 5*w - o. Is w prime?
False
Suppose v = -6*v + 3395. Is v a composite number?
True
Let k = -530 - -981. Is k a composite number?
True
Let v(z) = 74*z - 9. Is v(8) composite?
True
Is (23 + -11)*(-118)/(-8) composite?
True
Let q be (20/(-16))/(1/(-4)). Suppose -2*g + 23 + 0 = q*j, 15 = 5*j. Suppose -g*x - 71 = -5*x. Is x composite?
False
Let s(g) = 3*g**3 + 6*g - 6. Let q be s(4). Suppose 1138 = 4*j - q. Is j a composite number?
False
Let v(t) = -t**3 - 10*t**2 - 3*t + 13. Suppose 4*m = -66 + 26. Is v(m) prime?
True
Let d(f) = -14*f**2 + 4*f - 1. Let b(w) = -57*w**2 + 17*w - 5. Let g(a) = 2*b(a) - 9*d(a). Let y be g(-2). Suppose 9 = -3*x + y. Is x prime?
False
Suppose 0 = 2*p - 1932 - 162. Is p a composite number?
True
Suppose 7*t + 5*g = 3*t + 1269, -t + 330 = -3*g. Let o = t - 194. Suppose 4*p = 3*h + o, 3*h - 10 = 3*p - 106. Is p a composite number?
False
Let s(f) = f**3 + 6*f**2 - 11*f - 7. Suppose 35 = -5*n + 5*z, 2 = -n + 3*z - 5. Let j be s(n). Is (j/(-9))/(3/(-45)) prime?
False
Suppose -25 = 5*g + 5*w, 0 = -4*g + 5*w + 1 - 39. Let k(h) = 2 - 7*h + 1 - 5. Is k(g) a composite number?
False
Let k(b) = 2*b**2 + 9*b - 3. Let c be k(7). Is c - -2 - (-3)/1 prime?
True
Let w(t) = -1 + 4*t + 4 + 1 - 3*t. Is w(3) composite?
False
Let x = 74 + -39. Let n = x - 20. Is n a composite number?
True
Let d be (7 - (1 - 2)) + -3. Suppose -c = -d - 118. Is c prime?
Fa