?
True
Suppose -3*i = 4*f - 4447, f = -2*f - 15. Suppose 4*m = -141 + i. Is m a composite number?
False
Let u(v) = -v + 5. Let q be u(4). Suppose -q - 9 = 2*a + 4*d, -d = -3*a - 1. Is (a - (-1 + 1))*-13 prime?
True
Let t = 17 + -12. Suppose -3*d + 17 + 5 = -5*y, 0 = t*d + 5*y - 90. Is d composite?
True
Let y be (-11600)/(-45) + 2/9. Let g = y - 165. Is g a composite number?
True
Is 180 + (-8)/(2 + 2) prime?
False
Suppose -77 + 23 = -3*g. Suppose 5*y - 2 = g. Is (14/y)/((-1)/(-10)) a prime number?
False
Let u be 14/(-6)*(3 - -36). Let i = u - -165. Suppose 2*m - i = -r, r - 39 = -4*m + 105. Is m prime?
False
Let m be (-1*(-1 - -1))/2. Suppose -5*j + 10 = -m. Suppose -132 = -2*v + u, 0*v - j*v - u + 136 = 0. Is v a prime number?
True
Is (-12)/42 + (-1782)/(-14) prime?
True
Let s = 765 - 542. Is s a composite number?
False
Let f(h) = h - 2. Let a = 6 + -3. Suppose -5*w = -a*p + 15, -p - 2*w = -5*w - 5. Is f(p) a composite number?
False
Let p(s) = 28*s - 9. Let t be (1/3)/((-2)/(-30)). Is p(t) a prime number?
True
Suppose 4*j - 56 = 2*m, 0*j - m + 44 = 4*j. Suppose d = -j + 34. Is d prime?
False
Suppose 3*z + 5*r - 19 = 0, -z - 3*r = -4*r + 7. Is (5/20)/(z/(-664)) a prime number?
True
Let x(l) = -9*l**2 - 6*l + 1. Let u(p) = 19*p**2 + 13*p - 2. Let a(q) = -6*u(q) - 13*x(q). Let i be a(1). Suppose 0 = 4*c - i*c - 20. Is c a prime number?
False
Is 32/(-48) - (-1211)/3 a composite number?
True
Let f be (-2 - -1)/(-1)*2. Let g(b) = -b + 3*b**2 - 2*b + 8*b - 3 + 0*b**f. Is g(-5) prime?
True
Let p(q) = q**3 - 5*q**2 - 5*q - 3. Let f be p(6). Suppose -3 = -f*v + 9. Is v prime?
False
Let j = 97 + -8. Is j prime?
True
Let o(s) = 3*s + 1. Let p be o(1). Suppose -3*n + p = -5. Suppose -x + 1 = 0, 18 = -3*j + n*x + 54. Is j a composite number?
False
Suppose -5*w + 4*l + 414 - 74 = 0, w - 5*l - 47 = 0. Let n = -23 + w. Is 0 + (2 - 0) + n prime?
False
Let h(j) = 43*j. Let w be h(3). Let v = 4 + w. Is v a composite number?
True
Let m be (-220)/(-6)*24/16. Suppose -m = -5*y + 15. Is y a prime number?
False
Suppose -5*q + 10 = 0, 2*m - q = -m - 104. Let l = m - -101. Is l a prime number?
True
Let l be 0*(6/4 - 1). Suppose l = -4*y + 41 + 103. Let o = y - 2. Is o a composite number?
True
Suppose 5*a = 2*p + 87, a + 4*a - 99 = -p. Is a a prime number?
True
Is (17/51)/(2/11442) prime?
True
Suppose -4*b + 37 + 15 = 0. Let x(u) = -8*u**3 - 12*u**2 + 16*u + 9. Let y(t) = 17*t**3 + 25*t**2 - 33*t - 18. Let v(r) = b*x(r) + 6*y(r). Is v(-7) prime?
True
Let l = -3 + 9. Let j be (-94)/(-18) - l/27. Suppose -v - 140 = -j*v. Is v prime?
False
Let u(z) = 8*z - 2. Let p(a) = -7*a + 1. Let f(h) = 6*p(h) + 5*u(h). Let i be f(-5). Let d(j) = -j**3 + 7*j**2 - 4*j - 2. Is d(i) prime?
False
Let b be -2 - (-2 + 0/3). Let v = 2 + b. Suppose -l + d + 31 = -d, 0 = -3*l - v*d + 109. Is l a composite number?
True
Suppose 5*x = -254 - 241. Let a = -22 - x. Is a a prime number?
False
Suppose 2*q = -4*k + 504, 6 = 2*k - 0. Suppose -7*s = -797 - q. Is s prime?
True
Let q(t) = -t**2 + 17*t - 22. Let u be q(15). Let m(g) = -g**3 + 7*g**2 + 14*g - 10. Is m(u) a prime number?
False
Is ((-4)/(-5))/(-2 - (-1132)/565) prime?
False
Let t(c) = -c**3 - 11*c**2 - 8*c + 14. Let v be 2*-4 + 2*-1. Let g be t(v). Is -3*(116/g + -3) a composite number?
False
Let z(b) = 8*b - 1. Let g be z(1). Suppose 0 = 3*i - 55 + g. Suppose 5*l - 4*q = 503 - i, -6 = 2*q. Is l a prime number?
False
Let t(y) = 4*y**3 - 4*y**2 - y - 4. Let v(d) = 3*d**3 - 4*d**2 - d - 5. Let a(p) = 5*t(p) - 4*v(p). Is a(3) a prime number?
False
Suppose -4*j + 66 = -458. Is j prime?
True
Suppose 3 = 2*c - 5*j, 0*c = c - 4*j. Suppose 0 = -b + c*b. Suppose b*x + 202 = 3*h - 4*x, 2*h + 5*x - 173 = 0. Is h prime?
False
Let r be (-2)/((-2)/(-1))*-102. Suppose -a + 4*a - r = 4*n, 3*a - 102 = 5*n. Let f = 56 - a. Is f prime?
False
Let t(z) = z**2 + 2*z + 497. Let g be t(0). Let b = 102 + g. Is b prime?
True
Suppose -5*i + 2*v = -38, 2*v - 13 - 3 = -4*i. Suppose -h + 17 = 3*w - i*h, -7 = -w + 3*h. Suppose 2*m + w*r - 50 = 0, 6*r = 5*m + 4*r - 101. Is m composite?
True
Is (46298/35)/(6/15) composite?
False
Let d(c) = -82*c**2 - 2*c - 1. Let r(n) = -n**2 - n. Let a(h) = 2*h**2 + 3*h. Let t(y) = a(y) + 3*r(y). Let k(z) = -d(z) + 2*t(z). Is k(-1) prime?
True
Let c(v) = v**3 - 7*v**2 - 2*v + 3. Let l(i) = i**2 + 4*i - 6. Let b be l(-6). Let s be c(b). Let x = 67 + s. Is x prime?
False
Let i(f) = -f**3 + 10*f**2 + 12*f - 10. Is i(9) a composite number?
False
Suppose m - 12 = 5*q - 108, -3*m + 92 = 4*q. Suppose -3*s = 0, -2*o - 3*s - q = -130. Is o composite?
True
Suppose 0 = -2*q + 57 + 57. Is q prime?
False
Let u be 2 + 2 + (-1 - 2). Suppose -2*v + 3*d - 6 = 0, 4*d + u = 17. Suppose l = -v*l + 56. Is l a composite number?
True
Let v(p) = p**3 + 8*p**2 + p + 1. Let l be v(-7). Suppose -l = -2*y + y. Is y prime?
True
Let v(c) = 10*c**2 + c + 2. Is v(7) prime?
True
Let h be 328/3 - (-3)/(-9). Let v(u) = -u**3 - 7*u**2 + 7*u - 7. Let c be v(-7). Let z = c + h. Is z composite?
False
Suppose -3*i - 6 = 0, -3*i = -4*f - f + 36. Suppose -f*t + 5*t + 127 = 0. Is t a prime number?
True
Let b = -18 - -15. Let m = 36 - 138. Is b + (-4 - -2 - m) a prime number?
True
Let j(x) = 141*x + 5. Is j(6) a composite number?
True
Let n = 296 + -78. Is n a prime number?
False
Is (-3)/6*4 - -113 composite?
True
Suppose 34 = 5*v + 14. Suppose v*g = 54 + 38. Is g a prime number?
True
Let k be ((-16)/24)/(1/(-27)). Suppose -3*b = -b - k. Is b a composite number?
True
Let r = -20 - -25. Suppose -z + 150 = 2*z - n, 236 = r*z + 3*n. Is z a prime number?
False
Suppose 5*d + 0*k + 2*k + 18 = 0, 0 = -4*k - 16. Let r = 39 + d. Suppose -g + r = -0*g. Is g a composite number?
False
Is (-6)/(-27) + (-8428)/(-63) a composite number?
True
Suppose -5*g + 295 - 45 = -3*p, 42 = g + p. Is g prime?
True
Let g(z) = -z**2 - 3*z**2 + 6*z**2 - 3*z**2. Let k be g(0). Suppose k*r - r + 58 = 0. Is r a composite number?
True
Suppose -932 = 5*i - 9*i. Is i a composite number?
False
Is 1*(9572/4)/(-1 - -2) a prime number?
True
Suppose 0 = -36*c + 39*c - 25557. Is c a prime number?
False
Suppose 5*o = -0*o + 2225. Let q = -230 + o. Suppose -5*m = -10*m + q. Is m composite?
False
Suppose 3*t + o - 10 = 0, -2*o - 2 = -5*t - 0*o. Suppose t*f = -f + 18. Let m(u) = 11*u - 1. Is m(f) a composite number?
True
Suppose -4*w + 14939 = -3*s, 2*w + 3*w - 18691 = -2*s. Is w composite?
True
Suppose 2*l = 5*i - 2213, -3*i - 3*l = -22 - 1310. Is i a prime number?
True
Let j(m) = 1929*m**2 - m + 1. Is j(-1) composite?
False
Let x(k) = 23*k**3 - 26*k**2 + 14*k + 26. Let d(m) = -8*m**3 + 9*m**2 - 5*m - 9. Let v(u) = 11*d(u) + 4*x(u). Is v(4) prime?
False
Let x(y) = 9*y**2 + 2*y + 7. Let l = 13 + -19. Is x(l) a prime number?
False
Suppose -145 = 4*w - 2645. Let z(r) = -8*r**2 - 2*r + 10. Let q be z(-7). Let t = w + q. Is t a prime number?
True
Let y = 17 - 12. Suppose y*m + 261 = 3*t - 0*m, t - 5*m - 97 = 0. Is t a prime number?
False
Let a = -8 + 45. Is a prime?
True
Let x = 45 + -9. Let s be -6*(20/(-8))/5. Suppose 0*v + v + 5*z - x = 0, -s*v + 78 = 5*z. Is v composite?
True
Let d be (16/20)/((-2)/(-10)). Suppose 0 = d*q - 4*s - 43 - 149, 0 = -s + 3. Is q prime?
False
Suppose -1224 = -3*t + 333. Is t prime?
False
Let v = 1047 - 158. Is v prime?
False
Let g be (16/(-6))/((-4)/6). Let u be 1 + (g/(-2) - -3376). Is 4/22 + u/11 a composite number?
False
Suppose 24 = -0*m - 4*m. Is (131*1)/(m + 7) a composite number?
False
Suppose 2*x = 3*r + 216, -4*x = -6*r + r - 436. Suppose -i + x = 2*i. Is i a composite number?
True
Suppose 802 = 16*m - 15*m. Is m a prime number?
False
Let h(t) = t + 9. Let f be h(7). Suppose -a + 9 = -0*s - 3*s, -2*s + 4*a - f = 0. Is s/(-3 - (-381)/129) a prime number?
True
Suppose -3*v + 824 = -1669. Is v prime?
False
Let f(y) = 194*y**3 + 4*y**2 - 5*y + 5. Is f(2) prime?
False
Let d = 417 - 163. Is d composite?
True
Suppose -h + 15 + 6 = 3*l, -4*h + l = -19. Suppose j + h = 16. Is j prime?
False
Let s(b) = b**3 - b + 19. Is s(14) composite?
False
Let x = 20 - -46. Is 6/(-4) + x/4 prime?
False
Let k(u) = -u**2 + 6*u + 4. Let j be k(6). Suppose 3*z + j*x - 197 = 0, -66 = 2*z - 2*x - 202. Is z composite?
False
Let g(j) = -j**2 - 5*j + 7. Let a be g(-6). Let s(l) = 20*l**2 + l. Is s(a) prime?
False
Let p(d) =