t - 10493. Is t a prime number?
True
Is 511186 - (-420)/(-20)*(-2)/6 a composite number?
False
Let w = 151238 + -89059. Is w a prime number?
False
Let f(u) be the first derivative of 58*u**3/3 + 9*u**2/2 + 7*u - 160. Is f(6) prime?
False
Let z = -2202 - -9083. Is z a composite number?
True
Suppose -128*q - 7400354 = -170*q - 1453700. Is q composite?
False
Suppose 19661 = 3*s + 15*q - 11*q, -5*s + 32760 = 5*q. Is s a composite number?
False
Is (-53470)/20*(1 + -440 + -7) prime?
False
Is (-480)/(-384) + (5345670/(-8))/(-5) a prime number?
False
Let w(b) = b**3 + 9*b**2 - 3*b + 7. Let r be w(-7). Let j = 78 - r. Is (1 - 634/3)/(16/j) a prime number?
True
Suppose 0 = -19*s - 18*s + 481. Suppose 0 = -s*t + 24*t - 109967. Is t a prime number?
False
Suppose 2*p - 4428 = -n, -2*n - 86 = p - 8930. Suppose n = -2*w + 744. Let x = 2619 + w. Is x composite?
True
Let q = -1914 + 20213. Is q composite?
True
Suppose 0 = -179*b + 178*b. Suppose 21*h - 16*h - 25805 = b. Is h composite?
True
Let f(c) = -5831*c - 2349. Is f(-76) composite?
False
Let r = 106 - 90. Suppose -r*q + 24*q = 14936. Is q a composite number?
False
Suppose c - 403486 = a, 0 = -2*c + c - 5*a + 403468. Is c composite?
False
Let u = -2859 - -17152. Is u a composite number?
False
Let s be (-6 - -3) + ((-36)/6 - -2159). Suppose 9831 + s = h. Is h a prime number?
True
Let u(h) = 8155*h - 876. Is u(5) a prime number?
False
Let z(s) = -51*s - 9. Let o be z(-4). Let y be ((-34398)/o)/((-7)/(-10) - 1). Let i = y + -323. Is i a prime number?
False
Let x(u) = 245*u**2 + 11*u - 587. Is x(23) composite?
True
Is (-3 + -2*5361/6*-575)/2 composite?
False
Let z be 1/(-4) - (-1398)/24. Suppose 316 - z = -2*d. Is d*(55/(-15) + -2) prime?
False
Let m = -8477 - -12416. Let b = m - -58. Is b a composite number?
True
Suppose -4*q = 3*i - 8*q + 75, -4*i = 5*q + 69. Let v(w) = -w**3 - 22*w**2 - 48*w - 50. Is v(i) composite?
True
Let r(v) = 4427*v**2 - 36*v + 210. Is r(7) a prime number?
False
Suppose -27*g + 0*g = -266139. Is g*2 + (-231)/(-77) prime?
True
Let z(w) be the third derivative of 11*w**6/4 + w**5/10 + 5*w**4/24 - 10*w**3/3 + 34*w**2 - 1. Is z(2) a composite number?
True
Suppose -146*k = -92*k - 7084962. Is k a prime number?
True
Suppose 0 = 4*j - 1315 - 285. Let p(c) = 22*c**2 + 143*c + 44. Let k be p(-10). Suppose 0 = -g + k + j. Is g prime?
False
Suppose 0 = 11242*q - 11243*q + 733351. Is q a prime number?
True
Let i(g) = -117*g**2 - 3*g + 3. Let m(j) = -584*j**2 - 15*j + 14. Suppose 2*b + 5 = 9. Let y(x) = b*m(x) - 11*i(x). Is y(-3) composite?
True
Let g = -2 - -7. Suppose -5*z + 2 = -8. Suppose z*y - 3*y = g*b - 936, 4*b - 2*y = 746. Is b a prime number?
False
Suppose 0 = -5*v + 5*b + 19770, 2*v - 5*b = 3*v - 3954. Suppose 3*c = -c + 4*x + 5280, 3*c - v = x. Is c a prime number?
False
Let q be ((-606)/4)/(-3) + 20/(-8). Suppose 2*l - 196 = -q. Is l a composite number?
True
Let o(k) = -10 + 186*k - 50*k - 15 + 12. Let z be o(16). Suppose -2*g - 3*t - 220 = -z, 3*g - t - 2898 = 0. Is g a composite number?
False
Suppose 463*v + 166025298 = 565*v. Is v a prime number?
False
Let u = -107 + 63. Let j = 36 + u. Let a(x) = 8*x**2 + 10*x + 7. Is a(j) a composite number?
False
Suppose 5*l + 40 + 0 = 0. Let v(s) = 149*s**2 - 14*s + 17. Is v(l) a prime number?
False
Suppose -5 - 4 = -9*o. Let f be (-2)/10 - o/((-15)/5433). Let h = 843 - f. Is h a composite number?
True
Suppose n = 1507 + 1998. Suppose -2*s - 51 + n = 0. Is s prime?
False
Suppose -5*u = -334 - 356. Suppose 0 = -2*x - 0*x + 4*i + 474, -3*x + 706 = -5*i. Let a = x - u. Is a prime?
True
Suppose 0 = -2*w + s - 3, -1 = 2*w - 0*w - 3*s. Let d(v) = 3*v + 5. Let n be d(w). Is (5 + (-22)/4)*258/n prime?
False
Suppose 30*k = 3 - 273. Let j(m) be the third derivative of 2*m**5/15 - 13*m**3/6 - 2*m**2. Is j(k) composite?
True
Let s = -31 + 35. Suppose 2*i - 5*u - 5 = -4*u, s*u - 16 = -4*i. Suppose -i*a + 12225 = 5*w + a, 2*a - 12215 = -5*w. Is w a composite number?
False
Suppose -63*x = 55587 - 1827336. Is x prime?
True
Suppose -2278*p + 1868 = -2282*p. Let u be (0 - -2) + (763 - 3). Let d = p + u. Is d composite?
True
Let t(p) = 1762*p**3 + 5*p - 2. Let i be t(2). Let r = -9401 + i. Is r a prime number?
True
Let j(o) = -280*o - 19. Suppose -4*p - 13*p = 34. Is j(p) a prime number?
True
Suppose -5*k - 12 = -4*d + 3, -d - 5 = 0. Let l(p) be the first derivative of -63*p**2 + 17*p + 14. Is l(k) composite?
True
Is -10*(-271108)/(-16)*322/(-115) prime?
False
Suppose 9*k - 211255 = y, 5*k + 23471 = 6*k - y. Is k a composite number?
False
Suppose 111*c - 115*c = 3*k - 48191, 0 = -2*k + 5*c + 32089. Is k a composite number?
False
Let g(s) = -2*s**3 - s**2 - 6*s - 1. Suppose -5*m + 4*i = 34, -m - 15 = 2*m + 3*i. Let j be g(m). Let a = j + -253. Is a a composite number?
True
Suppose -32*f + 49*f - 821117 = 0. Is f a composite number?
True
Let n = -878 + 1650. Is (6 - -5)*-2*n/(-8) a prime number?
False
Let f be (-7)/21*(-2 - -2). Suppose -3*v + 4*v - 5*k - 15 = f, 21 = 3*v - 3*k. Suppose -v*l + 395 = 2*q, -2*l + q + 79 = -79. Is l a prime number?
True
Suppose 5*h - 25 = 4*r, -4*h - 5 = -5*h. Is 2498 + r - (-2 - 3) a composite number?
False
Let m(j) = 37*j + 110. Let n be m(27). Suppose -2*w - 3*w + 2227 = 4*p, 2*p - n = -w. Is p prime?
False
Suppose 4*w - 7*w = -51. Let v(j) = 5*j + w + 29*j**2 - j**2 + 20*j**2 - 8*j. Is v(-4) composite?
False
Let f = 3844 - -987. Is f prime?
True
Suppose -4*k - 19002 - 42770 = 0. Let v = -9769 - k. Is v a composite number?
True
Suppose 0 = -3*a - 0*a - 3. Let q(r) = r**2 + 14*r - 51. Let d be q(-17). Is 159 + d + -3 + 0 - a prime?
True
Let h = -11 + 76. Let a = 70 - h. Is 2/(-10) - (-2706)/a a composite number?
False
Suppose -3*h + 7 = -j, j = 2*h - 1 - 4. Suppose -h*t = t - 9. Suppose 0 = 3*n + u - 3325, n = -2*n + t*u + 3333. Is n a composite number?
False
Let n(s) = -s - 21. Let r be n(6). Let k = r + 3. Is 26724/k*(-3 - -1) prime?
False
Let l(v) = v**3 + 10*v**2 - 6*v + 8. Let k be l(-11). Let m(n) = -17*n - 1. Let t be m(-5). Let o = t - k. Is o a prime number?
True
Suppose 5*x + 14 = 29. Suppose -x*h = -5*c - 5944, c = -1 - 4. Is h prime?
True
Let j = 240 - 225. Is (9970/j + -4)/((-4)/(-6)) prime?
True
Let y = -25371 + 182300. Is y prime?
False
Let h be (-3125 + -1)*4/(-4). Suppose -o - h = -4*o. Is (-5 - -4)*(-3)/(6/o) a prime number?
True
Let n(i) = 138*i**3 + 7*i**2 - i - 17. Let o be n(4). Suppose -2*r - 4*s = -4494, 0*s - 5*s - o = -4*r. Let x = r - 1168. Is x a prime number?
True
Let t = 92 + -87. Suppose -8*l = -59 - t. Suppose l*j = -1454 + 6646. Is j a prime number?
False
Suppose -5*x - 37024 = -4*t, t = -4*x - 4468 + 13703. Suppose -9256 = -2*h - 2*y, -4*h + t = -2*h - 3*y. Is h prime?
False
Is 1 + 2 - (-101)/((-606)/(-326268)) a prime number?
False
Let p be -1 + 1 + (0/1)/(-2). Suppose p = 4*g + 15559 - 72863. Let n = g - 9737. Is n a composite number?
True
Is (-6)/10 + ((-106284)/510)/((-2)/20108) prime?
True
Let z(g) = 5 + 2 - 9*g - 27*g**2 - 15*g**2 - 2*g**2. Let w be z(7). Let q = 3313 + w. Is q composite?
True
Suppose -m - 31549 = -f, 2*m = -7*f + 2*f + 157773. Is (10/(-65) + f/13)/3 a composite number?
False
Let w = 248 + 518. Suppose -2*v = g - 3655 + w, 14510 = 5*g - 3*v. Is g a composite number?
True
Suppose -s - 5 = -8. Suppose 3*c - 11501 = u, c - 7679 = -c + s*u. Suppose -4*z - c = -12*z. Is z a prime number?
True
Let y(n) = 14*n**2 + 26*n**3 + 8*n**2 - 16*n**2 - 3 + 14 - 8*n. Is y(5) composite?
False
Let x be (-32)/(-28) + 1/(-7). Suppose -5*j = -10, j = 3*i - 4*i + x. Is (-27)/(-9) - (-1153 + i) composite?
True
Suppose 400*j - 104734 = -2*i + 404*j, 2*j = 5*i - 261811. Is i prime?
True
Let g = 10 - 3. Let s(l) = 4 + 28*l**2 + 5 + 8*l + 34*l + 3*l - 75*l. Is s(g) composite?
False
Let w(x) = 186*x + 67. Let s be w(13). Let v = s - 542. Is v a composite number?
True
Let s(y) = 103*y + 29. Let r be s(10). Suppose -5*l + 102 = -2*v - 742, 0 = -5*v + l - 2064. Let u = r + v. Is u composite?
False
Is ((-2)/1)/((-52)/303602) composite?
False
Let s(d) be the first derivative of d**4/2 + d**3/3 - 13*d**2/2 - 25*d + 147. Is s(13) a prime number?
False
Let l = 225 + 666. Let y = l + -433. Let w = -219 + y. Is w prime?
True
Let n(k) = 5*k**2 - 8*k + 36. Let v(s) = 4*s**2 - 9*s + 36. Let l(x) = -2*n(x) + 3*v(