d(k) a composite number?
True
Let a = -115 - -117. Suppose 0 = a*l + 2*t - 59842, -15*l = -18*l + 4*t + 89763. Is l a prime number?
True
Suppose 147*t = 149*t - 16502. Is t composite?
True
Suppose -20*b + 43477 + 955170 = -7*b. Is b a composite number?
False
Is 104407 - (-1)/(-2)*0/(-101) a prime number?
False
Let n(p) = 107332*p + 347. Is n(2) prime?
False
Let k be 7944/10 - (1 + (-15)/25). Let p = 1101 - k. Is p composite?
False
Is -16 - (-2 - 8) - (-4 - 535591 - 6) prime?
False
Let z(k) = k**3 + k**2 - 4*k - 4. Let r be z(7). Suppose -719 = -8*y + 7*y. Let i = y - r. Is i a prime number?
True
Let c = 106720 - 72693. Is c a composite number?
True
Let q(a) = -3*a**3 - a**2 + 2*a + 2. Let j(s) = -28*s**3 - 15*s**2 + 8*s + 9. Let m(r) = -j(r) + 8*q(r). Suppose h - 11 = -3. Is m(h) prime?
False
Let f(b) = b**2 - 4*b - 18. Let v(d) = -d - 3. Let c be v(-10). Let z be f(c). Is 233*(z/6 + (-1)/(-2)) composite?
False
Is -1*3/(-9)*(-25986654)/(-222) composite?
False
Let z be 1*((-25)/(-5) + -4). Let b be (z - 7)*5368/(-6). Suppose 0 = 3*a + f - b - 1944, -2442 = -a - 5*f. Is a composite?
False
Let r be -2*(19/(-4) - (-9)/12). Suppose r*y - 548819 = -39*y. Is y composite?
False
Let m(w) = -11*w + 85. Let p be m(7). Suppose 3*y - 1391 = -t + p*y, 5*y + 10 = 0. Is t prime?
True
Let w = 37 + -23. Let v(u) = 112*u + 107*u + 5 - 244*u + 5*u**2. Is v(w) prime?
False
Let n(w) = -w**3 + 17*w**2 - 12*w - 11. Let j = -26 - -29. Suppose j*p - 63 = 5*d, -16 = -3*p + d + 35. Is n(p) prime?
True
Suppose -16*x + 5223721 = 31*x. Is x a prime number?
True
Let c(w) = 341*w + 70. Let l be c(7). Let v = 4280 - l. Is v composite?
False
Let c(j) = 29*j**3 + 5*j**2 + 10*j + 29. Let f be c(-4). Let q = f - -4198. Is q a prime number?
True
Suppose 0 = 12*d - 147 + 759. Is (d - -13)*(-2)/4 a prime number?
True
Let r(i) = -i**3 + i**2 - 5*i + 38. Let b be r(3). Let t(j) = 12*j**2 - 13 + 30 + j + j**2 - 6*j. Is t(b) a prime number?
True
Suppose 7 - 2 = h, 2*h = -5*b + 220. Let m be (-1)/(-14)*-2 + 111096/b. Suppose -m = -12*j - 749. Is j a prime number?
False
Let v = -167881 - -316950. Is v a prime number?
True
Let x(j) = -39 + 22 + 19 + 138*j. Let f be x(-9). Let d = f + 4767. Is d prime?
True
Suppose -4*u + 0*u + 656 = -4*r, -3*u = 3*r - 510. Let b = u + -88. Is b prime?
True
Let p = 365206 + -106943. Is p prime?
False
Suppose -4*c + 6813 = 6837, -837551 = -5*s + c. Is s prime?
False
Suppose 3*l = 0, 2*t = 4*l - 8*l - 24. Suppose p = 3*i - 4*p - 145, 5*i = 5*p + 245. Let z = i + t. Is z prime?
False
Suppose 2*y - 4*r + 1939 = 9567, 15201 = 4*y + 3*r. Suppose 3*t = -t + y. Suppose -k - t = -4*k. Is k prime?
True
Let m(o) = 231*o**2 + 5*o - 29. Let r be m(4). Let i = -1328 + r. Is i a composite number?
True
Suppose -13*f = 105 - 27. Let h(r) = 20*r**2 + 19*r + 35. Is h(f) composite?
False
Let w(f) = 3238*f**2 + 23*f + 629. Is w(14) composite?
False
Let s(z) = -9318*z + 2857. Is s(-42) prime?
False
Suppose -6*s + 163 - 91 = 0. Is (-11 - -5)/s*2*-557 composite?
False
Let b = -44 + -10. Let p = 56 + b. Is (823 - p)/((-1)/2*-2) composite?
False
Suppose 4*o = -3*b + 13419, 2*b - 9060 = -2*o - 114. Let h = b - -2330. Is h prime?
True
Let h = 326471 - 163650. Is h prime?
True
Suppose -850982 = -x - 5*o, 3*x = 637*o - 636*o + 2553090. Is x composite?
True
Suppose -8*w + 74647 = -37785. Suppose 2*v + 4*s - w = 0, -5*v + 6*v - 5*s = 7020. Suppose v = -13*c + 26824. Is c a prime number?
True
Suppose -418214 = -3*m + 4*c + 12127, 3*m + c - 430326 = 0. Is m composite?
False
Is 7/(-5) + 1590785816/5490 + (-4)/18 a composite number?
False
Let b be 0/(12*(-2)/6). Let y be (12/9)/(1/(-9)). Is (b - 8354/(-4))*(y - -14) prime?
True
Let o(l) be the second derivative of 0 + 1/6*l**4 + 23/2*l**2 + 19/6*l**3 + 6*l. Is o(-12) prime?
True
Suppose -25*a = -31*a. Suppose 610 = -a*b + 3*b + 4*w, -3*b - w = -598. Is 461898/b - 2/(-11) prime?
True
Suppose -2*x + 4*w - 2696 = 0, -4*w = -x - 704 - 646. Is ((-1)/((-8)/x))/((-28)/224) a composite number?
True
Suppose -3*p = 7 + 11. Is 2/p + 1577092/219 composite?
True
Suppose -35537 = n - 5*z - 131689, 3*z - 96128 = -n. Is n composite?
False
Suppose -12*x + 556593 + 195603 = 0. Is x a prime number?
True
Let h(u) = 2097*u - 16646. Is h(15) prime?
False
Let s = -208886 + 351547. Is s prime?
False
Let b = -585 - -585. Suppose -8*w + 10*w = b, -a + 4*w + 21139 = 0. Is a composite?
False
Let d = 364 - 334. Suppose -133226 = d*q - 488756. Is q composite?
True
Let p(r) be the first derivative of -7*r**4/2 - 5*r**2 - r - 12. Let j be p(-4). Suppose 11*w = 6*w + j. Is w composite?
True
Let k(f) = f**2 + 4*f - 6. Let g be k(-3). Let r(d) = -467*d + 8. Let j be r(g). Let w = j + -2850. Is w a composite number?
False
Let b = 759 + -1158. Suppose -9 = -3*m + 3*v, -4*v = -2*m + 6*m - 4. Is m/(-8) + b/(-12) a prime number?
False
Let h = 79 + -56. Suppose 3*m + h = 17. Is -1 + (1 + m)*-320 prime?
False
Suppose 5*d = -2*g + 3*d - 6, 0 = 5*d + 25. Suppose -5*n + 5*f - 5 = 0, -4*f = n + 24 - 38. Suppose 2*x + g*x + 3*v = 5456, -n*x + 2734 = 3*v. Is x prime?
True
Let m = -16 + 15. Let z be (m/(-3))/(1/18). Let p(c) = 3*c**2 - 3*c - 7. Is p(z) prime?
True
Suppose -4*w + 7175 = w - 5*c, 0 = 2*c + 2. Suppose 0 = -k + b + w, -3559 = -4*k - 2*b + 2207. Is k composite?
False
Suppose -11541809 - 16406798 = -148*i - 1181771. Is i a prime number?
False
Let d(s) = 7*s**2 + s - 11. Let f be d(-9). Let t be (-36*6/84)/((-6)/1988). Let z = f + t. Is z prime?
True
Let j be (4 - 5)*(-1)/1. Let h = j - -3. Is 249*(h + 22/(-6)) a prime number?
True
Suppose 8*y = 7*y + 2356. Suppose 0 = 11*u - 7*u + y. Let a = u + 1340. Is a a prime number?
True
Suppose 168204 = 32*f - 112404. Let d = -5264 + f. Is d a composite number?
True
Is (73946/14)/(10/70) a composite number?
False
Let a(y) = 267*y**2 - 3*y - 37. Let i be a(7). Suppose 9*h + i = 79904. Is h a prime number?
False
Suppose -n + 816534 = 2*o + 217837, 299353 = o + 2*n. Is o prime?
False
Suppose -h + 25 = -4*q + 3, -6 = 3*h. Let v(l) = -11*l**3 + 16*l**2 + 4*l - 1. Is v(q) a composite number?
False
Suppose z - 34121 = -b, 41*z = -2*b + 43*z + 68250. Is b a prime number?
True
Let f = 17 - 16. Let i be f/((-4)/(-4196))*-1. Is (i/(-3))/(12/36) composite?
False
Suppose -14306 = -2*w - 4*x - 3616, -3*x + 21385 = 4*w. Is (1 + 1)/(-2) + (w - 49) a composite number?
False
Suppose 67*d + 226408 = 71*d + 5*u, -3*d = 2*u - 169813. Is d prime?
False
Let h(x) = 307*x + 22. Let w(g) = 58*g**3 - g**2 + 1. Let d be w(-1). Let q = -49 - d. Is h(q) prime?
False
Let l = -1810 + 9539. Is l composite?
True
Let g(p) = 504*p**3 - 124*p**2 + 3*p + 13. Is g(6) composite?
True
Let p(o) = -299*o**2 - 26*o - 37. Let v be p(16). Is (v/(-111))/(2 - 15/9) a prime number?
True
Is (-12263830)/(-16) - (((-259)/8)/7 - -5) a composite number?
True
Let b(a) = 8476*a**2 - 1195*a + 3. Is b(8) a prime number?
True
Let j = 109 - 107. Suppose -z + 3410 = -j*o, -2*o + 24044 = 5*z + 6982. Suppose 0 = -p + 5*p - z. Is p a prime number?
True
Suppose -5*g = -3*i - 4*g, -2*i = -4*g. Suppose 2*o = -3*b + 451, -2*o - b + i*b = -445. Is o a composite number?
True
Suppose 5 = p, -3*q - p + 65536 = -161452. Is q a prime number?
False
Suppose -57*d + 41872809 = 9072558. Is d a prime number?
False
Suppose 0*a = -7*a + 2254. Let q be (17/(-2) - -1)*a/(-3). Suppose 9*h - q = 4*h. Is h a composite number?
True
Suppose -7*d = -98 - 56. Let n(t) = -37 + 0*t**3 - 17 + 21*t**2 + 30*t - t**3. Is n(d) a composite number?
True
Is (-4)/6 + 7/(357/13620961) a composite number?
True
Let f = -2936 + 9710. Let w = f - 3380. Is w composite?
True
Let f be -3*(-2)/(6/93). Let c(s) = s**3 - 13*s**2 + s - 11. Let n be c(13). Is (-12)/(-18)*f/n a prime number?
True
Let j be (-3)/(-12) + 666/24. Is (((-12299)/j)/7)/((-2)/8) a composite number?
False
Suppose -81946477 + 9485730 = -241*u. Is u a composite number?
False
Let r be 34/(-51)*(-6)/(-4). Let v(i) = -7194*i**3 + 3*i**2 + 3*i - 1. Is v(r) composite?
False
Let z(b) = b**3 - 18*b**2 - 41*b + 22. Let g be z(20). Suppose 1805 = -g*q + 11527. Is q prime?
True
Suppose 5*r = -112 - 148. Let c = -46 - r. Is c/18 - 3776/(-3) a composite number?
False
Suppose 72*k - 4335234 = 1927398. Is k a composite number?
False
Suppose 3*i = -5*z + 62708, 4*i = -z - 42872 + 126477. Su