s d a prime number?
True
Suppose 6 - 36 = -6*m. Suppose 5*a + 0*a = m*u + 7575, 2*u + 7581 = 5*a. Is a a prime number?
False
Let z(c) = 44 - 82*c - 24 - 45*c - 32. Is z(-25) composite?
False
Let w be 6/2 - (-10758225)/(-25). Is w/(-126) - 4/14 composite?
True
Let t(u) = -12*u**2 - 4*u - 13. Let l be t(4). Suppose 0 = -5*g + 2*g + 2070. Let n = g + l. Is n prime?
False
Let m(q) = 63*q**3 + q**2 - 2*q + 9. Let j be 16/2*((-55)/22 + 3). Is m(j) a composite number?
False
Is 6916312/146 + -1 + 0 prime?
False
Suppose 23705 + 15868 = 9*b. Let o = b - 1770. Is o composite?
True
Let w = -156848 - -253951. Is w prime?
True
Let x = 915686 - 595605. Is x prime?
True
Suppose 0 = -5*c + 5*q, -2*q = 2*c + 2*q - 12. Suppose -4*u + 22029 = 5*x, x + c*x = 3*u + 13239. Is x a composite number?
False
Suppose 0 = -3*d - 2*u + 406533, d = -12*u + 16*u + 135511. Is d a composite number?
False
Let k be 5 - 4/2 - 0. Suppose -a + 6 = -4*o, -3*a - 4*o + k - 17 = 0. Is (a + 0)*(-878)/4 prime?
True
Let w be 34/(-6) + 4/6. Let l(c) be the second derivative of -139*c**3/6 + 12*c**2 + 7*c - 14. Is l(w) a composite number?
False
Suppose -116755 = 5*u + 4*x - x, -116790 = 5*u - 4*x. Is (u/(-12))/((-21)/(-126)) composite?
False
Suppose 20*s - 1747147 - 3984633 = 0. Is s composite?
False
Suppose -1347539 = -15*r + 430396. Is r prime?
True
Suppose 3*m - 6*m + 112 = -p, -3*p = 12. Is 90/m + 24018/4 a composite number?
False
Suppose -4*q + 7*k - 3*k = 296, -3*q = -5*k + 212. Let d = q - 745. Let b = 1733 - d. Is b prime?
True
Suppose -13*t + 39655 = -6*t. Let l = t - 1897. Suppose 9*b - b = l. Is b a composite number?
True
Let n(w) be the second derivative of -21*w**5/20 - w**4 - 13*w**3/3 - 3*w**2/2 + 2*w - 6. Is n(-8) prime?
False
Let p be (6967 + 3)/(2/14). Suppose 0 = -2*i + p - 4808. Is i prime?
True
Suppose 0 = 135*j - 51431431 - 31397684. Is j a composite number?
False
Let a(j) = 35*j**2 - 41*j - 209. Let i = -933 + 906. Is a(i) a prime number?
False
Is (-7393)/(((-160)/(-230))/(-16)) a prime number?
False
Let v be (16/(-18))/((-24)/108). Suppose -27 = -3*c + v*o + 8, -5*c + 20 = o. Suppose -3*i = -5*g - 2420, -c*i - 761 = 4*g - 4856. Is i a composite number?
True
Let d(z) = 141*z**2 - 7*z - 10. Let l be d(10). Suppose -6*x = -x - l. Suppose -2*f = -2*j + x, -f - 2*f = 3*j - 4188. Is j a composite number?
False
Let d(o) = 11*o**2 + 3*o. Let h be d(-1). Suppose -6*q + 2*q + 4*g = -h, -g = 5*q - 28. Is 10/(-4)*(-422)/q a composite number?
False
Let t(a) = 8*a**3 + 3*a**2 + 5*a - 7. Let v(b) = 9*b**2 + 1. Let p be v(1). Suppose 2*n + 4 - p = 0. Is t(n) composite?
False
Let y = 14 + -12. Suppose -4*u = -r + 4, -y*u - 19 = -4*r - 3. Suppose u = j - 0*j - 141. Is j prime?
False
Suppose y + 2*v - 8987 = -0*v, 5*v - 15 = 0. Suppose 0 = -40*g - 50*g + 1837 + 2573. Suppose 50*b - y = g*b. Is b a composite number?
True
Let b = -28995 - -72200. Is b composite?
True
Let v(b) = 60*b**3 - b**2 + 9*b - 17. Let n be (-1)/6*2*-9. Is v(n) prime?
True
Suppose -16 = 4*w - 2*c, 4*w - 3*c = 8*w + 36. Let i(s) = -156*s + 95. Is i(w) a prime number?
True
Suppose a + 11 + 10 = -3*p, -3*a = p + 71. Is 17157 - a/(-9)*3 a prime number?
False
Let m be -1*(-3 + 4 + 0 - -4). Let u(x) = 90*x**2 + 11*x. Is u(m) composite?
True
Let j(g) = -850*g - 277. Is j(-35) a composite number?
False
Let z(i) = 5054*i**2 + 6*i + 5. Let l be z(-1). Let f = l - 1212. Is f a composite number?
True
Suppose 2*o - 4*r - 86 = 0, 9*o - 6*o = -r + 115. Is o/(-26)*1/(-3)*5534 composite?
False
Suppose 2*i + 0 = -2*n + 8, i - 2*n = -11. Is (-1*1/i)/((-3)/(-987)) a composite number?
True
Let n(v) = 409*v**3 + 13*v**2 - 168*v - 11. Is n(8) a composite number?
True
Let y be 11950/65 + (-22)/(-143). Let j(t) = 2*t**2 - 2*t. Let l be j(3). Is y - (2 - l/4) prime?
False
Suppose 21942 = -6*w + 300210. Is w composite?
True
Suppose 0 = 4*a - 30 - 98. Let d be (-237)/(-9) - (3 + a/(-12)). Suppose 0 = d*s - 21*s - 125. Is s composite?
True
Let f(p) = -5 + 3*p**2 - 10 - p**2 - 2 + p**3 - 22*p**2 - 5*p. Suppose 6*i = 5*a + 3*i - 108, -5*i = -3*a + 68. Is f(a) a prime number?
False
Let r(s) = 3*s - 17. Suppose 0 = -x + 23 - 16. Let t be r(x). Suppose 5*d - 1937 = 4*g, 1550 = t*d - g - 2*g. Is d a prime number?
True
Let w(f) = -1756*f - 193. Let l be w(-28). Suppose 8*r = 5*z + 3*r - l, z - 5*r - 9811 = 0. Is z composite?
False
Let r(h) = 7*h**2 - 100*h + 13. Suppose 9*p + 540 = 27*p. Is r(p) composite?
False
Let w = 50038 + 15457. Is w prime?
False
Suppose 1992264 - 26278 = 22*h. Is h a composite number?
False
Is 70/(-315) + ((-183196950)/27)/(-10) prime?
False
Let p(x) be the first derivative of -x**3/3 - x**2/2 + 6*x - 13. Let g be p(-3). Suppose s - 4 = g, -2*z + 5*s + 179 = 57. Is z prime?
True
Let r(k) = 2*k**3 - 35*k**2 + 431*k + 53. Is r(25) a prime number?
False
Suppose -296*o - 128074 = -298*o. Is o prime?
True
Let y be (0 + -5)*1 + -4 + 327. Suppose 4*g = -2*g + y. Is g prime?
True
Let f be -4 + 5 - 6/(-3). Let q(u) = -u**3 + 4*u**2 - 3*u - 1. Let i be q(f). Let a(t) = -52*t**3 - t**2 - 2*t - 2. Is a(i) prime?
False
Suppose 0 = 3*r + 4*s - 4455, 106*s = -4*r + 105*s + 5927. Is r a composite number?
False
Let p(t) = -2*t**3 - 11*t**2 + 7*t + 8. Let j be p(-6). Suppose -10*x + 3320 = -j*x. Is x a prime number?
False
Let d(y) = 4*y**2 - y - 2. Let t be d(-1). Suppose -r + 4*i = -i + 5, t*r = 2*i + 11. Suppose r*p - 3*k + 10877 = 40747, -29860 = -5*p + k. Is p a prime number?
False
Let r(t) = 17*t + 22. Let j be r(-3). Is ((-1360)/3 - -1)*(j - -26) a prime number?
False
Let x(c) = 64*c**2 - 24*c - 135. Let p(q) = 2*q**2 - 11*q + 10. Let a be p(3). Is x(a) a prime number?
False
Is (782810 + -12 + -21)/(2/2) a prime number?
True
Suppose 3*i - u = 118500, -4*i - 2*u + 20307 = -137683. Is i a composite number?
False
Let g = -4 - -2. Let o(l) = -4*l - 4. Let p be o(g). Suppose -2*a + 0*d = 4*d - 12406, p*d = -4*a + 24828. Is a a prime number?
True
Suppose -10*p = 29 - 9. Let u be -14 - (7 + -5)*p. Is 24618/30 - 4/u a prime number?
True
Suppose -88*q - 22 = -86*q. Let z = q - -7. Is 3/6*z - -1439 a prime number?
False
Suppose -3*u + u - 5533 = 3*d, 2*u - 5537 = 3*d. Let i = d + 17762. Is i prime?
False
Let t be ((-33)/(-11))/(3/1977). Suppose -9*z + 10410 = t. Is z a composite number?
False
Suppose -77621 = 12*b - 875753. Is b prime?
False
Let z = 2 - -27. Let i = z + -27. Is i/9 - 1495/(-117) composite?
False
Suppose 7*n + 5728291 = 12*n - 8*s, 3*n - 3*s - 3436962 = 0. Is n composite?
True
Suppose h = f - 2, 0*f + 60 = 5*f + 5*h. Suppose -5*z = -v - 25, 0 = 5*v - f*z + 2*z + 25. Is (-452)/8*(0 + v + -2) a prime number?
True
Let b = 114 - 115. Is (381/2)/(b/(-2)) prime?
False
Let x(a) = -a**3 + 71*a**2 + 93*a - 22. Let q be x(38). Suppose 8*u = 12*u - q. Is u composite?
False
Let w = 531 + -529. Suppose -5*f = i - 20522, 0 = -w*f + 3*i + 1000 + 7219. Is f a composite number?
True
Let m be 6/((-18)/3) - -76. Suppose -q = -m - 422. Is q a prime number?
False
Let a(q) = -5*q - 69. Let k be a(-21). Suppose -24 = 4*g - k. Suppose g*v = 183 + 6318. Is v a prime number?
False
Let s(j) = -179*j - 2. Let w(x) = -180*x - 1. Let k(c) = -3*s(c) + 2*w(c). Suppose 188*h - 250 = 138*h. Is k(h) a prime number?
False
Let s = -401 - -404. Is (-526)/s*120/(-80) composite?
False
Suppose -813*z + 815*z - 27838 = 0. Is z a prime number?
False
Suppose -4911 = 3*b + 3*d, -2*d + 528 + 6044 = -4*b. Let p = -424 - b. Is p prime?
True
Suppose s = -0*s + 4*o - 295, -5*o + 596 = -2*s. Suppose 5*m - 2640 = -5*j, -2*m - 3*m - 2*j = -2634. Let z = s + m. Is z composite?
False
Suppose 0 = 4*y + 5*o + 5 - 7, 9 = 5*y + 3*o. Suppose u + 5011 = 3*h + y*u, -6672 = -4*h - 5*u. Is h composite?
True
Let k(q) = q**3 - 11*q**2 - q + 15. Let f be k(11). Suppose -y = 3*u + 20, f*u - 16 = 5*y + 8. Is (-77)/(-4) + 2/y a composite number?
False
Let a = 543117 + -109976. Is a composite?
False
Suppose -3*s = d + d - 11, -4*d - 2*s + 18 = 0. Suppose -2*c + 18222 = d*w, 20 = c + 3*c. Is w a composite number?
True
Let v(g) = 1622*g**3 + 2*g**2 - 107*g + 502. Is v(5) a prime number?
False
Let b(p) = 5*p**3 + 20*p**2 + 16*p + 80. Is b(37) a composite number?
False
Suppose 3*k - 4800 = 7*z + 2820, 5051 = 2*k + 5*z. Is k a composite number?
True
Let s = 5775 + -5799. Let h(l) be the second derivativ