e?
False
Suppose 4*y = -12, 7*u - 2*u - 4*y = 532. Suppose 251 = 3*g + u. Suppose 0 = -2*r - 6*x + 3*x + 27, -5*x = 4*r - g. Is r a prime number?
False
Let j(d) = -640*d**3 + d**2 + 1. Let c(t) = 640*t**3 - 2*t**2 - 1. Let x(y) = -3*c(y) - 4*j(y). Is x(1) prime?
True
Let a(o) = o**3 + o**2 - 4*o + 4717. Is a(0) a composite number?
True
Suppose -11*j = -12*j. Suppose 2*k = 5*m - j*m - 6800, -5*m = 5*k - 6835. Let x = m + -555. Is x a composite number?
True
Let r(z) = 154*z**3 + 3*z**2 + 5*z + 6. Let u be r(5). Suppose 0 = -b + 2*j - 5*j + 4823, -4*b = -4*j - u. Is b composite?
True
Let g = 219 - 454. Let q = 28 - g. Is q a prime number?
True
Let n = -92 - -235. Is n a prime number?
False
Let d = 3238 + 7081. Is d composite?
True
Suppose 12*z - 7042 = 27074. Is z a prime number?
True
Let a(f) = f - 9. Let q be a(5). Is (-86)/(((-10)/30)/((-2)/q)) composite?
True
Suppose -52 = -s + 4*o, 4*s = -s + 4*o + 324. Let m = -883 - -622. Let t = s - m. Is t prime?
False
Suppose -5*l + 46529 - 14169 = 0. Suppose 4*h + p + p = 12974, -2*p = -2*h + l. Is h prime?
False
Let a(d) be the third derivative of -37*d**4/12 + 17*d**3/6 + 13*d**2. Is a(-12) a prime number?
False
Suppose 2*n - 4*n - 30490 = -2*w, -3*w - 3*n = -45747. Is w composite?
True
Suppose -20*f = -23*f. Let k(o) = 4*o + 85. Let u(v) = v. Let n(g) = k(g) - 5*u(g). Is n(f) composite?
True
Let x = -11 - -9. Let c be (0/(-1))/(x + 3). Suppose c = -0*f - 2*f + 50. Is f prime?
False
Let u = 10863 + -5812. Is u prime?
True
Is 7/(105/6) - (-6993)/5 a prime number?
True
Let w(t) = -t**3 - 6*t**2 - 4*t - 14. Is w(-11) prime?
False
Let d = 76377 - 50472. Suppose -9*w - 6*w + d = 0. Is w composite?
True
Let d be ((-1)/2)/(2/16). Let r be 11/(-22) + (-2)/d. Is -187*(r - -3 - 4) composite?
True
Let f(m) = -m**3 + 9*m**2 + 3*m + 7. Let k(c) be the first derivative of -c**4/4 + c**3 + 3*c**2 - 2*c - 4. Let q be k(4). Is f(q) prime?
False
Suppose -25*r = -7*r - 108558. Is r a prime number?
False
Is 46388/28 - 4/(-14) a composite number?
False
Suppose -1086 = -f + 122. Suppose -4 = l, -l = -4*z + 352 + f. Is z composite?
False
Let t(o) = 3*o**3 - 93*o**2 - 12*o - 35. Is t(33) composite?
True
Is 7 + (-67 - 30)/((-1)/126) composite?
True
Let i be -3*(-6)/27*180. Let h = 23 - i. Let s = -10 - h. Is s composite?
True
Suppose 2*l + 10 = 0, -2*a + 3*l + 1 = 2*l. Let s(m) = -m**2 - m + 1. Let x(u) = 6*u**2 - 2*u + 3. Let f(w) = -2*s(w) + x(w). Is f(a) composite?
True
Let r = -1771 - -3978. Is r a prime number?
True
Suppose 5865 - 16601 = -16*n. Is n a prime number?
False
Let l(u) be the second derivative of -u**5/10 - u**4/6 - 7*u**3/6 + 3*u**2 + 3*u. Let b be l(4). Let i = 483 + b. Is i composite?
True
Let f(n) = n + 1. Let s be f(-5). Let w be (865/s)/((-21)/336). Suppose 0 = 2*y - 0*j + j - 1377, 0 = 5*y - j - w. Is y a prime number?
True
Suppose -3*o = 3*f - 1990 - 3545, o - 1837 = -5*f. Is o prime?
True
Let w(p) = -41*p - 2. Suppose 4*d - 5*d - 5 = 0. Is w(d) prime?
False
Let v(l) = 3262*l - 219. Is v(17) a prime number?
False
Let i(j) = 434*j - 40. Is i(7) a prime number?
False
Let y(v) = v - 2. Let p be y(4). Suppose 2*o - 2*l = l + 9, 0 = o + 5*l + p. Suppose m + 156 = 4*m + o*f, -4*m = 3*f - 209. Is m a composite number?
False
Let s be (14 - 13)*(1214 + 1*-1). Suppose i = 3*k + s, -6065 = -5*i - 4*k - 0*k. Is i a prime number?
True
Let x = 11 - 5. Suppose p = -p + x. Suppose h - 6*h = p*d - 204, 0 = h - d - 36. Is h a prime number?
False
Let a(s) = 61*s - 61*s + 23*s**2 + 6. Is a(3) composite?
True
Suppose 2*z = -2*d + z - 1194, -2*z = -3*d - 1805. Let a = 1386 + d. Is a composite?
False
Suppose 194 = -3*b + 1229. Let x = b + -91. Is x prime?
False
Suppose 3*w + 0*g + 3 = -3*g, g = -5*w + 15. Is (8 - 430)*(-2)/w a prime number?
True
Let h(o) = o**3 + 5*o**2 + o + 5. Let n be h(-5). Suppose 3*u - 24 = 3*p, -4*u + 7*u - 32 = 5*p. Suppose u*g + 0*g - 140 = n. Is g a prime number?
False
Let j = 49 - 33. Suppose 2*c + 2*c - j = 0. Suppose -c*i = 3*n - 283, 2*n = 6*n + 5*i - 378. Is n composite?
False
Let c(d) = -8*d**3 - 8*d**2 + 6*d + 5. Is c(-6) a prime number?
True
Let k = -1 - -9. Let o = k - 5. Suppose -o*d + 190 = -d. Is d a prime number?
False
Let b(x) be the second derivative of -65*x**3/3 + 3*x**2/2 - x - 2. Is b(-7) prime?
False
Is (-8)/12 - 75452/(-12) a prime number?
True
Suppose 7682 = 3*o - 5*h, o - h - 2554 = 2*h. Is o a prime number?
False
Suppose -812 = -2*o + 4802. Is 3/(-2) - o/(-14) composite?
False
Suppose 3*l + 3*z - 9 = 0, 5*l - 6*z = -2*z + 60. Suppose -1596 = -l*u - 340. Is u a prime number?
True
Let p be (-8)/36 + (-76)/(-18). Suppose 3*b + 3*n = 213, -p*n + 3*n - 264 = -4*b. Is b prime?
True
Suppose -z = 2*z + 3. Let t(k) be the first derivative of 87*k**3 - k**2/2 + k - 95. Is t(z) a prime number?
True
Suppose 2*b = -2*d + 33926, 3*b = -11*d + 7*d + 67852. Is d a prime number?
True
Let a be 1947*3/9*1. Let x = a + -379. Suppose -4*j - x = f - 3*f, -524 = -4*f + 4*j. Is f prime?
True
Let c be 1 + -3 - 16/(-4). Let r(b) = b**3 - 5*b**2 - 6*b - 6. Let m be r(6). Is (11 - 170)*c/m prime?
True
Let u = -44 + 44. Is 36 - (2/(-4)*2 + u) prime?
True
Let t = 47 + -43. Suppose 0 = 3*z + t*z - 6853. Is z a composite number?
True
Let t(m) = -m**2 + 2*m + 3. Let r be t(2). Let d(k) = -3 - 4*k**r - 3*k**2 + 2 + k**3 - 3*k**2 + 5*k. Is d(-5) prime?
True
Suppose d - 5 = 41. Let g = d - -69. Is g prime?
False
Let k be (0/(4 + -8))/(-3). Let p(i) = -i**2 + 2*i + 90. Let f be p(k). Suppose 3*u - 2*u + h - f = 0, -4*h - 85 = -u. Is u a prime number?
True
Let z(b) be the first derivative of -37*b**2/2 + 27*b - 14. Let x be z(11). Is x/(-12) - 2/3 a prime number?
True
Suppose -76977 = -r - 5*p, -4*p - 3871 = r - 80849. Is r/22 + 18/(-99) composite?
False
Suppose 19*o - 806395 = -66*o. Is o composite?
True
Let d(u) = -62*u - 14. Let p be d(-5). Let s be 0 - ((-4)/1 - -2). Suppose -s*w = -150 - p. Is w a prime number?
True
Suppose -q = -5*o - 4627, -q + 23187 = 4*q + o. Is q composite?
False
Suppose -l - 5*y + 695 = 0, 3421 = 2*l + 3*l - 2*y. Is l a prime number?
False
Suppose -5*x = -3*n - 193620 + 6430, 2*n + 74880 = 2*x. Is x prime?
False
Suppose 2*i - 6399 - 5563 = 0. Is i composite?
False
Suppose 353364 - 90653 = 29*u. Is u a prime number?
True
Suppose 109*l - 106*l - 25899 = 0. Is l prime?
False
Let v be (-2 - -6) + -2 + 2. Is v*(3 + (-74)/(-8)) prime?
False
Suppose 2*w + 10015 = 3*w. Suppose 12*z - w = 7*z. Is z a prime number?
True
Suppose 0 = 4*j - 2*o - 12, 6*j = 4*j - o + 6. Suppose -u - 6 = -2*x + 29, 2*x - 41 = j*u. Suppose 2*r - 835 = 2*k - 101, -x = -4*k. Is r a prime number?
False
Suppose 5*j - j = 20. Let f(o) = 3*o - 16. Let q be f(j). Is q*(-2)/((-4)/(-298)) a composite number?
False
Let h be 15/(-25) + (-112)/(-20). Suppose h*c + 10065 = 35260. Is c a prime number?
True
Let p be 9/(-27) + 7/3. Let r be p - (0 - -104)/(-1). Suppose 0*y - 2*y + r = 0. Is y composite?
False
Let k = -11266 + 15813. Is k a composite number?
False
Suppose -4*k - 26998 = -6*k - 2*h, 26998 = 2*k - 2*h. Is k prime?
True
Let g(n) = n**2 + 2*n - 2. Let x be g(2). Let t be 355 + (24/(-4) - -6). Suppose -t = v - x*v. Is v composite?
False
Suppose 4*q + 1124 = 2*b - 3114, 5*b + 5*q = 10535. Is b composite?
False
Let z(p) = -11*p**2 + 2*p + 745. Let v(n) = 5*n**2 - n - 373. Let d(j) = -13*v(j) - 6*z(j). Let q = -46 + 46. Is d(q) a prime number?
True
Is (3/9)/((-1846559)/(-461637) + -4) a composite number?
True
Let s be ((-3)/(-2))/((-12)/(-56)). Let k = s - 19. Let q(v) = 2*v**2 - 4*v + 3. Is q(k) composite?
True
Suppose 0 = -5*u - 4*r + 458, -4*u + 2*u - 2*r + 184 = 0. Let v = 717 + u. Is v prime?
False
Let d(l) = 88*l**2 + 88*l - 1. Is d(-5) composite?
False
Let g(o) = -o**3 - 10*o**2 + 7*o + 9. Let t(l) = 2*l**3 + 21*l**2 - 15*l - 17. Let j(b) = 7*g(b) + 4*t(b). Is j(-7) composite?
True
Is 52519 + 4*((6 - 1) + -4) a composite number?
True
Let q(s) = 0*s + 40*s**2 - 3 - 7*s**2 + s. Let z be q(2). Suppose z = -2*b + 3*b. Is b a composite number?
False
Let q(o) = -o**3 - o**2 - o - 1. Let f(l) = -4*l**3 - 8*l**2 - l - 3. Let w(y) = f(y) - 2*q(y). Is w(-6) a composite number?
True
Suppose -4189 = -d + 2589. Is d a prime number?
False
Let j(o) = -4*o**2 - 19*o + 34. Let u be j(12). Let z = 1261 + u. Is z a prime number?
