116 = -2*l, -5*l + 19*t + 20323 = 23*t. Is l composite?
True
Let c(x) = 9*x + 1. Let q(g) = -8*g. Let f(i) = 3*c(i) + 2*q(i). Is f(6) prime?
False
Suppose -3*m = h - 1240, 3750 = 6*h - 3*h - m. Is h prime?
True
Suppose -8*m = -7*m - 25. Suppose 10 = -5*j + m. Suppose -247 = -j*g - 3*t - t, -5*t - 292 = -3*g. Is g a prime number?
True
Let j(z) = 6*z**3 + 2*z**2 + 2*z + 2. Let t be j(-3). Let d = 205 - t. Is d prime?
True
Suppose 15 = 5*d, 4*i - 2*d + 2 = 12. Suppose -2*w + w + 2*v = -2, 0 = -5*w - i*v - 32. Is (-426)/w + 1/(-2) prime?
False
Let c(f) = -f**3 + 45*f**2 - 15*f + 49. Is c(24) a composite number?
True
Let u(l) = -l**2 + 13*l - 13. Let d be u(10). Suppose d*b - 22*b = -20. Suppose -2*x - 188 = -b*x. Is x a composite number?
True
Suppose 0 = 2*d - 260 - 166. Suppose 2*n = 1799 + d. Is n a composite number?
True
Suppose 5*u - 8 = 3*u. Suppose u*v = 2*j - 450 - 336, 4*v - 1979 = -5*j. Is j prime?
False
Suppose 6*w = 11*w - 2130. Let b = 917 - w. Is b a prime number?
True
Let u(j) = j**3 + 4*j**2 + 2*j - 3. Let t be u(-3). Suppose t*s - 5*s + 32 = -r, -s + 2*r = -1. Let o(b) = 3*b**2 + 7*b + 9. Is o(s) a prime number?
False
Let c be -12 + -3 + (-6)/(-2). Let v be 446/c - 2/(-12). Is (-1)/(((-4)/v)/(-4)) a prime number?
True
Suppose 4*i = 9 + 3. Is i - (725/(-5) - 1) composite?
False
Suppose 3*q + 7 = -5*z - 2, 3*z = 4*q - 17. Suppose 0 = v - q - 3, 2*m - 493 = 3*v. Is m a prime number?
False
Let z be 46/(5 + -3) - 1. Let s be 1160/(-10)*z/(-8). Suppose -2*i + s = 65. Is i composite?
False
Suppose 5*g + 1252 + 143 = -5*a, -4*a = -2*g + 1122. Let l = -153 - a. Is l a prime number?
True
Suppose -4*x - 1618 = -2*c, -3*x = -c + 598 + 216. Is c composite?
True
Let y(z) be the second derivative of z**4/12 + 7*z**3/6 + 9*z**2/2 - 6*z. Let p be y(-6). Suppose -879 = -p*s + 618. Is s a prime number?
True
Suppose 2*x = -4*x + 2346. Let n be (0 + 34/6)*501. Suppose 5*o - n = 3*d - 860, o - x = 3*d. Is o composite?
False
Let p(z) = z**3 - 6*z**2 - 5*z - 10. Let r(j) = -j**2 - 5*j + 3. Let c be r(-4). Let g be p(c). Suppose 1062 = g*f - 5*u, f + u + 3*u - 255 = 0. Is f prime?
True
Let g(m) = -m**2 - 10*m. Let l be g(-10). Let b be (l + 1)/(10/200). Suppose -q = b - 231. Is q composite?
False
Let z = 414 - 23. Let b = z + 310. Is b composite?
False
Suppose 10*p - 53995 = 5*p. Is p prime?
True
Let s(o) = 26*o - 1. Suppose -21 = -2*k + k. Let y = 31 - k. Is s(y) prime?
False
Suppose 0 = 19*u - 105671 - 207582. Is u a prime number?
True
Let r = -4 - 6. Let w(l) = 5*l**3 + 16*l**2 - 4. Let v(g) = 9*g**3 + 31*g**2 - 9. Let a(j) = -3*v(j) + 5*w(j). Is a(r) a prime number?
False
Suppose -3*p + c = -c - 1039, 3*c = -4*p + 1391. Suppose p = -t + 1176. Is t composite?
False
Suppose 4*o = v + 3*v + 112, -2*o - 4 = 0. Let z be (-2)/7 - v/7. Suppose -k - 477 = -z*l, 3*k + 2 = -1. Is l prime?
False
Suppose 187*p - 150137 = 174*p. Is p a composite number?
False
Let t(j) = -3*j + 6. Suppose 0 = 5*u - 5, 9 = -0*h + 2*h + 5*u. Let w be t(h). Suppose w*k - p + 609 = 5*k, -4*k = -4*p - 468. Is k prime?
False
Let s be ((-30)/3 + -3)*2. Let d = s + 40. Is d/4*(333 + 1) prime?
False
Let d = 48990 - 24129. Is d a prime number?
False
Is -509*8/(-16)*14 a composite number?
True
Suppose 0 = 4*u + 169 + 127. Let c(z) = 5*z**2 + 4*z + 7. Let x be c(-5). Let o = u + x. Is o prime?
False
Suppose 19059 = 28*d - 25*d. Is d composite?
False
Let n(h) = 3*h**3 - 6*h**2 - 3*h. Let p be n(6). Let j = p - 197. Is j prime?
False
Let c(z) = z**3 + 39*z**2 + 13*z + 25. Is c(-18) prime?
False
Let l be 2/7 - 60/14. Let y(d) be the third derivative of -d**4/8 - 5*d**3/6 + 5*d**2. Is y(l) prime?
True
Let y be (14/6 + 1)/(16/24). Suppose 0*i - y*i + 2600 = 5*g, 2089 = 4*g - 5*i. Is g prime?
True
Suppose 5*o + 31 = 11, 0 = -2*k + 4*o - 772. Let w = 15 - k. Is w a composite number?
False
Let n be 32/24*(0 - 3). Let q be (10/(-4) - -2)*n. Let y(c) = 21*c**2 - 2*c + 3. Is y(q) composite?
False
Suppose -2*o + 5*m = -4580, 7*m = 2*o + 5*m - 4574. Is o composite?
True
Let t = 1051 - -470. Suppose -5*g = -134 - t. Is g composite?
False
Is 3/((-3)/(-11027))*(-45 - -46) composite?
False
Suppose 10*a - 35669 = 16281. Is a prime?
False
Is ((-60)/40)/((-6)/31268) composite?
False
Let m = 3189 - -86. Suppose -643 = -d + 5*u, 5*d + 6*u - m = u. Is d composite?
False
Suppose -4*z = 3*r - 131333, -4*z + 2*r = -57776 - 73542. Is z a prime number?
True
Let w be (-9 - -8)/(1/(-1324)). Let a = w - 851. Is a composite?
True
Suppose 5*o - 61103 = 13*p - 16*p, -2*p + 12215 = o. Is o composite?
True
Suppose 4*w - 17 = -5. Suppose -4299 - 3210 = -w*h. Is h prime?
True
Let o(u) = u**3 - 15*u**2 + 14*u - 14. Let m be o(14). Let d be 1042/m - 36/(-84). Let k = 237 + d. Is k a prime number?
True
Suppose -d + 6657 = -5*o - 3084, 9733 = d + 3*o. Let n = -6921 + d. Is n a prime number?
False
Let o(a) = -a**3. Let k(y) = 7*y**2 - 5*y + 1. Let j(f) = -k(f) + 2*o(f). Is j(-7) a composite number?
False
Let k be (0/(-2))/(6 + -4). Suppose -9*j + 1440 - 261 = k. Is j composite?
False
Let m(l) = 479*l**2 + l - 1. Let o(p) = p**2 - 3*p + 1. Let y be o(0). Is m(y) prime?
True
Let s = 4 + 1. Suppose -s*n = -2*g - 1846, 0*n - 2*n + 5*g + 751 = 0. Suppose 3*z - n + 11 = 0. Is z prime?
False
Suppose -3*v + 0*v + 3*k = -45216, -4*v - 4*k + 60296 = 0. Is v a prime number?
True
Let n(c) = 85*c**2 - 6*c - 2. Let s be n(4). Suppose 4*v = 2*y - s, 398 + 2330 = 4*y + 4*v. Is y prime?
True
Suppose 2*n - 2*w = w - 68, -2*w - 89 = 3*n. Let l = n + 393. Suppose l = 3*p - 292. Is p prime?
False
Let x be 5539/2 - 7/14. Suppose 0 = -2*f + x - 395. Is f prime?
True
Suppose -o = -5, 4*o = 5*x + 729 - 2844. Let u = -27 + x. Suppose -5*v + 145 = -u. Is v composite?
False
Suppose -5*o = -2*h - 105005, 43*h = -5*o + 39*h + 105005. Is o a prime number?
True
Is -3046*13*(1 + 3/(-2)) prime?
False
Suppose -b + 1 = 3*l + 4, b - 2*l = -3. Suppose 10 = -5*o + 10*o. Is b/o - 282/(-4) prime?
False
Is ((-40)/200)/(0 + 3/(-35895)) composite?
False
Suppose -s = 4*r - 166292, -5*r + s = 2*s - 207865. Is r prime?
False
Is (-1922274)/(-144) + (6/16)/(-3) a prime number?
False
Let i be 124/(1 + 0)*-1. Let l be -3 - (i*7 + -4). Suppose m - l = 5*d, 5*m + 0*d - 4345 = 4*d. Is m prime?
False
Suppose 0 = k - 21*k + 60. Let b = 0 + 3. Suppose b*q - 294 = -k*q. Is q a composite number?
True
Let t be (1/2)/((-8)/(-7376)). Let u = t - -126. Is u a prime number?
True
Let v be (-62)/8 + 2 - (-3)/(-12). Is 7/(245/43940) - v/(-14) a composite number?
True
Suppose 498 = 9*k + 4494. Is 2 + -3 - (2 + k + 2) a composite number?
False
Let d = -78 - -185. Let w = -75 + d. Suppose -4*l - 4*a + 152 = 0, 5*a = -2*l + 3*l - w. Is l a prime number?
True
Let m(f) = 3*f**3 + 24*f**2 - 6*f - 8. Let y(g) = -8*g**3 - 71*g**2 + 17*g + 24. Let n(d) = -11*m(d) - 4*y(d). Is n(9) a composite number?
True
Let g = 31 - 21. Let l(p) = p**3 - 7*p**2 + 4*p - 3. Is l(g) composite?
False
Let n = 7791 - 4972. Is n prime?
True
Let d(x) = -x**2 - 5*x - 5. Let i be d(-4). Let a = 4 + i. Is (26/a)/((-8)/(-60)) composite?
True
Let m(f) = 2*f**3 - 24*f**2 + 48*f + 53. Is m(30) composite?
False
Let y(k) = 82*k**2 - 10*k + 41. Is y(7) a prime number?
True
Let t = -53 + 53. Suppose t = 7*m - 3459 - 2750. Is m prime?
True
Let m = -10 + 12. Is ((-994)/(-2))/(m/2) prime?
False
Suppose 5*u + 66 = -4*m, 2*m - m - 2*u + 10 = 0. Let v(a) = 2*a**2 + 24*a - 35. Let r be v(-20). Let z = r - m. Is z a prime number?
False
Let a(f) = f + 14. Let n be a(-11). Suppose n*u - 4*q - 52 = q, u - 2*q - 18 = 0. Let z(h) = 6*h - 29. Is z(u) a composite number?
True
Suppose 13851 - 87335 = -4*d. Is d prime?
True
Let n be ((-2)/(-2))/((-5)/(-5))*-1. Is (-2)/(-6)*n/(3/(-441)) a composite number?
True
Suppose 0 = 38*h + 28*h - 275946. Is h a prime number?
False
Suppose -w + 3*l + 5938 = 0, 37103 = 5*w + 6*l + 7518. Is w prime?
True
Suppose 4*o = o. Suppose 6 = 2*f - o. Suppose 136 = -f*c + 517. Is c composite?
False
Let w = 2570 - 30. Suppose 2*c + 4*a = 6*c - w, -c = a - 627. Is c prime?
True
Suppose a - 2*p + 6 = 0, -5*a + a - 60 = 4*p. Let z be 78 + 0 - (-1 - 0). Is (z + 0)/((-6)/a) prime?
False
Let w = 1555 - 920. Suppose 3*z - 1246 = z - 2*p, 4*p = -z + w. Is z a composite number?
False
Suppose 0 = 4*w + b - 10790 - 9418, -w + 5*b = -5031. Is 