 2. Let m be t(2). Let z(b) = b**2 + 2*b - 1. Let y be z(-3). Suppose 0*k + 4*o = -k + 57, -2*k - y*o + 108 = m. Is k composite?
False
Let k(a) = a**2 + 12*a + 13. Let n be k(-11). Let g be (0 - (n - 0))*1. Is g*(-8 + 1) - 1 a prime number?
True
Let z = -1600 - -2511. Is z composite?
False
Let c = 232 - 137. Is c prime?
False
Let a = -3 - -5. Suppose 0 = a*h - 6*h + 4. Is 3/(-1*h/(-1)) prime?
True
Is 2 - -1 - (-6 + 5 + -915) composite?
False
Let u(w) = -2*w**3 - 5*w**2 + 5*w + 19. Is u(-10) composite?
True
Suppose -5*t - 2*z = -5*z - 2032, -3*t + 1192 = 5*z. Is (-7)/21 + t/6 a prime number?
True
Suppose -3*i - 2*i + 15 = 0. Suppose 355 = i*l - 152. Is l a composite number?
True
Let b be 3 + 1/(2 + -1). Suppose -2*o + 236 + b = -4*k, 4*o + 4*k = 468. Is o composite?
True
Let p = 12407 + -7276. Is p composite?
True
Suppose 3*a - 5 = -n, n + 0*n - 8 = -4*a. Suppose 2*s + a = -s. Let v(z) = -3*z. Is v(s) a prime number?
True
Let r(z) = 2*z - 2. Suppose 0 = 3*y - 4 - 5. Let t be r(y). Suppose -t*s + 4*d = -102 - 138, -125 = -2*s + 3*d. Is s composite?
True
Let k = 22 - 19. Suppose -2*c - k*c + 1765 = 0. Is c a prime number?
True
Let f(k) = -2*k - 3. Let n be f(-3). Suppose -g + n*g = -u + 85, -170 = -2*u + 5*g. Is u prime?
False
Suppose 4*d + 0*d = 0. Is 3 + -7 + d + 489 a prime number?
False
Suppose -164 = -3*t + 145. Is t a prime number?
True
Suppose -3*k - 2 = 3*i - 32, k = -3*i + 26. Is 1/4 + 182/i composite?
False
Let v be (-1 - -2)/(3/2289). Suppose i + 383 = 2*n, 4*n + 5*i - v = 4*i. Is n a composite number?
False
Let d(v) = 29*v + 4. Is d(3) composite?
True
Let q(k) = 13*k**2 + 2*k + 2. Suppose -7*h - 20 = -11*h. Is q(h) a composite number?
False
Suppose 3*y = 4*f - 23, 10 = -4*y - f - 4*f. Let j = y + 8. Is j a prime number?
True
Let w = -7 + 13. Is w/(-27) + (-2146)/(-18) a prime number?
False
Suppose -6*i + 3*i = -1317. Is i prime?
True
Let a(v) = v**3 + v**2 - 4*v + 3. Is a(4) a composite number?
False
Suppose -2*k = -3*q + 299, 0 = k - 2*k - 4. Is q prime?
True
Let q be 0/(0 - (-4 + 2)). Is (8 - q) + 7 + -9 composite?
True
Is (172/(-6))/(6/(-9)) a composite number?
False
Let u = 3458 + -600. Is u prime?
False
Is 1/1 - (2 + -5) - -4779 a composite number?
False
Is 20555/35 - (-4)/(-14) prime?
True
Suppose 2*z + 3*j = 3*z - 88, 2*z + 3*j - 203 = 0. Is z a prime number?
True
Let x be -1 + 804 + (-4 - -1). Suppose -4*w - 220 + x = 0. Is w prime?
False
Suppose 0*y - 22 = 3*d - 2*y, 3*y = -d + 11. Is (d/8)/((-3)/204) prime?
False
Is (-1)/((-1)/2) + 164 a prime number?
False
Let l = 37 + -2. Let p = 12 + -10. Suppose -3*m - 5*b + l = 6, -p*b = 4*m - 48. Is m a composite number?
False
Let v = 23 + -53. Is 1042/(-3)*v/20 a prime number?
True
Let f be (2 - (-1 + -1))/2. Suppose f*r = -0*r. Is (-1 - r)*(-3 + -50) a composite number?
False
Let t(n) = 4*n + n**3 - 2*n**3 + 2*n**2 - 2 + 1. Let w be t(3). Suppose 4*z = o - 18, 2*o - w*z + 46 = 4*o. Is o prime?
False
Let f(r) = 3*r**2 - 7*r - 83. Is f(-25) prime?
False
Suppose -4*n = 4*k - 127 + 27, -3*k + 52 = 2*n. Is n a composite number?
False
Suppose -124 = -3*d - 13. Suppose -m + 106 = d. Is m a composite number?
True
Suppose -3*f = -4*g + 2*g - 15, 3*g = -5*f + 6. Is -3 - 844/(-4) - g prime?
True
Let p = -8 + -18. Let g = -3 - p. Is g composite?
False
Let i(r) = -26*r. Let q be i(-3). Suppose c - q = 179. Is c prime?
True
Let i(l) = 8*l**2 - 9*l + 16. Is i(-9) a prime number?
False
Let t be 6 - (-2 - (-3)/3). Let v(w) = -t*w + 1 - 2 + w. Is v(-6) prime?
False
Let j(r) = r**2 - 11. Suppose -o = o - 124. Let f be (-1)/(-4) + o/8. Is j(f) prime?
True
Suppose 0 = -4*l - 5*m + 405, 3*l + 21 - 319 = 2*m. Let z = l + 273. Is z composite?
False
Suppose -4 + 0 = -2*g. Suppose -147 = -i - g*i. Is i prime?
False
Let c = -21 - -21. Let a(g) = g**2 + 317. Is a(c) a composite number?
False
Suppose -6*w + 7*w = 5. Suppose 0 = 5*g + 4*r - 1039, 3*g = w*g + 4*r - 406. Is g a composite number?
False
Suppose -2*j - 3*w + 5 + 5 = 0, -2*j - w + 10 = 0. Let h be 180/(-81) - (-2)/9. Is (j - 2)/(h/(-4)) a composite number?
True
Suppose -7*k + 13739 = 4*k. Is k a prime number?
True
Let x be (-2 + 5)/(1 - 0). Suppose 4*f = x*u + 88, 0 = -f + 6*f - u - 99. Is f prime?
True
Let m(a) = -281*a - 3. Let u be m(-2). Suppose -5*i = 2*v - 392 - u, -183 = -i - 4*v. Is i composite?
False
Let i be 2/(-8) + 1401/4. Suppose 0 = 2*q - 0 - 6, -5*q = 5*f - i. Is f prime?
True
Is (127 - 0)/((-3)/(-15)) a composite number?
True
Is (304/10)/(-4)*-5 prime?
False
Let x = 100 + 9. Is x composite?
False
Let n(i) be the third derivative of 19*i**5/15 + i**3/6 - 2*i**2. Is n(1) prime?
False
Is 1*2435 + (-46)/(-23) a composite number?
False
Is ((-14)/3)/(6/(-261)) prime?
False
Let s(j) = j**2 - 10*j + 2. Suppose -5*a = 3*l - 40, -20 = -2*l - l + 5*a. Let x be s(l). Suppose n = -x, 0*n + n + 232 = 2*d. Is d a prime number?
False
Suppose 0*x = -x. Let f(y) = y**3 + y + 89. Is f(x) a composite number?
False
Suppose 4*q = -0*q, 5*u = -5*q + 5555. Is u composite?
True
Suppose 5*o - o + 269 = m, 4*m - 991 = -o. Is m composite?
True
Let d(r) = -9*r - 145. Let p(j) = -j**2 - 10*j - 145. Let n(i) = 5*d(i) - 4*p(i). Let k(m) = 5*m**2 - 6*m - 145. Let b(u) = 5*k(u) - 6*n(u). Is b(0) composite?
True
Is (-581)/(-11) + (-28)/(-154) prime?
True
Let h(r) = 7*r**3 - 4*r**2 - 4. Suppose -5*v + 12 = -v. Is h(v) a prime number?
True
Let v(u) = -2*u - 3. Let a(g) = g. Let h(r) = r**2 + 4*r + 4. Let o be h(-3). Let y(i) = o*v(i) - 5*a(i). Is y(-2) composite?
False
Suppose 3 = p, 6*y - y - 640 = 5*p. Is y prime?
True
Is (-1727)/(-7) + 1/(28/8) a composite number?
True
Let x be 5/2*(-48)/(-40). Suppose -4*a - j = -87, 71 = x*a - 3*j - 2*j. Is a a prime number?
False
Let n be (10 - 8) + 9*79. Suppose -4*g + n = -t, -g - 4*t + 220 = 63. Is g prime?
False
Suppose -21 - 311 = -4*x. Is x composite?
False
Let w(r) = 3429*r**2 - 5*r - 1. Is w(-1) a composite number?
False
Let q(k) = -3*k**2 - 5*k + 1. Let c be q(-6). Let r = c - -139. Is r composite?
True
Let x = 7360 - 4617. Is x prime?
False
Let t(g) = -g**2 - 20*g + 7. Is t(-14) a prime number?
False
Let a = -16 + 13. Let l(w) be the first derivative of -27*w**2/2 - 2*w - 1. Is l(a) prime?
True
Let f be 1 - (-5 - -2)/3. Suppose r + 1114 + 132 = 5*a, -3*r - 501 = -f*a. Is a prime?
False
Suppose 682 = -o + 5*u + 2978, -4*o = -5*u - 9169. Is o a composite number?
True
Let k = 2 + -2. Suppose k = -0*t + 5*t. Suppose 0 = -x - t*x + 34. Is x prime?
False
Is -3 + -3 + (4 - -71) a prime number?
False
Suppose u - 5*u - 385 = 3*k, 2*u = -5*k - 175. Let f = -33 - u. Is f prime?
True
Let i = 74 + 419. Is i a composite number?
True
Is 3 - (-2 + 2) - -524 composite?
True
Suppose c = -30 - 8. Let g = c + 69. Is g a prime number?
True
Let v be 1 + (2/(-1) - -3). Is (v + -3)/(3/(-291)) a composite number?
False
Let z(r) = 6*r**2 - 12*r + 29. Is z(-11) a prime number?
True
Suppose -t = -2 + 3. Is (t + -1)*118/(-4) a prime number?
True
Let o(l) = 3*l**2 - 20*l + 29. Is o(-12) prime?
True
Suppose -5*s = -4*j + 5, -4*s + 0 - 3 = -3*j. Let f = j - -6. Is f prime?
True
Is (-1744 - -2)/(-4 + 2) prime?
False
Let z(t) = t - 1. Let a be z(1). Suppose -15 = -3*j, -3*v = -a*v - 5*j + 76. Let w = v + 52. Is w a prime number?
False
Let g = 3722 + -2179. Is g a composite number?
False
Suppose -r + 12 = -5*r, 0 = -5*p + 2*r - 29. Let y = 5 + p. Is (-3 - (y - -1)) + 91 a prime number?
True
Let s(g) = 622*g - 13. Is s(2) a composite number?
False
Let v(c) = 217*c + 1. Let u be v(2). Suppose u + 1890 = 5*w. Suppose 5*l - 4*a = w, 5*l - 3*a - 199 - 261 = 0. Is l a composite number?
False
Let s(q) = 3*q - 3. Let a(n) = -n**2 - 4*n + 2. Let i be a(-4). Let g be s(i). Suppose g*u + u = -5*r + 247, 2*u - 100 = -2*r. Is r a composite number?
False
Suppose 3*w + 4*a = 136, 0*w + 3*a - 193 = -4*w. Let g = w + 8. Suppose -4*u + g = -536. Is u prime?
True
Suppose -6*f - f = -3101. Is f a composite number?
False
Let u = 12 + -7. Suppose u*x + 5*t = 5, 5*x - 6 = -4*t - 0*t. Is 220/16 - x/(-8) composite?
True
Let d(k) = k**3 + 18*k**2 - 15*k + 19. Is d(-13) composite?
True
Let s(y) be the first derivative of y**4/12 + 2*y**3/3 - y**2/2 + y + 2. Let v(b) be the first derivative of s(b). Is v(-5) prime?
False
Let q be 4*10/8 - 1. Is q/6 - (-445)/3 a prime number?
True
