e
Let u(f) = -15*f**3 + 6*f + 25. Is u(-6) a prime number?
True
Let d(r) = 253*r + 45. Is d(6) composite?
True
Suppose 3*d - d - 3*s = 15, -3*d + 21 = -5*s. Is 15/(-10)*(-296)/d a composite number?
False
Let h be (-238)/4*-32 - 4. Suppose -3008 = -4*g + h. Is g composite?
True
Suppose -v = 2*p - 12481, 3*p - 8140 = 3*v - 45547. Is v prime?
True
Let v = 190 - 136. Suppose -18 = 3*u + v. Let x = u + 45. Is x composite?
True
Let v(t) = 6*t**2 + t + 2. Suppose -k + 0*k + 3 = 0. Suppose k*d = -13 + 4. Is v(d) a prime number?
True
Suppose l - 431 = -4*t, -l + 5*t + 1378 = 2*l. Is l prime?
False
Suppose 5*r + 78486 = 5*h + 12631, 5*h = -5*r + 65875. Is h composite?
True
Let p(i) be the second derivative of i**4/12 - i**3/6 + 341*i**2/2 - 2*i. Let l be (6/4)/3 + 2/(-4). Is p(l) a prime number?
False
Let u = 6 + -5. Suppose -r = u - 5. Is (-4)/r - (3 - 7) composite?
False
Suppose 5*g = -46376 + 128086. Is g prime?
False
Let v be (110/(-25))/(12/(-30)). Let l(i) = -i**2 + 15*i + 7. Is l(v) composite?
True
Suppose -450 = -2*j + 902. Suppose 0 = 4*p + 5*w - 1713, 2*p - j - 148 = 4*w. Is p a prime number?
False
Suppose -i = 4*g - 13542 - 7770, i + 26631 = 5*g. Is g prime?
False
Suppose 5 = -d + 2. Let b(p) = 51*p + 4. Let l be b(d). Is (1 - -2)/((-3)/l) a composite number?
False
Let b(r) = r**3 + 8*r**2 + 10*r - 8. Let k be b(-6). Suppose -a = k*a - 925. Is a a composite number?
True
Let k = -207 - -119. Let h = k + 146. Is h a composite number?
True
Suppose 0 = c + 4*a - 3723, 2*a - 2279 = -c + 1452. Is c composite?
False
Let k(c) = -c**3 + 24*c**2 + 20*c + 66. Is k(23) prime?
False
Let s = 1 + 4. Let l = 1 + s. Is 3/(l/67)*2 composite?
False
Suppose -251*o = -249*o - 8. Suppose p + 2 = 2*p. Is (p/o)/((-2)/(-556)) a prime number?
True
Let s = 69 - 36. Let b = s + -30. Suppose -l - b*f = 3*l - 335, l - 86 = -3*f. Is l prime?
True
Let c = 4003 - 913. Is (-4 + 3)*1 + c a composite number?
False
Is (724760/(-60))/((-2)/3) composite?
False
Let v(n) = -242*n**3 + 19*n**2 - 7*n + 13. Is v(-6) composite?
True
Suppose 73787 = -2264*m + 2271*m. Is m composite?
True
Let c = 22 - 22. Let g be (3 - c)/((-7)/(-112)). Suppose 5*p + g - 203 = 0. Is p prime?
True
Let g(m) = -3 + 1 - 213*m + 4. Is g(-3) composite?
False
Suppose -72 = 13*b - 293. Suppose 13*m - b*m + 1924 = 0. Is m prime?
False
Suppose 4*w - 628 = -j - 0*j, -304 = -2*w + 2*j. Suppose 0 = -v + w + 1. Suppose -y - 3*n - n + 95 = 0, 3*n + v = 2*y. Is y a composite number?
False
Let d = 5913 - -1165. Is d a prime number?
False
Suppose x + 3*i = 15344, -5*x + 33424 + 43262 = -2*i. Is x a composite number?
True
Let i = 1 - 1. Suppose 0 = 5*s - w + 4*w - 3506, 3*w + 9 = i. Is s prime?
False
Suppose 10*b + 88 = 12*b. Suppose 13 = -j + b. Is j a prime number?
True
Let s(n) = 116*n**2 + 22*n + 14. Let b be s(-10). Suppose 0 = -f + 4*m + 2409 + 1372, -5*m + b = 3*f. Is f prime?
True
Let g = -12460 - -67595. Is g prime?
False
Suppose 0*o - 4540 = -5*z - 5*o, 0 = -z - 5*o + 900. Let n = -56 - -55. Let l = z - n. Is l a prime number?
True
Suppose 0 = k - 15 - 354. Let y = -238 + k. Is y a prime number?
True
Let v = 318 - 38. Let c be (6/10)/(8/v). Let s = 55 - c. Is s a prime number?
False
Suppose -22*h = -27*h + 115465. Is h composite?
True
Let p(k) = 37*k**2 - 2. Let c(d) = 2*d**2 + 11*d + 5. Let b be c(-5). Let t be 16/(-4) + b + 1. Is p(t) prime?
True
Let j(r) be the first derivative of r**2/2 + 15*r + 4. Let o be j(-11). Suppose -5*z = -2*p - 81, 2*z + 0*z = -o*p + 18. Is z composite?
True
Suppose -253062 = -92*v + 74*v. Is v a composite number?
True
Is 1/(2011746/(-167646) + 12) a composite number?
False
Let l be ((-2812)/10)/((-5)/(-25)). Suppose j = -2*j + 6225. Let c = l + j. Is c a composite number?
True
Let s(y) = 7895*y**3 - y**2 + y + 2. Is s(1) a prime number?
False
Suppose -5*i = -0*i - 4425. Suppose 3*f = -2*f + i. Is f composite?
True
Suppose -2*m - 2 + 4 = 0, 0 = 3*u + 2*m - 2462. Let f = u + -564. Let n = f - 43. Is n a composite number?
True
Is ((-1)/(-4))/(174/1517976) prime?
False
Let b(p) = p**3 - 4*p**2 + 30. Suppose 5*l - 38 - 32 = 0. Let d be b(l). Suppose -o + 3*a + 1310 = 329, 2*o = -a + d. Is o a composite number?
True
Let p = -4728 + 7987. Suppose 3*m = -3*a - 322 + p, -967 = -a + 5*m. Is a prime?
True
Let c(o) = 5*o**2 - 49*o - 40. Let v(a) = -a**2 + 12*a + 10. Let f(z) = -2*c(z) - 9*v(z). Let g be f(-10). Is 45*(g/6 + 2) a prime number?
False
Let m(q) = -2*q - 7. Let y be m(-4). Is -2 - y*621/(-3) prime?
False
Suppose 329*v - 327*v - 17142 = 0. Is v prime?
False
Suppose -7*u + 48616 + 9141 = 0. Is u a prime number?
False
Suppose 2*g = -3*v + 511, 2*g - 738 = -g + 5*v. Is g composite?
False
Is -12 - -1 - (-721350)/70 prime?
False
Let p be -4*5/((-60)/9). Let t be (2 - p)*6/(-3). Is (-2)/(t + 1680/(-838)) a prime number?
True
Let z(t) = 318*t**3 + 9*t**2 - 11*t + 9. Is z(5) prime?
True
Let w be (-6)/27 - (-4)/18. Suppose w*h = -h + 391. Is h prime?
False
Let l = 2 + 41. Is l prime?
True
Is 2672553/312 - 1/(-8) a prime number?
False
Let k be 1 - (431 - -2)*1. Let o = k + 273. Is 2 + o/(-1) + 2 a prime number?
True
Let i(w) = 190*w - 73. Is i(5) a prime number?
True
Suppose 4*d + 2183 = 5*o, -4*o + 1732 = -d + 5*d. Let i be -2 + -6*(-2)/2. Suppose -o = j - i*j. Is j composite?
True
Let h be ((-22)/(-8))/((-1)/4). Let q be h/((-22)/(-1764))*2. Let m = q - -2685. Is m composite?
True
Let p(d) = d**3 - 7*d**2 + 2. Let m be p(7). Suppose -4*s - 8 = -f, s + 0 + m = 2*f. Suppose -h + 11 + 0 = f. Is h composite?
False
Suppose -2*q + 66 = -88. Is (q - 1) + (-10 - -13) a composite number?
False
Is 102152/32 + 3/4 composite?
True
Let v(c) = -c + 1. Let i be v(3). Is (-4 + 7 + i)*133 a composite number?
True
Suppose 1 = 4*x + f + 4*f, -4*x - 3*f = -7. Suppose 0 = x*p - a - 715 - 18, a + 1 = 0. Is p prime?
False
Suppose 5*q = 2*q + 633. Suppose k + 0*k + 5*u = 211, k - u = q. Is k prime?
True
Suppose 4*p + 26*p = 91230. Is p prime?
True
Suppose -5*a - 3*h + 551 = -356, -2*h + 903 = 5*a. Is a a prime number?
True
Let n(s) be the first derivative of 5*s**3/3 - s**2 + 3. Let h be n(1). Suppose h*f = 7*f - 380. Is f prime?
False
Let f(v) = -58*v - 8. Let c be f(9). Let k = c + 4101. Is k a prime number?
True
Let z = 461 + -332. Is z composite?
True
Let d(j) = -j**3 + j**2 + 2*j + 2459. Is d(0) a prime number?
True
Suppose 0 = -0*i + 2*i + 2*g - 24, 5*i - 2*g = 46. Is ((-5)/i)/((-1)/894) a composite number?
True
Suppose -k = 2*k + 21. Let i(m) = m**2 - 5*m + 2. Let y be i(k). Let f = y + 215. Is f composite?
True
Let z be ((-1835)/(-10))/(2/4). Let l = z + 826. Is l composite?
False
Suppose 6*j = -0*j + 12. Suppose 3*m - j*o - 10398 = m, 0 = 2*m - 4*o - 10406. Is m a composite number?
True
Suppose 110*g - 111*g + 20593 = 0. Is g composite?
False
Let p = 1539 + -2393. Let h = 1236 + p. Is h prime?
False
Suppose 9*n - 1426 - 1436 = 0. Suppose -5*c + n = c. Is c composite?
False
Suppose 2*f + 3*f = 3*b + 13, 3 = -3*b. Let c(y) = -f - 1 + 48*y + 1 + 4. Is c(3) a prime number?
False
Let p = -3279 - -1518. Let c = p + 2864. Is c prime?
True
Let g(w) = w**2 - 6*w - 7. Let j be g(7). Suppose p + 5*r - 6 - 7 = j, -4*p - r = -14. Suppose a = i - 2*i + 355, -5*i = -p*a - 1775. Is i prime?
False
Let x = -47 - -308. Suppose x - 1281 = -4*y. Suppose -5*r = -0*r - y. Is r prime?
False
Suppose -3*g = -2 - 7. Let y be ((-1)/(-4))/(g/24). Suppose -5*t = -y*u + 9 - 642, -4*t = -3*u - 505. Is t composite?
False
Let o(l) = -2*l - 7 - 6 + 11*l**2 - 7*l**2 + 10*l**2. Is o(6) composite?
False
Let y be ((-40260)/16)/(6/(-32)). Suppose 2*c - 3*u + 1443 = 8155, -4*c + y = -4*u. Is c prime?
False
Let j(g) = 1369*g**2 - 8*g. Is j(1) a prime number?
True
Suppose 4634 - 18232 = -26*d. Is d composite?
False
Let m = 4 + -6. Let v be ((-90)/(-12))/(m/(-20)). Let z = -40 + v. Is z a composite number?
True
Let r(u) = 17*u - 30. Let w(n) = -n**2 + 21*n - 15. Let j be w(20). Is r(j) a prime number?
False
Let h be (-14550)/(-14) + 8/(-28). Suppose 0 = -m + 4*c + h, -2*m - c + 2066 = -5*c. Is m a prime number?
False
Suppose d = 2*h - 107 - 36, -d - 146 = -5*h. Suppose 0 = l - 4*j - 43 - 171, -3*l - j = -694. Let x = d + l. Is x a composite number?
False
Let v = 12156 - 1835. Is v a prime number?
True
Let r(u) = 2*u. Let y be r(7). Let d = -12 +