e w(-7). Suppose 0 = -q - 4*f + 67, -l*f - 228 = -4*q. Is q a prime number?
True
Let g(w) = -2*w**2 + 2 + w**2 + 2*w**2 - 5*w. Let o(m) = m**2 + m - 1. Let f(l) = -g(l) + 3*o(l). Is f(-7) prime?
True
Suppose -1455 = -3*z - 2*z + 4*x, 4*x = -z + 315. Is z a composite number?
True
Let l(h) = h**3 - 4*h**2 - 9*h + 2. Let n be l(6). Let u be (-1)/(-4) - (-35)/n. Is u - 6*(-2)/1 composite?
True
Let d(s) = 13*s**2 - s + 3. Let q(r) = -38*r**2 + 3*r - 8. Let g(a) = -11*d(a) - 4*q(a). Is g(2) a prime number?
False
Let q(i) = i**2 + i. Let b(u) = -u**2 + 8*u + 1. Let l be b(8). Let s be q(l). Suppose 3*h + 2*x = -s*h + 331, -260 = -4*h - 4*x. Is h prime?
True
Let u be (2/(-4))/((-3)/18). Let b be 4*(0 + -2 + u). Suppose 101 = h + b*h + 4*i, -i + 104 = 5*h. Is h composite?
True
Let h(n) = 4*n - 2. Is h(7) a composite number?
True
Is (88/(-28))/(1/(-7)) prime?
False
Let n(h) = -h**3 - 8*h**2 + 1. Let j be n(-8). Let t(v) = 37*v**3 + v**2 - v. Is t(j) composite?
False
Suppose -5*b - 110 = -335. Suppose -2*x = 2*x - 3*r - b, -15 = -2*x - r. Is x a prime number?
False
Suppose -7*p = -2*p - 185. Is p a prime number?
True
Suppose 4*l + 8 = -0*l. Is (-2 - (-2 + -71)) + l prime?
False
Suppose 0*g + 2*g - 1023 = -z, -z = 5*g - 2559. Suppose 0 = -4*a - 124 + g. Is a a composite number?
False
Let c = 945 - 106. Is c a composite number?
False
Let m = 2309 + -1192. Is m a prime number?
True
Suppose o + 21 = -4*j, 0 = 3*j - 0*o + 4*o + 32. Let u(n) = n**3 + 5*n**2 + 4*n + 2. Let c be u(j). Let q(w) = 2*w**3 + w**2 - 2*w - 1. Is q(c) prime?
False
Suppose 0 = -5*k + 88 + 297. Is k a prime number?
False
Suppose -469 - 667 = -8*i. Is i a prime number?
False
Suppose -5*k + 0*k = -2*t - 40, 25 = -5*t. Let l = k - -1. Is l a composite number?
False
Suppose 3*x - 111 = 3*h, 3*x + x = 3*h + 148. Is x a prime number?
True
Let p(g) = -g. Let h be p(5). Let c = 7 + h. Is (-1)/(-1) - (-18)/c a prime number?
False
Let o(r) = 17*r + 21. Is o(8) prime?
True
Is (-15)/6*(-1356)/15 composite?
True
Let m = 1 - -2. Suppose -5*n = -3*z - 70, -2*z = 3*n - m*z - 42. Is n prime?
False
Suppose 0 = 9*j - 14*j + 5305. Is j a composite number?
False
Let h be 9/4 + 1/(-4). Suppose -h*c = c - 126. Suppose 3*j - c = j. Is j composite?
True
Let r(a) be the second derivative of a**3/2 - 2*a. Let z be r(1). Suppose 0 = -5*m + z*m + 98. Is m composite?
True
Suppose 0 = -v - 43 + 161. Suppose -5*h + 37 + v = 0. Is h a composite number?
False
Let x be (1 + -2)*(2 - -2). Is x/(-22) + (-7578)/(-66) prime?
False
Suppose 2*d = 3*d - 553. Let u = -174 + d. Is u composite?
False
Let k(u) = 103*u. Suppose 3*l + 12 = -l. Let n be k(l). Let h = n + 520. Is h a composite number?
False
Suppose 73 = a - 2*m, -a + 2*a = -m + 67. Is a a prime number?
False
Suppose 2*y - 614 = -0*y. Is y a prime number?
True
Suppose -5*s + 263 = -o - 24, -5*s = o - 283. Is 1*s + (-6)/3 prime?
False
Is 1/6 + 785/6 a composite number?
False
Let a be (0 - 4)*(-3 - 31). Suppose -a - 220 = -4*o. Is o composite?
False
Let u = 23 + -15. Is 2*u*6 + -3 a prime number?
False
Suppose v = -4*m - 2*v + 403, v = -3. Let l = -54 + m. Is l prime?
False
Suppose 5*b - 26 + 6 = 0. Suppose -b*s = -m - 447, 3*m + m + 319 = 3*s. Suppose -s + 388 = 5*d. Is d composite?
True
Is (-12 - -11)/((-2)/662) a prime number?
True
Suppose 4*j - 1 = -b - 0, 2*b = -2*j + 2. Suppose -3*v - 3*f + 177 = j, 5*f + 66 = 4*v - 134. Is v a prime number?
False
Suppose -1115 = 4*v - 3*v. Is (v/20)/((-1)/4) prime?
True
Let z(d) = -19*d. Let f = -4 - -3. Is z(f) composite?
False
Let t = 21 - 31. Let p = t - -16. Suppose 0 = 4*m - 190 - p. Is m composite?
True
Let d = -3 - -3. Suppose -2*i + 3*z + 177 = d, -3*z = -8*z - 15. Suppose j - p - i = 0, 0 = -3*j - j - p + 311. Is j composite?
False
Suppose 0 = -n + 3, 4 = -r + 5*n - 11. Suppose r*k - k + 211 = 0. Is k prime?
True
Let u be (-3 + 3)/(0 - -1). Suppose u = 2*w - 3*k - 172, k - 169 = -2*w + 11. Suppose w + 11 = 4*g. Is g a prime number?
False
Let g(x) = 1 - x**3 - 8*x + 3*x**2 + 2*x**3 + 0*x**3. Let a be g(-6). Let q = 128 + a. Is q prime?
False
Let a = 633 + -422. Is a prime?
True
Suppose 5*c + 5*u + 2 = 17, 16 = -4*u. Suppose 51 = -c*k + 212. Is k a composite number?
False
Is 3458/10 - (-8)/40 composite?
True
Let r = 14 + -10. Let u be (3/4)/(1/r). Let v(l) = 5*l**3 - 2*l**2 + 2*l + 4. Is v(u) a prime number?
True
Suppose -20 = -5*x, x = -3*l - 0*x + 190. Is l a composite number?
True
Suppose -l + 8 - 3 = 0. Suppose -2*u - 3*u - 40 = 0. Let q = l - u. Is q a prime number?
True
Suppose 0 = 38*l - 39*l + 2887. Is l composite?
False
Suppose 3*i - 350 = 277. Is i prime?
False
Let y = 653 - 40. Is y a prime number?
True
Let c be -2*(1 + -2) + 66. Let f = c + -22. Is f a prime number?
False
Let y be (-2)/(-3) + 10/3. Suppose -u = 2*u + 12, y*u = -3*r + 1385. Is r a prime number?
True
Let k(y) = -24*y**3 - 2*y**2 - 2*y + 3. Let z be k(2). Let s = -299 - 29. Let w = z - s. Is w composite?
False
Suppose -3*g = -3, s - 208 - 252 = -3*g. Is s a composite number?
False
Let c(k) = -k**3 - 9*k**2 - 10*k - 9. Is c(-10) composite?
False
Let p = -8 - -8. Suppose 0 = -2*g - p*g - 2, g + 167 = 2*t. Is t composite?
False
Suppose -4*u + 34 + 38 = 0. Let k(h) = -9*h**3 + 2*h**2 - 2*h + 1. Let y be k(1). Let i = u + y. Is i a composite number?
True
Suppose -2*l - 4 + 74 = 0. Suppose -3*a = 2*n - l - 0, -2*n - 4*a = -38. Is n prime?
True
Let h(v) = -6 - 2*v - 6*v - 3*v. Is h(-7) prime?
True
Let s = -17 + 106. Is s a prime number?
True
Let b = 244 - 136. Suppose v = 151 + b. Is v composite?
True
Let j(x) = x**3 - 8*x**2 - 2*x + 1. Let g be j(6). Let t = 116 + g. Is t a composite number?
True
Suppose -2*c - 2*c - 2 = 3*q, 0 = -4*q - 8. Is (-1521)/(-12) + c/4 composite?
False
Suppose 5*r - 14 = -3*h, -4*h = -4*r - 2*h + 20. Suppose -2*v + 1061 = -3*m, 2*v + r*m = -0*m + 1082. Is v prime?
False
Let v be ((-115)/(-2))/((-1)/14). Let l = 489 + -1059. Let c = l - v. Is c a composite number?
True
Suppose 218 = 5*z - 3*w, -3*w + 11 + 158 = 4*z. Let r = 192 - z. Is r prime?
True
Suppose 0 = -2*v + 442 - 164. Is v a composite number?
False
Suppose 12 = 4*h, -4*d - 4*h + 19 = -9. Suppose -2*c + 46 = -2*j + 3*j, -d*j + 79 = 3*c. Is c a composite number?
True
Let o(r) = 1 - 4 + 5 + 19*r. Let k be o(-5). Is (k/6)/(2/(-4)) prime?
True
Let d = -19 - -11. Is 178/d*(2 - 6) a composite number?
False
Let z(t) = -t + 13. Let b be z(9). Suppose 0*s = -3*s + i + 82, 100 = b*s + i. Is s a prime number?
False
Let r be 1 - -2*(-1)/(-2). Suppose 1 = r*t - 1. Let m = 4 - t. Is m composite?
False
Suppose 3*f - 63 = -4*w + 58, 3*f + 5*w = 125. Is f composite?
True
Suppose -5*c - 3*t = -0*c - 12, -4*c + 10 = 2*t. Suppose m = z - 34, 26 = z + c*m - 2*m. Suppose -5*n + z = -4*o - 65, 2*n + 5*o - 71 = 0. Is n prime?
True
Suppose 3*l - 4*p = -10, 5*p - 9 = 3*l + 5. Is (-919)/(-1) + 0 + l a prime number?
False
Let u be (2*6)/3 - -2. Let s(y) = y - 2. Let p be s(u). Suppose -50 = -p*w - 14. Is w composite?
True
Suppose 2*c = -4*f - 2*c - 936, -2*f + c = 474. Let j be (-5 - -3)/(-1) - -347. Let s = j + f. Is s a composite number?
False
Suppose -2 = y, -3*y + 122 + 501 = a. Is a a composite number?
True
Let o(a) = -3*a - 3. Let z be o(-2). Suppose z*i = 792 - 183. Is i a composite number?
True
Let g(s) = -s**2 - 5*s - 5. Let a be g(-5). Let h(q) = -4*q + q + 0*q**2 + 6 + 5*q**2 + q**3. Is h(a) prime?
False
Let a(y) = -y**2 + 16*y. Let w be a(9). Let m = w + 103. Is m composite?
True
Suppose 5*i - b + 5*b + 62 = 0, -2*i = -5*b + 5. Let k = 58 + i. Suppose 2*u = -y + 69 + k, -488 = -4*y - 4*u. Is y a composite number?
False
Let k = 8226 + -5408. Is k a prime number?
False
Let k(u) = 52*u - 1. Suppose -2*r + 10 = 3*r, 0 = -w + 4*r + 1. Is k(w) prime?
True
Let w(a) = -648*a - 3. Let c(y) = 216*y + 1. Let z(l) = -7*c(l) - 2*w(l). Is z(-1) composite?
True
Let l(m) = m**2 + 3*m - 2. Let s be l(-4). Let v be (-1)/2*(-220 - -2). Suppose -s*d - h + 72 = 4, 2*h = 3*d - v. Is d prime?
False
Let y(t) = t**3 + 7*t**2 + 4*t - 6. Suppose -3*l + 6*l = -9, -4*w + 4*l = -44. Suppose j - 2 = -w. Is y(j) prime?
False
Suppose -21*v = -16*v - 1535. Is v composite?
False
Suppose 0 = v + v. Suppose v = -r - 1 + 59. Is r prime?
False
Let z = -7 - -4. Is (2/z)/(14/(-11487)) a prime number?
True
Suppose -3*s + 4