be q(6). Let b = c - j. Is b a composite number?
False
Let o = -2817 + 5188. Is o prime?
True
Let q = -4 - -2. Let u(a) = 12*a**2 + a - 2. Let x be u(q). Is (x/(-6))/((-6)/9) prime?
True
Suppose -p = -4*m - 31, -4*m - 2*p - 37 = -3. Let c be (8/10)/(m/(-20)). Suppose -c*q = q - 447. Is q composite?
False
Let b(k) = k**3 + k**2 + 13*k - 7. Is b(8) a prime number?
True
Let o be (2 + 0/(-1))/1. Suppose d + o*d = 18. Is d a composite number?
True
Is ((-9)/6)/(9/(-276)) prime?
False
Let i(m) = -m**3 + 5*m**2 - 5*m + 3. Let o be i(4). Let w = 3 + o. Suppose 0 = w*g + 4*d - 434, 5*g - d = 3*d + 1043. Is g composite?
False
Let o(n) = n**3 - 3*n**2 + 5*n + 1. Is o(4) a prime number?
True
Let v(k) = 3*k - 1. Let y be v(1). Is y + 1 - (-17 - 2) prime?
False
Suppose -8*v = m - 3*v - 25, 35 = 3*m + 5*v. Suppose m*s - 365 = -75. Is (-4)/18 + s/18 a composite number?
False
Suppose 4*v + 3*n = 133, 3*v - 2*n - 28 - 93 = 0. Is v prime?
True
Suppose 72*i + 2748 = 76*i. Is i composite?
True
Let x = 4 - -1. Suppose 3*u - 5*u + 571 = 5*o, 574 = x*o + 3*u. Is o a prime number?
True
Suppose -2*p + 2520 = 4*g, -691 = 3*g - 3*p - 2572. Is g a composite number?
True
Let f = 22 + -35. Let p = f + 23. Is p prime?
False
Let g = -1725 + 3674. Is g composite?
False
Let y be 1 + 761 - (-7 - -5). Suppose -2*n = -6*n + y. Is n composite?
False
Is -2*5534/8*-2 a prime number?
True
Let g(s) = s**3 + s**2 - s. Let v be g(0). Suppose -4244 = -v*z - 4*z. Is z composite?
False
Suppose 3*n - 16 = -1, h = n + 642. Suppose -3*x - 3*j + h = -x, -1344 = -4*x + 4*j. Is x prime?
True
Let x be 0/(1/((-3)/3)). Suppose 5*c = p - 46, 3*p - 4*c - 40 = 65. Suppose x = 4*g + p - 115. Is g a composite number?
True
Suppose -3*t + 1466 = -2761. Is t composite?
False
Let b = -260 - -465. Is b a composite number?
True
Let n = -297 + 884. Is n prime?
True
Let w be (-4)/(-1) - (2 - 2). Let f be (198/(-4))/((-3)/w). Let d = 11 + f. Is d prime?
False
Suppose 3 = w - 1. Let j(b) = 8*b**2 + b + 3. Let z be j(2). Suppose w*d - 47 = z. Is d composite?
True
Let k = -105 - -452. Is k composite?
False
Let u(k) = 9*k**2 + 2*k + 2. Let m be u(-1). Let r(v) = v**2 + 4*v + 1. Let f be r(-5). Is (291/m)/(2/f) a composite number?
False
Let b(w) = -w**3 + 5*w**2 + 6*w + 8. Let m be b(6). Suppose m - 57 = -4*t + 5*u, 2 = 2*t + 2*u. Is 538/t - (-6)/(-9) a prime number?
True
Is (-3)/(-6) - (-891)/6 a composite number?
False
Let h be 1/1 - (-2 - 3). Suppose 0 = -h*l + 3*l. Is (l + -1)/((-1)/7) a composite number?
False
Let a = 6 - 4. Suppose 0*k - 4 = -a*k. Is (-214)/(-4) - k/4 prime?
True
Let j be 299/4 - 1/(-4). Let d(a) = a**3 - a**2 + 4*a + 4. Let k be d(-3). Let n = j + k. Is n a composite number?
False
Suppose a + 4*a = -2650. Is a/(-4) - 4/(-8) prime?
False
Suppose 3*o = -2*o + 1115. Is o prime?
True
Suppose -v + 4 = -0*v. Is (47/v)/((-2)/(-56)) a composite number?
True
Let k be -18*(-79)/1 + 3. Suppose -155 = -4*g + k. Is g a composite number?
True
Let n be 2/3 - (-1116)/27. Suppose -4*a = n - 254. Is a prime?
True
Suppose -105 = 4*q - 9*q. Is q a composite number?
True
Let m(o) = -7*o**3 - 7*o**2 - 10*o - 17. Is m(-8) a composite number?
True
Suppose 3*l - 5*l + 2 = 0. Is 129 - 1 - 1/l a composite number?
False
Let a(k) = -2*k**3 - 1. Let f be a(-1). Is 128 + (f - (-4)/(-2)) composite?
False
Let g(v) = 7*v**2 + 4*v - 1. Let w be g(-4). Suppose -6 + w = k. Is k a composite number?
False
Let v = 2705 + -1456. Is v composite?
False
Is ((-31)/(-93))/((-2)/(-846)) a prime number?
False
Suppose -2*c = 2*c - 5*a - 659, -2*c + 331 = -3*a. Is c prime?
False
Let q be (-3)/9 - (-14)/6. Is (8/12)/(q/99) prime?
False
Let n be 2/(-6) + 39/9. Let t(k) = 0 + 8*k + 3 + 2. Is t(n) composite?
False
Suppose -b + k - 2 = -2*b, -19 = -2*b + 3*k. Suppose -b - 5 = -2*p. Suppose p*m - 1 = 9. Is m prime?
True
Is 0 + -3 - 0 - -152 a prime number?
True
Let t be (0 - 0)*3/(-6). Suppose 2*x + w - 120 = t, 0*w + 3*w = 4*x - 250. Suppose 0 = -i + 4*i - 3*z - 24, -2*z = 5*i - x. Is i composite?
False
Let a be (-1162)/(-6) + 3/9. Suppose 17 = -3*d + a. Is d composite?
False
Let d be 4*(-3 + 111/2). Suppose -3*h + d = -0*h. Let b = h + -33. Is b a composite number?
False
Let n(g) = 3*g - 1. Suppose 5*o = -8 + 33. Let c be n(o). Is (-4)/c + 988/28 composite?
True
Suppose -u + 1326 = 529. Is u prime?
True
Suppose 4*f - 3*f - 1860 = -4*o, 0 = o + f - 462. Suppose o = 9*g - 7*g. Is g a composite number?
False
Let z(y) = -y**2 - 6*y + 5. Let o be z(-7). Let j = 12 + o. Let m = 33 - j. Is m a composite number?
False
Suppose -658 = -4*d - 3*v - 2055, 5*d + 1723 = 4*v. Let g = -156 - d. Is g a prime number?
True
Let o(w) = w + 5. Let f be o(-6). Let d be 4 + 0 - (f + 2). Suppose 4*t = d*t + 21. Is t composite?
True
Let u be 4/26 + 31700/130. Let x = u + -161. Is x a composite number?
False
Let d = 8 - 5. Suppose 0*p - u = d*p - 50, 2*u + 20 = 2*p. Is p composite?
True
Suppose 957 = -4*x + 7*x. Is x a prime number?
False
Let p(j) = j**3 - 3*j**2 - j - 3. Let b be p(3). Let l = 7 + b. Is l + -2 + -2 + 58 prime?
False
Suppose b = 3*f - 4, f - 8 = 2*b + 3*f. Is 2*(-1 - 1230/b) a composite number?
False
Let n be 3*1/3*4. Suppose 0 = n*c - 5*t - 1459, -c + 152 = 2*t - 229. Is c a composite number?
True
Suppose -20 = 2*j - 0*j. Let y(q) be the third derivative of q**6/120 + 3*q**5/20 - 5*q**4/12 + q**3 + 6*q**2. Is y(j) prime?
False
Let m(h) = 4*h**2 - 11*h + 3. Is m(10) a composite number?
False
Is 13701*(-3)/(-45) + 2/(-5) a prime number?
False
Let u(d) = d**2 + 12*d + 4. Let c be u(-12). Suppose 1411 = c*i + 63. Is i prime?
True
Let u(o) be the third derivative of o**6/40 - o**5/30 - o**4/12 + 2*o**2. Let d be u(2). Suppose h - 9 = d. Is h a prime number?
False
Is ((-76)/(-6))/(6/9) prime?
True
Suppose 0 = -5*k - 36 + 126. Suppose 0*z = -3*z + k. Suppose -u + 2*u - z = 0. Is u a prime number?
False
Suppose 4*g + 1266 = 6*g. Is g composite?
True
Let r(i) = 38*i - 7. Let w = -4 + 13. Is r(w) composite?
True
Let q be (-1)/(-7) - 4150/(-7). Let b = q - 342. Is b a composite number?
False
Let i = 9 + -4. Suppose 5*k = -i*v - 15, -5*k - 3*v = 1 + 16. Is (-1)/((-6)/k)*-21 a prime number?
False
Let i(j) = j**3 + 3*j**2 - 5*j. Let w be i(-4). Suppose -w + 20 = 2*v. Let u = -2 + v. Is u a composite number?
True
Let i(q) = 3*q**2. Let a be i(-1). Let r(t) = -1 - 8*t**2 - 4*t**a + 12 + t**3 + 4*t**3. Is r(10) a prime number?
True
Let h = -4 - -11. Let b = h - 7. Suppose b*w = w - 46. Is w prime?
False
Let z(d) = d**3 - 10*d**2 + 5*d + 5. Let k be z(10). Suppose -k = -3*i - 2*i. Is i a composite number?
False
Suppose 0 = -0*o - 4*o. Suppose o = h - 4 - 3. Let p = h - -4. Is p prime?
True
Let b(q) = 2*q**2 - 6*q - 11. Is b(8) a composite number?
True
Let h(y) = y**2 - 6*y - 2. Let n be h(7). Suppose q = 1 - n, 5*u - 106 = -q. Let c = u - 3. Is c prime?
True
Let y(r) = -183*r - 26. Is y(-5) prime?
False
Let g = 0 - -5. Suppose g*x - 1 = 9. Suppose m = 4 + x. Is m composite?
True
Suppose -3*t + 127 = 3*k + 2*t, -48 = -2*k + 4*t. Let y = 67 - k. Is y prime?
False
Let i = -4 - -10. Let n be 2898/33 + i/33. Let y = 39 + n. Is y prime?
True
Suppose -26 = -4*f + 34. Is f prime?
False
Let f(u) = 6*u**2 - 10*u + 15. Is f(7) composite?
False
Let z = 1 - 0. Let d be (2 - 7)/(z*-1). Suppose h - b = 16, -b - 3*b - 77 = -d*h. Is h prime?
True
Let k(n) = 2*n**2 - 5*n + 2. Let q be k(3). Suppose -p - 5*o + 3 = -13, q = 2*p + o. Is (p + 3)*21/6 prime?
False
Suppose -5*s - 1322 + 242 = -5*x, 3*x - 4*s - 651 = 0. Is x a composite number?
True
Let o = 2 - 0. Suppose 0 = -5*z + 3*a - 1753, -o*z - 1777 = 3*z + 3*a. Let t = -132 - z. Is t a prime number?
False
Let r be (1 - -2)/((-3)/(-2)). Let v(j) = -j**r + 0*j**2 + 5*j + 6*j + 6 + 0. Is v(11) a composite number?
True
Let x = 259 + -74. Suppose -k = -4*q + x, -4*k + 247 = 3*q + 2*q. Is q a prime number?
True
Suppose -3*h + 3*a + 632 = -2*a, -3*h - 4*a = -623. Let q = h + 24. Is q prime?
True
Let w(g) = 1. Let b(z) = z**2 - 5*z + 3. Let k(h) = b(h) - 2*w(h). Let m be k(2). Let a(n) = 5*n**2 + n + 7. Is a(m) a prime number?
True
Let v be 0 - (-2 - -1)*4. Suppose 3*m + 423 = -v*j + 6*m, -4*m = -4*j - 428. Is (j/(-9))/((-2)/(-9)) prime?
False
Let c(z) be the first derivative of -z**4/4 + 7*z**3/3 - 3*z**2 + 2*z + 3. Let j be c(6). Suppose -2*w