 -1 a prime number?
True
Suppose 5*k + 5*r - 10 = 0, -r + 22 = 2*k + 15. Is k/(-5 + 137736/27546) prime?
False
Let c(z) = z**2 + 3*z + 3. Let f(d) = d + 6. Let l be f(2). Suppose l*j = -0 + 24. Is c(j) prime?
False
Let z(l) = l**2 - 13*l + 44. Let y be z(4). Suppose 0 = y*h + 4573 - 215637. Is h composite?
True
Let v be ((-87)/6)/((-8)/(-16)). Let z = v + 26. Is -1 + (-824)/z + (-5)/(-15) prime?
False
Let j be 2/1 - -8254*3/6. Let d = -1842 + j. Is d a prime number?
True
Suppose -722065 = 8*l - 5704439 - 3971378. Is l composite?
True
Let z = 911639 - 133830. Is z a prime number?
False
Is -18 + 389/(-5)*-4105 a composite number?
False
Suppose 0 = -22*a + 26*a + 840. Let f = a - -517. Is f a prime number?
True
Let d be -3 + 8/((-24)/9). Is -3755*(12/10)/d a composite number?
False
Suppose 3*d = 80 - 20. Suppose 4*u = c - d, c + 8 = 5*c + 2*u. Suppose -8*h + c*h + 2962 = 5*s, -2*h + 1482 = 2*s. Is h composite?
False
Suppose 2*u = r + 171315, -2*u + 5*r = -161409 - 9878. Is u prime?
True
Let d be ((-8)/(-32))/((-1)/(-12)). Let j(q) = q**2 + q - 6. Let k be j(d). Is (33/k - 0)/((-3)/(-1338)) prime?
False
Suppose 67*q - 62*q = 4*g + 64913, -q - 2*g + 12977 = 0. Is q prime?
False
Suppose 0 = 656*r - 660*r + 1015532. Is r a prime number?
False
Let m = 3191 - -226. Let j = m + -1432. Is j a prime number?
False
Let f = 527128 - 364073. Is f composite?
True
Suppose -2*o + 2*t + 9145 = -18007, o - 13591 = 4*t. Is o a prime number?
False
Let a(b) = 262*b**2 - 86*b + 13. Let p = -77 + 83. Is a(p) a composite number?
False
Let m = -133 + 302. Let n = m - -42. Suppose 910 = p - r, -5*r = 4*p + n - 3806. Is p a prime number?
False
Suppose 232*n + 32462056 = -106*n + 151499234. Is n a prime number?
True
Let g be 45/(-75) - 18/(-5). Suppose -g*z + 365 = -4*f - 1766, 2*z = 2*f + 1420. Is z composite?
False
Let o(n) be the first derivative of -21*n**5/40 - 11*n**4/24 + 8*n**3/3 + 13. Let y(m) be the third derivative of o(m). Is y(-8) composite?
True
Let o = -9536 + 16041. Is o a prime number?
False
Let y(r) = 18*r - 20. Let u be y(5). Let z = 75 - u. Suppose 3649 - 21104 = -z*h. Is h prime?
True
Let v be ((-2)/6)/((-28)/1092). Suppose 0 = 14*s - v*s - 6353. Is s a prime number?
True
Let c(d) = -4*d**2 - 4*d. Let a be c(-4). Let u = 27 - a. Let r = 220 - u. Is r prime?
False
Let d(h) = 35*h + 34. Let j(y) be the second derivative of -y**3/6 - 2*y**2 + 11*y. Let l be j(-12). Is d(l) prime?
False
Let s = 299 - 300. Let f(h) = -1464*h + 5. Let i(a) = -1464*a + 4. Let o(k) = -3*f(k) + 4*i(k). Is o(s) a prime number?
False
Suppose 4*d - 33786 - 2605 = 3*x, 0 = -5*x - 5. Suppose g + 3*g - 36472 = 5*n, -4*n = g - d. Is g composite?
True
Suppose 0 = 53*j - 55*j + 8. Suppose 4*n = 20, 2*z - j*n + 16 = -2*n. Is 591 + z/((-12)/(-16)) prime?
True
Let u(p) = 5*p**3 - 59*p**2 + 31*p - 71. Is u(40) prime?
True
Let s be (21/18 - 1) + (-7130)/(-1860). Suppose 0*h + 4*h - 15080 = 0. Suppose -2*b = -s*i + 3*b + 3762, -4*i + b = -h. Is i prime?
False
Let i = 14611 + 248692. Is i composite?
False
Let t = 4 - -3. Suppose t = 2*m - 3. Is (-1 + 14)/(m + 56/(-12)) a prime number?
False
Let m = -406 - -421. Suppose 0 = 5*o + m*o - 85340. Is o composite?
True
Let d = -2916 - -5707. Suppose 117 = -13*x + 169. Suppose 4493 = x*y - d. Is y composite?
True
Suppose 41*k - 368579 = -30780. Let o = k - -1294. Is o composite?
False
Suppose 2*l + 758 = -58. Let g = 1833 - 536. Let d = l + g. Is d prime?
False
Let n be 8/6 - ((-78356)/(-6) + 9). Let q = -8740 - n. Is q composite?
False
Let z(x) be the first derivative of -453*x**2/2 + 12*x + 9. Let y be z(-6). Suppose 25 = -5*d, -3*w + 4*d + 581 = -y. Is w a composite number?
False
Suppose -12*t - 122784 = -24*t. Is t - ((-12)/(-3) + -10 - -1) prime?
False
Let y(d) = d. Let p(n) = 2*n**2 + 29*n + 52. Let c(k) = p(k) - 4*y(k). Is c(-15) composite?
False
Suppose -4*r - 15034 = -3*o - 9*r, -o - 2*r = -5012. Suppose 12554 = 5*j + q, -2*j = -0*j - 3*q - o. Is j/4*(-8)/(-10) + -3 a composite number?
False
Suppose 5*g + 2*x = -151718 + 1346013, -g + 2*x = -238859. Is g a composite number?
False
Let q(u) = -6193*u - 6752. Is q(-81) a composite number?
True
Let p = -253 + 311. Suppose -46090 = 48*z - p*z. Is z composite?
True
Suppose 0 = -4*x + 3*a - 5*a + 72, -x = 4*a - 32. Let o(s) = 3*s**2 - 14*s + 10. Let i be o(x). Suppose -5*q + i = 2*m - 5*m, -5*m = 15. Is q composite?
False
Suppose 12 = 4*o + 20, 3*o = -2*q + 58860. Suppose q = 16*j - 34039. Is j composite?
False
Is (-3 - (-10760)/25)/(3/1905) composite?
True
Let a = -60 + -39. Let k = 167 + a. Suppose q + 4*l = 167, -2*q = -l - 239 - k. Is q a composite number?
True
Let r = 16270 + -11201. Suppose -4*n - r = 2*s - 39427, 3*n = 5*s - 85895. Is s a prime number?
False
Let o(i) = 31580*i**2 + 30*i + 30. Let f be o(-1). Suppose -f = -16*j + 84372. Is j a composite number?
False
Suppose 0 = -3*m + 4*p - 14224, -3*p + 23701 = -5*m - 2*p. Let x = m - -7393. Is x prime?
False
Is 1 - 7232370/(-14) - (7 - 200/28) a prime number?
True
Suppose 3*g - g - 1822 = 0. Let c = 3839 - 4331. Let f = c + g. Is f a prime number?
True
Let j(p) = p**3 - 4*p**2 - 23*p - 5. Let w = -26 - -28. Let z be ((-7)/21)/(w/(-49 - -1)). Is j(z) prime?
True
Let g(a) = -351*a**3 + 2*a**2 + 4*a + 6. Let d be g(-3). Suppose -4*k + 2*q + 0*q = -20, 2*q + 14 = 2*k. Is (2/(-3))/(k + -5)*d prime?
True
Let j = 45543 + -31380. Suppose k = -5*a + 7084, 5*a - j = -0*k - 2*k. Is k a composite number?
False
Let b = 349 + 262. Let n = 3988 - b. Is n prime?
False
Let m(s) = 5*s + 132. Let o be m(-26). Is (o - 0) + (-7 + 4 - -2459) a composite number?
True
Let y(h) = -406*h**3 - 5*h**2 - 39*h + 7. Is y(-9) a composite number?
True
Let z = 26 - 25. Let u be (-14)/(-21)*-16602*z/(-4). Suppose 0 = 2*s - 5*l - 4353, -2*s - 2*l + 1593 = -u. Is s composite?
False
Let d(m) = m**3 - 3*m**2 - 8*m - 7. Let k be d(5). Let x be (k/(6 - 7))/(6/4). Let z(g) = 711*g**2 - 2*g - 3. Is z(x) a composite number?
True
Let h be -2*(21/(-2))/1. Let w(g) = -2 + h*g - 5 - 124*g. Is w(-2) composite?
False
Let c(r) be the first derivative of -r**7/105 + r**6/72 + r**5/24 - 5*r**4/8 + 2*r**3/3 - 9. Let d(j) be the third derivative of c(j). Is d(-7) a prime number?
True
Let m(p) = -p**2 - 12*p + 24. Let g(j) = 15*j - 1. Let q be g(1). Let b be (-2)/2 - (q + 0 + -2). Is m(b) a composite number?
False
Let g = 724 + -718. Let z(l) = 504*l**2 - 2*l - 13. Is z(g) composite?
False
Is (6/(-6))/((-2)/4*(-30)/(-11922465)) composite?
False
Let c be -10*((-1)/(-2))/1. Let y(n) = n**3 + n**2 - 3*n + 1. Let b(w) = 3*w**3 - 22*w + 4. Let k(r) = b(r) - 5*y(r). Is k(c) a prime number?
False
Let b = -106 + 191. Let v = 85 - b. Is 1 + -1 + v - (3 - 5782) prime?
True
Suppose -253 = n - 2*o - 813, 5*o = 5*n - 2800. Suppose 0 = -563*v + n*v + 11379. Is v a composite number?
False
Suppose 13757 = z - 2*t, -5*z = 3*t - 88943 + 20184. Is z prime?
False
Let k(v) = 154*v + 88. Let q be k(17). Let z = q + 4633. Is z prime?
False
Is -18 + 12 + 16 + 16848 a prime number?
False
Let y = 397 + -392. Suppose 0 = -5*s + f + 38811 + 44893, 2*s - y*f = 33477. Is s composite?
False
Let c = 158 + -101. Let g(z) = 247*z - 2712. Let v be g(11). Suppose 5*i - 170 = -3*t, 2*i - v*t + 4*t = c. Is i a composite number?
False
Let p = 5578 - -3864. Is p a prime number?
False
Suppose 412705 = -4*i + 4*c + 1335445, -4*i + c + 922734 = 0. Is i a composite number?
False
Let k(s) = 287*s - 64. Let h(p) = -1438*p + 319. Let y(x) = -2*h(x) - 11*k(x). Is y(-13) composite?
False
Let v = 1256661 + -389062. Is v prime?
False
Let p be (-9)/((-9)/(-2)) - -8322. Suppose 0 = -4*d - 0*d + p. Suppose -4*z + g + 3*g + d = 0, -3*z + 5*g = -1570. Is z composite?
True
Let c(l) = 11307*l**2 + 14*l - 18. Is c(1) prime?
False
Let p(j) = -j**3 + 12*j**2. Let t(a) = a**2 - 5*a - 22. Let k be t(8). Suppose -4*o + 23 = f, k*f - 4 = 2*o + 12. Is p(f) a prime number?
False
Suppose -5*r + 5*r = r. Suppose 42733 = 5*m + 4*u - 0*u, -2*m + 2*u + 17086 = r. Is m composite?
True
Is 1/5 - (-1030284966)/2095 a composite number?
False
Let k(c) = c**3 + 27*c**2 + 24*c + 13. Let w be ((-126)/(-35))/(9/(-60)). Is k(w) a prime number?
False
Let g = 862 + -857. Suppose -g*h = 5*f - 35800, -4*f = -2*h - 4350 + 18682. Is h prime?
False
Is (863656/(-32) - -15)/(1*(-5)