200 = -4*t - v, -3*t + t + 3*v + 614 = d. Is t composite?
True
Let q = -5 - -6. Suppose q = -4*t - 11, -i = -4*t - 33. Is i a composite number?
True
Suppose 2*y - 1 - 1041 = 0. Is y a prime number?
True
Suppose -3*a + 4 + 0 = -2*z, -4*z = -a + 8. Suppose 3*k + 5*o - 143 = a, -3*o + 2 = 8. Is k a composite number?
True
Suppose 0 = -2*c + 2*p - 28242, -2*p + 28245 = -2*c + p. Is c/(-4) + -1 - 45/30 prime?
True
Let k = -537 + 442. Let v = 29 - 65. Let q = v - k. Is q composite?
False
Is (-308166)/(-4)*46/69 composite?
False
Let g be 2/((-550)/(-137) + -4). Suppose 3*w + 4 = -s + 146, -2*w = s - g. Is s a composite number?
False
Let d = 992 + -1905. Let w(l) = 413*l + 4. Let t be w(4). Let p = t + d. Is p a prime number?
True
Let s be 6/(-4)*(4 + -6). Suppose -s*u + 6*u = -114. Is (u/(-6))/((-4)/(-12)) prime?
True
Suppose 3135 = -11*a + 7678. Is a a prime number?
False
Let l(s) = s**3 + 10*s**2 + 8*s - 7. Let d be l(-9). Suppose -3*u + 926 = -2*u - z, -d*z - 2 = 0. Let h = u - 636. Is h composite?
True
Suppose 73 = 3*n + 22. Suppose 2*t = -3*g + n, 3*t - 2*g + 10 = 3. Is (3 - 1) + 44 + t prime?
True
Let b be (-5)/15*(-3 - 0). Let v(r) = 786*r**2 + 1. Is v(b) a prime number?
True
Let h(m) = m**2 + 2*m - 7. Let s be h(-5). Let d be 1/(-1) - (6 - s). Is (d + 0)/(6/402) a prime number?
True
Let a = -8762 + 77645. Is a composite?
True
Let k be (0 - 3)/(-3)*-1*-10. Is (-5)/k*-2*2487 composite?
True
Suppose 2*o + 3*w + w + 8 = 0, -o - 3*w - 5 = 0. Let c(q) = 11*q + 4. Let s(t) = 23*t + 9. Let a(i) = -7*c(i) + 3*s(i). Is a(o) composite?
True
Let d = 3618 + -1399. Is d a prime number?
False
Let m(z) be the third derivative of z**6/72 - 11*z**5/120 + z**4/12 - 6*z**2. Let d(t) be the second derivative of m(t). Is d(13) a composite number?
True
Is 3786/4*(-500)/(-150) prime?
False
Let b(k) = 34*k**2 - 2*k + 7. Is b(-3) prime?
False
Let b(y) = 68*y**2 + 1. Let l be 0 - -3 - (-18)/(-2). Let p(t) = -t - 5. Let u be p(l). Is b(u) prime?
False
Suppose o = -0*o - 2*a + 257, 0 = o + 5*a - 269. Let t = 176 - 298. Let d = o + t. Is d a prime number?
True
Let q(k) = -2*k + 17. Let o be q(7). Suppose -2*v - o*v - 40 = 0. Is 2*(-4)/v + 37 a prime number?
False
Let i(m) = 95 - 525*m - 52 - 56. Is i(-2) composite?
True
Let i(u) = -u**3 - 4*u**2 - 5*u - 4. Let y be i(-4). Suppose -3*w + y = -4*o - 386, o = -3. Suppose a - 2*a = h - 67, -2*a - 4*h = -w. Is a a prime number?
False
Let x = 17 + -14. Suppose 0 = 2*b + 1 + x. Is 1/1*(305 - b) prime?
True
Let c be (28/8)/(-7)*-2. Is -290*c/4*-2 composite?
True
Let g = -227 + 5080. Is g a prime number?
False
Let v(c) = -174*c**3 - 2*c**2 + 3*c. Let o be v(3). Let p = -3004 - o. Is p prime?
False
Suppose -g - 3 = -2*f, -3*g + 2*g - 3 = -5*f. Suppose -4*z + 1520 = -4*d, -2*z + f*d - 4*d = -748. Suppose -3*i + z = -3*v, -3*i + 509 = i + v. Is i prime?
True
Let o(n) be the third derivative of -25*n**4/24 - n**3/2 - 5*n**2. Is o(-2) a composite number?
False
Suppose 38*s = 41*s - 11721. Is s prime?
True
Suppose 0 = -4*n + 2*w + 3228, -4*n = 4*w - 2 - 3250. Is n prime?
True
Let d = 678 - 1331. Let k = d + 1142. Suppose -a = 2*a - k. Is a a composite number?
False
Let m(k) = 39*k**3 - 2*k**2 + k + 1. Let g(z) = -z**2 + 7*z + 2. Suppose 20 = -5*o + 5, 4*a = 5*o + 43. Let w be g(a). Is m(w) a prime number?
True
Let l(r) = -r**3 + 9*r**2 - 9*r - 8. Let c be l(8). Let z = c - -74. Is z composite?
True
Suppose -s = 0, 6*s + 508 = -p + 2*s. Suppose 3*x + 733 = c - x, 5*x = 5*c - 3620. Let f = p + c. Is f a composite number?
True
Let u = 18 - 2. Suppose -u = -5*x + 3*x. Suppose x*h = 123 + 29. Is h a composite number?
False
Is ((-42)/(-18))/(-1 - (-24640)/24636) a composite number?
True
Let d = 30 - 17. Suppose -d*g + 8*g = -1255. Is g a composite number?
False
Let n(t) = 390*t**2 - 2*t - 1. Suppose -6 = 3*i - 0. Is n(i) composite?
True
Is (-3)/(24/3716)*(-2 - 8) prime?
False
Suppose 4*k - 4*y + 3596 = 0, 2*k - y = -0*y - 1801. Let o = k + 1789. Is o prime?
True
Let t = 363 - 45. Suppose -2*f = -t - 320. Is f composite?
True
Let p(x) = 909*x**2 + 2*x + 1. Is p(2) a composite number?
True
Let f = 14 - -189. Is f prime?
False
Is (-4 - -79*402)*(-5)/(-10) composite?
False
Let c(s) = 1072*s**2 - 2*s. Let f be c(-1). Suppose -2*y - 4*y + f = 0. Is y a composite number?
False
Let h(k) = -2211*k - 1. Is h(-2) a prime number?
True
Suppose 6*k = 10*k - 8. Suppose -4 = -q, 46 - 20 = -k*w + 5*q. Is (-2970)/(-25) + w/(-15) a prime number?
False
Suppose -4*w - 2*h = -h + 10, 0 = -4*w + h - 14. Is (140 - 7) + w + 1 a prime number?
True
Let d be 417/(5 - 471/96). Suppose 5*l = -3*u + d, 5*u = -l + 3954 + 3452. Is u composite?
False
Suppose 0 = -4*n - 3*p - 20, -3*n - 2*p = -n + 12. Is n/(-3) + 19688/24 composite?
False
Let n(f) = -42*f - 3. Let o be n(-7). Let h(l) = 2*l**2 + 11*l + 8. Let i be h(-5). Suppose -i*s = -6*s + o. Is s a prime number?
True
Let a(b) = -3 - 73*b - 36*b + 2. Let m be a(-2). Suppose 0 = 3*r + y + 4*y - m, 3*r = -2*y + 229. Is r prime?
True
Suppose 0 = -76*o + 5409921 - 1613189. Is o a prime number?
True
Suppose -2039 = -w - 2*c, -2*w - w + 6109 = 2*c. Suppose -6125 = -3*f + 4*j, -f + 8*j = 10*j - w. Is f composite?
False
Let n(f) = -f - 14. Let u be n(-17). Suppose 4*i - 2621 = -2*b - u*b, -5*i + 541 = b. Is b composite?
False
Let q = -31 + 33. Suppose 3*u - q*a - 2*a - 1473 = 0, -4*a = -2*u + 986. Is u prime?
True
Suppose -18 = -5*c + 2*a, 5*c + 3*a + 4 - 27 = 0. Suppose -d - 5*i = -2049, -c*i + 8 = -0*i. Is d a composite number?
False
Suppose -3*v = -6*v - 5*o + 200748, 5*o + 267629 = 4*v. Is v prime?
False
Let d(z) = z**2 - 9*z - 41. Let p be d(12). Let w(n) = -20*n**3 - 3*n**2 + 7*n - 1. Is w(p) a composite number?
False
Let k(i) = -3*i**2 - 6. Let w be k(7). Let l = w + 1792. Is l composite?
True
Let q = 3386 + -1460. Let i be (-2)/8 + q/24. Suppose -3*w - 4*u - 13 = -i, -3*w + 62 = -u. Is w composite?
True
Suppose h - 4*i = 16, -2*h + 0*i + i + 4 = 0. Suppose h = -q + 796 + 171. Is q a composite number?
False
Let h(m) be the first derivative of m**2 - 7*m + 11. Is h(21) composite?
True
Suppose 0 = 4*s - 15*b + 13*b - 33062, 2*s - 3*b = 16525. Is s prime?
False
Let j(m) = 139*m - 3. Let z = 13 - 22. Let b = z + 13. Is j(b) prime?
False
Let r(g) = -36*g + 15. Let c(x) = -181*x + 76. Let j(y) = -2*c(y) + 11*r(y). Is j(-5) a prime number?
False
Let f(v) be the second derivative of v**7/2520 + 7*v**6/720 - 7*v**5/120 - v**4/3 + 6*v. Let y(p) be the third derivative of f(p). Is y(-9) a prime number?
True
Let c(q) = q - 5. Let n be c(7). Suppose -s + 1 = -n*s, 0 = 5*i - 5*s - 4050. Is i a prime number?
True
Let z be 1692/2 + 6 + -5. Suppose -5*o = -z - 618. Is o composite?
False
Suppose -3*q = -3*l + 129, -4*q + 0*l - 3*l = 186. Let p = q + -27. Let b = 515 + p. Is b prime?
True
Is 6 - ((-1)/2)/((-4)/(-26344)) prime?
True
Let i(w) = -350*w + 9. Let m be i(-3). Suppose 1043 = 5*x + 2*n + n, n + m = 5*x. Is x a prime number?
True
Suppose 8*d - 257601 + 55097 = 0. Is d a prime number?
False
Let u(j) = j**3 + 36*j**2 - 113*j + 39. Is u(-34) prime?
False
Let j = 504 + -22. Let n = -92 - j. Is (n + 0)/((-18)/9) a composite number?
True
Let v be (2/3)/(34/255). Suppose -q = -v*q + 16. Suppose -q*u + u + 5*m + 167 = 0, m = 3*u - 151. Is u prime?
False
Let r(h) = 778 - 195 - 2*h + h**2 + h. Is r(0) a composite number?
True
Let g(x) = 114*x**2 + 26*x - 159. Is g(11) prime?
True
Let q(c) = 57*c**2 - 57*c + 13. Is q(12) a composite number?
False
Suppose -2*j + 1250 = 3*j. Suppose 8*z - 3*z = j. Suppose -3*o + 28 = -z. Is o a prime number?
False
Let q(p) be the third derivative of -p**4/12 - 5*p**3/6 + 4*p**2. Let s be q(-4). Is s - 0/(-1) - -6 composite?
True
Let r(s) = 21*s**2 - 3*s + 7. Let v be r(2). Suppose -2*y = h - v, -2*y = y - 9. Is h a composite number?
False
Let s(u) = 2358*u - 101. Is s(3) a composite number?
True
Let x(s) = 8*s**2 + 3*s + 5. Let w = -19 - -21. Suppose -3*j = -w*j - 8. Is x(j) a prime number?
True
Let f = -13262 - -19696. Is f a prime number?
False
Let s = 6080 - 4027. Is s composite?
False
Let d = 142 - 44. Is (-7570)/(-14) + 28/d a composite number?
False
Let i = 7134 + 3738. Let f = -7079 + i. Is f composite?
False
Let o be (-27771)/(-2) - (5 + (-55)/10). Suppose m = 2*p - 5555, -6*p + p + o = -m. Is p a compo