composite?
False
Let w = 1138 + -741. Is w a composite number?
False
Suppose 0 = -5*j + 1729 + 466. Is j a prime number?
True
Suppose 0 = 2*v + 10, 4*x + v = -4*v - 121. Is ((-26)/(-8))/((-3)/x) prime?
False
Suppose -3*h + 2*h = 0. Suppose 2*t - 48 = -h*t. Let b = t - 3. Is b prime?
False
Let o = 61 - 35. Suppose 2*j = o + 88. Suppose -w + 56 = 2*a - j, -5*a + 260 = -5*w. Is a composite?
True
Is 6/21 - (-9423)/21 composite?
False
Let r be -30 - (0/(-2) + 3). Let h be 1/2 - 15/(-6). Is h/((-9)/r) - 1 prime?
False
Let i(h) = 2*h**2 - 2*h**2 - 3 + 6*h**2 - 4*h. Suppose v - 3*v + 8 = 0. Is i(v) prime?
False
Let a be ((-22)/11)/((-2)/644). Suppose 2*u = 3*t - 361 - 14, -5*t = 3*u - a. Is t composite?
False
Let v be 5/20 - (-11)/4. Let q be (-1 - -5) + v + -3. Suppose -236 = q*p - 5*p + 5*t, -t = 2*p - 417. Is p a prime number?
True
Let l = -8 - -10. Suppose -214 = -4*u + r + r, -u = l*r - 61. Is u prime?
False
Let v(l) = 174*l - 11. Is v(4) composite?
True
Suppose -1515 = 2*l - 7*l. Is l a composite number?
True
Let n(x) = 65*x**2 - 1. Let w be n(-1). Suppose -4*m + 2 = 2*f - w, 58 = 2*m - 4*f. Is m a prime number?
True
Let g(k) = -18*k**3 + k**2 - k + 2. Let a be g(-2). Let y = a + -48. Suppose 3*w - u = 232, 6*u - y = -w + u. Is w a prime number?
True
Let t = -173 + 101. Let u = 25 - t. Is u a composite number?
False
Let u(j) = 6*j**2 - 6*j - 2*j**2 + 3*j**2 + 1. Is u(4) prime?
True
Let z be -3 - (-3)/(9/84). Let o = z - -3. Let c = o - 15. Is c a prime number?
True
Suppose -2*p = -3*k, -2*k = 5*p + 2*k. Let g = p - 5. Let s = 58 + g. Is s composite?
False
Suppose t - 2110 = 211. Is t prime?
False
Is 3 + (-2)/((-4)/(2512*1)) a composite number?
False
Let v be 441/36 + (-2)/8. Suppose v*l - 11*l = 347. Is l a composite number?
False
Is 21*57 + (5 - 9) prime?
True
Is (-6)/8 - 439/(-4) a composite number?
False
Let w be ((-30)/9)/(4/(-570)). Suppose -2*k = 4*j - 3*k - w, -5*j + 2*k + 593 = 0. Is j a composite number?
True
Suppose 0 = 2*j + 15 + 17. Is 666/8 - (-4)/j a composite number?
False
Is 97097/66 - (7/6 - 1) a prime number?
True
Let p(t) = t**2 - 3*t - 6. Let s be p(6). Is s/(-42) - (-102)/14 a prime number?
True
Let u(y) be the second derivative of 21*y**5/20 - y**4/6 + y**2/2 + 4*y. Is u(2) a composite number?
True
Suppose 4*u - u - 9 = 0. Let g be 101/3*(u - 0). Suppose 2*r - 4*w = 85 + g, 68 = r + 3*w. Is r composite?
False
Let y(u) = -u**3 + 5*u**2 - 2. Let m be y(5). Is (0 - 2)*211/m prime?
True
Suppose 3*o - 2335 = -388. Is o prime?
False
Let q(g) = -217*g. Let w be (1 - -1)*(-1)/2. Is q(w) composite?
True
Let s(t) = -29*t - 13. Is s(-6) composite?
True
Let q(y) be the first derivative of -y**4/4 + 4*y**3/3 + 7*y**2/2 - 4*y - 1. Is q(5) composite?
True
Suppose -i + 954 + 10 = 2*y, 0 = 4*y - 3*i - 1918. Is y a composite number?
True
Suppose 0*f + 5*n = 4*f - 67, 0 = -3*f - 5*n + 59. Let c = f + -10. Suppose c*h - 3*h - 265 = 0. Is h a composite number?
False
Let v(c) = 7*c**2 + c - 4. Let n be v(7). Suppose -3*w - n = -4*u - 26, 85 = u - 2*w. Is u a composite number?
True
Let l(n) = -n**2 - 11*n - 14. Let t be l(-10). Let o = 5 + t. Let i = 14 - o. Is i a composite number?
False
Suppose -28 = 2*r + 2*r - 3*t, -t + 36 = -4*r. Let k(i) = i**3 + 11*i**2 + 3*i + 4. Is k(r) composite?
True
Suppose -3*d + 7*d = 15460. Is d prime?
False
Let i(y) = -y - 14. Let x be i(-14). Is (0 + 1)*x - -13 a composite number?
False
Suppose 217 - 1159 = -3*h. Is h a prime number?
False
Suppose 4*l - 172 = 704. Is l prime?
False
Suppose u - 534 = 774. Suppose 2*b - u = -4*y, -4*y + 560 = b - 752. Is y a composite number?
True
Let p = -98 - -213. Is p a composite number?
True
Let j(t) = 54*t**2 - t. Suppose -4*u - 3*f - 1 - 9 = 0, -5*u + 4*f = -3. Is j(u) prime?
False
Suppose -10*s = -17*s + 4445. Is s a composite number?
True
Let b(r) = r**3 + 17*r**2 - 23*r + 23. Is b(-16) composite?
False
Suppose -2*x + 36 = x. Suppose -g = -3*g + x. Suppose -v - 4*p - 179 = -g*v, 5*v = p + 176. Is v a prime number?
False
Suppose -4*i - 4*j - 1 = -33, -2*i = 3*j - 20. Suppose -i*y = -6*y + 1262. Is y prime?
True
Let h = -572 + 1113. Is h a composite number?
False
Suppose -3*k - 3297 = -3*v, 0 = 2*v + 3*k - 2569 + 381. Is v prime?
True
Let q = 267 + -146. Is q a composite number?
True
Let r = -4 - -7. Suppose -x = -r*x + 164. Is x a composite number?
True
Let u(h) = 2*h - 3. Let k be u(-4). Suppose 118 = 3*n - 26. Let d = n + k. Is d prime?
True
Let j = -289 - -790. Is j prime?
False
Let g = -5 - -10. Suppose 0 = 3*v - g*v + 134. Suppose 3*o - 352 = -v. Is o prime?
False
Let l = -26 - -18. Let q(k) = -5*k + 11. Is q(l) a composite number?
True
Suppose -2*j = -4*j - 6. Let n(g) = -65*g - 4. Is n(j) a composite number?
False
Let w = -148 - -230. Is w a prime number?
False
Let j(r) = -21*r + 19. Is j(-15) a prime number?
False
Is (-2364)/(-36) - 4/6 composite?
True
Let u(m) = m**3 - 8*m**2 + 6*m + 4. Let r be u(7). Is (-5)/15 - 3436/r prime?
False
Let p = 2583 + -1336. Is p prime?
False
Let y(t) = -6 + 4 - 2*t + 6*t - t + 2*t**2. Is y(-3) composite?
False
Suppose 0 = -3*q + 4*g - 14, q + 18 = 5*g - 5. Let y = q + -3. Is (y/3)/(2/(-138)) prime?
True
Let o(s) = 7*s**2 - 12*s + 19. Is o(8) prime?
False
Let d = 28 + -20. Is 1 + 2*772/d prime?
False
Let m be (-6)/(0 - (0 + 2)). Suppose 0 = -2*z - m*z + 560. Suppose 4*w = -3*p + 171, 0 = -p - p - 2*w + z. Is p prime?
True
Suppose -4*g = b - 5756, -7*g + 9*g + 4*b - 2878 = 0. Is g a prime number?
True
Suppose -z + 7 = 4. Suppose -z*v + 406 = -167. Is v a prime number?
True
Suppose a - u = -3*a + 2737, 4*u + 703 = a. Is a prime?
True
Suppose -3*i - 9 = -0. Let y be i*2*1/(-2). Suppose -y*q + 18 - 6 = 0. Is q prime?
False
Suppose -2*j + 465 = -p - 1576, -4*j + 4*p = -4080. Let s = j - 505. Let q = -329 + s. Is q a composite number?
True
Suppose m + 3 = 34. Suppose -m = -u + 54. Is u prime?
False
Suppose -281 = -4*d - 77. Let o = d + -28. Is o prime?
True
Suppose -3*p = -y - 2, -2*p + 6 = y - 2. Suppose 0 = p*a - 6*a. Suppose 5*s = 5*m + 640, 4*s = -a*s - 5*m + 503. Is s composite?
False
Suppose 771 = 2*s - 917. Suppose -2*v + s = 2*v. Is v a prime number?
True
Let d be ((-32)/24)/(4/6). Is -2 + (-129)/(d/2) a composite number?
False
Let j(u) = u**3 + 9*u**2 + 9*u + 8. Let b be j(-8). Suppose b*t = t - 89. Is t a prime number?
True
Let i(z) = -z**3 + 9*z**2 - z + 11. Let j be i(9). Suppose j*c = 40 + 4. Is c a composite number?
True
Let v(r) = r + 10. Let t be v(-6). Let a = 3 - t. Is 38/3 - a/3 a composite number?
False
Let z = 336 - -851. Is z prime?
True
Suppose -2*v - 5*j = -501, 5*v + 5*j - j = 1227. Let q = -32 + v. Is q a composite number?
False
Suppose -3*a - 1 = -10. Let j = -1 + a. Is j prime?
True
Let f(l) = 2*l - 5. Let b = 10 - 3. Let a be f(b). Let k = -3 + a. Is k a prime number?
False
Suppose -2*a - a + 4*v = -8, -5*a = -4*v - 8. Let x(b) = b**3 - b + 1. Let w be x(a). Is (-3 + 4)*89/w a prime number?
True
Let r(h) = h + 4. Suppose 9*q = 8*q. Is r(q) a prime number?
False
Let s = 39 + -2. Is s composite?
False
Let p(u) = -2*u + 2. Let m be p(0). Suppose m*a + x = 149, -3*a - x = 2*x - 216. Is a a prime number?
False
Suppose 3*n = n - 5*x + 71, -105 = -5*n + 2*x. Is n a prime number?
True
Suppose -4*n + 12 - 4 = 0. Suppose -n*t + 355 = -t. Is t composite?
True
Suppose -y + 3*p - 7 + 2 = 0, 4*y + 7 = -p. Is -4*(-44)/(-32)*y a prime number?
True
Let v = -59 - -124. Suppose -o = -156 - v. Is o a composite number?
True
Suppose 447 = 4*n - 53. Suppose -5*a = -0*a - n. Is a composite?
True
Suppose -5 = 3*y + 7. Is (-1)/4 + (-341)/y a composite number?
True
Let j be -4*1 + 3 + -1. Is 164 + 1/j*2 composite?
False
Suppose 4*m - 3*u - 266 = 0, 432 - 154 = 4*m + 3*u. Let k = m + 25. Is k prime?
False
Suppose u + 1307 = 3*y, 0 = 3*y - 4*u + 313 - 1608. Is y a prime number?
False
Let l = 3578 - 2049. Is l composite?
True
Let r be (-5 - (-1 - 1))/(-1). Let j(d) = -6*d**3 + 2*d**2 - 3*d - 2. Let t be j(r). Let k = -76 - t. Is k a prime number?
True
Let h = -1 - -6. Is 10*((-165)/(-6))/h prime?
False
Suppose -3970 = -2*a - 0*a. Suppose -6*n = -n - a. Is n a prime number?
True
Let w(q) be the third derivative of -q**4/8 - q**3/3 - 3*q**2. Is w(-5) a composite number?
False
Let q = 890 - 501. Is q prime?
True
Suppose 32*a - 29*a = 5073.