3*h. Suppose 0 = -s + 3*t + 2 - 1, 0 = t - f. Is s a composite number?
True
Let z be 2/6 - (-446)/(-6). Let i = z - -141. Is i a composite number?
False
Let o(m) = 3*m - 17. Let w(x) = 3*x - 18. Let t(p) = 7*o(p) - 6*w(p). Is t(8) prime?
True
Let r(t) = 7*t**2 - t - 6. Let g(z) = -10*z**2 + 2*z + 9. Let n be 0 - (6 - (2 + -1)). Let d(s) = n*g(s) - 7*r(s). Is d(-8) composite?
True
Let d = 179 + -100. Is d a composite number?
False
Suppose -3*z = -5*h - 12, -h - 4 = -2*z + z. Suppose 2 = -m, h*m = -2*k + 3*m + 18. Is k a composite number?
True
Let x(f) = f**2 - 3*f + 3. Let a be x(3). Suppose -a*h + 2*h = 3*c - 1246, c + 2*h = 407. Is (1/(-1))/((-3)/c) composite?
False
Suppose -5*t - 2*n = -475, -n - 358 = -3*t - 73. Is t a prime number?
False
Let s = 1303 - 624. Is s prime?
False
Let o = -820 - -1739. Is o a composite number?
False
Let k = 5 - -4. Is k a prime number?
False
Let n(s) = -s**2 + 10*s + 19. Let p(j) = -j + 1. Let r(h) = n(h) - 3*p(h). Let y be r(12). Let k = y + -9. Is k a prime number?
True
Suppose -5*o - 5*f = 1715, -3*o = 4*f + 259 + 773. Let y = 295 - o. Suppose y = q + 4*q. Is q a prime number?
True
Let h = -22 + 73. Is h composite?
True
Suppose -2*f - o + 15 = 0, -f + 2*o - 2 = 3. Suppose -f*s - 170 - 190 = 0. Is ((-1)/(-2))/((-4)/s) a prime number?
False
Suppose 2*x + 0*x = 74. Is x a prime number?
True
Is (0 + 71 + 3)*1 a prime number?
False
Suppose -239 = -0*m - m. Is m prime?
True
Let s = 162 + -77. Is s a prime number?
False
Let x be 2 + (-1)/1*-2. Suppose x*k = -k + 275. Is k a composite number?
True
Suppose -2 = -l + 1. Let c = 0 - -2. Suppose -c*h + l = -43. Is h a prime number?
True
Suppose -3505 - 3678 = -11*w. Is w prime?
True
Let v = -3 - -7. Is (v/(-8))/((-1)/20) a prime number?
False
Is (773960/(-12))/(-10) + 6/(-9) prime?
True
Let c = 17 + -13. Suppose -c*f + 3938 = 2*b, 2*f - b - 2946 = -f. Is f prime?
True
Suppose 4*x = -0*x + 116. Suppose 3*n + 2*a = 103, n + 2*a - x = -0*a. Is n a composite number?
False
Suppose -10*p = -7*p - 36. Let k = p - 1. Is k a composite number?
False
Let k(v) = 44*v**3 + 6*v**2 - 8*v - 1. Let b(w) = -w**3 - w**2 + w. Let z(i) = -6*b(i) - k(i). Suppose 0 = -4*x + 3*x - 1. Is z(x) prime?
True
Let r(q) = q**3 - 7*q**2 - 4*q + 3. Let s(c) = c**2 - 2*c + 3. Let t be s(3). Let y be r(t). Is (y/(-9))/(1/3) a prime number?
True
Suppose 2*v = 4*f + v - 23, -3*v = f - 9. Let k(m) = 120*m**2 + 6*m - 1. Let a(t) = -t. Let b(q) = f*a(q) + k(q). Is b(1) composite?
True
Let i(m) = 64*m - 4. Let a be i(5). Suppose -a = -2*o + 2*f, 3*o - 4*f - 490 + 21 = 0. Is o a prime number?
True
Let q(j) = j + 6. Let i be q(-7). Is (i/(-2))/(4/4328) a prime number?
True
Suppose 5*x + 3*m - 27 = 0, 0*x - 2*m + 14 = 2*x. Suppose x*h + 17 = -4*o, 0*o + 2*o - 37 = 5*h. Is (h/(-1))/(1/5) a composite number?
True
Suppose 4*j + 5*k - 7443 = -0*k, -5*j - k = -9330. Is j composite?
False
Is -2 - 9/(-6)*34 a prime number?
False
Is 11/(-55) - (-1312)/10 a composite number?
False
Let x(d) = -d**2 + 7*d + 7. Let z be x(7). Suppose 0 = -5*q + t + 28, -4*t + 6 = 5*q - z. Suppose 0 = q*v + 52 - 242. Is v prime?
False
Let f(b) = -b**3 - 10*b**2 + 11*b - 5. Let a be f(-11). Is 143 - -3 - (a + 2) a composite number?
False
Let x be -2*1 + (-35)/(-5). Suppose 3*y + 8 = x*y. Is y composite?
True
Is ((-3)/((-36)/8))/((-10)/(-20715)) composite?
False
Let x(l) = l + 7. Let g be x(-5). Let b be -1*(g - 1 - 90). Is b + (-1)/2*4 a prime number?
False
Suppose -4*w + 353 + 119 = 0. Let p = 1 + w. Is p composite?
True
Suppose -1085 - 148 = -3*n. Is n a prime number?
False
Let j(w) = -4*w**3 + 2*w**2 + 5*w - 3. Let z(c) = 2*c**3 + 2*c**2 - c. Let v be z(1). Let g be j(v). Is ((-2)/6)/(2/g) a composite number?
False
Let f(q) = 4 + 5*q**2 - 1 + 7*q - q - 2*q. Let g(r) = r**2 + 5*r. Let b be g(-4). Is f(b) a composite number?
False
Let q(o) = -o**2 - 5*o + 12. Let t be q(-13). Is (-3)/(((-18)/t)/(-3)) composite?
True
Suppose -3*h = -0*h. Suppose d - 647 = -a - 3*a, h = a + d - 158. Is a a prime number?
True
Suppose 107 = 5*b + u, -u + 6*u + 37 = b. Let o = b + -9. Is o a prime number?
True
Let g(d) = 288*d**2 + 2*d - 1. Is g(1) a composite number?
True
Let r be (-9)/(-6)*(-8)/(-6). Suppose h = -r*h + 114. Is h prime?
False
Let z(j) = -j**3 - 13*j**2 + 3*j - 11. Is z(-16) prime?
True
Suppose -4*j + y - 15 = -70, 55 = 2*j + 5*y. Is j prime?
False
Let n = -13 - -15. Suppose n*z - 96 = 4*k + 666, 0 = 4*z - 2*k - 1500. Is z a prime number?
True
Let j = -40 + 69. Let b = j + 148. Is b composite?
True
Suppose -v + u - 3 = -10, 4*u - 8 = -5*v. Suppose v*a - 290 = 218. Is a composite?
False
Let u = -5 - -4. Let q be (0 + u - -2)*-9. Is (273/q - 2)*-3 a composite number?
False
Let d = -148 - -962. Suppose -5*k - d = -2*h, 5*h + k - 4*k = 2035. Is h prime?
False
Let v(j) = -j + 6. Let x be v(6). Let d(k) = k. Let g be d(2). Suppose u + 4*t + 8 + 1 = x, -g*t + 45 = 5*u. Is u a prime number?
True
Suppose -30 - 385 = -g. Is g a composite number?
True
Let m = -7 + 11. Suppose -3*y + 2 + m = 0. Is (-2 + 1)/(y/(-26)) a prime number?
True
Suppose -3*q + 491 = -y - 3275, 5018 = 4*q + 2*y. Is q prime?
False
Let n = -2 - -7. Suppose 4*t - 40 = -4*s, 22 = -n*t - s + 52. Suppose -4*m + 2*m + 37 = -t*q, 0 = m - 4*q - 23. Is m composite?
False
Let r = -28 + 76. Let j = r - 29. Is j a composite number?
False
Let f be 7*(-1 - (-2 + 0)). Let k = 10 - f. Suppose -28 = m - k*m. Is m composite?
True
Suppose -k = -4*k + 861. Is k composite?
True
Let f = 39 + -18. Let n be 15/(0 + 3/f). Suppose -v + 2 = 0, -4*k + n = -k - 3*v. Is k composite?
False
Let k be (2/6)/(1/6). Let w be k/(1 - (-123)/(-129)). Suppose m - 36 = w. Is m prime?
True
Suppose -618 = 4*z + 2*m, -z = m + 117 + 39. Let x = 370 + z. Is x prime?
False
Let n = 2503 - 1584. Is n composite?
False
Let k(r) = -5*r + 4. Let g = 4 - 6. Is k(g) prime?
False
Is (-2622)/(-12) - (-3)/6 a composite number?
True
Let i = 91 + -48. Is i prime?
True
Suppose p = 4*r + 277, -4*r + 3 = -5*r. Is p prime?
False
Suppose -n - 2*j - 13 = -2*n, -12 = 3*j. Let k(c) be the first derivative of c**4/4 - c**3/3 - c**2/2 - 6*c + 2. Is k(n) a composite number?
False
Let m = -9 + 62. Is m composite?
False
Let c(h) be the second derivative of h**4/3 - 2*h**3/3 + 5*h**2/2 - 3*h. Let q(z) = 4*z - 3. Let l be q(2). Is c(l) composite?
True
Let x(c) = -79*c**3 - c**2 - 2*c - 1. Let o be -3 - 3/((-12)/8). Is x(o) a composite number?
False
Let k be (1 - -1)*6/4. Suppose -52 - 41 = -k*i. Is i composite?
False
Let f(g) = g**3 + 5*g**2 + 3*g. Let c be f(-4). Suppose y = 3*l + c + 12, -l + 160 = 5*y. Is y composite?
False
Suppose 0 = 4*l + u - 66912, 0 = -5*l + 4*u + 139435 - 55774. Is l composite?
False
Let i be 8/6*54/24. Suppose -4*b + 2*c = -940, b - i*c - 2*c = 235. Is b a prime number?
False
Suppose -6*z + 2*z = -5*c - 111, -4*z - c + 141 = 0. Is z a composite number?
True
Let n(w) = w - 27. Let h be n(11). Let p = h + -6. Let r = 53 + p. Is r a composite number?
False
Suppose 25 = 2*k - 3*m, -4*k = m + 3*m - 40. Is k prime?
True
Let h be 5 + (3 - 3 - 1). Suppose -5*b + 19 = j, -h*b + 0*j + 4*j = 4. Suppose -b*l + 19 = -2*l. Is l prime?
True
Let x be 1 - 3/2*-2. Suppose p + 32 - 249 = -5*a, 2*a = x*p + 78. Is a a composite number?
False
Let n = -1662 + 3823. Is n composite?
False
Let o = -563 + 866. Is o a composite number?
True
Is ((-2077)/(-4))/((18/(-8))/(-9)) a prime number?
False
Suppose 4*a + 6 = -6. Is (6/a - -1) + 47 composite?
True
Let q(l) = l**2 - l + 293. Is q(0) prime?
True
Suppose 0 = 4*d - 2*i - 332, 2*d + 5*i - 249 = -d. Is d prime?
True
Suppose -4*y + 4 = 0, 452 = 5*h + 2*y - 5*y. Is h composite?
True
Suppose 2*j - 6 = 4*y, -2*j + 5 = -3*y - 2. Let w(a) = 294*a**2 + a. Let i be w(-1). Suppose j*z = 42 + i. Is z prime?
True
Suppose -3*q + 9 = 0, w + 3*q + 2*q - 20 = 0. Let f = w + -32. Let c = -2 - f. Is c a prime number?
False
Suppose -7 = -5*c + 8. Suppose 0*r - 170 = -5*r. Suppose -o + 6*o = 2*p + 53, c*o - r = -p. Is o a composite number?
False
Let x = 174 + -243. Let k = 122 + x. Is k composite?
False
Let w = 1783 + -905. Is w a composite number?
True
Let f(a) = a + 9. Let w be f(-4). Suppose 775 + 240 = w*g. Is g composite?
True
Suppose 43 = -s + 3*y, 4*s + y + 108 = -3*y. Let i = 64 + s. Is i a prime number?
False
Is (3 - 3