te number?
True
Suppose -5*c = 16 - 46. Is ((-2463)/c)/(1/(-2)) prime?
True
Let y = -145 - -1218. Is y a prime number?
False
Let b(t) = -t**3 + 10*t**2 - 8*t - 6. Let g be b(9). Suppose -4*y = 5*w - 886, -g*w - 27 + 559 = 2*y. Is w a composite number?
True
Suppose 72*c - 35*c - 457283 = 0. Is c a prime number?
False
Let n be (-78)/((18/4)/(-3)). Suppose h - 61 - n = 0. Is h prime?
True
Suppose -15*g - 36799 = -22*g. Is g composite?
True
Let k(b) be the second derivative of -b**5/20 + 3*b**4/4 + 5*b**3/6 + 9*b**2/2 - 9*b. Is k(8) prime?
True
Suppose 2*v - 3*q = -v, v = -3*q. Suppose v = -2*j - 0*j - 76. Let a = j + 57. Is a a composite number?
False
Let q = -1 - -4. Let x be 2*q*(-4)/(-12). Suppose -k - 5*n = -113 - 23, -297 = -x*k - 5*n. Is k composite?
True
Let f = 2467 - 356. Is f a prime number?
True
Suppose -4*k = 8*k - 4908. Is k prime?
True
Let x(l) = -22*l + 75. Is x(-8) a prime number?
True
Let h = 2 + 1. Let c = -295 + 515. Suppose -c = -v - h*v. Is v a composite number?
True
Let l(h) be the second derivative of 75*h**3/2 + h**2 + 11*h. Let d be l(-1). Let g = d + 449. Is g prime?
False
Let p(m) = -m**3 - 8*m**2 - 6*m + 9. Suppose -1 = -5*f - 36. Let s be p(f). Suppose -s*c = -c - 77. Is c a composite number?
True
Let p(x) = 1966*x + 41. Is p(3) prime?
True
Suppose -5*h = l - 4*l + 30791, -2*h - 10263 = -l. Is l prime?
True
Let m(g) = 4*g - 1. Let l be m(1). Is (2/l)/(10/29505) prime?
False
Let j(s) be the second derivative of s**5/20 - s**4/6 - s**3/2 - 5*s**2/2 + 18*s. Is j(6) a prime number?
False
Let c = 1081 - -720. Is c a prime number?
True
Let f(r) be the second derivative of r**4/12 + 7*r**3/6 + 2*r**2 - 3*r. Let a be f(-7). Suppose 5*q = -3*z + 911, -a*q = -5*z - q + 1541. Is z prime?
True
Let n(d) = -1. Let r(a) = 64*a + 6. Let g(h) = -3*n(h) + r(h). Is g(5) composite?
True
Let s(m) = -26*m + 6. Let w be s(2). Let j be 2/(-11) + w/(-11). Suppose -j*r + 745 = r. Is r prime?
True
Is (-2*(-5)/15)/((-4)/(-97494)) a prime number?
True
Let y be (-3*7)/(((-135)/3290)/9). Is y/3 - ((-1)/3)/(-1) a prime number?
False
Let z(u) = -u**3 - 20*u**2 + 3*u + 11. Is z(-26) a prime number?
True
Suppose -4*b + 2*d = 6*d - 560, -b + 128 = 5*d. Is b prime?
False
Let j = -323 - -342. Is j prime?
True
Let t = 26 + -23. Suppose -t*m - 2*m + 215 = 0. Let p = -20 + m. Is p composite?
False
Let w = 4239 + -1826. Is w prime?
False
Suppose 4*l = -5*w + 7080 + 60933, 68040 = 4*l - 4*w. Is l composite?
True
Let z(d) = -2345*d - 372. Is z(-11) composite?
False
Suppose -315*r = -323*r + 740872. Is r a prime number?
False
Let c(d) = 87*d**2 + 2*d + 4. Let b be c(4). Suppose -3*z = o - 347, 0 = -4*o - 0*o - 4*z + b. Is o a prime number?
True
Suppose 630619 = 5*s + 7*f - 3*f, -4*f = 4*s - 504492. Is s composite?
False
Let r = 51 - 16. Suppose 38*h = r*h + 1167. Is h prime?
True
Is (3 - 366/(-36))*474 a composite number?
True
Suppose 6 = 2*c + 3*z - 134, 5*c = -3*z + 332. Let f = 0 + 0. Is (f - 3)*-1 + c prime?
True
Let c = 13440 - 7931. Is c a composite number?
True
Let c(v) = -45*v**3 - 16*v**2 + 29*v + 7. Is c(-15) a composite number?
True
Suppose 3*t - v = 50, 2*v = 5*t - v - 90. Let h = t + -11. Suppose 4*b = 4*p - 92, h*b - 6 = b. Is p a composite number?
True
Let j(x) be the first derivative of -x**2 + 27*x - x - 7 - 13*x - 2*x. Is j(-6) composite?
False
Suppose -k = 2*t + 10, -2*t - 14 = 4*k + 2. Let l be 3/3*0/t. Suppose l = -4*u - 12, 4*u - 1 + 408 = 5*h. Is h composite?
False
Suppose 1953 = -6*n - 753. Let f be (13 - 10)*n/3. Let m = f - -716. Is m prime?
False
Suppose b = 3*y - 1622 + 11470, -2*y + 49257 = 5*b. Suppose 0*g = 5*a - 2*g - b, a - 4*g = 1981. Is a a prime number?
False
Let a(n) = -22*n**3 - 2*n + 5. Let x be a(-5). Suppose -2*q = 3*q - x. Is q composite?
True
Let n(f) = 3*f**2 - 5*f**2 - f**2 - 7*f**2. Let t be n(-1). Let u(i) = -5*i - 1. Is u(t) a composite number?
True
Let f = 0 - -4. Suppose x + f*x - 200 = 0. Suppose 2*o + x = 6*o. Is o a prime number?
False
Let h be (-134)/(-6) - 4/(-24)*4. Let s = 44 + h. Is s composite?
False
Let c(r) = 260*r**2 + r - 4. Let q be (-20)/100 + (-28)/10. Is c(q) prime?
True
Let a(m) = 3 - 4*m**2 + 32*m**2 - 2*m**2 + 26*m**2. Is a(-2) composite?
False
Suppose 2*a - 19978 = 2*k, a = 4*a - 5*k - 29975. Is a prime?
False
Let y = 8641 + -4134. Is y a prime number?
True
Suppose 9*b - 37531 = -2368. Is b a composite number?
False
Let l(g) = 36*g - 5. Suppose 0 = 4*o + 16, u + 5*o = -0 + 6. Suppose -4*m = -3*m + 4*z - 10, 4*m + 2*z = u. Is l(m) prime?
True
Suppose 3*o + 2*o = 10. Suppose o = -z + 7. Suppose -i + 910 = s - 280, -15 = z*i. Is s a prime number?
True
Let d = 14748 - -4811. Is d composite?
False
Let x(b) = 118*b**3 - 4*b**2 + b - 4. Let c(t) = 236*t**3 - 7*t**2 + t - 7. Let r(p) = -3*c(p) + 5*x(p). Is r(-1) a prime number?
False
Suppose 2*o - 20 = -v, -3*o = -5*v - 6 - 24. Let n(j) = 2*j**2 - 16. Let l(q) = 3*q**2 - q - 33. Let d(y) = -3*l(y) + 5*n(y). Is d(o) composite?
False
Suppose -4*k = -3*l + 29334 - 8381, 0 = -3*l + k + 20950. Is l prime?
True
Let i(x) = -14*x**2 + 2 + 16*x**2 - 4*x + 8. Is i(8) composite?
True
Suppose 2*c = 7*c - 4*d - 22503, -5*d - 22505 = -5*c. Is c a prime number?
False
Let n(d) = -2*d**2 - 12*d + 5. Let s be n(-6). Suppose s*q - 19 = -c, -q + 4*c = -0*q + 13. Is 0 - 11*(q - 10) composite?
True
Let r(q) = 44*q**2 + 11*q + 19. Is r(12) a composite number?
True
Suppose 3*q + 5*i = 2, -3*q = -4*q - 5*i - 6. Suppose -3652 - 4510 = -2*x + 4*c, -q*x - 4*c + 16384 = 0. Is x a prime number?
True
Suppose 2*d - 6 = 2*t, 0*t - d = 2*t + 15. Let v be ((-56)/t)/((-10)/45). Is (v/2)/(9/(-6)) prime?
False
Suppose 4*t = -t - 3*j + 66442, -2*t + 26579 = -j. Is t a composite number?
True
Suppose 55 - 19 = 4*o. Let u(h) = 280*h + 1. Is u(o) prime?
True
Let q = 7307 + -4761. Suppose 2*h - 206 - q = -2*g, -4*g = 2*h - 5514. Is g prime?
True
Suppose 2*j + 127 = 3135. Let o(x) = x**3 - 4*x**2 - 11*x + 10. Let p be o(8). Suppose -3*g = 5*l - j, g - p = -5*l + 1320. Is l a composite number?
True
Let r(f) = -f**2 + 7*f - 17. Let w be r(5). Let x(p) = -15*p**3 + 2*p**2 - 2*p - 12. Is x(w) prime?
False
Suppose -r - 101 = -3*l - 46360, 4*l + 2*r = -61682. Is (-3)/(-21) - l/7 composite?
False
Let g = 14076 + -9767. Is g a prime number?
False
Let n = -18 - -20. Suppose -n*v + q - 3*q = -66, -10 = 5*q. Suppose -b - v = -2*b. Is b prime?
False
Suppose 5*s = -3*y + 4785, -5*s - 3*y + 1923 = -3*s. Let n = s + -77. Is n composite?
False
Let c(f) = -f + 3. Let j be c(0). Let y(v) = -3*v**2 - 14*v + 6. Let u be y(-5). Is 24 - (-1)/u - j prime?
False
Let o be 2 + -5 - (-1 - 3). Let p be 4368/6 - (0 - o). Suppose -294 = -0*d - 2*d - h, 5*d + 4*h = p. Is d prime?
True
Let x(v) = 3*v**3 + 14*v**2 + 32*v - 45. Let c(w) = 5*w**3 + 28*w**2 + 63*w - 91. Let i(u) = -4*c(u) + 7*x(u). Is i(20) a prime number?
True
Suppose -2*q + 1090 = -2*v, 5*q = -2*v - 644 - 474. Let i = v - -1184. Is i prime?
False
Suppose -1214 = -4*k + a + 307, a = 5*k - 1900. Let y = 35 + -27. Let z = k - y. Is z a prime number?
False
Suppose 3*h = -a - 50 - 235, 4*h + 391 = -5*a. Let u = h - -253. Is u composite?
True
Let k(m) = -m**3 + 15*m**2 - 7*m - 12. Let x = 21 - 14. Is k(x) a prime number?
True
Suppose 29 = 3*b + 8. Let o(g) = 3*g**2 + 5*g - 5. Is o(b) prime?
False
Let z be (132 - (-1 - -3)) + 0. Let r be (-18)/(-5) - 18/30. Suppose -2*m = r*m - z. Is m prime?
False
Let d(m) = 190*m**2 + 57*m + 4. Is d(5) a composite number?
False
Let h(s) = 102*s**2 + 3*s + 67. Is h(10) prime?
False
Suppose 9*z - 4*z = -4*l - 17, l = -3*z + 1. Let j(h) = -14*h - 19. Is j(l) a composite number?
True
Let c(j) = -29*j**3 - 2*j - 1. Let d be c(-1). Is 467/2 - 15/d a composite number?
False
Let n(d) = -3 - 236*d - 4 + 2. Let q be -4*(-2 - (0 - 4)). Is n(q) a composite number?
True
Suppose 4*h = 2*i + 11748, 20*h - 3*i + 2951 = 21*h. Is h prime?
True
Let t(r) = 7*r**2 + 21*r + 219. Is t(35) a composite number?
True
Let w(g) = 15*g**2 + 33*g + 49. Is w(-13) composite?
True
Let g(x) = x**2 + 3*x + 1. Let j be g(-2). Let q(i) = -2 + 5 - 2 + i + 177*i**2. Is q(j) prime?
False
Let m(y) = -y**2 - 5*y + 1. Let p be m(-5). Is ((3 - 0) + 124)*p a prime number?
True
Let f = 3920 - -13775. Is f prime?
False
Is 2*(20 + -24) - (-40776 - 1) composite?
True
Suppose 5