e number?
False
Let c = 612 - -43. Is c a prime number?
False
Is 354/(-3)*(-28)/8 a composite number?
True
Suppose -2*n + 8 = 2. Suppose -n*x + 81 = 3*h, h + 5*x = 2*h - 51. Is h a prime number?
True
Let l(u) = -u**2 - 6. Let j be l(7). Let r = 134 + j. Is r a prime number?
True
Let v be 11/4 - (-5)/20. Suppose v*k - 185 = -2*k. Is k composite?
False
Suppose 0 = -5*d + n + 6 - 0, 0 = -3*d - n + 10. Is -34*(d - (-30)/(-4)) composite?
True
Let r(t) = 37*t - 15. Let o(y) = y + 4. Let f be o(6). Is r(f) prime?
False
Let u be -1*((3 - 3) + 0). Suppose u = -0*t + t. Suppose -4*l - 78 = -2*o, 2*o - 2*l - 81 + 11 = t. Is o composite?
False
Suppose c + 40 = -4*m + 107, 0 = m - 2. Is c composite?
False
Suppose 5 = -4*y - 95. Let h = y - -48. Is h a composite number?
False
Let l = -395 + -1551. Let u = l + 3382. Is (-3)/4 + u/16 a prime number?
True
Suppose c - 4 = -0*c. Let m(j) = 5*j**2 - 6*j + 3. Is m(c) prime?
True
Suppose 5*u - 33 = 3*k, 5*u + 0*k = 2*k + 32. Is (-2)/3 + 1558/u a composite number?
True
Let k = -52 + 138. Is k prime?
False
Suppose 5*t - 376 = t. Is t a prime number?
False
Let j = -17 - -18. Is j*((3 - -31) + 1) a composite number?
True
Suppose j + 160 - 30 = 0. Is (11/(-2))/(13/j) a prime number?
False
Let i(k) = 19*k**2 - 1 - 7*k**2 + 3*k**2. Is i(2) a composite number?
False
Let k = -22 + -72. Let v = -25 - k. Is v composite?
True
Let m(a) = 129*a**3 + a**2 - a. Let n be m(2). Suppose -5*w + n = 309. Is w a prime number?
False
Let n = -12 + 36. Let p(o) = 2*o**3 - 6*o**2 - 3*o + 2. Let j be p(5). Is (n/18)/(2/j) composite?
True
Suppose 5*i + 10 = 5*g, 2*i + g = -3*i + 2. Let m = i - -141. Is m prime?
False
Let q(b) = 7*b**2 - 9*b - 27. Is q(-11) a prime number?
True
Let y = 94 + -47. Let h be 57/21 + 4/14. Suppose n + 5*i = 17 + y, 3*i = -h*n + 156. Is n a composite number?
True
Suppose -2*i + 150 = 4*t, 2*i - 3*t = -i + 198. Is i a composite number?
True
Let g(s) = s**3 + 2*s**2 - 4*s - 3. Let t be g(-3). Suppose 3*y + 5*f - 241 = t, -f = y + 35 - 118. Is y a prime number?
False
Suppose x = -x + 662. Is x prime?
True
Let h(a) = -53*a**3 - 21*a - 3. Let c be 2 + -3 + 2/(-2). Let z(v) = 13*v**3 + 5*v + 1. Let s(y) = c*h(y) - 9*z(y). Is s(-2) prime?
False
Let b = 12 + -8. Suppose -10 = 4*v + v, -b*n - 5*v + 994 = 0. Is n a composite number?
False
Suppose 0 = -l - k + 2, 0 = -l + 4*k + 2. Let c be (-5)/(-2) - l/(-4). Is c*-3*(-66)/27 composite?
True
Suppose 19*s - 20724 = 7*s. Is s a composite number?
True
Let v be (18/(-8))/(6/16). Let u = v - -8. Suppose -3 = -5*z - 3*m + 32, -u*z = -5*m - 14. Is z prime?
True
Suppose -4*v + 822 = -2*v - 4*o, -o = -2*v + 807. Is v a composite number?
False
Suppose l + 3*l - 636 = 0. Suppose -2*k = k - l. Is k a composite number?
False
Suppose 0 = -5*j - 3*a + 2016, -4*j - 5*a = -2*j - 814. Let z(k) = 22*k**2 + 3*k + 5. Let g be z(6). Let d = g - j. Is d prime?
False
Suppose 3*m - 31 = 29. Suppose 0 = 2*u - 6*u + 140. Let n = u - m. Is n a composite number?
True
Let m = -49 + -20. Let t = 154 + m. Is t a prime number?
False
Suppose 0 = r + 5*g - 253, 7*r - 3*g = 5*r + 506. Is r a prime number?
False
Let q(u) = 1039*u**2 + u - 5. Is q(2) composite?
False
Let j = 1 + -2. Let a(q) = -144*q**3 - q**2 + q + 1. Is a(j) a prime number?
False
Let p = -4 + 78. Is p prime?
False
Suppose -29 - 147 = -2*i. Suppose 3*f + i = -2*f + y, -f - 12 = -3*y. Let t = f + 25. Is t composite?
False
Let h be ((-15)/6)/(3/(-6)). Suppose 2*n + 83 = a, 0*n - 10 = h*n. Is a a prime number?
True
Let c(g) be the second derivative of -g**6/144 - 13*g**5/120 + g**4/12 - 2*g. Let v(z) be the third derivative of c(z). Is v(-10) prime?
True
Let l(q) = -28*q + 5. Is l(-3) composite?
False
Let h = -97 + 251. Let b = h + -107. Is b prime?
True
Suppose -57 = -0*p - 3*p. Is p prime?
True
Let f(m) = 10*m**2 + 2*m + 9. Is f(-4) a composite number?
True
Let t(l) = l**3 + l - 1. Let n be t(3). Suppose -n + 6 = -c. Is c prime?
True
Let q(x) = -x + 6. Let r be q(6). Suppose -5*d + 395 = -y - 4*y, -3*d + 2*y + 235 = r. Suppose -4*n + 234 = 5*p + d, 4*n = 2*p + 122. Is n composite?
True
Let m be 9/4 + 6/(-24). Let b be 216/(-28) - m/7. Is b/(-10)*(-140)/(-8) a prime number?
False
Suppose 2*z + 4*z - 9174 = 0. Is z a prime number?
False
Let t = 18 - -103. Let u = 34 + t. Suppose 3*p = 8*p - u. Is p prime?
True
Suppose -4*l - 6 = -4*r - 2*l, -5*r + 35 = 3*l. Suppose 5*u = r*u + 7. Is u composite?
False
Suppose 3*c = -62 + 299. Suppose 5*u + 4*x = -0*u + 453, u - 5*x - c = 0. Is u a composite number?
False
Let f(t) be the third derivative of -t**8/6720 + t**7/1260 + t**6/120 - t**4/6 + 3*t**2. Let k(u) be the second derivative of f(u). Is k(-5) composite?
True
Let c be (-18)/5*(-10)/3. Let f be (-43)/(-4)*(c + -4). Suppose h + f = 3*h. Is h composite?
False
Let v(y) = -34*y - 5. Let c(x) = 69*x + 10. Let i(j) = 4*c(j) + 7*v(j). Is i(4) composite?
False
Let w(l) = -l**2 - 5*l - 3. Let s be w(-3). Suppose -o + s = -0*o. Suppose -2*p + 4*a = o*p - 165, 4*a = -p + 33. Is p prime?
False
Suppose -4*c = -c + 105. Suppose -154 - 56 = -5*w. Let x = w - c. Is x composite?
True
Let z = 4125 + -1714. Is z composite?
False
Let u(a) = a**3 - 10*a**2 + 9*a. Let l be (3/(-6))/((-2)/36). Let g be u(l). Suppose g = -f + 5*n + 12, 0 = 3*f + 5*n - 16. Is f a composite number?
False
Suppose -4*d = 5*o - 121, 3*o - 26 = o + 4*d. Is o a prime number?
False
Let s be (4/6)/(4/(-6)). Suppose 7*m = 173 - 5. Is m + 1 + 2/s prime?
True
Let w(v) = v**2 - 6*v + 8. Let t be w(6). Suppose t + 0 = 2*q. Suppose -q*k - 356 = -4*l, -l - k - 4*k + 89 = 0. Is l composite?
False
Let d = 8 + -7. Is (d/((-3)/237))/(-1) prime?
True
Let z be (-56)/40 + 4/10. Let s be 46/3 + z/3. Is 417/5 - 6/s a prime number?
True
Let r(y) = -y**2 - 10 - 5*y + 0*y - 4*y. Let g be r(-7). Suppose -5*v - 4*l + 25 = -13, -g*v + 28 = 4*l. Is v a composite number?
True
Is 966/8 - 1/(-4) prime?
False
Let q = -406 + 1197. Is q a prime number?
False
Let c = 1263 + -252. Is c prime?
False
Let r be (-624)/6*1/(-2). Let b = r + -15. Is b composite?
False
Suppose -k + 6 = 2*k. Suppose -6*d = f - 3*d - 74, -k*d = -10. Is f composite?
False
Suppose 7 = y + 2. Suppose -k - y*w = -106, -w = 5*k - 2*w - 452. Is k a composite number?
True
Let x(b) = -b**3 + b**2 + b + 97. Let c = -6 + 8. Suppose -c*v = -v. Is x(v) composite?
False
Let o(r) = r - 1. Let g be o(5). Let y(b) = 25*b**2 + b + 5. Let z be y(g). Let c = z + -290. Is c a composite number?
True
Let g(v) be the second derivative of v**5/10 - v**4/4 + 2*v**2 + 3*v. Let q be ((-2)/3)/((-2)/9). Is g(q) a composite number?
False
Suppose 0 = -5*j + 4*j + 97. Is j a prime number?
True
Suppose -2*i + 0*i + 624 = 0. Suppose 3*u - i = 3*w, 9*w + 84 = u + 4*w. Is u a composite number?
False
Suppose -3*g + 298 - 121 = 0. Is g a composite number?
False
Suppose -23 = k - 5*t, -2*t - 2 + 12 = 0. Suppose -k*h - 67 = -3*h. Is h prime?
True
Suppose 0*s + 3*s + 42 = 0. Let t(v) = v**3 + 16*v**2 + 9*v + 21. Is t(s) a composite number?
True
Is (3 - 8/2) + 35 prime?
False
Let v(w) = w**2 + 4*w + 2. Let m be v(-4). Let d = 17 + m. Is d a prime number?
True
Suppose 27 = 3*x - 2*x. Let s = x + -12. Is s composite?
True
Let o be ((-3)/2)/((-3)/(-16)). Is (-4)/o*154 + 2 prime?
True
Let p(g) = 3*g. Let c be p(1). Suppose -5*m - 465 = -10*m + 3*l, -c*l = 4*m - 372. Suppose -m = -a - 2*a. Is a a prime number?
True
Let v(r) = r**2 - 3*r - 2. Let p be v(4). Suppose -p*y - 53 = -3*y. Is y a composite number?
False
Let a(l) = -l**3 - 4*l**2 + 3*l - 7. Let y be a(-5). Suppose 0*p = y*p - 3*c - 51, -3*p - c + 59 = 0. Is p a composite number?
False
Suppose 6*n + 6327 = 5*s + 2*n, -s + n + 1265 = 0. Is s prime?
False
Suppose -6*p + 3*p - 5*s + 113 = 0, 4*s + 20 = 0. Is p a prime number?
False
Let a be (-3 - -6)/(3/2). Suppose -7*w + 919 = -2*w + a*b, 5*b = 3*w - 539. Is w a prime number?
False
Let t(d) = -3 + 14*d**2 - 1 - 7*d**2 - 2*d + 5. Is t(-6) a prime number?
False
Let q be -1*5/((-5)/(-18)). Let y(w) = -w**3 - 10*w**2 + 3*w + 1. Let h be y(-10). Let a = q - h. Is a prime?
True
Let t(a) = -a**3 - 4*a**2 + 3. Let o be t(-4). Suppose 3*x = -4*d + 1510, -5*x - 7 = o. Is d a composite number?
False
Let x = 46 + -22. Let s = -137 + x. Let g = -76 - s. Is g prime?
True
Let y(w) be the first derivative of