= -546 - r. Is v a composite number?
True
Let j(p) = p. Let q be j(-2). Is -2 + q/(-2) - -38 prime?
True
Suppose h = 7 - 2. Let x(j) = j**2 - 3*j + 4. Is x(h) composite?
True
Let r(b) = 89*b - 40. Is r(13) a prime number?
True
Suppose f - 20 = -f. Let b = -30 + f. Is (-4)/(-10) + (-2532)/b a composite number?
False
Let g = 6979 - 4346. Is g prime?
True
Let t(o) = o**3 - 7*o**2 - o - 2. Let w be t(7). Let p = -8 - w. Suppose 10 = 3*n + p. Is n composite?
False
Suppose 3*d + 8 = -d, -4 = -4*w + 4*d. Is -3 + (w - -1) + 404 a composite number?
False
Suppose g = 2*x + 10, 18 = 3*g + 2*g - 2*x. Suppose 56 = g*s + 18. Is s a composite number?
False
Suppose 57 + 875 = 2*a. Is a a composite number?
True
Suppose -4*s + 8 + 16 = 0. Let t(a) = 2*a + 2. Is t(s) composite?
True
Let g be 16/3 - 3/9. Suppose -2*a + 1287 = -2*p + 409, -4*p - 5*a - 1792 = 0. Is 2/g - p/5 a prime number?
True
Let z(p) = -14*p**2 - 3*p + 1. Let u be z(-3). Let k = -37 - u. Is k prime?
True
Suppose 4*m = -4*i + 3*m - 21, 2*m = 5*i + 36. Let h = i + 8. Suppose h*v = 2*u - 50, 3*u + u - 92 = 2*v. Is u a composite number?
True
Let a(g) = 123*g + 2. Is a(3) composite?
True
Is (-4 - -4) + -1 - -542 composite?
False
Suppose 0 = -3*g + 2*g - 2. Let r = 1 - g. Suppose r*x = -5*n + 110, -3*n - 5*x + 2*x + 66 = 0. Is n prime?
False
Let w = -11 + 15. Let n = 2 - w. Is 18/4 + 1/n composite?
True
Let g(t) = 13*t + 20. Is g(29) prime?
True
Suppose -12981 = -3*d + 5400. Is d composite?
True
Is (-1707)/(-18) + (-2)/(-12) + 0 a composite number?
True
Suppose -2215 = -l - 4*l. Is l a prime number?
True
Is (-2692)/(-2)*8/64*4 prime?
True
Suppose 341 + 1 = r. Suppose 5*p - r = 113. Is p a prime number?
False
Let q = 3543 + -2272. Is q a composite number?
True
Suppose -8*o + 6289 = -3495. Is o a prime number?
True
Suppose y = -2*y - 2*t + 99, 2*y - 47 = 5*t. Suppose -98 = -s + 3*o, -3*o = 2*s + y - 200. Is s prime?
True
Suppose 5*h - l - 26 = l, -10 = -2*h + l. Let u be (-4)/(4/(-3)) + 2. Let w = h + u. Is w a prime number?
True
Let q(m) = -m**3 + 5*m**2 - 3*m - 3. Let a be q(3). Let h be (3/a)/((-1)/174). Is h*(10/(-3))/2 a prime number?
False
Let h(o) = -o**2 + 13*o + 9. Let z(p) = -p**2 + 13*p + 9. Let w(g) = 4*h(g) - 3*z(g). Is w(8) a composite number?
True
Let f = 2 + 9. Let l = 70 - 48. Suppose -j = -f - l. Is j a composite number?
True
Let h = 9 - 6. Let q be (-3)/(h + (-12)/3). Suppose 2*k + 3*l - 196 = 0, 0 = q*k - k - 3*l - 184. Is k a prime number?
False
Let r(f) = 140*f**2 - 3*f + 26. Is r(5) a composite number?
False
Suppose 348 - 2393 = -5*f. Is f composite?
False
Is (-5 - -4 - 36)*-2 a prime number?
False
Suppose -2*s + 872 = -1082. Is s a prime number?
True
Suppose 4*a - 15 = a. Let k = -2 + a. Suppose m - 67 = -k*v - v, -2*m - 5*v = -125. Is m composite?
True
Suppose 2*o + 4*j - 703 = 51, -4*o + 2*j + 1518 = 0. Is o a prime number?
True
Let d = -1 - -5. Let i be (d/(-6)*3)/(-1). Is (2/(-6))/(i/(-186)) prime?
True
Let b(l) = -1293*l - 14. Is b(-3) a composite number?
True
Suppose 3*j = 5*w - 0*w - 459, -2*w + 4*j + 192 = 0. Suppose s - 71 = w. Is s composite?
True
Let t(v) = -675*v + 10. Is t(-1) a prime number?
False
Is ((-4)/2)/(6/(-3123)*3) composite?
False
Let j(i) = i**2 + 16*i + 31. Is j(-18) a prime number?
True
Suppose 5*u - 1015 = -0*u. Is u a prime number?
False
Let x be (883 - -3)*-1 - -1. Let k = -518 - x. Is k prime?
True
Let z(u) = 32*u**3 - u**2 - u + 1. Let v be z(1). Suppose -3*y - 190 = -v. Let h = -22 - y. Is h a composite number?
False
Suppose 5*f - 71 = -16. Let x(b) = 2*b**2 - 15*b - 10. Is x(f) composite?
False
Let n(z) = 368*z + 65. Is n(9) a prime number?
False
Let l(w) = w**3 + 5*w**2 + 3*w + 1. Is l(-3) a composite number?
True
Suppose 4*x = -5*q + 869, -247 = -x - 3*q - 21. Is x a prime number?
True
Suppose -r + 314 = -16. Suppose -28 = 2*y + 3*i - r, 4*y + 4*i = 612. Suppose 0 = 4*l - y - 111. Is l prime?
True
Suppose 2*i - 164 = 4*k - 2*i, 82 = -2*k - i. Suppose 2*v - v = 63. Let f = v + k. Is f composite?
True
Let w = 19 + -18. Let h be -1*8*(-2 - -1). Suppose -f + w = -h. Is f a composite number?
True
Suppose 5*b + j = 450, 3*j + j - 109 = -b. Suppose -4*p = -35 - b. Is p composite?
False
Suppose 4*j - 4 = 4. Let h = j + 0. Suppose 48 + 242 = h*g. Is g composite?
True
Suppose 0 = -3*l - 15, 10*s - 5*s = -5*l - 25. Suppose -t + 1 = 2*d - 6, s = -3*t + 3*d + 12. Suppose t*y - 316 = y. Is y a prime number?
True
Let o(b) = -b**3 + 7*b**2 + 8*b + 5. Is o(-4) composite?
False
Let t(a) = -2*a - 9. Suppose 0 = 5*x - 18 + 78. Is t(x) prime?
False
Suppose -3*v - 860 = -8*v. Suppose -v + 523 = -3*i. Is ((-2)/3)/(6/i) composite?
False
Suppose 4*g - 69 = g. Is g a composite number?
False
Suppose -5*f + 24 = 2*l, 0 = 2*l - 3*f + 7 + 1. Suppose -5*m + y + 19 = 4*y, 12 = l*m - y. Suppose -2*s + 241 = -4*p - 13, 0 = -s - m*p + 113. Is s composite?
True
Suppose 4*x + q = 25, x + 3*q = -2*q + 11. Let f(h) = 3*h**2 - 3*h + 7. Is f(x) prime?
True
Suppose v + 0*v - 3 = 0. Suppose 5*q = -2*f + 231, -v*f - 96 + 431 = -4*q. Is f a composite number?
False
Suppose -5*z + 4*g + 144 = -z, 153 = 4*z + 5*g. Is z a prime number?
True
Let q be (3/(-2))/((-12)/(-16)). Let a = q - 0. Is -2 + a + 2 - -8 a composite number?
True
Suppose -6*j + 2*p + 4403 = -j, -2*j = -3*p - 1759. Suppose 2*u - j = -5*d, 3*u + d = u + 885. Is u composite?
False
Suppose 0 = -2*y + 4*h + 968, -566 = 5*y + 5*h - 3001. Is -4*(-3)/12 + y a composite number?
False
Suppose 26991 = 6*f + 645. Is f a prime number?
True
Let c = 0 - -4. Suppose -24 = -4*r + c*f, r - 3 = -0*f - 2*f. Suppose 2*a + 8 = d - r, 41 = d + 5*a. Is d composite?
True
Let f(i) = -6*i + 2. Let k be f(-3). Suppose 0 = -5*d - k, -5*j + 5*d + 109 = -4*j. Is j composite?
False
Is 794/10 + (-2)/5 a prime number?
True
Let l be 251/4*(-8)/(-2). Suppose 0*z + z - l = 0. Is z composite?
False
Let o(l) = 14*l**2 + 10*l + 7. Let q be o(-7). Suppose -5*s - 2*m + 698 + q = 0, s + 4*m = 275. Is s a composite number?
False
Let j = -133 - -264. Is j prime?
True
Let s(g) = g**3 - 3*g**2 + g + 1. Let l be s(3). Let o = l - 2. Suppose -o*n - 8 = -82. Is n prime?
True
Suppose 2*d + 498 = -h, -3*d - 2*h + 0*h - 748 = 0. Let o = 433 + d. Is o a prime number?
False
Suppose -3*u - 2*u + 195 = -f, 0 = 3*u + 5*f - 89. Suppose -a + u = a. Is a a composite number?
False
Is -2 - (-58 + 3/3) a composite number?
True
Is ((-79)/(-2))/((-10)/(-20)) a prime number?
True
Let c = 6 + -4. Let j = c + 0. Suppose 2*v - 7 = -v - 2*g, -j*v + 9 = -3*g. Is v a prime number?
True
Is (1267/(-4))/((-14)/(-8) - 2) prime?
False
Let j = 209 + -124. Is j composite?
True
Suppose -2*j = -6812 - 2886. Is j prime?
False
Let g(w) = 4*w**3 + 4*w**2 - 4*w + 3. Let j be g(4). Suppose -j = -4*o + 77. Let i = 245 - o. Is i a composite number?
False
Suppose -2*b - 3*l + 15 = 0, -4 = -4*b - 5*l + 21. Suppose b = -3*o + o. Suppose m + o*m = 26. Is m a prime number?
False
Suppose -165 = -4*i + 179. Let r be -1 + -1*-27*3. Suppose 2*z = r + i. Is z composite?
False
Suppose 0*h + l = -3*h - 31, -2*l - 42 = 4*h. Suppose 4*o = 5*p - 203, -5*p + 250 = 5*o - 10*o. Let t = h - o. Is t a prime number?
True
Let i = -227 - -450. Is i a composite number?
False
Let o(s) = -s**3 + 13*s - 4. Let l be o(9). Is l/32*4*-1 a composite number?
True
Let b(m) = m**2 + 6*m. Let g be b(-6). Suppose 3*j + j = g. Let u(f) = f + 119. Is u(j) a prime number?
False
Is (334*4/(-24))/((-1)/3) composite?
False
Let x be (-2)/8 - (-190)/(-8). Suppose -i + 252 = 3*i. Let d = i - x. Is d a prime number?
False
Let f(h) = -697*h**2 + 1. Let z be f(-1). Is 2/(-6) + z/(-9) a prime number?
False
Let j(z) = z - 4. Let m be j(6). Suppose -9 = -5*v + m*v. Suppose 4*s - 1 = -l, -3*l - v*s = 2*l - 56. Is l prime?
True
Suppose 3*u = 4*n - 8, -n - n + 22 = 3*u. Let h be u/16 - (-2)/(-8). Suppose -4*o + h*o + 16 = 0, 0 = -i + 5*o + 47. Is i composite?
False
Suppose 4*q - 3*x - 26 = 0, -2*q + 8*x = 3*x - 20. Suppose -269 = -4*k + w, 2*w - 330 = -q*k - 3*w. Is k composite?
False
Let q be 3 + -3 + (2 - -1). Let i be 1/(q/(-6)) + 177. Suppose 0 = 5*k - 0*k - i. Is k prime?
False
Suppose 0 = -2*y + 5*y - 6. Suppose 0 = y*z - z - 191. Is z composite?
False
Let f be (2 + (-15)/6)*-1542. Suppose 3*l + 138 - f = 0. Is l a composite number?
False
Is (1912 - 3) +