et q = 7 + -4. Suppose 3*b - 159 = -3*l, 240 = 3*l + l - q*b. Is l a composite number?
True
Let f = -4 - -10. Suppose -f - 4 = -2*a. Suppose 0*n - 3*n = -4*c - 10, -5*n = a*c - 75. Is n prime?
False
Let f(v) = -2*v. Let x be ((-3)/2)/(3/4). Let p be f(x). Let u(d) = 10*d**2 - 3*d + 1. Is u(p) prime?
True
Let k(f) = 266*f**3 + 3*f**2 - 2*f + 4. Is k(3) a prime number?
True
Let p(q) = 33*q + 97. Is p(18) composite?
False
Let h = 33 - 9. Let v be 16/h + 14/(-3). Is (-147)/v + 3/12 prime?
True
Suppose -4*r + 4*p - p = -749, 3*r + p - 578 = 0. Is 1*(-1 - -2)*r a prime number?
True
Let a(b) = -2*b + 11. Let t be a(9). Let v = t + 10. Suppose -h = v*h - 132. Is h a composite number?
True
Let n(z) = z**3 - 15*z**2 + 22. Let s be n(15). Is (-4)/(-22) - (-1272)/s composite?
True
Suppose 9*m - 2466 = 3*m. Is m a prime number?
False
Suppose -a + 567 = -0*s + 2*s, 2263 = 4*a + 3*s. Is a composite?
True
Suppose 4*j - 318 = 3*u - 5*u, 4*j + 8 = 0. Is u composite?
False
Let z be (0 - -2) + 0/1. Let n(x) = 3 - 10*x + z*x - 8 + 6. Is n(-4) a composite number?
True
Suppose 3*s = 0, -1870 = -5*c + s + s. Suppose -n + r = -c - 71, 2*n = r + 890. Is n a prime number?
False
Let v(l) be the first derivative of 17*l**4/24 - l**3/2 + l**2 + 2. Let f(u) be the second derivative of v(u). Is f(2) prime?
True
Suppose 351 = 3*q + 114. Suppose 780 - q = h. Is h a prime number?
True
Let t be 1*43 - (-14 - -11). Let l = -15 + t. Is l composite?
False
Suppose 0*y = s - 3*y - 913, 1826 = 2*s - y. Is s composite?
True
Let k(m) = m**2 - 3*m + 1. Suppose 0*c = -2*c - 6. Is k(c) composite?
False
Let f(h) = -27*h**3 - 2*h**2 + 4*h - 1. Is f(-4) a composite number?
True
Let u(a) = 9*a - 1. Let i = -1 - -1. Suppose 0 = -5*w - i*w + 30. Is u(w) composite?
False
Let p = -4 - -4. Let z = 4 + p. Suppose w - t - 2 = -4*t, 5*t + 76 = z*w. Is w composite?
True
Let g be (170/6)/(2/(-18)). Let m = -134 - g. Suppose -5*r + 154 = -p, p + m = 4*r - 2*p. Is r composite?
False
Let d = 147 - 38. Is d a composite number?
False
Let n(j) = -7*j + 10*j**2 + 4*j - 3*j**2 + 2 + 1. Is n(-4) a composite number?
False
Let x = 9361 - 3780. Is x composite?
False
Let k = 3 + 6. Let s = -7 + k. Is s/(-9) - (-276)/27 a prime number?
False
Let g = 26 + -21. Suppose -4*d = -g*v + 182, 0 = -4*v - 3*d - d + 124. Is v composite?
True
Suppose 10 = 5*j, j + 0*j = -v - 10. Is (449/2)/((-6)/v) a composite number?
False
Let w(o) = -8*o + 10*o - 1 + 4 + 3*o**2. Is w(4) a prime number?
True
Let n(h) = -448*h - 1. Is n(-1) a prime number?
False
Suppose 3*h - 1 = 2. Let u(v) = -v**2 + 5*v**2 - h - 4*v + 0. Is u(-3) prime?
True
Let d be -20 - 3/(9/(-6)). Suppose 5*x - 2*w = -28, 0 = -x + 6*w - w - 24. Is x/d + 34/9 a prime number?
False
Suppose 856 = 2*q + 3*q - 3*u, 0 = 3*u - 9. Suppose 5*p - q + 13 = 0. Suppose -4*y + 308 = -p. Is y composite?
True
Suppose 2*c - 1132 = 30. Is c composite?
True
Let c be (-8)/(-28) - (-2628)/14. Is c - (0 + (-2 - -5)) composite?
True
Let z = -237 + 540. Is z a composite number?
True
Let k = -23 + 57. Is k prime?
False
Let q(c) = 32*c**2 - 5*c - 11. Is q(-8) prime?
False
Let a = -4 - -8. Suppose -3*p + 3*f - 10 = -22, -3*f - a = -p. Suppose -2*c + 103 = 3*m, c + 2*m - 57 + p = 0. Is c a composite number?
False
Let g(y) be the first derivative of -y**3/3 + 59*y + 2. Is g(0) composite?
False
Suppose 0 = -5*l + 16 - 6. Let o(p) = -20*p + 4*p - 5*p - l + 7. Is o(-6) composite?
False
Let x = 4 - -11. Is x a composite number?
True
Is (5/(-2) + 0)*(-534)/15 prime?
True
Suppose -5*r = 4*v - 0*r - 1733, -15 = -3*r. Is v a composite number?
True
Let o = -5 + 3. Let w(t) = 3*t**3 + t**2 + 3*t - 3. Let k(y) = -9*y**3 - 3*y**2 - 9*y + 8. Let c(r) = 6*k(r) + 17*w(r). Is c(o) a prime number?
True
Let y be 10/4*48/30. Suppose 0 = -0*u - y*u + 8. Is (23/u)/((-2)/(-4)) prime?
True
Suppose 0*q = 2*q - 422. Is q a composite number?
False
Suppose 0 = -2*t + 23 - 7. Suppose 3*x - 376 = t*j - 3*j, 3*j = 2*x - 251. Is x a prime number?
True
Let p(t) = -t + 9. Let o be p(7). Let b = o - -9. Is b prime?
True
Suppose 0 = 3*x + n - 16, -4*x + 5*n + 8 = 3*n. Suppose -o = x*s + 21 - 58, -5*s = 5*o - 245. Is o prime?
True
Let m = -31 + 30. Is m/6 + (-2991)/(-18) a prime number?
False
Is (0 - 1)/((-3)/1869) composite?
True
Let n(p) = -8*p**3 - 4*p**2 + 2*p + 8. Let o be n(-6). Suppose -4*a + 3*f - 2*f = -o, -3*a = -4*f - 1185. Is a composite?
True
Let g be (-1)/3 + (-40)/(-12). Suppose 2*b - 5*b + 30 = w, 5*w + g*b - 114 = 0. Is w prime?
False
Let x(y) = 26*y + 9. Suppose 0 = -4*q + 3*d + 37, -2*q + d = 2*d - 11. Is x(q) a prime number?
True
Let l = 2 - 0. Suppose -b - l*b + 1452 = 0. Suppose 65 = 5*m - f - 751, -b = -3*m - 5*f. Is m prime?
True
Let k = 2 + -1. Let g(a) = 0*a**2 + 2*a**2 + 4*a**2 + 3*a**2 + k. Is g(-2) a composite number?
False
Let v(a) = 613*a**3. Is v(1) a composite number?
False
Suppose -20*y + 19*y + 381 = 0. Is y a composite number?
True
Let c(d) = -197*d**2 + 2*d + 1. Let r be c(-1). Let t = -83 - r. Suppose 0*q = q - t. Is q a prime number?
False
Let g(a) = -3*a**2 + a + 7*a**2 - 6 + 2. Is g(3) composite?
True
Suppose -3*l + 268 = -0*l + 2*y, -192 = -2*l + 2*y. Is ((l - 1) + 4)*1 a prime number?
False
Suppose 4*y - 4*t - 4020 = -0*t, 0 = 3*y - 2*t - 3014. Suppose 5*l - y = 651. Is l composite?
False
Let j = -15 + 17. Is (-4 - (j - -65))*-11 a prime number?
False
Let l be 12/10*(-150)/(-9). Suppose m - l = 11. Is m a prime number?
True
Let p(s) = -s**2 + 6*s + 9. Let a be p(7). Let u be a/3 + (-92)/12. Let n = u - -42. Is n a prime number?
False
Let w(i) = -10*i**3 - i**2 + 1. Let c = 47 + -34. Suppose -4*s - 7 - c = 2*k, 2*k + 2*s + 12 = 0. Is w(k) composite?
True
Suppose -6*p - 1 - 5 = 0. Is (-6950)/(-3) - p/3 prime?
False
Suppose -15 = 3*t - 3*x, t + 0*t + x = 1. Let h be 197/t + 1/2. Let q = -63 - h. Is q a composite number?
True
Let w(a) = -180*a**3 - a - 2. Let q be w(-2). Suppose -3*f + q - 3 = 0. Is f a prime number?
True
Let g be (-5)/1 + (-6)/(-6). Let z(h) = 12*h**2 - 3*h - 1. Is z(g) a composite number?
True
Suppose -6517 - 2567 = -6*i. Is i a prime number?
False
Suppose -2*p = -b - 7*p - 21, 5*b - 5*p = -105. Let n = 46 - b. Is n a prime number?
True
Let i = 14473 - 8456. Is i prime?
False
Let t = -6 + 0. Let x = t + 5. Is (18/x)/(-6 + 4) composite?
True
Suppose 5*m = 4*m, 2*w - 5*m - 404 = 0. Is w a prime number?
False
Let v(r) = 3*r - 3. Let d be v(3). Let o be 6*(-1)/d*-2. Suppose 3*h = 3*u + 477, h - o*u - 644 = -3*h. Is h a prime number?
True
Let x(g) = -g**3 - 3*g**2 + 4*g + 11. Is x(-8) prime?
False
Let t = 1169 + -540. Is t composite?
True
Suppose 0 = 4*m - m - 12. Suppose -308 = -5*v - m*j, -2*v + 13 = -j - 118. Let k = v + -42. Is k prime?
False
Let g(d) = -8*d + 19. Is g(-5) composite?
False
Suppose 10 = 2*w + 5*n, -n + 0*n = -5*w + 25. Suppose -b + 582 = 140. Suppose 5*q = j + b, w*q - j = -2*j + 448. Is q a composite number?
False
Suppose -415 = -3*f + 239. Let k = f - 129. Is k prime?
True
Let o(m) = 5*m. Let s = -7 + 8. Let d be o(s). Let t = d - -9. Is t composite?
True
Suppose 4*h + 0 - 4 = 0. Let x = h - 1. Is 10*(0 - (-1 + x)) prime?
False
Suppose l - 7*l + 1986 = 0. Is l composite?
False
Let a(n) = 41*n + 11. Let m(i) = -61*i - 16. Let k(p) = 7*a(p) + 5*m(p). Let z be 25/10*(-4)/5. Is k(z) prime?
False
Let f be (-4)/18 + (-38)/(-9). Suppose -6 - 6 = -f*i. Suppose -k = -0*k + h - 86, 4*k + i*h = 341. Is k composite?
False
Let d be (-634)/(-6) + (-2)/3. Suppose 4*k - 4 = 0, 4*m + k + 16 = d. Is m a composite number?
True
Suppose -165 = -m - 16. Is m composite?
False
Suppose -4*g = 4*o - 528, 4*o - g - 4*g - 537 = 0. Suppose 5*s - o = 642. Is s composite?
True
Let p be (1 - -1)/1 - 62. Let y be (2/3)/((-8)/p). Suppose -3*m = 4*r + 2*m - 37, -4*r + y*m - 13 = 0. Is r composite?
False
Suppose -5*o + 143 + 237 = 0. Suppose -3*x - 3*j + 266 = -o, -4*x + 459 = j. Is x a prime number?
False
Let r = -6 - -4. Let w be (-775)/(-20) + (-2)/(-8). Let k = r + w. Is k prime?
True
Let p be ((-1)/3)/(7/105). Let f = p - -9. Suppose 0 = f*i - i - 57. Is i a composite number?
False
Let k(o) = 9*o + 5. Suppose 0*f = -4*f + 28. Let s be k(f). Suppose 0 = -t - 15 + s. Is t a prime number?
True
Let f(x) = 8*x**2 - 2*x - 11. Is f(-7) prime?
False
Let o be 4/(-18) - (-140)/63. Suppose 3*g = -o