3*q - r = 8*q. Is q composite?
False
Let u = -681 + 1238. Is u a composite number?
False
Let i = 305 + 72. Is i a composite number?
True
Suppose 0 = 2*q - 13 + 7. Suppose -q*u + 4*z + 293 = -0*z, 2*u + 2*z - 172 = 0. Is u a prime number?
False
Suppose 0*r + 37 = -2*r - 5*x, -r = -4*x - 14. Is (2/r)/(1/(-237)) a composite number?
False
Let q(i) = 40*i**3 - i**2 - 7*i + 5. Is q(4) composite?
False
Let y be (-4)/10 + 22/5. Suppose -56 = y*d - 2*d. Is 2/(-4)*d/1 a composite number?
True
Is ((-5444)/6)/(1 + 10/(-6)) composite?
False
Let q(l) be the first derivative of l**4 - 2*l**3/3 + l**2/2 - 3. Let t be q(1). Suppose -j + 143 = 3*o, 64 = 3*o - t*j - 71. Is o composite?
False
Suppose -3*a + 0 = 2*o + 4, -a = -4*o + 6. Is -2 + (2*41 - o) prime?
True
Let q = 225 + -146. Suppose 3*i + q + 395 = 0. Let j = -65 - i. Is j prime?
False
Let v = -2247 + 3328. Is v a prime number?
False
Let m be (-15)/(-10)*10/3. Suppose m*u - 104 = -k, 0*u - 4*u = -3*k + 274. Is k composite?
True
Is (-2)/(-2) + 1 - -4317 composite?
True
Suppose -5*b - 287 + 1397 = 5*k, -3*k + 449 = 2*b. Is b a composite number?
True
Let v(m) = 8*m - 17. Let n be v(12). Let t = -2 + n. Is t a composite number?
True
Suppose -k + 15 = 4*k - 5*t, -5*k = -4*t - 12. Is (-3 - -82)/(1 + k) composite?
False
Suppose -5*f + 200 = 2*h, 2*h - 5*f + 94 - 294 = 0. Let j = h + -47. Is j a composite number?
False
Let i be 20/(3 - 17/5). Let x = -16 - i. Is x a prime number?
False
Let a = -87 - -251. Let n = 247 - a. Is n a composite number?
False
Let o = 464 + -279. Is o composite?
True
Let c be (-2)/(-6) + (-30)/9. Let z = -5 + 3. Is (-888)/(-16)*z/c a prime number?
True
Let r(y) = -y**3 + y + 1. Let k be r(0). Suppose 2 = p, 3*p = -2*f - k - 1. Is (2 + -1)*(131 + f) a composite number?
False
Suppose a + 5 = 0, 5*y = 4*a + 6 + 24. Let v(n) = 1. Let b(q) = -12*q + 8. Let k(g) = -b(g) + 6*v(g). Is k(y) a composite number?
True
Let y be -1 + 113 + (1 - 1). Suppose -3*s + 5 = -y. Is s a composite number?
True
Let i = -28 - -30. Let n(y) = -88*y + 3. Let k be n(-3). Suppose i*x - 179 = k. Is x a prime number?
True
Suppose 0 - 8 = -2*c. Let q = 58 + c. Is q a composite number?
True
Suppose -4*o = -5*f - 2302, 567 = o + 10*f - 7*f. Is o prime?
False
Suppose y = 3*c - 1, c + y + 2 = -3. Is (2 + 0 + c)*55 prime?
False
Suppose o - 5*g - 20 = 9, 2*o - 3*g = 44. Is o a composite number?
False
Let g = -692 - -1255. Suppose g = t - 5*b, -5*t + 2775 = -4*b - b. Is t prime?
False
Suppose 3*x = -2*x + 15. Suppose -x*z + 10 = 2*z. Suppose z*g - 35 - 149 = r, 3*g - 263 = -5*r. Is g composite?
True
Let a(c) = 2*c**2 - 3. Let n(b) = -b + 4. Let x be n(-9). Suppose -5*f + 2*s + s = -x, 3*f - 5*s + 5 = 0. Is a(f) a composite number?
False
Let h(v) = 3*v - 5. Let p be h(4). Let q(d) = 6*d**2 - 2*d**2 + 9*d**2 - 4*d**2 - d - d**3 + p. Is q(6) a prime number?
True
Let m = 951 - 278. Is m a composite number?
False
Let r be 18/4 - 6/(-12). Suppose -a = -r*a + 236. Is a prime?
True
Is 1/(-3 - (-66)/21) a composite number?
False
Let w be 8/(-5)*(-10)/4. Is 166/w*(2 - 0) prime?
True
Let f(p) = -18*p**3 + 2*p - 2. Let a be f(2). Let d = -65 - a. Is d prime?
False
Let i(h) = -h**2 + 6*h + 9. Let y be (-37)/(-5) - 4/10. Let p be i(y). Suppose -p*f = -a - 8 - 7, -2*f - 5*a = -9. Is f composite?
False
Let g(b) be the third derivative of 0 + 0*b + 0*b**3 + 2*b**2 + 1/8*b**4. Is g(1) composite?
False
Suppose 3*v - 12 = -7*k + 4*k, -5*k = -25. Suppose x = 4*y + 17, -5*x + 0*y - 2*y - 3 = 0. Is (3 - 8)*(v - x) composite?
True
Let t(r) = 3*r**2 + 5*r + 6. Let k be t(5). Suppose -3*f = 2*i + 2*f - 208, 0 = i + 2*f - k. Suppose 4*p = 6*p - i. Is p composite?
True
Let u(s) = -s**3 + 9*s**2 - 6*s - 5. Is u(8) a composite number?
False
Let m(s) = s**3 + 10*s**2 + 10*s - 11. Let u be m(-8). Let l = 102 - 43. Let h = l - u. Is h a prime number?
False
Suppose -3*a + 1641 = -3*q - 351, -2651 = -4*a + 3*q. Is a prime?
True
Let r = -125 + 36. Let q = -32 - r. Is q a prime number?
False
Let k = -3294 - -5497. Is k composite?
False
Let d = 5 + -1. Suppose 0 = r - 0*y - d*y - 129, r = 5*y + 133. Is r prime?
True
Suppose 2*d + 2*x = -0*d + 194, -271 = -3*d + 2*x. Is d a composite number?
True
Let k(u) = u + 1. Let v(l) = 8*l**2 - 12*l - 7. Let z(g) = 4*k(g) + v(g). Let x(p) = -7*p**2 + 8*p + 3. Let t(f) = -7*x(f) - 6*z(f). Is t(9) a composite number?
True
Let m be 6/3 - 0 - 7. Let u be ((-4)/(-5))/((-1)/m). Suppose n = u*g + 71, 2*g = -10 + 2. Is n a composite number?
True
Is 8 - 11 - (-2 - 275) prime?
False
Let c(b) be the second derivative of -45*b**3 - 3*b**2/2 + 7*b. Is c(-2) a composite number?
True
Is -249*(-2 - (-15)/(-9)) composite?
True
Suppose 0*o + 2 = o. Suppose 0 = -2*i - o*i + 4. Is (i + -2)*(-8 + 1) a prime number?
True
Suppose 0*d - 4*f = 5*d - 3047, f = -3*d + 1831. Is d prime?
False
Let q = 1316 + -517. Is q prime?
False
Let l = 11 - 7. Let v(t) = 2*t + 2*t + 0 - 2. Is v(l) composite?
True
Suppose 4461 = 6*x + 1335. Is x a prime number?
True
Let t be 4/((-2*1)/(-2)). Let j(c) = 2*c - 5. Let k be j(t). Suppose -230 = -5*b + d, -7*b + d + 183 = -k*b. Is b prime?
True
Let z = 79 - 42. Is z a prime number?
True
Let f(b) be the second derivative of -b**3/6 - 2*b**2 - 3*b. Let p be f(0). Let s(r) = 7*r**2 - r + 3. Is s(p) a composite number?
True
Let a be (-2)/(-8) + 66/24. Suppose 0 = a*g + g - 52. Is g composite?
False
Suppose -3*j + 4*x + 189 = 0, j + 186 = 4*j - 3*x. Is j a composite number?
False
Suppose -139 + 34 = -5*n. Let f be 11/((-18)/n - -1). Suppose 2 = -5*k + f. Is k prime?
False
Suppose -2*w - u + 424 = 0, 0 = 2*w - 4*u - 0*u - 414. Is w prime?
True
Suppose 0 = -3*h - h, -4*o = 2*h + 844. Is o*(-2)/(3 + -1) a composite number?
False
Let g = 514 - 105. Is g a prime number?
True
Let v(t) = 6*t**2 + 10*t - 9. Is v(-8) a prime number?
False
Let a = 8 + -4. Let g(l) = -l**3 + 4*l**2 + 2*l - 4. Let i be g(a). Suppose 22 = i*n - 18. Is n a prime number?
False
Let c(s) = 33*s**3 - 2*s**2 + 2*s + 1. Let k be c(-2). Let u = -148 - k. Is u a prime number?
True
Let c = -11786 + 18219. Is c composite?
True
Suppose -2*h + 2*z = -84, -1 = -3*z + 2. Is h a prime number?
True
Suppose 20401 - 5481 = 8*r. Is r a prime number?
False
Suppose 0 = -5*t - 20, -2*l + 3*t = -4*l - 200. Let a(c) = 5*c - 6. Let b be a(-6). Let v = b - l. Is v prime?
False
Is 9/(-6)*334*-1 a composite number?
True
Suppose -395 + 26 = -3*v. Is v a prime number?
False
Let p(h) = 14*h**2 - h - 2. Is p(-3) prime?
True
Let a(m) = m**3 - 15*m**2 + m. Suppose -3*d = 5*v - 3*v - 45, 4*v + 75 = 5*d. Is a(d) composite?
True
Suppose 0 = -3*i - i + 8. Suppose -i*t + 0*t = -30. Is t prime?
False
Let k be (3/(-5))/((-10)/100). Let m = 13 - k. Is m composite?
False
Let h = -1001 - -1830. Is h composite?
False
Let j(t) be the third derivative of -53*t**4/12 - t**3/6 + 3*t**2. Is j(-2) a prime number?
True
Let x = 4522 - 3083. Is x a prime number?
True
Suppose -18*b = -17*b - 745. Is b a prime number?
False
Is (3 - 5) + (-147)/(-1) a composite number?
True
Suppose 14 = 3*l + 2. Suppose -g - l*g = -45. Is (-3)/g*0 + 33 a prime number?
False
Suppose 12 = -g - 3*h, -2*g + h + 7 = -4. Suppose -3*r + f + 283 = 0, -6*f = -g*r - f + 299. Is r a composite number?
True
Is (-1)/6 - (-16003)/78 composite?
True
Let f(o) = o**3 + 6*o**2 - 23. Is f(6) a composite number?
False
Suppose 0 = 4*h - 8, 0 = -4*i + 2*h - h + 14. Let l = 42 + -14. Is 3548/l - i/(-14) a prime number?
True
Suppose -3*s + 5272 = 5*s. Is s a prime number?
True
Suppose 2*z - 274 = -5*d, 3*z = -d - 22 + 69. Let y = -22 + d. Is y a composite number?
True
Is (-35)/14*((0 - 33) + -1) composite?
True
Let a(r) = 67*r + 3. Is a(4) prime?
True
Let i = -361 + 736. Suppose -3*f - i = -3*g, -f - 121 = -g + 2*f. Is g prime?
True
Suppose 0*g + 657 = 3*g. Let q = 134 - g. Let m = 122 + q. Is m prime?
True
Let d(n) = -12*n**3 - n**2 + 3*n + 3. Let b be d(-2). Let t = -24 + b. Is t prime?
False
Let k(y) = -y**3 + 3*y**2 + 4*y + 3. Let h be k(4). Suppose 20 - 5 = h*j. Suppose -3*o + 0*o = -4*u - 193, -j*u = 4*o - 278. Is o a composite number?
False
Let w(c) be the third derivative of 0*c + c**2 + 0*c**5 - 1/6*c**3 + 1/12*c**4 + 1/60*c**6 + 0. Is w(2) prime?
True
Let p = 1 + 3. Suppose 0 = -2*w + p*g + 38, w = 3*g + 23 - 5. Is w a composite number?
T