posite?
True
Let i = -19 - -26. Let p(q) = 2*q**3 + 9*q**2 - 7*q - 4. Let v be p(i). Suppose -7*l - 798 = -3*w - 4*l, 4*w = 2*l + v. Is w composite?
False
Let w(y) = -y**3 + 9*y**2 + 11*y - 4. Let g(c) = -c**3 + 10. Let n be g(0). Let u be w(n). Suppose 3*r - u*r = -741. Is r composite?
True
Let r(c) = -c**3 + 9*c**2 - 26*c + 13. Is r(-10) prime?
False
Let n be (-120)/16*4404/5. Is (2/(-4))/(-1 - 6603/n) a prime number?
False
Suppose -7 - 25 = 2*g. Let c(u) be the third derivative of u**5/60 - 5*u**4/6 - 13*u**3/6 + 322*u**2. Is c(g) a composite number?
False
Let t = 694 + -549. Is t prime?
False
Suppose 0 = -3*i + 2*m - 24, 2*i - i + 4*m = 6. Let w = 3 + i. Is (-382)/(-3)*w/(-2) a composite number?
False
Let f(w) = -w - 4. Let x be f(-8). Let l = x - 1. Suppose -27 = -3*q + l*u, -3*u - 4 = q - 1. Is q composite?
True
Suppose 5*b = -2*j + 29141, j = -0*j - 5*b + 14578. Is j composite?
False
Suppose 3*b + 4*h = -680 + 2825, -2*h = -4*b + 2882. Is b prime?
True
Let o(x) = -2*x - 12. Let i be o(-9). Suppose -2*b - 1528 = -i*b. Is b composite?
True
Let x be 0/1*3/6. Suppose i - 338 - 1416 = x. Suppose 5*c + 3*j = 5*j + 2197, 0 = -4*c - 2*j + i. Is c a prime number?
True
Suppose -6*v = -135548 - 4342. Is v prime?
False
Let f(m) = 72*m - 7. Let k be f(-3). Let g = -96 - k. Is g a prime number?
True
Let v = -28 + 172. Suppose -2*o - 1510 = 4*n, -2*n = -0*n - 2*o + 752. Let u = v - n. Is u composite?
False
Suppose 12 = 4*v, -v - 12 = -4*h - h. Suppose 0 = -6*q + h*q + 2757. Is q composite?
False
Let s(t) = 3*t**3 - 7*t**2 + 5*t - 9. Let r be s(6). Suppose 0 = -4*d + 211 + r. Suppose 0 = 4*c - d - 871. Is c composite?
False
Suppose -234 = 3*c + 3*v, -5*v + 42 = -2*c - 100. Let o = 129 + c. Is o prime?
True
Let t(k) = -3*k + 3*k + 3*k - 2*k + 1. Let p(d) = -105*d + 2. Let o(r) = -p(r) - 2*t(r). Is o(3) a prime number?
False
Let c(o) = 3880*o. Let r be c(3). Suppose -5*z = 5*p - r, 5*z - 2*p + 2638 = 14313. Is z composite?
False
Suppose 4403 + 15611 = 2*q. Is q a composite number?
False
Let x = 11 - 12. Is ((-886)/(-4))/(x/(-2)) a prime number?
True
Let x = 72117 - 41576. Is x composite?
True
Let q = 737 - 372. Let g = q + 100. Suppose -5*p = 5*m - g, -4 + 0 = -2*m. Is p composite?
True
Suppose 3*l + y = -24514, 4*y = l + 6545 + 1609. Is 2/(-3 - l/2722) prime?
True
Let q(f) = 102*f + 2. Let d be q(2). Let h = d - -358. Suppose -1131 = -2*l - 5*y, l + y + 2*y - h = 0. Is l prime?
False
Let h(l) = -l + 1. Let m(i) = 2*i**2 + 8*i + 1. Let c(s) = -5*h(s) + m(s). Let u be c(-12). Let t = -15 + u. Is t prime?
True
Suppose w + 102 = 1483. Is w a prime number?
True
Suppose 3*x + 4 = 7. Let g(t) = 0*t**2 - 8*t + 3*t**2 + 4 - x. Is g(-8) a composite number?
True
Let g = -36 + 46. Suppose 13*m - g*m - 1947 = 0. Is m a prime number?
False
Suppose -2*u + 0*r + 5*r = 58, -5*r + 116 = -4*u. Suppose -2*q + 113 = -11. Let w = u + q. Is w composite?
True
Suppose -36455 = -v - 5*c, 5*v - 3*c = v + 145728. Is v/10 - (-1)/(-2) prime?
True
Let r(u) = 67*u - 13. Let a be r(9). Suppose 3*h - a = 79. Is h composite?
False
Let m = 99 + -20. Let v = m + -42. Is v prime?
True
Suppose 0*l = 5*l + s - 1, 4*l + 5*s + 16 = 0. Let z be -1 + 4 - (-770)/l. Suppose -5*h = u - 6*h - z, -2*h = 8. Is u prime?
True
Let w(v) = -13*v + 19. Let n(t) = -25*t + 38. Let m(p) = 4*n(p) - 9*w(p). Is m(6) prime?
True
Let q(t) = 31 - 15 + 9 - 3*t**2 + 22*t + 2*t**2. Is q(22) composite?
True
Suppose 3*p = 3*y - 225, -255 - 36 = -4*y - 5*p. Suppose 0 = 26*t - 21*t - 10. Suppose t*m = -0*m + y. Is m composite?
False
Let q be -2*2/4 + -8. Let w be (7 + q)*107/(-2). Let s = 358 - w. Is s a composite number?
False
Is (1535/(-15))/((-3)/45) composite?
True
Is 2730 + (-72)/(15 - 7) a composite number?
True
Let b = 144972 - 97417. Is b composite?
True
Suppose -4*c + 2*c + 1074 = 0. Suppose -x + 961 = 2*o, 2*o - 1377 = -2*x + c. Is x a composite number?
False
Let s = -81 + 83. Suppose -s*o = -382 - 312. Is o composite?
False
Let q be 5*-2*1/2. Let z(u) = -u**3 - 6*u**2 - 5*u + 7. Let f be z(q). Suppose 4*j + 111 = f*j. Is j a composite number?
False
Let m(o) = -7*o - 2. Let s be m(-1). Suppose 3131 + 44 = s*h. Is h prime?
False
Let v(y) = 52*y + 2. Let t(d) = -d. Let a(n) = 3*t(n) + v(n). Suppose 7*q - 13 = 8. Is a(q) a prime number?
True
Is 2701 + 4 + (7 - 5) a composite number?
False
Let r(y) = -2 + 480*y**2 - 2 + 8 - 3*y. Is r(1) prime?
False
Let g(s) = 159*s - 91. Is g(8) prime?
True
Suppose 0 = 4*m - 9 + 1. Let w be 9/(36/80) - -3. Let n = w - m. Is n prime?
False
Suppose -181*q = -180*q - 3. Suppose q*j + 3*p = 354, 88 = j - 5*p - 12. Is j a prime number?
False
Suppose -3*c - f - 2*f = -30, c - 8 = -3*f. Suppose 6*t + 6065 = c*t. Is t a prime number?
True
Let d = 328 + -6. Let y = -95 - -99. Suppose d = y*x - 2*x. Is x prime?
False
Let d(a) be the first derivative of -a**4/4 + 13*a**3/3 + a**2 + 11*a - 2. Suppose 0 = -g - 3*t + 9, 4*g - 3*t - 4 = 47. Is d(g) a composite number?
False
Suppose 75 = -5*r - 15. Let n(p) = -36*p + 1. Is n(r) a composite number?
True
Let h = 137 - 62. Suppose -5*f - 576 = 344. Let s = h - f. Is s composite?
True
Let l(y) be the first derivative of y**6/30 - y**5/12 + y**4/6 - 5*y**3/6 + 5*y**2 - 7. Let r(p) be the second derivative of l(p). Is r(4) a composite number?
True
Suppose -110*f + 53221 = -103*f. Is f a prime number?
True
Suppose z - 2 + 8 = 0. Let k(m) = m**3 + 8*m**2 - 7*m - 8. Is k(z) a prime number?
False
Let g(n) = n**3 + 4*n**2 - 6*n - 3. Let j be g(-5). Suppose -j*q = -0*r + 3*r - 12, 0 = -4*r + 2*q + 2. Is ((-190)/(-4) - -1)*r a prime number?
True
Suppose 0 = d - 9 - 243. Let g = -67 + d. Is g composite?
True
Suppose 19*y + 80 = 11*y. Let n(l) = l**3 + 7*l**2 + 4*l + 3. Let u be n(-6). Is 502/4 - u/y a composite number?
False
Let x be (3/(-6))/(7/(-266)). Suppose -x*w = -23*w + 844. Is w composite?
False
Let w = -62 + 62. Suppose 5*r - 1736 = 3*d, -2*d - 4 + 0 = w. Is r a prime number?
False
Let z(g) = 422*g**2 + 1217*g**2 - 7*g**2 - 1 + 138*g**2. Is z(-1) a composite number?
True
Let x(r) = -r**3 + 3*r**2 - 2*r + 3. Let o be x(3). Let y(z) = 32*z - 9 + 7 - 95*z. Is y(o) composite?
True
Is 5559 - (10/((-60)/18) + 5) composite?
False
Suppose 33291 = 4*a - 5*d, -4*a - 6360 = 4*d - 39696. Is a composite?
False
Suppose -2*c = c - 9. Suppose -2*d = 2*j - 928, 2*j = d - 4*d + 930. Suppose 3*h - j = -c*h. Is h prime?
False
Let g(q) = 28*q**2 - 11. Let h be g(5). Let s be 2/6 + 24/9. Suppose 3*l - 406 - 308 = -s*m, -3*l + 2*m = -h. Is l composite?
False
Let x(l) = -45 - l**3 + 0*l**3 + 680*l**2 - 663*l**2. Is x(16) prime?
True
Suppose -9*s = 3481 - 44044. Is s prime?
True
Let z(u) be the first derivative of -19*u**4/4 - u**3/3 + 2*u**2 + 5*u + 5. Is z(-2) prime?
False
Suppose 58*t - 1716052 = 6*t. Is t a prime number?
False
Let w(s) = -s**2 + 12*s + 6. Let n(q) = 2*q**2 - 22*q - 11. Let h(g) = 4*n(g) + 7*w(g). Let o = 16 + -6. Is h(o) composite?
True
Let j(o) be the second derivative of 17*o**4/4 - o**3 + 5*o**2/2 - 20*o. Suppose -2*v + 8 = -0*v. Is j(v) a prime number?
True
Suppose 2*y + 5*i = 9408, 0*i - 2*i = -3*y + 14093. Is y prime?
False
Let j(y) be the second derivative of 149*y**4/12 + y**3/6 + y**2/2 + 15*y. Is j(2) a composite number?
False
Let f = -27 + -5. Let x = -35 - f. Is -257*(x/3 + 0) prime?
True
Suppose 1 = o - 3, 2*o = 4*t - 3116. Suppose 3*u - 5*b = 722, 0 = 5*u + b - t - 413. Is u composite?
False
Suppose 0 = n - 8 + 11. Is n/6 - 3123/(-2) a prime number?
False
Let d(n) = -3*n**2 + 14*n - 5. Let a(v) = 4*v**2 - 16*v + 5. Let z(f) = 5*a(f) + 6*d(f). Let l be (-4)/(-10) + 56/10. Is z(l) composite?
True
Is (7/21)/((-5)/(-72915)) a prime number?
True
Is (11/2 + -6)/(4/(-296)) a prime number?
True
Suppose 11*u - 332 = 7*u. Suppose -u - 614 = -5*o + 2*v, 138 = o + v. Is o prime?
True
Suppose 18 = -5*n + i - 2*i, -2*i + 4 = 0. Is 1*129/(-1 - n) a composite number?
False
Let d(m) = -1568*m**2 + 4*m - 5. Let n(p) = 3137*p**2 - 8*p + 9. Let y(t) = 11*d(t) + 6*n(t). Is y(-1) a composite number?
True
Let q be (1 - -7)*(-2 - 45/(-20)). Suppose q*u - 267 = -109. Is u prime?
True
Suppose 41428 = a - 5*d, -15268 = -2*a + d + 67615. Is a a prime number?
True
Let k(i) = -36*i**3 - 3*i**2 + 12*i + 8. Is k(-5) prime?
True
Is 44543*1 - (-82 + 88) a prime number?
Tru