= 14778 - 4133. Is g composite?
True
Let p be (-4)/(-18) - 43/(-9). Let c(h) = 515 + h**2 - p*h**3 + 4*h**3 + 0*h**3. Is c(0) composite?
True
Suppose -4*x + 14*r = 15*r - 29575, -2*r - 14780 = -2*x. Is x a composite number?
False
Suppose 5*v - 3*l = -1454, -880 = 3*v + 15*l - 13*l. Let f = v + 4575. Is f a composite number?
False
Let t(z) = z**3 - 8*z**2 + 13*z - 4. Let s be t(6). Suppose 4*y + 46 = -v + 1275, -923 = -3*y - s*v. Is y a prime number?
True
Let o(r) = -6*r - 39. Let b be o(25). Let v(y) = 7*y**2 - 7*y. Let n be v(-10). Let c = n - b. Is c prime?
False
Let m(w) = -25*w - 68. Is m(-9) a prime number?
True
Suppose 11*j = 10*j + 259. Let k = j - -274. Is k composite?
True
Let h(i) = 7*i**3 - i**2 - 10*i + 7. Let c be h(5). Let q = 1622 - c. Is q composite?
True
Let b = -23 - -27. Let k be 7*(48/14)/2. Is ((-954)/k)/((-2)/b) a prime number?
False
Suppose 2 = 3*i - 2*i. Let b be (51 - -14)/(2/i). Suppose -4*v = -3*v - b. Is v prime?
False
Let l(m) = -5*m**2 - 41*m + 21. Let o(u) = 2*u**2 + 14*u - 7. Let d(c) = 3*l(c) + 8*o(c). Is d(-6) prime?
True
Let t(m) = 6*m**2 - 3*m. Let g be t(2). Let a = g + -26. Let w(r) = 5*r**2 - 13*r - 13. Is w(a) a composite number?
True
Let j = -30 - -40. Suppose -j*b + 5749 = -4101. Is b prime?
False
Suppose 3*t - 5 + 303 = -z, -3*t - 12 = 0. Let y = z + 460. Is ((-10)/(-3))/(4/y) a prime number?
False
Is 2781 + 8 + -2 + -2 a composite number?
True
Let a(u) = 13*u - 12. Let v(y) = 2*y - 5. Let c(p) = p**3 + 8*p**2 - 9*p + 6. Let q be c(-9). Let x be v(q). Is a(x) a prime number?
True
Suppose 0 = -9*c + 4 + 50. Is 9/c*6286/21 composite?
False
Let z = 5274 - -24457. Is z a prime number?
False
Let h(w) = -w**2 - 14*w - 11. Let d be h(-12). Let t(l) = -l + 17. Let v be t(d). Suppose 0*n - 5032 = -v*i + 4*n, 2*i + n - 2507 = 0. Is i a composite number?
True
Is (55*-1 - -2)/(4/(-844)) composite?
True
Is ((-136)/(-8))/(3/69) a composite number?
True
Let m(d) = d**3 - d**2 + d + 1. Let o be m(2). Let z(r) = -138*r - 16 - 145*r - 137*r + 416*r + 15*r**2. Is z(o) composite?
False
Let x be -6*(-1)/(-4)*-2. Suppose x*h - 104 = 7*h. Is (-12837)/(-39) - (-4)/h composite?
True
Let v = 30140 + -19051. Is v a composite number?
True
Let j = 298 - -393. Is j composite?
False
Suppose -3*b + 0*b = 0. Suppose 4*z + m - 18 = 0, m + b*m - 6 = -z. Suppose -z*a + 165 = -71. Is a a composite number?
False
Let n be 8/10 + 63/15. Is 2467/5 + (5 - 27/n) a prime number?
False
Suppose -3*n + 1601 = -5*w + 274, 886 = 2*n - 2*w. Let o = n - 261. Let l = -112 + o. Is l prime?
True
Let i(l) = 972*l - 6. Let g be i(-2). Let u be 2/(-5) + 18/(-5). Is 13/(-26) + g/u prime?
True
Let j be ((-3495)/12)/(((-27)/12)/9). Let g be 41/4 - (-1)/(-4). Suppose -g*t + j = -5*t. Is t composite?
False
Suppose 2*j - 4*l + 370 = 0, -6*l + 11*l + 185 = -j. Suppose 0 = -4*s + z + 2060, -3*s = -4*s - 3*z + 528. Let m = j + s. Is m prime?
True
Let q(c) = 45*c**2 - 5*c - 3. Let t be q(3). Suppose -t = -3*a + 726. Is a a prime number?
False
Suppose -14*o - 2*n = -10*o - 4440, 4*o - 4438 = -n. Is o composite?
False
Let q(d) = d**3 + d**2 - d + 630. Let b be q(0). Let p = b - -139. Is p prime?
True
Suppose -u + 516 = -2*w + 6*w, 5*w - 20 = 0. Suppose 5*x - u - 525 = 0. Is x prime?
False
Let m(o) = 208*o**2 - 15*o + 34. Is m(3) a composite number?
False
Let y(t) = 5*t**3 - 6*t**2 - 10*t + 6. Let f(d) = -11*d**3 + 12*d**2 + 19*d - 12. Let i(z) = 6*f(z) + 13*y(z). Is i(-11) composite?
False
Let n(x) be the third derivative of -x**5/60 - x**4/24 + x**3/2 - 4*x**2. Let b be n(0). Is b + 19 - (0 + 0) a composite number?
True
Let h = -16 + 28. Is h/(-66) - (-7119)/11 a prime number?
True
Suppose -5*p = 4*h - p - 3552, -4*h = -p - 3562. Suppose 5*z - h = -5*t, t = -2*z - z + 184. Suppose -t = 2*f - 969. Is f prime?
True
Let d = -633 + 902. Let g = d - 192. Is g prime?
False
Suppose 6*u = 4619 + 183523. Is u a composite number?
False
Let l(a) = -a**3 + 8*a**2 - 5*a - 12. Let c be l(7). Suppose 3*b = -c*r + 56 + 621, -3*r = -4*b - 973. Is r composite?
False
Is (-5 - 1) + (2756 - 9) a prime number?
True
Suppose l = -2*l + 3768. Suppose -q = -3*q - l. Is 2*q/16*-2 a composite number?
False
Suppose -4 = -g + 3*g, -2*t + 4*g = -698. Let f = 1192 + t. Is f composite?
True
Let x = -25 + 29. Suppose -x*b = -5*i - 21, -13 = 3*b - i + 3*i. Is 1064/20 - b/(-5) a composite number?
False
Let r(y) = 4*y + 248 + 5*y - 8*y + 2*y**2 - y**2. Let m be r(0). Suppose -4*s = -12 - m. Is s a prime number?
False
Let n(i) = 2047*i - 6. Suppose -4 = 4*d, 0 = -5*w + 4*d + 6 + 3. Is n(w) a prime number?
False
Let h(k) = k + 4. Suppose -2*j + 4 = -w, j - 9 = w + 3*w. Let i(r) = -1. Let n(f) = j*i(f) + h(f). Is n(11) a prime number?
False
Suppose -37*u = -5*u - 280480. Is u a composite number?
True
Suppose 15*a + 100 = 20*a. Is (-37)/((a/8)/(-5)) prime?
False
Let c(x) = -x + 1. Let l be c(-4). Suppose 0 = -2*r - h - 11, 3*h - 5 = l*r - 2*h. Is ((-7)/r)/((-3)/(-348)) a composite number?
True
Suppose 0*l = -l + 2664. Suppose 3*z - l = -3*z. Suppose 0 = 3*n - 435 - z. Is n prime?
True
Let a(w) = -323*w**2 - w. Let p be a(1). Let r = p - -557. Suppose -2*y + r = -29. Is y composite?
False
Let t be (12/(-8))/(2 + (-10)/4). Suppose t*d = -2*v - 2*v + 2051, -5*v = -2*d + 1352. Is d a composite number?
True
Suppose 928 = 2*u - 5*f, -4*u + 473 = -3*u + 2*f. Suppose u = 4*r - 111. Is r a prime number?
False
Let u(b) = -724*b**3 + b**2 - 2*b - 27. Is u(-4) composite?
True
Let q be 0 - (-2 - 2*-3). Let c be (-3 - q)/((-1)/(-13)). Is c + 0/(-4) - -1 composite?
True
Let n(f) = 166*f + 16. Let l(i) = 332*i + 32. Let a(x) = -4*l(x) + 9*n(x). Is a(13) a prime number?
False
Suppose 0 = -3*t + 2*r + 3, -3*t - 2*r + 18 = t. Is (t + 1315/10)/((-2)/(-4)) composite?
False
Let f = -4 - -55. Suppose 0 = -5*u + 4*v + 963, 5*v - 703 = -4*u + f. Is u prime?
True
Suppose 5*o + 2*x - 9118 = 22003, 8 = -4*x. Suppose 3*k - 2*v - o = 0, 2*k - 6213 = -k - 2*v. Is k a composite number?
True
Let a(n) = -n**3 - n**2 + 1. Let o(m) = -5*m**3 - 2*m**2 - 9*m + 4. Let b(j) = 6*a(j) - o(j). Is b(-9) prime?
False
Suppose -3453 = -k + 4*u - 0*u, 3*k - 10319 = 4*u. Is k a composite number?
False
Suppose 37*x - 41*x = -3*g + 74631, 4*g - x = 99508. Is g composite?
False
Let o = 1145 + -306. Is o/4 - (-9)/(-12) a composite number?
True
Let r(a) = a**2 - 8*a + 1. Let y be r(7). Let d be (2 - -8)*(-3)/y. Let n = d - -6. Is n prime?
True
Suppose 972 = p - 0*p. Suppose p = 5*z - z. Suppose -2*n + 4*a - 2*a + 178 = 0, -3*n - 3*a = -z. Is n composite?
True
Suppose 5*b = -5*f, -4*f - 2 - 7 = b. Suppose 225 = -8*h + b*h. Let z = h - -76. Is z a prime number?
True
Let s(h) = -9287*h**3 + 2*h**2 - 4*h - 6. Is s(-1) composite?
True
Suppose -3*b - q = -10, -4*b - 4*q = -1 - 7. Suppose 8*y - 1400 = -2*w + b*y, -5*w = 3*y - 3479. Is w prime?
False
Let m(s) = -2*s - 1. Let c be m(-4). Suppose 4*a + 2 = 3*t - c, 0 = 2*t + 3*a - 6. Is (-1873)/(-4) - t/(-4) a composite number?
True
Let q be (98/(-4))/((-15)/(-30)). Is (-2)/(-7) + (-10913)/q composite?
False
Let k(b) = -b**3 - 22*b**2 + 22*b + 2. Let v be k(-23). Suppose 3*l + 3*h - 24 = 24, -5*h - v = 0. Is l a prime number?
False
Let m = 144233 + 22374. Is m prime?
False
Suppose -z - 41 = 4*z - 3*f, -4*f = -4*z - 36. Let w = z - -9. Is (7/w)/(1/2) a composite number?
False
Let v = -9 + 3. Let q(u) = u**2 + 9*u + 14. Let r be q(v). Is (2/(-6))/(r/228) prime?
True
Let f(i) be the third derivative of -i**6/360 + 7*i**5/60 + 3*i**4/8 + i**3/2 - 2*i**2. Let w(u) be the first derivative of f(u). Is w(8) a prime number?
False
Suppose 7*n + 1 - 8 = 0. Let q be n/(-1 - 12/(-10)). Suppose 5*s + 210 = 2*u, 531 + 64 = 5*u + q*s. Is u a prime number?
False
Let m = 92 + 239. Is m a composite number?
False
Suppose -2*b = 3*b + 4*y + 19, 4*b - 5*y + 7 = 0. Is (-5061)/(-6) - b/(-6) a prime number?
False
Suppose 2*g = -5*z + 671, 7*z - 4*z - 673 = -2*g. Let v = -204 + g. Is v composite?
True
Let o be (-18)/12*(-3 - -1). Let c be o*(-10)/(-24)*4. Suppose t - 159 = -5*w, 2*t - 2*w + 477 = c*t. Is t composite?
True
Suppose 3*u + 5 = o, 3*o = -2*o - 5*u + 5. Let h be (o - (3 - 3)) + 781. Is h/11 + (-36)/198 a composite number?
False
Suppose -z + 3*v + 1 - 3 = 0, -z = v - 10. Is 3 + (z*63 - -1) prime?
False
Let n be 2544/3 - (18/(-2) + 