r be -1*(1*-9)/(-3). Let c be (r/(-2) - 2)*8. Is (-2)/c*6*11 a composite number?
True
Is 2/7 + (-822)/(-14) a prime number?
True
Suppose -4941 - 2414 = -5*k. Is k prime?
True
Suppose -2 = -0*y - y. Let v(l) = -2*l**2 + 3*l - 2. Let t be v(y). Let k(b) = -b**3 - 3*b**2 - 6*b - 6. Is k(t) prime?
False
Suppose 2*x - 6*x = -5*w - 21, -3*w = -x + 7. Let f(c) = c**3 - 4*c**2 + 4. Let k be f(x). Suppose k*t = 51 + 25. Is t a prime number?
True
Suppose 2*f - f - 125 = 0. Let g = f + -12. Is g composite?
False
Let p(r) = -13*r + 4. Let c(w) = -4*w + 1. Let h(a) = 21*c(a) - 6*p(a). Is h(-4) composite?
True
Let n = -25 - -38. Suppose -61 = -2*w + n. Is w composite?
False
Suppose -4*m = 3*i + 1, 8 = m - 3*i - 3. Let q be (0*2/(-6))/m. Suppose -4*l + 39 + 157 = q. Is l a composite number?
True
Let o(v) = -2*v**3 - v**2 + 8*v + 6. Is o(-5) prime?
True
Let q(f) = 180*f - 62. Is q(6) composite?
True
Let z = 48 - 26. Suppose 5*n = -g + 6*g + 385, 3*g - 154 = -2*n. Let h = n - z. Is h a prime number?
False
Let t(h) = h**3 + 23*h**2 - 37*h - 13. Is t(-22) prime?
False
Is ((-20)/(-15))/(2/183) composite?
True
Suppose -a = -3*a. Suppose a = 2*j + 3*h - 298, -7*h = -j - 2*h + 149. Is j composite?
False
Suppose r + 8 = a + 565, -2*a - 2238 = -4*r. Is r composite?
True
Suppose 3*v + 0*v - 17 = -g, 2*v = -4*g + 88. Suppose 3*a + 96 = 6*a. Let r = a + g. Is r prime?
False
Suppose 2*y + 4 + 2 = 0. Is 0 + (-18)/(-3) + y prime?
True
Let y be -4*(0 - (-2)/(-4)). Suppose y*j = 211 - 63. Is j a composite number?
True
Suppose -10*i + 4*i = -7158. Is i prime?
True
Let n(u) = 10*u**2 + 4*u - 7. Is n(-5) a prime number?
True
Suppose 0*k + k - 4 = 0. Suppose -3*j = 3*g - 379 + 31, 0 = k*g + j - 455. Is g a composite number?
False
Let a(g) = 2*g + 4. Let c be a(-4). Let w(l) = -74*l - 5. Is w(c) prime?
False
Suppose 0 = -p + 8*p - 1127. Is p prime?
False
Let t(f) be the second derivative of 5*f**4/3 - f**2/2 + f. Suppose 3*r = -0*j + 4*j - 7, 3*j = -4*r - 1. Is t(r) composite?
False
Suppose 3*g - 1 - 11 = 0. Let z be g/14 - 130/(-35). Suppose 5*m = 2*t - 105, -z = -3*t + m + 160. Is t composite?
True
Let l(r) = r**3 - 5*r**2 + 2*r - 2. Let z be l(3). Let h = -6 - z. Is h/3*75/20 a composite number?
True
Let s be 2/(-7) + 19065/(-35). Let f = -282 - s. Is f prime?
True
Suppose 58 + 101 = k. Suppose 0*t + k = 3*t. Suppose 52 = 5*a - t. Is a a prime number?
False
Let n = 361 - 204. Is n composite?
False
Let a(m) = -m**2 + 11*m - 2. Let y(c) = -5*c + 1. Let n(x) = -6*a(x) - 13*y(x). Is n(2) a composite number?
True
Let h be (-2)/5 + 1243/(-5). Let t = 426 + h. Is t composite?
True
Suppose 5*g = -6*h + 2*h - 15, -g + 15 = -h. Let t(v) = -v**3 - 11*v**2 - 14*v - 7. Is t(h) composite?
True
Suppose -x + 0*j - 4*j - 15 = 0, 4*j = -20. Suppose 0 = d + x*l - 57, 2*l + 90 = -0*d + 2*d. Is d prime?
True
Let q be 0*(-2)/(-2)*1. Suppose 3*f - 6 = -q*f. Suppose m + f*m = 237. Is m a composite number?
False
Let l(i) = -i**3 - i + 5. Let n be l(0). Let b = 10 - n. Suppose 2*o - 3 + 73 = r, r + b*o = 84. Is r a prime number?
False
Let k(d) = -d**3 - 8*d**2 - 5*d + 3. Let j be k(-6). Let m = j - -82. Is m a prime number?
True
Let q be 886/((2/1)/4). Suppose 3*c = 7*c - q. Is c a composite number?
False
Is 698*(-90)/(-21) - (-12)/(-28) composite?
True
Suppose 5*y - 3760 = -3*l, 1 = l - 4. Let d = 435 - y. Let f = d - -453. Is f composite?
False
Let a(u) = -u**2 + 10*u - 3. Let o be a(6). Let t = 28 + o. Is t a prime number?
False
Suppose -3*t - s = -55, 2*t - 43 = -3*s - 18. Suppose -3*k = -2*k + t. Let v = 57 + k. Is v prime?
True
Suppose -2*a + 4*a - 3*u - 1724 = 0, 5*a = 5*u + 4315. Is a a composite number?
True
Is 7472/20 + 3/(-5) a composite number?
False
Let g(w) = w + 12. Let x = 5 + 1. Let i(t) = -t**3 + 7*t**2 - 7*t - 3. Let o be i(x). Is g(o) composite?
False
Let d(s) = s**2 + 7*s + 2. Let f be d(-7). Let t be -14 + 0 + -1 + f. Let q = 36 + t. Is q a prime number?
True
Is 2/(-5) - 50011/(-65) composite?
False
Suppose 17 - 1 = 4*u. Suppose -9*o + 185 = -u*o. Is o prime?
True
Suppose 0 = 4*c + 2*z - 2, -3*z + 0 = 15. Suppose -l - s - 119 = 42, 2*s = -c*l - 488. Let j = l - -311. Is j composite?
True
Let y(n) = 1106*n**2 + 2*n + 1. Is y(-2) prime?
True
Let w = -1772 - -2517. Is w composite?
True
Let c(m) = 40*m - 8. Let p be c(6). Let w = -149 + p. Is w prime?
True
Let s = -372 + 865. Is s a composite number?
True
Suppose -h - 646 = -2*n + 2*h, 3*n - 4*h - 967 = 0. Is n a prime number?
True
Suppose -3*y + 0*y = -4*k + 42, -y = 3*k - 25. Suppose -q + 0*q = 5*g - k, -2*q = 2*g - 10. Is 23 - 2/q*0 a composite number?
False
Suppose 85 = 4*s - 127. Is s a composite number?
False
Suppose -10*r = -8*r - 1742. Is r composite?
True
Is (3/1 + (-272)/6)*-3 a prime number?
True
Let x(g) = g**3 - 6*g**2 + 2*g + 4. Suppose -4*t + 43 = 3*i, 7*t - 2*t = -2*i + 45. Is x(t) a prime number?
True
Suppose 0 = 5*o - 75 - 260. Is o composite?
False
Let u(a) = 47*a - 3. Let f be u(3). Let h = f - 395. Is h/(-7) + (-2)/(-7) prime?
True
Suppose d - 267 = f, 3*d = -4*f + 571 + 195. Suppose 0 = 4*w - 2*w - d. Is w a composite number?
False
Let j(x) = x**2 + 5*x - 1. Let i be j(-6). Suppose 39 = -i*k + 109. Is k composite?
True
Let u(p) = -p**3 + 13*p**2 + 5*p - 1. Let h be u(11). Suppose 2*z + 0*z - h = 0. Suppose z = 2*y + 2*y. Is y a composite number?
False
Is (4 - 3)*(3171 + 2) composite?
True
Let r(p) = -p**3 - 6*p**2 + 10*p - 1. Let k = -19 + 0. Let j = -27 - k. Is r(j) a composite number?
False
Let s be 2/11 + 11172/22. Suppose 0 = c + 3*c - s. Is c a composite number?
False
Let i = 601 + -48. Is i a prime number?
False
Let r = 15 + -10. Let w(l) = 31*l + 6. Is w(r) prime?
False
Suppose d + 2*d - 615 = 0. Suppose 4 = -z + d. Suppose 0*x - 3*x + z = 0. Is x prime?
True
Let h = 140 + -74. Let d = 9 - 6. Suppose 105 = d*f - 3*g, -h = -2*f - 0*g + 4*g. Is f prime?
True
Let g(z) = 52*z - 3. Is g(5) prime?
True
Is 21/2*370/15 prime?
False
Let r(n) = 8*n**3 - 8*n**2 + 4*n + 6. Let y be r(5). Suppose 4*d = 4*l + 2466 - 814, 2*d - l - y = 0. Is d prime?
False
Let z(a) = 2*a**2 - a - 4. Let b be z(-6). Let g = 10 + -6. Suppose -2*m - u + 71 = 0, -b = -2*m + 2*u - g*u. Is m prime?
False
Suppose 2*i - 2*z - 562 = 0, -4*i - z - z + 1106 = 0. Suppose 339 = 2*v + 3*v + 3*m, -4*v + m + i = 0. Is v a prime number?
False
Let k = -3385 + -1636. Let g = k - -7450. Is g a prime number?
False
Let p = 9 + -11. Let s = 2 - 2. Is p - s - -9*13 a composite number?
True
Let r = -190 + 318. Suppose 0*t = -4*t + r. Let u = t - 18. Is u a prime number?
False
Let w = 1768 - 51. Is w composite?
True
Suppose r + 2*r - 1041 = 0. Is r a composite number?
False
Suppose 3*t + 640 = 5*o - 0*t, -o + 156 = 5*t. Is o prime?
True
Let c be (28/(-6))/(3/27). Let f be (-2)/3*c - -1. Suppose -2*a + 20 = v, -3*v - 5*a + f = -26. Is v prime?
False
Suppose -d + 0*d - 56 = -5*c, 3*d - 5*c = -158. Let j = 110 - d. Is j a composite number?
True
Let h(i) = i**3 + 4*i**2 + 3*i + 9. Let m be h(-4). Let l be (1308/(-10))/(2/40). Is (-2)/m*l/(-16) prime?
True
Suppose 4*v + 3*b + 15 = 0, 4*v - b + 10 = -3*b. Suppose v = -2*t - 5*f + 16 + 145, 4*t - f - 333 = 0. Is t prime?
True
Suppose 6*a = 8*a - 1094. Is a a prime number?
True
Suppose 7*v - 3*v = 20. Suppose 2*d = 5*d - 2*f - 46, v*f + 10 = 0. Is d a prime number?
False
Is (-9928)/(-4)*2/4 composite?
True
Let y(i) = i**2 - 2. Let t be y(2). Suppose 8 = -t*l + 6*l. Suppose l*j = -2*j + 316. Is j prime?
True
Suppose -5*b + 3 = -4*d - 5, b = 2*d + 10. Let m be (-362)/d + 6/21. Is m - (0 - 1)/(-1) composite?
True
Let m = -107 - -70. Suppose 242 = -3*b + 4*w, 3*b - w + 212 = -3*w. Let a = m - b. Is a composite?
False
Is 9942/18*(-2 + 5) prime?
True
Suppose -3*s - 2*i = -600, 0*s - s + 4*i + 186 = 0. Let u = s - -13. Is u a composite number?
False
Is -4*(3 + -2) - -19 composite?
True
Let n be 7/(3/6 - 0). Let s = 45 - n. Is s a prime number?
True
Let l be (2/(-6))/(1/(-27)). Is (57/l)/(3/63) a prime number?
False
Let i = 570 + -179. Is i a composite number?
True
Let v(i) = i**3 + 8*i**2 - 9*i + 3. Let z be v(-9). Suppose -5*w + 2*w + z*f + 633 = 0, 3*f - 422 = -2*w. Is w composite?
False
Let o(k) = -2 + k - 3*k - 2*k + 0*k + 4*k**2. Is o(-3) prime?
False
Let k(g) = -g + 6. Let b be k(0). Is 46/(-3)*(-9)/b a prime number?
