posite?
True
Suppose 3*n - 347 - 2316 = -4*a, 0 = 2*n + 4*a - 1774. Is n composite?
True
Suppose j + 38 - 507 = 0. Is j a composite number?
True
Suppose -3*a - 2*g + 32 = -a, -28 = -a + 5*g. Suppose -2*k = -4*k - a. Let y = 28 - k. Is y composite?
False
Let x be ((6/3)/2)/1. Let y(m) = 23*m**2 - m. Is y(x) composite?
True
Let h(v) = -13*v**3 + 2*v**2 - 4*v + 3. Let m be h(2). Let j = 58 - m. Is j a composite number?
True
Let f = 70 - 25. Let m = f - 32. Suppose -u + 0 = -m. Is u composite?
False
Suppose 4*k = -8, b + 3*k - 6*k - 487 = 0. Is b prime?
False
Let a be -5*1*(-3 + 4). Let o(p) = -37*p + 6. Is o(a) a composite number?
False
Let c(y) = 4*y**2 + 4*y**2 + 1 + 3*y + 1. Let a be c(-2). Suppose -3*v - 10 = -r, 3*v + a + 1 = 2*r. Is r prime?
True
Suppose -3077 = -p + 2592. Is p prime?
True
Suppose -611 = -p - 0*b - 3*b, 5*b = 4*p - 2461. Is p a prime number?
False
Let n(z) = -3*z**2 - 2 + 2*z**2 + 9*z**3 + 5*z**3 - 3*z**3. Is n(2) composite?
True
Let b(c) = c + 3. Let g be b(6). Let d be 1*-3*3/g. Let z(i) = 66*i**2 - 1. Is z(d) a prime number?
False
Let n = 1147 + -564. Is n composite?
True
Let q(z) = 2*z - 13. Let t be q(10). Let x = t + -4. Is x composite?
False
Is ((-12)/(-4) - 1952)/(-1) prime?
True
Let x(w) = -3*w. Let d be x(2). Let b(r) = r**2 + 5*r - 3. Let y be b(d). Suppose -h + 76 = y*h. Is h a prime number?
True
Suppose y = 6 + 483. Is (8/24)/(1/y) a composite number?
False
Suppose 0 = -l - 3*l, 0 = i + 4*l - 9. Is i prime?
False
Let l(r) = 5*r**2 - 4*r + 14. Is l(-5) prime?
False
Let f(z) = -28*z + 1. Is f(-3) composite?
True
Let b = -5 + 9. Suppose -5*t + 623 = -b*t. Is t a composite number?
True
Let p(j) = -92*j - 24. Let l(b) = -31*b - 8. Let y(t) = 17*l(t) - 6*p(t). Let q be y(-6). Let n = 237 + q. Is n composite?
True
Suppose 4*f = -3*o + 1583, 3*o - 727 = -f + 841. Is o a composite number?
False
Let j(o) = 3*o**2 - 7*o - 4. Let c be j(6). Let p = c - -3. Is p a composite number?
True
Let j(h) = 7*h**2 + 6*h + 1. Let z be j(5). Suppose 6*s = -0*s - 270. Let u = s + z. Is u a prime number?
False
Suppose 0 = 4*i - 5*i, -5*c + 1105 = -4*i. Is c a composite number?
True
Let w(k) = -3*k**2 - 2*k - 1. Let v be w(-1). Let m(z) be the second derivative of -2*z**5/5 - z**4/6 + z**3/6 - z**2/2 - 3*z. Is m(v) a composite number?
False
Let h be (-1 - 0)*-1*2. Suppose h*b - 3 - 3 = 0. Suppose 5*s - 275 = b*c, s + 5*c = -3*s + 220. Is s a composite number?
True
Suppose 6*m - 2*m + 27664 = 0. Is 2/(-11) + m/(-44) a prime number?
True
Let w(a) = 2*a - 1. Let g(d) = 5*d - 4. Let x(m) = -4*g(m) + 11*w(m). Let k be x(-6). Let s = 10 + k. Is s composite?
False
Let n be (-160)/(-25) + 2/(-5). Suppose -213 = -n*d + 3*d. Is d a prime number?
True
Suppose 2*v = 5*o - 465, -93 = 4*o - 5*o + 4*v. Suppose -n + 106 = -o. Is n a prime number?
True
Suppose 0 = -4*b - b + 815. Is b a composite number?
False
Suppose -2*o = 4, -4*w - 3*o - 4 = -14. Suppose -w*c = -q + 3*q - 946, q - 471 = -c. Is q composite?
True
Let s be (-325)/(-10) - 1/(-2). Suppose 5*w - 2*u = s, 2*w + w + 3*u - 24 = 0. Is w prime?
True
Suppose -3*y + 1 = -2*y - 2*t, 0 = 5*y - 5*t - 15. Suppose 13 = y*r - 2. Suppose -b - r*b = -188. Is b prime?
True
Let a(c) = 4*c**3 + 4*c**2 + 3*c + 3. Let o be a(4). Let n = o - 172. Is n composite?
False
Suppose 0 = 2*j - 4*j - 56. Is 8/j - 639/(-7) a prime number?
False
Suppose 2*s - 4094 = -4*t - 1028, -2*t = 3*s - 1523. Is t composite?
False
Let w(c) = -c - 4. Let t(s) = -4*s - 17. Let z(q) = -2*t(q) + 9*w(q). Let l be z(-2). Suppose 4*o - 83 = -2*p - p, p + o - 26 = l. Is p a prime number?
False
Let k(v) = -v**2 - 11*v - 5. Let m = -6 - 3. Is k(m) a composite number?
False
Suppose 10*s - 4108 = -338. Is s a prime number?
False
Is (1/3)/((-2)/(-1758)) a prime number?
True
Suppose 0 = -5*z - 25, 365 = -o - 5*z + 3237. Is o a prime number?
True
Let n = 10 - 6. Let j = -6 + 6. Suppose j = -n*z + 91 - 15. Is z prime?
True
Let c = -469 + 888. Is c prime?
True
Suppose 0 = -4*l + 1 + 3. Let o(i) = -i**3 - 6*i**2 - i - 7. Let d be o(-6). Is 254/(d + (4 - l)) a prime number?
True
Let s = -5 - -10. Suppose -4*k + 0*k - 1025 = -s*w, 0 = -3*k. Is w prime?
False
Let o(n) = -n**3 + 11*n**2 + 6*n + 7. Let i be o(8). Suppose i = -5*s + 837. Is s composite?
True
Let u(h) = -h**3 + 5*h**2 - 3*h - 5. Let c be u(4). Let i = c + 4. Suppose 0 = -a - 0*q + i*q + 54, -3*a + q = -170. Is a a prime number?
False
Let a = 855 - 1302. Let k = a - -648. Suppose -k = -0*d - 3*d. Is d a composite number?
False
Suppose -3*u - 4*p = -17, -4*u - 6*p = -2*p - 20. Suppose -373 = -4*c + j, -u*c + 2*j + 296 = -2*j. Suppose 138 = 5*x - c. Is x a prime number?
False
Suppose -2*p - 119 = -2397. Is p a prime number?
False
Let c = -314 + 530. Let n = -152 + c. Let i = n + -38. Is i composite?
True
Let d(w) = 517*w - 28. Is d(3) prime?
True
Let w(i) = 20*i + 11. Is w(9) composite?
False
Let d be 15/(-30)*(-7 + 1). Suppose 2*z - 3*p - 1604 = -3*z, 9 = -d*p. Is z a composite number?
True
Let c(m) = -5*m. Let t be c(-1). Suppose -t*b = -2*b - 75. Is b a prime number?
False
Let i(m) = m**2 + 4*m - 1. Let v be i(11). Suppose 5*b + k - v = 0, 2*b = 4*b + 4*k - 62. Is b a prime number?
False
Let j(k) = -k. Let s(q) = q + 28. Let f(l) = 2*j(l) + s(l). Let h be f(0). Let r = 85 + h. Is r composite?
False
Let x = 1346 - 183. Is x composite?
False
Suppose 0 = -2*j + 8*j - 330. Is j a composite number?
True
Let d = -11 - -19. Is 205 - 0/(d/(-4)) composite?
True
Let z(w) = 3 + 3*w**3 - 2*w + 5*w**3 + 2*w**2 - 2 - w. Suppose -1 - 7 = -4*u. Is z(u) a composite number?
False
Let o(s) = -15*s**3 + 9*s**2 + 6*s + 1. Is o(-4) a prime number?
False
Is 2375/20 + 2/8 composite?
True
Suppose x - 1075 = 468. Is x prime?
True
Suppose 0 = 17*b - 13*b - 3020. Is b a composite number?
True
Let a be (1*-4)/(2/(-2)). Let d be 84/18 + a/(-6). Suppose -k = -2*k + 5*c + 215, 0 = -d*k - c + 818. Is k a prime number?
False
Let d be (-2)/4 - 5/(-10). Suppose -4*v = -v - 5*o - 149, -5*v - 4*o + 273 = d. Is v a composite number?
False
Let y(u) = -u - 6. Let g be y(-5). Is (-312)/(-10) + g/5 a composite number?
False
Suppose 5*d - 3 = -v, -d = -6*d. Suppose 5*h - 565 = v*u, -h = h + 4*u - 200. Suppose 3*y = 8*y - h. Is y composite?
True
Let r(k) be the second derivative of -k**4/12 - 2*k**3/3 - 4*k. Let p be r(-2). Suppose 2*t - 3*f - 161 = 0, 0 = -p*t + 2*f - 4*f + 314. Is t prime?
True
Let b = -74 - -747. Is b composite?
False
Let g = 1001 + 258. Is g a composite number?
False
Suppose 3*g - 16 = -4*w, 0 = -0*g - 5*g. Suppose 3*t = -5*x + 59, 34 + 20 = w*x - t. Is x prime?
True
Is (-4)/10 + (-6559)/(-35) a composite number?
True
Is (669 - 0)/(6/14) a prime number?
False
Is -1 - -32 - 2/(-1) a prime number?
False
Let a(j) = 6*j**2 + 6*j + 1. Is a(-5) prime?
False
Let z be 1/5 + (-54)/(-5). Suppose 3*y - 5*t - 13 = 0, -3*y + 4*y = -5*t + z. Is y composite?
True
Is -3 + 1 - 60/(-2)*2 a composite number?
True
Suppose -d - v + 610 = 0, -4*d + 0*d - 5*v = -2437. Is d a prime number?
True
Suppose -5*x = -d - 0 + 1, 0 = -3*x - 4*d + 4. Let j = x + 2. Is -1 - 5*(-20 - j) a composite number?
False
Let c(r) = 19*r - 1 - 2 + 1. Is c(3) a prime number?
False
Suppose 4*f = 9*f - 725. Is f a composite number?
True
Suppose p + 1773 + 695 = 3*m, 4*m - 5*p - 3309 = 0. Is m composite?
False
Let l(c) = -c**3 - 24*c**2 - 30*c + 10. Is l(-25) a composite number?
True
Let n = -2 + 4. Let s be 10171/21 + n/3. Suppose -5*k = -0*k - s. Is k a composite number?
False
Let p(c) = c - 2. Let q be p(2). Suppose 308 = -q*b + b. Suppose -2*v - b = -6*v. Is v a prime number?
False
Suppose -2*t + 2*j + 20 = 6*j, -5*j = 5*t - 25. Suppose -3*f - f + o + 6 = 0, 5*o - 10 = t. Let i = 39 - f. Is i a prime number?
True
Let b(f) = -f**2 + 31*f - 7. Is b(16) composite?
False
Let s(d) = 4*d. Let q be s(3). Suppose t - q = 3*t. Let r = 27 + t. Is r prime?
False
Let h(z) = z + 12. Let v be h(-9). Let i be (-8)/5 + v/5. Is (-108)/((-3)/1) + i a composite number?
True
Let i = 10 + -6. Suppose 18 = 5*q + i*y - 21, y + 27 = 4*q. Is q a composite number?
False
Let u be (-141)/(-12)*(-8)/(-2). Let y = u - -20. Let b = y + -32. Is b composite?
True
Let l = -109 + 166. Is l a composite number?
True
Let i(k) = -k**3 - 1 + 4*k**2 + k**2 + k**2 + 0*k**2. Is i(4) prime?
True
Let