Is g prime?
True
Let a be -1 + -3 + 2 + 1 - -41. Suppose a + 259 = k. Is k composite?
True
Let r(l) = 264*l**2 + 6*l - 13. Is r(2) composite?
True
Suppose 0 = -2*y + 5*c + 47, y - 5*c - 14 = 2*y. Suppose -g + y = -3. Is g*(1 + (-117)/(-6)) composite?
True
Is (-3363681)/(-253) + (140/(-44) - -3) prime?
False
Let n(g) = 4251*g - 8. Let j be n(1). Is 12/18 - j/(-3) a prime number?
False
Is (1152/(-640))/((-6)/275810) composite?
True
Suppose 5*h + 17 = -4*d + 83, -d - 57 = -4*h. Is 0 + h/35 - (-4266)/10 prime?
False
Suppose -n - 13 + 4 = -5*t, -5*t = 5*n - 15. Let b(x) = 2*x**2 - 25*x + 37. Let f be b(11). Is 281/t - 6/f composite?
False
Let q(s) = 2*s**2 - 2*s + 11. Let t be -2 - (-3 - 7)/5. Suppose k - 4*k + 18 = t. Is q(k) a prime number?
True
Suppose -124*c = -117*c + 5621. Suppose b + 2*y = -218, 6*y - 1076 = 5*b + 2*y. Let j = b - c. Is j a prime number?
True
Let b = -1335 + 558. Let p be 2/(6/b) + -1. Is (-2)/(-6) - p/12 a prime number?
False
Let w(l) = 2*l**3 - 18*l**2 - 19*l - 3. Let s(r) = 3*r**3 - 36*r**2 - 38*r - 6. Let t(h) = -3*s(h) + 5*w(h). Is t(-16) a prime number?
True
Let m = 31 + -32. Let t(h) = -1523*h**3 - 3*h**2 - 2*h. Is t(m) a composite number?
True
Suppose 0 = 14*q + 3 - 17. Is (-642 + 11)*(q + -2) composite?
False
Let n = -9757 + 18696. Is n a prime number?
False
Let m = -1258 + 1829. Is m composite?
False
Let p = 6015 - 1184. Is p prime?
True
Let g be 3 + 3 + -2 + -2. Suppose -1562 = -q + 3*d, -q + g*d = -2*d - 1563. Is q a prime number?
True
Let l(h) = -h**3 + 4*h**2 - 2*h - 1. Let v be l(2). Let q = 29 - v. Let u = q + 83. Is u a prime number?
True
Let o(s) = s + 20. Let y be o(-20). Suppose f - k - 1272 = y, -4*k = 11*f - 16*f + 6355. Is f a prime number?
False
Let r(w) = 7*w**2 + 4*w - 5. Let k be r(1). Is (2 - k/8)*(1603 - 15) a composite number?
True
Suppose 0 = -5*c + 2*c. Suppose -j - j + 4*u + 18 = 0, 2*u = c. Suppose -815 = 4*y - j*y. Is y composite?
False
Let f(w) = 10*w - 3*w - 20*w + 4. Suppose -3*g + m - 4*m = 6, -g + m = 12. Is f(g) a composite number?
True
Let u = 85 - 83. Suppose -u*h + 114 = -4. Is h a composite number?
False
Let i(j) = 6383*j + 2. Let l(x) = x - 1. Let r(m) = i(m) + 6*l(m). Is r(1) a prime number?
False
Let k be (2 - (1 - 0)) + 7. Suppose -2 - k = -2*j. Suppose -j*h + 2053 = -4*p, 2050 = 5*h - 6*p + p. Is h prime?
False
Let m(n) = -1734*n**3 - 2*n - 1. Let x(l) = -l**2 - 9*l + 9. Let w be x(-10). Is m(w) composite?
True
Let x(n) be the second derivative of 83*n**8/3360 - n**7/2520 + n**5/120 + 5*n**4/12 - 3*n. Let l(i) be the third derivative of x(i). Is l(1) prime?
False
Let h be (22 - (-3 + 2))/(-1). Let p = 48 + h. Let k = p + -6. Is k a composite number?
False
Suppose 0*i = 3*i - 6. Let o(g) = 327*g - 5. Is o(i) a composite number?
True
Let b(p) = -18*p + 163. Is b(-42) composite?
False
Let k be (-10 + -2)*(-39)/(-12). Let y = 26 + k. Let h(w) = -w**3 - 13*w**2 - 5*w + 18. Is h(y) a prime number?
True
Suppose 5*y + 2*z - 12463 = 0, 0 = -39*z + 34*z + 20. Is y a composite number?
True
Let r be ((-20)/4)/(0 - 1). Let y(a) = a**2 + r + 5*a + 1 + 3*a - 5. Is y(6) prime?
False
Let w = 1047 + 146. Is w prime?
True
Let z = -1185 - 170. Let o = z - -2988. Is o a composite number?
True
Let y(h) = 24*h**3 - 4*h**2 + 6*h - 2. Let x be y(4). Suppose -u - x = k - 3*u, -3*u = 3*k + 4482. Is 20/(-50) + k/(-10) composite?
False
Let i(g) = g**2 + 15*g + 13. Let a be i(-14). Let b = a + 3. Suppose 5*r = -b*q + 141 + 35, -4*r - 75 = -q. Is q a prime number?
True
Let a = 40 - 38. Let h be (-28956)/(-9) - a/(-3). Let x = -2233 + h. Is x prime?
False
Suppose 3*w + 370 = s, -3*w + 12 = 3. Is s composite?
False
Let b(z) = -4*z - 15. Let f be b(-5). Suppose 4 = -f*y - 26. Is y/(-4)*(-2032)/(-24) composite?
False
Let z = 25 + -16. Suppose -6*t + z = 3. Is (3 - t)*(-387)/(-6) composite?
True
Suppose 6*w - 4 = 4*w. Let j(m) = 6*m**2 - 2 + m - 8*m**w + 292*m**3 + 2. Is j(1) prime?
False
Let r(x) = 45*x**3 + 5*x**2 - 2*x + 67. Is r(9) composite?
True
Let m(i) = -2*i + 21. Let r be m(3). Is 4/30 - (-88543)/r a prime number?
True
Let g(d) = -426*d**3 + 2*d**2 - 1. Let v be -6*1/2*3. Let y(c) = 2*c + 17. Let b be y(v). Is g(b) prime?
False
Suppose -11263 = -5*d + 8437. Let j = -1991 + d. Is j prime?
True
Suppose -r + 4 + 69 = 0. Let v(a) = -a**2 + 2*a - 1. Let s be v(3). Let m = r + s. Is m a prime number?
False
Suppose 0 = h + 4*f - 923, -4*h - 3*f = -6*f - 3616. Is h prime?
True
Suppose -b - w = -6*w - 189, 4*w + 193 = b. Suppose -5*r - b = -m, -2*m - 4*r + 627 = m. Is m prime?
False
Suppose -13*w + 3 = -12*w. Suppose -w*n = -2186 - 793. Is n composite?
True
Let k = -5603 + 13104. Is k composite?
True
Let z(d) = -d - 3. Let u be z(-5). Let h be (u - 2 - -3)*19. Let l = h + 106. Is l prime?
True
Let z = 73251 + -39400. Is z a prime number?
True
Suppose 53*s - 10 = 48*s. Suppose -3*p + 2*n + 9319 = 0, 6230 = 2*p + n + s*n. Is p a prime number?
True
Suppose 6*q = -0*q + 72. Suppose -2*b = -3*h + q, -2*b = -h + 2*b + 4. Suppose h*n = -n + r + 669, 4 = -r. Is n a prime number?
False
Is (6/69 - 5867433/207)*-1 a composite number?
True
Let x(l) = -284*l**2 - 2*l + 2. Let f be x(-2). Let t = -1615 - f. Let i = -234 - t. Is i a composite number?
False
Let p(h) be the first derivative of 10*h**2 + 13*h + 7 - 18*h + 2*h**2. Is p(5) a composite number?
True
Let h(j) = j**2 + 3*j + 6. Let x be h(-3). Suppose -x*a = -2*a. Suppose a = 33*l - 37*l + 580. Is l a prime number?
False
Suppose 6*g = -2*g + 24. Suppose 0 = g*d - 5*z - 276 - 3072, -4*d + 2*z = -4450. Is d a composite number?
True
Let n(f) = -f**2 - 8*f - 13. Let s be n(-6). Is (-710)/(0 + -5) - (4 + s) a composite number?
False
Let k be 2/(-5) - 6/10. Let d = -13 - k. Is ((-993)/d)/((-1)/(-4)) composite?
False
Let w(v) = 20*v**2 - 3*v. Let l be w(2). Suppose -4*p = -5*u + 5, 0 = 3*u - 2*p - 1 - 4. Let j = l - u. Is j a prime number?
False
Suppose z = -1, 916 = 3*c + 4*z - 7708. Suppose 0*m = 4*m - c. Is m prime?
True
Suppose -85*m - 2165133 = -178*m. Is m composite?
True
Suppose -2*f - 1244 = -5*y - 3*f, -y + 251 = -2*f. Let d = y - 29. Suppose -3*m + s + 49 = -122, -4*m = -4*s - d. Is m prime?
False
Let v(p) = -319*p**2 + p - 3. Let u be v(-2). Let j = u + 2090. Is j a composite number?
False
Suppose 30*i - 36*i = -106698. Is i a prime number?
True
Let y be (-4)/20 - (-22896)/(-20). Let x = y - -2462. Is x prime?
False
Let u be (-4)/(-10)*45/9. Suppose 5*z - 8 = u. Is -46*33/(-6) - z a composite number?
False
Let t = 5 + -1. Let r be (6/7)/(t/(-28)). Is 1956/r*(-2)/4 a prime number?
True
Let g(i) = -i**3 - 8*i**2 - i + 9. Let k(a) = -3*a**3 - 23*a**2 - 2*a + 27. Let o(v) = 17*g(v) - 6*k(v). Suppose 0 = -3*z + 29 - 8. Is o(z) prime?
True
Suppose 22*j - 5755 = 17*j. Is j composite?
False
Let g = 235 - 53. Suppose 0 = -2*p - x - 0*x + g, -4*x = -4*p + 340. Is p a prime number?
True
Let q = 6738 + -3361. Is q a composite number?
True
Suppose 0*n - 2*n = -128. Let p be 4/22 - n/(-11). Let i(z) = 48*z + 5. Is i(p) a prime number?
True
Let r = 33 + -31. Suppose 0 = -3*n - r*n - 20. Is n/12*3*-2471 prime?
False
Suppose 5*n + 847 - 13447 = -5*i, 2*n + i = 5035. Is n a composite number?
True
Suppose -3*a - 57 = 4*g - 7*g, 0 = -2*g - 4*a + 56. Suppose g = 5*p - 4*y, 2*p + 5*y - 22 = -0*p. Suppose 0 = 4*k - p*k + 26. Is k a prime number?
True
Suppose 0*p + 6552 = 3*p. Suppose -4*q = 2072 + p. Is (-2)/10 - q/20 prime?
True
Suppose -5*q + 4*v = 51, 1 = 2*v + 3. Let w be 97*-2 - (-11 - q). Let p = -137 - w. Is p a prime number?
False
Let y be 2 + -2*3/(-6). Let s(p) = -8*p + p**2 - 5 - 1 + y. Is s(9) a composite number?
True
Let w = 27 - 24. Let x(o) = 5*o**3 + 1. Let i be x(1). Suppose w*d - i*d = -327. Is d a composite number?
False
Suppose 2*v = r + 962, -2*v + 3*r + 970 = -0*r. Is v a prime number?
True
Let l(p) = 1684*p**2 + 2*p - 9. Is l(2) prime?
False
Let z(o) = o**3 + 2*o**2 - 2*o + 2. Let d be z(-3). Let v be (-1)/(0 + d) - -3. Suppose -2*k + a - 196 = -3*k, v*k - a = 759. Is k a composite number?
False
Is 6 - (-2 - -13)*-89 a prime number?
False
Suppose 16*j = 38*j - 64658. Is j a composite number?
False
Suppose 4*d + 2392 = i + 5*d, 0 = 3*d + 3. Is i a composite number?
False
Suppose x + b = 5898, -9*b + 5899 = x - 7*b. Is x a composite number?
False
Let u(g) = 49