*s + 310 = 5*q, 3*s = -q + 28 + 46. Is q a prime number?
True
Suppose -3*q + 5*d = -2458, -5*q = 4*d - 2599 - 1510. Is q prime?
True
Is 39/65 + (-967)/(-5) prime?
False
Let m(k) = -k + 2. Let g be m(4). Let y be (g*5 - 0)*1. Let j(f) = -9*f - 5. Is j(y) a composite number?
True
Suppose 2*r = -4*d + 5*r + 5, 5*d - 2*r = 8. Suppose -d = m, 0*m = 5*g - m - 42. Let q = 11 - g. Is q composite?
False
Is 1645/9 - (-12)/54 composite?
True
Let d(x) = -3*x**3 + x**2 - 3. Let z be d(-3). Suppose -4*u + 5*t = t - 136, -3*u - 2*t + z = 0. Is u composite?
False
Let q(h) = -254*h - 1. Let u be q(-1). Suppose -5*n - u = -763. Let f = -67 + n. Is f a prime number?
False
Suppose -2*c = 3*c + 30. Is c/(-10) - 608/(-20) prime?
True
Let w = 3 + -1. Suppose -2*o + 0*o = -2*t, 9 = 5*o - w*t. Is (-1*53)/((-3)/o) a composite number?
False
Let n(l) = 2*l**3 - 5*l**2 + l + 1. Let w(b) = b**2 - 11*b - 8. Let j be w(12). Is n(j) prime?
True
Let m(s) = -s**2 + 13*s - 1. Let b be m(10). Suppose 4*x - b + 1 = 0. Is x prime?
True
Let a be 5/10 - 111/2. Let y = a + 92. Is y prime?
True
Suppose 0 = -4*q + q + 99. Suppose q = s - 18. Is s a composite number?
True
Is ((-628)/12)/(2/(-42)) a prime number?
False
Let s be (-62)/(-5) - (-6)/(-15). Let j = s - -50. Suppose 0 = 5*g - 3 - j. Is g a prime number?
True
Suppose -5*g + 3*o - 9 = 0, 4*o - 9 = -g + o. Suppose g = 4*s + 2*p - 6, 15 = 5*s - 0*p + p. Suppose 0 = -2*y - 10, 4*j - s - 72 = 4*y. Is j composite?
True
Suppose 3*h - 4*v = -761, 0 = -4*h - v + 485 - 1506. Let d(s) = s**3 - 9*s**2 - 9*s + 3. Let a be d(7). Let y = a - h. Is y prime?
True
Let y be (-50)/4*6/(-5). Suppose -u + 290 = -3*j, -2*u = 3*j + y + 287. Let c = j + 149. Is c a composite number?
True
Let f = -609 - -1528. Is f composite?
False
Let z(d) = -d**2 + 6*d + 1. Let x be z(6). Is (2 - (3 + x)) + 21 composite?
False
Let y = 10 + -13. Let d be 1/y + 7/3. Suppose -46 = -d*f + 112. Is f a composite number?
False
Suppose -16 + 1 = -5*h. Suppose 5*g - 2*v - 573 = 0, 2*v + 137 - 484 = -h*g. Is g prime?
False
Let r(h) = 6*h**2 + 8*h - 4. Let w(p) = -p**2 - 1. Let c(t) = r(t) + 5*w(t). Let b be c(-9). Suppose b = -3*s - 0*s + 249. Is s a composite number?
False
Let r(d) = 84*d**2 + d + 1. Is r(-2) prime?
False
Let m = -41 - -57. Suppose 0 = 3*r - 12, c - m - 41 = -r. Is c a composite number?
False
Suppose 5*n + 5 = 0, -3*n - 1182 = -k + 2*n. Is k a prime number?
False
Suppose -5*q + 5 = -2*b, 6 = -2*b + 4*q - 0. Let g(i) = -5*i**3 - i**2 + 8*i + 3. Is g(b) a composite number?
False
Let s be 69*(3 + -2 - -1). Let o = s + -71. Is o prime?
True
Let n be 6*(2 + 24/(-9)). Let d(y) = 13*y**2 - 2. Let t be d(n). Is 3/(-6) + t/4 a composite number?
True
Let k = 77 - 40. Let r(u) = -u**2 + 3*u + 2. Let l be r(3). Suppose -l*g = -g - k. Is g a prime number?
True
Let o(b) = b**3 + 11*b**2 - 10*b + 9. Is o(-11) a prime number?
False
Let y = 478 + -224. Suppose -20*s = -18*s - y. Is s prime?
True
Suppose -5*i - 18114 = -11*i. Is i prime?
True
Let p(y) = 11*y - 4. Let b(c) = -1 - 2 + 2*c + 10*c. Let n(g) = 4*b(g) - 3*p(g). Is n(1) prime?
False
Suppose -4*p = -3*p. Suppose z + 0*z - 37 = p. Is z prime?
True
Is 3/(-4*(-9)/228) prime?
True
Suppose -4*y + 12 = -y. Suppose 3*i + 62 = f, -5*f - y*i = -5*i - 268. Is f a composite number?
False
Is 3/(-18) - 9820/(-24) a composite number?
False
Let v(s) = s**3 + 2*s**2 - 1. Let n be v(2). Suppose -5*a = n, 98 + 39 = 5*w - 4*a. Is w a composite number?
True
Is 174/(-9)*(-2)/((-16)/(-84)) a composite number?
True
Suppose v = -2*v + 246. Is v prime?
False
Let o = 325 - 176. Is o a composite number?
False
Is 2*(-2)/4*-65 a prime number?
False
Let w(i) = 6*i + 13. Let m = 7 + 0. Is w(m) a prime number?
False
Let g be -6 + 0 - 4/(-4). Suppose 0 = -2*h + 15 + 17. Let p = g + h. Is p prime?
True
Suppose x + 1 = -1. Let b(p) = -p**3 + p**2 + p. Let c be b(x). Suppose -20 = -3*g + c. Is g a composite number?
True
Let k be 1 - 4/(3/(-3)). Suppose z = k*z - 524. Is z a prime number?
True
Let c(b) = 134*b**2 + 2*b - 1. Let i be c(-2). Suppose 0 = -4*r + i + 233. Is r composite?
False
Let w be 2 - ((-2)/(-1) - -1). Let x be (-58 - w)*2/(-3). Suppose -2*n = -0*n - x. Is n a composite number?
False
Is -1*(0 - ((-6)/3 + 121)) composite?
True
Suppose -2*w - 48 = -w. Let c = w + 202. Suppose 0*n + c = 2*n. Is n a prime number?
False
Let w = -3 - -6. Suppose w*b = -2*v + 973, -b - v + 53 = -273. Is b composite?
True
Suppose -2*b = -2, -b + 7 = 5*j + b. Let x(z) = -47*z**3 + 5*z**2 - 4. Let i(f) = f**3 + f**2 - 1. Let v(p) = 3*i(p) - x(p). Is v(j) composite?
True
Suppose -53 = -2*d - j, 5*d + 70 - 201 = -3*j. Suppose -2*n = 2*t - 50, -4*t + d = 5*n - 74. Let s = -2 + t. Is s composite?
True
Suppose 5*z = 2*z + 4*y + 52, 2*z - y - 33 = 0. Suppose -z = 4*j, 0*j - 3*j + 632 = 4*b. Is b a composite number?
True
Suppose -2*g - 4*z = -1448, -2187 = 3*g - 6*g - 3*z. Is g prime?
False
Suppose 4*l = 381 + 847. Is l a prime number?
True
Let p(v) = v**3 + 5*v**2 - v + 9. Is p(4) a composite number?
False
Suppose -4*q - 2 = -2*y, -3*q + 19 = 5*y - 6*q. Suppose 3*i - 105 = y*b, 140 = 4*i - b + 5*b. Is i prime?
False
Let l(z) = z**2 + z + 1. Let h be l(-2). Suppose -h*x = x - 168. Suppose -3*u - u - 205 = -5*t, x = t - u. Is t composite?
False
Suppose -2*h = 3*h - 40. Is 4/h*(-1164)/(-2) a composite number?
True
Suppose -12 = -5*j + 3, 3*j + 87 = -3*u. Let m = 89 + u. Suppose 2*s - 38 = -4*h + 120, -h = 4*s - m. Is h a prime number?
True
Let z be 3794/8 - 11/44. Is 1/(-1 + z/471) composite?
False
Suppose -2*a + 5*w - 12 = w, -4*w = -a - 12. Suppose 3*s - 2*s - 7 = a. Is s a composite number?
False
Let l(v) = -20*v - 5. Let m be ((-7)/(-21))/((-1)/15). Is l(m) a prime number?
False
Suppose 1 - 7 = -2*k. Suppose 0 = -5*m - 2*c + 555, -98 = -3*m + k*c + 235. Is m a composite number?
True
Suppose -2*h - 2*a = -5*h + 542, -3*h = a - 548. Let r = -23 + h. Is r a composite number?
True
Suppose 0 = 4*n - 4*p - 336, n + 5*p - 3 = 111. Is n composite?
False
Suppose -7 = 5*i - 37. Let k = i + -6. Suppose k = 4*h - 25 - 51. Is h composite?
False
Suppose -4*n - 2784 = -6*n + 2*l, -4*l = 2*n - 2814. Is n a composite number?
True
Suppose -4*t + 242 = -390. Is t prime?
False
Let r be -2 - (-3 + 4 - 2). Is (-6 - r)/((-2)/46) a prime number?
False
Let d(b) = 2*b**2 + 5*b - 4. Let i be d(4). Let o = i + -29. Let w = o + 15. Is w composite?
True
Let t(b) = b + 341. Let j(z) be the first derivative of z**2/2 + 4. Let f be j(0). Is t(f) a prime number?
False
Is (-582)/(-9)*(-9)/(-2) composite?
True
Let o = 0 - 4. Let s(q) = -4*q + 5. Is s(o) prime?
False
Let j(g) = 12*g - 1. Suppose -5*d = 1 - 21. Let v be j(d). Let c = 178 - v. Is c a prime number?
True
Is 0 - 2 - (0 - (-703)/(-1)) composite?
False
Let u(o) = -o**2 + 7*o - 1. Let q be u(6). Let n(s) = -3*s + 0*s - 2*s**2 + s**3 + s + q - s**2. Is n(4) a composite number?
False
Suppose -3*m + 4*l = -251, 5*l + 333 = -0*m + 4*m. Is m a composite number?
True
Let a(d) = d**3 - 15*d**2 + 2*d - 23. Is a(16) a prime number?
False
Let n(d) = 161*d - 3. Is n(2) prime?
False
Suppose -17*j = -14375 - 14066. Is j a composite number?
True
Let p(w) = -w + 13. Let z be p(11). Suppose -2*k - z*y = 112, 0 = -5*y - 0*y. Let o = -35 - k. Is o prime?
False
Suppose 4*u - 5*u - 5*g = -15, 0 = -u - 2*g + 3. Let j = u + 8. Let c = j + 4. Is c prime?
True
Is 30665/15 + (-3)/9 - -3 a composite number?
True
Suppose 0 = -g + 3*i + 76, -177 = -3*g + g + i. Is g prime?
False
Let k(j) = 35*j**2 + 10*j + 19. Is k(-6) a composite number?
True
Let s = 4 - 3. Suppose s = 2*o - 3. Suppose -u = 2*u - 5*x - 9, -4*u + o*x + 12 = 0. Is u a composite number?
False
Suppose 5*s = -5, 3*j = -2*s + 3*s + 10. Suppose -h + 5*l + 9 = j*h, -24 = -5*h + 2*l. Is h a composite number?
True
Suppose 0 = -z - 1 - 5. Is (12/2)/(z/(-87)) a prime number?
False
Is (1031/2)/((-3)/(-6)) a composite number?
False
Let u(g) = g - 3. Let v be u(-6). Let t(b) = -b**3 - 8*b**2 + 10*b + 12. Let n be t(v). Suppose -12 = -3*s - n. Is s a composite number?
False
Let r(o) = 15*o - 2. Let f(u) = -16*u + 1. Let s(j) = 3*f(j) + 4*r(j). Is s(4) a prime number?
True
Let p(y) = -y - 6. Let l be p(-6). Suppose 0*h + 5*h - 1085 = l. Is h composite?
True
Let f be ((-40)/(-12))/(4/6). Suppose -f*d + 790 = -835. Suppos