o(b). Is i(8) prime?
True
Let d = 8635 - -3894. Suppose -9*a + d = -10034. Is (-18)/(-12) - a/(-2) a composite number?
True
Let o(t) be the second derivative of 5*t**7/24 + t**6/720 - t**5/40 + t**4 - 7*t. Let g(y) be the third derivative of o(y). Is g(2) prime?
True
Let f = 72 + -88. Let t(q) = -251*q + 95. Is t(f) a composite number?
False
Is (-387682)/(24/(11 - 23)) composite?
False
Let a(o) = -22*o - 654*o**2 + 19 + 112*o**3 + 649*o**2 + 6*o**3. Is a(6) a prime number?
False
Let i be (-1)/((2/18)/(1/(-3))). Suppose -3*x = i*n - 6849, 8*n + 9132 = 4*x + 7*n. Is x composite?
True
Suppose 4*u = 4*k + 716, 2*k - 935 = -5*u - k. Suppose -6*a - 152 = -3*a - 5*o, 2*o - u = 4*a. Let t = 99 + a. Is t a composite number?
True
Let l(b) = 740*b - 71. Suppose 9*n - 26 = 46. Is l(n) composite?
False
Suppose 2*l = -2*t + 10522, 5*l - 4*t = -7*t + 26305. Is l prime?
True
Let y = -23 + 29. Suppose 8 = -y*u + 8*u. Suppose -5*j + u*j + 235 = -4*c, -3*j = -2*c - 745. Is j a prime number?
True
Let q(i) = 23 - 37*i**2 - 2*i**3 + i**3 + 17*i**2 - 25*i. Is q(-22) prime?
False
Suppose 0 = -5*j - 4*a + 506775, 2*a + 280511 = 4*j - 124935. Is j prime?
True
Let j(u) be the third derivative of -305*u**4/24 - 11*u**3/6 + u**2. Let f be j(-5). Is f*-4*(-3)/24 a prime number?
True
Suppose -2*r - 3*r + 4*r = 0. Suppose -2*b - 2078 = -2*d, r*d - b = 2*d - 2090. Is d prime?
False
Let z be (-6 - -2 - -2)/((-4)/(-22)). Let m be 2/11 - 31/z. Suppose m*n - 1081 - 2270 = 0. Is n a prime number?
True
Suppose -27*d - 2750225 = -18*d - 34*d. Is d a prime number?
False
Let d = 68 - 65. Suppose -15*h + d*h = -360. Is ((-548)/6)/(20/h)*-2 a prime number?
False
Suppose 2*t = -8*r + 3*r - 221, -538 = 5*t - 2*r. Let b = 109 + t. Is 5*(b - 2) - -39 composite?
True
Suppose 48*p - 19117002 - 10128613 = 13*p. Is p composite?
True
Suppose 2*f + 2*r + 6 = 0, 5*f - 2*r - 18 = f. Suppose -6*u = 2*p - 2*u - 53806, 5*u = f*p - 53806. Is p a prime number?
True
Let z(b) = 20*b**2 + 26*b - 5. Let r(k) = -16*k**2 - 9*k - 1. Let w be r(-1). Is z(w) a composite number?
True
Let d = -607 - -1161. Let x = d - 43. Is x composite?
True
Let b = 308 - 319. Let k be 2/(537/(-268) - -2). Is k/(-2) + b + 12 a composite number?
False
Let w be 255365/15 - (-4)/6. Suppose -1866 - w = -9*i. Is i a prime number?
True
Suppose -5*m - 54 = 3*c, 0 = -2*m - 9*c + 4*c - 33. Let k(h) = -64*h - 9 - 121*h - 1. Is k(m) a prime number?
False
Suppose -25*p + 56*p = 1233893. Is p a prime number?
False
Let p(u) = -88*u**2 + 16*u - 25. Let j(n) = 89*n**2 - 20*n + 25. Let d(w) = -3*j(w) - 4*p(w). Is d(4) composite?
True
Suppose -3*s = -2*s - 33. Suppose b + 3 = 5*c + s, 4*b - 2*c = 30. Suppose 0 = -3*l + 9, -b*i - 2*l = 152 - 8823. Is i composite?
False
Let f(c) = -940*c - 13. Let n be f(-5). Suppose -3*d = -2*a - n, 3*d - 816 = -2*a + 3875. Suppose 0 = 23*s - 20*s - d. Is s prime?
True
Suppose -14*t + 867905 + 2013365 = 0. Is t a composite number?
True
Let m be (-22)/33 - (2 - (-16)/(-6)). Let f(k) = 1646*k**2 + k. Let p be f(1). Suppose m = x + d + d - p, -5*d = 2*x - 3289. Is x prime?
True
Let m be 3/(6*5/(-50)). Is m*6/15 - -4051 a composite number?
False
Let u(z) be the first derivative of 19*z**3/3 + 2*z**2 - 22*z + 13. Suppose -l - 3*n + 0*n + 5 = 0, -n = l - 5. Is u(l) a composite number?
True
Let c(q) = -4*q + 41. Let g be c(10). Let z be 3 + 0*g/(-2) + -3. Suppose -22*w + 19*w + 1245 = z. Is w a prime number?
False
Suppose -169 = 26*i - 65. Is ((-3)/12*-19310)/(i/(-8)) prime?
False
Let q = 1012 + -801. Suppose -122684 = q*d - 215*d. Is d a composite number?
False
Let f(j) = -4333*j - 72. Let q be f(-12). Suppose -9*a + 21*a - q = 0. Is a a composite number?
False
Is 4*3/30*20/(-8)*-585953 prime?
True
Let o = 2 - -2. Suppose -o*t - 912 = 144. Let i = 391 + t. Is i composite?
False
Let s be (-7831)/(-3) - (10/30 - -1). Let z = s + -916. Is z a composite number?
False
Let o(w) = 45400*w + 611. Is o(3) a composite number?
False
Let m(d) = -d - 260. Let v be m(0). Let z be 2423*3/3 + 10. Let t = v + z. Is t composite?
True
Suppose -4*w + 95614 = -2*u, 0 = -4*w + 5*w - 3*u - 23891. Is ((-12)/(-24))/(-1 + 23907/w) prime?
True
Let l be 320/4 + (3 + -3)*1. Let g = -78 + l. Suppose 12400 = 5*n + g*o - 3*o, 2*o + 7447 = 3*n. Is n prime?
False
Is (-19580880)/(-15) + (21 - 12) a prime number?
True
Let d(b) be the first derivative of 21 - 5 + 7*b**2 - 9*b + 0*b + 3*b**2. Is d(3) composite?
True
Let u be (-4)/(-2) - -36*1. Suppose 0 = -34*z + u*z - 60. Suppose -10*l - 5305 = -z*l. Is l a prime number?
True
Let o(w) = 369*w**3 + w**2 + 7*w - 7. Suppose -5*h - k + 12 = 0, -3*k + 14 = 2*h + 2*k. Is o(h) prime?
True
Suppose 0 = z - 3*h - 62459, 0 = -5*z - 4*h + 331273 - 18978. Is z a prime number?
True
Let j be 16*7/8*2/7. Is (-64)/8 + j - -1899 composite?
True
Let w = 1833 + -1826. Let k(v) = 8*v + 7*v**3 - 4*v - 3*v**3 - 14 - 7*v**2. Is k(w) a prime number?
False
Let y(g) = 442*g**2 - 33*g - 61. Let q be y(-2). Let z be (-4)/(-14) + 11960/(-14). Let i = q + z. Is i composite?
False
Suppose 3*m = -4*o - 7, o + 0 = 2*m - 10. Let f(a) = -12138*a + 95. Is f(o) a prime number?
True
Let m(c) = 2*c**3 + 50*c**2 - 54*c - 47. Let k be m(-26). Suppose k*q = 3*x + 2831 + 4359, 5*q - 7190 = -5*x. Is q composite?
True
Let m(z) = z + 15. Let j be m(-11). Is 54/(-24) + 2 - (-38349)/j composite?
False
Suppose -19*k = -3*f - 21*k + 1548457, 2*f - 5*k - 1032330 = 0. Is f prime?
False
Let z(p) = 62*p**3 + 4*p**2 + 4*p - 13. Let m be (-184)/44 - (-8)/44. Let s be ((-5)/m)/5*12. Is z(s) composite?
False
Suppose -4*r + 3 - 23 = 0, 4*m - 3 = -r. Let g = 419 - 419. Suppose -m*w + 374 + 588 = g. Is w a composite number?
True
Let h(q) = 131*q**2 - 4*q + 6. Let n be h(8). Suppose 8*a = n + 2578. Is a composite?
False
Let c(k) = -4*k**3 + 14*k**2 - 2*k + 259. Is c(-27) a composite number?
True
Is (-5277730)/(-45) - (-5)/135*3 a composite number?
True
Let x(s) = -5*s + 19. Let g(q) = -q**3 + 14*q**2 + 13*q + 34. Let c be g(15). Let p be x(c). Let l(h) = -2171*h - 4. Is l(p) composite?
True
Let q(l) = -l**3 - 175*l**2 + 5*l + 542462. Is q(0) prime?
False
Suppose -13*y = 2*m - 8*y - 121539, 0 = -3*m + 4*y + 182251. Is m a composite number?
False
Suppose 5 = 23*n + 5. Suppose 0 = 5*v - 10, -2*v = -m - n*m + 4779. Is m composite?
False
Let h = 30 - 34. Is (4 - (-56378)/h)*8/(-4) prime?
True
Let g be (-2 + -1)/(15/77240). Let p = g + 24687. Is p a composite number?
False
Suppose -4*b + 5*b = 0. Let u = 5296 - 5270. Suppose b = -4*g + u + 66. Is g prime?
True
Let m(g) = -473*g - 67. Let x be m(-3). Let n = -93 + x. Is n a composite number?
False
Let n(c) = -3*c**3 + 4*c**2 + 10*c - 9. Let u be n(-9). Let l = u - -1877. Is l prime?
True
Let u(a) = 5*a**2 - 19*a + 1. Let n be u(4). Suppose 5*x - 2*s = 14271, 5*x - 14265 = -0*x + n*s. Is x composite?
True
Suppose -5*c - 4*l + 14 = -27, 0 = -4*c + 5*l. Suppose -c*p - 2516 = -9*p. Let v = p + -298. Is v prime?
True
Suppose 2*a - 82 = -76. Suppose 5*o - 5*w - 1870 = 0, 2*o + 380 = a*o + w. Is o composite?
True
Suppose 0*d - 4*m = -3*d + 23, 2*d - 4 = -3*m. Let y = d - -9. Let x(f) = f**3 - 13*f**2 - 6*f + 21. Is x(y) composite?
True
Let q be (-78)/21 + 20/28. Suppose 2745 = -a - 715. Is a/(-6)*q/(-2) a composite number?
True
Suppose -20 = -2*u - 2*p - 4, -p + 28 = 5*u. Suppose u*v - 3*w - 50674 = 0, -4*v = 2*w + w - 40523. Is v a composite number?
False
Let w(c) = -c**3 + 10*c**2 - 7*c - 14. Let l be w(9). Suppose -l*a - 3154 = -13238. Is a prime?
True
Let f(l) = -258*l + 3187. Is f(8) prime?
True
Let k(w) = 11044*w - 37. Let f be k(2). Suppose -8*a = 2*t - 3*a - 11021, 4*t - f = -a. Is t a composite number?
True
Let m(t) = t**2 - t - 1. Let h(d) = -13*d**2 - 6*d - 1. Let s(r) = -h(r) + 2*m(r). Let l be s(10). Suppose -14 + l = 5*b. Is b a prime number?
False
Suppose 4*g + 6*z = z - 3147, 2*g = 3*z - 1601. Let m = -389 - g. Suppose -o + 2*o = 5*i + m, 0 = 4*i - 12. Is o a composite number?
False
Let c(g) = -g**3 - 7*g**2 + g + 12. Let d be c(-7). Let q(w) be the second derivative of 6*w**3 - 17*w**2/2 + 3*w. Is q(d) prime?
True
Is (-13484995)/34*(-12)/30 a prime number?
True
Suppose 288 = -13*q + 15*q. Is 2/18 + 363008/q a composite number?
False
Let g = -1422 + 1410. Let r be 3*5/(10/6). Is (1688/g)/((-6)/r) a composite num