pose -l + a = 4*r, l - 9368 + 790 = -3*r. Is r prime?
True
Suppose 36*o - 471019 = 35*o + 2*w, 0 = 2*o - 3*w - 942040. Is o a composite number?
True
Let a(b) = -b. Let w(k) = k + 1. Let n(t) = -6*a(t) - 7*w(t). Let s be n(-8). Is s*885/3 + -2 + 0 a prime number?
True
Suppose -5*h + 569538 - 48888 = 0. Is (-1)/11 - h/(-165) composite?
False
Let u(r) = -r**3 - 14*r**2 - 17*r + 14. Let i(p) = -2*p**2 + 19. Let f be i(-4). Let x be u(f). Suppose -4*z - 806 = -5*v, 4*v + 2*z = 558 + x. Is v prime?
False
Let f be -7*(-40)/56 + 2743. Let w = f - -5501. Is w a prime number?
False
Let l = 69878 - -50441. Is l composite?
False
Suppose 0 = -2*h - 5*m + 49834, m = 27*h - 24*h - 74819. Is h prime?
False
Suppose 0 = 5*q - 4*q + 5*r - 10, 4*r = -5*q + 8. Suppose -3*b + 16*b - 19123 = q. Is b a composite number?
False
Let f(o) = -4697*o + 19. Let b be f(-5). Suppose 4*z = -t + 23513, -b = 3*z - 7*z - 4*t. Is z prime?
True
Let c(v) = 2*v + 24. Let l be c(-12). Suppose l = 4*j - 5*k + 200, 5*j = 5*k - 351 + 96. Let a = 66 + j. Is a a prime number?
True
Let a(z) be the third derivative of z**7/210 - 3*z**5/40 - z**4/24 + 3*z**3/2 - 20*z**2. Let t(f) be the first derivative of a(f). Is t(6) a prime number?
True
Let a = -190150 - -435173. Is a a prime number?
True
Let k(j) = -2*j**3 - 88*j - 329. Is k(-66) composite?
False
Let n(f) = 2314*f - 63. Is n(15) composite?
True
Suppose 2*x - 12 = -2*s, -8*x = -9*x + 3*s + 18. Let f(t) = 6*t**2 + 15*t - 50. Is f(x) prime?
True
Let q(g) = -4*g - 45. Let y be q(-17). Suppose -14*h = 33 + y. Is (-1066)/h*4 + 3 a prime number?
True
Let t(w) = -4323*w - 1732. Is t(-15) a composite number?
False
Suppose 0 = -3*t + 5*d + 799346, 2*t + 2*d = 402941 + 129951. Is t composite?
False
Suppose 4*m = a + 38, 5*a + 3*m + 167 = -0*a. Is (-4 + 215)/((-2)/a) a prime number?
False
Let m(x) = -x**3 - 7*x**2 + x + 8. Let u be m(-7). Is ((-3482)/(-10))/(u*(-2)/(-10)) prime?
True
Is 4*(-10)/260 - 28481834/(-26) prime?
False
Let y(s) = s**2 - 2*s + 7. Let x be y(0). Suppose -x*l + 16631 = 2*g - 6*l, 5*l = 5*g - 41600. Is g composite?
False
Let z = 7960 + 6069. Is z composite?
False
Let n be (428*-6)/(9/(-6)). Let o = n - 811. Is o prime?
False
Let c(l) = 11935*l**2 - 22*l + 33. Let z be c(2). Suppose -2*u + 47726 = 4*d, -12*u + 10*u - 5*d = -z. Is u prime?
True
Let c(y) = 16*y - 93. Let x be c(6). Suppose -2*u - 14655 = -x*q, 2*u - 2 = -8. Is q a composite number?
True
Suppose -2*f - 2*u = 2*u - 1116, 0 = -3*f - 3*u + 1674. Suppose f*j = 553*j + 41935. Is j a prime number?
True
Suppose 3*w - 1414167 = 17*l - 16*l, -3*w = 3*l - 1414167. Is w prime?
True
Suppose -17*u - 10610 = -3604495. Is u a prime number?
False
Let u be 4193/3 - (-5)/15. Suppose 21*w = 27*w - u. Is w prime?
True
Suppose 4*w - 2*w = 2, 2*a = -4*w + 5930. Is (a - 1)*(-18)/(-12) a prime number?
False
Let q = 64936 + 2223. Is q composite?
True
Let r = -469 + 1105. Suppose -249 = 2*m + 577. Let g = m + r. Is g prime?
True
Let s be 1035/(-20) + (-1)/4. Let g = s - -66. Is (7/g)/(1/426) a prime number?
False
Suppose 0 = x - 2*x. Suppose -4*c - 19063 = -4*w - 1311, 4*w + 5*c - 17797 = x. Is w prime?
False
Suppose -37339 + 222080 = 5*w - g, -3*g + 36961 = w. Is w a composite number?
True
Is ((-284)/6 + 0)/((-1006)/261057) composite?
True
Is 13587 + (-126)/(-28) + 3/(-6) prime?
True
Let m be (-197026)/(-215) + (-1)/((-5)/(-2)). Let v = 2287 - m. Is v a prime number?
False
Let w(d) = -5*d**2 + 478*d - 138. Is w(77) a prime number?
False
Suppose 2*g = 5*z - 15, 0 = -2*g + 2 + 8. Suppose 0 = h + z + 4. Let b(f) = -7*f**3 - 3*f**2 + f + 10. Is b(h) composite?
False
Suppose f + 0*f = -690. Suppose 2*z - 1075 = -2*a + 3*a, 4*a + 4273 = -z. Let q = f - a. Is q a composite number?
False
Let v(g) = 40*g**3 + 26*g**2 - 20*g + 33. Let j be v(12). Suppose -19*n + 41780 = -j. Is n composite?
True
Let f(p) = -5*p**3 + 18*p + 7 + 2*p**3 - 17*p**2 + p**3 + p**3. Let o be f(-18). Suppose 2*w + 785 = o*w. Is w a composite number?
False
Let x(a) = 1848*a**2 + 2*a + 1. Let t be (-1)/((10/(-15))/(8/(-6))). Let w be x(t). Suppose 7*l - w = 4*l. Is l prime?
False
Let f = -3 - -5. Is ((-46404)/54)/(f/(-6)) composite?
True
Suppose 55512 = -10*y - 14*y. Let s = -1036 - y. Is s a composite number?
False
Suppose -g + 5*x = -4*g + 43, 2*x = 4*g - 14. Suppose -g*t + 0*t + 29778 = 0. Is t composite?
True
Let f(o) be the first derivative of 139*o**3/3 + 12*o**2 - 25*o + 239. Is f(-6) a prime number?
False
Let j = -2813 - -2813. Suppose 2*x = -r + 114, 358 = 4*r - r + 2*x. Suppose -o - r = -2*d - j*o, 5*o = 10. Is d a prime number?
False
Is (15 + (-899)/58)/((-2)/(-1394468)*-1) a composite number?
False
Suppose 3*w = 27*t - 28*t + 107991, 2*t = -w + 215992. Is t a composite number?
True
Is (213635/(-45))/((-25)/225) composite?
False
Suppose 712509 = 5*i - 2*s, 429*i = 426*i + 2*s + 427507. Is i prime?
True
Let v be (1 - (-9)/(-18))*8/2. Is (16842 - v) + (-4 + -4)/(-8) a composite number?
True
Let h(o) = -4830*o**3 - 10*o**2 - 8*o + 7. Let s(k) = -k**3 + k**2 + k - 1. Let y(d) = h(d) + 6*s(d). Is y(-1) a prime number?
False
Let r(g) = 369*g - 51. Let q be r(11). Let f = 5981 - q. Is f composite?
False
Let g = -128 - -117. Is (-278328)/(-88) + (-2)/g prime?
True
Suppose 0*r - 85047 = -4*r + 5*v, r - 21273 = 5*v. Let j = r + -11515. Is j a prime number?
True
Is 45/(-63) - 15177922/(-133) a prime number?
False
Is ((-248)/48)/31 + (-361933)/(-6) composite?
True
Let z be 4 + (1 - -32216) + 14/7. Suppose 4*q - 32117 - z = 0. Is q prime?
False
Suppose -10*v + 5*v + 1582 = 2*n, 805 = n - v. Suppose -5*j - n = -3*o + 960, 0 = 3*j. Is o a prime number?
True
Let h(a) = -6*a - 14. Let m be h(-13). Let c = m - 61. Suppose 2*l = c*l - 3299. Is l a prime number?
True
Is 16/(7 + -15)*(-3804846)/12 prime?
True
Let a(v) = -v - 12. Let n be a(-15). Suppose -n*z = 6 - 21. Suppose 0 = -f + z*m + 2478, -4*f = -2*m - 4113 - 5889. Is f a composite number?
False
Suppose -i = -2*a + 13 - 25, 0 = -2*i + 5*a + 24. Let c(j) = 2*j**3 - 12*j**2 - 29*j + 17. Is c(i) a prime number?
False
Let w = 11 + -6. Suppose w*g + 11 = -f, 3*g + 5 = -4*f + 5*f. Is g + (1 + -5 - -25) a prime number?
True
Suppose -n = 2*n + 54. Let z be (-3*(-8)/n)/((-8)/12). Suppose -z*v + b = -0*v - 75, -2*b = -3*v + 113. Is v a prime number?
True
Suppose -4*a + 1321 = -3055. Let f(b) = 55*b - 1243. Let d be f(62). Suppose 0 = -3*x + d + a. Is x composite?
False
Suppose -9*x = x + 200. Let w be (16/x)/(3/(-60)*-4). Is ((-6)/w)/(-4 + 82/20) a composite number?
True
Suppose -5*k + 2*k = -k. Suppose -2*f - 3*t = 7082, 5*f - 4*t + k*t + 17659 = 0. Let z = -2480 - f. Is z a prime number?
False
Let j = 54465 - -36766. Is j prime?
False
Suppose -5*n + 20110 = d, -7*d = -3*n - 8*d + 12068. Let s = n - 1860. Is s prime?
True
Let s(r) = -18*r + 15. Let v be s(-5). Suppose -8*z + v + 23 = 0. Is (-1 - 1)/(z/(-3832)) a prime number?
True
Let u(j) = -j**2 - 13*j - 22. Let g be u(-11). Suppose g = 13*v - 12*v - 3*i - 1645, -2*v = -i - 3310. Is v a prime number?
True
Let d = -52 - -47. Let a be d/((-10)/(-6)) + 266. Suppose 0 = 7*z - 942 + a. Is z prime?
True
Let a be ((-4)/6)/(20/150). Is a/5*(-5002 - 1) composite?
False
Let q(g) = g**3 - 8*g**2 + 12*g + 16. Suppose -j - 2*j - 41 = -5*u, 0 = u + 4*j + 1. Is q(u) a composite number?
True
Let c(i) = 8 + 9 - 3*i**2 - 11 - 11*i + 9*i**2. Is c(-11) a composite number?
False
Suppose 4*l = 5*b + 64683, -207*l = -210*l - 4*b + 48551. Is l a prime number?
False
Let s(t) = 2*t**2 - t - 1. Let j = -2 - 4. Let h be 320/24 - j/9. Is s(h) a prime number?
False
Is (-3 - (-22)/8) + (-22490)/(-8) a prime number?
False
Suppose 13*o - 18*o = -2*z + 50047, -2*z - 2*o + 50068 = 0. Is z prime?
True
Suppose 4*f + 58482 = 5*m, -2*m + 46794 = 2*m - 2*f. Is m a composite number?
True
Suppose 4*y - p - 39 = 0, -4*y = 4*p + p - 21. Suppose -11*r - 854 = -y*r. Let m = -90 - r. Is m a prime number?
True
Let u = -21863 + 36814. Is u a composite number?
False
Let l = -55 - -55. Let n be (2 + -4)/(2/(-143) + l). Suppose -3*a + 3404 = n. Is a composite?
False
Suppose 3*v - 192290 - 14063 = -4*a, 2*a - 103184 = -4*v. Is a a composite number?
True
Suppose -158*r + 157*r = -244. Suppose 4*p - 1416 = -r. Is p a prime number?
True
Suppose -37 = -5*v + 3. Suppose v*y = 7*y - 42. Le