))/(6/(-21)) a prime number?
True
Let w = 7 + -3. Suppose 9*r - 18 = w*r + o, 5*r = -5*o. Suppose r*j = 66 + 129. Is j a composite number?
True
Let u(x) = 4*x + 2. Let b(c) = -4*c - 3. Let q(k) = -3*b(k) - 4*u(k). Suppose 4*l - f = -25, -l + 3*f = 5 + 15. Is q(l) a prime number?
False
Suppose -12 = -4*q - p + 4*p, -2*p = -2*q + 8. Let b = -3 - -8. Suppose -b*o = -12 - 8, -5*d + 4*o + 2849 = q. Is d prime?
False
Let g be 11535/4 - ((-5)/4 - -2). Let n = -2032 + g. Is n prime?
False
Let c(q) be the first derivative of -q**4 - q**2 - 2*q - 50. Suppose -2*r - 2*r = 8. Is c(r) composite?
True
Suppose -18*i - 85208 = -26*i. Is i a composite number?
False
Suppose -25*w + 154219 = -12*w. Is w prime?
True
Suppose 2*l - 2 = l. Let c(s) = 27*s + 1. Is c(l) a composite number?
True
Suppose 894 = 3*n - 9003. Is n composite?
False
Let p = -35 + 31. Is (76/(-4) - 3)*262/p composite?
True
Suppose -3 = 20*j - 19*j, -4*k + 3*j = -370085. Is k a composite number?
True
Suppose 5*d = -t - 9, -5*t = -4*d - 8 - 5. Let f(i) = i**3 + 4*i**2. Let v be f(d). Suppose 3*c - c - v = 0. Is c prime?
False
Let j be 45/(-6)*(2 + 0). Let f = j - -21. Suppose 4*q = f*q - 658. Is q composite?
True
Suppose 0 = 5*p - 3*k - 406730, p - 162691 = -p + k. Is p prime?
True
Let b = 5912 + -3162. Suppose 2*a + 4*o = b, 8*a - 6815 = 3*a + 5*o. Is a a composite number?
False
Let f = 237 + -148. Let j(a) = a**3 + 4*a**2 - 5*a. Let c be j(-5). Suppose c = 5*x - 10, 5*d - 5*x - f = -2*x. Is d prime?
True
Is (-132)/(-330) + (-129103)/(-5) + -2 a composite number?
False
Suppose -529 = -4*k + d - 5177, -4*k + 3*d = 4640. Let t = -640 - k. Is t a composite number?
False
Suppose 0 = -4*f - 14 + 10. Let l(a) = -5*a. Let j be l(f). Suppose 0 = -j*w - 0*w - 25, -163 = -4*v - 5*w. Is v a prime number?
True
Let k(u) = -7*u**3 + 2*u**2 - u + 1. Let p(y) = -7*y - 1. Let o be p(-2). Let s = 11 - o. Is k(s) a prime number?
True
Is (-11 + (28 - 18))/(2/(-13478)) composite?
True
Is (-1)/(2*(-5)/7130) a composite number?
True
Let g(t) = t**3 + 16*t**2 + 6*t - 19. Is g(-14) a prime number?
False
Let y(l) be the third derivative of l**6/60 + l**4/8 - l**3/6 + 3*l**2. Let v = -2 - -4. Is y(v) prime?
False
Suppose -6*b = -9*b + 993. Is b a composite number?
False
Suppose 6 = 3*w - 2*w. Suppose w*p + 778 = 8*p. Is p prime?
True
Let i(m) = -3*m - 10. Let d be i(-7). Suppose -10*s - 1561 = -d*s. Is s a prime number?
False
Let k = -17 - -20. Suppose -3*o + 960 = k*b, -2*b + 642 = 2*o + 2*b. Is o prime?
False
Suppose 6*b = b + 5, 0 = i - b - 3432. Is i composite?
False
Let t = 883 + 59434. Is t a composite number?
False
Suppose 26*h - 11*h = 4395. Is h a composite number?
False
Suppose 7*r - 8*r = -2. Suppose r*w - w = 4. Suppose -290 = -w*u - u. Is u composite?
True
Let o(q) = -q**3 - 35*q**2 - 140*q + 101. Is o(-42) composite?
False
Let v(f) = -7*f**3 - 4*f + 2. Let n be v(-5). Suppose 28*z = 31*z - n. Is z prime?
False
Let w = -14179 + 45048. Is w a composite number?
False
Let r(d) = -7*d + 33*d**3 - 71*d**3 + 37*d**3 + 2*d**2 - 1. Is r(-5) composite?
True
Let t = 630 + -329. Let a = -97 + t. Let l = 301 - a. Is l prime?
True
Let d = -23100 - -38923. Is d a prime number?
True
Suppose w - 41*w + 157720 = 0. Is w a prime number?
True
Suppose 0 = -4*i - 0*i - 28. Is (i/(-2))/(9/126) composite?
True
Let r(f) = -f**2 - 3*f + 4. Let s be r(-4). Suppose 20*h - 790 - 270 = 0. Suppose -4*b + 5*a + 790 + h = s, -2*a - 207 = -b. Is b a composite number?
True
Suppose -100*o = -94*o - 22722. Is o composite?
True
Let d(t) = 4*t**2 + 10*t - 7. Let z be -1 + 4 + -2 - 13. Is d(z) prime?
True
Let z(t) = -6*t - 11 + 4*t + 52*t**2 - 2*t**2. Let v(o) = -3*o + 3. Let q be v(3). Is z(q) a prime number?
True
Suppose 9*f - 10 = 8*f. Let y be (-8)/f - 4/(-5). Let m(q) = -q + 557. Is m(y) composite?
False
Suppose -730 - 2450 = -20*a. Is a a prime number?
False
Let t(m) = -m**2 + 750. Let j be t(0). Suppose -2*k = -0*k - j. Let d = k + -188. Is d a prime number?
False
Let z(d) be the first derivative of 33*d**4/4 - d**3/3 + d**2/2 - 5. Let v be z(-4). Is (-6)/27 - v/36 a composite number?
False
Is 0 + 35325 + (3 - -5) + -2 composite?
True
Suppose 5*w = 2*h - 197, 2*w - 7 = 2*h - 219. Let y(d) = -d**3 + 7*d**2. Let q be y(7). Suppose 2*g + g - h = q. Is g composite?
False
Let d(u) = -14*u + 7. Let l be d(-5). Suppose -2*o = 3*t + l, 0 = 3*o - 5*t + 38 + 87. Let n = o + 146. Is n a composite number?
True
Suppose -2*o = -3*v - 31, 2*o + 27 + 7 = -2*v. Let k(n) = -12*n - 17. Let y be k(v). Suppose -u + 4*r = -y, 0*r - 570 = -5*u - 5*r. Is u composite?
True
Let s(q) = -6*q**3 + 6*q**2 - 5*q - 7. Let u be s(3). Let k = -115 - u. Is k composite?
True
Suppose -3*i - 3*q = -4314, -2*i + 1986 = -4*q - 896. Is i prime?
True
Let j = -37 - -70. Is (2 - 1)/(j/2541) prime?
False
Suppose -f = 1 - 14. Suppose f*c - 14*c + 161 = 0. Is c composite?
True
Let i = 44 + -43. Is i/((4/2036)/1) prime?
True
Let v(z) = -42*z**3 + 2*z**2 + 6*z + 3. Let a be v(-2). Let d = a + -121. Is d prime?
False
Suppose 0 = 3*q - q - 4*y - 386, 0 = y + 3. Is q a prime number?
False
Suppose 5*w = -105*t + 106*t - 51227, 3*t - 153647 = -2*w. Is t prime?
True
Suppose -114*g = -1641364 + 183190. Is g a prime number?
True
Let w(v) = -8*v - 3. Let d be w(3). Let p(m) = -98*m - 13. Is p(d) composite?
False
Let f = 1283 - -3554. Is f a prime number?
False
Suppose -3*s + 16753 = 4*z, -2 = -2*z - 6. Is s a composite number?
True
Suppose 4969 + 2825 = 3*k. Let g = 4463 - k. Is g a composite number?
True
Suppose 5*u - 2*u = -5*g + 9854, -3*g = 3*u - 5916. Suppose -4*j - 3 - 1 = 0, g = 4*z - 5*j. Is z composite?
False
Suppose -27430 = -5*j - 5*l, -3*l = -6*l + 3. Is j prime?
False
Suppose -3*r = -2*t - 16, 3 = -2*t - 1. Suppose 5*y - 1351 = -r*u + 1464, 0 = 2*y + 4*u - 1138. Is y composite?
True
Suppose 0 = h - 3*q - 2382, 4*q = -h + 2*h - 2380. Let t = h - 1429. Is t composite?
True
Let f = -15 + 31. Suppose w = 2*w - 2*a + f, 3*w - 2*a = -56. Is 1605/9 - w/(-15) a prime number?
False
Suppose -3*o - u + 2*u + 10554 = 0, 5*o - 17582 = -u. Suppose -4*d + 3*a - 2*a = -3529, 5*a = 4*d - o. Is d a prime number?
True
Let a(z) = 4*z**3 - z**2 + 1. Let o(y) = 4*y**3 - y + 2. Let b(p) = 6*a(p) - 5*o(p). Is b(5) composite?
True
Let i be 2/(-7) + (-36)/21. Suppose -1253 = -3*t - 5*l, 8*t = 5*t - 2*l + 1259. Is (-3)/2 - t/i composite?
True
Let b(u) = -u**3 + 6*u**2 - 2*u + 29. Let y be b(6). Let c(a) = -a**3 + 28*a**2 - 38*a - 20. Is c(y) composite?
True
Suppose -3*z - 10518 = -4*m, -12*z + 10534 = 4*m - 7*z. Is m a composite number?
True
Let x be (4/(-2))/(1*(2 + -3)). Suppose -t = -5*p - 958, x*t + 1951 = 4*t - 3*p. Is t a composite number?
False
Let r = 3879 + -1268. Is r a prime number?
False
Let c(d) = 6*d**3 + 3*d**2 - 2*d - 6. Let h(k) = -18*k**3 - 10*k**2 + 5*k + 17. Let u(z) = 11*c(z) + 4*h(z). Is u(-5) composite?
False
Suppose -3*i = -5 - 4. Suppose -5*b = -0*t - 4*t + 18, 0 = -i*t + b + 19. Suppose -4*v - 3*w - 123 = -t*v, 4*v - 168 = 5*w. Is v a composite number?
False
Let o be ((-4625)/2 + 2)*(5 + -7). Suppose 7*r - 3*r - 5*g - o = 0, 2*g + 5789 = 5*r. Is r a composite number?
True
Let l be (0/1)/(4 - 0). Suppose l = 8*y - 6*y - 158. Is y a composite number?
False
Suppose 101*c - 5929855 = 1986222. Is c a prime number?
False
Let r be 84/(-15) - 4/10. Is (r + 0/(-3))/(8/(-524)) composite?
True
Is (-452920)/(-88) - 6/(-33) a composite number?
False
Suppose -3*p + 3 = 2*u, -5*u - 1 - 1 = -2*p. Suppose 2*f = -u*f - 22. Let l = 104 - f. Is l a prime number?
False
Let k(i) = -i**2 - 7*i - 5. Let j = 0 + -5. Let s be k(j). Suppose -3*a - 212 = -s*y + 234, -9 = -3*a. Is y a prime number?
False
Suppose -1700 = 13*k - 18*k. Let d = k - -234. Let g = d - 307. Is g a prime number?
False
Suppose -a = 3 - 4. Let c = 2 - a. Is -4*(c + (-249)/12) prime?
True
Let v = 531 + -242. Suppose -2*n - 3 - 3 = 0, -r + 92 = -2*n. Let m = v - r. Is m composite?
True
Let w(z) = -2*z**3 - 3*z**2 + 4*z + 7. Let a be w(-5). Suppose -2*s + 808 + a = 0. Is s prime?
False
Suppose -5*s + 8 = -22. Suppose s*w - 38 = 76. Suppose 5*h = -w + 489. Is h prime?
False
Let p = -31 - -33. Is ((-4112)/(-40))/(p/5) a composite number?
False
Suppose -8 = 2*v, 5*c = v + 22 - 8. Suppose 0 = -2*t - 8, 0 = -c*p + 5*p - 5*t - 32. Suppose p*z 