se x = -3*n + 2*r + 51, 5*n + 0*r + r - 98 = 0. Is n composite?
False
Let d = 16 + -16. Suppose -6*f = -d*f - 762. Is f a composite number?
False
Let j = 136 - -6. Is j a composite number?
True
Let g be -4*(3 + 5/(-2)). Is 422 - 3*(g + 3) a composite number?
False
Let g = -139 - -1874. Is g prime?
False
Let x = 9 - 15. Let u(g) = -g - 3. Let d be u(x). Suppose -d*f + 318 = 69. Is f prime?
True
Is ((-6)/(-18))/((-1)/(-120831)) prime?
True
Suppose -7*r - 1483 = -20712. Is r a composite number?
True
Suppose 8*d + 5*p - 29960 = 3*d, 4*d - 3*p = 23961. Is d prime?
False
Let y(o) be the first derivative of -61*o**2/2 + 7*o - 7. Is y(-4) prime?
True
Let v = 3 - -3. Suppose 0 = -3*g + v*o - 2*o + 158, -4*g + 244 = 3*o. Is g composite?
True
Let m(b) be the third derivative of b**6/120 + 2*b**5/15 + b**4/4 - 5*b**3/6 + 10*b**2. Let c be m(-7). Suppose -1265 = -c*i + 277. Is i composite?
True
Is 1407380/180 + (-4)/(-18) a composite number?
True
Let w be (68/8*1)/(2/376). Let n = w + -529. Is n prime?
True
Let d be 15/10 + ((-58101)/6)/(-1). Suppose 0 = -6*v + d + 3533. Is v composite?
False
Suppose 7*z - 3*z = 12. Suppose -3*h = z*v - 168, -h + 59 = 2*v - 4*v. Is h prime?
False
Suppose 3456 = -23*b + 14473. Is b a composite number?
False
Suppose 5*x = 6*x - 5. Suppose -x*f = -4*f + 124. Let q = f - -189. Is q a composite number?
True
Let k(y) = 30*y**2 + y - 5. Let g(x) = -x**2 + 5*x. Let h be g(4). Suppose 5*o - h = 4*o. Is k(o) a composite number?
False
Let u be 67 - (0 + -3 - -5). Let s = -30 + u. Suppose s = q - 4*w, q - 3*q = -3*w - 70. Is q a prime number?
False
Let q = 198 - 82. Is -7*1/((-4)/q) prime?
False
Let w be 8/(-6)*(-21)/14. Let y be (3 - 2/w)*-2. Is (y/(-4) - -136) + -3 composite?
True
Suppose -793 = 2*k + 4159. Let x = k + 3725. Is x composite?
False
Let r(d) = 2*d + 3 + 193*d**2 - 4*d + 2 + 240*d**2. Is r(2) a composite number?
False
Suppose -3*b + 7 + 11 = 0. Suppose 2*n + b*d = d + 173, 2*n = d + 155. Is n a composite number?
False
Suppose 3*w + j + 4 = 15, -8 = 2*j. Suppose 3*p = -5*a + 10 - 0, 0 = -4*p + w*a - 45. Let m(z) = 7*z**2 + 6*z. Is m(p) a composite number?
True
Suppose -16*q = -26130 - 22654. Is q prime?
True
Suppose 0 = -59*t + 36094 + 7153. Is t composite?
False
Let p(n) = 752*n**2 + n - 2. Let w be (-8)/(-20) - 6/(-10). Is p(w) prime?
True
Let d(h) = 243*h**2 + 17*h + 17. Is d(-9) prime?
False
Let d = -89 + 94. Suppose -d = -5*t, -3*f - t + 405 = -3685. Is f prime?
False
Suppose -5 = 4*s + 11. Let c = 55 + s. Is c prime?
False
Suppose 41865 - 4110 = 45*r. Is r prime?
True
Let v(o) be the second derivative of 5*o**3/2 + o**2/2 + 3*o. Let a be v(2). Let i = -18 + a. Is i a prime number?
True
Suppose 0 = 2*i - 2*z - 12, 5*i - i + 3*z - 10 = 0. Suppose -7*h + i*h = -3. Is 0 + 59/(h/1) composite?
False
Let y(q) = -85*q**2 + 4*q + 1. Let g(x) = 171*x**2 - 9*x - 2. Let n(d) = -3*g(d) - 7*y(d). Suppose 5*o + 6 = 3*a - 1, 0 = -o - 4*a - 6. Is n(o) prime?
False
Let x(u) = 146*u**3 - 2*u + 1. Suppose -v + 2 = -2. Suppose -2*y + 2*q = -4, 0 = y - 4*q - v - 1. Is x(y) a prime number?
False
Suppose 0*k - k = -125. Suppose c = -182 - k. Is -4 + 1 + (13 - c) a prime number?
True
Let a = 7 + -7. Let z(c) = -62*c + a*c**2 + 11 + 67*c + c**2. Is z(-5) a composite number?
False
Suppose 5*w = 8*w + 2*m - 29, -5*w + 4*m + 63 = 0. Suppose -7*y = -w*y + 2292. Is y composite?
True
Suppose y - 9*y = 2184. Let n = y + 530. Is n a prime number?
True
Let i be (1 - 1) + (16 - -138). Let n be -1 + 55 + 0 + 3. Let x = i + n. Is x prime?
True
Is ((-32)/8 - -2 - 3) + 8710 composite?
True
Let s(o) = o. Let q(c) = -149*c - 12. Let w(i) = -i**3 - 3*i**2 + 5*i + 5. Let y be w(-4). Let a(j) = y*q(j) - 6*s(j). Is a(-5) a composite number?
True
Suppose s - 6805 = -4*s. Suppose r - 2*r + s = 0. Is r prime?
True
Suppose -3*a = -5*a + 8. Suppose 2*m + 8 = 0, a*m + m + 5 = -5*j. Is 39 + (j + -3)/(-2) prime?
False
Let z(o) = 27*o**3 + o**2 + o + 1. Let d(l) = l**2 - 6*l - 5. Let m be d(7). Is z(m) composite?
False
Let r(u) = 1820*u + 323. Is r(21) prime?
True
Suppose -10*n + 21857 = -21413. Is n a prime number?
True
Let l = 20 - 11. Let b = 12 - l. Suppose b*q - 279 = -3*v, 0*v - 5*v = -q - 489. Is v a prime number?
True
Let q = -590 - -1151. Let n be q - 1*(3 + 0). Let g = -65 + n. Is g a prime number?
False
Suppose -4 = -2*o - g, -10 + 34 = 3*o - 3*g. Suppose 0 = -2*d + o*b + 2930, d + 0*b - 1475 = -3*b. Is d prime?
False
Let g = -456 + 2111. Is g composite?
True
Suppose g = 5*q - 3795, -3*q + 2*g = 4*g - 2264. Is q prime?
False
Let g(l) = -l**3 + 4*l**2 - 3*l + 3. Let t be g(3). Suppose -t*p + 2825 = 2*p. Is p a composite number?
True
Suppose -4*p - 129 = -3*a + 344, -4*a - 2*p = -616. Let r = a + 182. Is r composite?
False
Let i(v) = 12*v - 34 + 8*v - 7*v + v**2 - 13. Is i(-25) prime?
False
Let j(p) = p + 5. Let t be j(-3). Suppose -t = 4*a - 6, -523 = -2*c + a. Is c a composite number?
True
Let k(x) = 50*x**2 - 7. Is k(-5) composite?
True
Suppose 10*z + 14745 - 169155 = 0. Is z prime?
False
Suppose 5 = 2*q + 7, -4*q + 548 = 4*i. Let v = -71 + i. Is v composite?
False
Suppose -2*t = -6179 + 1757. Suppose -318 = -2*q - 2*f + 784, 4*q - t = 3*f. Suppose 0 = 4*o - 316 - q. Is o composite?
True
Suppose 0 = -10*w + 11582 + 13248. Is w prime?
False
Let q(z) = -z**2 + 8*z + 6. Let y(h) = 3*h**2 - 24*h - 19. Let r(w) = -8*q(w) - 3*y(w). Let x be r(9). Suppose x = -4*p + 2*p + 20. Is p a prime number?
False
Let a be (-228)/(-10) + 2/10. Let i = 69 - a. Is i a prime number?
False
Let s(t) = -4*t - 16. Let p be s(-5). Is -316*(1 - 3)/p a prime number?
False
Suppose 11126 - 2094 = 8*d. Suppose d + 1097 = 6*w. Is w composite?
True
Suppose -5*r = 2*q - 8551, 2*r - 2*q - 3432 = 3*q. Is r prime?
False
Suppose -2*f - 39 = -2*p - 13, 5*f = -p + 43. Suppose 5*b - 5 = 2*q + 2, 2*q = -2*b + 14. Is p/12 - (-478)/q prime?
False
Let p = 711 + -502. Let h = p + -67. Is h a composite number?
True
Let a be 5/((-25)/(-2))*5. Let z(u) = 2 + 38*u - a - 2 + 3. Is z(1) composite?
True
Let p(z) = 6*z**3 + 4*z**2 + 7*z + 4. Suppose -17*m - 15 = -20*m. Is p(m) prime?
False
Suppose 5*f + 3*m - 53 = 0, 2*m - 4 = 3*m. Let r(o) = -o**3 + 13*o**2 + 12*o - 2. Let c be r(f). Suppose d + d - c = 0. Is d composite?
True
Let j be (-19)/(5 - 4 - 0). Is j + 23 - (0 - 79) composite?
False
Let j be 1/(((-2)/(-15))/(104/4)). Let p = j + 782. Is p prime?
True
Suppose -2720 = -4*n + r + 2314, n - 1261 = -r. Is n a composite number?
False
Let l be 64/(-80)*30/(-4). Let k be ((-3)/l*4)/1. Let s(z) = 7*z**2 - 2*z + 1. Is s(k) a prime number?
False
Let m = -128 - -151. Suppose -m*k + 28*k = 955. Is k a prime number?
True
Let d be 1 + -1 + 4 + 4. Suppose 3*s = -2*c + d*s + 457, 4*s = -4*c + 872. Is c a prime number?
False
Suppose -3*c = -5*c - u + 2, 4*u - 8 = 3*c. Suppose -4*a - 2*r - 20 = c, 0*a + 4*r = -4*a - 12. Let s(l) = -l**2 - 14*l. Is s(a) composite?
True
Let s be -2*((-3355)/10 - (-2)/(-2)). Let a = -382 + s. Is a a composite number?
True
Suppose 6*s = 4*q + 5*s - 1609, 4*s = 12. Is q prime?
False
Let r be ((-41)/2)/((-5)/(-10)). Let v(m) = -19*m - 2. Let k be v(-4). Let o = k + r. Is o prime?
False
Let p be 8/24 + 34/6. Let t(y) = 2 + 2*y - 1 + p + 10*y. Is t(6) composite?
False
Let w(l) = 8*l**2 - 13*l + 6. Let s be (-33)/(-7) - 24/(-84). Is w(s) a composite number?
True
Let u(p) = -p**3 - 4*p**2 - 4*p. Let z(r) = -r**3 + r - 3. Let g be z(0). Let k be u(g). Suppose -k*v + 2*v + x = -87, 4*v + 4*x = 316. Is v a composite number?
False
Let p(h) = 274*h**2 - 11*h + 13. Is p(2) a composite number?
False
Suppose p - 709 + 10525 = 0. Is 4/(-28) - p/14 composite?
False
Suppose 316 = m + 3*m. Suppose -3*r - 1 + m = 0. Suppose 21*a - r*a = -1535. Is a prime?
True
Is (1 + (-40)/32)*-2*43742 composite?
False
Let z = 14 + -11. Suppose 2*f - 106 = z*d, -d - 12 = 4*f - 196. Let q = 166 - f. Is q composite?
True
Let h(f) = -2228*f + 163. Is h(-17) composite?
False
Let g(s) = 6*s**2 + 20*s - 33. Is g(-17) composite?
False
Let a = 406 + -696. Let c = -99 - a. Is c a prime number?
True
Let d(t) = t + 1. Let g be 4 + 0 - (-6)/(-3). Let p be d(g). Suppose -2*h = h - p*s - 420, 562 = 4*h - 2*s. Is h composite?
True
Let a = 14267 - 7590. Is a a composite number?
True
Let f be 387 + (-1 - -4)*(-2)/(-6). Suppose 0 = -3*k 