. Is u a composite number?
True
Suppose -5 = -5*r - 5*b, 0*r - 2*r = 4*b. Suppose -265 = r*d - 10317. Suppose -d = -18*u + 4*u. Is u composite?
False
Let q(n) = n - 12. Let h be q(7). Let f(r) = -r**2 - 4*r. Let w be f(h). Let v(z) = -2*z**3 - z**2 - z + 3. Is v(w) composite?
False
Suppose -11254 - 121061 = -3*h + 6*w, -5*w = -2*h + 88210. Is h a composite number?
True
Let j(t) = -2*t**3 + 16*t**2 - 7*t - 8. Let i(u) = -4*u**3 + 17*u**2 - 7*u - 9. Let b(k) = -2*i(k) + 3*j(k). Is b(7) a prime number?
False
Let y(r) = r**3 + r**2 + r + 1. Let i(h) = h**3 + 12*h**2 + 9*h + 5. Let w(f) = -i(f) + 2*y(f). Is w(13) composite?
True
Suppose 2*i - 4*o = 22, -o + 2 = 5. Suppose -2990 = -i*n + 1265. Is n a composite number?
True
Let h(p) = 11*p - 74. Let g be h(7). Suppose 6*o - 6156 = -g*r + 9*o, r + o = 2054. Is r a prime number?
True
Suppose -11 = -4*o + 5. Suppose 2*t - 10 = -o*h, 0 = 2*h + h - 4*t - 2. Suppose 3*m + h*s + 0*s - 195 = 0, -5*m + 4*s = -325. Is m a composite number?
True
Let s be (3/(-2))/((-33)/(-176)*-2). Suppose -11539 = -7*y - s*y. Is y a composite number?
False
Let w(m) = m**3 - 3*m**2 - 4*m + 3. Let a be w(4). Let y be a - (24/(-3))/4. Suppose -y = -5*f - 15, 3*f = 4*s - 5534. Is s a prime number?
False
Suppose 2*d + 14374 - 171227 = 31495. Is d a composite number?
True
Let q = 25169 + -5497. Is (11/(44/q))/2 prime?
True
Suppose -2*a - 8700 = -0*p - 2*p, -a + 21732 = 5*p. Suppose -2*u + 12 - 2 = 0. Suppose l + p = 5*l + r, u*r + 4353 = 4*l. Is l prime?
True
Let y be (-50)/(-40)*(-1)/((-1)/24). Suppose 27*h = y*h - 6639. Is h composite?
False
Suppose -15*x + 17*x + 4*y = 51918, y + 2 = 0. Is x a composite number?
True
Suppose 0 = 4*m + 5*c + 4, c + 4 = 6*m + 6*c. Let v be 1/(-2)*(-1 + -5). Suppose 0 = -5*l - v*b + 2081, 0 = -m*l + 2*b + 1337 + 319. Is l a composite number?
True
Suppose -2639 + 483 = -11*v. Let u = 2 - 2. Suppose 2*h + p - 157 = u, -39 - v = -3*h - 2*p. Is h a composite number?
False
Suppose -19*w + 410 = -17*w. Suppose w - 1246 = -3*g. Is g a prime number?
True
Let b(m) = -950*m**2 + 12*m + 35. Let x(k) = 950*k**2 - 12*k - 35. Let a(c) = 3*b(c) + 4*x(c). Is a(-3) a composite number?
True
Let b = 180713 - -169478. Is b prime?
True
Suppose 0 = 7*z - 3356 - 2503. Let p = 24 + z. Suppose -15*q + p = 156. Is q prime?
True
Suppose -2*c = -5*r + 118, -5*c = -r - 0*r + 42. Let a be 38 + -33 + 1 + 40. Suppose 20*j + a = r*j. Is j a composite number?
False
Suppose 4*f - 7 = g, 4 = 5*f - 2*g - 4. Suppose 4*t + 105186 = 3*k, -t - 2*k = -2390 + 28681. Is t/(-35) - f/7 a prime number?
True
Let z(c) = -2*c + 10. Let t be z(3). Suppose 5*s - 3*p = -84, t*s + p = 5*p - 72. Is 2/3 + (-3380)/s prime?
False
Suppose 4*f = 7*f - 14502. Suppose -16936 - f = -10*b. Is b composite?
True
Suppose 13*y = 6*y - 12117. Let p = y - -6670. Is p a composite number?
True
Let o = 335 - 327. Let t(k) = 10*k + 7 + 13*k + 0*k + 20*k**2. Is t(o) prime?
True
Let j = -6 - -818. Let a(d) = d + 1. Let s be a(14). Suppose -11*x - j = -s*x. Is x prime?
False
Let h(b) = b**3 - 8*b**2 - b + 11. Let s be h(8). Suppose -2*v = -4*j + 2*v, -s*v = 2*j - 25. Suppose -t = 4*f - 382 - 679, -j*t = 2*f - 5395. Is t composite?
True
Let a be (-96)/((10/310)/(1/(-2))). Let s = a + -890. Suppose 15*l - 13*l = s. Is l prime?
False
Let x = -2013 - -1984. Let k(l) be the second derivative of l**5/20 + 29*l**4/12 - l**3/3 + 33*l**2/2 + 4*l. Is k(x) prime?
False
Suppose 4693 + 733 = 4*v - 5*o, 0 = -4*v + o + 5402. Is v composite?
True
Let c = 3146 - -233. Is c + 3*(-16)/(-12) a prime number?
False
Let y be -6 + 1 - (-317120)/(-20). Let m = -10028 - y. Is m a composite number?
True
Let v be ((-4)/(-7))/((-8)/28). Is (v/(-4))/((-19)/(-14174)) prime?
True
Let c(i) = 8038*i - 1371. Is c(13) a prime number?
True
Suppose 3*k = -21*j + 9689268, 2*j + 140*k - 922761 = 145*k. Is j prime?
True
Let f = -172 + 268. Suppose -7*v = -f - 2515. Is v a composite number?
False
Let z be 563 - 0*(-2)/6. Suppose 0 = 20*l + z - 1903. Is l a prime number?
True
Let f be (-6)/(-16) + 15132091/184. Is (-10)/35 + (f/(-28))/(-4) a prime number?
False
Suppose -5*p + 50 = 10. Suppose -p = -2*j + 8. Let v(o) = o**3 + 3*o**2 - 6*o - 3. Is v(j) composite?
False
Let x = 81 + -74. Let j(p) = -p**2 + 6*p + 10. Let t be j(x). Suppose t*u + 5 = -7, -4*z - 5*u + 1504 = 0. Is z composite?
True
Let z be 8/(-12) - 17/(-3). Suppose 5*i + 12915 = 5*v, 0*i + 7757 = 3*v - z*i. Is v a composite number?
False
Let h(b) = 6 - 6 + 8*b - 10*b + 1017*b**2. Let k be h(1). Let u = k - 546. Is u a prime number?
False
Suppose -40*r - 18521 = 35839. Let a = 4306 + r. Is a composite?
True
Suppose 0 = 5*q - 43 + 43. Suppose 0 = -3*c - 5*u - q - 9, 5*c = 3*u - 15. Is ((-5)/10)/(c/222) prime?
True
Let w(o) = 10*o**3 + 4*o**2 + 42*o + 17. Is w(20) a composite number?
False
Suppose 3*d = -4*s + 7, -5*d + s + 0*s = -27. Suppose -2*i - 3*p + p = -8122, d*p = 0. Is i a prime number?
False
Let f be 2/(-10) + ((-744)/15)/(-8). Let p(k) = 2*k - 10. Let x be p(f). Suppose -x*z + 3*v + 2018 = 0, 0 = 6*v - 3*v. Is z prime?
True
Suppose 2*z - 6*q = -q + 4, -4*z - q = -8. Suppose -1154 = -z*v + 3*y - 8*y, 3*y = -5*v + 2923. Is v composite?
False
Let g(s) = -20*s**2 - 2*s - 25. Let d be g(17). Let o = 12056 + d. Is o a prime number?
True
Let y(m) be the first derivative of -263*m**2/2 - 44*m + 89. Is y(-5) prime?
False
Suppose 15*s + 29*s = 4628756. Is s prime?
True
Let p(r) = -1566*r + 17. Let q(v) = 3130*v - 34. Let i(m) = -13*p(m) - 6*q(m). Is i(4) prime?
False
Let x(j) = 1983*j + 92. Is x(9) a prime number?
True
Let i(a) = 26*a**2 - 6. Let m be i(3). Suppose -m*q + 221*q = -2821. Is q a composite number?
True
Let i(q) = 5 - 2 - 5 - 8*q - 4. Let m be i(-2). Suppose -5 - m = 3*d, 276 = y + 5*d. Is y composite?
True
Let g(j) = 45109*j**3 + 3*j**2 - 5*j + 1. Let u be g(1). Suppose -15031 = -i - 2*o, 0 = -3*i - 5*o + 4*o + u. Is i a prime number?
False
Is (4 + 13601/3)*15 a prime number?
False
Let k = -57 - -64. Suppose 3216 = k*l - 25547. Is l prime?
False
Let o be 4/(-18) - 24348/27. Suppose 2*i + 6802 = 4*l, -l - 492 + 2179 = 4*i. Let x = o + l. Is x prime?
True
Let o = -41067 + 100678. Is o a composite number?
False
Let n(x) = 19*x**2 + x + 2. Let h(c) = -19*c**2 - 2*c - 1. Let b(z) = -3*h(z) - 2*n(z). Suppose 5*k = 2*u + 18, -5*u - 6*k + k - 10 = 0. Is b(u) prime?
False
Suppose 921838 + 1034264 = 46*d - 1326964. Is d prime?
False
Let i = -157 - -155. Is ((-96)/(-80))/((i/2615)/(-1)) composite?
True
Let h = 66 - -238. Suppose -3*a + h = -1598. Is (3 + 0 - (-4)/(-2)) + a composite?
True
Let q = -20361 + 63340. Is q a composite number?
False
Suppose -t + z = 2*z - 1, -4*t + 5 = 5*z. Suppose t = -8*g + 4*g - 4408. Let p = g + 2016. Is p a prime number?
False
Let d(s) = 68*s**2 + 18*s + 59. Let q be 1/(5/(-8))*140/28. Is d(q) a composite number?
True
Suppose 4*v = 20, -v + 4*v - 12 = -x. Let k be (-27)/(-12) + -3*x/(-36). Suppose -2*z = -k, 2*t - 10017 = -2*z + 811. Is t prime?
True
Let l = 373914 - 235475. Is l composite?
True
Suppose 5*k - 2*m - 13 = 7, 4*k + 2*m = -2. Is ((-21)/(-12) - k)/(2/(-101912)) a prime number?
True
Suppose -6707019 = -187*d + 8232224. Is d a prime number?
True
Let j(x) = 473*x**2 + 3*x - 2. Let u be j(-2). Let l be ((-11)/(-3))/((34/u)/17). Let y = l + -1353. Is y a prime number?
False
Let h = 1128613 - 801956. Is h composite?
False
Let l be (-25)/15*-3*(2 + -3). Let i(g) = -32*g**3 + 9*g**2 + 34*g - 6. Is i(l) a prime number?
True
Let o be (-168)/28 - (1 - 4546). Let t = -2725 + o. Is t a prime number?
False
Suppose -4*v - 88 = 5*o, 3*v + 0*v + 70 = -4*o. Let s(i) = 3*i**2 - 25*i + 51. Is s(o) composite?
True
Suppose -126*m - 375927 + 8057914 = -1932191. Is m a prime number?
True
Suppose 8*k = 5*k + 5*k. Suppose k = -13*c - 12 + 116. Suppose -7*x + c*x = 481. Is x a composite number?
True
Suppose 141735 = 4*c - 0*j + 3*j, -4*c = -5*j - 141695. Let b = c - 21125. Is b a composite number?
True
Suppose 131*i + 8838 = 130*i. Is (2/(-3))/(12/i) composite?
False
Let v = -23604 + 71221. Is v a prime number?
False
Let b(j) be the third derivative of 67*j**5/60 - j**4/4 + 8*j**3/3 + 8*j**2. Let d be b(-7). Let s = -1960 + d. Is s a composite number?
False
Let f(r) = 3*r + 77. Let z be f(-25). Suppose 11*n - 33498 = z*n. Is n compo