= -1127, 4*y + 2*a = a + 1514. Is y prime?
True
Suppose 0*a = -4*a. Suppose a*v = -v + 7. Suppose 4*h - 2*q - q = 39, -h - 2*q = -v. Is h composite?
True
Suppose 1 - 11 = -2*r. Suppose -r*w + 2*w = 0. Is 23/((-1)/(-1 - w)) a prime number?
True
Suppose -5*t + 3 = -2. Suppose 0 = -2*m + t + 11. Is m composite?
True
Let u be 1/1 + (-4)/4. Let m be (u - -234) + -7 + 8. Suppose c + 24 - m = 0. Is c composite?
False
Suppose 0 = -2*c, -2*n - 4*c - 9 + 127 = 0. Suppose -226 - n = -5*v. Is v composite?
True
Let v = 43 - 24. Is v a prime number?
True
Let s = 430 - -51. Is s prime?
False
Let u = 1714 + -900. Suppose 2*i = 4*r - u, -3*r + 165 = 2*i - 442. Is r a composite number?
True
Let z(a) be the third derivative of a**6/60 - a**5/12 + 7*a**4/24 - 5*a**3/6 + 4*a**2. Is z(4) composite?
False
Let y = -8 - -3. Let j(m) = m**3 + 6*m**2 + 4*m - 3. Let a be j(y). Suppose -a*g + 106 = -p, 2*g - 106 = -0*g + 4*p. Is g a composite number?
False
Let q(v) = 12*v**3 + 3*v**2 - 8*v - 15. Let l(d) = -18*d**3 - 4*d**2 + 12*d + 22. Let x(k) = 5*l(k) + 7*q(k). Is x(-4) a prime number?
True
Suppose 5*w - 5*t = 8720, 5*w - 1177 = 4*t + 7538. Is w a prime number?
False
Let s(v) be the first derivative of 22*v**3/3 + v**2 + 7*v - 7. Is s(3) a composite number?
False
Let c(k) = 9*k**2 - 2*k + 2. Let b be c(-4). Suppose 0 = 5*a - b - 36. Is a composite?
True
Let h(f) be the third derivative of f**6/120 - f**5/60 - f**4/24 + f**3/3 + 3*f**2. Is h(4) composite?
True
Let u be ((-6)/10)/((-7)/35). Let j(k) = 49*k + 2. Is j(u) composite?
False
Let w = -16 - -19. Suppose 0 = -2*j + w*h + 823, 2*h = 3*j + 893 - 2130. Is j a prime number?
False
Let f(h) = h - 4. Let j be f(-7). Let c(d) = d**2 + 10*d - 5. Is c(j) a prime number?
False
Suppose -4*s = -0*s - 1876. Is s a prime number?
False
Suppose 16100 + 12401 = 11*w. Is w a composite number?
False
Suppose -3*t + 57 = -5*z, z - 29 = 2*z - 5*t. Let b = -7 - z. Suppose -249 = -b*f - f. Is f composite?
False
Let r(y) = y**3 - 4*y**2 - 7*y + 5. Suppose -4*x - 6*t - 23 = -t, 0 = 2*x - 4*t - 8. Let g(b) = 3*b**2 + 3*b. Let n be g(x). Is r(n) prime?
False
Let q = 43 + -26. Suppose q*v = 20*v - 1131. Is v composite?
True
Let b(d) = 2*d - 6. Let c be b(4). Let j(m) = 2 - 7 + 2*m**2 + m - 5*m**c - 3*m + 2*m**3. Is j(4) a composite number?
False
Let g be (42/(-5))/(1/(-20)). Let x(o) = -38*o - 1. Let w be x(2). Let p = w + g. Is p prime?
False
Let m = -266 - -395. Is m prime?
False
Suppose 2*o - 13 = 4*h + 7, -3*h = 2*o + 8. Let x be (-15)/(-2) + 2/h. Let r = x + 12. Is r a composite number?
False
Let m be (2 - -17) + (0 - 2). Suppose 2*x + 5*v - 63 = 0, -2*x + 2*v + 42 = -0*x. Let f = x - m. Is f a composite number?
False
Let l(f) = -f**3 + 9. Let i be l(0). Let b(x) = 2*x**2 + 9*x + 12. Let q be b(i). Suppose -p - q = -6*p. Is p a composite number?
True
Suppose 2*a - 25 = -4*w - 9, -2*w + a = 0. Suppose 0 = w*b - 0*b - 6. Suppose -2*t + 4*d - b*d = -159, 3*d - 313 = -4*t. Is t prime?
True
Suppose -2*m - 61 = -443. Is m prime?
True
Let d(g) be the third derivative of -g**4/12 + 79*g**3/2 + 3*g**2. Is d(0) prime?
False
Let f be (-2 - 0) + -18 + 2. Let t = f + 28. Is t a composite number?
True
Suppose 5 - 8 = -f. Suppose u = -f*u + 152. Is u prime?
False
Let r = 434 + 509. Suppose -i = 4*n - 467, -7*n = 2*i - 2*n - r. Is i a composite number?
False
Suppose -3*a + 5*j = j - 1348, 3*a = -2*j + 1324. Suppose -2*n - 2 = -2*u, 2*u + 4*n + 3 + 1 = 0. Suppose 354 = 4*h - o - o, 5*h - o - a = u. Is h composite?
False
Let t(n) = 13*n + 1. Is t(6) prime?
True
Let d = -31 + 22. Let f be (2/6)/((-1)/d). Is (-2)/3*f - -37 a composite number?
True
Let m = 3 + -1. Is (m/6)/(1/21) composite?
False
Let h(g) = 4*g**2 + 9*g - 9. Let c be h(6). Let u = c - 125. Let x = u - -81. Is x a prime number?
False
Suppose -2*s = -5*h - 47, 6*s - 59 = 2*s + 3*h. Is s composite?
False
Let x = 4425 - 2888. Is x a composite number?
True
Let j be 0 + 1 + (-3)/(-1). Suppose 2*s - 27 = 21. Suppose -j*f + 0*f + s = 0. Is f a prime number?
False
Let r(i) = -5*i + 3. Let p(o) = -16*o + 10. Let v(j) = 4*p(j) - 14*r(j). Is v(2) a prime number?
False
Let r(u) = -87*u + 2. Suppose -5*l + 5*m - 5 = 0, 4*m + 4 = -4*l + 2*m. Is r(l) a composite number?
False
Let z(l) = -l**2 - 10*l - 11. Let b be z(-9). Let x be (b + 1 - 9)*1. Is (-766)/x + (-4)/(-10) prime?
False
Suppose -899 = -2*o + 99. Is o composite?
False
Let q(k) = 193*k + 25. Is q(8) a prime number?
False
Let x(k) = 117*k - 1. Is x(2) composite?
False
Let t be (-2)/4 + (-39)/(-6). Is (-256)/(-12) - 2/t a prime number?
False
Suppose -5*u + x = -3*x - 20, 0 = -5*u + 2*x + 20. Let j be (-3)/(-12) - 1/u. Suppose 3*w + 64 = n, j = 5*n - w - 3*w - 287. Is n a composite number?
True
Let v = -163 - -114. Let k = v - -102. Is k a composite number?
False
Let h(j) = j**2 + 7*j + 8. Let n be h(-6). Suppose 5*s + 3 = -3*p, 0 = n*p - 0*p + 4*s. Is (p/4)/((-2)/68) a prime number?
False
Let d be -5 + 1 - (-6)/2. Is d/(-5) + 12840/50 composite?
False
Suppose 2*s + 1 = -3. Is 3 + (-1)/(s/248) a composite number?
False
Let z = 4 + 0. Let q be 6/z - 52/(-8). Suppose -106 = -i - 5*t + q*t, 4*t = 4*i - 400. Is i a composite number?
False
Suppose 2*r = -2*r + 8. Suppose -r*x - 2*m = x - 20, -4*m = 3*x - 28. Suppose -o + 10 = x*o. Is o prime?
True
Let d = 11 - 6. Suppose -31 = -d*g - 11. Let y(x) = x**3 + 2*x**2 - 4*x - 1. Is y(g) composite?
False
Let j(i) be the second derivative of 13*i**4/12 + i**3/3 - 2*i**2 - 3*i. Is j(5) prime?
True
Let b(o) = 4*o - 2. Let c be b(9). Let n(i) = i**2 + 4*i - 1. Let s be n(-5). Suppose 0 = 4*z + 3*j - 136, s*z - 4*j = c + 74. Is z a prime number?
True
Let s be 0 + 2/4*6. Suppose -s*n - 37 = -115. Is n composite?
True
Let n(v) = 67*v + 18*v - 26*v - 7 + 36*v. Is n(4) composite?
False
Let q = 349 - 116. Let w = q - 114. Is w a composite number?
True
Let i be 2*(-1 + (-681)/(-3)). Suppose -2*m - 154 = -i. Is m composite?
False
Let g(l) = -12*l**3 - 4*l**2 - 7*l + 1. Is g(-4) a composite number?
False
Let s(q) = -62*q + 7. Is s(-6) a composite number?
False
Let k(b) = -2*b + 15. Is k(-11) a prime number?
True
Let z = -2 - -6. Let h = -1 + z. Suppose -12 = h*y - 123. Is y a composite number?
False
Let h(z) = 2*z**2 - 6*z - 6. Is h(8) prime?
False
Let s(t) = t - 1. Let b(v) = -6*v - 1. Let u(x) = -b(x) - 5*s(x). Is u(-2) a prime number?
False
Suppose 3*d - u = 5279, -5*d - 5*u + 8825 = -0*d. Is d a prime number?
False
Let d be (4 + -3)/(1/2). Suppose d*i = 30 + 40. Is i a prime number?
False
Suppose c - 655 = -3*r, 0 = r - 0*r + c - 221. Is r composite?
True
Let u be (-2 - -2) + (-5 - -3). Let p be (-80)/6*12/(-10). Let o = u + p. Is o a composite number?
True
Let q(s) = 2*s**3 + 3*s**2 - 3*s. Is q(2) composite?
True
Let g be 159/(-6)*(4 - 6). Let u = 940 - g. Is u prime?
True
Let d = 57 + -17. Suppose -4*t + d = -4. Is t a composite number?
False
Let s(u) = u**3 + 6*u**2 + 4*u + 7. Let h be s(-5). Let d = h - -67. Is d composite?
False
Let s be (-52)/(-9) - 10/(-45). Let c = 8 + s. Is c composite?
True
Let o(u) = -u**3 - 20*u**2 + 31*u - 19. Is o(-22) composite?
True
Suppose 17 = -2*q + 5. Let b(v) = -v**3 - 3*v**2 - 8*v - 9. Let y be b(q). Suppose 2*w - 3*s - 16 = y, -4*w = s - 305. Is w composite?
True
Let b = -64 - -1003. Is b a prime number?
False
Let y be 4 + -2*1 - -28. Suppose 3*o - 141 - y = 0. Is o a composite number?
True
Suppose 22365 = 6*v - 9933. Is v prime?
False
Let d = 12 - -6. Let o be (d/21)/((-1)/(-7)). Is (38/(-6))/((-2)/o) composite?
False
Let g = 4296 + -2977. Is g prime?
True
Let i be (170/35)/(1/7). Suppose -v + i = -0*v. Is v prime?
False
Is 5/(-1) - 82432/(-16) a prime number?
True
Let u = -3803 + 5362. Is u prime?
True
Let k be 466 + (1 - 1)/(-3). Suppose -r = -2*r + k. Suppose 0 = 5*h - r - 169. Is h a prime number?
True
Suppose -l - 2*m - 3 = -0*m, -5*m - 9 = 2*l. Suppose -2*b + 2*u = -78, l*b + 5*u = b + 64. Is b composite?
False
Let h(j) = -j**2 - j**3 + 0*j**2 + 5 - 4*j + 5*j. Let l be h(0). Suppose f = -4*a + 35, 154 = -l*f - 4*a + 409. Is f a composite number?
True
Let y be 7/2*4*3. Suppose 2*z - 28 = y. Suppose -z = 3*t - 4*t. Is t a composite number?
True
Let k(y) = -y**3 - 9*y**2 + 4*y - 2. Is k(-10) composite?
True
Suppose 3*h = -3*t + 111, 0 = 4*h - h - 2*t - 96. Is h a prime num