posite number?
True
Suppose 19*i + 17*i - 180 = 0. Suppose -4*h = i*q - 167765 - 102416, 4*q + 3*h = 216145. Is q prime?
True
Suppose 0 = 2*q + 6*m + 164372 - 422278, 2*q - 257910 = -5*m. Is q a prime number?
False
Let q(j) be the third derivative of -1/24*j**4 + 8/3*j**3 - j**2 - 7*j + 1/3*j**5 + 0. Is q(-7) prime?
False
Let b(f) = 9*f**3 - 13*f**2 + 2*f + 211. Is b(13) a composite number?
True
Suppose -4*y + 5 - 43 = -2*w, 2*w + 3*y - 52 = 0. Suppose s - 1237 = -w. Is s composite?
True
Suppose -81*o - 14*o + 3032651 + 1164164 = 0. Is o composite?
True
Suppose -33980 = -2*b - 12*p + 9*p, 34016 = 2*b - 3*p. Is b a composite number?
True
Is 1/(2/26646*12/(-696)*-6) a prime number?
False
Suppose -5*f - 3*c + 100 = -7*c, 4*c = -20. Suppose -3*h - f - 14 = 0. Is h/(-4)*210 + 0 + 4 a prime number?
False
Let l(v) = v**2 - 5*v + 12. Let x be l(4). Suppose -4*s = 5*r - 51, -3*s - 3*r + 47 - x = 0. Is s/(-28) + 75/2 a prime number?
True
Let q(v) = -v**3 + 4*v**2 + 7*v - 10. Let x be q(5). Let w(d) = -3 + x + 3 + 93*d - 7. Is w(2) a prime number?
True
Suppose -11*x = -7*x - 3992. Suppose 10*q + 208 - x = 0. Suppose 78*k + 67 = q*k. Is k a prime number?
True
Is (-2 - -3)*(23 - -199560) prime?
True
Suppose 60*n + 2*t = 56*n + 10, 5*n - 26 = 2*t. Suppose 15368 = 5*i - f, -n*i + 0*f = -3*f - 12301. Is i a composite number?
True
Suppose -9*r + 5 = -5*r + 3*t, -2*t + 4 = 3*r. Suppose -5467 + 425 = -r*h. Is h a composite number?
False
Let s(g) = -786*g + 119. Let r be s(1). Suppose 2*d - f + 2248 = 4*d, -3*d + f = -3377. Let w = r + d. Is w composite?
True
Let v(r) = 20*r**3 + 5*r**2 + 17*r + 29. Let u(s) = -s**3 - s**2 + s + 2. Let p(o) = 2*u(o) - v(o). Is p(-7) composite?
False
Let m = 458439 - 117298. Is m composite?
False
Let a(r) = 850*r + 313*r + 131*r + 12*r + 527*r - 11. Is a(10) a prime number?
False
Suppose -5*n - 35 = -5*c, c - 3*n + 3 = 4*c. Suppose c*t - 7460 = -2644. Let l = 1827 - t. Is l a composite number?
True
Let j be (-4)/(-14) - 11916/(-42). Suppose 5*f - j = -19. Is f a prime number?
True
Is ((-142684)/(-18))/((-80)/(-360)) prime?
True
Suppose 2*i = 16 - 20, -3*r - i + 117019 = 0. Is r composite?
True
Suppose 0 = -7*x + 17*x. Suppose x = -2*p + 5 + 5. Suppose -3*i + 491 = 5*u - p*i, 2*i = -u + 91. Is u a composite number?
False
Suppose -12*h + 233 = -31. Is (0 + 2459/(-2))/(h/(-44)) prime?
True
Suppose -10 = -3*q + 2*j, -3*j - 1 = -3*q + 8. Suppose 2735 = 4*b - 5*x, -2*b = -b + q*x - 710. Let o = 265 + b. Is o prime?
False
Suppose -k - 41 = -4*u, -5*k = -2*u - 0*k + 7. Suppose u*m - 88820 = m. Is m a prime number?
False
Let f be (0 - -2) + 10560/(1 + 3). Let x = f + -373. Is x composite?
False
Let x = 112 - 110. Suppose 10 = -x*b - 5*l - 5, -2 = -2*l. Is -4 - (b + 5) - -57 a composite number?
True
Let t = 146 - 146. Let c be t + 3 + -3 - -1397. Suppose -n + 2792 = n - 5*b, 3*b + c = n. Is n a composite number?
True
Suppose 2*s - 241*m = -239*m + 556510, 0 = 4*s + m - 1113000. Is s prime?
False
Let z = 2 - 0. Let m(o) be the first derivative of 85*o**3/3 - o**2/2 - o - 575. Is m(z) a prime number?
True
Let y(m) = 148*m**3 + 3*m**2 - 14*m + 19. Let b be y(6). Let d = b + -22266. Is d composite?
True
Let d(r) = 18*r**2 - 86*r - 298. Is d(-58) composite?
True
Suppose -88*a - 723571 = -1846715. Is a composite?
False
Let t(o) = -50*o**3 - 7*o - 7. Suppose -4*s - 11 = z, -s - 5*z - 13 = -2*s. Is t(s) composite?
True
Suppose -6*d - 3 + 21 = 0. Suppose -2*h = -3*h + d*y - 5, -3*y + 3 = -3*h. Is (25/(-20) + 1)/(h/(-5756)) a composite number?
False
Let w = 663 + -635. Is (-7)/(21/(-4))*314349/w composite?
False
Let f(k) = 5*k + 102. Let u be f(-17). Suppose 37497 = u*v - 2810. Is v a composite number?
False
Let w(a) = 10*a - 15. Let k be w(3). Suppose -i + 56 = -k*i. Is 2 - i/(-3) - 10554/(-18) a composite number?
False
Let z be (-62678)/(-12) + 53/(-318). Let c = z - 2270. Is c a prime number?
True
Let z = 424770 + -233803. Is z a composite number?
True
Is 25840 - (14 + (-10 - -1)) a composite number?
True
Let l(y) = 24*y - 5. Suppose -43*m = -39*m - 24. Let w = m - -7. Is l(w) composite?
False
Let x(f) = -4*f**3 - 35*f**2 + 4*f + 8. Suppose 16 = -4*y, -h = h - 4*y + 2. Is x(h) a prime number?
True
Suppose -94*d + 76244631 = 68*d + 57*d. Is d a composite number?
False
Let r(h) = -h**2 + h + 1. Let v(s) be the first derivative of 8*s**3 + 9*s**2/2 + 9*s + 1. Let u(l) = r(l) + v(l). Is u(5) a prime number?
False
Let z(r) = -21*r**3 + 7*r**2 + r + 7. Let v be (-30)/225 - 43/15. Is z(v) prime?
False
Suppose 0 = -3*d + 544 - 184. Let y = 817 - d. Is y a prime number?
False
Let d(v) = 20*v**3 - v**2 + 6*v - 43. Let q be d(-8). Let o = q + 25786. Is o a composite number?
False
Suppose 833*t + 35465840 = 913*t. Is t prime?
False
Suppose -3*i = 21 + 6. Let v be 2*i/24*28/(-1). Let q(p) = -p**3 + 23*p**2 + 2*p - 7. Is q(v) prime?
False
Let d(j) = 34*j**2 + 8*j + 6. Let r be d(-7). Let a = 3694 - r. Is a a prime number?
False
Let a be -21117*(-6)/9 - -6. Suppose -4*b = -a - 24888. Is b composite?
False
Let q(o) = 65*o**3 - 3*o**2 - 29*o + 3. Let h be q(9). Suppose -3*d + h = 9*d. Is d a prime number?
True
Let k(v) = 13604*v**3 - v**2 + 3*v - 1. Let s be k(1). Suppose -41*x + s = -36*x. Is x a composite number?
True
Suppose 0 = -k - 35 + 39, -4*m + 61392 = -k. Is m a composite number?
False
Let r(x) = 73*x + 12. Let q(d) = d**3 + 5*d**2 - 2*d - 3. Suppose 4*c = -8, h + 3*c = -4*h - 31. Let t be q(h). Is r(t) a prime number?
True
Suppose -10*w = -273 - 217. Suppose -37*k + w*k = 8328. Is k a composite number?
True
Let i(r) = 3544*r - 33. Let c(a) = 1181*a - 11. Let x(k) = 8*c(k) - 3*i(k). Is x(-3) prime?
False
Suppose -6*d + 43196 = 2*g - 83888, 4*d = 4*g + 84728. Is d a composite number?
True
Let i be 11/3 + 1/((-18)/12). Is i/21 - 1773888/(-168) prime?
True
Let f = -4 - -7. Suppose 3*g = -0*g - m + 4400, -2*g = -f*m - 2937. Let b = 1510 + g. Is b composite?
True
Suppose -3*v - 5*r + 0*r + 61 = 0, -4*v - r = -104. Suppose 0*h - 3*h = 4*z - v, h = 2*z - 1. Suppose -5*l = 4*q - 651, 4*l = -2*q + z*q - 147. Is q prime?
False
Suppose -292*o + 69725032 = 58553370 - 197509350. Is o prime?
False
Suppose 1774213 = 18*r - 3688841. Is r a prime number?
False
Let t(z) = 7259*z**2 - 74*z + 143. Is t(2) a composite number?
True
Let j = 183 - 130. Suppose 31*t = j*t - 202246. Is t a prime number?
False
Let d = 785 - 782. Suppose -5*f - 1259 = -d*i, -18*i = -14*i - f - 1656. Is i composite?
True
Let d = -2273778 + 3235775. Is d a composite number?
True
Suppose 4682170 + 1460752 = 121*t + 58*t. Is t composite?
True
Let t(u) = 30*u**3 - 3*u**2 - 8*u + 5. Let o = 27 - 21. Is t(o) composite?
False
Let c be 125/35 + -4 + 10/7. Let q(x) = -1983*x - 13. Let j(f) = 496*f + 3. Let k(g) = 9*j(g) + 2*q(g). Is k(c) a prime number?
True
Suppose 2*s + 5*s = 56. Let o(d) = -d. Let p(a) = -18*a**2 + 2*a + 11. Let y(i) = -o(i) - p(i). Is y(s) a composite number?
True
Let t(x) = x**3 + 4*x**2 - 2*x - 4. Let l be t(-4). Suppose -u - s = l*s - 8146, 0 = -5*u + s + 40808. Is u a composite number?
False
Let p be ((-3)/9)/(7/(-189)). Suppose 0 = -3*t + p, -3*x - 2*t + 3*t = -1839. Is x composite?
True
Suppose 180*v = 110*v + 294807590. Is v a composite number?
True
Suppose 1495031 + 383115 = 4*w - 5*x, 0 = 2*w + 2*x - 939046. Is w a composite number?
False
Let a = -58 - -58. Suppose -5*r - 4600 = -2*n, -2*n - n - 3*r + 6879 = a. Suppose j = 4*p - 3*p - 572, 4*p - n = -3*j. Is p a prime number?
False
Let n = 2647815 - -1761250. Is n a prime number?
False
Suppose 2*y - 315 = -25. Let i = 162 - y. Suppose -i*h = -20*h + 15117. Is h a composite number?
False
Let t(a) = -111 - a**3 - 7*a + 16*a**2 + 68 + 64. Is t(7) a prime number?
False
Let u(b) be the second derivative of -465*b**3/2 + 87*b**2/2 + 5*b + 4. Is u(-4) prime?
False
Let w(y) = -y**3 - 3*y**2 + 13*y - 7. Suppose -108 = 5*s + 13*s. Let j be (-36)/15*(-20)/s. Is w(j) composite?
True
Suppose -13*b = 5 - 70. Suppose 5*x = -0*v + v - 2230, 5*v - b*x = 11150. Suppose l = -l + v. Is l a prime number?
False
Suppose 130765 = u + 44*b - 45*b, -2*u = b - 261542. Is u composite?
False
Is 9713999/(-106)*6/(-3) a prime number?
True
Let f = -3163 - -12066. Is f composite?
True
Let k(x) = -19 + 9*x**3 + 29 - 2*x - 22 - 4*x**2. Let b be 0 - -1 - 20/(-