*y - 4*y + 1 = c, 3*c = 2*y + 5. Let d(l) = -6*l**y + 4*l**2 - l**3 - 6*l**2 - 1 - 9*l. Is d(-7) prime?
True
Suppose 1 = 5*k - 14. Suppose 0 = 2*b + 4*s - 58, -2*b + k*s = -2*s - 13. Is b a composite number?
False
Let d(l) = -7*l**3 + l**2 + l - 1. Let k be d(1). Let v be 4/(2 - (-9)/k). Suppose -v*z = -9*z + 57. Is z prime?
False
Let g(c) = -6*c**3 + 3*c**2 + 7*c + 7. Is g(-5) composite?
False
Let t(f) = f**2 + f + 53. Let n be (4/(-3))/((-1)/3). Let g = -4 + n. Is t(g) composite?
False
Suppose 2*t = 2*c + 5544, 2*c - 4*c = 2*t - 5564. Is t a prime number?
True
Suppose -2*g = r - 5, -3*g + 2*r = g + 10. Suppose g = m + 31 - 116. Is m a prime number?
False
Suppose 0 = -3*r - 3*c + 5*c + 111, -61 = -2*r - 3*c. Is r/2 + (-9)/(-6) prime?
True
Suppose 488 = -5*c - j, 2*j = j - 3. Let p = c - -156. Is p a prime number?
True
Suppose 0*b = 5*b - 50. Is b a composite number?
True
Suppose -6 + 0 = -3*v. Let p be 3/2 - v/(-4). Suppose p*q - 31 = q. Is q a composite number?
False
Suppose 0 = -5*r + 2*p + 174, 2*p + 0*p + 4 = 0. Let b be (-2)/3 + r/6. Suppose -b*j = -132 + 7. Is j composite?
True
Let x(l) = l**3 - 9*l**2 + 8*l + 2. Let f be x(8). Is (-5225)/(-35) + f/(-7) a composite number?
False
Let m = 73 - 321. Let y = 480 + m. Suppose 0*w + y = 4*w. Is w a prime number?
False
Suppose r = -1 + 4. Suppose -8*o + 10 = -r*o. Is o/(-9) + (-4292)/(-36) a composite number?
True
Suppose -4*f - 3*z + 35 = 0, 3*z + 3 - 28 = -2*f. Suppose 5*x + 4*q + f = 0, -7*q = -2*x - 3*q - 2. Is ((-3)/9)/(x/69) prime?
True
Let c(u) = 14*u**2 - u + 4. Let g be (-16)/(-5) - 1/5. Let w = 0 + g. Is c(w) composite?
False
Let n(w) = 6*w**3 + 4*w**2 - 2*w + 3. Let h be n(3). Let l = -113 + h. Is l prime?
False
Suppose -3*o - 4*c = -3, 0 = -3*c - 8 - 1. Suppose o*s - 904 = 391. Is s composite?
True
Suppose -b = -2*c - 85, -b - 1 = -4*c - 86. Is b composite?
True
Let v(d) = 83*d + 5. Is v(4) a composite number?
False
Suppose 5*f - 9*f + 20 = 0. Suppose 0*i = f*i. Suppose -x + 3*x - 74 = i. Is x a prime number?
True
Let u = 0 + 3. Suppose 55 = r + 4*m, -u*m = 4*r + r - 275. Is r composite?
True
Let b(d) = d**3 + 17*d**2 + 12*d + 13. Is b(-16) a prime number?
False
Let v(u) = u**2 + u. Let d(i) = -7*i**2 - 5*i. Let n(h) = -d(h) - 6*v(h). Let x be n(-2). Suppose 195 = x*o - 3*o. Is o prime?
False
Suppose -3*r - 3*a + 6848 + 2656 = 0, -6351 = -2*r - 5*a. Is r a prime number?
True
Suppose 4*k - 9 - 3 = 0. Let o = -7 + 9. Suppose 2*p - k*n - o*n = 99, -p - 4*n = -17. Is p prime?
True
Let s be (-12)/(-36) - (-836)/3. Suppose -q - 3*q = 3*w - s, -341 = -4*w + 5*q. Is w a composite number?
False
Let m = -303 + 520. Is m a composite number?
True
Suppose 0 = -s - 5*n + 272, -2*n + n + 1145 = 4*s. Is s prime?
False
Let v = 416 + 1151. Is v composite?
False
Let r = 564 - 277. Is r a prime number?
False
Suppose -3*f = -4 - 5, 4*x + 2*f - 38 = 0. Is (x/12)/((-4)/(-1266)) composite?
False
Let c(f) = 6*f**2 - 2*f + 3. Suppose 0*m = 4*m - 20. Is c(m) composite?
True
Let l be ((-12)/(-16))/(4/(-32)). Let c(w) = w**3 + 6*w**2 - 8*w + 1. Is c(l) composite?
True
Let g(i) = 514*i**2 + i + 1. Suppose 0 = j + 2 - 1. Is g(j) prime?
False
Let k(r) = -1. Let g(p) = -82*p**2 + 1. Let i(z) = -g(z) - 2*k(z). Let a be i(-1). Suppose 3*t + a = 242. Is t composite?
False
Suppose -3*g - 1767 = -5*d - 2*g, -345 = -d - 4*g. Is d a composite number?
False
Let u be -2 + (236/(-2))/(-2). Let k = u + -4. Is k a composite number?
False
Suppose -5*m + 103 = -77. Let q = 18 - 14. Suppose -m = -0*p - q*p. Is p prime?
False
Suppose 4*q = 12*q - 3256. Is q composite?
True
Let x = -9 - -7. Is (98/(-4) + -2)*x a composite number?
False
Let g be 28/10 + 1/5. Suppose g*m - 7*i + 3*i = 10, 0 = m + i + 6. Is (14/3)/(m/(-6)) a prime number?
False
Let j be 1/4*-2*0. Suppose z = -j*z - 87. Let h = -32 - z. Is h composite?
True
Let h(i) = i**2 + 9*i - 8. Let c be h(-10). Suppose 0 = 3*y + 5*o - 1185, -3*y = -3*o - 1953 + 768. Suppose -3*l - c*l = -y. Is l composite?
False
Suppose 0 = -2*p - 40 + 8. Let y = 35 + p. Is y composite?
False
Is (-5 + 4)*-2933*(1 + 0) a composite number?
True
Let g be -1*((-1 - 1) + 2). Suppose 3*t + 6 = g, -w + 4*t + 63 = -0*w. Is w a composite number?
True
Let z(a) = a**3 - 6*a**2 + a - 4. Suppose 2*l - 1 = 11. Let p be z(l). Let h(u) = 3*u**3 + u**2 + u + 1. Is h(p) composite?
False
Suppose -2*q + 1 = 11, 105 = -3*d - 3*q. Is ((-10)/3)/(4/d) composite?
True
Suppose 5*t - 4*m - 28 = 0, 2*t + 0*t + 3*m = 2. Is 2 - t/(8/(-286)) composite?
True
Suppose v = -4*y - 15 - 3, -3*v - 3*y - 9 = 0. Suppose -v*p - 9 = 3. Is 6/5*(-15)/p a composite number?
False
Let y = -11 + 13. Is -2 + (3 - (y + -186)) a prime number?
False
Let r(w) = -w**3 + 5*w**2 + w. Let z be r(5). Suppose -z*b + 338 = p, p = -3*b - p + 207. Is b prime?
True
Suppose s + 4*s = 805. Is s a composite number?
True
Let n = 9 - 5. Suppose -4*j + j - 2 = n*g, -3*g - 45 = -5*j. Let q(x) = 7*x - 7. Is q(j) composite?
True
Suppose -2*l + 2 = -12. Let h = -3 + l. Suppose -h*c + 336 = w, 0*c + w = 4*c - 328. Is c prime?
True
Suppose -2638 - 2310 = -4*a. Is a a prime number?
True
Let z(a) = 2*a**3 + 7*a**2 - a - 1. Is z(5) prime?
True
Let m(r) = 4*r**2 - 8*r + 9. Is m(7) prime?
True
Suppose -4*o = -6*o. Suppose -4*g = 3*u - 891, o*u + 2*u = -5*g + 587. Is u a prime number?
False
Suppose 3*u - 3*x = -2*u + 587, 2*x = -8. Is u composite?
True
Let t = 4 + -9. Let q(k) = 2*k**2 + 2*k - 5. Is q(t) composite?
True
Is (-1)/4 - (13998/(-8))/3 a composite number?
True
Suppose 0*y + 12 = 4*y. Let f = y + 2. Suppose 611 = 4*o + 3*p, f*o + 0*o = -4*p + 765. Is o composite?
False
Suppose 5 = -2*t - 5*o, 2*t + 1 = o + 14. Suppose 4*p + 179 = t*g, -g - 2*g + 3*p + 105 = 0. Is g a composite number?
True
Is ((-2)/(-4))/(3/318) a prime number?
True
Let j be ((-10)/15)/(4/6). Is (10 + 1)*(-1)/j prime?
True
Let f = 1 + 2. Suppose -2*p - 313 = -f*k, -k = -2*p - 31 - 76. Is k prime?
True
Let l = 10 + -6. Suppose 3*b - p - 3 - l = 0, 4*b - p = 10. Is b prime?
True
Let g(x) = -49*x + 1. Let o be g(-1). Let d = o - 19. Is d a composite number?
False
Let l(c) = c**3 + 5*c**2 - 6*c + 2. Let j be l(-6). Suppose 3*t - t + j = 0. Is 4/1*6 + t composite?
False
Let c be 2/6 - 10/(-6). Suppose -p = c*p. Suppose -6*u + u + 95 = p. Is u a composite number?
False
Suppose -15*c + 14*c = -179. Is c a composite number?
False
Let z(i) = i**3 - 4*i**2 - 7*i - 11. Is z(9) a composite number?
False
Let p(u) = u**2 - 3*u + 3. Let w be p(3). Suppose -5*f - 3*c + 110 = 0, -f - 2*c = w*f - 88. Is f composite?
True
Let r = 2 + -1. Let q = 11 + r. Suppose 0 = 3*n + q, -3*t + 5*n - 21 = -134. Is t prime?
True
Is ((-892)/(-2))/(-2)*-1 composite?
False
Let v(u) = u + 23. Let d be v(0). Suppose -5*f + 6*f = 38. Let a = f - d. Is a a composite number?
True
Let i be (45/18)/(1/1300). Suppose -5*r = 75 - i. Is r composite?
True
Suppose 0 = 5*j, -1493 = -i + 2*j + 354. Is i a composite number?
False
Let o(u) = u - 7. Let w be o(0). Let c = 6 + w. Is (46/(-4))/c*4 a composite number?
True
Let a(o) = 28*o**2 - 2. Let n be (-2)/(-3) + (-8)/(-6). Let j be a(n). Is -2 + (-1 - j)/(-3) a prime number?
False
Let r be (-375)/(-20) - (-1)/4. Let m = r - 10. Is m composite?
True
Let u(i) be the first derivative of 4*i**3/3 + i**2/2 + i + 1. Let p = 1 - -1. Is u(p) prime?
True
Let q(p) = 2*p**2 + 2*p + 1. Let w be (-2)/4 + 15/(-10). Let j be q(w). Suppose j*u - o = 298, -2*o - 179 = -5*u + 122. Is u a prime number?
True
Let q(y) = 57*y**2 - 2*y - 4. Let s be q(-4). Suppose 90 = 2*l - s. Is l composite?
False
Let n(w) = -72*w + 5. Is n(-4) prime?
True
Let o = -148 - -637. Is o a prime number?
False
Is ((-5410)/(-25))/((-8)/(-20)) a composite number?
False
Suppose 1 = -4*j + 9. Let v be (-78)/(1 + j) - -2. Let w = v + 39. Is w a prime number?
False
Let p = -4 - -4. Suppose 4*s = -3*c + 19, p*c + 4*s - 18 = -2*c. Is c/(-5) + 236/5 composite?
False
Let u(h) = -12*h**2 + 3*h - 1. Let j be u(-5). Let z = -129 - j. Is z prime?
False
Suppose t = -4*x - 5, 0 = -4*x - 2*t - 3*t - 25. Suppose 2*m + 2*i - 12 = x, 4*i + 0*i = -3*m + 23. Is 58*(5 - m - 3) a composite number?
True
Suppose 7*k = 2*k + 25. Let r = 5 - k. Suppose 0 = -r*h - 4*h + 140. Is h composite?
True
Let t(b) = b + 10. Let v be (0 - 12)*(-1)/(-2). Let h be t(v). Suppose l