True
Let c = -66 + 160. Is c a composite number?
True
Suppose 0 = -3*n - 0*s + 5*s + 337, -3*n = s - 325. Is n a composite number?
False
Let i = -14 - -29. Let w = i + 4. Is w a composite number?
False
Suppose -2*u + 0 = -8. Suppose -2*p - 2*x + 33 - 13 = 0, -2*p = u*x - 20. Suppose 3*c + 2*c - 625 = 4*a, 2*a = -p. Is c a prime number?
False
Is (-16)/64 + (901/4 - -1) prime?
False
Suppose 414 + 511 = 5*t. Is t a prime number?
False
Suppose 5*j - 3*v - 1060 = j, 2*v - 1060 = -4*j. Is j a prime number?
False
Let d(g) = -146*g - 29. Is d(-3) prime?
True
Let w = 664 + -465. Is w a composite number?
False
Let l(b) = 640*b**2 + 5*b - 1. Is l(2) prime?
False
Let n = 12 + 34. Let t = 80 - n. Is t a composite number?
True
Let q = -31 + 85. Suppose 256 - q = n. Is n a composite number?
True
Suppose -w - 15 = -6*w. Suppose 6 = w*o - 2*x, -4*o + 15 = -o - 5*x. Suppose -2*a + 70 = -o*a. Is a a prime number?
False
Suppose 0 = -2*l + 3*g + 326, -l = g - 20 - 148. Suppose 5*y = v + y - 31, 2*y + l = 4*v. Is v composite?
False
Let j(s) = s**3 + 7*s**2 + 4*s - 7. Let d be j(-6). Suppose -d - 54 = -a. Is a a prime number?
True
Suppose 2*l = -l + 5*j, 0 = 3*j. Suppose l*r = r - 31. Suppose 0 = 5*v + 15, -b - 2*v + r = -0*b. Is b a prime number?
True
Let d = -16 + 1377. Is d composite?
False
Suppose -4*d + 6 = -2. Suppose 0*a - 258 = -d*a. Is a prime?
False
Suppose 2*m + b = 5875, -3*m + 7*m + b = 11745. Is m a composite number?
True
Let v(f) = -26*f - 3. Is v(-5) prime?
True
Let q be (-3 + 3 - -4) + 0. Suppose -605 = -q*n - 5*j, 5*n + 3*j - 192 = 548. Is n a prime number?
False
Let c = 4 + -4. Suppose 0 = 5*u - c*u - 80. Let p = -6 + u. Is p a prime number?
False
Suppose -2*l - 1 = 39. Let g = 143 + l. Is g composite?
True
Suppose 2*t = 2 + 4, 5*t = 4*m - 929. Let v = -149 + m. Is v prime?
False
Let c(p) = 2*p + 3 - 5 + 1 - 4*p. Is c(-8) a composite number?
True
Let s(d) = -d**3 + d**2. Let y(k) = k**3 - 8*k**2 - k - 4. Let g(h) = 2*s(h) + y(h). Let z be g(-6). Suppose -5*q + q = 2*c - 22, -q = z. Is c composite?
True
Is (-6)/21 - 1362/(-14) a composite number?
False
Suppose 7*w = 3*w + 4156. Is w prime?
True
Let b(k) = 0*k + 5*k + 5*k + 0*k**2 + 13 - k**2. Is b(9) a composite number?
True
Let n(t) = -t**3 + 6*t**2 + 2*t - 9. Let s be n(6). Let q = s - 0. Suppose q*r + r + p = 133, 4*r - 130 = 2*p. Is r a composite number?
True
Let y = -63 - -132. Suppose -j + 10 = 4*j. Suppose k - y = -j*k. Is k composite?
False
Let a(q) = 62*q**2 - 2*q + 7. Suppose 0*x - 3*x - 9 = 0. Is a(x) a composite number?
False
Is 634/2*(1 - 0) a composite number?
False
Let w(g) = g - 4. Let m be w(7). Let z = 7 + -5. Is 166*(m/3)/z prime?
True
Let q(l) = l**3. Let j(g) = 4*g**3 - g**2 + 221. Let m(f) = j(f) - 3*q(f). Is m(0) composite?
True
Let o(a) = 15*a**2 + 6*a - 7. Is o(14) prime?
False
Let d = -636 + 905. Is d a prime number?
True
Suppose v - 2836 = -209. Is v prime?
False
Let x be ((-12)/9)/4*-15. Suppose b = -x*q + 3*b + 3084, 5*b = -10. Suppose -279 = -5*p + q. Is p a composite number?
False
Suppose 3*p + 2*p - 635 = -4*c, -5*c - 381 = -3*p. Is p a prime number?
True
Suppose 4*o = -3*i + 65, 2*o - 4*i + 3*i - 45 = 0. Suppose -o = -4*x + 64. Is x composite?
True
Suppose 3*c - 225 = -2*a, 3*a + 96 = 2*c + 427. Is a a composite number?
True
Suppose -z + 5*c = 4 + 7, 2*z = 3*c - 1. Suppose 0 = z*m - 14 - 14. Is m a composite number?
False
Let z(g) be the first derivative of 25*g**2/2 - 2*g - 8. Is z(1) a composite number?
False
Let r be -2 + 6/3*1. Suppose -5*w = 5*z - 2160, r = z - w - 2*w - 428. Is z a composite number?
False
Suppose -d + 0*d = -16. Suppose 0*x + d = 4*x. Suppose o + x*o = 485. Is o composite?
False
Let x be (1/2)/(2/36). Suppose -x*f + 1276 = -5*f. Is f a composite number?
True
Is 0/2 + -4 + 83 a prime number?
True
Suppose 0 = 5*z - 2*z - 12. Suppose 0*s - 4*s = 2*m - 58, 5*m + z*s = 133. Let h = 44 - m. Is h prime?
True
Let h(r) = 2*r + 12. Let p be h(-8). Let a(v) = 4*v - 2. Let u(b) = 4*b - 1. Let n(t) = p*u(t) + 5*a(t). Is n(7) a prime number?
False
Suppose -3*x + 2*x = -3. Suppose x*k - 622 - 371 = 0. Is k a composite number?
False
Let h be 3/(-2)*4/6. Is (-636)/(-24)*(h + 7) a prime number?
False
Let w = -1 + 5. Let v be (-10)/w*(-12)/10. Suppose -24 = -4*y + 3*f + 88, 5*f - 113 = -v*y. Is y prime?
True
Let v = -12 - -36. Let z(d) = 3*d**2 + d - 1. Let y be z(2). Let j = v - y. Is j a prime number?
True
Let q(j) = 86*j**2 + 3*j + 5. Let h be q(-3). Suppose -4*x + 3*k = -h, -2*x + 4*k + 386 = 2*k. Is x composite?
False
Let j be -1*(0 + 0 + -1). Let h(s) = 1 + j + 0*s**2 + s**2 - s**3. Is h(-2) a composite number?
True
Let j(y) = 3*y**2 + 23*y + 24. Is j(17) composite?
True
Suppose 21 = -2*a + b + 230, -4*b + 4 = 0. Suppose 0 = -2*p - p + a. Is p a composite number?
True
Suppose 3*c = -4*a + 7348, -c + 2*c = -5*a + 9185. Is a composite?
True
Suppose 0 = -j - r + 395, -3*j - 5*r + 1189 = -r. Is j composite?
True
Suppose 4*i + 2 = a, 0 = -4*a + 3*i + 7 + 1. Suppose -a*t - t + 195 = 0. Is t a prime number?
False
Let v be 1176/35*(-2 - 3). Let q = v - -563. Is q a prime number?
False
Suppose 0 = 2*w - 2*g + 8, 10 = -0*g + 5*g. Let b = 17 + w. Is b composite?
True
Is -4*((-3836)/(-8))/(-7) composite?
True
Suppose 2*m + 0*m = -w + 87, -67 = -w + 3*m. Is (-2)/(-4)*2*w a composite number?
False
Suppose 4*s = 5801 - 1485. Is s a prime number?
False
Suppose 940 = 4*j + 4*i, -4*j + j + 5*i + 689 = 0. Is j a composite number?
False
Let b be (213 - -2) + 9/(-3). Let t = 323 - b. Suppose j - t = -4*i, i + 131 - 590 = -4*j. Is j a prime number?
False
Let j(x) = -11*x + 0 - 17*x + 1. Let o = 1 + -3. Is j(o) a prime number?
False
Suppose -118 = -5*g + 552. Is g a prime number?
False
Is 1/(5/(-30) + (-1093)/(-6522)) prime?
True
Let u(k) = k**3 + 5*k**2 + k + 6. Let o be u(-5). Let d be 17/(0 + o) - -2. Suppose -d = -4*j + w + 31, 4*j - 4*w - 44 = 0. Is j a composite number?
False
Let u(b) = -9*b**3 + 2*b**2 - 1. Is u(-2) prime?
True
Suppose 536 = 2*o - 2*r, -316 = -2*o - 5*r + 199. Is o composite?
True
Let h(p) = 28*p + 17. Is h(5) prime?
True
Let m(d) = 4*d**2 + d + 32. Is m(-5) a composite number?
False
Suppose 2*c - 23 = 105. Suppose -t = -c - 13. Is t prime?
False
Suppose 3*i - 274 = -3*q + 197, -i = 4*q - 163. Is i a composite number?
True
Let n(j) = -5*j + 8. Suppose 4*s - 18 = -30. Is n(s) prime?
True
Let l(i) = -2*i + 2. Let f be l(2). Let r be (-68 - f)/3 + 0. Let c = r + 43. Is c composite?
True
Let i be (-20)/(-6)*24/10. Suppose 12 + i = 4*u. Suppose 217 = u*a - a - r, 0 = -3*a - 2*r + 149. Is a prime?
True
Let k = 408 + -281. Is k prime?
True
Let s(o) = -o**3 + 3*o**2 + 2. Let w be s(3). Let n(z) = 3*z - 3*z**3 - 4*z**w + 2*z**3 - 9 + 3. Is n(-5) composite?
True
Let f be (144/1)/(3/4). Suppose 5*u - 345 = 5*j, 3*j + 4*u = 2*u - f. Let l = j - -119. Is l composite?
False
Let r = 8 - 7. Let j = r + 25. Is j a composite number?
True
Suppose 416 + 49 = 5*g. Is g composite?
True
Let f(s) = -s**2 + 9*s - 6. Let u be f(9). Let w(h) = 2*h**2 + 9*h + 9. Let z be w(u). Suppose 0*a - z = -3*a. Is a a prime number?
False
Is (-6)/(-5)*(-17350)/(-20) prime?
False
Suppose 5*x = x + 8. Let z(i) = i**3 - 10*i**2 + 17*i + 14. Let j be z(9). Suppose -x*c = 2*y - j, 5*y - 3*y = 5*c - 243. Is c a prime number?
True
Let k = -7 + 13. Suppose 0 = -k*o + 2*o. Suppose 0 = 3*i - o*v + 4*v - 79, -2*v - 10 = 0. Is i a composite number?
True
Suppose -3*b + b - 15464 = 0. Let y be (-1)/3 - b/12. Is y/12 - (-2)/(-3) a composite number?
False
Let l be ((-4)/(-2) - 31) + -4. Let j = l + 82. Is j composite?
True
Suppose -2*f = -0 + 8. Let o(y) = 4*y**2 + 3*y + 5. Let x be o(f). Is (-1)/(1*(-3)/x) a prime number?
True
Suppose -4*q + 3*o + 51 = 0, -3*q + 3*o + 33 = -q. Let x(w) = 2*w**2 + 4*w - 7. Is x(q) composite?
False
Let b(v) = 8*v + 9. Let x be b(-6). Is 0 - (x + 2 + 0) composite?
False
Let g(o) = 2*o**2 + 4 - 2*o**3 - 5*o - o**2 + 4*o**2 + o**3. Let k be g(4). Is (28 + k)*(-148)/(-16) a prime number?
False
Suppose 2*w - 230 = 500. Is w a composite number?
True
Let g(b) = b**3 + 4*b**2 - 5*b + 6. Let n be g(-5). Suppose n = -3*d - 9. Let s = 2 - d. Is s a prime number?
True
Suppose -u + 6*u - s = 10893, -u - 3*s = -2185. Is u a composite number?
False
Suppose -3*f - 2*f = -805. Is f a prime