 = 8*l - 5*l. Is l a prime number?
True
Let a = 216 - 137. Is a prime?
True
Suppose 6*l + 451 = 4*r + 3*l, 4*r = -4*l + 416. Is r prime?
True
Let j = -10730 + 17533. Is j a composite number?
False
Suppose 0 = -6*y + 2*y + 3*m + 1001, -3*m = 2*y - 505. Is y a composite number?
False
Let z = 7 + -2. Suppose 3*a = -3*i + 38 + 106, -4*a = -2*i - 174. Suppose z*p - 140 = a. Is p prime?
True
Suppose 0 = -4*k + 17 + 3. Suppose -3*a - k*z - 18 = -2*a, 2*z = -4*a. Suppose -l - 2*y = -73, -a*l + y + 41 + 95 = 0. Is l composite?
True
Let f be 5*(3 - 6/3). Suppose 5*r - 2*i + 80 = 0, r + f*i - 13 = -2. Is r/(-3)*1*3 prime?
False
Suppose 0*b - 291 = -3*b. Is b composite?
False
Suppose -3*o + 4*o + 8 = -4*y, 0 = -3*o - y - 2. Suppose o*l = -l + 79. Is l a prime number?
True
Let v = 0 - -2. Suppose -3*m + 4*r - v*r = -67, 0 = -2*m + 2*r + 48. Is m prime?
True
Suppose 0 = -5*a - 43 + 1423. Suppose i - 29 = -d + a, -4*d + 5*i = -1193. Is d a composite number?
True
Let b = 8 - 6. Suppose 0 = -b*g - 4*s - 16, g + 3*g + 20 = 4*s. Is (g/4)/((-3)/8) a composite number?
True
Suppose 2*n + 20 = 2*f, 5*n + 19 = 2*f - 16. Suppose -6 + 1 = -f*m. Is -1 + 1 + 23 - m a composite number?
True
Is -1 - ((-2)/(-1) + -2240) composite?
False
Let m(y) = -269*y - 4. Let x be m(-3). Suppose 0 = 5*h + 323 - x. Suppose 2*i = -2*t + h, -i + 6*t + 40 = 3*t. Is i a composite number?
True
Let c be (-1)/((-57)/(-18) + -3). Let s(t) be the second derivative of -13*t**3/6 + t**2/2 - t. Is s(c) composite?
False
Let o be 97/(-1 - (-3)/2). Is o/6 - 2/(-3) composite?
True
Suppose -p - 3 = -0. Is p*(-3 + (-100)/6) a composite number?
False
Let u(i) = i**2 - 4*i + 3. Let t be u(5). Let k(b) = b**3 - 8*b**2 + 5*b - 7. Is k(t) composite?
True
Let j = -84 - -169. Let a = j + 6. Is a a prime number?
False
Suppose 5*p + 2*r - 737 = -138, 4*r + 111 = p. Is p prime?
False
Suppose -g + 4 = -j - 4*g, j = -g. Suppose 283 = j*x - 75. Suppose 5*p + 3*z = x, 2*p - 3*z = -2*z + 76. Is p a prime number?
True
Let l be ((-6)/10)/(6/(-30)). Suppose -i = l*i - 16. Suppose 0 = i*d - 76 - 240. Is d composite?
False
Suppose -2*r = -3*r + 5, 0 = -2*q - 4*r + 20. Suppose q = 3*i - 2*i + 3*k + 40, -3*k - 77 = 2*i. Let w = i + 74. Is w composite?
False
Let a be 425/9 + (-6)/27. Suppose 5*d - 4*c = 12, 18 = 4*d + d - c. Let s = a - d. Is s a prime number?
True
Let c be (744/(-10))/3*-5. Suppose 5*p - 3*g = -10, 0 = 3*p + 4*g - 29 + 6. Suppose -3*x + c = -2*a + 3*a, -p = x. Is a a prime number?
True
Let o = 291 + -70. Is o prime?
False
Suppose -7*g = -1580 - 177. Is g a composite number?
False
Suppose 4*i + 8 = -2*r, -i + 5*r + 0 = -20. Let b(c) = -185*c + 2. Let a be b(-4). Suppose i = -3*v - 109 + a. Is v a prime number?
True
Let h = 91 + -50. Let x = h + -4. Is x prime?
True
Suppose 3*r = -15, r = -2*b + 4*r + 15. Suppose 5*j = -i - b*i + 52, -5*j - 4*i = -58. Is j composite?
True
Let l(h) = -h**3 + h - 1. Let d(w) = 4*w**3 + 5*w**2 - 6*w + 3. Let k(b) = -d(b) - 5*l(b). Suppose -7 = -5*y + 18. Is k(y) a prime number?
True
Let f(u) = 48*u**2 - 4*u - 4. Let x be f(4). Suppose -5*m + n + 2*n = -x, 2*n = m - 151. Is m a prime number?
True
Suppose -v + 142 = -5*m, -2*v + 2*m - 3*m + 251 = 0. Is v composite?
False
Let v = 811 - 456. Is v prime?
False
Let w = 359 + -245. Let d = 337 - w. Is d composite?
False
Is 511/(1*(3 - 2)) a composite number?
True
Suppose 4*o + 89 + 1097 = 2*d, -d = -o - 593. Is d a prime number?
True
Suppose 0 = 5*r + 106 + 199. Let b = r + 224. Is b a prime number?
True
Let p(a) = -2*a**3 + 4*a**2 - 5*a - 4. Is p(-7) a composite number?
True
Suppose -20 = -5*z - 3*l, 15 + 4 = -z + 4*l. Let w = z + 2. Is w a prime number?
True
Suppose 0 = -q - 3*l - 18, -q - 18 = -0*q + 2*l. Let d be (-2)/(-4) - 9243/q. Suppose 0*t - d = -2*t. Is t a prime number?
True
Let h(b) = -4*b**3 - 5*b**2 + 4*b + 12. Is h(-5) a composite number?
False
Suppose -2*k = -k - 669. Is k a composite number?
True
Let j(o) = o. Let p(y) = -7*y - 9. Suppose -3 = l - 2*l. Let m(k) = l*j(k) + p(k). Is m(-7) composite?
False
Let r = -37 + 2. Let q = -4 - r. Is q composite?
False
Suppose -6*i - 6596 = -10*i. Is i a composite number?
True
Let y be 1/(0 + -1) + 3. Let m be 6 + (2/1 - 5). Suppose 2*b - 61 - 35 = l, m*b - 143 = y*l. Is b a composite number?
True
Let q(l) = -l + 1. Let x(c) = -c**2 - 6*c - 301. Let a(f) = 4*q(f) - x(f). Is a(0) prime?
False
Let x(s) = s**2 - 1. Let d(t) = 5*t**2 + t - 7. Let m(u) = -d(u) + 6*x(u). Let w be 3/(-1 + (-1 - -3)). Is m(w) a prime number?
True
Let a(d) = -d**2 - 7*d - 6. Let l be a(-5). Suppose j = -4*k + 135, l*j + 153 = 4*k + k. Is k a composite number?
True
Suppose 0 = -h - 2*k + 501, 4*h = -2*k - 0*k + 1980. Is h a prime number?
False
Suppose -1677 = -3*b - 24. Is b a composite number?
True
Let u be -2 + (0 + -20)/(-4). Suppose -3*n + 17 = g - 5*n, 0 = -g + u*n + 18. Is g a composite number?
True
Suppose 3*s + 635 = 8*s. Is s a prime number?
True
Suppose 2*d = f - 2*f + 36, 20 = 2*d + 5*f. Suppose d = 2*n - 450. Is n prime?
False
Let h = 3 + 1. Suppose -26 + 142 = l. Suppose 96 = h*q - l. Is q prime?
True
Let u(o) = 5*o**3 + 6*o**2 - 5*o + 7. Is u(4) composite?
True
Is (538/7)/(22/77) a prime number?
True
Let s = -8 - -5. Let y = 38 - s. Suppose -4*j + 2*d = -118, -j + d = 13 - y. Is j prime?
True
Let h(f) = 6*f**2 - 2*f - 3. Let d be h(-2). Is ((-6)/3 - 0) + d composite?
False
Let a(c) = 14*c - 7. Let f be (-2)/9 + 166/18. Is a(f) composite?
True
Let h(z) = z**3 + 8*z**2 - z + 1. Let x = 14 - 20. Is h(x) a prime number?
True
Suppose 3*x = -2*x + 105. Suppose -4*i - 3*y + 84 = 0, 3*i - 2*i - 4*y - x = 0. Is 6/i + (-52)/(-14) a composite number?
True
Let i be 2*1 - (3 + -2). Let g = -1 + i. Is (80 - 1)*(1 - g) composite?
False
Suppose 0 = -2*c - 3*s + 6, 0 = 4*c - 2*s + 5*s - 6. Suppose -4*h + 2*h + 718 = c. Is h composite?
False
Let j = 2077 + -976. Is j prime?
False
Suppose -3*f = 5*h + 9 + 1, -2*f - 4 = 4*h. Is (f/15)/((-4)/894) a composite number?
False
Suppose -2*k - 4 = -12. Is (59/k)/(7/28) composite?
False
Let g(b) = b**3 - 2*b**2 - 4*b - 3. Let f be g(4). Suppose 5*c + 3*q + f = -8, -5*c - 4*q - 18 = 0. Let n(y) = -y. Is n(c) prime?
False
Let y = -211 - -372. Is y a prime number?
False
Let k(u) = -2*u**2 + 2*u**2 + u + 3*u**2. Let j be k(-1). Suppose -6*b + 348 = -j*b. Is b a composite number?
True
Suppose 0 = -5*h + 15, 5*h = 3*w + w + 3. Suppose -5*u + 3*b = -235, -w*u - 4*b + 56 + 85 = 0. Let y = 0 + u. Is y a composite number?
False
Let w(f) = -3*f - 4. Let c be w(-4). Is -5*(c/(-1) - -1) a prime number?
False
Suppose 4*q - 2 = 18. Suppose 249 = p + 5*x, -q*p + 0*p + x + 1193 = 0. Is p composite?
False
Let g(f) = -28*f + 1. Let v(r) = 29*r. Let i(b) = 6*g(b) + 5*v(b). Is i(-5) a composite number?
True
Let y be (9 + 3)*(-18)/8. Is (-1 + 6/9)*y a prime number?
False
Suppose -2*a = 3*l - 4045, -4*l + 3*l + 1320 = -5*a. Is l a prime number?
False
Let q be 2 + 0 + -2 - -422. Suppose -5*u + 1088 = i, 2*u + 0*i - q = 4*i. Is u a composite number?
True
Let r(t) = -35*t + 1. Suppose 5*q - q = -2*w - 16, 0 = w - q + 2. Is r(w) composite?
True
Let d be ((-116)/(-8))/((-2)/(-24)). Let c = d + 121. Is c prime?
False
Let p = 24 + -17. Suppose -p*l + 12 = -3*l. Suppose -5*o - w = -l*w - 637, 4*w = o - 131. Is o a prime number?
True
Suppose 0 = 5*z - 8*z + 2229. Is z a prime number?
True
Suppose 4*x - 6111 = -5*x. Is x a composite number?
True
Let t(y) = y**2 - 4*y + 8. Let s be 2/(-9) + 332/36. Is t(s) a composite number?
False
Is ((-17192)/(-6) - 2) + 2/(-6) prime?
False
Let f = 6 - 7. Let h be -1 - f - (-6 - -6). Suppose -3*l + 2*m + 351 = h, -l - 3*m = 2*l - 336. Is l prime?
False
Let s be (-286)/(-55) - 2/10. Suppose -s*y - 52 = -207. Is y a composite number?
False
Suppose -2*c - 4*x = -654, 2*c + x - 97 - 572 = 0. Is c prime?
True
Let z be -14*1/(-2) + -3. Is (z/6)/(3/63) a prime number?
False
Let l(f) = -1. Let p(u) = u**2 + 16*u + 11. Let q(a) = -3*l(a) - p(a). Is q(-13) a composite number?
False
Let p(i) be the first derivative of -i**5/20 - 7*i**4/12 - i**3 - 5*i**2/2 + i - 1. Let t(a) be the first derivative of p(a). Is t(-7) prime?
True
Let s be -2 - -6 - (-4 + 3). Suppose -b + 14 + s = 0. Is b a composite number?
False
Let q(z) = z**3 - 5*z**2 + 6. Let v be q(5). Let t(n) = n - 142 + 8*n