True
Suppose 0 = 2*o + 2*o - 508. Is o a prime number?
True
Suppose 3*j = 4*r - 29, 5*j - 3*r + 40 = 10. Let q = j + 3. Suppose 0 = -t + 5, -t = 3*g - q*g - 68. Is g composite?
True
Suppose 2*c = 54 - 22. Let y be 8/(-10)*105/14. Let h = y + c. Is h composite?
True
Let p be ((-1)/1)/(2/(-4)). Suppose 26 = p*y - 26. Is y a prime number?
False
Let h = -9 - -25. Suppose 4*w - 2*b - h = 0, 0 = -w - 3*b + 2*b + 1. Suppose 2*o - 3 = w. Is o a prime number?
True
Let u = 9 + -5. Let f(g) = 5*g**2 - 4*g + u + 9*g**2 - 3. Is f(3) composite?
True
Let s(q) = -5*q**3 - 5*q**2 - q + 7. Is s(-4) a composite number?
False
Let f(u) = -u + 2. Let c be f(-2). Let o = -7 + 5. Is o/(c/6)*-7 prime?
False
Suppose 43*s = 48*s - 1895. Is s prime?
True
Let u = 6 + -2. Suppose 6 + 17 = 4*t - 3*v, 0 = u*t + 2*v - 18. Suppose -463 + 38 = -t*l. Is l a composite number?
True
Let s(d) be the third derivative of -d**6/360 + d**5/10 - d**4/4 + d**3/6 - 2*d**2. Let j(x) be the first derivative of s(x). Is j(8) composite?
True
Let y = -945 + 628. Let q = y + 516. Is q prime?
True
Let x = 8 - 6. Suppose -46 = -b - b. Suppose x*d - b = d. Is d a composite number?
False
Let d = 0 + 5. Suppose 3*j - 148 = -2*g + 29, -3*g - 276 = -d*j. Is j a prime number?
False
Let x = 11 - 7. Suppose -2*q + 2*r + 27 = -3*r, -x*q + 99 = 5*r. Is q composite?
True
Suppose 0 = 14*d - 21*d + 8057. Is d composite?
False
Suppose 0*l - 354 = -2*l. Let k(b) = b**2 - 5*b + 6. Let a be k(4). Suppose 0 = a*g - 5*g + l. Is g composite?
False
Let r = 373 - 188. Is r a prime number?
False
Suppose 2*l - 4726 = 1246. Suppose 2*w + l = -3*z, 2*w + 2*w + 5968 = -4*z. Is w/(-18) + 14/63 a prime number?
True
Is (69 - 4)*(-3 - 17/(-5)) a prime number?
False
Let u be ((-3)/(-4))/(3/24). Is 3*(170/u + -2) a prime number?
True
Let b = 71 + -31. Let j = b - 9. Is j composite?
False
Suppose -4*t + 7 = y, 0*t - 3 = 3*t. Let c = -17 + y. Is 238/4 + 3/c prime?
True
Let c(t) be the first derivative of -t**4/4 - 5*t**3/3 + t**2 - 3*t + 3. Let a be c(-6). Suppose 0 = 3*u - a - 9. Is u composite?
True
Let j(g) be the third derivative of -g**4/2 - g**3/6 + 4*g**2. Let h(t) = -13*t. Let r(w) = 2*h(w) - 3*j(w). Is r(5) a prime number?
True
Suppose 4*u = 8*u - 16. Is u/10 - (-3066)/10 composite?
False
Is -3*1 - (-77 + 21) a composite number?
False
Let h = -107 + 444. Is h composite?
False
Suppose 9*p - 4*p - 372 = -2*h, 2 = p. Is h prime?
True
Suppose 0 = -0*x - 5*x + 2*v - 19, 2*x - 4*v = -14. Let c = x + 14. Let t = c + 4. Is t a composite number?
True
Let z be (-6)/(-1 - (-590)/596). Suppose -4*c = -8*c + z. Is c composite?
False
Let v(d) = 127*d - 2. Is v(7) composite?
False
Let d(p) be the first derivative of 15*p**3 + p**2 - 4*p + 1. Let n be d(-3). Suppose -4*j = j - n. Is j prime?
True
Let l be 0/(-2 + 0)*-1. Let y be 2/8*2*l. Suppose y*o = o - 87. Is o prime?
False
Suppose -3 = -3*a - w - 19, -4 = 2*a - w. Let h(f) = -3 + 4 - 3*f + f. Is h(a) composite?
True
Let r(b) = -b + 7. Suppose 0 = -5*u - 1 + 21. Suppose 0 = -4*j - 3*g + 20, 0 = 2*j - j - u*g - 5. Is r(j) a prime number?
True
Let v = -18 + 26. Let i(h) = 11*h - 1. Is i(v) prime?
False
Suppose -2*s + 17 = 1. Let p = s - -177. Suppose -8*j = -3*j - p. Is j a composite number?
False
Let h be 3 - 1 - 2 - 34. Let o = 69 + h. Is o composite?
True
Let a(j) = -8*j - 3. Let y be a(7). Let q = y - -122. Is (1 - -1) + q - 0 composite?
True
Let r be 2/6 - 176/(-12). Suppose -2*t + r + 61 = -2*s, 0 = 5*s + 5. Is t composite?
False
Let p(x) = x**2 - 6*x - 5. Let q be p(7). Let j(c) = 4*c**2 - c - 5*c - 3*c**q + 7 - 4. Is j(-5) prime?
False
Let g(f) = -f + 15. Let a be g(0). Let m = -18 - -20. Is m + 6 - a/(-5) composite?
False
Is 0 + 4964/4 - -2 composite?
True
Let b be (4/6)/((-1)/(-6)). Suppose b*v + 84 = -364. Let l = v + 203. Is l a composite number?
True
Suppose -59 = 3*g + 2*a, -3*g - 44 = -a + 6*a. Let h = g - -201. Is h composite?
True
Suppose -9*n = -7*n. Suppose 2*w = -n + 8. Suppose 4*t - 37 = -3*m, -m - 35 = -w*m - 2*t. Is m a composite number?
False
Let b(m) = -2*m**2 + 6*m + 1. Let j be b(5). Let i be j*1/((-3)/9). Suppose 3*o - 6*o + i = 0. Is o a composite number?
False
Suppose -3 + 1 = -5*t + u, 4*t + 2 = -u. Suppose 3*f - 6 - 132 = t. Let v = -15 + f. Is v a composite number?
False
Let y = 204 + -89. Is (-2)/(6/(-3))*y a composite number?
True
Let g(b) = 8*b**3 + 4*b**2 + 3*b + 8. Is g(5) a prime number?
True
Suppose -4*s - 4*i = -28, -2*s + 0*i - i + 9 = 0. Is s/(-6) + (-15828)/(-18) composite?
True
Let g(u) = 5*u**3 + 7*u**2 + 3*u. Let n(t) = t**3 + 1. Let f(o) = g(o) - 4*n(o). Is f(-3) prime?
True
Suppose 14*s - 805 = 9*s. Is s a prime number?
False
Suppose 6*s - 4072 = -2*s. Is s composite?
False
Suppose -3*g - 2*g + 10 = 0. Suppose -2*o - 12 = -2*b, -4 = -2*b - 0*o - g*o. Is b + 6 + 0 + -1 a composite number?
True
Is (-4)/10 - 6699/(-35) a prime number?
True
Suppose 3*v + 9 = 0, 0*v = 3*i - 2*v - 708. Suppose -3*y = -0*y - i. Suppose -4*c + 70 + y = 0. Is c a prime number?
True
Let m(h) = -h**3 + 18*h**2 + 3*h - 3. Is m(17) composite?
False
Suppose -2*z + 246 = -4*q, -6*q - 124 = -z - 3*q. Let i = z - 42. Is i a composite number?
False
Let u be (-1)/(-3) + (-663)/(-9). Is 18/(-12)*u/(-3) prime?
True
Let j(b) = -b**3 - 8*b**2 + 53*b + 19. Is j(-16) composite?
True
Let k = -144 - -322. Is k prime?
False
Let r(u) = u - 1. Let k = 2 + 0. Let t be r(k). Is -1 + -2 + 56/t prime?
True
Let k be (-2)/6 + (-7)/(-3). Suppose 0 = k*d - 1517 + 547. Is d a composite number?
True
Let x = 3 + -1. Suppose -2*u = 3*k - 8*k + 1165, x*u - 715 = -3*k. Is k composite?
True
Suppose 4*q + 5 = -27. Let j(o) = -o + 2. Let y be j(q). Is (8/y)/((-6)/(-105)) prime?
False
Suppose -1349 = -4*y + 247. Suppose y = 5*l - 2*f, -345 = -4*l - 3*f - 35. Is l a composite number?
False
Suppose -4*o = 3*t - 22, -t + 8 = -0*t + 2*o. Suppose 0 = j + t - 151. Is j composite?
True
Suppose 3*p + 19 + 1 = -4*g, -20 = -2*p + 4*g. Suppose 5*d - x - 182 = p, -113 = -5*d - 3*x + 81. Is d a prime number?
True
Suppose -2*g = 2*h - 878, -h - 638 = -3*g + 679. Is g composite?
False
Suppose u - 1 - 1 = 0. Let q = 3 + 2. Suppose 2*f - 16 = u*v + 2*v, -2*f - q*v = -25. Is f a prime number?
False
Let a be (258/4 + -2)*-2. Let k = 89 + a. Let q = -3 - k. Is q composite?
True
Suppose 3*s = 6*c - 4*c + 389, 158 = s + 5*c. Suppose x - s = -36. Is x a prime number?
True
Let n be (-6)/(-1 + -1) - 56. Let h = n - -86. Is h composite?
True
Suppose -4*x + 5*p + 7 = 0, -x - 4*p + 9 - 2 = 0. Suppose -b + x*b - 74 = 0. Is b prime?
True
Let s(x) = -x + 6. Let o be s(5). Let u be (670/(-6) + o)*3. Is (2/4)/((-2)/u) composite?
False
Let i(f) = -5*f**2 - 8*f + 6. Let g(n) = -14*n**2 - 24*n + 17. Let c(w) = 6*g(w) - 17*i(w). Is c(9) a composite number?
True
Suppose -4*z + 428 = 4*r, -5*z = -0*r - 5*r + 575. Is r/12 + (-3)/(-4) composite?
True
Let t(p) = -7*p + 11. Let z(b) = b**3 - 7*b**2 - 9*b - 1. Let v be z(8). Is t(v) composite?
True
Suppose -72 = -2*c - g, c = 4*c - 2*g - 115. Is c composite?
False
Let g(d) = -d**3 + 5*d**2 + 3. Suppose 5*r = 28 - 3. Let l be g(r). Suppose 4*m - 128 = -4*v, -3*v - 121 = -7*v + l*m. Is v prime?
True
Let g(c) = 2*c - c - 3*c**2 - 1 + c. Let x be g(1). Is x + (-2)/(-1) + 13 a prime number?
True
Suppose -4*u - 16 = -5*o, 15 = -3*u - o + 3. Let m = 6 - 5. Is (-516)/u - (m - -1) a prime number?
True
Suppose 0 = -6*t + 2*t. Suppose t*c - 455 = -5*c. Is c composite?
True
Suppose -5*l + 2*j = -6, -3*j - 9 = -l - 0*l. Let g be 1/4 - 92/(-16). Is (-3)/g*-74 - l prime?
True
Let k be -2 - -1*110 - -3. Suppose 0 = -3*q + 6*q - k. Is q a prime number?
True
Let n be 2/6*0*1. Suppose 4*m - 12 = -n*m + f, 0 = -2*m - f + 6. Is m composite?
False
Let x(p) = -4*p**2 + 2*p + 2. Let r(d) = d**2 + 1. Let j(u) = -3*r(u) - x(u). Let a be j(4). Suppose 8 + 92 = a*k + 5*g, -5*k + 2*g = -177. Is k prime?
False
Let p(l) = -2*l**3 + 6*l**2. Let w(a) = 5*a**3 - 17*a**2. Let x(k) = 8*p(k) + 3*w(k). Let o be x(-3). Suppose o*f = f - 149. Is f prime?
True
Let y(d) = -d + 7. Let q be y(6). Let p be q/6 + (-69)/(-18). Suppose 175 = k + p*k. Is k prime?
False
Let v = 2 - -5. Let y = v + -1. Is y a prime number?
False
Let r = 24 - 12. Is 32/3 + r/(-18) prime?
False
Suppose -4*r = -2*w - 6*r + 60, -3*w + 2*r + 65 = 0. Suppose p + 6