 number?
True
Suppose 3*i = -4*z - z + 31, 0 = -z - 4*i + 13. Suppose z*r = 2*r + 6. Let y(a) = 21*a**3 - a**2 - a - 1. Is y(r) a composite number?
True
Suppose -u + 3*c + 584 = 0, u + c = -4*c + 552. Let m = -9 - 81. Let f = m + u. Is f prime?
False
Is 4 + 63/(-14) + 4326/4 a composite number?
True
Let t(f) = -293*f**3 + 8*f**2 - f + 3. Is t(-5) a composite number?
False
Let u = 592 - -3030. Suppose -4*c = 4*p - u + 1286, -2914 = -5*c + p. Is c a prime number?
False
Suppose -71*t = -79*t + 56456. Is t prime?
True
Suppose -2*b + 3*b - 2 = 0. Suppose 4*w + b*j = -2*j + 28, 0 = -5*w + 3*j + 11. Suppose -2 = -2*r + w, -3*r = 3*n - 39. Is n prime?
False
Suppose 0 = 5*c - 5, 0 = 2*k - 0*k + 5*c - 17. Let p = 6194 + -3871. Suppose 679 = -k*i + p. Is i a composite number?
True
Let f = -5610 - -16613. Is f a composite number?
False
Let y(i) = 8*i**2 - 12*i + 35. Let x(z) = 3*z + 14. Let m be x(-9). Is y(m) prime?
True
Let a be 345/(-6)*(-90)/25. Is (21 - 2)/(9/a) prime?
False
Let w be (-1)/2 - (-258)/4. Let u = -40 + w. Suppose 3*q - 121 = -4*i + u, 3*i + 138 = 3*q. Is q a prime number?
True
Suppose -4*k - 5*o + 64 = -o, -8 = -2*o. Let w(i) = 2*i**2 - 7*i - 77. Is w(k) a composite number?
False
Suppose -i + 7 = 1. Let x be (-30)/(-20)*(-44)/i. Is x/33 + 922/3 a composite number?
False
Let o be 20*(4 + -1)/12. Suppose o*u + 3184 = 14469. Let m = 3484 - u. Is m prime?
False
Let m(q) = 2*q - 11. Let o be m(7). Let y be -5*(-3 + 6/o). Suppose 5*n + 0*v + y*v = 380, 0 = -3*n - 2*v + 226. Is n prime?
False
Suppose 3*w = -n + 3 + 7, 4*n + 3*w - 13 = 0. Let p be (2/(-4))/((-2)/(-8)). Is (n/2)/(p/(-1228)) prime?
True
Suppose 2224 = -2*m + 162. Is 5/(10/4)*m/(-2) prime?
True
Suppose -3*g + 250 - 19 = -3*b, g + 5*b = 65. Suppose 0 = -4*q + 201 + g. Is q composite?
True
Suppose -1504 = j - 5*s - 6357, 4*j + 4*s = 19412. Is j a composite number?
True
Let q(a) = -a**3 + 10*a**2 - 9*a. Let y be q(9). Suppose k - 4*k + 6 = y. Suppose 0 = -k*o + 6. Is o a prime number?
True
Is 1*(47213 + -8 + 16) a prime number?
True
Let h(l) be the first derivative of -2*l**3/3 - 11*l**2/2 - 4*l - 2. Let s(r) be the first derivative of h(r). Is s(-6) a composite number?
False
Let m be (-27600)/(-70) - ((-4)/(-14) - 0). Let a = m - 171. Is a prime?
True
Let d(u) = 2*u - 8. Let s be d(6). Suppose -s*w - w = c - 872, 876 = c + w. Is c prime?
True
Let g(p) = 5*p**3 + p**2 - 1. Let j be g(1). Suppose -j*r - 6 = -2*r - 3*y, -3*r - y = 14. Let b(t) = 38*t**2 - t - 1. Is b(r) a composite number?
True
Let b(y) = 2*y**3 + 7*y**2 - 7*y + 1. Is b(4) a composite number?
True
Suppose -13152 + 48074 = 38*s. Is s a prime number?
True
Let w = -21 - -32. Suppose 0 = -3*y + w + 382. Suppose 5*d + y = 6*l - 2*l, -72 = -2*l - 4*d. Is l prime?
False
Let p(y) be the first derivative of -21*y**2 + 3*y - 1. Let a be 60/48 - 111/12. Is p(a) prime?
False
Let r(f) = -672*f**3 - 10*f**2 - 3*f - 3. Let m(h) = 224*h**3 + 3*h**2 + h + 1. Let w(x) = -7*m(x) - 2*r(x). Suppose 3*v - 1 = 4*v. Is w(v) a prime number?
True
Let x be ((-45)/10)/9*1378. Let y = 1272 + x. Is y a composite number?
True
Let m(i) = 198*i - 45*i - 46*i + 94*i. Let l = 23 - 22. Is m(l) composite?
True
Suppose 0*u + 3*g + 1524 = -4*u, -5*g = 3*u + 1143. Suppose 5*q = 10, -6*v + 7*v - 566 = 3*q. Let p = u + v. Is p prime?
True
Let y = -742 - -2022. Suppose -2*u - y = -7*u. Let g = u - 57. Is g composite?
False
Is ((-7)/28)/(3/(-77052)) a composite number?
False
Suppose -4*d - 3*c = -25, 5*d - 18 + 1 = c. Suppose -1 = -5*y + d, 4*w - 913 = -y. Suppose 3*z - w = -q - 25, 609 = 3*q + 5*z. Is q prime?
False
Let k(p) = p**3 + 3*p**2 - 2*p. Let m be k(-3). Let q(c) = 8*c**3 + 4*c**2 - 11*c + 15. Is q(m) composite?
True
Let z(t) = 70*t**2 + 18*t + 17. Is z(-1) a prime number?
False
Let w(a) = 0 - 30*a**2 + 32*a**2 + 1 + 5*a - a**3. Let d be w(3). Let m(b) = b**2 - 2*b + 2. Is m(d) prime?
True
Let k = 1314 - -4009. Is k prime?
True
Let a = 117 + -114. Suppose -4*f = -3*x + 6 + 4, 0 = x + 3*f + 1. Suppose 3*o = -4*w + 955, a*o - 6*w - 947 = -x*w. Is o a prime number?
True
Let h = 1055 - 386. Is h a prime number?
False
Suppose -5*f + 9*f = 3*w + 18827, -2*f + 3*w = -9421. Is f a prime number?
True
Suppose -266*t + 258*t = -62168. Is t composite?
True
Let r(b) = 99*b**2 - 7*b - 133. Is r(-14) composite?
True
Let a be 3 - 8/(4*-1). Let t be 8/40 + 149/a. Is (-20)/t - (-32)/3 prime?
False
Suppose -4*q - 7320 = -3*f - f, 2*q = 4*f - 7312. Suppose -6*y - f = -8*y. Is y a composite number?
True
Let y be (-732)/(-3)*1*-1. Let b = 383 + -880. Let n = y - b. Is n prime?
False
Let r = -962 - -12739. Is r a composite number?
False
Let k(l) = 2*l + 11. Let g = -9 - -5. Let u be k(g). Suppose w - u*w - 2*d + 852 = 0, -3*w = d - 1288. Is w a composite number?
False
Let r be 15/6*(-8)/(-10). Suppose 140 = r*j + 36. Is (165/(-30))/((-2)/j) a composite number?
True
Let i = 6565 + -3842. Is i prime?
False
Suppose 0*h = -2*g - 2*h - 30, 2*g = -4*h - 32. Let w be 7/(g/(-4)) + 48. Suppose -b = -5*c + w, 0 = 2*b - 4*b. Is c composite?
True
Suppose z - 520 = -4*z. Let n = -99 - z. Is (-1 - n) + -2 + 1 a composite number?
True
Let u = 14 - 41. Let v = 30 + u. Suppose -v*p + 275 = -2*l, 116 = -5*p + 2*l + 569. Is p prime?
True
Suppose o + 0*o = l + 6351, -4*o - l = -25394. Is o composite?
True
Let r be (5 - (-245)/(-3))*312/(-10). Suppose 4*j - r = -732. Is j prime?
False
Let j(i) = 6*i**2 - 8*i + 77. Is j(20) composite?
True
Suppose 0 + 24 = -2*p. Is ((-5680)/p - 7)/(1/3) prime?
True
Let u = 14129 - 5956. Is u composite?
True
Let z(a) = a**3 - 5*a**2 + a - 12. Let p(h) = h**3 + 6*h**2 - 7*h + 9. Let r be p(-7). Let y be z(r). Let v = y + -23. Is v a prime number?
False
Let x(s) be the second derivative of -s**3/6 + 6*s**2 - 6*s. Let u be x(10). Suppose 4*w + 5*y = 1954, -u*y = -2 + 6. Is w composite?
False
Let f be 7418/4*-2 - 4. Let p = -2112 - f. Is p composite?
False
Let p(m) = -m**2 - 26*m - 29. Let s be 1/((-4)/(-3 - -51)). Is p(s) a composite number?
False
Let p(m) = m**3 + m**2 - 4*m - 9. Suppose -9*w = -3*w + 42. Let r be (w - -5)/(4/(-14)). Is p(r) composite?
True
Let j be (-3)/(-15)*5 + 4. Suppose -j*o = -1521 - 434. Suppose 3*n - o = 2*t - 4*t, -5*t + 946 = -3*n. Is t prime?
True
Let a(f) = 46*f**2 + 2*f - 1. Suppose 0 = 4*z + j + 16, j + 3*j = -4*z - 4. Is a(z) composite?
True
Let p(m) = m**2 + 7*m + 7. Let z be p(-6). Suppose 4*d = 5*o - 419, -2*o + 3*d + 170 = z. Is o a composite number?
False
Let g = 4017 - -155. Suppose -14*o = -18*o + g. Is o prime?
False
Suppose -c + 6 = 3*i, 0 = -2*i + c - 0*c - 1. Let g be (40/(-80))/((-2)/((-56)/(-2))). Suppose -2*a + g = i. Is a a prime number?
True
Suppose -3*l = -n - 3183, -11*n = -4*l - 9*n + 4244. Is l composite?
False
Suppose 4558 = -79*f + 80*f + 5*m, f - 4552 = m. Is f a prime number?
False
Let h(r) = 228*r**2 - 5*r - 1. Let z(s) = 1. Let i(q) = h(q) + 5*z(q). Is i(3) a composite number?
True
Suppose -5 = 3*x + 22. Suppose 3*g = 8*g - 1730. Let i = g + x. Is i a prime number?
True
Is (58/3)/((-14)/(-3129)) composite?
True
Let a = 37168 + -21617. Is a composite?
False
Let t(h) = 1359*h**3 + 7*h**2 - 13*h + 23. Is t(2) a composite number?
True
Suppose d - 3*i + 20 = 2*i, i - 4 = 2*d. Suppose -3*j + 7*j + 3605 = 5*a, 3605 = 5*a - j. Suppose 4*s + 3*z - 942 = d, 2*s - 5*z - a = -s. Is s prime?
False
Suppose 0 = 5*k - 5*f + 15, 0*k + 3*f = -3*k + 3. Is (1 - -40)*k*(-29 + 10) a prime number?
False
Let y = 13 + -8. Suppose -3*f - 1209 = -3*q, 2*f + 0*f - 2022 = -y*q. Let a = -263 + q. Is a a composite number?
True
Let n(t) be the third derivative of -77*t**4/24 - 19*t**3/6 - 10*t**2. Let r be n(6). Let z = 780 + r. Is z a composite number?
True
Let u be ((-2)/5)/(7/210). Let o be ((-40)/u)/(4/30). Is ((-20)/o)/(4/(-610)) prime?
False
Let t(x) = -370*x + 88. Is t(-3) composite?
True
Let g = -2773 - -4683. Suppose 0 = -2*v + 3*s + g, 0 = 6*v - v - 5*s - 4775. Is v composite?
True
Let f = 10197 + -5384. Suppose -j = -5*k - 5*j + f, k + 4*j - 953 = 0. Is k a composite number?
True
Suppose 0 = 3*r - 15, -r = 5*k - 2*k - 11. Suppose -k*g - 51 = -349. Is g a composite number?
False
Suppose -4*y - 7*y = -55. Suppose 4*t = 0, -2*q - y*t + 1428 = -850. Is q prime?
False
Suppose 3*w + 8*w - 174548 = 0. Suppose 4*t + 0*t = w. Is t a 