- 4*u - 634 = 0. Is v a prime number?
True
Let a(r) = 82*r + 7. Is a(3) composite?
True
Let d = 293 + 386. Is d composite?
True
Let v = 1 + 0. Suppose -v = 3*f + 3*z - z, z = f - 8. Let r(s) = s**3 - 3*s**2 + 4*s - 3. Is r(f) prime?
False
Suppose 0 = 4*q - 3*m - 23, 3*q + 3*m = -0*m - 9. Suppose -2*f = q*f. Suppose -h + 4*h - 105 = f. Is h a prime number?
False
Is 185/2*(-2)/(-1) a composite number?
True
Suppose 4*i = -4*p + 7368, 5*i = 2*p - 2718 - 973. Is p a prime number?
False
Suppose -2*f - 4*y = -2*y - 1862, 0 = -2*f + 5*y + 1841. Suppose 4*i - 1396 = f. Is i composite?
True
Let g(a) = 46*a**2 - 4*a - 1. Is g(4) composite?
False
Let x be ((-3)/(-9)*0)/(-1). Is (1 - -16) + -2 - x prime?
False
Let d(f) = 4*f + 0*f**2 - f**2 - 4*f**2 + 4*f**2. Let a be d(3). Suppose -42 = a*r - 5*r. Is r a composite number?
True
Let g(v) = 12*v**2 - 7*v - 6. Let b be g(-4). Suppose 5*f = b + 121. Is f prime?
True
Let j = 2172 + -1283. Is j composite?
True
Suppose -5*d = 3*v + 38, 5*d = v - 7 - 7. Let s(r) = r**3 + 6*r**2 - r - 2. Let j be s(v). Suppose -j*x + 387 = 71. Is x prime?
True
Suppose 4*i + 5 = -i. Let l(d) = 6*d**2 + 1. Is l(i) a prime number?
True
Let j(t) = 9*t + 6. Let p be j(7). Suppose 2*v = r + p, 2*v - 2*r - 93 = -23. Is v prime?
False
Let k(a) = a**2 - 13*a + 8. Let x be k(13). Suppose -j - 4*g - x = j, 4 = 4*j - 2*g. Suppose j = 2*c - 3*c + 69. Is c prime?
False
Let s be 76*(-3 + 7) - 1. Suppose 2*k - 163 = s. Is k a composite number?
False
Suppose 2*h - 23 = -4*l - 5, 3*l = -4*h + 16. Let g(x) = -4 - 6 + 3*x + l + 9*x**2 + 3. Is g(2) a prime number?
False
Let u be ((-12)/(-9))/((-2)/(-3)). Let f(t) = 2*t**2 - t. Let l be f(u). Is l - 2 - (3 - 2) a prime number?
True
Suppose 3*l - 5*l + 4246 = 0. Is l prime?
False
Let p(b) = 3*b**3 - 4*b**2 - 2*b - 4. Is p(7) composite?
True
Let z(a) = a**3 - 14*a**2 + 9*a - 35. Is z(14) prime?
False
Let f(i) = -i - 1. Let p be f(-4). Suppose 310 = 2*g - a - p*a, 0 = -4*a - 20. Is g prime?
False
Let q be (-1 - -4)/(3/15). Let a = 23 + q. Is a a composite number?
True
Let n = 74 - 43. Is n a prime number?
True
Let f be (-5 + 5)/(1 - -1). Let i(s) = s**2 - s + 3. Let q be i(f). Is (-84)/(-1) - (2 - q) composite?
True
Suppose 4*l - 4 = 5*l. Let a = -2 - l. Is 84/8 + (-1)/a composite?
True
Suppose 0 = 5*q + 15, 0 = 5*n - 3*q + 2*q + 12. Let j be (-12)/(1/(14/n)). Suppose -m = 5*o - 3*m - 47, -4*o = 3*m - j. Is o prime?
True
Suppose 0 = 3*j - 7*j + 236. Is j composite?
False
Suppose 3*o = t + 4, -4*o + 94 = 5*t + 19. Let v = t + -7. Suppose -m - m - 3*c = -41, 40 = 2*m + v*c. Is m a prime number?
False
Let f(a) = 137*a - 1. Let u be f(-2). Let s = 394 + u. Is s composite?
True
Let f = 630 - -893. Is f a prime number?
True
Let p = 33 - 51. Is (-2)/9 - 670/p a prime number?
True
Let w = 0 - -4. Suppose w*u + 85 = 321. Is u composite?
False
Let q(d) = -92*d + 69. Is q(-14) composite?
True
Let v = 2 - 2. Suppose v = -3*k + 3*n + 12, 0 = -5*k - n - 0*n + 44. Is (-2)/(-4) + 548/k a composite number?
True
Suppose 5*r - 32 + 7 = 0. Suppose 0 = -r*l + 2*q + 1677, 3*q + 0*q = -4*l + 1337. Is l a prime number?
False
Is 8*(-4 - (-105)/12) prime?
False
Suppose 0*h - 2*w + 58 = -4*h, 61 = -4*h + 3*w. Let s = -8 - h. Suppose -s*a + 394 = 3*f, f - 5*a = -4*a + 134. Is f a composite number?
True
Suppose 0*n - 2*n = 8. Let k(i) = i**2 + 4*i - 1. Let q be k(n). Is 129 - (1/q - -3) a prime number?
True
Let c = 9 + -25. Let z be (-4)/(-10) - c/10. Is 21 + -1 + 0 + z composite?
True
Let p(d) be the third derivative of 0*d - 1/30*d**5 - d**2 - 1/40*d**6 + 1/6*d**3 - 1/12*d**4 + 0. Is p(-2) prime?
False
Suppose 3*i - 6 = 9. Suppose i*l = z - 4*z + 578, -l = -5*z - 110. Is l a prime number?
False
Suppose -4*u = -6 - 2. Let f be (4 - (0 + u)) + -4. Is -3*(3/(-9) + f) a composite number?
False
Let c(k) = 6*k**2 + 3 + 2 + 2*k - 4. Is c(-3) a prime number?
False
Suppose z - 264 = 487. Is z composite?
False
Let t = 71 + 47. Is t a composite number?
True
Suppose 4*d - 1328 = -0*j - 4*j, j = -2*d + 663. Is d a composite number?
False
Let a = -1 + 3. Suppose 3*y - 13 = -t, 0*t = a*y + 5*t - 26. Suppose -92 = -j - y*j. Is j a composite number?
False
Let h(x) = x**3 - x**2 + 2*x + 215. Is h(0) composite?
True
Suppose 2*n - 3*x - 18 = 0, -5*n = 3*x - 5*x - 23. Suppose 0 = -k + 3*v + 265, 2*v = n*k - 0*v - 767. Is k a prime number?
False
Suppose 0 = -2*h + 5*h + 24. Let t(y) = -y**3 - 9*y**2 - 11*y - 11. Is t(h) composite?
False
Is (-2 + 1)/(980/(-326) - -3) prime?
True
Let o(h) = 2*h + 2. Let p be o(0). Suppose 117 = p*u + u. Is u a prime number?
False
Suppose 0 = -2*m - 5*h + 11, m + 3*m = 3*h - 43. Let b(j) = 36*j + 5. Let c be b(m). Let i = -150 - c. Is i composite?
False
Suppose -5*i = 2*s - 10 - 35, -i - s + 12 = 0. Let g(a) = -2*a**3 + 7*a + a**3 - 4*a**2 - 9 + 12*a**2. Is g(i) a composite number?
False
Let z(i) = i - 2. Let d be z(4). Suppose 0 = d*c - 0*c - 182. Is c prime?
False
Let p(q) = 13*q + 1. Is p(10) prime?
True
Let z be 2 + -4 + 2 - 6. Is z/4 - (-45)/10 prime?
True
Suppose -j - b + 15 = 0, 5*j + b - 78 = -b. Suppose -u + 111 = -j. Is u composite?
False
Suppose -h - 357 = -1346. Is h a composite number?
True
Suppose -5*i + 33 = -3*x, -2*i + i + 3*x + 9 = 0. Suppose -4*g - 3*k + 187 = -i*k, -162 = -3*g - 5*k. Is g composite?
True
Let i = 19 + -13. Suppose -w - 195 = -i*w. Is w prime?
False
Let i be ((-3)/(-5))/(1/5). Let c be i - 5/(5/(-228)). Let j = -144 + c. Is j prime?
False
Let t be (-15)/(-21) - 2/(-7). Let f(v) = -2*v - 3*v - t - 3*v. Is f(-4) a prime number?
True
Let u(s) = s**2 - 10*s - 3. Let h be u(8). Is (h/2)/((-1)/6) a prime number?
False
Let q(o) = 3*o**3 - 8*o**2 - 4*o - 7. Is q(10) prime?
True
Let n be 9/15 - (-264)/10. Is (-1 + n)/(34/85) a composite number?
True
Let m = 1754 - -6255. Is m a composite number?
False
Suppose -4 = -3*a + 2. Is ((-299)/(-2))/(1/a) a prime number?
False
Suppose -5*s + s + 20 = 0. Let d be (-2)/s*40/(-8). Suppose -i - d*i = -57. Is i composite?
False
Let h be 1/(228/(-75) - -3). Is 2/(h/(-23) - 1) a composite number?
False
Let a = -23 - -30. Is a a prime number?
True
Let p(s) = s**3 - 13*s**2 - 7*s + 1. Let g be p(13). Let a = 251 + g. Is a a composite number?
True
Is ((0 - 1)*118)/(14/(-21)) prime?
False
Let u = -6 + 2. Let q(w) = -w**3 - 4*w**2 - w - 1. Let g be q(u). Suppose 3*t - 267 = 5*f - 31, 4*t - g*f - 311 = 0. Is t a composite number?
True
Let h = 6 - 3. Let i = 3 + 0. Suppose -4*n + 141 = -h*u, -i*n - 5*u = -2*n - 64. Is n prime?
False
Suppose -14 + 98 = 4*u. Is 6146/u - (-2)/6 a composite number?
False
Let q(n) = -325*n**3 - n**2 + 2*n + 1. Is q(-1) prime?
False
Suppose 3*i = 8*i - 580. Let q = i - 47. Is q a composite number?
True
Is 1170/4 - (-10 - -3)/14 a composite number?
False
Suppose 4*t + t = -2*n + 1175, -937 = -4*t - n. Is t composite?
False
Suppose 11 + 1 = 2*f. Suppose 2*m = f*m - 508. Is m composite?
False
Let v be -6 - -3 - (0 - 14). Let m(o) = 27*o - 2. Is m(v) a composite number?
True
Suppose -3*c + 6*c - 1113 = 0. Is c prime?
False
Let a(k) be the second derivative of k**3/6 + k**2/2 + 2*k. Let t be a(3). Suppose -204 = -3*q - z, 2*z = q + t*z - 63. Is q prime?
False
Let j be ((-6)/15)/(1/5). Let f = j + 13. Is f a prime number?
True
Let v(k) = k**3 + 17*k**2 - k + 3. Let w be v(-15). Suppose w = 5*i - 127. Is i a composite number?
True
Let q(b) = 72*b**3 + 5*b**2 - 3*b + 1. Let v(o) = -o**2 + o. Let r(l) = q(l) + 4*v(l). Let m be r(-1). Let j = 102 + m. Is j composite?
False
Let h(n) = 94*n + 3. Is h(4) a composite number?
False
Let h = 2600 - 1449. Is h a prime number?
True
Is (-1 - (7 - 5))/(3/(-274)) a prime number?
False
Is ((-3)/(-4))/(((-9)/204)/(-3)) prime?
False
Let c(s) = -s**3 + 4*s**2 - 6*s + 1. Let y be c(-5). Suppose -y + 91 = -3*m. Is m a composite number?
True
Suppose 4*w + 5*c = -23, 21 = -5*w - 2*c + 5. Let t(o) = 5*o - 2. Let j be t(5). Let i = j + w. Is i prime?
False
Suppose 5*n + 5 = 25, n = 3*p + 7. Let b = p + 5. Suppose 17 - 198 = -5*q + 2*g, -b*g - 12 = 0. Is q a prime number?
False
Let n(m) = -m**3 - 5*m**2 + 6*m - 3. Let u(o) = -o - 1. Let g(v) = -2*v - 19. Let t(c) = g(c) - 3*u(c). Let q be t(9). Is n(q) prime?
True
Let k = -227 - -486. Is k composite?
True
Suppose 4*t + 3*x - 44 - 31 = 0, 4*x - 76 = -4*t. Let r = t + -4. 