se -q = 0, 3*q = -2*t + 6*q + n. Is t composite?
False
Let n be 8 - (2 + 0) - 2. Suppose 7*z - 447 = n*z. Is z prime?
True
Is (1*(-95 + -2))/(10/(-10)) a composite number?
False
Let q(c) = -c + 26. Let h be q(0). Let t = h - -53. Is t prime?
True
Suppose a - 25 = 2*y, 0 = -3*a - y + 44 + 3. Suppose 16*g + 127 = a*g. Is g a prime number?
True
Suppose 2*z - 23 = -z + a, 5*a = z - 17. Suppose 5*n + 2*t = -0*n + 4, -z = -2*n + t. Suppose n*u - 68 = 6. Is u a prime number?
True
Let u = -14 - -9. Let c = 7 + u. Let n(f) = 4*f**2 + 2*f - 1. Is n(c) prime?
True
Is (2 + 2)*(3 - (-115)/4) prime?
True
Suppose 0 = -4*m + 2*m + 40. Suppose i - m = 26. Suppose 0 = -v + 5*n + i, 3*v = 3*n - 1 + 91. Is v composite?
True
Let z(d) be the third derivative of d**5/60 + 7*d**4/24 + 5*d**3/2 + 6*d**2. Is z(-7) a composite number?
True
Suppose -2*g + 1126 = -360. Is g a prime number?
True
Let g(d) = d**3 + 10*d**2 - 12*d - 5. Is g(-11) a composite number?
True
Let c = 1 + -2. Let l = 2 - c. Suppose -l*k - 90 = -5*k - 5*r, 183 = 5*k + 2*r. Is k a composite number?
True
Suppose 18092 + 33443 = 11*t. Is t a prime number?
False
Let x(r) = -78*r + 1. Is x(-6) prime?
False
Let u(h) = -230*h. Let y be u(-1). Let b = y - 114. Is ((-3)/(-3) - b)/(-1) prime?
False
Let f be 23/(10/(-4) + 3). Suppose 0 = -s + f. Is s prime?
False
Let a(q) = 31*q. Let h be a(1). Let c = h + -10. Is c + 0 + (-2)/(-2) prime?
False
Let r be (-1 + 4/16)*80. Let d = r - -181. Is d prime?
False
Suppose 3*s - 2*g = 1502, -3*s - 3*g + 1504 = -4*g. Suppose -6*x = -8*x + s. Is x prime?
True
Let n = -22 + 55. Is n composite?
True
Suppose 0 = 5*r, -r = n + r - 3. Suppose -2*s - n*f = s - 507, -3*s + 487 = -2*f. Suppose -x = -s + 2. Is x a prime number?
True
Suppose -334 = 9*d - 5149. Is d prime?
False
Suppose w - 3*y + 96 = 4*w, -57 = -2*w + 5*y. Is w prime?
True
Let l = 26 - 26. Suppose l*g - 674 = -2*g. Is g prime?
True
Suppose -5*h = 2*a - 12 - 18, 2*a - 3*h = 46. Let s be (-2)/(-6) - a/(-12). Is (-4)/s + (35 - 2) composite?
False
Let v(m) = -5*m**2 - 9*m - 1. Let z(w) = -6*w**2 - 9*w. Let d(c) = 7*v(c) - 6*z(c). Is d(-6) a composite number?
False
Let l(f) = -10*f**2 - 7*f - 6. Let m(c) = 10*c**2 + 6*c + 5. Let y(w) = -5*l(w) - 6*m(w). Let h be y(-2). Let k = h + 109. Is k a composite number?
False
Suppose 2 - 1 = r, -17 = -m + 5*r. Is 12/8*m/3 a composite number?
False
Suppose -15 = 2*l - p + 6*p, 4*l - 15 = 5*p. Suppose d = -l*d + 196. Suppose d - 18 = 2*x. Is x a composite number?
False
Let o = 23 + -15. Let z(w) = -w**3 + 10*w**2 + 3*w + 9. Is z(o) prime?
False
Suppose 84 + 27 = 3*f. Let b be f - (9/3 + -2). Suppose -4*d + 2 = p - 24, -p + b = -d. Is p prime?
False
Suppose -2*i - 2*v = -2, 0 = v + 4*v - 15. Is ((-7)/i)/((-2)/(-8)) a composite number?
True
Let o(a) = 4*a**2 + 26*a + 37. Is o(-23) prime?
False
Let j = -7 - -11. Suppose 4*m - n = 16, 6 = 2*m - j*n - 2. Suppose m*w = -0*w + 92. Is w prime?
True
Suppose -3*v - 5 = q - 0, 4*q = -2*v. Let s = v - -6. Suppose s*d - 13 = 3*d. Is d a composite number?
False
Suppose 2333 = 3*h - 328. Is h composite?
False
Suppose 118 = u + 3. Is u composite?
True
Let s(p) = -p**2 - p + 58. Suppose -u - 2 = 2*d, d + 4*u = -2*d - 8. Is s(d) a composite number?
True
Let q = 0 + 0. Let g(y) be the third derivative of y**4/24 + 11*y**3/6 - 2*y**2. Is g(q) composite?
False
Let c(o) = -3*o. Let y be c(-1). Suppose 0 = -4*j + 16, -b - 7*j = -y*j - 71. Is b a composite number?
True
Let u(k) = 496*k - 15. Is u(7) a composite number?
False
Let l(r) = -88*r**3 + 2*r**2 + 1. Is l(-2) a composite number?
True
Let q(r) = 36*r**2 + 2*r + 1. Let y(t) = t**3 + 3*t**2 + t + 2. Let w = -5 - -2. Let c be y(w). Is q(c) a composite number?
True
Let z = -3 - -5. Let o(x) = x**3 - x + 35 + x**z - 2*x**3 + 0*x. Is o(0) a composite number?
True
Suppose -4*x + 4 = 4*l, 0 = 4*x + 3*l + 2*l - 1. Suppose 130 = x*z + 2*a, 39 = 5*z - 4*a - 143. Is z composite?
True
Suppose -3*c = -4*a + 1 + 10, -c - 3*a - 8 = 0. Let f be 3/(-15)*1*c. Let b(d) = 50*d - 1. Is b(f) composite?
True
Let v be (-2)/6 - (-10)/3. Suppose 0 = -4*w - l - 8 - 7, -4*w + 5*l = -v. Is ((-1)/w)/(3/99) composite?
False
Suppose 0 = -o + 2*l + 1579, -2*o + 1203 = l - 1950. Is o a composite number?
True
Suppose l + 0*u = 2*u - 7, -5*l - u - 24 = 0. Let b(p) = -4*p. Let x be b(-5). Is (-221)/(-4) + l/x a prime number?
False
Suppose -5*a + 6*a = 2. Let b be 14/(-4)*a*-1. Let c = b - -30. Is c composite?
False
Let g(d) = -14*d - 10. Let j(f) be the third derivative of 7*f**4/12 + 3*f**3/2 + 3*f**2. Let b(z) = -4*g(z) - 5*j(z). Is b(-6) a prime number?
True
Suppose -i - 4*i = -540. Let y = 12 - i. Let o = y + 215. Is o prime?
False
Is (-276)/18*(-6)/4 composite?
False
Let q(j) = 9 - 2 - 2*j - 4*j. Is q(-7) prime?
False
Suppose 50 = 4*o - 90. Is o prime?
False
Let n(h) = 4*h - 2. Let k(o) = -2*o + 1. Let z(g) = 5*k(g) + 3*n(g). Let t be z(1). Is 106/8*t*4 composite?
False
Suppose 4*y = 122 + 26. Is y a prime number?
True
Suppose -2*a + 2 = -44. Suppose i + 2 = a. Is i prime?
False
Let q = -737 + 1368. Is q a prime number?
True
Suppose -3*y + 35 = 4*c, -5*y + 0*c = -2*c - 15. Suppose -2*m = 5*g - 10, -4*g + m = g - 10. Suppose g*b + 147 = y*b. Is b composite?
True
Let a = 246 + -131. Is a prime?
False
Suppose 0*f = -3*f + w + 7482, -12487 = -5*f - 4*w. Is f composite?
True
Let m be (-2)/(-5) + (-24)/10. Let i be 0/(m*(-2)/4). Suppose -33 = -c - i*c. Is c composite?
True
Suppose 0 = 5*m + 25 + 45. Is 5/(-2)*m/1 prime?
False
Let z(q) be the first derivative of 19*q**2/2 - 6*q + 3. Let l(p) = -39*p + 11. Let u(r) = -4*l(r) - 7*z(r). Is u(3) prime?
True
Let y = -5 - -6. Let w(v) = y - 5 + 2 + 13*v. Is w(3) prime?
True
Suppose -5*h + 1089 = -386. Is h a composite number?
True
Is (-6)/33 + (-3753)/(-11) a composite number?
True
Suppose -3*y - 3*l + 146 = 2*y, -l - 127 = -4*y. Is y a prime number?
True
Suppose 5*l + a = -3*a + 431, 5*l - 3*a = 403. Is l a composite number?
False
Let h = 13 + -9. Suppose 0 = -0*j - h*j. Is (-26)/(j + 2)*-2 a prime number?
False
Suppose 2*v - v = 2*h - 105, 4*h + 105 = -v. Let i = -56 - v. Is i a prime number?
False
Let f(z) = z**3 - 10*z**2 - z + 13. Let m be f(10). Suppose 2*d - m*d = -v + 35, v = 2*d + 34. Let b = 115 - v. Is b prime?
True
Let c(g) be the third derivative of 0 - 1/10*g**5 + 1/120*g**6 - 1/3*g**4 + 0*g + 5/6*g**3 + 2*g**2. Is c(8) composite?
True
Let r be (28/(-6))/((-2)/(-6)). Let y be (-6)/21 - 284/r. Suppose -z = z - y. Is z a prime number?
False
Suppose 6*a - a - 15 = 0. Let c(f) = -f**2 + 2*f + 3. Let k be c(a). Suppose 0 = -2*l - k*l + 106. Is l a prime number?
True
Suppose 0 = -16*s + 19*s - 537. Is s composite?
False
Let x(q) = q**3 - 5*q**2 + 6*q + 9. Let u be 80/(-25)*(-15)/6. Is x(u) prime?
False
Suppose -z + 96 = k, -4*k = 4*z - 9*z - 339. Is k a prime number?
False
Let m(k) = -2*k**2 + 6 - 4 + k**2 - k + 0. Let y be m(2). Let x(b) = 4*b**2 + 5*b + 5. Is x(y) prime?
False
Let t be ((-21)/(-35))/(2/(-10)). Let d = 3 + t. Suppose b - 20 - 137 = -4*s, d = -2*b - 5*s + 308. Is b a composite number?
False
Let g be 0 + (0 + 0)/(-1). Let n = 6 + -3. Suppose 2*m = -x + 125, g = -2*x - n*m - 37 + 291. Is x a prime number?
False
Let c = -447 + 764. Suppose 0 = -d + 5*m + 97 - 384, -d = 5*m + c. Let f = -111 - d. Is f composite?
False
Let h(s) = -20*s - 18. Is h(-8) composite?
True
Let q(p) = 460*p**2. Let r be q(1). Let s = r + -17. Is s a composite number?
False
Suppose 5*y = 3*y. Suppose -2*t - 8 = y, 3*j + 3*t - 465 = 186. Is j prime?
False
Let k(u) = -u**2 - 2*u + 2. Let j be k(-4). Is 112/5 + j/(-10) composite?
False
Suppose 6 = p - 2*i, 14 = 6*p - 2*p + 2*i. Suppose 0 = -p*v + 6*v - 78. Is v prime?
False
Suppose 4*z + 3*r = 3779, -4 = -2*r + 6. Is z a composite number?
False
Let u(j) be the second derivative of j**5/20 - 5*j**4/6 - j**2/2 - 2*j. Let k be u(10). Is 6*(21/(-6))/k a prime number?
False
Let a = 558 - 178. Let h = a - 51. Is h composite?
True
Is (186/9)/((-2)/(-3)) a prime number?
True
Let w be (1/(-1) - 0)*1. Let h = 2 + w. Is h + 2 + 1 + -1 prime?
True
Is (-5 - -225) + 6/2 prime?
True
Suppose 0 = t + c + 5, -4*c - 2 = 5*t + 18. Suppose t = j - 4. Suppose -2*z = 6, 4*y - 16 = -4*z - j. Is y composite?
True
Let v = -2591 + 3640. Is v composite?
False
Suppose 5*w - 1 =