Is (-1476676)/((-473)/301 + 9/21*-1) a composite number?
True
Let v be (11 - -26)/(1/27). Suppose -3*a - v = -3*s, -3*a + 1625 = -s + 6*s. Suppose -5*c - q = -c - 651, 2*c - 2*q = s. Is c a prime number?
True
Suppose -16*i + 2*y + 46 = -12*i, 3*i - 48 = -3*y. Suppose -30204 = q - i*q. Is q a composite number?
True
Let x = -319335 - -524566. Is x a prime number?
False
Let s(g) = g**3 - g**2 - 20*g - 3. Suppose 0 = 3*l - 4*i - 30, -l - 3*i = 4*l - 50. Is s(l) prime?
False
Let r(g) = 2588*g - 196. Let t be r(-28). Let w = -45778 - t. Is w prime?
False
Let u(d) = 12*d + 126. Let l be u(-11). Is (l/(4 - 1))/(4/(-7278)) prime?
False
Let o be (426/5)/((-2)/(-20)). Let l be (-11354)/(-16) + 2330/(-3728). Let m = o + l. Is m a prime number?
False
Is ((-7722)/27)/(-22) + 361880/2 a composite number?
True
Let m(c) = -2*c**2 + 26*c - 37. Let o be m(11). Let s(x) = 60*x**2 + 18*x - 5. Is s(o) a composite number?
False
Let c = 314 - 307. Suppose 29*d - 725890 = c*d. Is d prime?
False
Let c(x) be the third derivative of x**6/90 + x**5/40 + 7*x**4/24 + 17*x**3/6 - 6*x**2. Let t(k) be the first derivative of c(k). Is t(6) prime?
False
Suppose 139*s - 5573732 = -1450575. Is s a composite number?
False
Let v(y) = -y + 2. Let q(o) = -11*o - 21. Let n(s) = q(s) - 2*v(s). Let h be n(-11). Suppose -5*t - 2*c = -h, 3*c = 3*t - 48 + 12. Is t prime?
False
Suppose 51*t - 9206345 = 10*t. Is t composite?
True
Is (-13)/286*(-1 - -5) - 2672718/(-22) a composite number?
False
Suppose -24*q - 7*q + 53912200 = 9*q. Is q a prime number?
False
Let t(y) be the second derivative of -84*y**3 - 25*y**2 - 10*y. Is t(-6) prime?
False
Suppose -168 = -4*v - 264. Is 1/(v/(-100641)) - (-6)/(-16) composite?
True
Let o(g) = -45645*g - 691. Is o(-8) composite?
True
Let r be (2 - -3398) + 6 + -1. Let h be r/6 + 5/(-2). Suppose 199 = v - 4*j, 3*v = -0*j + 4*j + h. Is v a composite number?
True
Let t be (-260)/(-15) + 24/18*-1. Suppose 5*o - 60984 = -r, -5*o + 60987 = -t*r + 14*r. Is o prime?
True
Let d be 358/8 - (-2)/8. Let w = 7106 + -7107. Is (-2)/9 + 62920/d - w prime?
True
Let r = -133572 + 232345. Is r a composite number?
False
Let p(b) = b**3 + 22*b**2 + 36*b - 4. Let x be p(-2). Suppose 0*j - 4*q = j - 8995, -2*j + 17994 = x*q. Is j a composite number?
False
Let d(h) = h**2 - h - 18. Let n be d(5). Suppose -n*c = 10*c - 24. Suppose c*b - b = 662. Is b composite?
True
Suppose 8*o + 56 = 15*o. Suppose 0 = 4*j + 3*i - o, 2*j - 4 = -2*i - 0*i. Suppose x + j*a + 2*a = 437, 888 = 2*x + a. Is x a prime number?
False
Let j = -107982 - -210193. Is j prime?
False
Suppose -74*m + 3617636 + 12557210 = 0. Is m a composite number?
False
Let o = -98 - -93. Let z(l) = -91*l + 59. Is z(o) composite?
True
Suppose 0 = 22*o - 6482241 - 2786425. Is o a prime number?
True
Let s(t) = 2*t**3 - 99*t**2 + 40*t - 31. Is s(52) a composite number?
False
Suppose 2*g - 76*g + 16863104 = 54*g. Is g a prime number?
True
Suppose 126*d - 63*d - 47*d = 1025840. Is d prime?
False
Let o(v) = 7393*v**2 - 36*v + 245. Is o(6) a prime number?
True
Let a be (-21)/(-14) + (-34)/(-4). Suppose w + a*l - 5*l - 413 = 0, 5*w - l = 2065. Is w prime?
False
Suppose -63*g + 764 = -2134. Let d(s) = 2*s**2 + 52*s + 219. Is d(g) prime?
False
Suppose 117319 = 5*h + 7*p, -3*h + 99042 - 28657 = p. Is h a prime number?
False
Suppose -2*q = -3*b + 4699563, 0 = 2*b + q - 1557893 - 1575135. Is b composite?
False
Suppose 0 = -30*p + 1526476 + 1118594. Is p a prime number?
True
Let g(m) = -1327*m - 1465. Is g(-92) composite?
False
Let h(d) = 4*d**3 - 3*d**2 - 6*d + 4. Let y be h(2). Suppose b - y = 397. Is b prime?
True
Is 10758 + ((-12)/16)/(3 - 255/80) a composite number?
True
Suppose -22*n + 6*n = 2*n - 4425282. Is n prime?
True
Let n(l) = 91*l**2 - 778*l + 146. Is n(-35) a prime number?
False
Let j(a) = -26*a**2 - 8*a - 69. Let y(x) = 24*x**2 + 7*x + 69. Let c(g) = 3*j(g) + 4*y(g). Is c(13) a composite number?
False
Suppose 4*n + 2*j = 32, -5*j + 10*j = 5*n - 55. Is (-137852)/(-33) + (-12)/n + 1 a prime number?
True
Is (69/207)/(1/245211) composite?
False
Let d(p) = 9*p - 265. Let t be d(30). Let x(k) = 126*k**3 - 9*k**2 + 5*k + 21. Is x(t) prime?
False
Let w be ((11 - 10)*(2 + -2))/4. Suppose w = -5*l + 8*l + 5*h - 15277, 3*h = -12. Is l a composite number?
False
Suppose 0 = 5*s + 3*s - 40. Suppose -s*v = -16 + 1. Suppose -5*x = -21 - 4, r = -v*x + 426. Is r a composite number?
True
Suppose -3*s + 2787371 = 4*z, 0 = -s + 70*z - 66*z + 929145. Is s a prime number?
True
Let c(p) = 8*p**3 - 3*p**2 - 4*p - 12. Let w be c(5). Suppose -5*q + w = -2832. Suppose 2*t = r - 751, -r + 0*r - 4*t = -q. Is r a composite number?
True
Suppose -1 - 6 = -7*c. Let l be -5*((-8)/20)/c. Suppose d - 119 = l*i - 0*i, -3*i + 357 = 3*d. Is d a composite number?
True
Suppose -5*d - 5*m = -501260, 4*d = -9*m + 6*m + 401009. Is d a composite number?
True
Suppose 0 = -0*g + 4*g - 4*n - 9508, -g + 4*n + 2392 = 0. Let p = 11905 - g. Is p a prime number?
True
Let q be (-9 - -8) + 2100/1. Suppose -2196 = -5*j + q. Is j composite?
False
Suppose 8*s = 7*s - 8*s + 2561697. Is s composite?
False
Suppose 0 = -2*d - 183 + 39. Is 16106/14 + d/(-126) prime?
True
Let d = 247 - 249. Is (-17)/(255/(-1490))*(1 - d) a composite number?
True
Let x = 231229 + -103155. Is x a composite number?
True
Suppose 15*j - 4010890 = -4*i + 2708231, 2*j - 895916 = 5*i. Is j a composite number?
False
Let w(k) = 1172*k - 2. Let j be w(1). Suppose -2*i + j = -0*i. Suppose 2971 + i = 4*o + 5*v, 3*o - 4*v = 2667. Is o a prime number?
False
Let q be 1 - (1 - (1 - 3)). Let h be 465 - (3 - 6) - q. Let j = h + 19. Is j composite?
True
Suppose 0 = -2*k + 8 + 2. Suppose 4*l = l + 2*g, -5*g = k*l. Suppose l*j + 5*j = 4435. Is j prime?
True
Suppose -3*r - 3*r - 6438 = 0. Suppose 18696 = -21*m + 9*m. Let j = r - m. Is j composite?
True
Let m = -6 + 11. Let n be (21/(-6) - -5) + (-6)/4. Suppose m*k - 6*k + 1097 = n. Is k prime?
True
Is (-6)/21 + (-8263910)/(-14) a prime number?
True
Let q be 5 + -11 + (2 - 3394). Let y = 15495 + q. Is y composite?
False
Is (2/(-3))/(1/((-9)/(-2))) + 30350 composite?
False
Suppose 23612 + 45862 = 6*k. Is k prime?
True
Let z = 50 + -45. Let c(x) = x**3 - 4*x**2 - 7*x + 12. Let q be c(z). Suppose 0 = -q*j - 2*j + 4*s + 3268, 2*j - s - 1634 = 0. Is j prime?
False
Let q(c) = c**2 - 4*c. Let x be q(4). Suppose x = -y - y - 1390. Let j = 1002 + y. Is j composite?
False
Suppose -5*t - 2*y = -6*y - 411885, 0 = -5*y + 25. Is t composite?
True
Let j(c) be the third derivative of -1021*c**4/6 - 161*c**3/6 - 2*c**2 - 14*c. Is j(-12) prime?
True
Let b(y) = 1204*y**2 - 34*y - 109. Is b(-8) a composite number?
True
Let d = -80 + 79. Is (-23442)/12*(-3 - d) composite?
False
Suppose -w - 3*f = -5501, 4 = -6*f + 4*f. Is w composite?
False
Let s = 119986 + -59967. Is s a prime number?
False
Suppose -k + 4 = k, 2*x = 3*k + 6. Let q(w) = -x - 14 + 218*w - 515*w. Is q(-9) prime?
False
Let x be ((-12)/(-18))/(3/(-36)). Is (1 - 8/x) + 555/1 a composite number?
False
Let d(o) = 3*o**2 + 5*o - 1. Let w be 32/(-24)*105/10. Is d(w) composite?
True
Let p(f) = 8*f + 21. Let i(v) = v**3 - 5*v**2 + 2*v + 6. Let u be i(4). Let t be p(u). Suppose 0 = 4*x - x + t*j - 2701, 3620 = 4*x + 2*j. Is x prime?
True
Suppose -19*d + 4*t = -7812181, -5*d - 29*t + 24*t + 2055825 = 0. Is d composite?
False
Let r = 113 + -111. Suppose 3*f - 2*p - 4652 = -7*p, -r*f + 3128 = -2*p. Is f a composite number?
False
Let n(a) = -2836*a - 8655. Is n(-35) a composite number?
True
Let l be ((-8)/(-16))/(-2 + (-13)/(-6)). Suppose -l*s + 4428 = 5*b, -5774 = -4*s + 2*b + 156. Is s prime?
True
Let t = 22716 + 75923. Is t a composite number?
False
Let z = -301 - -2154. Let h = z + -1038. Is h a composite number?
True
Let k be (2/(-6))/(20/(-60)) + 4. Suppose 0 = 4*y + o - 23361, y - k*y + 23376 = 4*o. Is y a composite number?
False
Suppose -174824 = -4*f - 5*n, -2*f + 14*n = 16*n - 87414. Is f prime?
True
Suppose 17964 = 4*m + 4*l, -4*m - 9*l + 17967 = -6*l. Suppose 28006 - m = 8*t. Is t a composite number?
False
Suppose -4*b + 28 = -8. Let v be 0/(b/(-6)*(-2)/3). Suppose -4*n + 325 - 57 = v. Is n prime?
True
Let z(o) = -o**3 + 2*o**2 - 8*o + 1. Let i be z(-7). Suppose 16*l + 2278 - 11702 = 0. Suppose l = d + 2*s - i, 4348 = 4*d + s. Is d prime