 Is s(i) a prime number?
True
Suppose -6 - 14 = -5*k. Suppose 0 = 5*r - 21 - 4. Suppose 678 = r*z - k*f - 1637, f - 5 = 0. Is z prime?
True
Let c(n) = n**3 - 10*n**2 + 9*n - 7. Let r be c(9). Let h = -5 - r. Suppose h*i = j - 5*j + 148, -4*i = 0. Is j composite?
False
Is 31088 + 36/8*(-12)/(-18) a composite number?
False
Let a = -130 + 210. Suppose 5*d + 25 = a. Let m(w) = w**3 - 8*w**2 - 8*w - 16. Is m(d) a prime number?
False
Let q(v) = 229*v**2 - 25*v - 22. Is q(-4) a prime number?
False
Let m = 46 + -42. Suppose -8*w + m*w + 1588 = 0. Is w a composite number?
False
Suppose -2*h - 3*h + 9 = -3*a, -5*h + 13 = -a. Suppose 3*i - 2280 = -3*u, 4*u - 1541 = a*u + 5*i. Is u prime?
False
Let l(s) = 9*s - 8*s - 11 + s**2 - 2*s. Is l(6) prime?
True
Suppose -4*o + 4 = 4*c, 5 = 5*o + 3*c - 0*c. Let d be 2 + 0/(o - 3). Is d/(-7) + (-4375)/(-49) composite?
False
Let w be 1/(-6) - 58123/(-78). Suppose 4*b - w = 3547. Is b a prime number?
False
Suppose 2*q + 5*q = 0. Suppose q = r - 30 - 113. Is r prime?
False
Let f = -2844 - -6779. Is f prime?
False
Let n = -14907 - -26104. Is n prime?
True
Suppose 2*k = c + 8, -3 = 5*c - 4*k + 13. Let q be 8 + (3 - c)*-1. Suppose -223 = -6*o + q*o. Is o composite?
False
Let c = 889 - 591. Suppose c = 6*x - 4*x. Is x a prime number?
True
Suppose 33*j = 49*j - 1776. Is j a composite number?
True
Let y(c) = -c**3 + 11*c**2 - 17*c + 12. Is y(-11) prime?
True
Let a(c) = 3515*c - 146. Is a(3) a prime number?
True
Is 22482/(-12)*4/(-6) a prime number?
True
Let x = 32 + -32. Suppose -4*y + 372 = 4*j, 4*y + j - 372 = -x*y. Is y a composite number?
True
Let b be 11/44 + (-2038)/(-8). Suppose -b = -2*z + 3*z. Let h = z + 440. Is h a prime number?
False
Let l = -860 - -1647. Is l a prime number?
True
Let c = 41 - 39. Suppose -4*j - k = -2510 - 4685, c*j = -4*k + 3594. Is j composite?
True
Suppose 49560 - 306756 = -12*x. Is x a prime number?
True
Let i(d) = 3*d - 17. Let y be i(7). Suppose 10 + 2 = y*t. Is t a composite number?
False
Suppose 1437 = 3*y - 0*y. Let f = 386 + -386. Suppose -4 = -4*l, f*l = -g + 2*l + y. Is g prime?
False
Let w(k) = 201*k + 2. Suppose 0 = -3*m + m + 3*r - 4, 3*m - 7 = -2*r. Is w(m) composite?
True
Let w(m) = 4842*m + 19. Is w(1) a prime number?
True
Suppose 5*u - 769 = -5*w + 2*u, -5*u + 300 = 2*w. Suppose w + 173 = 4*p. Is p composite?
True
Let d be 2202 + 132/(-42) + (-2)/(-14). Suppose 3*l - 4*y + 580 = d, -4*l + 3*y + 2161 = 0. Is l a prime number?
True
Suppose -t + 0*f - 2*f - 140 = 0, -t - f - 135 = 0. Let v be 7 + -5 - (1 + t). Suppose 4 = 2*n, -s - 4*n + 2*n = -v. Is s prime?
True
Let f be (-7)/2 - 6/(-4). Let t(j) = 8*j**3 - 2*j**2 - 2*j. Let h be t(f). Let a = -35 - h. Is a composite?
True
Let v = -1197 - -8584. Is v composite?
True
Let g = 44304 - 25141. Is g a prime number?
True
Let n be 365/2*(-60)/(-25). Let x = 696 - n. Suppose t + x = 3*t. Is t prime?
False
Suppose -13509 - 9920 = -7*j. Is j a composite number?
False
Suppose -2*k + 5*g + 349 = 0, 3*k + 0*g = 5*g + 516. Suppose -k = h + 4*a - 420, -2*h + 470 = -a. Is h prime?
False
Suppose 0 = 4*s - 10 - 6. Is -4767*(s/4)/(-3) a composite number?
True
Suppose -6723 = -3*d + 10*g - 7*g, 5*d = g + 11189. Is d a composite number?
False
Let y(g) = g + 3. Let j be y(-2). Suppose -17 = -4*h - j. Suppose -662 - 182 = -h*l. Is l a composite number?
False
Is -5 - -77137 - (-1 - (3 + -1)) composite?
True
Let x = 9103 - 6133. Let c = -1676 + x. Is c composite?
True
Suppose k - t - 478 - 1249 = 0, 1751 = k + 5*t. Is k a prime number?
False
Let s(y) = 52*y**2 + 97*y + 25. Is s(-18) a prime number?
False
Suppose r = 4*r - 15. Suppose -3*h + 2022 = 3*h. Suppose -2*n - 794 = -r*u, -3*u + 5*n + 147 = -h. Is u composite?
True
Let b be (-17)/(-4) - 3/12. Let y(m) = 118*m - 10. Let p be y(b). Let l = p + -277. Is l composite?
True
Suppose 122*h = 118*h + 11276. Is h a prime number?
True
Suppose 0 = 4*b - 3 - 21. Suppose b*g - 6538 + 580 = 0. Is g a prime number?
False
Suppose 3*f = f + 28. Is (-4 + -3)/f - (-7187)/2 a prime number?
True
Suppose -2*p + 8680 = 3*p. Let q be (-12)/36 - p/(-6). Let i = 647 - q. Is i prime?
False
Suppose -l + 2*q = 4, 3*l + 29 = 7*l + q. Is 898/(-8)*(-8 + l - 2) composite?
False
Let m(u) = -4*u**3 + u**2 - 2*u + 1. Let c be m(-5). Let k = -80 + c. Suppose -4*j - k = -3*d - d, -4*j = 2*d - 222. Is d a prime number?
True
Let x = 13745 - 1294. Is x prime?
True
Suppose -f = f. Suppose o - 2*z - 154 = -6*z, -5*o + 4*z + 842 = f. Is o a prime number?
False
Let w = -15 + 19. Suppose -w*p + 2*b = -94, -2*p + 5*b - b = -50. Is p composite?
False
Let l(m) = -m**3 - 17*m**2 - 17*m - 19. Let s be l(-16). Let o = s - 5. Is (12/o)/((-9)/348) prime?
False
Suppose -3 = -4*g + 5*u, -11 = -3*g - 7*u + 2*u. Suppose g*a + 4*o + 19340 = 6*a, -4*o = -5*a + 24177. Is a composite?
True
Let j(u) be the second derivative of -u**4/3 - 6*u. Let v be j(6). Let w = 221 + v. Is w a prime number?
False
Let q = -995 + 1950. Let y = 276 - 80. Let l = y + q. Is l composite?
False
Let t be (6/(-8))/((-2)/8). Let z = t + -5. Is z - 1*(-143 - 2) prime?
False
Is (63/18 + -3)*5618 a composite number?
True
Suppose -40 = -4*w + 2*w. Let d(q) = w + 24*q**2 + 26 - 45. Is d(-2) composite?
False
Let d = 13797 + -9098. Is d a prime number?
False
Let j(t) = -t**3 + 6*t**2 - 11*t - 3. Let p be j(-10). Let v = p - 676. Is v composite?
False
Suppose 2*z = p - 15, 0 = -3*p - z + 5*z + 53. Let f = -10 + p. Let v = 32 - f. Is v prime?
True
Let p(q) = -498*q + 421. Is p(-24) prime?
True
Suppose 168 = 2*o - 3*w + 7*w, 5*o = 3*w + 394. Let z = 10 - o. Let l = z + 117. Is l composite?
False
Let r = -7 + 19. Let i = r + -12. Suppose 0 = -5*g, i*t + g = 5*t - 1055. Is t a composite number?
False
Let q(v) = -v**3 + 8*v**2 - 6*v - 5. Let r be q(7). Suppose a + 5*l - 289 = 0, 5*l = 3*a + r*l - 795. Is a composite?
False
Suppose -3*b = 5*m - 0*m - 32, -m + 4*b - 12 = 0. Let z = 58 + -109. Let x = m - z. Is x prime?
False
Let a = 17 - 15. Suppose 6*y - y + 2*j - 31 = 0, -34 = -5*y - 3*j. Suppose a*h - 3*k - 253 = 0, 72 = 3*h - y*k - 310. Is h a composite number?
True
Let r = 202527 - 119926. Is r a prime number?
True
Suppose -3*k = -2*i + 237790, -4*k - 89692 - 227354 = i. Is k/(-22) - 8/(-44) composite?
True
Let y = -1851 + 3170. Is y prime?
True
Suppose 5*d = o - 5*o + 24508, 0 = -2*o - 5*d + 12254. Is o prime?
False
Suppose 776 + 516 = -y. Let h be -3 - (-7 - -6)*838*-1. Let b = h - y. Is b a composite number?
True
Suppose 0 = -g + 30*g - 2291. Is g composite?
False
Suppose -5*s - 4*h = -3*h + 5, 2*h + 10 = -3*s. Suppose s = -2*i + 2 + 6. Suppose 5*n + 161 = z - 113, 2*n = -i*z + 1030. Is z prime?
False
Is 2187 + (1 + -8 - 12/(-4)) composite?
True
Suppose 0 = -2*g - s - 671, -6*g = -2*g - 5*s + 1349. Let r = 899 + g. Is r a composite number?
False
Let t = 219 + -1163. Let n = -582 - t. Is n composite?
True
Suppose 4*z - 6280 = -4*u, 0 = 3*z + z - 5*u - 6325. Suppose -n - z = -2*m, -3936 = -9*m + 4*m + n. Is m a prime number?
True
Suppose 0 = -2*x + 3*x + 272. Let t = x - -523. Is t a prime number?
True
Suppose -3*o - 303 = 4*g, 5*g - o + 188 = -205. Let y = 1177 + g. Is y a prime number?
False
Let n = 9865 + -2178. Suppose 2*i = -3*t - 0*t + n, -2*i - 12817 = -5*t. Is t prime?
False
Let y be (2 - 24/10) + 16/40. Suppose -6*w + w - 25 = y, 3*w = 4*b - 859. Is b prime?
True
Let f be 2*1*(-2415)/(-30). Suppose 4*h = 187 + f. Is h a prime number?
False
Let p(h) = -h**3 - 4*h**2 - h. Let m be p(-4). Suppose -5*o - w + 178 = -131, 2*w = -m*o + 246. Is o composite?
True
Let g be (-3 - (-28)/8)*6. Suppose -g*o + 7*o + 100 = 0. Is 68/5 - 10/o prime?
False
Suppose -3*i - 13 = -6*i - 2*y, y + 13 = 5*i. Let o be (-2)/(-1 + -3 + i). Is -191*1/o*-2 a composite number?
False
Let l(x) = -2*x**3 + 4*x + 1. Let o be l(-2). Suppose -1041 = -d - 2*v, -o = -4*v + 11. Is d a prime number?
True
Suppose 4*m + 6 = 46. Suppose 9*j - 4*j - m = 0. Suppose 4*r + 393 = 4*g + 109, -3*g + j*r = -209. Is g a composite number?
False
Let v = -342 - -135. Let o = v - -352. Is o a prime number?
False
Suppose -a + 4 = 0, -3*c = c + 4*a - 3052. Suppose -7190 = -5*b + 5*z, 4*z - c = b - 2197. Is b a composite number?
True
Let h = 336 - -2063. Is h a prime number?
True
Let d = -65789 - -107766. Is d prime?
False
Is ((-257535)/