 number?
False
Let o(a) = -a - 1. Let h(x) = 77*x - 42. Let p(g) = -h(g) + 21*o(g). Let w be -13 - 2/(-2)*2. Is p(w) a composite number?
True
Let y(f) = -132*f**2 + 2*f + 42. Let m be y(-9). Let z = m - -16231. Is z a composite number?
False
Let f = -1447459 + 3156596. Is f prime?
True
Suppose -13*v + 33*v - 11*v = 91953. Is v a prime number?
False
Suppose 63*w - 66*w - 36 = 0. Let s be (-16694)/w - ((-4)/(-4))/6. Suppose 8*b = s + 297. Is b prime?
True
Suppose -3*o + 6*t + 300874 = -o, 2*t + 150435 = o. Is o a prime number?
True
Suppose 0 = -3*i - 3*r + 11547, 3*i + 0*i - 11553 = -r. Let u = -2035 + i. Is u a prime number?
False
Let l(o) = 385*o - 1. Let a be (-2)/(1/4 + 1/(-2)). Suppose 2*r - a = -3*c, -4*c + 0*r - 5*r = -13. Is l(c) a composite number?
False
Suppose 0 = -2*t - 2*l + 76, 2*t + 2*l - 205 = -3*t. Let g = t - 31. Let p(n) = n**3 - 5*n**2 - 5*n - 9. Is p(g) a composite number?
True
Let q(d) be the first derivative of 66*d**2 - 61*d - 50. Is q(20) composite?
False
Let q(j) = -j**3 + 2*j**2 - j + 611. Suppose 3*a = 73 + 41. Let k = -38 + a. Is q(k) prime?
False
Let o(a) = 18855*a - 1813. Is o(32) composite?
True
Let h(o) = 3*o**3 + 19*o**2 - 39*o + 35. Is h(36) a prime number?
True
Let x(a) = 765*a**2 - 106*a + 474. Is x(7) a prime number?
True
Let m(f) = -43*f**3 + 8*f - 92. Let n be m(6). Let i = 15853 + n. Is i a composite number?
False
Suppose 2*u - 14895 = -4*g + 3971, 0 = -5*g + 4*u + 23602. Let y = 5213 + g. Is y a composite number?
False
Let s(d) = 10*d**3 + 9*d**2 - 11*d - 4. Let q be s(9). Let z = 12239 - q. Suppose 1430 = v + 3*u, -3*u - z = -3*v - u. Is v a composite number?
False
Suppose -3*o + 2*x = -4*o + 6, 2*o - 7 = x. Suppose -o*i + g = -0*g - 28480, -4*g = 5*i - 35621. Is i a composite number?
False
Let l = -222 + 239. Suppose -l*w + 2521 = -16*w. Is w a prime number?
True
Let m(r) = 8346*r**3 + 2*r**2 + r + 13. Is m(4) a composite number?
True
Let x(g) be the third derivative of g**6/120 - 5*g**5/12 + 11*g**4/8 - 35*g**3/6 - 6*g**2. Is x(24) a composite number?
False
Let c(k) = -237*k + 35. Let d(t) = -118*t + 17. Let j(v) = 2*c(v) - 5*d(v). Let q be j(6). Let h = 578 + q. Is h prime?
True
Suppose -2*k = 3*j - 266, -58 = -2*j + 5*k + 151. Suppose 0 = 87*n - j*n + 4535. Is n composite?
False
Is (34/(-4))/((-138620)/254056 + 84/154) composite?
True
Suppose 46 = -3*s + 484. Suppose 6*k - 4*k + u = -46, -k - 5*u - 41 = 0. Let w = s - k. Is w a composite number?
False
Suppose -5*r = -0*r - 480. Suppose r = s - 39. Suppose 5*f + 141 = 4*a, a + 3*a + f - s = 0. Is a prime?
False
Let c be (-4783)/((-858)/(-108) - 8). Is (6/9)/(430474/c + -5) prime?
False
Let v(t) = 118*t - 23. Let u = 98 + -91. Is v(u) a composite number?
True
Let d = -2 + 2. Suppose -5*k + 5*r + 55 = 0, 5*k = 17*r - 13*r + 54. Let v = k - d. Is v a composite number?
True
Let h = 51820 - -189973. Is h a prime number?
True
Suppose 14*y - 9*y - 117529 = 4*l, -3*y = -4*l - 70511. Is y a composite number?
False
Suppose 0 = 5*s - 2*u + 7*u - 15, -3*s - 5*u = -9. Suppose -4*i + 596 = -j, -3*i + s*j + 560 - 122 = 0. Suppose -6*g + 1140 = -i. Is g composite?
True
Is (14 - 9) + 3 - -92303 prime?
True
Let l be 10/4*(-4640)/(-25). Let x = 6538 - l. Is x prime?
False
Let o = -2963 + -352. Let s = 11206 + o. Is s composite?
True
Let j = -178926 + 262063. Is j composite?
False
Let a(d) = -7*d + 26*d + 30*d**2 + 41 - 7*d**2. Is a(15) prime?
True
Let f be (-3)/(-6)*3197 + 5/(-10). Let i = -759 + f. Is i composite?
False
Let o(h) = -6*h**3 - 3*h**2 + 26*h + 321163. Is o(0) prime?
True
Let b = 73402 + -40043. Is b a prime number?
True
Let y be (2/4)/((-2)/24). Is 1736 + -2 + y + 7 a prime number?
False
Let n(x) be the second derivative of 97*x**4/24 + 2*x**3/3 - 6*x**2 + 9*x. Let q(i) be the first derivative of n(i). Is q(9) prime?
True
Let s = 74726 - 44743. Is s a prime number?
True
Let q(j) = 58163*j**2 + 74*j + 58. Is q(3) a prime number?
False
Let m(s) = s**3 + 7*s**2 + 3*s - 13. Let j be m(-6). Suppose 5*x = w - 454, 5*x - 2233 = -j*w + 187. Is w a prime number?
True
Suppose -65*r + 50113 = -64*r. Is r composite?
True
Let c = 748 + -733. Let n(p) = -143*p**3 - 4*p**2 - 5*p - 3. Let r be n(-4). Suppose c*y - r = 10*y. Is y composite?
True
Suppose -9*a - 54 = 0, -10*a + 188050 = 2*r - 12*a. Is r prime?
False
Is ((-12)/(-33))/(-2) + 7308008/22 + -3 composite?
False
Suppose -18*n + 17*n + 5709 = -34090. Is n a composite number?
False
Suppose -5*w + 1303 = -2*k + 3132, 2*w = 3*k - 2727. Suppose 4*p = l - 1, p - 53 = -5*l - 3*p. Suppose l*s - k = 8*s. Is s a composite number?
False
Suppose 11*m - 127610 = -3*m. Let y = m - 3816. Is y a composite number?
True
Let y = 137930 - 83257. Is y a prime number?
True
Let y = 20635 + 11032. Is y composite?
False
Suppose 15*n - 45633 - 288972 = 0. Is n prime?
True
Let f(q) = q**2 + 18*q - 15. Let w be f(-19). Suppose -c + 12900 = 5*r, -c - 11533 + 1204 = -w*r. Is r a prime number?
False
Let n(f) = f**2 + 11*f + 13. Let q be n(-3). Let o(c) = -c**2 - 9*c + 28. Let v be o(q). Suppose 0 = v*p + 3*p - 7281. Is p composite?
False
Suppose 4*q + 65 = i, -20 = -6*i + 5*i - 5*q. Is (9 - 441/i) + 33959/5 composite?
False
Let v(b) = 17317*b + 283. Is v(4) a prime number?
False
Let u = 36850 - 11421. Is u a composite number?
True
Suppose -u - 2295 = -k, -5*k - 13*u + 9*u = -11457. Let n = 9708 + k. Is n a prime number?
False
Suppose -5*o + 340330 = -5*p, -2*p - 116299 = -5*o + 224046. Is o prime?
True
Let z = 1048 + -547. Let x be (0 + -4 + 692)/(11 + -9). Let v = z - x. Is v a composite number?
False
Let f = -98 + 195. Let x = 61 + f. Suppose -5*o + 7*o - x = 0. Is o a composite number?
False
Suppose -9*c - 18*c = -208683. Is c prime?
False
Suppose -3*a + 12 = -0*a. Suppose 0 = a*g + 20, -5*y - 5*g + 1577 = -13373. Is y prime?
False
Let r(y) = 28245*y - 6749. Is r(6) composite?
True
Let v(z) = -z**2 - z - 119. Let s be v(0). Let u = s - -492. Is u prime?
True
Suppose 0 = 8*a - 197 - 691. Let f = a - -52. Is f composite?
False
Suppose -253*l + 248*l = -2*v - 334359, 267480 = 4*l - 4*v. Is l a prime number?
False
Is 550007*2/(-6)*((-104)/8 - -10) a prime number?
True
Let r(m) = m**2 + 14*m - 30. Suppose 5*w = -3*o - 57 + 14, -3*w + 3 = 0. Let k be r(o). Suppose -h = k*h - 1065. Is h a prime number?
False
Let w = 98175 - -25688. Is w prime?
True
Let c(k) = 2*k + 24. Let o be c(-8). Suppose -o*m + 36431 = 5863. Is m prime?
True
Suppose -5*u - 15 = -0*u + 5*g, -5*g + 27 = -2*u. Let y be 2/u*(-144)/8. Is -2*253/y*(4 - 7) composite?
True
Let x(g) = -4252*g - 219. Let w be x(-8). Let o = w + -9438. Is o a composite number?
False
Suppose -983 = -3*q + 4264. Is q - (-4)/2*5/2 a prime number?
False
Let w(y) = y**2 + y. Let d(q) = 50*q**2 - 7*q + 1. Let x(v) = d(v) + 4*w(v). Let i = 1 + 3. Is x(i) prime?
True
Let c be 8687*(12 - (-15)/(-3)). Suppose -23*y + c + 28362 = 0. Is y prime?
True
Let c = -681 + 684. Suppose -5*p + 26133 = 2*x, -c*x - x + 2*p + 52278 = 0. Is x a composite number?
True
Let m(x) be the second derivative of 5*x**4/12 - 5*x**3/3 - 19*x**2 - 2*x. Suppose -2*s = -12, 5*j - 9*j = 2*s - 64. Is m(j) prime?
True
Let d(x) = -10*x - 25. Let o be d(-2). Is 9/(-135)*o - (-54652)/6 a composite number?
False
Suppose -21*m + 1578 - 87 = 0. Suppose a - 2*k - 2*k + 14 = 0, 0 = -5*a - 5*k + 30. Suppose -a*q = -755 - m. Is q composite?
True
Let j be (-2 + 18 + -7)*(-1019)/(-3). Let q be 874/(-4)*(4/1)/(-2). Suppose -4*g + j - q = 0. Is g composite?
True
Let l = -1118 + 573. Suppose h + 313 = i, 5*h = -6*i + i - 1555. Let a = h - l. Is a a composite number?
False
Suppose 77497 = -868*g + 875*g. Is g a composite number?
False
Suppose -8486572 = 16*x - 122*x. Is x a prime number?
False
Let c(a) = 3606*a**2 - 28*a - 3. Is c(10) a composite number?
False
Let q = 120 - 115. Let p = 18 - 18. Suppose -a - y = 3*y - 545, q*a - 2*y - 2791 = p. Is a prime?
True
Let x = -227885 - -518962. Is x prime?
True
Suppose -6*j + 17*j + 180185 = 16*j. Is j prime?
True
Let j = 46 - 43. Suppose 0*t + 19 = t + 3*b, 1 = 4*t - j*b. Suppose 4*w = 8, -1589 = s - t*s - 4*w. Is s a composite number?
True
Let q(s) = 5*s**2 + 2*s + 3. Let k be q(-2). Suppose 0 = -4*r + k - 3. Suppose -3*g - 4503 = -3*j + g, -2*j + r*g = -3006. Is j a composite number?
True
Let v = -4717 + 12328