number?
True
Let i(m) = -m**2 + 9*m - 20. Let a be i(6). Let o be (-59367)/(-11) + 8/a. Suppose -4*z = -3*t - 7193, -3*z + 7*t = 3*t - o. Is z a prime number?
False
Let c(s) = 631*s - 118. Is c(5) a composite number?
False
Let t(r) = 305*r - 523. Is t(40) composite?
False
Let j(k) = -k**2 + 5*k - 2. Let x(i) = -i**3 - 8*i**2 - 8*i - 3. Let o be x(-7). Let n be j(o). Suppose n*t - 13 - 305 = 0. Is t a composite number?
True
Let l = 5916 + -3142. Let w = l - 93. Is w prime?
False
Suppose 24*l - 502769 = 188167. Is l composite?
False
Let h(a) = -10 + 6 + 23 + 68*a. Is h(14) prime?
True
Suppose 0 = 3*d - 2*c - 34, 0 = -3*d - d + 4*c + 40. Suppose -d*p = -13*p - 3223. Is p a prime number?
False
Let z(r) = -117*r - 5 + 3 - 61*r + 1. Suppose b - 3*b = 2. Is z(b) a composite number?
True
Let a(l) = -l**3 - 9*l**2 - 6*l + 8. Let k be a(-8). Is (2 - (-252)/k)*-2 a composite number?
False
Let z(l) = 6*l**2 - 2*l - 4. Let o be z(5). Let c = 195 - o. Is c a prime number?
True
Is (4 - (-30)/(-12)) + (-65902)/(-4) a composite number?
False
Let v(p) = 1588*p - 205. Is v(8) a composite number?
True
Let c(m) = -m**3 - 7*m**2 - 2*m + 5. Suppose 0 = -5*z + 10, z = -3*n - 2*n + 7. Let w(d) = -6*d**3 - d**2. Let u be w(n). Is c(u) a prime number?
True
Let j = 6395 + -2350. Is j a composite number?
True
Suppose -440 = 5*q - 5*f, 0 = -5*f + f. Let h(r) = 29*r + 7. Let s be h(-2). Let c = s - q. Is c prime?
True
Suppose 0 = -56*u + 51*u + 24695. Is u a prime number?
False
Suppose 0 = 4*n - 60 + 20. Let o be (0 - -4)*-1 + n. Let c(d) = 3*d**3 - 9*d**2 + 9*d - 7. Is c(o) prime?
False
Let u(c) = -5*c**2 + 15*c**2 + 176*c + 25 - 168*c. Is u(-5) composite?
True
Let i(t) = 1606*t**2 - t + 5. Let v(d) = 1607*d**2 - 2*d + 6. Let k(m) = 4*i(m) - 3*v(m). Is k(-1) composite?
True
Suppose 4*i = 5*b - 2190, -3*b - 2*i = 2*b - 2220. Let p = 99 + b. Is p a prime number?
True
Let i(r) = 2238*r**2 + 6*r + 5. Is i(-1) a prime number?
True
Let f(t) = t**3 + 8*t**2 - 2*t - 12. Let x be f(-8). Suppose -x*y + 6*j - 3*j + 6361 = 0, -6351 = -4*y + 5*j. Suppose -y = -0*q - 2*q. Is q composite?
False
Let z = -9 - -12. Suppose 0*a - z*d - 3907 = -2*a, -3*a + 5850 = -d. Is a a prime number?
True
Suppose -6*h = p - 2*h - 1481, -2*h = p - 1481. Is p a prime number?
True
Suppose 100*m - 71*m - 250589 = 0. Is m composite?
False
Let b = 48 + 288. Suppose 3*n = -12, 0*n - b = 4*x + 2*n. Is (3 - x) + (3 - -1) a prime number?
True
Let r(q) = -q**3 + 3*q**2 + 6*q - 3. Let i be r(4). Suppose 2 = 2*g, i*y - g + 2*g - 16 = 0. Let p(f) = 2*f**3 + 3*f**2 + 3*f - 1. Is p(y) a composite number?
False
Let t = -8613 + 12072. Is t prime?
False
Let q = 16 + -13. Suppose 0*m - 2*j + 7 = -q*m, 0 = -3*m + 4*j - 17. Is (-194 - -2)/(-4) - m prime?
True
Suppose -3*y + 2*y = 0. Suppose -5*s + y*k + 1115 = 2*k, 4*s = 5*k + 892. Is s composite?
False
Let s(c) = 111*c**2 + 9*c - 1. Is s(6) a composite number?
False
Let z(u) = -26*u - 15*u + 17*u. Let k be z(-3). Let n = 123 - k. Is n prime?
False
Let n be (2 - (-3 - -192)*-1)/1. Suppose -858 = -a + n. Is a composite?
False
Let g(n) = -3*n**2 - 3*n - 33. Let u(x) = -5*x**2 - 5*x - 49. Let o(b) = 8*g(b) - 5*u(b). Is o(17) a composite number?
True
Let p be 2*((-3822)/(-18) - 2/(-3)). Suppose -4*h + 1078 - p = 0. Is h a prime number?
True
Suppose -5 = -3*l + q, -4*l + q + 7 = -0*l. Suppose l*g = 4*g - 1942. Is g composite?
False
Let h = -1494 - -2302. Suppose -h = 4*z + 1924. Let l = -430 - z. Is l composite?
True
Let k = -354 - -4176. Is 4/(-8) + k/4 a prime number?
False
Suppose -2*g + 618 + 1296 = 0. Suppose -g = -4*l + 1111. Is l composite?
True
Let h = 218 - 1463. Is ((-8)/(-10))/((-6)/h) + -3 a composite number?
False
Let x = -27 + 59. Suppose 0 = 3*k + k + x. Is (1 + 0)*(k + 131) a prime number?
False
Let t(i) = i + 13. Let s(d) = -3*d**3 + 4*d**2 - 3*d + 1. Let y be s(2). Let q be t(y). Suppose -2*v - 5*x + 978 = -712, 5*v + 5*x - 4195 = q. Is v prime?
False
Let i(q) = 324*q + 2. Let h = 37 + -36. Is i(h) a prime number?
False
Let k(y) be the second derivative of 5*y**4/12 - 5*y**3/6 - y**2/2 + 11*y. Is k(-6) a prime number?
False
Let y(n) = 751*n + 357. Is y(10) composite?
False
Suppose -4*m + 7*m + 6 = 0. Let g be (1 - m) + 4 + -3. Suppose 0*u = u + g*v - 77, u - 107 = 2*v. Is u prime?
True
Suppose 0 = -39*f + 31*f + 11528. Is f a prime number?
False
Let o = 59 - 59. Suppose v + v - 3*h = 448, o = -2*v + h + 444. Is v prime?
False
Let n(v) = 1 - v**2 - 11*v**3 + v**2 + 2*v + v**2. Let u be n(-2). Suppose 0 = 3*a - u - 178. Is a a composite number?
False
Let l = 175 + -100. Suppose -9*t = -4*t - l. Suppose -3*o + 2*o + t = 0. Is o a composite number?
True
Let r = -6776 - -18861. Is r a composite number?
True
Let z(v) = -204*v - 5. Is z(-1) a prime number?
True
Let h = -343 - -840. Is h a prime number?
False
Let v(y) = -72*y**3 - 3*y**2 - 7*y + 7. Is v(-3) prime?
False
Let q(k) = k**3 + 10*k**2 + k + 12. Suppose 3*v - 2*v = -10. Let z be q(v). Suppose -z = -5*u + 153. Is u a prime number?
True
Suppose 4*o + 3*k + 0*k = 1952, 4*k - 16 = 0. Let d = 25 + -17. Suppose 3*v + o = d*v. Is v prime?
True
Let w be -4 + (41 - 1) + 2. Let z be w/14 - 28/(-98). Is 680 + 3/(z/(-1)) a prime number?
False
Suppose 367*g - 56874 = 361*g. Is g a prime number?
True
Let z(i) = -50*i**2 + i - 1. Let u be z(-1). Is ((-26)/u)/((6/(-9652))/(-3)) a composite number?
True
Suppose h + 0 + 6 = -f, 4*f + 27 = -5*h. Is h/6 + 3214/4 prime?
False
Let z(q) = 12 - 8*q - 5*q**2 - 100*q**3 + 20*q**2 + 99*q**3. Let s be z(10). Let x = s - 181. Is x a prime number?
True
Let p = 317 + 1044. Is p composite?
False
Suppose 0 = -4*z + 8. Let v(h) = 204*h**3 + 3*h - 1. Is v(z) prime?
True
Suppose 15 = -2*y + 5*y. Is y + -4 - (-38 - -2) composite?
False
Let b = -1041 - -1841. Let p = b - 469. Is p a prime number?
True
Let r = -3495 - -11576. Is r a prime number?
True
Let i(b) = 524*b + 45. Let u(g) = 175*g + 15. Let r(a) = -3*i(a) + 8*u(a). Is r(-4) a composite number?
False
Let v(s) = -8 - 14*s + s**3 + 2*s**3 + 3*s - 10*s**2 - 4*s**3. Let x be v(-9). Suppose 5*h - x*h = -995. Is h a composite number?
False
Is 3/9 - 18440/(-12) a prime number?
False
Let h(l) = -15*l - 2. Let z(p) = p - 1. Let o(n) = h(n) + 3*z(n). Is o(-3) prime?
True
Suppose 10*t - 5*t = 3*f - 95608, 5*f - 159290 = -3*t. Is f prime?
False
Let v(z) = 33*z**2 - z - 9. Suppose 13*m - 16*m = -12. Let s be v(m). Suppose 2*a - s = h, 2*a + 2*h = -a + 783. Is a composite?
True
Let n(u) = -139*u - 14. Let c be n(-2). Let h = 815 - c. Is h prime?
False
Suppose 0 = -2*j + 3*h + 13, 4*j + 4*h = 99 - 23. Let t = j + -11. Suppose 3*d + 1233 = t*n, 2*n - 3*d = 6*n - 1630. Is n prime?
True
Let q(v) = -46*v**3 + 3*v**2 - 5*v - 7. Is q(-3) a prime number?
True
Let j = 1369 + -3848. Let b = -678 - j. Is b composite?
False
Suppose -2*v = 2*x + 4 + 6, -5*x + 2*v = 39. Let f = -370 - -377. Is f/(x/(-4)) - -214 prime?
False
Suppose 0 = -8*z + 4*z + 1504. Suppose -680 = 3*d + 5*w, -3*w + 17 = 2. Let q = z + d. Is q composite?
True
Let b be (-256)/(-10) - 20/(-50). Let n = b - -12. Suppose 2*q + 76 = 4*p, 2*p + 0*p - 3*q = n. Is p composite?
False
Suppose -110*x = -105*x - 17935. Is x a composite number?
True
Let u be (-1 + 0)/((-2)/26). Let t(d) = -d**3 + 16*d**2 - 15*d + 7. Is t(u) a composite number?
True
Suppose 3*q - 6*q + 7475 = -2*k, 0 = -q - 3*k + 2488. Is q composite?
True
Let x = -15 - -21. Let j = x - -37. Is j a prime number?
True
Suppose -65*y + 278055 = -20*y. Is y a prime number?
False
Suppose d = 3*d - 24. Let n(h) = d*h + 6 - 3 + 5 - 3. Is n(7) prime?
True
Suppose -2*u + 5*x = -0*u - 3697, 3*x - 1854 = -u. Suppose 2*q = -3*i - u + 10312, 4 = 2*q. Is i a composite number?
False
Let c = 40 - 37. Is -4*(0 - c/(12/409)) composite?
False
Let k(c) = -c**3 - 5*c**2 + 6. Let p(v) = 3*v**2 - 10*v + 3. Let f be p(3). Is k(f) a composite number?
True
Suppose 17*n = 19*n - 25858. Is n prime?
False
Let w(a) = a**3 - 3*a**2 + 13*a - 19. Let b be w(10). Suppose b = 4*p + 5*q, p - 5*p + q = -841. Is p composite?
True
Let z(h) = 24*h**2 - h - 1. Let v be z(-1). Let s = -24 + v. Suppose -2*y = -s - 8. Is y prime?
False
Let f be 2043/2 + 3/6. Suppose 0 = -3*h + 3*c + f + 910, -5*h + 4*c = -3225. Is h composite?
True
Let v be (4/6)/((-6)/(-144)). Suppose u - 21 = -2*o 