a prime number?
True
Let p = -5812 + 8145. Is p a composite number?
False
Let d = 0 + 11. Let k(p) = 6*p**3 + 60*p**2 - 30*p - 69. Let g(j) = j**3 + 12*j**2 - 6*j - 14. Let t(z) = d*g(z) - 2*k(z). Is t(11) prime?
False
Let m(s) = 41*s - 116. Is m(35) composite?
False
Suppose k - 19 = 5*h, 4*h = 4*k - k - 24. Let d be 48/k*5/1. Suppose 0 = 4*s - 4, -3*s = v - d - 58. Is v a composite number?
True
Suppose -z = -4*v - 454, 2*z + 0*z = -v + 899. Is (-16)/8 + 1 + z a composite number?
False
Suppose 9*g - 110469 = 39750. Is g a composite number?
False
Suppose -72795 = -9*j + 278970. Is j a prime number?
False
Let s(y) = -1624*y**3 - y**2 - y. Let c be s(-1). Suppose a + 620 + c = 3*q, 3005 = 4*q + 3*a. Is q prime?
False
Let y = -6438 + 25357. Is y prime?
True
Let s(k) = -k**2 + 13*k - 9. Let y be 19/4 - (-2)/8. Let q be s(y). Suppose -g = v - 0*v - q, 0 = -5*v - 3*g + 155. Is v composite?
False
Let i(g) = 8*g**2 - 9. Let q be 1/(-4) + 105/(-28). Is i(q) a composite number?
True
Let f(m) = 160*m - 35. Let q be 420/49 - (-4)/((-56)/(-6)). Is f(q) a prime number?
False
Let p be (-1)/(1*(-1 + (-3)/(-6))). Is (1 + -102)/((10/(-25))/p) composite?
True
Let m(j) = -j**3 + 12*j**2 + 2*j - 2. Suppose -v - 3*v + 36 = 0. Is m(v) composite?
True
Suppose 257531 - 76980 = 7*n. Is n a composite number?
False
Let h be (-2 - -81) + (-8)/(-4). Let i = 148 - h. Is i a prime number?
True
Let i(n) = 24*n - 7. Let r be i(5). Let h = 81 - r. Let o = h + 123. Is o prime?
False
Suppose 4*z + 3 = 35. Let u = 12 - z. Suppose 651 = u*s - s. Is s a composite number?
True
Let h(r) = -r**3 + 35*r**2 - 24*r - 67. Is h(23) composite?
True
Suppose 0 = -10*p + 24 + 6. Suppose -1150 + 3181 = p*r. Is r a composite number?
False
Suppose -w + 6*w - 155 = 0. Suppose -w*j + 294 = -25*j. Is j prime?
False
Let c be 850*(-5)/((-125)/180). Suppose c + 180 = 3*b. Let z = -841 + b. Is z prime?
True
Let a(f) = f**3 - 9*f**2 + 2*f - 15. Let t be a(9). Suppose t*l = 18 + 591. Is l a composite number?
True
Suppose -2*r - 1502 = 2*i, -5*r + 1526 = -2*i - r. Let w = -418 - i. Is w composite?
False
Is 181 - 2 - (-7 + 1) a prime number?
False
Let a = -215 - -33. Let s = a + 477. Is s prime?
False
Let g = -17 + 23. Let b(k) = 2*k**2 - 12*k + 2. Let y be b(g). Suppose -4*w - d + 383 = -0*w, -y*d - 279 = -3*w. Is w a composite number?
True
Suppose 6 = 2*x - 2*t, -4*x - 3*t + 20 = 1. Suppose -x*b + 927 = -1353. Suppose 65 + b = 5*p. Is p a composite number?
False
Let o = -16938 - -27937. Is o composite?
True
Is -6*(-7)/6 - -39300 a prime number?
False
Suppose -483*q - 793552 = -499*q. Is q a composite number?
False
Let i(h) = -6323*h - 127. Is i(-6) a prime number?
True
Suppose 4*s + 4*p = 1716, 4*s - p + 3*p - 1708 = 0. Let m be 119/(-3)*(-5 + -1). Let q = s - m. Is q a composite number?
True
Let y be 162/4 - 2/(-4). Suppose -3899 = -5*x + y. Let l = 1695 - x. Is l composite?
False
Suppose -3 + 8 = a. Suppose -4*d = -j - 1 - 2, 5*d - j = a. Is 107/d - (-27)/18 prime?
False
Let j(b) = 4*b**2 + 60*b + 251. Is j(-60) a prime number?
False
Let x(s) = s**2 + 4*s + 17. Let n be x(-17). Let y = n - 27. Is y prime?
True
Suppose 4*v + 1623 = v. Let o = v - -840. Is o a composite number?
True
Let c(m) = 60*m**2 - 3*m - 1. Let l(b) = b**2. Let d(s) = c(s) - 3*l(s). Suppose 15 - 11 = 2*a. Is d(a) prime?
False
Let h(o) = 0 + 41*o + 44*o - 6 + 2. Is h(3) a prime number?
True
Is 2*13307/2*(-33)/(-33) composite?
True
Let t be ((-3)/(-6)*-331)/(2/(-4)). Suppose 0 = -7*i + 6*i + t. Is i prime?
True
Let q = -109353 + 155948. Is q composite?
True
Suppose -h + 5*h = 1268. Let l = 872 + h. Is l a composite number?
True
Suppose 3*u - t + 25 = 5*u, 0 = 5*u - 5*t - 25. Suppose 14*l - u*l - 27332 = 0. Is l composite?
False
Let r(c) = -333*c**3 + c**2 + 2. Let k be r(-2). Suppose -a = -4*h + 2*a + 3539, -3*a + k = 3*h. Is h composite?
False
Let m(i) be the second derivative of 13*i**4/12 + i**3/2 + i**2/2 + 9*i. Is m(6) a prime number?
True
Is (-1)/(-1)*(-10 + 1867 - 10) composite?
False
Let b(o) = -o**3 - o**2 - 4*o + 29. Let k be b(-12). Suppose 5*h + 4*d = k, -h + 2*d + 99 + 222 = 0. Is h a prime number?
False
Let o(v) = -10305*v**3 - 5*v**2 + 6*v + 18. Is o(-2) a composite number?
True
Let i be -3 - (-40)/12 - 2/6. Suppose 5*z - 478 - 1017 = i. Is z a prime number?
False
Let c(w) = -w - 11. Let u be c(6). Let g = 219 + u. Is g composite?
True
Let k(m) = 5*m + 4. Let r be k(0). Suppose -2012 + 494 = -r*o + 2*u, 0 = -4*o + u + 1517. Is o prime?
True
Let m = 6446 + 8012. Is m composite?
True
Suppose 5*m + 3474 = 4*l, -1744 = -6*l + 4*l - m. Is l composite?
True
Suppose 2*x = 2*b + 936, -5*x + 2*b = 930 - 3255. Is x composite?
False
Suppose -n - 2*n + 1350 = 0. Suppose 0 = -2*c - 2*c - 4. Is -1 + (c - n/(-2)) prime?
True
Let h(v) = 2*v**2 + 3*v. Let p be h(-3). Suppose -u + p = -0*u. Suppose -x - m = -7, 2*x - m = -2*m + u. Is x composite?
False
Suppose -5*p - 300 = -0*p. Let w = p + 92. Suppose w = 2*m - 10. Is m a composite number?
True
Let n(l) = -l**3 + 113*l**2 - 44*l + 93. Is n(32) composite?
False
Suppose 0 = -13*m + 73347 + 23516. Is m a prime number?
True
Suppose 3*q - 8 + 2 = 0. Suppose 3*n + q + 8 = s, -3*n + 3*s = 0. Is 1/n - (-7326)/5 a prime number?
False
Suppose -15*r + 23*r - 24 = 0. Suppose -r*g = -11*g + 1688. Is g a prime number?
True
Suppose -b + 62 - 60 = 0, 4*b = -a + 9399. Is a a composite number?
False
Suppose 14*q - 3*q - 112321 = 0. Is q a composite number?
False
Suppose u = 1917 + 2777. Is u prime?
False
Suppose -10*t + 72692 = -245238. Is t prime?
True
Let y(r) be the third derivative of -13*r**4/3 + 3*r**3/2 - 12*r**2. Is y(-8) prime?
False
Let h = -971 - -364. Let s = h + 898. Is s prime?
False
Let p(a) = -8*a**3 - 6*a**2 - 18*a + 20. Let c be p(6). Is (c/(-12))/2*3 prime?
False
Let j = 23367 - 16648. Is j a prime number?
True
Suppose -3*j - 7 + 19 = 0. Suppose -2*n - 5*x - 16 = 0, -5*n + n + j*x + 24 = 0. Is (n/(-4))/((-1)/266) composite?
True
Let s = 731 - -346. Let p = -256 + s. Is p a prime number?
True
Let u(s) = 12*s**2 + 13*s - 10. Suppose -2*j + 4*o = 6, -2*o - 17 = j + 3*o. Is u(j) prime?
True
Suppose 6*v = v + q + 18457, -4*v + 14774 = -5*q. Is v a composite number?
False
Suppose 3 = y - 5. Is 4/y*(260 + 2) composite?
False
Let w be (0/(-1))/(9 - 8). Let h(l) = 9 - l + 6*l + w + 3*l. Is h(11) composite?
False
Let o be 2/((-2)/113*1). Let b = 326 + -136. Let i = o + b. Is i a prime number?
False
Let b(o) = -o**2 - 2*o + 6. Let a be b(0). Suppose -a*i + 24027 = 2775. Suppose i = 5*d + 1207. Is d prime?
True
Let j(r) = 383*r**2 - 6*r - 4. Is j(-5) a prime number?
True
Let d = 39 - 27. Suppose -d = 9*o - 5*o. Is 3*-1574*o/18 a prime number?
True
Let j(p) = p - 1. Let c be j(-3). Let k(r) = -5*r**2 + r + 203. Let s(b) = -b**2. Let f(y) = c*s(y) + k(y). Is f(0) a prime number?
False
Let p = 2163 - -2084. Is p composite?
True
Is (-18)/(-24)*(0 - 28988/(-3)) a composite number?
False
Let m be (140 + -2)*(0 + -4). Let t = 1834 + m. Is t prime?
False
Let d be (-4)/(3/(-9)*1). Let p(f) = -2*f**3 - 28 - 2*f**3 + 18*f + d + 3*f**3 + 12*f**2. Is p(13) a prime number?
False
Suppose 3167 + 1093 = 12*v. Is v a prime number?
False
Let r(x) = 8951*x - 28. Is r(1) prime?
True
Let p(s) = 44279*s - 23. Is p(2) prime?
False
Suppose -8*y - 38 = -62. Is y + 3/((-12)/(-4592)) composite?
False
Let l = 5 - 8. Let z be ((-12)/(-8))/(l/(-4)). Suppose 393 = -z*u + 1639. Is u composite?
True
Let j(x) be the second derivative of x**3/6 + 5*x**2 - 4*x. Let m be j(-5). Suppose m*t - 2 = 53. Is t a composite number?
False
Let m(u) = -u**3 + 9*u**2 - 7*u + 8. Let y be m(8). Suppose 0 = -y*d + 14*d + 6502. Is d prime?
True
Let p(c) = 6*c - 3. Let y be p(3). Suppose -h = -4*h + 3*q - y, 4*h + 2*q = -2. Is 696 + -8 + (-1 - h) prime?
False
Let x(l) = 60*l**2 - 24. Let z be x(-10). Let o = 10547 - z. Is o composite?
True
Is 74*1*(-295)/(-10) prime?
False
Let r(t) = 16 + t**2 + 2*t**2 + 19*t - 24*t - 7*t. Is r(11) prime?
False
Let d(o) = 607*o**3 - 2*o + 9. Is d(2) prime?
True
Let m = 2643 + -1083. Suppose -8*u + m = -1312. Is u a composite number?
False
Suppose 28*b - 192022 = -11730. Is b a prime number?
False
Let o(h) = 11*h**3 - 3*h**2 - 2*h. Let r be o(-1). Is 3759 + (-4)/6 + (-32)/r a prime number?
True
Suppose -5*w = -1165 -