a composite number?
False
Suppose -4*k + 3*l - 4*l = -3064, -2*l - 1532 = -2*k. Is k a composite number?
True
Suppose -2*b + 0*c + 264 = -4*c, 4*c = -3*b + 436. Suppose 0 = -z - 2*k - 20 + 166, -2*z + 4*k = -252. Suppose 4*x = z + b. Is x composite?
True
Suppose 4*o - 3*h = h + 744, -h + 960 = 5*o. Is o composite?
False
Let t(j) = 2*j**3 - 13*j**2 - 4*j + 265. Let f(k) = k**3 - 7*k**2 - 2*k + 133. Let b(u) = -11*f(u) + 6*t(u). Is b(0) prime?
True
Suppose -3*l - 309 = k - 3*k, 5*k + 4*l = 761. Let s = -56 + k. Is s a prime number?
True
Let n = 6 + -3. Let i = n - -3. Is 20 - 2*(-3)/i prime?
False
Let n = 7 + -4. Suppose 0 = -7*f + n*f + 220. Is f prime?
False
Is 8/10*5*(-331)/(-4) composite?
False
Suppose -6*g + g - 718 = -4*o, -734 = -4*o - 3*g. Suppose k + k - o = 0. Is k composite?
True
Suppose 2*l = -5*h + 397, 0*l - 3*h = -3*l + 564. Is l prime?
True
Suppose 640 - 4417 = -3*h. Is h composite?
False
Let d(j) = -j. Let o(w) = 6*w**2 + 12*w + 5. Let v(q) = 6*d(q) + o(q). Let t be (-2)/7 + 286/(-77). Is v(t) composite?
True
Let a(d) = 4*d**2 - 3*d + 9. Is a(-4) a composite number?
True
Let y be 12/7*(-28)/(-8). Is y/(-2) - (-3 + -35) a prime number?
False
Let o(s) = s**2 - 3*s - 1. Let m be o(-7). Suppose -2*y = -m - 129. Suppose -y = -4*z + 233. Is z composite?
False
Suppose 0 = -2*x - 2*b + 2792, 2*x + 0*b = -3*b + 2789. Is x prime?
True
Suppose -u - 3*u = -260. Is u a prime number?
False
Suppose 5*g = 3*w + 4550, 0 = -2*g - 5*w + 680 + 1109. Is g composite?
False
Let q(h) = h**2 + 10*h + 9. Let u be q(-6). Let o be ((-3)/(-5))/((-3)/u). Is (-42)/o*(-1 - 0) a composite number?
True
Suppose m = k + 128, 0 = -2*m - k + 164 + 89. Is m a prime number?
True
Suppose -11 = -5*m + 4. Suppose 4*q - m*r = 773, -q = q - 5*r - 397. Is q composite?
False
Suppose -3*x - 37 = -5*h - 1249, 418 = x + 3*h. Is x a prime number?
True
Let v be (2/2)/((-4)/8). Let o = v - -4. Suppose -c + 0*x + 5*x = -58, -o*x + 23 = c. Is c prime?
False
Let u = -14 + 21. Let a be 2403/(-7) - (-2)/u. Let n = -216 - a. Is n a composite number?
False
Let v(f) = 4*f**3 + 9*f**2 + 8*f + 13. Let a(j) = 3*j**3 + 6*j**2 + 5*j + 9. Let z(q) = 7*a(q) - 5*v(q). Is z(7) composite?
True
Suppose 5*p - 12 = 2*x, 4*x + 4*p = 3*x + 20. Suppose -3*z + 381 = -2*k, 0*k = 4*z - x*k - 508. Is z prime?
True
Let a be -2 + (-1)/2*-10. Suppose -a*s + 3*b + 33 = 0, -5*s = -s + b - 19. Is 6/(-7)*(-1 - s) prime?
False
Suppose 4*u - 492 = -4*y, -3*y + 611 = 2*y + 3*u. Let f = y + -32. Is f a composite number?
False
Is ((-2)/4)/(8/(-3056)) composite?
False
Let p = -4911 + 10360. Is p prime?
True
Let v(m) = -m**2 - 2. Let g be v(0). Let k be ((-9)/g)/((-9)/12). Is 205/9 + k/(-27) composite?
False
Suppose -4*n - 104 = 2*c - 456, -5*c = -4*n - 894. Is c prime?
False
Let g(f) = f**3 + f**2 + f. Suppose -2 = 2*s + 6. Let l(d) = -5*d**3 - 2*d**2 - 9*d + 1. Let n(m) = s*g(m) - l(m). Is n(4) a prime number?
False
Suppose -5*s = -53 - 22. Is s prime?
False
Suppose 2*b + 48 = 4*b. Suppose -3*x + b = -15. Is x a composite number?
False
Suppose 3*a = -a - 5*h + 41, h = -3*a + 17. Suppose 0 = -3*l + a*t + 4, 5*l = 3*l + 5*t - 9. Suppose -26 + l = -3*m. Is m a prime number?
False
Suppose -w - 7 = -10. Suppose 3*j + 611 = 5*j + w*m, 2*j - 615 = m. Is j a prime number?
True
Let k(x) = -99*x**3 + 5*x**2 + 3. Let r(p) = 98*p**3 - 4*p**2 - 2. Let a(g) = -3*k(g) - 4*r(g). Is a(-1) prime?
False
Let a be 20/(-6)*18/(-12). Suppose -5*s - 4*o + 337 + 600 = 0, 4*s = a*o + 725. Is s a prime number?
False
Suppose -5*j + 1 + 1 = -z, 2*z = 2*j + 4. Suppose -p + z = -3*d, 3*d = p + p - 18. Suppose 5*u = p, a - 5 = -u + 4. Is a a prime number?
False
Suppose -40 = -5*q + q. Let v = q - 6. Suppose 0 = v*d - 19 - 105. Is d prime?
True
Let y(g) = 3*g**2 + 3*g + 21. Is y(-9) prime?
False
Suppose -5*t + 576 = -34. Is t a prime number?
False
Suppose 0 = q - 0*q - 3*p - 10, -5 = -q + 2*p. Is (-1 - q)*166/8 a prime number?
True
Suppose x + x + 28 = -4*p, -x + 2*p = 2. Is (-467)/(-5)*(-40)/x a prime number?
True
Suppose -c + 109 = -32. Is c/4 + (-1)/4 composite?
True
Let b(c) = c + 8. Let t be b(-7). Let k be 2 - 0/(t/1). Suppose -15 = -k*v - 1. Is v a prime number?
True
Let v = -240 - -354. Is -2 + v + 9/3 prime?
False
Let x(b) = -2*b + 502. Let g be x(0). Is ((-1)/(-1)*g)/2 composite?
False
Let f(x) = -x**2 + 5*x + 8. Is f(6) composite?
False
Let a(s) = -45*s + 13. Is a(-8) a prime number?
True
Suppose -x + 3*x = 4. Let w(r) = 2*r**3 + 9*r**2 + 4*r + 7. Let h(i) = -2*i**3 - 8*i**2 - 4*i - 7. Let u(m) = x*w(m) + 3*h(m). Is u(-6) composite?
False
Let v = 4419 - -434. Is v prime?
False
Suppose 4*a = -4*l, -3*l + 47 = -5*a + 7. Suppose 2*o + r + 42 = 0, 2*o - l*r - 8 = -26. Let i = 12 - o. Is i prime?
True
Let c = -14 - -19. Suppose 5*v - 280 = -3*z, c*z - 66 = -v + 12. Is v a prime number?
True
Let q = 6 - 6. Suppose 0 = -3*k - q + 6. Suppose 0 = r + 1, -k*a + r = 2*r - 165. Is a a prime number?
True
Suppose -3*q + 393 = -2*j, -q + 3*q - 246 = -4*j. Is q prime?
False
Let o be (-5 - (2 - 4)) + 5. Suppose -3*x + 0 = 9, 2*x = 4*g - 194. Is g + 2 + (o - 2) prime?
False
Let k be (3/4)/(2/8). Suppose 0 = 8*c - 11*c + 72. Is c - (k + (-5 - -3)) prime?
True
Let k(c) = 22*c - 3. Let g be k(3). Suppose -2*h + 89 = -2*z - 21, -g = -h + 5*z. Is h a composite number?
False
Let s(n) = n**2 + n + 2. Let w be 0/(2/1 - 0). Let k be s(w). Suppose k*q - 10 = -4*j + 76, -2*q = j - 101. Is q a composite number?
False
Suppose 6 - 2 = -4*t - 2*m, m + 2 = 3*t. Let c = t + -2. Is 72/3*1 + c a composite number?
True
Suppose 3*r = -14 - 22. Let t(g) = -8*g + 10. Is t(r) composite?
True
Let f = -21 + 11. Is 0*(2 + -3) - f composite?
True
Let j be 6/14 - (-3897)/21. Let g(h) = h**3 - 4*h**2 - 2*h + 1. Let r be g(-4). Let x = j + r. Is x a prime number?
True
Let n = 37 + 0. Let u = -3 - -5. Suppose 2*x + n = 3*j, 4*x - 30 = -u*j - 0*x. Is j prime?
True
Suppose -2*v + 3*v - 34 = -5*i, -3*i = 4*v - 34. Let w(g) = -g**3 + 5*g**2 + 5*g + 8. Let c be w(i). Suppose 0*m - 74 = -c*m. Is m composite?
False
Let a(s) = 9 + s + 1 - 3. Let l be a(-5). Is (-113)/l*(-3 - -1) composite?
False
Let m = 78 + 8. Is m composite?
True
Let p = -10 + 15. Suppose -6 = -i - 2*d + 3, -5*i - p*d + 25 = 0. Suppose -i = k - 4. Is k composite?
False
Suppose 5*q - 1952 - 2003 = 0. Is q a composite number?
True
Let j be 1 - 1 - (-35)/7. Suppose 5*v = 4*r + 447 - 42, j*r = 3*v - 256. Is v a prime number?
False
Suppose 0 = 2*p - 3*z - 12, 4*z - 3*z = 0. Is 1418/(-8)*(2 - p) composite?
False
Suppose 0 = 5*t - 2*n - 1051, -t - 845 = -5*t + 3*n. Is t a prime number?
False
Let s be 2475*1 + (-2 - 0). Suppose -2*d + s = 5*u - 5*d, -d + 501 = u. Is u a composite number?
True
Suppose 6790 = 4*g + 10*g. Is g prime?
False
Suppose -5*i + 12 = -i. Suppose -4*z = -i*h + 185, -6*h + 3*h + 3*z + 180 = 0. Is h composite?
True
Suppose 3*x = x + 20. Suppose -h = -2*h + x. Is (-3 + h)*(-1 - -6) a prime number?
False
Let d(i) = -1214*i**3 + i. Is d(-1) composite?
False
Suppose 0*h = 3*h - 6. Let s = 27 + -16. Suppose -h*b = 2*b - 4*w - 44, s = b + 2*w. Is b a prime number?
True
Let f = -41 - -61. Is 10/2*436/f a prime number?
True
Let u = 455 - 298. Is u a composite number?
False
Suppose 4*f + 679 = 1847. Suppose f = 3*r - 119. Suppose 88 = 2*q + 5*k, -5*k + r = 2*q + q. Is q prime?
False
Is (-29)/((-4)/((-228)/(-3))) a prime number?
False
Suppose -4*h + 2*q + 230 = 0, 2*h - 295 = -3*h + 5*q. Suppose -h = -5*g + 129. Is g composite?
False
Suppose -4 = -2*j - 2. Let d(p) = 38*p**3 - 3 + 2 + 0*p**3. Is d(j) a composite number?
False
Let t = 13 + 30. Is t a composite number?
False
Let k = -1324 + 2231. Is k a prime number?
True
Is (-20)/30 - (-359)/3 prime?
False
Suppose 2003 = 2*t - 5*i, 4*i = -7*t + 2*t + 5057. Is t prime?
True
Suppose j = -j + 6. Let a(s) = -26*s**3 + 26*s**2 + 16*s - 1. Let q(g) = 5*g**3 - 5*g**2 - 3*g. Let o(n) = 2*a(n) + 11*q(n). Is o(j) composite?
True
Let w be (1 + 5)*(-6)/(-9). Suppose 2*x - w*x + 2*c = -6, -2*x + c + 6 = 0. Suppose 0 = 5*l - x*l - 658. Is l a prime number?
False
Let l be (3 + 0 + 0)/1. Let b(c) = 9*c - 4. Is b(l) a prime number?
True
Let q(p) = -5*p. Let m be q(-1). Let v(x) = -x**3 + 6*x**2 - 7*x + 6. Let z be v(m). Let f = -2 - z. Is f a prime number?
True
Let m(x) = -13*x - 20. Is m(-