4)*2 - -246. Is v*((-9)/(-6))/3 composite?
True
Suppose -2*k = 3*x - 4, -3*x + 2*k - 18 = x. Let l be x/8 + (-196)/(-16). Is (184/l)/(4/6) a composite number?
False
Let q(m) = m**3 + m**2 + 3. Let a be q(0). Suppose -a*u = 7 + 11. Is (-142)/u - (-6)/(-9) a prime number?
True
Let d = 463 + 1870. Is d composite?
False
Suppose -3*x - 20 = 2*x. Is (-14)/(0 + x/6) composite?
True
Let x be (-19)/(-3) + (-2)/6. Let j be x/(-21) + (-60)/(-14). Is 94/3 + j/(-12) composite?
False
Is (-1589)/(-3) - (15/9 - 1) composite?
True
Let v = -5853 + 13570. Is v prime?
True
Let f(b) = 25*b**2 + 9. Is f(5) composite?
True
Let f(z) = z**3 - 5*z**3 + z - 2*z - 3 - 2*z**2 + 3*z**3. Is f(-4) a prime number?
False
Suppose 5*a - 3*a + 4*k - 422 = 0, 5*a - 5*k = 1100. Is a prime?
False
Suppose -q - 38 + 6 = 0. Let k = 174 - 95. Let s = k + q. Is s a composite number?
False
Let m(i) = 3*i**2 - 27*i - 5. Is m(-8) prime?
False
Is (131 - -6) + (2 - -2) prime?
False
Suppose 0 = h + 1 - 6, 0 = -p + 4*h - 22. Let s(b) = 4*b**2 - b - 5. Let q be s(4). Is (p - (-24)/10)*q a composite number?
True
Let z be (1 + -7)*(-2)/4. Suppose 5*p - 5*r - 243 = 357, -473 = -4*p - z*r. Is p a prime number?
False
Let a(s) be the second derivative of s**5/20 + s**4/2 - 3*s**2/2 + s. Is a(-5) a composite number?
True
Suppose 5*v - 19945 = -5*l, 648 + 7330 = 2*l + 3*v. Is l a composite number?
False
Let j = -907 + 2358. Is j a composite number?
False
Let i = -14 - -21. Suppose 0 = -3*o + 4*k + 61, -60 = -3*o - 4*k - i. Is o composite?
False
Let v be (-6)/(2 + (-192)/93). Suppose 0 = 3*z - 4*s - 64 - 29, 3*z - v = 2*s. Is z prime?
True
Let b be -3 + 4 + 0 - 7. Let c be ((-3)/b)/((-3)/6). Is (c + 3 + 111)/1 a prime number?
True
Is 363 + (-1 - 6/2) a prime number?
True
Let x be -2 - (1 + -2)*-26. Let l be (-26)/7 + 8/x. Let t = 8 + l. Is t prime?
False
Suppose 0 = -p - 0*p + 4. Suppose -118 = p*h - 6*h. Is h prime?
True
Let i(w) = w**2 + 6*w + 5. Let x(f) = -f**2 - 15*f - 18. Let q be x(-14). Let m be i(q). Let z = 482 - m. Is z prime?
False
Suppose 5*j + 3*k - 4580 = 0, -k = -4*j - 1121 + 4802. Is j prime?
True
Let z(n) = 1650*n + 91. Is z(8) a prime number?
True
Let o(b) = -578*b - 5. Is o(-11) prime?
True
Suppose -18*p - 7330 = -23*p. Is p composite?
True
Suppose 8 = 4*f - 12. Suppose -4*j = r - 25, 9 + f = 3*j - 4*r. Is j composite?
True
Let c(v) = -v**3 - 5*v**2 + 7*v + 9. Let y be c(-6). Suppose 0*g - 4*g = 5*u - 493, -390 = -3*g + y*u. Is g composite?
False
Let b = 10 - -2. Let y be (-34)/(-4) - b/(-8). Suppose 2*l + 3*k - 64 - y = 0, -42 = -l - 4*k. Is l a prime number?
False
Suppose -n + 766 = 4*p, 0 = -2*p - 2*p + 3*n + 758. Is p a composite number?
False
Let i(s) = -2 - s + 4 - 4 + 2*s. Let t be i(5). Suppose -5*u + u - 20 = 0, -154 = -f + t*u. Is f prime?
True
Suppose -5*p + 119 = 3*d - 212, d = -2*p + 110. Suppose -3*y = -h + 32, 0*h + 3*h - y = d. Let a = h + -16. Is a composite?
True
Suppose -10 = -j - 5. Suppose -2*p - 4 = -0*p, -j*d + 39 = -2*p. Is d prime?
True
Let f(u) = 2*u**2 - 5*u + 2. Let h be f(3). Suppose 4*p = h*j + 28, 0 = -5*p - 3*j - 2 - 0. Suppose c + 390 = 5*d + p*c, 2*c - 10 = 0. Is d prime?
False
Suppose -25346 = -15*u + 9469. Is u a prime number?
False
Let n(a) = a**2 - 6*a - 11. Let h be n(8). Suppose m = -3*f + h, m - 9 = -f - 4*f. Suppose -3*c = 5*o - 6*c - 21, -f*o + 15 = c. Is o prime?
False
Suppose 0 = 8*w - 9*w + 655. Is w a composite number?
True
Suppose 0 = 6*b - b. Let z = -3 + 2. Is 57/(-3)*(z - b) a composite number?
False
Let k(v) = -21*v + 4. Let b(z) = 336*z - 63. Let y(p) = -3*b(p) - 49*k(p). Is y(8) a composite number?
True
Let p(u) be the third derivative of -5*u**4/6 - u**3/6 + 2*u**2. Suppose 2*j - 4*f + 14 = 0, 3*f = -2*j + 3*j + 9. Is p(j) composite?
False
Suppose -2 + 7 = 5*s. Let t be -1*s*(-3 - 3). Is 4/t - (-40)/3 composite?
True
Let s(j) = j**2 + 13*j + 1. Is s(6) composite?
True
Let o = -26 - -11. Let v be 2 + -2 + 1 + -3. Is v/(((-9)/o)/(-3)) a composite number?
True
Suppose -2*a = 2*s - 100, -4*s = -4*a + 253 - 29. Is a composite?
False
Suppose -2*q = -5*q + 381. Is q a prime number?
True
Suppose 1 = 4*n - 3. Let p = 2 + n. Suppose -2*l + m = -l - 165, 5*m - 479 = -p*l. Is l composite?
False
Let u be 3 + (-2 + 1)*1. Let q(g) be the first derivative of 83*g**3/3 - g**2 + 3*g + 35. Is q(u) prime?
True
Let y be 2/(-1 - (3 - 2)). Let s = 1 - 1. Is s + (4/2 - y) a prime number?
True
Suppose -4 - 6 = -2*z. Suppose -z*w + 15 = -0*w. Let p(j) = 3*j**2 + 4. Is p(w) a prime number?
True
Let k be 0 + (1 - (-2)/2). Is 9*(k - (-3)/(-9)) a composite number?
True
Let a(b) = -3*b - 2. Let j be a(-2). Suppose j*g + 3*r = -1 - 11, -3*r + 12 = 0. Let q(t) = t**2 - t - 4. Is q(g) prime?
False
Suppose 3*o + 753 = 3*d, -3*d - 4*o + 555 + 184 = 0. Is d composite?
True
Suppose v - 145 = 118. Is v composite?
False
Let b = 214 - 135. Is b prime?
True
Suppose 4*h - 159 = 349. Is h composite?
False
Suppose -p + 0*p = -10. Suppose 0*g = 5*g - p. Suppose -107 = -2*t + f, 5*t + 7*f = g*f + 290. Is t a composite number?
True
Let w = 97 + -179. Let k = 130 - -5. Let i = w + k. Is i a prime number?
True
Is 4/10 - (-6528)/80 a composite number?
True
Suppose 10*a + 2391 = 13*a. Is a a prime number?
True
Suppose -2*j + 1060 = 2*j. Is j prime?
False
Is 10/(-4)*(-15940)/50 a prime number?
True
Let u(s) = -18*s - 19. Is u(-15) composite?
False
Let x = 1105 - 428. Is x prime?
True
Suppose -5*d + 10 = 0, 2*f + 2*d - 6*d = 174. Is f composite?
True
Suppose -518 = -2*g - r, -g + 0*r = -r - 253. Is g a prime number?
True
Let f(l) = -l**2 + 15*l - 7. Let y(m) = 7*m**2 - 10*m**3 + 1 - 7*m**2 + m. Let r be y(-1). Is f(r) a prime number?
True
Let p = -397 + 774. Is p prime?
False
Let q = -869 + 2410. Is q prime?
False
Suppose y - 231 = -2*k + 385, -3*k - 5*y = -931. Is k composite?
False
Suppose 772 + 4003 = 5*p. Suppose 6*c - p = c. Is c composite?
False
Let b(y) = -2*y**3 + 6*y**2 - 2*y - 8. Let t(p) = p**2 - 1. Let d(w) = b(w) - 3*t(w). Is d(-4) a composite number?
False
Let g = -4 - -5. Let o(p) = -10*p. Let x be o(g). Is 516/15 + (-6)/x composite?
True
Suppose -10 = -5*y + 5. Let s = y - -9. Is (-1050)/(-8) - 3/s a prime number?
True
Suppose -1766 + 210 = -2*c. Is c composite?
True
Suppose -f + 93 = -5*h, 0*h + 2*h - 79 = -f. Is f composite?
False
Let o = 2 + 14. Suppose -4*m - 15 = m, -o = -f + 2*m. Is f a prime number?
False
Let x(r) = -r**2 + 11*r - 7. Is x(5) a composite number?
False
Suppose 5*p + 2*a - 963 = 0, 3*p - 183 = 2*p + 2*a. Is p prime?
True
Let m be (-21)/14 - 14/(-4). Suppose -m*g = 44 - 118. Is g composite?
False
Suppose -2*f - 3*f = -1095. Is f a prime number?
False
Let j be -1 + 16/4 + 487. Suppose -j - 325 = -5*b. Is b composite?
False
Let z = -1186 + 2097. Is z a prime number?
True
Let q(p) = -p**2 - 3*p + 6. Let f be q(-5). Let s = 68 + -39. Let c = s + f. Is c prime?
False
Suppose -a + 4 = -l, -4*l - 9 = -3*a + 7. Suppose -g - 30 = -3*g. Is g - a*(2 - 1) prime?
False
Suppose -2*v - h + 206 = -4*h, 0 = 5*h. Is v prime?
True
Suppose -4*i - 4 = -2*i. Is 331 + (-1)/i*0 prime?
True
Suppose -5*o - 125 = -4*l, 2*l = -3*l - 2*o + 181. Is l prime?
False
Let t(v) = 197*v**2 + 8*v + 7. Is t(-4) composite?
True
Let n(b) = 23*b**3 - b**2 + b - 5. Let u(i) = 47*i**3 - 2*i**2 + 2*i - 9. Let c(x) = -7*n(x) + 4*u(x). Is c(1) a prime number?
False
Let l be ((-2)/(-6))/((-1)/(-12)). Is (-2)/l*(-31 - -3) prime?
False
Let s = 2482 + 3365. Is s a prime number?
False
Let t = -215 + 117. Let l = t - -225. Is l prime?
True
Suppose 2*j + 62 = -r, -3*r = -4*r - j - 59. Suppose 3*c - 390 = -2*c. Let t = c + r. Is t composite?
True
Let a = 34 + -14. Suppose -5*r + 3*r + a = 0. Let u = r - -27. Is u composite?
False
Suppose 0 = -q - 4*p + p + 36, -2*q - 2*p + 68 = 0. Is q a prime number?
False
Is (2/6)/((-11)/(-2739)) composite?
False
Suppose -2*z = -6*u + 2*u - 2158, -3227 = -3*z + 4*u. Is z prime?
True
Let j(k) = -7*k**3 + 16*k**2 - 7*k - 5. Let s(n) = -3*n**3 + 8*n**2 - 3*n - 3. Let v(x) = -2*j(x) + 5*s(x). Suppose 5*p - 34 = 1. Is v(p) a prime number?
True
Let k(x) = -x**3 + 6*x + 4. Let i be k(-5). Suppose 0 = -5*y + 8*y - i. Is y a composite number?
True
Let n(l) = 85*l**3 - l**2 - 3. Is n(2) a prime number?
True
Let v = -4 - -2. Let p be 3/6*v*-171. Suppose p = -3*n + 6*n. Is 