posite?
True
Suppose c + 11458 = 3*c + 4*o, 2*o - 11458 = -2*c. Is c a composite number?
True
Let b(v) = v + 1. Let z(i) = 331*i + 1. Let t(a) = -4*b(a) + z(a). Let k be t(-2). Let d = 1436 + k. Is d a composite number?
True
Let q(u) = u**2 + 11*u + 8. Let n be q(-12). Is (1/(n/3012))/(3/15) a composite number?
True
Is (-300)/(-60)*19486/10 a prime number?
True
Let f = -8 + 8. Let h(r) = r**3 + r**2 + 31. Is h(f) a prime number?
True
Is (-9)/(-9) - -69624 - (-6)/(-3) a composite number?
False
Let q(f) = 14*f + 1. Let r be q(-1). Let n = r - -13. Suppose -137 = -3*g + 4*v, -3*v = -5*g - n*v + 243. Is g composite?
True
Let r = -1 - -27. Suppose 0 = 5*k + 3*h - 16, -k + 5*k - 2*h - r = 0. Let o(u) = 55*u - 10. Is o(k) prime?
False
Let a(d) = 2*d**2 + 34*d - 77. Is a(-25) composite?
True
Let y be 44/(-8) + (-2)/(-1 + 5). Is (1292/y)/((-14)/21) composite?
True
Suppose 334*r = 339*r - 26995. Is r a prime number?
True
Let r = -380 + 8. Let s = -53 - r. Is s a prime number?
False
Suppose -4 + 5 = -l + g, 4*l + 4*g + 12 = 0. Suppose -2273 = 4*h + 907. Let f = l - h. Is f composite?
True
Suppose -4*z + 11220 = 2*u - 3070, 0 = u + z - 7140. Is u a composite number?
True
Let v(z) = -z**3 - 18*z**2 - 9. Let d(c) = -c**3 - 17*c**2 + c - 9. Let w(r) = 6*d(r) - 5*v(r). Is w(-14) a composite number?
True
Let f be 1794 - (4 + (-7 - -1)). Suppose -y + 1529 = 5*b - 700, 4*y = -4*b + f. Is b a prime number?
False
Let r = -3 - -5. Suppose -3*w - 3763 = 5*z, r*z - w = 4*z + 1505. Is z/(-4)*3/4 a composite number?
True
Suppose 5*r - 3*r + 7186 = 2*d, -4*r - 3593 = -d. Is d composite?
False
Let a = -10 - -22. Let r be (-70)/2*a/(-15). Is (-2)/(2 + (-64)/r) composite?
False
Suppose -54*j = -50*j - 12. Suppose -4*l + 1567 = j*c, 0 = -3*c + 7*c - 4*l - 2080. Is c composite?
False
Let d be 3/15 - 14874/(-5). Let v = d + -1214. Is v a composite number?
True
Suppose -30*w + 46*w = 46928. Is w prime?
False
Suppose 0 = 3*y - 6*y + 21. Suppose -10*w + y*w = -13323. Is w a composite number?
False
Let j(m) = 5*m**2 + 2. Let g be (-13)/(-3) - (2 + 20/(-12)). Is j(g) prime?
False
Suppose -4*s - 6942 + 27730 = 0. Is s a prime number?
True
Suppose 8*i - 9*i - 6 = 0. Suppose v + 2 = 1. Is (2/i)/(v/759) a composite number?
True
Suppose -5*x = 9 + 1. Let b be (-82432)/(-80) + x/5. Suppose -p = -b - 441. Is p a composite number?
False
Let n(w) be the second derivative of 27*w**3/2 - 3*w**2/2 - 7*w. Let k be n(5). Is ((-7)/(-3))/(2/k) prime?
False
Let d(p) = 6*p**2 + p - 1. Let k be d(1). Let c(t) = -t + 8. Let f be c(k). Is 150 + -4 + 0/f composite?
True
Let y = -20 + 22. Suppose 8 = -2*q, -y*q = 4*t + q - 400. Is t composite?
False
Suppose x + h = 319, -7*h = 3*x - 12*h - 917. Suppose -23*p + 22*p + x = 0. Is p a composite number?
True
Let z = -129 + 274. Is z a composite number?
True
Suppose n + 6 - 1 = 0. Is n + 87/18 - 655/(-6) a composite number?
False
Suppose 5*z - 114038 = 8*q - 7*q, -3*z = -2*q - 68427. Is z prime?
True
Let f be 3/(21/26) - (-28)/98. Suppose 0 = 2*p + m - 1087, 5*p - 405 = -3*m + 2314. Suppose -f*y = -p + 98. Is y a prime number?
False
Let r(o) = 176*o**3 - 8*o + 5. Is r(2) a composite number?
True
Suppose 21*d - 4390875 = 751290. Is d a prime number?
False
Suppose -d + 0 = -1, -i - d = 1. Is i/12*-22*(-345)/(-5) prime?
False
Suppose 4 = 2*a - 6. Suppose -a*b = -58 - 2. Let h = b + -5. Is h prime?
True
Suppose 5*b - z + 644 = 2*z, -12 = -4*z. Let v = 135 - b. Suppose r = -r + v. Is r composite?
False
Let l(f) = 5*f**3 - f**2 + 8. Let w(a) = 4*a**3 + a + 7. Let n(s) = -3*l(s) + 4*w(s). Let q be n(-2). Is q/(1 + 0) - -499 a composite number?
False
Let q(m) = -4*m + m**3 - 6*m + 9 - m - 3*m**2 - 1. Let o be q(5). Suppose 5*j + o*p - 102 = -p, 0 = -3*p - 6. Is j a prime number?
False
Suppose 0 = -7*f + 21*f - 233674. Is f composite?
False
Suppose 1316 + 39435 = a - 4*x, 0 = -3*a - 5*x + 122236. Is a a composite number?
True
Suppose 3*p = 6*p + 4*s - 65199, -5*p + 108665 = 5*s. Is p a composite number?
True
Let o(y) = 1. Let j(t) = -76*t - 3. Let m(l) = j(l) - 2*o(l). Is m(-6) a prime number?
False
Let y = 6 + -3. Suppose -745 - 483 = -4*c - 2*k, -921 = -3*c - y*k. Is c prime?
True
Let s = 70 + 39. Is s a prime number?
True
Suppose y - 17 = -4*r, r = -4*r + 20. Let u be (1388/(-8))/(y/(-2)). Let m = -54 + u. Is m composite?
False
Let a be (-100)/(-80)*2*2. Let r(n) = -260*n + 1. Let f be r(a). Let w = f - -1912. Is w prime?
True
Suppose 4*d + 16 = 0, f = -49*d + 44*d + 19833. Is f prime?
True
Let g = -17854 + 29841. Is g a composite number?
False
Let y = 24416 + -7665. Is y prime?
False
Let u(p) = -6*p + 2*p + 6*p - 3. Let t be u(4). Suppose 1528 = t*s - 327. Is s a composite number?
True
Suppose -2*b + 9913 = 3*k, 2*b = -13 + 5. Is k composite?
False
Let r(k) = 2*k**3 + 8*k**2 - 2*k - 6. Let i be r(-4). Suppose -2*c + 247 = 3*o - 145, -404 = -i*c + 3*o. Is c composite?
False
Suppose -4*q + 20 - 4 = 0, 4*k = -4*q - 5344. Let l = k - -3289. Is l composite?
False
Let k be (1/(1/2))/((-57)/(-20862)). Suppose -5*l + 555 = 5*a, 5*l - 188 + 614 = 4*a. Let i = k - a. Is i prime?
False
Suppose -2*l - x + 5372 + 397 = 0, 5 = -5*x. Is l a prime number?
False
Let f be 4 - (-39 - (-2)/1). Let a = -23 + f. Is 6777/a*(-4)/(-6) a prime number?
True
Let r(l) = l**2 + l - 7. Let b(f) = f - 1. Let p(g) = -g - 1. Let c(y) = b(y) - 2*p(y). Let a be c(2). Is r(a) a prime number?
False
Let j(c) = -2*c - 9. Let w = -6 - 0. Let k be j(w). Suppose 21 = -s + 5*q + 274, 0 = k*s - q - 759. Is s a prime number?
False
Let n = 29 - 24. Suppose -2*t - 8551 = -n*o, -2*o + 3241 = t - 174. Is o composite?
False
Suppose 121093 + 71087 = 12*w. Is w a composite number?
True
Let t = 3941 - 2379. Is (-6)/(-2)*t/33 composite?
True
Suppose -4*q - 22*p + 21*p = -8512, -5*q + 10633 = 3*p. Is q prime?
True
Suppose 63 = f + 20*f. Suppose -3*q = -f*v + 11142, -3724 = v - 2*v - q. Is v composite?
False
Let s = 9 + -6. Suppose 3 = -3*i, -680 - 6 = s*a - i. Let b = a + 420. Is b prime?
True
Let x be 1/(((-8)/4)/(-10) + 0). Suppose 0 = x*i - a + 230 - 1425, -4*i + 4*a + 956 = 0. Is i a composite number?
False
Let i(o) = -2*o**3 + 5*o**2 - 2*o + 5. Let p(w) = -7*w - 8. Let k(a) = -6*a - 7. Let x(d) = -6*k(d) + 5*p(d). Let b be x(-6). Is i(b) a prime number?
False
Suppose -o = 3, v + 3583 = 2*v + 4*o. Is v composite?
True
Let l(a) = a**2 - 2*a - 1. Let j = 11 + -8. Let k be l(j). Suppose k*z - 2*r = -6*r + 762, 0 = -4*z + 2*r + 1524. Is z prime?
False
Let y(s) = -s**2 + 12*s + 4. Let k be y(11). Suppose 3868 = 19*a - k*a. Is a composite?
False
Suppose 5*a - 11139 = -3*v, 3*v + 2*v + 2*a = 18565. Is v a composite number?
True
Let u(z) = z**3 - 5*z**2 - z - 13. Suppose -h + 0 + 9 = 0. Let o be u(h). Suppose 4*t = -8, -5*s + 1089 - o = -t. Is s prime?
True
Let b = -57 + 62. Let q be (1*-2 + 2)*-1. Suppose q = -b*s + 767 + 758. Is s a composite number?
True
Suppose 4*i = -4*r + 6171 + 5637, -3*r = -5*i + 14776. Suppose -m + i = m. Is m a composite number?
True
Let d be (2 - (-4124)/16)*4. Let c = d - 657. Suppose 2*l = 3*l - c. Is l composite?
True
Suppose 0 = 2*a + 3*r - 34, -a - 4*r - 20 = -3*a. Suppose 0 = -15*i + a*i + 687. Is i prime?
False
Let p = -8 - -12. Suppose p*b = -2*q + 338, -2*b + 5*b = q + 261. Suppose -b = -5*k + 459. Is k a prime number?
True
Suppose -5*i + 5 = 0, -v + i - 1 - 2 = 0. Let s(q) = 17*q - 28. Let p(d) = -d - 5. Let h(c) = 5*p(c) - s(c). Is h(v) a composite number?
False
Suppose 0 = -4*r + 61 + 71. Let h = -29 + r. Is (58/h)/(12/264) a prime number?
False
Let c be (-12)/8*-1*2. Suppose -c*d + 2955 = 258. Is d prime?
False
Let k(c) = -c**3 - 11*c**2 + 11. Let p be k(-11). Suppose 1333 + 4618 = p*a. Is a a composite number?
False
Suppose -3*l = -m + 3*m + 62, 2*l - 3*m + 37 = 0. Let z = 29 + l. Is (546/z)/((-6)/(-9)) composite?
True
Suppose -5*x = 10*x + 1665. Let s = 565 + x. Is s composite?
True
Let t = 931 - 653. Is t a composite number?
True
Suppose 0 = 2*z - 3 - 7. Suppose 2*k = -3*l + 241, 3*l - 599 = -z*k - l. Is k prime?
False
Suppose 3*k - 38 = -11. Suppose -19*j + k*j = -1430. Is j a composite number?
True
Let w(b) = -b**3 + b**2 + b + 2. Let t be w(0). Let o be -1*(0 - 4/t). Suppose o*l = l + g + 142, -4*l = -g - 571. Is l prime?
False
Let n(r) = -7 + 14 - 9 + 5*r**2 + 18*r. Is n