+ 3, 0 = -n - 5*t + 171. Suppose -j + 83 = q, 3*q - n = 3*j + 103. Is q a prime number?
True
Suppose 0 = 7*h + 3*h - 12670. Is h a prime number?
False
Let b be (-6 - -6)/(1 - 2). Suppose b = 5*y - 867 - 1628. Is y prime?
True
Suppose -3*l + 9 = 3*f, -l = -4*f + 7 - 0. Let i(k) = 5*k. Let x be i(l). Suppose 212 = x*g - g. Is g prime?
True
Let l(z) = 693*z**3 - 2*z**2 + 3*z + 3. Let q(o) = 1387*o**3 - 4*o**2 + 6*o + 7. Let p(j) = 9*l(j) - 4*q(j). Is p(2) a prime number?
False
Suppose 0 = -2*x - 5*b + 67, 2*x + 4*b - 27 = 41. Is 696/x - -1*1/(-3) a composite number?
False
Let r = -25 - -15. Let q be 2/r - 436/20. Is 783/5 - q/55 a prime number?
True
Let d be 1/3 + 7/(-3). Let m(y) = -1. Let q(j) = 32*j - 7. Let z(i) = 4*m(i) - q(i). Is z(d) prime?
True
Let m be 4870/12 - (-3)/18. Let h = -41 + m. Suppose 0 = q - 3*f - 115, 3*q - 5*f - h = -f. Is q composite?
False
Suppose -5*u = -10, -4*u + 3981 = 2*a + 12459. Is a/(-6) + (-1)/6 prime?
False
Suppose 0 = 4*f + f - 8805. Is ((5*f)/3)/((-7)/(-7)) a composite number?
True
Suppose -4*z + 550 = -2*z. Let n = -1506 + z. Let w = n + 3030. Is w a prime number?
False
Suppose 0 = -3*y - 19216 + 60007. Is y prime?
True
Suppose 26*j = 12*j + 27622. Is j composite?
False
Let q(i) = -46*i - 22. Suppose 2*s - 62 = 4*w - s, -3*w + 4*s - 50 = 0. Is q(w) a composite number?
True
Let m = -2510 - -4303. Is m prime?
False
Let y = -13602 - -26749. Is y a composite number?
False
Is 32/(-144)*400122/(-4) composite?
False
Suppose 15 + 12 = 4*u + j, -3*u = 3*j - 18. Suppose 4*k - u*k = -3357. Suppose w = 0, 53 = 4*y + 3*w - k. Is y composite?
False
Let l(y) = 3*y**2 + 8*y + 4. Let g(u) = -13*u**2 - 32*u - 15. Suppose 0 = d + d - 4. Let s(r) = d*g(r) + 9*l(r). Is s(7) a prime number?
False
Suppose -a + 0*a + 15 = -l, 5*a + 5*l = 25. Let u = 15 - a. Suppose 748 = u*z - z. Is z a composite number?
True
Suppose 3*m - l = 3*l, -5*m = 2*l - 26. Suppose -4*i + 5*d - 172 = -5*i, -m*d = -2*i + 302. Is i a composite number?
False
Suppose -10 = -h + 5*o, 4*h - 5*o - 5 = 2*h. Let m(s) = 14*s**2 - 9*s + 2. Is m(h) a prime number?
True
Let f(t) = -3*t + 81. Let o be f(24). Let y(m) = 27*m + 8. Is y(o) prime?
True
Let o be (-65)/(-39)*6/2. Suppose -9*m = -o*m. Suppose -4*t + 40 = -m*t. Is t prime?
False
Suppose -6*x + 255155 = -348739. Is x a composite number?
False
Let b(q) = q**3 - q**2. Let o be b(1). Suppose 2*y = -o*y + 8. Suppose -y*j + 376 = 5*f, -5*j + 3*f + 255 = -2*j. Is j a composite number?
False
Let w be (-2)/(3*4/(-11916)). Let t = w - 1215. Is t composite?
True
Let b = -306 - -437. Suppose -k - b = -2*k - 5*w, 367 = 3*k + 2*w. Is k a prime number?
False
Suppose -423108 = -9*p + 8019. Is p prime?
True
Is 12808/66 + (-20)/330 a composite number?
True
Let d(o) = 203*o**2 - 16*o + 3. Is d(10) a composite number?
False
Suppose 0 = -k - 1, 5*j = 2*j - 2*k + 433. Let z = j - 20. Suppose 383 = 3*v + y, 2*v = 3*v - y - z. Is v prime?
True
Let k(g) = 626*g**2 + 8*g - 22. Is k(2) a prime number?
False
Suppose 4*v + 3*n - 1989 = 0, 5*v + 2*n - 3241 = -746. Let w be (-1)/(-2)*4008/6. Suppose -2*y = 5*p - 2*p - w, 0 = -3*y - 5*p + v. Is y composite?
False
Is (-2)/(-6) + -10 + (-1243272)/(-18) a prime number?
True
Is (-5)/6 - 288752/(-96) prime?
False
Let n(w) = 281*w + 59. Let a be n(11). Let j = a - 1999. Is j composite?
False
Let v(c) = -c**3 + 25*c**2 + 77*c + 47. Is v(-22) a composite number?
False
Suppose 2*d + 5*f = 17, 4*d - 14 = 5*d - 2*f. Is d/(-1) + 297 + -8 prime?
True
Is 22710/20*(2 + 4/(-3)) prime?
True
Suppose 520 = -4*z - 284. Let s be z/4*(-8 - 36). Suppose 5*b + p = s, -3*p - 262 = -b + 193. Is b a composite number?
False
Is (-13)/((-26)/23154) - -2 a prime number?
True
Suppose 28*m = 31*m + 78. Let c = -26 - m. Suppose -2*h + h + 1437 = 3*z, 4*h = c. Is z a prime number?
True
Let r(l) = 2 + 32*l**2 + 38*l**2 + 14*l - l**3 + 35*l**2 - 101*l**2. Is r(-11) prime?
True
Let s(u) = 77*u - 62. Let c(d) = 3*d**2 - 31*d + 22. Let z be c(10). Is s(z) prime?
False
Let a(p) = 1136*p + 19. Is a(9) prime?
True
Let i be (-6)/3 + 9 + -1. Let u be (-35)/(-21) - (-2)/i. Suppose -5*h + 0*p + 2*p + 809 = 0, p - 329 = -u*h. Is h composite?
False
Let q = 13 + -11. Suppose -6*b = -q*b - o - 13561, 0 = -3*b + o + 10172. Suppose 0 = 5*s + 5*a - 3410, -2*s - 3*s = -2*a - b. Is s composite?
True
Suppose -6*q + 6743 + 36955 = 0. Is q composite?
False
Let z = 163 - 272. Let k = 206 + z. Is k a composite number?
False
Let m(d) be the first derivative of -d**4/4 - 5*d**3 - 7*d**2 - 8*d - 4. Let f be m(-14). Is f + 8 - 2*-47 a prime number?
False
Let i = -11 - -11. Suppose -5*w - 5*g - 124 = -4*g, -w - 3*g - 22 = i. Is (-15)/w - (-167)/5 composite?
True
Suppose -505 = -5*z + 95. Is (-2)/(-15) + 104264/z + -6 a prime number?
True
Let r(o) = -1302*o + 52. Is r(-1) prime?
False
Suppose k = -0*k + 3*s + 1044, -5*s - 2092 = -2*k. Let q = 299 + k. Is q prime?
False
Let k be (15/9 - 2)*1137. Let m = 702 + k. Suppose m = 2*r + 101. Is r a prime number?
False
Let z = -711 + 3488. Is z prime?
True
Let u = -11 - -15. Suppose u*z + z - 1105 = 0. Is z composite?
True
Suppose 2*n = n + 3*j + 484, 3*n - 4*j = 1447. Is n composite?
True
Suppose 3*c + 21 = 7*c - 3*l, 0 = 4*c - 4*l - 20. Suppose 0 = -4*u + 4*p - c + 46, -5*p - 1 = 2*u. Suppose -62 - u = -3*k. Is k prime?
True
Let n = 1179 + -62. Is n a prime number?
True
Let p be (-60)/1*2/(-4). Let m = -50 + p. Is -586*(m/(-8))/(-5) composite?
False
Suppose 156 = 5*o - 24. Suppose -o = -5*r - 1. Is (-3)/r - (-6204)/21 prime?
False
Let d(m) = m**2 - 4*m + 4783. Is d(0) prime?
True
Let o(q) = -2*q**3 + 9*q**2 - 4*q + 3. Let p be o(-8). Let z = p - 980. Is z prime?
False
Let f(g) = 187*g**2 + 7*g + 21. Is f(-5) a composite number?
True
Let b = -41474 + 79909. Is b a prime number?
False
Let n = -55 - -224. Is n prime?
False
Suppose 3*f + 4*z = z + 3450, 1155 = f - 4*z. Is f prime?
True
Suppose -3*p = -187674 + 23619. Is p prime?
False
Suppose -38453 = -2*b + 3*i, 3*b = 2*b - 4*i + 19243. Is b composite?
False
Suppose t + 3*v - 6*v = 559, 4*t + 5*v - 2304 = 0. Is t prime?
True
Suppose 107*w - 92*w - 105495 = 0. Is w composite?
True
Is (-728661)/15*25*(-11)/55 a prime number?
True
Suppose -5*w + 5097 = q - 3*w, q - 5092 = -w. Is q composite?
False
Suppose d + 0*d = 2. Suppose 0*t - 1720 = 5*t - 5*h, d*t + h = -697. Let n = t - -538. Is n a composite number?
False
Suppose -49*r - 65398 = -879729. Is r prime?
True
Let g(j) = -616*j + 27. Is g(-4) a composite number?
True
Let i = 28122 + -16564. Is i a composite number?
True
Let t(j) = -8*j**3 - 56*j**2 - 57*j - 14. Is t(-15) a composite number?
False
Let a(y) = 2*y**2 + 337. Let s(i) = i**2 + 168. Let j(m) = -2*a(m) + 5*s(m). Let q be j(0). Let u = -99 + q. Is u a composite number?
False
Suppose -3*j - 1826 = 823. Let d = -257 - j. Is d a prime number?
False
Let n(d) = -d + 8. Let y be n(6). Suppose 823 = 4*h + i - 2680, 1744 = 2*h + y*i. Is h a composite number?
False
Suppose -5*x + 37 = 2*y - 4*x, 0 = -5*x + 5. Is (-6)/4*(-5316)/y composite?
False
Let r be 183/9 + 16/(-12). Suppose 22*c - r*c = 762. Is c a prime number?
False
Suppose 5*h = 2*h + 6. Suppose -2*v = -3*c - 1105, -h*v + 4*c = -v - 545. Is v composite?
False
Let p(l) = -2*l - 13. Let k be p(-5). Let t be -1 + -3 - 21/k. Suppose 2*m - 110 = -t*m. Is m prime?
False
Suppose 113945 = 4*i - 4499. Is i a composite number?
False
Suppose 11*k + 1266049 = 54*k. Is k a composite number?
False
Suppose -j + 4*r - 12 = 0, 5*r - r - 12 = 0. Suppose 3*t + 4147 = 3*m + m, j = -3*m + 4*t + 3105. Is m prime?
True
Suppose m + 2*m + 4*q = 36, -36 = -3*m - q. Is (20 + -21)*(-1 - m) composite?
False
Let b(x) = -2*x**2 + 7*x - 7. Let k be b(3). Is (-2165)/k + -4*5/80 a composite number?
False
Suppose -4*x - 12 = -8*x, 4*l - 17290 = -2*x. Is l composite?
True
Suppose 21 = -3*v + 5*l, 3*v + l = -0*l - 21. Let r(c) be the second derivative of -c**3/2 + c**2 + 36*c. Is r(v) a composite number?
False
Suppose 5*w + 10 = 30. Suppose -29 = -3*p + w*d, -22 = p + 6*d - d. Suppose 0 = p*a - 523 + 34. Is a a prime number?
True
Let c be (-2)/(-10) + 4 + 44/(-20). Suppose -4*b = c*i - 514, -14 = i - 2*b - 263. Is i composite?
True
Let t = 10670 + 22707. Is t a composite number?
False
Let f(p) = 1 + 16*p**2 + 5*p - p - 4*p. Is f(-4) prime?
Tru