mber?
False
Is (1/6)/(159/449705106) a composite number?
False
Suppose -35*i + 4284692 = -1036908 - 2677265. Is i a composite number?
False
Suppose -61*r = 104*r - 1210131 - 6202824. Is r a composite number?
False
Let d(f) = 2*f**2 + 10*f - 35. Let y(h) = -h**3 + 7*h**2 - 4. Suppose -x = 4*m - 23, x = 6*x + 5. Let q be y(m). Is d(q) prime?
True
Let f(d) = -379*d + 496*d - 21 + 1145*d. Is f(4) a composite number?
True
Suppose 22 - 10 = 3*d. Suppose -2*n + 5834 = d*x, 3457 + 8241 = 4*n + 2*x. Is n composite?
False
Suppose 65*i + 5*v + 732624 = 69*i, v + 183157 = i. Is i a prime number?
False
Suppose 2*l - 127 - 25 = 0. Suppose -l*a + 39*a = -760091. Is a a composite number?
False
Let n(s) = -5*s**2 - 3*s + 8. Suppose -14 + 38 = 4*o. Let h be n(o). Let f = -101 - h. Is f prime?
True
Let c(a) = -7*a**3 - 64*a**2 + 244*a - 27. Let y(k) = -3*k**3 - 33*k**2 + 121*k - 13. Let n(h) = 2*c(h) - 5*y(h). Is n(-36) composite?
False
Let k = 5023 - 3531. Let t = 2261 - k. Is t composite?
False
Suppose 58*f - 315 = 43*f. Let c(p) = 3*p**3 + 1. Let h be c(2). Suppose 0 = -h*l + f*l + 1564. Is l prime?
False
Let t = 2507123 - 1722324. Is t prime?
True
Let t = 13767 - -329816. Is t composite?
False
Let n(a) = 29*a - 55. Suppose -5*k = -2*j + 39, 0*j + k = 2*j - 19. Let u be n(j). Let w = u - -465. Is w prime?
True
Suppose 0*o + o - i - 1268 = 0, 5*i - 3764 = -3*o. Suppose 0*c = 3*c - o. Is 38/171 - c/(-9) a prime number?
True
Let z(f) = f**3 - 17*f**2 - 11*f - 2. Let b be z(19). Suppose -2282 - 314 = -2*t. Let g = t - b. Is g a prime number?
True
Let u(s) = s**3 - 18*s**2 + 20*s + 43. Let x(i) = 3*i**2 + 62*i - 95*i + 10 - 7*i**2. Let o be x(-8). Is u(o) prime?
False
Let u(m) be the second derivative of m**5/20 + 4*m**4/3 - 2*m**3/3 - 40*m**2 - 116*m. Is u(-13) a composite number?
False
Let w be 4/8*-4 + 30488. Let q = w - 14515. Is q a composite number?
False
Suppose 0 = -y + 157 + 60. Let x = -336 - -426. Let k = y - x. Is k composite?
False
Let r = 60093 - -51764. Is r a composite number?
False
Let f = -78 - -80. Suppose 4*u = -5*d + 3241, 2*d - f*u + 2594 = 6*d. Let a = -314 + d. Is a a prime number?
False
Let q(w) = -74*w**3 - 2*w**2 + 2. Let a = -87 - -85. Let z be q(a). Suppose 2*l = -3*c + 586, 5*c + 0*c - z = -2*l. Is l a composite number?
False
Let h(m) = 13*m**2 - 3*m - 1. Let g be h(-3). Suppose 0 = -54*r + 59*r - g. Suppose 3935 = 30*d - r*d. Is d prime?
True
Let z(c) = 8*c**2 + 13*c - 428. Is z(-17) prime?
True
Let j(v) = -v**3 + 14*v**2 + 36*v - 5. Let q = -56 + 71. Let t be j(q). Suppose -2*p - 3*w = -280, 3*w = -4*p + t + 256. Is p a prime number?
False
Let g(z) = 4*z**2 + 71*z + 19231. Is g(0) composite?
False
Suppose 0 = 18*b - 14*b - 12. Suppose b*s - 290 = 1189. Is s prime?
False
Suppose -1536*u + 1530*u = -148146. Is u prime?
True
Let h(l) = l**2 + 5*l + 6. Let m(a) = -a**2 + 9*a - 11. Let n be m(8). Let r be h(n). Suppose -2*j - 3*j + 8465 = r. Is j prime?
True
Suppose s = -z + 5*s + 615151, 4*s = -12. Is z prime?
False
Suppose 3*h = 3, -h + 5 = -3*x + 4*h. Suppose -14*j + 5*j + 36 = x. Suppose 0 = f + y - 147, j*f + 6*y = 4*y + 592. Is f prime?
True
Let r = -15 + 18. Suppose 0*c - r*f + 19 = c, -5*c + 77 = -3*f. Suppose -410 = -18*n + c*n. Is n a composite number?
True
Suppose 212*p - 214*p - 2*y = -107538, -3*p = 5*y - 161311. Is p composite?
True
Let t = 245571 - 135304. Is t a composite number?
True
Suppose 0 = w - 4, 2*w = -5*i + 3*w - 14. Let y be i*6/(-4)*(-20450)/15. Let r = y + 5941. Is r composite?
True
Suppose 40*n + 12 = 34*n. Let r be 3 + (3 - (1 + n) - -3491). Is (12/18)/(4/r) prime?
False
Let j be (2/5)/((-4)/(-40)). Let r = j - 13. Let q(b) = -b**3 + 4*b + 4. Is q(r) a composite number?
True
Let g be ((-4)/6)/((-2)/(-3291)). Let c(q) = 19*q + 135. Let x be c(-27). Let r = x - g. Is r a prime number?
True
Let o(t) = -11*t**3 + 9*t**2 + 7*t + 36. Suppose -17 = j + 5*h, -5*j - 4*h - 12 - 31 = 0. Is o(j) a prime number?
True
Let t = -221 - -447. Suppose 10*u - 9*u = t. Is u composite?
True
Let s(a) = -20*a**2 - 31*a + 17. Let j(t) = 13*t**2 + 21*t - 11. Suppose 14 = 4*h + 42. Let f(x) = h*j(x) - 5*s(x). Is f(-15) a composite number?
True
Let j(u) = 300*u**2 + 2*u - 3. Let o(v) = -v + 2. Let q be o(2). Suppose q*r - 6 = -3*r. Is j(r) prime?
True
Let o(u) = u + 39. Let b be o(-36). Suppose 0 = b*s - 4*g - 24777, -10*s - 33058 = -14*s - 2*g. Is s a prime number?
True
Let n be (10/2)/(180/72). Suppose 7*w + n*h - 9084 = 3*w, -5*w + h = -11341. Is w a prime number?
True
Let h(u) = 34*u**2 + 5*u + 14. Let b(z) = z - 21. Let w be b(15). Let s(i) = -i**3 - 5*i**2 + 9*i + 13. Let y be s(w). Is h(y) composite?
False
Let j be (-3)/1 + 1 + 13. Suppose -6*s = -j*s + 10. Suppose s*p + 4*p = 5046. Is p prime?
False
Suppose f - 5*m = 15, 3*m + 31 = 5*f - 0. Suppose 0 = 2*t - 4*n - 7802, f*t - 7672 = n + 11797. Is t a prime number?
False
Let b(j) = 174*j - 36 - 74 - 107 + 16 + 4. Is b(19) composite?
False
Let j(u) = -5*u**2 - 32*u - 13. Let d(i) = i**2 + 8*i + 3. Let k(c) = -9*d(c) - 2*j(c). Let w be k(8). Is (2 - 3)*(1 + -517 + w) composite?
True
Let p(q) = q**2 - 1. Let k(t) = 6*t**2 - 8*t + 5. Let n(z) = -k(z) + 5*p(z). Let s be n(5). Suppose -5675 = -s*w - 2080. Is w a prime number?
True
Let l(f) = -f - 2. Let x be l(-1). Let j be (3 + x - 0)*226/(-4). Let h = 368 - j. Is h composite?
True
Let g(s) = 2*s**3 - s**2 - 78*s + 1685. Is g(28) a prime number?
False
Let c(v) = -15*v**2 + 6*v - 1. Let s be c(-3). Is (-129558)/s - 4/14 prime?
False
Let n(y) be the second derivative of -y**8/3360 - y**7/180 - y**6/720 - y**5/60 + 17*y**4/12 - 9*y. Let k(f) be the third derivative of n(f). Is k(-9) prime?
True
Let s = 245 + -554. Let u = s - -778. Is u prime?
False
Suppose -2*p - 246773 = -3*b, 3*b = 34*p - 37*p + 246783. Is b a prime number?
False
Suppose 26*v - 27*v - 5*c - 5 = 0, 4*c + 76 = 4*v. Suppose -69205 = -5*a + m, -5*m = 17*a - v*a - 27682. Is a a composite number?
False
Suppose -3*q - 4057 = -17389. Let j = q + -2826. Is j prime?
False
Let d be 87717614/410 + (-4)/10. Suppose -4*l = 11*l - d. Is l a composite number?
True
Let u(l) = l - 2*l + 19 + 1 - l**2. Let f be u(-5). Suppose -3*o - 2*o + 5*j = -4830, f = 2*o + 2*j - 1952. Is o prime?
True
Let g(j) = j**3 - 2*j**2 - 2*j - 20. Let f be g(4). Suppose -4*o = 8, 3*k - 4439 = -0*o + f*o. Is k prime?
False
Let f be (-2)/(-10) - (-556)/20. Suppose -4*l + f = -4*w, -3*w - 12 = -2*l + w. Suppose -l*v = -v - 11417. Is v prime?
False
Suppose 18139 = 5*u - 32781. Is 8/(-4) - u/(-8) a prime number?
False
Suppose 3*o - 40 = -a, 3*a = -a + o + 212. Let t be (a/10)/((-3)/15). Is (-11103)/(-5) - t/65 a prime number?
True
Suppose -4*m - 8*c + 32 = -4*c, -4*c = 3*m - 25. Suppose 2*f = -8, 4*n - m*f - 16744 = -8*f. Is n a prime number?
False
Let t be 1506/27 + ((-16)/18)/(-4). Is 10/(-8) + 2 - (-187726)/t prime?
False
Let h = 162552 - -31561. Is h prime?
True
Suppose 3*x + 11*l = 9*l + 30, -4*x + 3*l + 57 = 0. Suppose -7*m + 6023 = x*m. Is m a composite number?
False
Let b(x) = -x**2 - 30*x - 84. Let c be b(-26). Suppose 1338 = -c*j + 26*j. Is j a prime number?
True
Let v(s) = -12*s**2 + 3*s - 8. Let c be v(5). Suppose i = -3*u + 1, 0 = -4*u + 2*i + 2*i + 28. Is c*1*u/(-2) composite?
False
Let u(t) be the third derivative of -1/8*t**4 + 0*t + 6*t**2 + 0 - 1/120*t**6 - 1/3*t**5 - 17/6*t**3. Is u(-20) a composite number?
False
Suppose -45471 = -4*g + 33*h - 28*h, -g = -4*h - 11365. Is g a composite number?
False
Is 84893 + -14 + 27 + 1 a composite number?
True
Let r(n) = 271*n**2 - 15*n - 5. Suppose 6*t - t - 24 = 2*i, 4*t + 4*i = 8. Is r(t) a prime number?
True
Suppose t = -32 + 23. Is (-7)/((-21)/t) - -84*11 a composite number?
True
Suppose 0 = -4*w + 2*o - 21050, -5*w + o - 20123 = 6194. Is (w - (-5 - -2))/(-1) a prime number?
True
Let f = 0 + -28. Is (f/16)/(-2 - (-18165)/9084) a prime number?
False
Let j be (20/(7 + -3))/1. Suppose -20135 = 5*h - a, 4027 = -h - j*a - 0*a. Let p = 7620 + h. Is p a prime number?
True
Let o(x) be the third derivative of -x**6/120 - x**5/60 - 11*x**4/24 + x**3 - 13*x**2. Let w be o(-10). Suppose -3*l + 1351 = -w. Is l composite?
True
Let m = -26 + 26. Suppose -7*g = -23*g - 288. Is (-8838)/g + (0 - m) prime?
True
Let g = 178598 + -13161. Is g a prime number?
True
Let 