False
Let i(f) = -3*f**2 - 67. Let z(s) = 4*s**2 + 68. Let g(b) = -3*i(b) - 2*z(b). Let w be g(0). Suppose -65 = -y + 3*k - 3, -w = -y + 4*k. Is y a prime number?
True
Let d = -30 + 32. Suppose -4016 = -2*k - d*k. Suppose 10*a + k = 14*a. Is a prime?
True
Let j = 33 + -33. Suppose j = -2*t + 2, 0 = -3*q - 2*q - t + 2246. Is q a composite number?
False
Let z(n) = -13*n + 3 - 12*n - 1 - 200*n. Is z(-3) a composite number?
False
Suppose 0 = -2*f - 3*f + 50. Let m(y) = y**2 - y - 1. Is m(f) prime?
True
Let a(t) = -2*t**2 - 10*t + 30. Let f(n) = 3*n**2 + 21*n - 59. Let i(l) = -5*a(l) - 3*f(l). Is i(-13) a prime number?
False
Let v = 2447 - 1584. Suppose v = 4*o - 1485. Is o a composite number?
False
Let a(g) = -g + 1. Let w be a(-1). Let n(u) = 9 + 2*u - 2 + u**w - 9*u + 16. Is n(11) a composite number?
False
Let f(y) = 75*y**2 - 2*y + 4. Is f(7) prime?
False
Suppose 4*o - 4*b - 10 = b, 0 = 5*b - 10. Suppose 2*g + 22 + 6 = -2*y, 82 = -o*g - y. Let r = -10 - g. Is r a prime number?
True
Let j be -3*16/(-12) - -1. Suppose -10 = 2*z, -v + 64 = -j*z - 200. Is v a composite number?
False
Suppose -4*d = 8 - 80. Suppose 3*b - 1 = -2*l - 0*b, -3*l = -b - d. Suppose 3*f + g - 2*g - 377 = 0, 0 = -2*f + l*g + 234. Is f composite?
False
Let j(t) = -351*t + 96. Is j(-11) a prime number?
False
Let d = 16 + -9. Is 844*(d/(-4) + 2) a composite number?
False
Let y(n) = -4515*n - 58. Is y(-9) prime?
True
Let x = -6 + 8. Suppose v + 2*b - 748 = 3*b, 4*v = -x*b + 2968. Let k = v - 505. Is k a composite number?
False
Is (-46)/(-161) - 3535165/(-35) a composite number?
True
Let s(h) = 31*h**2 - 6*h - 12. Let j be s(12). Suppose 1075 = f - 5*y, -4*y = -4*f - 0*f + j. Suppose 4*b - 504 = f. Is b composite?
False
Let y(w) = 17*w**2 + 8*w + 13. Is y(-4) composite?
True
Let g(y) = -y**2 + y + 1114. Let n be g(0). Suppose -f - 7 = -n. Suppose 3*i - 924 = f. Is i composite?
False
Suppose -3*w + 162699 - 1029 = -z, 7*z = 3*w - 161652. Is w a prime number?
True
Let k = 3370 + -1421. Is k a prime number?
True
Suppose -2*x = -x. Suppose x = -3*v + v - 18. Let u = 58 + v. Is u prime?
False
Let i = -18 - -9. Let v be 3/9 + (-384)/i. Suppose -v = -2*g - 13. Is g prime?
False
Let d be (-10284)/(-21) + 2/7. Suppose -d = l - 3*p + p, 4*l + 1996 = -p. Let k = -81 - l. Is k a prime number?
False
Suppose -2*l + 30326 = -12*q + 7*q, l = 2*q + 15163. Is l composite?
True
Suppose 0 = y - 3, 2*c + c = 4*y + 30. Let d = 69 - c. Is d a prime number?
False
Let v(w) = -5*w**3 - 9*w**2 + 5*w - 5. Let o(i) = -14*i**3 - 27*i**2 + 14*i - 14. Let k(c) = 4*o(c) - 11*v(c). Is k(-10) prime?
True
Suppose -x - 9 = -12. Is -3 + 663 - (x - 2) a prime number?
True
Let u(w) = 4*w + 4*w**2 + 7*w**2 + 14 + 2*w. Is u(6) a prime number?
False
Let t = 3418 - 1901. Is t a prime number?
False
Let n(f) = 250*f + 2. Let q be n(7). Suppose 0 = -4*u + u + q. Let s = u - 399. Is s composite?
True
Let l(p) = 2*p**2 - 5*p + 9. Let u be 15/6*(0 - 2). Let q(f) = -f + 1. Let h(i) = u*q(i) + l(i). Is h(-3) prime?
False
Suppose -2*a + 29193 = 5*h, 5*h - 8*h - a = -17515. Is h composite?
True
Let o(w) = 2609*w**2 + 2*w + 2. Is o(-1) a prime number?
True
Let g = 2 + 5. Suppose -4*z + g*z = 1467. Suppose w - z = -2*w. Is w prime?
True
Let g be 0*((-28)/(-70))/((-8)/10). Suppose i = -d - 1, -4*d = 2*i + d + 2. Is (i + g - -156) + 4 prime?
False
Let h(w) = -44*w - 5. Suppose 0 = -26*n + 28*n + 6. Is h(n) a prime number?
True
Suppose -2*v + 26 = 24, 3*b = 5*v + 43474. Is b composite?
True
Let v(q) = -q**2 - q + 1. Let c(k) = -10*k**3 + 5*k**2 + 6*k - 7. Let r(a) = -c(a) - 5*v(a). Is r(3) a prime number?
True
Suppose -2*q = -q - 13. Let f be (-3 - 0) + q + 2. Is -2*123/f*-10 a composite number?
True
Let t be 4 + (-4)/10 + 342/(-95). Suppose 8*h - 6*h - 1358 = t. Is h composite?
True
Suppose -8*v - 3*n + 1055748 = -7*n, v + n = 131970. Is v a composite number?
False
Let k = 2217 + 1964. Is k a composite number?
True
Let k(b) = b**2 + b. Let h be k(-2). Let v(o) = 1 - 4 - 7*o + 1 + 145*o. Is v(h) a composite number?
True
Suppose 50*j + 10*j = 218580. Is j a composite number?
False
Let f(o) = -15487*o + 188. Is f(-3) prime?
True
Let q(l) = l**3 + 15*l**2 - 17*l - 13. Let o be q(-16). Let d = 2 + o. Suppose -b - 174 = -4*b + d*p, -b + 38 = 5*p. Is b a prime number?
True
Suppose -5*w + 236630 = 5*w. Is w composite?
False
Let y(z) be the second derivative of z**4/2 - z**3/3 - 7*z**2/2 - 5*z. Is y(-10) a prime number?
True
Let n(c) = -3*c**2 - 8*c + 4. Let r(g) = -g**2 - g + 1. Suppose 4*f + 4 = -0. Let a(h) = f*n(h) - r(h). Is a(-8) prime?
True
Let v be (-2 + 1)*(2 - 3). Let a be 0/(v/((-4)/8)). Suppose a = -2*s - 3*s + 370. Is s composite?
True
Suppose 4*m + 39 = 7. Let d be 163 - (m/2 - -4). Suppose -3*f + 2665 = 2*l, f = -3*l + 730 + d. Is f composite?
False
Suppose 3*j + 2*b + 1 - 38 = 0, 0 = 5*j - 4*b - 25. Let t(l) = -3*l - 5*l**2 + l**3 + 0*l**2 - 2*l**3 + 13*l + j. Is t(-7) a prime number?
True
Let y(h) = 7*h**2 + 2*h - 3. Let m be y(-3). Suppose -38 = -4*w + m. Let k = w - -236. Is k composite?
True
Let l(n) = -n - 1. Let c be l(-1). Suppose 5*d + c*d = 1020. Is (d - (-4 - -1)) + 4 composite?
False
Let t(u) = -u**2 - 6*u + 10. Let y be t(-7). Let z(x) = -2 - 2 + 2*x + 59*x**3 + 3 - 7*x**y. Is z(1) prime?
True
Let q = -28 + 38. Suppose 4*n = 2*n + q. Suppose 0 = -n*p + 1874 - 409. Is p a prime number?
True
Suppose 3*q = -3*j + 60, 20 = j + 3*q + 2. Is j a composite number?
True
Let b(o) = 3*o**2 + 4*o + 2. Let q be b(-2). Let g(k) = 43*k - 7. Let c(w) = 43*w - 6. Let a(u) = q*c(u) - 5*g(u). Is a(2) composite?
True
Let o(c) = 806*c + 61. Is o(3) composite?
True
Let f = 19611 + -13604. Is f prime?
True
Suppose 2*r - 3 = -4*f - 1, 5*r = 5*f + 5. Is (-12)/8 - (f + (-903)/6) composite?
False
Let y be (3 - 5)/(6/(-9)). Suppose y*v + 299 = -2*c + 7*c, -10 = -5*v. Let s = c + -26. Is s a composite number?
True
Let t = 27445 - -1918. Is t a composite number?
False
Suppose 50 = 5*a + 5*k, 2*a = -0*a - k + 15. Let z(r) = 116*r**2 + 4*r + 3. Is z(a) prime?
False
Let t be -217 + 0 - 0/(1 + 0). Let h = -120 - t. Is h prime?
True
Let w(o) = 7*o**2 - 2*o - 13. Let g(x) = 6*x**2 - x - 14. Let y(t) = -4*g(t) + 5*w(t). Is y(-4) prime?
True
Let h be 1*15/(-12)*12. Let q = -13 - h. Is 20 - (1 + -1 - q) prime?
False
Let r(l) = -12 - 12*l**2 + 6*l**2 + 7*l**2 - l. Let a be r(9). Let x = a - -19. Is x prime?
True
Let u be 4/(-10) - 224/(-35). Let a(m) = m**3 - 3*m**2 - 9*m + 1. Is a(u) prime?
False
Suppose 10*l + 4*c = 7*l + 719477, l - 2*c - 239839 = 0. Is l prime?
True
Let s(w) = 21*w**2 - 16*w + 4. Is s(11) a prime number?
False
Let n(c) = 1463*c + 174. Is n(11) a prime number?
True
Suppose 1222 = 4*m - 7*m - y, -m = 5*y + 426. Let f = m - -821. Is f a composite number?
True
Suppose 4*a + a - 10 = 0. Suppose 1051 + 1169 = 4*m - a*f, 2*m + 4*f - 1090 = 0. Is m a composite number?
True
Is 425 + (-2 - 2/2) a prime number?
False
Let q be (-2*2215/15)/(2/3). Is 2*5/(-10)*q a prime number?
True
Let o(k) = -k**3 - 2*k**2 - 2*k - 9. Is o(-16) a composite number?
False
Suppose -47592 = -49*v + 33307. Is v prime?
False
Suppose -4*y + 16 = -3*h, 4*h - 8 = 2*y - 4*y. Is (-298)/(-6)*(-132)/(-16)*y composite?
True
Suppose -5*a + 4*l + 8401 = 0, 7*a - 4*a = -l + 5044. Is a prime?
False
Let c be (1/(-3)*0)/2. Suppose -1976 = -4*b - u - 774, c = -3*b + 5*u + 913. Suppose 0 = 4*g - 4*v - 1236, 2*g - g + v - b = 0. Is g prime?
False
Suppose 20 = 4*c, 31 = 2*l - 3*c + 8*c. Suppose 5*z = 4*a - 2, -z - l*z - 3*a = -17. Is 0/z + (-2007)/(-9) composite?
False
Suppose 0 = -3*j - 5*w + 11350, 0 = 5*w - 4*w + 1. Is j composite?
True
Let n(a) = -a**2 + 9*a - 3. Let c(i) = -i + 15. Let o be c(7). Let l be n(o). Suppose -2*k - l*j = -173, 5*k = j + 2*j + 386. Is k composite?
False
Let b(i) = -217*i + 256. Is b(-13) prime?
False
Suppose -8 = -7*q + 5*q. Suppose 4*h + 3*t = 32, q*h + 2*t = 6*t + 32. Suppose 0 = 4*u + h, o - 2*u + 472 = 5*o. Is o composite?
True
Let j = -29 + 31. Is j/(1 - -1) + 682 a prime number?
True
Is -20541*(-7)/21*1 prime?
False
Let v(n) = n**3 - n + 67. Suppose -15 + 3 = -3*q. Suppose 0 = q*h - h. Is v(h) a composite number?
False
Let m(z) = 2951*z + 2. Let k = -68 - -69. Is m(k) a prime number?
True
Let o(d) = 42*d - 40*d + 4 - 1. Let h be o(0). Suppose h*q