umber?
True
Suppose 0 = -395*s + 348*s + 2646617. Is s composite?
False
Let c be 3/(-9)*4*(-6)/4. Let n(t) = t**2 - 4. Let j be n(c). Suppose -4*a + 5*q + 6543 = j, 0*a - q = 5*a - 8215. Is a prime?
False
Suppose -37*m = -12*m - 2177575. Is m composite?
False
Let l(f) = f**3 + 36*f**2 + 2*f + 80. Let r be l(-36). Is (-2 - (-12)/r)/(3/(-60366)) prime?
True
Let q(l) = 7*l**2 + 35*l - 52. Let f be q(25). Let j = f - 3039. Is j composite?
True
Let f(u) = 1366*u**2 - 4*u + 11. Let y be f(3). Let h = -2122 + y. Is h prime?
False
Let k = -10485 + 24502. Let s = k - 9776. Is s a prime number?
True
Let g = 1024817 - -6164. Is g a composite number?
True
Let q(p) = -p + 23. Let u be q(21). Let m(n) = -38*n - 9*n**u + 2*n**3 + 34*n + 3 + n**2. Is m(6) composite?
True
Suppose -5740 = -12*h - 1792. Suppose -h - 1342 = -i. Is i a prime number?
False
Let b = 585 - 510. Is (10/b*5 - 1)*-11463 prime?
True
Suppose -19*m + 20*m - 3*h - 119150 = 0, 3*m + 5*h = 357492. Is m a composite number?
False
Let m be ((-44090)/15 + (-1)/(-3))*-1. Suppose k - 2*z - m = 0, -3*z - 1018 - 1917 = -k. Is k a prime number?
False
Is (-3)/(((-174)/169012)/(1/2)) a prime number?
False
Let j(n) = -1732*n + 5535. Is j(-16) prime?
True
Let o(i) = -i**3 + 7*i**2 - 7*i + 9. Let h be o(6). Suppose -h = 3*f - l + 2, 5*l = 5*f - 5. Is (f/2)/(18/(-4164)) composite?
False
Suppose 283*s - 268*s = 154335. Is s prime?
True
Suppose -6*l + 7*l = 0. Suppose -6*z + 20904 + 11106 = l. Suppose z + 6620 = 5*h. Is h a composite number?
True
Let n(m) = -m**2 + 21*m - 58. Let c be n(17). Is (5/c)/(-4 + (-25467)/(-6366)) composite?
False
Let p = -300252 + 814571. Is p a composite number?
True
Is 35547/(9 + -6) - -14 a prime number?
True
Let g(w) = -2*w**2 - 5*w + 86. Let h be g(-8). Is (-1)/(h - (-124530)/62268) composite?
True
Let n(d) be the first derivative of d**5/12 + 3*d**4/8 + 3*d**3/2 + 19*d**2/2 - 6. Let p(l) be the second derivative of n(l). Is p(-5) a prime number?
True
Let p(v) = 345*v + 5. Let j be p(15). Suppose 15*z - z - j = 0. Suppose -4*m - z = -2*n, -5*n + 5*m = 7*m - 937. Is n a prime number?
False
Suppose 0 = -4*r + l + 19, r = -l + 5*l + 1. Is (r + -2)*((-43716)/(-18) + -1) a prime number?
True
Let c(m) = 2*m**3 - 17*m**2 + 17*m + 29. Let d(q) = q**2 + 18*q + 42. Let u be d(-16). Is c(u) prime?
True
Let v = 13 - 9. Suppose -103 = 7*c - 131. Suppose 6008 = 4*o - 5*g, -5*g + c*g = v. Is o a prime number?
False
Suppose 442 = -55*f + 72*f. Suppose 20*i - f*i + 77874 = 0. Is i composite?
False
Suppose 171*v - 61*v - 23138610 = 0. Is v a prime number?
False
Let t(k) = 9*k**2 + 190*k + 168. Is t(53) a prime number?
False
Let r(u) = 5482*u - 2935. Is r(99) a composite number?
False
Suppose -15516661 = 25*l - 58*l - 40*l. Is l prime?
True
Let f be 5*(-4)/(-50) - 206/(-10). Suppose -f*q = -25*q + 57144. Suppose -3768 = 6*d - q. Is d a prime number?
True
Suppose -408*r + 433*r - 1680175 = 0. Is r composite?
True
Suppose 5027363 = 119*s - 4066736. Is s prime?
True
Suppose 2*g - 3*v = 51430 + 7681, 5*g + 2*v - 147730 = 0. Suppose 10*x = g - 9178. Suppose -f + x = 2*f. Is f a prime number?
False
Suppose 2*q - 3*w - 25 = 0, -7 = 4*q - 2*w - 37. Let k(l) = -12*l**3 + 25*l**2 + 7*l - 3. Let b be k(q). Let u = b + 1322. Is u prime?
True
Let p(q) = -838*q + 2219. Is p(-8) prime?
True
Is (-2621487)/(-13) - 67/(8710/(-20)) a composite number?
False
Let n(s) = s**2 + 4*s + 4. Let k be n(-4). Let m(y) = 50*y**2 + 142*y**2 - 2*y**2 + k*y + 74*y**2 - 5. Is m(1) prime?
True
Let k = 140436 + -49325. Is k prime?
False
Let b(d) = -d**3 - 4*d**2 - d - 7. Let t be b(-4). Let x be t*(3513/9 - -2). Let q = -642 - x. Is q prime?
False
Let n be ((-3)/(-2))/((-6)/(-784)). Suppose 0 = 2*b - 690 + n. Suppose -3*p + b = 4*l - 180, -2*l = -4*p + 606. Is p a prime number?
True
Suppose 9 = 2*b + 1. Let i be 4 + -903 + b*-1. Let a = -610 - i. Is a a composite number?
False
Suppose 72*q - 71*q - 5*b - 9249 = 0, 5*q - 2*b - 46199 = 0. Is q a prime number?
True
Suppose 50956 = 7*k + 12659. Is k prime?
True
Let o = -272 - -278. Suppose -o*r - 279 = -777. Is r prime?
True
Let b be (11/2)/(-11)*2. Let h be -4 + 4 + -270 + b. Let j = -12 - h. Is j prime?
False
Is -1*(217*(-87 + 8) + -8) a composite number?
True
Let s(g) = -9972*g + 6215. Is s(-9) a prime number?
False
Let t(s) = 6994*s**2 + 7*s - 2. Let o be t(3). Suppose 0 = 5*p + 2*b - o, 33468 = 3*p + 3*b - 4320. Suppose 6*n + 3*n - p = 0. Is n prime?
True
Let a(m) = m + 5. Let t be a(-5). Let g = 1497 + -1143. Suppose t = 2*p - g - 28. Is p composite?
False
Suppose 5*h = u - 4102, u - 6*u - 4*h + 20626 = 0. Let j = -2587 + u. Is j a prime number?
False
Let o(r) = -2*r**3 - 6*r**2 - 6*r - 17. Let z be o(-4). Let d = z + -34. Suppose d*s - 7506 = -1891. Is s prime?
True
Suppose 16 = 4*g - 2*u, -3*u = -2*g - u + 10. Is g + 10155/35 + 1/(-7) a prime number?
True
Let d = -13 - -17. Suppose 0*s = d*s - 2300. Let w = -186 + s. Is w prime?
True
Let r be 8 + -4 + 1 + (0 - 2). Suppose 0 = 2*d + q - 2, d + 2*d + r*q = 6. Suppose 5*p - 1332 - 133 = d. Is p a prime number?
True
Suppose 9*x - 4*m = 4*x + 23, -2*m = x + 1. Suppose 0 = -3*k - 5*t + 5, x*t - 16 + 37 = 3*k. Suppose -l = -k*l + 1516. Is l a prime number?
True
Let g(d) = -23*d**3 + 2*d**2 + 2*d + 6. Let k(w) = 18*w - 95. Let m be k(5). Is g(m) prime?
False
Let m(f) = 3600*f**2 + 140*f - 29. Is m(-7) a prime number?
True
Is 16/2*(620565/44 + 4) prime?
False
Let a(p) = -10*p - 22. Let d be a(-9). Let z be -12*(-4)/((-32)/d) - -3. Let u = z - -506. Is u composite?
True
Let z(v) = 456*v**3 + 17*v**2 - 44*v + 9. Is z(2) composite?
False
Suppose -425*q + 427*q - t = 459062, 459062 = 2*q - 4*t. Is q composite?
True
Let p = -55 + 61. Let h(j) = 6*j**3 - 3*j**2 + 6*j - 31. Is h(p) prime?
True
Let s(g) = -3516*g + 1709. Is s(-75) a prime number?
False
Let u be -6*2/6 - (-2359 - 1). Is (-28)/(-10) + -3 + u/15 a composite number?
False
Suppose 92661 = -q + 22620. Is q/(-6) - -3 - (-4)/8 a composite number?
False
Let h = 140 + -134. Suppose 25859 - 2201 = h*w. Is w prime?
True
Suppose -j - 3*i + 207 = 0, j = -j - 2*i + 430. Suppose -139 = -2*k + j. Is k a composite number?
False
Let w = -130385 + 362718. Is w prime?
True
Let t = 100 + -90. Let w(a) = a**3 - 8*a**2 - 19*a - 7. Let s be w(t). Is 90096/36 - (-1)/s composite?
False
Suppose 2*u + u = -1803. Let t = 3076 + -1768. Let c = u + t. Is c a composite number?
True
Let q be 4/(0 - 4/(-28)). Suppose 0 = q*b - 20*b - 48. Suppose -3*h = 4*l - 128, -2*l - b*h + 54 = -2*h. Is l a prime number?
False
Suppose -505*k + 501*k + 3725980 = 2*b, -2*b + 931483 = k. Is k composite?
False
Suppose -85*y + 7447185 = -267*y + 21461731. Is y prime?
True
Suppose 2055*b = 2024*b + 247411. Is b composite?
True
Suppose -45*d - 30 = -48*d. Is 616 + (-45)/d*(-2)/(-3) composite?
False
Let l(w) = -w - 15. Let q be l(-7). Let j be ((-40)/5)/(q/92). Is j*1*12/16 prime?
False
Let n(l) be the third derivative of -79*l**6/30 + l**5/20 + l**4/8 + l**3/6 - 28*l**2. Is n(-1) a prime number?
True
Suppose 0 = 2*i - 370 + 366. Suppose -i*o = 5*z + 2772 - 22529, 12 = 4*z. Is o a composite number?
False
Let s(j) = -j**3 + 7*j - 9*j**2 + 31 - 25*j + 4. Suppose 3*k + 3*g + 54 = 0, 0 = 3*k + 3*g - 4*g + 74. Is s(k) a prime number?
False
Let q(g) = -13*g - 77. Let l be q(-6). Let s be (0 + -3)*-227*l. Let m = s + -46. Is m composite?
True
Is ((-4)/20)/(21/30) - (-1232559)/21 a composite number?
False
Let w(v) = v**3 + 42*v**2 - 137*v - 100. Let z be w(-45). Is (-2599 + z)/(2 + -3) a composite number?
False
Let n = -25723 - -7423. Let g = n - -45473. Is g a composite number?
True
Suppose -5*t + 87556 = -5*f + 229441, 2*f - 3*t = 56751. Suppose -6*w = -10*w - 2*g + 28376, 4*w + 4*g = f. Is w a composite number?
True
Suppose -63*h = -11*h - 104. Suppose 3*a = -18*y + 14*y + 54010, h*y + 3*a = 27008. Is y composite?
True
Let w be 56 + (2/(-7))/((-33)/231). Is 723*1/(6/w) a composite number?
True
Let s(v) = 2*v**3 + 19*v**2 - 82*v + 3424. Is s(51) composite?
True
Suppose 3*l = -5*u + 21, 0*l = 2*u - 3*l. Suppose i + 319 = k - i, -u*i = 2*k - 645. Let p = k - -150. Is p composite?
True
Suppose -5*a - 156 = 29. Let r = -32 - a. Suppose i - 73 = -4*v + 236, i - r*v - 327 = 0. Is i composite?
False
Suppose 189*a - 215 = 194*a. Let w = 250 -