 - 3438. Is a a prime number?
True
Let m(a) = 2*a**3 - 5*a**2 + 2*a + 6. Let l be m(7). Let j = l - 59. Is (-4)/2*j/(-12) prime?
True
Is (-15*(-1324)/12)/1 a composite number?
True
Let y = 4156 - 2873. Is y prime?
True
Suppose -5*d - 2*p + 25 = p, 0 = 3*p + 15. Let c(z) be the third derivative of z**6/120 - 7*z**5/60 - z**4/12 + 11*z**3/6 + 7*z**2. Is c(d) a prime number?
True
Suppose i + 2*x - 8 = 2, -5*i - 4*x + 20 = 0. Suppose i = -s - s. Suppose s = p - 59 - 15. Is p composite?
True
Suppose -5*y - 2*j + 341 = 0, -y - j + 204 = 2*y. Suppose 46 = o - 5*p, -3*o = -p - 1 - y. Is o a prime number?
False
Suppose 7*g - 2*g + 3*f - 6 = 0, 3*g + 3*f = 6. Suppose -3*k - k = -20. Suppose g*m + 4*c = -2*m + 78, -k*m + 195 = c. Is m prime?
False
Let v(c) be the second derivative of -9*c**3 + 15*c**2/2 - 15*c. Is v(-8) a composite number?
True
Let n(y) = 11*y**2 + 8*y - 4. Let r(u) = -5*u - 7. Let p(d) = d + 1. Let b(v) = -6*p(v) - r(v). Let i be b(8). Is n(i) prime?
True
Let h be (1 + 0)/(1/9330). Suppose -m + 3740 = m - 4*v, h = 5*m - 5*v. Let n = m - 793. Is n a composite number?
False
Suppose 0 = 10*n - 36208 - 31402. Is n a composite number?
False
Is 3/(109774/12197 + -9) composite?
True
Let c = 34 + -32. Suppose -4*b + 10 = c. Is (108/8 - -2)*b prime?
True
Let q be (-214)/(-9) + (-136)/36 + 4. Let o be (-3)/(-1)*(-5 + 3). Is (444/q)/((-1)/o) prime?
False
Suppose -2*c = 3*v - 4, 0*c + c - 5*v = -11. Let y be (0 - -20)/c + 0. Is y/30 + 358/6 a prime number?
True
Suppose -3*u + 5*j = -325, u - 334 = -2*u - 4*j. Suppose -2*y = y + s - 179, 2*y - u = 4*s. Is y a prime number?
True
Let w(q) = q**2 + 2*q + 4. Let f be w(-4). Suppose r + r + f = 0. Is (-7 - r)/(1/(-119)) composite?
True
Suppose -576 - 1971 = -3*t. Suppose -4*f = 4*k - 629 - 79, -5*f + 4*k = -t. Suppose 0 = 3*g - 64 - f. Is g a prime number?
True
Suppose 5*g = -0*g - 2*q + 4, q = -4*g + 2. Let t(c) = -c**3 + c**2 + 3. Let v be t(g). Suppose u + v*w + 57 - 305 = 0, 3*u + w - 752 = 0. Is u composite?
False
Let x be 7940 + ((-2)/3 - 2/(-3)). Is (-2 + 3)/(1/x*4) prime?
False
Let z be 2/(-5) - (-947)/5. Suppose 451 = q - z. Suppose 4*d + w - q = 0, -d - 55 = -5*w - 236. Is d composite?
True
Suppose 3920 = -37*p + 30*p. Let w = p - -1077. Is w composite?
True
Suppose -4049724 = -27*m - 57*m. Is m a composite number?
True
Suppose 2*q + z + 299 = -q, 295 = -3*q - 5*z. Let s = q - -365. Is s a composite number?
True
Let x = 9998 + 5961. Is x composite?
False
Let z be (-6)/(-15)*5*47. Suppose 8*d - 7*d - 2 = 0. Suppose -4*n = -d*i + z, -3*i + 70 = 4*n - 31. Is i a prime number?
False
Suppose -g - 3 + 17 = 0. Suppose -2*y = -4*z + 2, 5*y - 2 = 3*z + g. Suppose a = -4*m - 0*m + 1587, z*a - 394 = -m. Is m a prime number?
True
Let i = -87 - -33. Let f = i - -608. Is f prime?
False
Suppose -b + 5*b - 12 = 0. Suppose x + 1990 - 4966 = -v, 0 = 2*x - b*v - 5927. Is x a composite number?
False
Suppose 0*b = 5*b. Let f(p) = p**3 + p**2 + 2*p + 4. Let x be f(b). Is ((-223)/(-2))/(x/8) a composite number?
False
Let p(f) = 1780*f - 141. Is p(2) a prime number?
False
Suppose 1902 = -n + m + 5066, 5*n - 15812 = -3*m. Is n composite?
False
Let c(b) be the second derivative of 1/12*b**4 + 2/3*b**3 + b**2 + 0 - 9*b. Is c(7) prime?
True
Let w = 6901 + -2732. Is w a composite number?
True
Suppose -3*r + 14806 + 7691 = 0. Is r a prime number?
True
Suppose 4*g = 3*c + 22507, -7*g + 22502 = -3*g - 2*c. Is g composite?
False
Is (-2)/(((-48)/108660)/((-4)/(-10))) prime?
True
Let a(l) = 1. Let r(j) = 3*j - 8. Let v(b) = a(b) + r(b). Let g be v(8). Suppose -4*q + g = 1, -5*q = 4*p - 1192. Is p composite?
False
Let b(x) = 42*x - 7. Is b(7) composite?
True
Suppose -2*t - 8 = 32. Let q = t + 9. Is 107/(43/q - -4) a prime number?
False
Let k(v) = -v**3 - 3*v**2 - 7*v - 29. Is k(-12) composite?
True
Let m = -5606 - -16957. Is m composite?
False
Suppose 9*g = 18595 + 120932. Is g composite?
True
Let i(y) = -1814*y + 201. Is i(-13) a prime number?
False
Let b = 2024 - -339. Is b prime?
False
Let a = -13 - -16. Suppose 0 = -o + a - 0. Suppose o*q + q - 132 = -4*h, -q = -2*h + 60. Is h prime?
True
Let r = -136369 - -245472. Is r prime?
True
Let q be -9 + (2 - 4) + 4. Let s(r) = -2*r**3 + 6*r**2 + 6*r + 5. Is s(q) prime?
False
Suppose 7*c + 71210 = 17*c. Is c a prime number?
True
Let q(s) = -23*s + 1. Let m = 1 + 0. Let y be q(m). Is 4/y - (-3458)/22 a composite number?
False
Let l(y) = -7*y**3 + 3*y**2 + y - 2. Let g be l(-2). Let f(o) = 12*o + 5. Let x be f(8). Let r = x - g. Is r a prime number?
True
Let l = 45692 + -17641. Is l composite?
False
Let s be (-4)/(-10) - 12/30. Suppose -5*i - 17 = 8, 2*o + 3*i + 21 = s. Is (7/2 + o)*70 a prime number?
False
Suppose -a + 53 = -5*i, 4*a - 5*i + 91 = 6*a. Suppose 0*c + c - 1 = p, 2*c - 5 = 5*p. Let r = p + a. Is r prime?
True
Suppose -6*h - 62476 = -7948. Is h/(-12) + 3/(-9) composite?
False
Suppose 4*o - 5 - 15 = 0. Is (o - (-8)/(-4))*(-826)/(-6) a composite number?
True
Let o be (-6)/(-14) + 24/(-7). Is 4*(6125/20 + o) a prime number?
True
Let x(u) = u**2 + u + 43. Is x(14) prime?
False
Suppose 31*u = 5*u + 8606. Is u a composite number?
False
Suppose 2*j - 3*i - 1023 = 0, 2*j + i = j + 519. Suppose 9*d - 5*d - j = 0. Is d composite?
True
Is (-399780)/(-48) + -11 + 1/4 a composite number?
True
Suppose 19 = -2*q + 5*b + 222, -b - 450 = -5*q. Is q a composite number?
False
Suppose 4*p - 13 = v, 3*p - v + 2 = 4*p. Suppose -3*k - 2*k = -i + 2162, 0 = p*i + 5*k - 6506. Is i a prime number?
False
Let l(z) be the first derivative of -13*z**3/3 + 3*z**2/2 - 8*z + 5. Let h be l(-4). Let a = -101 - h. Is a a composite number?
False
Suppose 2*b + k - 50485 = 4*k, 5*k = -4*b + 101003. Is b a prime number?
True
Let j = -5731 + 9188. Is j prime?
True
Let y = -21 + 24. Suppose -2*l - 7 = 5*x, 2*x + 3 = 5*x + y*l. Is ((-4)/(-20))/(x/(-11085)) a prime number?
True
Suppose -h = 3*w - 194, 5*h - 950 = 6*w - w. Is h a prime number?
True
Let r(n) = 3*n + 4. Let y be r(2). Suppose 879 = y*o - 7*o. Is o composite?
False
Let l(y) = -y**3 - 3. Let a be l(-2). Suppose -a*j - 7466 = -92761. Is j prime?
False
Let p(q) = 3565*q**2 - 25*q - 11. Is p(-6) prime?
False
Let i = -8 - -29. Let o = i + -15. Let d(z) = -z**3 + 7*z**2 - 2*z - 2. Is d(o) composite?
True
Let s(l) = l**2 + 33*l - 189. Is s(14) a composite number?
True
Let w(i) = -2*i. Let o be w(-2). Suppose -2*d - 106 = -4*y, -o*d + 34 = 4*y - 54. Suppose -k = 2*q - y, 5*q + 109 = 4*k - 30. Is k prime?
True
Let h(t) = 135*t**2 - 40*t - 3. Is h(-4) prime?
False
Suppose 4*k + 3 = 7. Let g(j) = 139*j**3 - 2*j**2 + j. Let z be g(k). Let r = z - -19. Is r prime?
True
Suppose -5*m = 5*h - 229670, -183733 = -4*h + 19*m - 22*m. Is h a prime number?
False
Is ((513/(-18))/3)/(1/(-194)) prime?
False
Let x(u) = -59*u + 9. Let q be x(-4). Let r = 424 - q. Suppose 0 = 10*j - 11*j + r. Is j prime?
True
Let g(n) = -12*n**3 - 2*n**2 + 3*n + 3. Let j be 1*16/(4/(-2)). Let h = j - -6. Is g(h) a prime number?
False
Let j(w) = 5*w**3 - w**2 - w + 1. Let d be j(1). Let i be 7/((-392)/16) + 23/7. Suppose -4*v + 0*v = -d*t + 892, -i*v = 0. Is t composite?
False
Let f be (11/(-11))/(1/5). Is (-4)/f*(-4020)/(-24) composite?
True
Let o = 5655 + -1262. Is o composite?
True
Let s = 87 - -152. Is s composite?
False
Suppose 6*p = -91450 - 1202. Is (-25)/75 - p/3 prime?
True
Is 993*(60/18 + -3) composite?
False
Let o = 11589 + -8136. Is o a composite number?
True
Let l = 71735 - 19476. Is l prime?
True
Suppose -2*u + 3*u = -4*i - 14, 10 = -5*i - 5*u. Let a be ((-3)/(-2))/(i/1056). Let z = 557 + a. Is z composite?
True
Let r(g) = 9 + 1 + 2 - 9 + 36*g**2. Is r(4) a prime number?
False
Let p(g) = 43*g**2 - 6*g - 4. Let o(h) = h**3 - 13*h**2 - 15*h + 11. Let v be o(14). Is p(v) a prime number?
True
Let d(v) = v + 15. Let l be d(-11). Suppose f + l*f = 545. Suppose 5*u - 5*k = -4*k + f, -k - 87 = -4*u. Is u a composite number?
True
Suppose 6*y = -2*d + 3*y + 16, -2*y + 10 = d. Is (d + 10/(-6))*717 a composite number?
False
Let y(p) = 3*p - 19. Let b be y(-7). Let g be b/(-8) - (1 + -2). Is (394/g)/(11/165) a composite number?
True
Let d(i) = 15*i**3 - i**2 - i + 3. Let r be d(3). Suppose 0 = -5*b + r + 39. Let g = b + -52. Is g a prime number?
False
Let b(s) = 87*s + 65. Let i(w) = w**2 - 9*w