9 + -15. Is h(a) a composite number?
True
Let j(n) = n**3 - 5*n**2 + 4*n + 5. Let s be j(5). Suppose -a + 5*i = 16, i - 12 = -2*i. Suppose s + 35 = a*u. Is u composite?
True
Let r(a) = 2*a - 9. Let s be r(7). Is 63/s + (-14)/(-35) composite?
False
Let h be (28/5)/(2/135). Suppose h = 2*p + 4*o, 917 = 2*p + 3*p - 4*o. Is p composite?
True
Suppose -5*k - 13 = -6*k. Let q = 18 - k. Suppose 0 = 5*o + i - 5, 2*i + 12 = q*o - 8. Is o a prime number?
True
Suppose 3*s - 459 - 174 = 0. Is 0*(-2)/6 + s a composite number?
False
Let h be 1/(-1) - 4/(-2). Suppose -f = -3 - h. Suppose -f*w = -2*w - 130. Is w prime?
False
Let p be (-6333)/(-1 + (-3)/6). Suppose 281 + 1409 = 2*x - s, 5*x - p = s. Suppose -x = -5*h + 171. Is h a composite number?
True
Is -14*((-13)/2 - -1) composite?
True
Suppose -4*d = -5*b + 407, 2*b - 380 = -3*b - 5*d. Is b a composite number?
False
Let o be (-6)/(3 - 0) - 1. Let v be o/(-9) + (-61)/3. Is (v/12)/((-1)/9) a composite number?
True
Let v(r) = -r**3 - 2*r**2 + 3*r + 3. Let y be v(-2). Let j(b) = -b**2 + b + 1. Let f be j(-1). Is (f - y) + 51/1 a composite number?
False
Let u(s) = -s**3 - 6*s**2 + 3*s + 3. Is u(-7) a prime number?
True
Let s(z) = -390*z - 1. Is s(-1) a composite number?
False
Let t(k) = -k**3 + 4*k**2 + 2*k - 6. Let v be t(4). Suppose 5*d - 150 = 20. Suppose -3*o + 77 = 5*u - 2*o, 2*o = -v*u + d. Is u composite?
True
Is (-1688)/12*(-6)/4 a prime number?
True
Suppose -4*f + 1190 = 2*m, -2*m - 5*f - 268 + 1462 = 0. Is m a prime number?
True
Is 6/(-8) + (-9387)/(-84) composite?
True
Suppose d - 151 - 202 = 0. Is d a prime number?
True
Let i(d) = 43*d**2 + 1. Let l(o) = o**3 - 4*o**2 + 2*o + 4. Let y be l(3). Let n be i(y). Suppose 0 = p - 4*p - 2*a + n, 17 = p + 3*a. Is p prime?
False
Let t(g) be the third derivative of 7*g**4/12 - 3*g**3/2 + 7*g**2. Is t(7) a composite number?
False
Suppose 0 = 3*l - 619 + 64. Suppose -4*o - o + l = 0. Is o a prime number?
True
Let u = 473 - 222. Is u composite?
False
Let w(j) = 3*j - 3. Let z be w(1). Let o(d) = 102 - 4*d + 3*d - 17. Is o(z) composite?
True
Let s(z) = z**2 - 3*z - 3. Suppose -4*r + 0*r = -16. Let k be s(r). Let m = k - -10. Is m composite?
False
Let s = 694 + 3087. Is s a composite number?
True
Let u be (-6)/(0 + 1 + -3). Suppose -b - 1 + 56 = 4*k, 0 = 2*k + u*b - 15. Is k prime?
False
Suppose 0 = -2*r - 10, 4*p - r - 5790 = -p. Is p prime?
False
Let d(o) be the third derivative of -o**5/60 + o**4/24 + 113*o**3/6 + 2*o**2. Is d(0) a composite number?
False
Suppose n = -4*h + 24, -18 = -5*h + 2*h + 5*n. Is ((-12)/(-8))/(h/628) prime?
True
Let k = -5 - -3. Let u(n) = 18*n**3 + n**2 + 3*n - 1. Let q(j) = 91*j**3 + 4*j**2 + 16*j - 5. Let d(m) = 2*q(m) - 11*u(m). Is d(k) a prime number?
False
Suppose -4 = -2*f - 0. Suppose 9 = -3*d - 5*n, d + f*n = -3*n - 3. Is 37 + (d/(-3) - -1) a prime number?
False
Let l(b) = 36*b**2 + 5*b - 7. Is l(10) a prime number?
True
Is ((-996)/(-20))/(2/10) prime?
False
Let c(k) = -k**2 - k + 436. Let s be c(0). Suppose -u - 3*u - s = 0. Let w = 156 + u. Is w a prime number?
True
Suppose 2*i = -6*d + 4*d + 510, -d + 4*i + 265 = 0. Is d composite?
False
Suppose -2*c = -731 + 201. Is c composite?
True
Let p be ((-832)/6)/((-30)/225). Is (-1)/(-3) + p/12 composite?
True
Let b(g) = 127*g - 3. Is b(2) a prime number?
True
Let k(c) = c**2 - 2*c - 5. Let r be k(4). Suppose 4*p + 0*p = 5*o - 193, r*o - 5*p - 121 = 0. Is o a composite number?
False
Suppose t - 2*i - 64 = 0, 4*i = 2*t + 3*i - 143. Let l = -6 + 11. Suppose t = -3*u + l*u. Is u composite?
False
Let g = -564 - -1129. Is g a prime number?
False
Let q = 34 + -29. Suppose -380 = -q*v + 1695. Is v composite?
True
Let l = 4201 - 2957. Suppose 7*b - 3*b - l = 0. Is b a composite number?
False
Let t be ((-1040)/(-6) - 2)*3. Suppose t = 2*l - 0*r + 4*r, 1022 = 4*l + 5*r. Suppose -5*u - 148 = -3*m + l, -2*m = 2*u - 246. Is m a prime number?
True
Is (6/(-36)*3)/(1/(-662)) prime?
True
Let j(l) = 2*l**2 - 8*l - 16. Is j(-5) a prime number?
False
Let n be (3/(-6))/((-1)/86). Suppose 2*u - m = 2*m - 27, 3*u = 4*m - n. Is (0 - 2)/(2/u) a prime number?
False
Let z = -1 - -3. Suppose -4*r - 5*o + 7 = 0, r - 29 = -z*r + o. Suppose -4*n + r = -4, t = -n + 22. Is t composite?
False
Let l be 2/(-4) + (-2)/(-4). Suppose l = -4*g + 1 + 15. Suppose g*c + 14 = 6*c. Is c a composite number?
False
Suppose -53 = -5*u + 77. Let d(l) = l**2 + 18*l + 24. Let r be d(-19). Let g = u + r. Is g composite?
True
Let m(v) be the second derivative of v**5/20 - v**4/3 + 5*v**3/6 - v**2/2 - 2*v. Is m(5) composite?
True
Suppose 2*m = 2, 3*m = 2*p - 5 + 4. Suppose -5*v + 635 = -b, -5*b = p*v - 268 + 14. Is v a prime number?
True
Suppose -440 - 476 = -3*m + h, 5*m - 5*h = 1530. Is m prime?
False
Let r = 1447 - 1000. Is r a prime number?
False
Suppose h = 2*h + 4*q - 356, 5*h - 4*q = 1780. Suppose 0 = 3*a - 4*f + 3, a - 6 = -0*a - f. Suppose a*p - h = -p. Is p composite?
False
Suppose -n = -2 - 0. Suppose n + 22 = 4*x. Suppose -2*v = -x*v + 140. Is v composite?
True
Let v = 96 - 43. Is v prime?
True
Let q be (1 + 273)*(-4)/(-8). Suppose s = -5*f + q, -3*f + 5*s = -2*f - 43. Let o = -17 + f. Is o composite?
False
Let g = 4 + 1. Suppose -15 = -g*n - i, -2*n - 10 = -5*i + 11. Is n a prime number?
True
Let g = -40 - -98. Let a = g + 57. Is a composite?
True
Let t = 3 + -3. Suppose -30 = -3*g - t*g. Suppose 5*c - 50 = 5*z, -2*z + 0 + g = c. Is c composite?
True
Let w(m) = -7*m**3 - 3*m**2 - 7. Is w(-4) a composite number?
True
Suppose 4*o + 15 = 7*o. Suppose 2*t + o*h = 26, -t - 5*h + 0 = -13. Is t composite?
False
Suppose 12*p - 335 = 1237. Is p a prime number?
True
Let o be -3 + 0 + (-6 - -17). Let g = o + -5. Suppose g*t + 1 = 5*i - 3, -4*t + 18 = 5*i. Is i composite?
False
Let u(q) = -2*q. Let h be u(-1). Let x = 3 + h. Suppose -3*o + 107 = 2*o - 3*d, -5*o - x*d = -75. Is o prime?
True
Let d = -13 - -13. Suppose -2*l - 3*c + 187 = d, -3*c - 80 = 2*l - 3*l. Is l prime?
True
Suppose 0 = 4*o - 3*m - 31, 2*o - m = o + 9. Let w be o/(-12) - (-1078)/(-6). Let v = -101 - w. Is v composite?
False
Let g(x) = 1. Let s(k) = -k**2 + k + 2. Let h(b) = 7*g(b) - 3*s(b). Is h(7) a prime number?
True
Suppose -212 + 0 = -2*z. Is (-1 - -3)*z/4 composite?
False
Let f be 0*((-10)/4)/(-5). Let t(y) = y**3 + 4*y**2 - 8*y + 1. Let a be t(-6). Let s = f - a. Is s prime?
True
Let y(g) = -14*g**3 - 2*g**2 + 25*g + 6. Is y(-7) a composite number?
True
Suppose -3*s + 934 = 295. Is s prime?
False
Let t be 65/(-9) - (-16)/72. Let y = 21 + t. Is y prime?
False
Let n(m) = -m + 1. Let y be n(-1). Let h = 2 - y. Suppose h = -2*f - 3*f + 75. Is f prime?
False
Let s = -1 - -3. Suppose 0 = 2*n + 4*h + 12, 24 = s*n - 3*h - 2*h. Suppose 4*x - 212 = g - 64, -88 = -n*x - 3*g. Is x a prime number?
False
Let o be -1 + 4/(12/(-9)). Is 14/o*(-20)/7 prime?
False
Let n = 352 - 237. Suppose 384 = l - n. Is l prime?
True
Suppose 14*g = 11*g + 573. Is g a prime number?
True
Is (-5 + 4)/(-1)*221 a prime number?
False
Let n = 117 + -211. Let y = -41 - n. Is y prime?
True
Let f(p) = p**3 + 7*p**2 + 3*p + 7. Let y be (0/3 + 2)*-3. Let r be f(y). Is r/1 - (0 - 0) composite?
True
Let d(u) = 2*u**2 + 3*u + 2. Let i be d(-2). Suppose 5*y - 6*k = -i*k + 261, 2*k = 4*y - 210. Is y a prime number?
False
Let b = 139 - 8. Is b a composite number?
False
Suppose -3*y + 458 = -871. Is y a prime number?
True
Let u = -540 - -919. Is u a prime number?
True
Is (-70)/(-21)*1293/2 composite?
True
Let d = 978 - 415. Is d composite?
False
Let r(k) = -6*k**3 - 5*k**2 - 4*k. Let z be r(-5). Let v be (z/(-10))/(2/(-4)). Suppose -2*c + 135 = n, 0*c - 5*n - v = -2*c. Is c a prime number?
True
Let l = -3 + 5. Suppose -2*t - t + l*w + 225 = 0, 3*w = -4*t + 317. Is t a prime number?
False
Let b = 125 + -30. Is b prime?
False
Let y be (2/3)/((-1)/444). Let i = -147 - y. Is i a prime number?
True
Let v(f) = -640*f + 1. Let t = -14 + 13. Is v(t) composite?
False
Let t = 449 - 196. Is t a composite number?
True
Suppose 5*p + 3 + 17 = 0. Let k = p - -9. Suppose 0 = k*l - 60 - 45. Is l prime?
False
Let h(o) = o**2 - 6*o + 7. Let g be h(5). Suppose -171 = -3*l + 54. Let n = g + l. Is n prime?
False
Let v(b) = 4*b + 2. Let k be v(-2). Let o(u) = u**3 + 9*u**2 + 8*u - 1. Is o(k) a composite number?
False
Let i(g) = 