-569)/(-6) a composite number?
True
Suppose 3*o = 2*r + 7287, r - o = -3*r - 14549. Is (0 - -1)/((-18)/r) a prime number?
False
Let y(i) = 54*i**2 - 2*i - 1. Suppose 0 = 2*h + 2 - 0. Is y(h) composite?
True
Let l = 4 - -64. Let c = -37 + l. Is c a prime number?
True
Let s(o) = 3*o**2 + 2*o - 2. Suppose 6 = -4*y - 6. Is s(y) a prime number?
True
Let y = 224 - 135. Suppose 0*l + l = y. Is l a composite number?
False
Let l = 441 - -132. Suppose 0*t - 3*t + l = 0. Is t a composite number?
False
Let w be 0/1 - (-1 + 5). Let i be 0 - (-2 + w/(-2)). Suppose i = r + 2 + 3, -5*r + 149 = 3*z. Is z composite?
True
Suppose -4*q = -5*o + 937 + 1330, -4*o = -q - 1807. Is o a composite number?
True
Suppose 198 = 4*j - 6*j. Let d be j/(-21) - (-4)/14. Suppose 130 = 4*i - 2*h, i = 5*i - d*h - 139. Is i a prime number?
True
Let q = 4 + -5. Let t be (-196)/8 + q/(-2). Let b = t - -71. Is b a prime number?
True
Let y = 107 - -524. Is y a prime number?
True
Suppose 5*u = -4*a + 444, -a + 2*u = -0*u - 111. Is a a composite number?
True
Let u = 790 + -353. Suppose -3*p + 1142 = 3*v + u, 10 = 5*p. Is v a composite number?
False
Let c(d) = -3*d**2 - 4*d - 51. Let g(s) = s**2 + s + 1. Let y(i) = -c(i) - 4*g(i). Is y(0) a composite number?
False
Suppose o - 309 = 104. Is o a composite number?
True
Is (-7)/(7/(-222)) + 1 composite?
False
Let k be (-2)/6 - (-14)/6. Suppose 0 = f + k*f - 57. Is f a prime number?
True
Let s = 11 - 8. Suppose 1 - 16 = -5*a. Suppose o + s*l = 6*o - 79, 39 = a*o + l. Is o prime?
False
Let j = 5 - 1. Suppose -49 = -j*t - 4*g + 3*g, -3*g = t - 15. Suppose -t = u - 95. Is u a prime number?
True
Let j(k) be the third derivative of 5*k**4/8 - k**3/6 + k**2. Is j(6) composite?
False
Suppose -5*y = 5*s + 24 - 79, -5*s + 2*y + 76 = 0. Suppose 0 = 3*p - s - 49. Let t = p + 188. Is t a composite number?
True
Let h be (-34)/2*(-35)/7. Let q = h - 51. Is q a composite number?
True
Let s be 3/2 + (-1)/(-2). Let j(i) = -i**2 + 6*i - 3. Let p be j(s). Suppose -4*a + 175 = a - 4*q, -5*a + 180 = -p*q. Is a a composite number?
False
Suppose -59 = -4*v + 141. Is -3 + (5*v - 0) a composite number?
True
Let i be 414/12 + 2/4. Suppose 4*p - i = -p. Is p a composite number?
False
Suppose o = 56 - 13. Is o a composite number?
False
Suppose 123 = 2*f - 1007. Is f prime?
False
Let g(k) = -336*k**3 + k**2. Let x = -5 - -4. Is g(x) composite?
False
Let u = -168 + 391. Is u a prime number?
True
Let x(g) = 17*g**2 - 18*g + 26. Is x(-9) a composite number?
True
Let v(l) = -4*l**2 + 9*l + 2. Let c(t) = 11*t**2 - 27*t - 5. Let h(r) = 3*c(r) + 8*v(r). Let x be h(4). Let k = 34 - x. Is k prime?
True
Suppose 5*o - 4 - 1 = 0. Let l = o + 2. Is l a prime number?
True
Let c = -5 - -9. Let l = c + 1. Suppose 0 = y - 4, 4*y = -l*s + 7*y + 43. Is s a composite number?
False
Let l(n) = -4*n**3 - 2*n**2 - 2*n - 3. Is l(-2) prime?
False
Suppose 0 = 11*b - 12*b + 6. Suppose -b*d = -7*d + 633. Is d a composite number?
True
Let d(q) = -8*q + 1 + 4*q + 4*q - q**2. Let u be d(0). Is (-3)/(-2)*(35 - u) a prime number?
False
Suppose a - 5259 = -2*a. Is a a prime number?
True
Is (1 + 1)*(5 - -302) prime?
False
Let a(k) = k**2 - 4*k - 6. Let g = 15 + -10. Let m be a(g). Is (m/2)/((-5)/1270) a prime number?
True
Let f(u) = -19*u**3 + 6*u**2 + 2*u - 4. Let j be f(-4). Suppose x + 4*x = j. Let n = x + -141. Is n composite?
True
Let w(o) = 54*o + 5 - 4 + 13*o + 7*o. Is w(2) a prime number?
True
Let s = 3 + 23. Is s a composite number?
True
Suppose -5*t = 2 + 18. Let v(j) = 5*j**2 - j + 1. Is v(t) composite?
True
Let n(j) be the third derivative of j**4/24 - j**3 - 2*j**2. Let b be n(0). Is 114/4*b/(-9) prime?
True
Let o be 9/(-1*2 - -3). Suppose o = b - 6. Is b prime?
False
Let l(m) be the first derivative of -m**4/4 + 11*m**3/3 + m**2 - 1. Suppose 33 = 3*u - 0*u. Is l(u) a prime number?
False
Suppose 4*q - 989 - 1095 = 0. Is q a composite number?
False
Is -4 - 1 - (-96 - 6) composite?
False
Let h(n) = n + 7. Let u be h(-3). Let j(l) = l**3 - l + 1. Let t(f) = -5*f**3 - 4*f**2 + 3*f + 3. Let b(k) = u*j(k) + t(k). Is b(-5) a prime number?
True
Let r(q) = -q**2 + q + 1. Let m be r(-2). Let f(c) = c**2 + 3*c - 7. Let h be f(m). Suppose 2*g + 7 = h*g. Is g a prime number?
True
Suppose -5*m - 3*n - 2*n = 60, -3*n + 20 = -4*m. Is -2*-26*(-2)/m composite?
False
Let m be -1 + -3 - (-4 - -1). Let h(t) = -t**3 + 6*t**2 + 6. Let f be h(6). Is 49 - (m + f + -3) prime?
True
Suppose -4*i + 5732 = -4*p, 2881 = 2*i + p - 0*p. Let a = -467 + i. Is a a prime number?
True
Suppose 25 = 4*w + 5*d, 2*d - d = 2*w + 5. Let c(r) = r + 161. Is c(w) a composite number?
True
Suppose 0 = 4*y - 4. Suppose -4*f + 5 = y. Is ((-1)/(-2))/(f/14) a composite number?
False
Let d be 23 + -1 + (2 - 1). Suppose -4 = -3*y + 2. Suppose -3*z + 401 = y*v, 3*v - d = -z + 113. Is z a composite number?
True
Suppose 2*m - 620 - 366 = 0. Is m composite?
True
Let b = 1158 + -583. Suppose 0*y - 5*y + b = 0. Is y a prime number?
False
Let c = 1619 - 664. Suppose 83 = -z + c. Suppose 4*x - 804 = z. Is x a composite number?
False
Let q be 1*(6/(-2) + -3). Let l(s) = -21*s + 1. Is l(q) a prime number?
True
Let v = 6226 - 1961. Is v a composite number?
True
Let f(h) = 3*h**2 + 9*h - 19. Is f(6) prime?
False
Suppose 0 = -7*w + 2*w - f + 6, 0 = -2*w - 5*f - 16. Suppose -2*n - 112 = -w*i - 5*n, -4*i - n + 214 = 0. Is i a prime number?
True
Suppose 2*y + 8 = -0*y. Let i be y/(-6) + (-10)/(-3). Let q = i + 3. Is q composite?
False
Suppose -i + 34 = -33. Is i prime?
True
Let m = -8 - -5. Let r(t) = t**2 - t + 1. Let v(y) = -2*y**2 + 2*y - 2. Let a(w) = -5*r(w) - 3*v(w). Is a(m) a composite number?
False
Suppose 2*o - 10 = -4*w, -w = -3*w - 3*o - 1. Suppose 2*x - 18 = -0*x + 2*m, w*m + 20 = 0. Is 11/4 - (-1)/x prime?
True
Suppose 34 = 4*d - 26. Let x = 14 + -10. Suppose -13 - d = -x*u. Is u a prime number?
True
Let c = -87 - -264. Suppose -n - 2*n = x - 67, -n = 3*x - c. Is x composite?
True
Suppose 4*f = -0*f. Suppose -4*w - 4*n + 16 = f, 2*w + 6*n - 2*n - 12 = 0. Suppose -4*l = -3*m - w*l + 17, 5*m - 37 = -l. Is m prime?
True
Suppose 3*d - 37 = -2*t, 2*t - 23 = -2*d + t. Is d prime?
False
Suppose f = 5*o + 27, 8*o + 37 = 3*f + 4*o. Let j = -6 + f. Suppose 48 = w + j. Is w prime?
True
Suppose 75 = -k + 4*k. Is k a prime number?
False
Suppose 55 + 15 = 5*m. Let x be 35/m*(-16)/(-10). Suppose -4*n - 3*w + 49 + 108 = 0, -x*w = -12. Is n a prime number?
True
Let i = -5 - -8. Suppose -3*b - 4*v = -2*v - 74, -i*v - 76 = -4*b. Suppose 2*f - 5*d - 86 + b = 0, -3*f - 3*d + 54 = 0. Is f composite?
True
Suppose 0 = 5*f + 3*n + 632 - 3285, 0 = -4*f - 3*n + 2120. Is f composite?
True
Suppose 3*r - 2*r - 5*t - 4 = 0, -4*r + 5*t = -31. Suppose 0 = 3*c - 120 + r. Is c composite?
False
Let y(j) be the second derivative of 0 + j + 1/2*j**3 + 1/4*j**4 + 1/2*j**2 - 1/5*j**5. Is y(-2) a composite number?
True
Suppose -23*f + 3785 = -18*f. Is f prime?
True
Let r(x) = -x**3 - 12*x**2 - 12*x - 7. Let m be r(-11). Let i be 615 - m - 1/1. Suppose 6*h = h + i. Is h a composite number?
True
Let x be -10*((-4)/10 - 0). Suppose -x = -g - 1. Is 1/(g/801*3) a prime number?
True
Suppose 6*d - z = d - 32, 2*z - 16 = 2*d. Is (-6444)/(-24)*(-4)/d a composite number?
False
Let h(g) be the second derivative of g**4/6 - g**3/6 - 3*g**2/2 + 9*g. Suppose 3*x = -x - 16. Is h(x) a composite number?
True
Suppose 5*g = -0*g + 25, 3*h = 5*g + 14. Let u = h - 23. Is (-1)/(-5) - 68/u a composite number?
False
Suppose 2*r = -3*r + 2050. Suppose c = 6*c - r. Is c a composite number?
True
Let f be ((-1)/3)/(5/(-75)). Suppose -c - 16 = -f*c. Suppose c*z - 4 = 0, -z + 5*z = -5*n + 34. Is n composite?
True
Suppose u - s + 2 = 2*s, 4*u + 5*s = 43. Let n = 3 + u. Suppose 2*r - n - 8 = 0. Is r prime?
False
Let l(d) = -132*d - 7. Is l(-3) composite?
False
Is 1263/3 + 4/(-2) a composite number?
False
Let a be (0 + -10)*2/(-5). Suppose 0 = -3*z + 2*k - 40 + 123, -a*z + 111 = -3*k. Suppose 0 = -b + 104 - z. Is b a composite number?
True
Let j(d) = -342*d + 41. Is j(-5) composite?
True
Let r = 13 - 18. Let i = r - -7. Suppose -2 - 13 = 3*t, 0 = 4*a - i*t - 66. Is a a composite number?
True
Let x(t) = 185*t + 5. Is x(4) prime?
False
Let q(n) be the first derivative of n**3/3 + 4*n**2 + 4*n + 1. Let i be q(-8). Suppose