x(o) be the second derivative of 7*o**4/12 - o**3/2 + 3*o**2/2 + o. Is x(h) a prime number?
True
Suppose 2 = -x - x. Let f be -18*(x - 4/(-12)). Let g = 25 + f. Is g prime?
True
Let w(z) = -63*z**3 - z**2 - z - 8. Let q be w(-6). Suppose 0*n - q = -10*n. Is n composite?
True
Suppose 16*z = 18*z + 5*w - 34431, 0 = -2*z + 2*w + 34424. Is z composite?
True
Let p(n) = 52*n - 13. Let k(y) = 2*y**3 - y + 1. Let m be k(1). Suppose m*d - 4*d = -j + 14, -5*j + 46 = -2*d. Is p(j) a composite number?
True
Suppose -3*p - 8 = -0*p - 4*l, 2*l - 6 = p. Suppose -2*z = -8, p*q - 2*z - 629 = 127. Is q composite?
False
Suppose 2*o + 3*o + 4*w = 109175, 3*w + 109210 = 5*o. Is o a composite number?
False
Suppose -4*c - n + 21022 + 18889 = 0, 2*c - 5*n = 19939. Is c a prime number?
False
Is 2 + -3 + 232160/16 prime?
False
Let c = -5 - 6. Let m(n) = 23*n - 1. Let u be m(c). Let x = u + 457. Is x prime?
False
Suppose -16*i + 14778 = -7*i. Is i a prime number?
False
Let r(g) = -88*g - 51. Is r(-19) a prime number?
True
Let o be 18/30 - 6/10. Suppose -3*g = 4*u - 4*g - 2795, o = -g + 1. Is u prime?
False
Suppose -5*g = -g + 28. Let l = g - -1. Is (157/(-3))/(2/l) a composite number?
False
Let y be (-4 - 49)*(-4 + 0). Let f = 298 - y. Let q = 220 - f. Is q prime?
False
Suppose -30*q + 164738 = -311332. Is q composite?
True
Suppose 2*n - 3*c + 4*c = -156, 3*c - 6 = 0. Let x = n + 156. Is x composite?
True
Let j(q) = -14*q**3 + 3*q**2 + 7*q + 19. Let f = 33 + -40. Is j(f) a composite number?
False
Let v(k) = -2*k + 1. Let z be v(-2). Is ((-4)/(-10))/(z/1075) composite?
True
Suppose 1163 = 2*w + 3509. Let q = -587 - w. Is q a prime number?
False
Let r(f) = -249*f - 1. Let q(y) = 249*y. Let o(h) = 5*q(h) + 4*r(h). Let u be o(-2). Let a = u + 713. Is a composite?
False
Suppose 3*v - 188747 = 2*k, 8 = -7*k + 11*k. Is v a prime number?
False
Let c = -76 - 35. Let x = -35 - c. Suppose -x = -5*f + f. Is f a prime number?
True
Let v(f) = f + 15. Let t(p) = -p - 22. Let n(z) = -5*t(z) - 8*v(z). Let q be n(-5). Suppose y + 1 = 0, d + q*y = 163 + 55. Is d a composite number?
False
Let p be 3597 - (4*(-4)/(-16) - -1). Suppose g - r = 579 + 140, -5*g = -4*r - p. Is g composite?
False
Suppose 108*l + 4278 = 114*l. Is l composite?
True
Let t be 2/4 - (-18)/(-4). Let d be ((-902)/t)/((-3)/(-6)). Suppose -6*x + 4*p + d = -x, -p = -1. Is x prime?
False
Let h(o) = o - 12. Let b be h(8). Let m be 12/10*(-10)/b. Is (1 - (m + 0)) + 17 composite?
True
Suppose 14*v - 24*v + 58470 = 0. Is v a composite number?
True
Let u = -2 + 19. Let h = -21 + u. Is 380/(-8)*h + 1 prime?
True
Is 16086/15 - 39/(-65) a composite number?
True
Let v(c) be the second derivative of 2*c**4 + c**3/6 - c**2/2 - c. Suppose -4*m = -4*w - 0 - 4, 2*w = 2. Is v(m) composite?
False
Is (-17)/136*20*(1 - 20783) prime?
False
Is (46/6)/(-7*6/(-889182)) prime?
False
Suppose -5*p - 8 = -2*l, 2*l - 1 = 7. Let w(t) = 3*t**2 - 1 + 0 - 4*t + 0 + p*t. Is w(-8) a composite number?
False
Let k(y) = 270*y + 80. Let g(x) = -10*x - 3. Let d(q) = -55*g(q) - 2*k(q). Is d(5) prime?
False
Is (-1)/(-5 - 290340/(-58070)) a composite number?
False
Let o(i) = -41*i**3 + 7*i + 3. Let g = 13 - 15. Is o(g) a prime number?
True
Suppose 0 = -m + 4*m + 6. Let t(o) = -8*o**2 - 3*o + 1. Let h be t(1). Is 97*(h/m - 4) a prime number?
True
Suppose 24*a + 107963 - 533603 = 0. Is a a composite number?
True
Let h(v) = -740*v - 8. Let l(s) = 296*s + 3. Let k(b) = 5*h(b) + 12*l(b). Let u be k(4). Is (3 - (-68)/(-16))*u a composite number?
True
Let a = -57558 + 143399. Is a composite?
True
Let y = 32 - 29. Let u(q) = 8*q**3 - 3*q**2 - 5*q + 5. Is u(y) a prime number?
True
Let y = -262 - -600. Let l = 2605 - y. Is l a prime number?
True
Let z be (3*1)/((-6)/30). Let j = z - -15. Is (1 + j)*(3 + 76) composite?
False
Let x be 15*(-1)/(-3) + 3/(-1). Suppose -12 = -4*o, -x*a + 193 + 1078 = 3*o. Is a a prime number?
True
Let a(t) = -178*t**3 + t - 1. Let l be a(1). Let w = l - -996. Suppose 3*s = s + w. Is s a prime number?
True
Let h = 35 + -30. Suppose 3*p - 8*p + 25 = 0, -h*p - 421 = -o. Is o a prime number?
False
Let h(j) be the third derivative of 49*j**4/24 - 3*j**3/2 - 4*j**2. Is h(2) composite?
False
Is ((-691)/(-1))/(4/148) a composite number?
True
Let f be (2 + 6)/1*-1. Is 8/(-12)*1356/f a prime number?
True
Let m be 8/2 + 2 + -3. Let r be (7 - 7)/((-1)/1) - -3. Suppose r*g = k - 41 - 114, -4*k + m*g = -638. Is k a composite number?
True
Let d be 2/(-9) + 2/9. Suppose d = f - 5 + 11. Let c = 13 + f. Is c a composite number?
False
Suppose 0 = 5*c + 2*p - 4 - 12, -4*c = 3*p - 17. Suppose 0 = -0*o - c*o + 2. Is 2 + -3 - (o + -207) a prime number?
False
Suppose 5*l + 1 = -4, l + 27989 = 4*f. Is f a prime number?
True
Let y be 1 + (2 - (-9)/(-3)). Let j = 6 + y. Suppose 115 = j*n - n. Is n prime?
True
Is -7607*2*(14/(-4) + 3) a composite number?
False
Suppose 57*z - 13415 = 52*z. Is z composite?
False
Let y(s) = -2*s**2 - 20*s + 12. Let o(v) = 2*v**2 + 18*v - 11. Let c(a) = 3*o(a) + 2*y(a). Suppose 2 = -3*k - 28. Is c(k) a composite number?
True
Suppose -1763 = -2*v + b + 407, -v + 1079 = -2*b. Is v a prime number?
True
Let z(n) = 2434*n + 271. Is z(4) a composite number?
False
Suppose 0 = 4*v - 0*v - 60. Let b be 10/(-4*(-3)/6). Is (-958)/b*v/(-6) composite?
False
Suppose -9*q + 545785 = 8*q. Is q a prime number?
False
Suppose 2*b = 4*p - 6, 2 = -b + 4*p - 9. Let l be (1/2)/(1/20). Suppose 0 = -l*z + b*z + 2575. Is z a composite number?
True
Suppose -2*g = -3*g + 9. Let r = g + -13. Is (r/6)/(2/(-573)) prime?
True
Let g(v) = -796*v + 2. Let m(t) = 2387*t - 5. Let q(k) = 17*g(k) + 6*m(k). Is q(1) prime?
False
Suppose -28*f + 306190 + 382414 = 0. Is f composite?
False
Let q(a) = -5*a**3 - 2*a**2 - 3*a - 2. Let y be q(-1). Suppose y*u - 3333 = 151. Is u a prime number?
False
Suppose -5*g = 0, 4*l + 0*g = g. Suppose 6*f - 18 = -l. Suppose 1049 = f*b - 190. Is b a prime number?
False
Suppose 3*s + 5*k - 1556 = 20745, -2*s = k - 14858. Is s a composite number?
True
Suppose 4*q = 2*p + 18, 6 = 2*q - 4*p + 2*p. Suppose -3*o - 9 = -q*o. Is (-9)/(o - 0) + 58 a composite number?
True
Let u(s) = 20749*s + 30. Is u(1) a prime number?
False
Suppose -4*g = 3*n - 4*n - 16040, -3*g - 4*n + 12049 = 0. Suppose g = -2*f + 5*f. Is f a composite number?
True
Let j = -45738 - -76885. Is j composite?
False
Suppose -12 = -6*l - 0*l. Suppose -4*y = -4*u + 3864, -y = 4*u - l*y - 3861. Is u composite?
True
Let n(x) = 6*x - 17 - 20*x**2 + 0*x - 23*x**2 + 49*x**2. Is n(-8) composite?
True
Let l(x) = -76*x + 3. Let q be l(-4). Suppose 273 + q = 4*t. Let z = 440 - t. Is z a prime number?
False
Let n(p) be the second derivative of p**8/3360 - p**7/252 + p**6/720 - p**4/3 - 7*p. Let t(k) be the third derivative of n(k). Is t(7) a composite number?
True
Suppose -4*l + 16 = -0*l. Let x = l + 9. Suppose x*j - 16*j = -231. Is j a composite number?
True
Is (2/4)/(126063/126054 - 1) a prime number?
False
Let g(q) = -7*q**3. Let m be g(1). Let l be (14372/10)/(m/(-35)). Is l/8 - (-3)/4 prime?
False
Let y(o) = o**3 - 3*o**2 + 3*o - 1. Let x be y(3). Let c(a) = 7*a - 3*a + a - x. Is c(9) a composite number?
False
Suppose 0 = 4*g + 97 - 109. Suppose 2*u + 5155 = g*w, 0 = -2*u - 3 - 1. Is w prime?
False
Suppose -49*r + 59*r - 21030 = 0. Is r a composite number?
True
Suppose -363 = 11*w - 14*w. Suppose w = -12*v + 13*v. Is v a composite number?
True
Let n = 12464 - 4045. Is n composite?
False
Let a = -10 - -9. Let p be 0 - a - (2 - 1). Suppose p = -3*i - 4*x + 625, 0*i + 2*x - 211 = -i. Is i a composite number?
True
Suppose -9 = 4*r - 25. Let x be 4/18 + (-81830)/(-315). Suppose -115 = -l + 4*b, r*l - x = b + 245. Is l a composite number?
False
Is (125/(-625))/((-2)/70410 + 0) prime?
False
Suppose -3765 = -17*k + 14*k. Suppose -k = -2*i - 3*i. Is i composite?
False
Suppose 99*w - 130755 = 84*w. Is w a prime number?
False
Suppose -21*a + 248598 = -3*a. Is a prime?
False
Suppose 0 = -2*r - 0*r. Suppose 0 = 3*n - l - 13, -2*n + 3*n = -4*l - 13. Suppose 777 = n*b - 0*b + 2*x, x - 3 = r. Is b a composite number?
False
Let r = -7485 - -88042. Is r composite?
False
Suppose 48502 = 15*u - 37883. Is u composite?
True
Let u = 34 - 42. Is 1282*((-36)/u)/9 a prime number?
True
Let o(t) = 2 - 59*t - 75*t - 4. Let q be