Is u a composite number?
False
Let c(a) = a**3 + 10*a - 4. Let x(l) = -l**2 + l - 1. Let t(h) = -c(h) + 5*x(h). Let r be t(-4). Suppose 0 = r*j - 2*j - 34. Is j composite?
True
Let b = -524 - -984. Suppose 22*h - 18*h = b. Let m = h + -66. Is m composite?
True
Let o(w) = -513*w**3 - 1169*w**3 - 3*w + 3*w**2 - 6*w**2 - 1. Is o(-1) composite?
True
Let d(i) = 58*i**2 - 8*i + 13. Let z be (25/(-20))/((-1)/4). Is d(z) prime?
True
Let g(j) = 107*j + 13. Suppose -5*l + 10*l = 40. Is g(l) composite?
True
Suppose -h - t - 53 = 14, 4*h + 258 = -2*t. Let s = h + 273. Is s composite?
False
Let p be 2/7 + 1160/7. Let z be -1*(-2*p)/(-2). Let v = -95 - z. Is v a composite number?
False
Suppose -5323 = -3*h + 3293. Let t = -987 + h. Suppose 3*c - 4*x = t, -c - 4*x + 2476 = 3*c. Is c a composite number?
True
Let z(a) = 34*a**2 - a + 4. Let j be z(5). Suppose -41*k = -38*k - 1758. Let r = j - k. Is r prime?
True
Let w(p) = 520*p - 353. Is w(9) composite?
False
Let y be 2*1/2 + 4. Suppose -o - 649 = -4*o - y*z, 3*o - 5*z - 689 = 0. Is o composite?
False
Let f = 9338 - 5397. Is f prime?
False
Let y = -5 + 10. Let g(r) = 11*r**2 + 5*r + 7. Let c be g(y). Suppose -5*i - 43 - c = -3*b, 0 = -5*b + i + 576. Is b a composite number?
True
Let g(l) = -82*l - 17. Let h be g(-7). Let o = -340 + h. Is o prime?
False
Is (-52 - -1434) + (1 + -2 - -4) prime?
False
Let w = -2144 + 6678. Is w a prime number?
False
Let b = 1844 - 499. Is b/(-2)*(-30)/25 prime?
False
Let b be -4*(-2 - (-5 - -5)). Is 10068/4 + (-3)/(6/b) composite?
True
Let t(s) = -71*s**2 - 5*s - 3. Let g be t(-4). Let k(i) = -2*i**3 - 10*i**2 - 5*i + 74. Let n be k(6). Let f = n - g. Is f prime?
False
Let h(b) = 5*b + 1. Let k be h(-2). Let v(a) = -a**3 - 7*a**2 + 9*a - 2. Is v(k) a composite number?
False
Let f(i) = 2 - 5 + 4*i - 4*i**2 - 696*i**3 + 704*i**3. Is f(2) prime?
True
Suppose 909 = 4*h - 2363. Is h a composite number?
True
Suppose -k - 3 = -5. Suppose -k*p + 2 = -12. Let c(h) = 5*h**2 - 5*h - 7. Is c(p) a composite number?
True
Let x(q) = 6*q**2 + 8*q - 5. Let y = 28 + -23. Is x(y) composite?
True
Let g(u) = -7*u**2 - u. Let n be (4 + 5)/3 + -4. Let l be g(n). Is (-1546)/l - 4/6 a composite number?
False
Suppose 4*f = -4*b + 36, -2*b - b = 5*f - 37. Suppose -5*u - 59 = -t - b, 4*t = -u + 220. Is t a composite number?
True
Let q = 13351 + -6714. Is q prime?
True
Let r(d) = 80*d**2 + 43*d + 509. Is r(-12) a composite number?
True
Suppose 3*k + 64633 = 2*o, 3*k - 7*k + 32333 = o. Is o a prime number?
True
Let z(h) = h**2 - 13*h + 16. Suppose 3*t = -2*x + 27, -4*x - 3*t + 39 = -x. Let m be z(x). Suppose -a + 235 = m*a. Is a a prime number?
True
Let w(a) be the third derivative of -19*a**4/24 + a**3/3 - 3*a**2. Is w(-11) a prime number?
True
Let f(y) = y + 3. Let j be f(3). Let v be (-361)/(-2) - 3/j. Let n = 667 - v. Is n a prime number?
True
Let m be (-1 + 606/4)/((-12)/(-24)). Let s = 834 - m. Is s composite?
True
Let h = 27195 + -18301. Is h prime?
False
Let d(v) be the third derivative of -v**8/6720 - v**7/280 + v**6/45 + v**5/40 + v**4/24 - 6*v**2. Let s(m) be the second derivative of d(m). Is s(-11) prime?
False
Suppose -2*o + q + 2 = 0, 2*q + 2*q - 8 = 0. Suppose -c + o*h - 44 = -6*c, 5*c - 3*h = 34. Is ((-5274)/c)/9*-4 composite?
False
Let f = 62 - 37. Let c be (-5)/f + (-288)/(-15). Let d = c + -12. Is d composite?
False
Let r = 1373 + 7624. Is r a composite number?
True
Let a be 14337/(-36) - 1/(-4). Let q = a + 1647. Is q a composite number?
False
Suppose -1 = w - 6. Suppose 2*i - 8 = -2*m, 4*m - 10 = -m + w*i. Suppose -75 - 30 = -m*b. Is b a composite number?
True
Suppose 0 = 6*y - 11*y + 2590. Suppose 0 = -4*h + 11*h - y. Is h a composite number?
True
Let y(b) = -3*b + 0*b - 46 + 2734*b**2 + 49 - 531*b**2. Is y(1) prime?
True
Let l(u) = -2*u**3 - 10*u**2 - 7*u - 145. Is l(-8) prime?
False
Suppose -2*z - 10 = 3*g - 0*z, -6 = 3*z. Let s = g - -6. Suppose -s*n + 15 = -29. Is n a prime number?
True
Suppose 4*h + 16 = 4*f, 5*h = -4*f + 2*f - 55. Is 110/3*h/(-6) a composite number?
True
Let v = 131 - 187. Let g be v/(-7)*2/1. Let s = g - -70. Is s composite?
True
Suppose -8*a + 3579 = -3389. Is a composite?
True
Let d be (2 + 0)*(-2 - -5). Let g(h) = 16*h**2 + 2*h - 1. Is g(d) a composite number?
False
Let r = 747 + 166. Is r prime?
False
Let r(c) = -19*c - 7. Let q(t) = -38*t - 13. Let f(l) = -3*q(l) + 5*r(l). Let g be f(-10). Let i = -25 - g. Is i prime?
False
Let h be -1 + (-135)/(-6)*10/1. Suppose -1486 = -2*v - h. Is v prime?
True
Let l = 5913 + -2152. Is l a composite number?
False
Suppose -4*b = -6*q + 3*q + 17, -3*q - 2*b = -5. Let o be -2 + (-2)/(4/(-14)). Suppose o*j = -h + 5, -j + q = -3*h - 14. Is j a composite number?
False
Suppose -5*v = -3*v, 0 = 5*j - 2*v - 8185. Is j a composite number?
False
Suppose 2*v + 30 = -0*v. Let l(t) = t**3 + 14*t**2 - 8*t - 14. Let a be l(-6). Let z = v + a. Is z a composite number?
False
Let f = -6874 + 9801. Is f composite?
False
Let v(d) = -d**3 - 5*d**2 - 7*d - 3. Let c be v(-3). Suppose -15*s + 20*s - 170 = c. Is s composite?
True
Let y be 16/2*3*1/6. Suppose -g = y*w - 0*w - 767, 0 = w - 5*g - 176. Is w composite?
False
Let x = 3783 - -1598. Is x prime?
True
Suppose 3*r - 6 - 3 = 0. Let n be ((-3)/(7 + -10))/((-2)/(-398)). Suppose 0 = -2*h + r*h - n. Is h a prime number?
True
Let u be 16/40 + (-204)/10. Let n be (16/u)/(6/(-15)). Suppose 176 = n*i - 5*h, 3*i = 7*i + 4*h - 324. Is i a composite number?
False
Let c(h) = -70*h**3 - 26*h + 7. Is c(-5) composite?
False
Suppose 0 = 2*g - 104483 - 2163. Is g composite?
False
Let c = 1231 + -312. Is c a prime number?
True
Let g(k) = 139*k + 236. Is g(29) composite?
True
Suppose 5*q = -7 + 27. Suppose 5*c - 373 = -5*d - 18, -244 = -q*c + 4*d. Suppose -o = -2*s - 6*o + c, -2*o = 0. Is s prime?
False
Let b = -1530 - -4613. Is b composite?
False
Suppose 15 + 1 = -4*l, 0 = -5*w - l - 4. Suppose -4*u + 1479 - 35 = w. Is u composite?
True
Suppose -4*p - 1 = -5, -5*f = -3*p - 22. Suppose -f*k + 696 = 4*t, -553 = -0*t - 3*t + 4*k. Is t prime?
True
Suppose -2*i + 0*i + 1866 = 0. Suppose -2*t - 2*d + 2008 = 0, -t - 2*d = -i - 72. Is t a prime number?
False
Let s be -1 - (-7 - (-1 + 0)). Suppose -2*i - s*k + 30 - 5 = 0, -5*i - k = -5. Suppose i*q = -4*q + 460. Is q composite?
True
Let x = -7 + 1. Let r be (-450)/(-2) + (x - -6). Let b = r - 146. Is b composite?
False
Let o be (-5)/((-50)/(-2445))*(-4)/3. Suppose -o = -2*r - 4*l, 0*r - l - 815 = -5*r. Is r composite?
False
Suppose 196150 = 2*o - 73668. Is o a prime number?
True
Suppose -5*d + 9*u - 11*u = -71007, 2*d + 5*u = 28407. Is d a composite number?
True
Suppose -t + 359 = -62. Let j = t - -46. Is j prime?
True
Let m(l) be the second derivative of 98*l**3/3 + 7*l**2/2 - 7*l. Is m(4) prime?
False
Let s(d) = 10*d**2 - 50 + 91 + 4*d - 56. Is s(-11) prime?
True
Is ((-528)/(-16))/(6/7694) composite?
True
Suppose -10*y = -13*y - f + 1906, 5*y = -2*f + 3177. Is y prime?
False
Let s = -88 - -35. Is s/(3*3/(-9)) a prime number?
True
Suppose -5*g = -2*r + 26, -4*g + 0*g - 22 = -2*r. Let a be ((-64)/r)/(6/(-144)). Suppose 4*k = 2*h + a, h + 174 = 3*k - 209. Is k a composite number?
False
Suppose -a + u + 3393 = 3*a, 0 = -3*u - 15. Let b = a - 492. Is b a prime number?
False
Let c(d) = -19*d**2 + 4*d - 24. Let o(p) = -20*p**2 + 3*p - 23. Let b(j) = 4*c(j) - 5*o(j). Is b(7) a composite number?
True
Suppose 0 = -4*o + 5*p + 5200, 4*o = -4*p + p + 5168. Let c = o + -616. Is c prime?
False
Let v(s) = s - 6. Let g be v(8). Let f(x) = -9*x + 97*x**2 - 13*x**2 - 1 + 7*x. Is f(g) a prime number?
True
Suppose 2274 = -21*k + 27*k. Is k prime?
True
Let y = 2630 + 6950. Suppose 30*o = 26*o + y. Is o a prime number?
False
Let x = -260 - -1459. Is x a prime number?
False
Let b = 2869 - 1595. Suppose 3*v - 5*t - 1933 = 0, 3*t - b = -2*v - t. Is v a composite number?
False
Let f(t) = 3*t + 44. Let r be f(-14). Let v be (1*4)/(2/(-44)). Is ((-5)/4)/(r/v) composite?
True
Let x(o) = 546*o - 157. Is x(3) a prime number?
True
Let k = -625 + 1592. Is k composite?
False
Let n be 1*10 - (16 - 18). Suppose -n*h + 8*h = -316. Is h a composite number?
False
Let v = 321160 + -38759. Is v a composite number?
True
Is (329 - -2)*(31 + -30) prime?
True
Suppose -258560 = -29*q + 1210841. Is q a compos