er?
True
Let l(f) = -f**3 - 9*f**2 - 11*f + 1. Let s be l(-8). Suppose 183 - s = 2*c. Is c composite?
False
Let o(b) = 2*b. Let g be o(2). Suppose 2*t = 2, g*f - 35 = -t - 1034. Is 2/(-6) - f/3 composite?
False
Let r(a) = 34*a - 9. Let p be r(6). Let v = -118 + p. Suppose -d + v = -0*d. Is d prime?
False
Let x(m) = -3*m - 3. Let v be x(-2). Suppose -v*p = -p + 12. Is 255/p*(-1 + -1) prime?
False
Suppose 2*u - 2*a = -3*a + 4217, a + 10560 = 5*u. Is u a composite number?
False
Let x(c) = c**3 + 9*c**2 + 9*c + 8. Let k be x(-8). Suppose -h + k*h = -19. Is h composite?
False
Let l = 716 + 195. Is l prime?
True
Let s(g) = -5*g + 6. Let h be -20*(-3)/(0 + 6). Let m be 2/4*h/(-1). Is s(m) prime?
True
Is (-5)/20 - (-84831)/12 prime?
True
Suppose 0*k - 3*k - 5*d = -7, 5*k + 3*d = 33. Is k a composite number?
True
Let h(i) = -i**3 + 7*i**2 + i - 8. Suppose -q = 3*a - 18, -3*a + 7 = 3*q - 11. Is h(a) a composite number?
True
Suppose -l + 2*l = 20. Suppose 0 = -6*w + w + l. Suppose 5*j = 0, -r + w*j + 318 = 127. Is r composite?
False
Let i = 7 + -5. Suppose -2*k - i*k = -332. Is k a composite number?
False
Let r(j) = 3*j**2 + 11*j + 11. Is r(-8) a composite number?
True
Is 30*(-8)/(-6) + (-3)/3 a composite number?
True
Suppose 5*g - 587 = 3*f, 2*g - f - 95 = 139. Is g a prime number?
False
Let j = 2229 - 1479. Let m = j - 527. Is m composite?
False
Let z(b) = 26*b**2 + 4*b - 1. Is z(-8) a composite number?
True
Let k be (-4)/((-345)/(-174) - 2). Let v = -15 + k. Is v a composite number?
True
Let r = 14 - 20. Let n be (-15)/(-12) - r/8. Suppose 4*f - 5*q = 306, -4*f + n*q - 4*q = -320. Is f composite?
False
Suppose 4*x = 4*l - 112, l - 23 = 5*x + 25. Is l prime?
True
Suppose 6*c - 11941 = -1027. Is c a composite number?
True
Let r = -2 + 1. Is r/(66/67 - 1) a composite number?
False
Let v = 276 + -162. Suppose 4*a - 34 - v = 0. Is a prime?
True
Let f = 4321 + -2348. Is f prime?
True
Is 2/4*(9 - -2185) composite?
False
Suppose 3*l + 2 = 5, 3*d - 2562 = -3*l. Is d prime?
True
Let t = -15 + 13. Let l be 1 + 2 - (1 + -1). Is l/6 - 165/t prime?
True
Suppose -5*g = n, -3*n - 4*g = 2*n - 63. Let b = -9 + n. Suppose 4*c = -5*m + 330, 2*m + b = 2. Is c a prime number?
False
Suppose w = 5*s - 5, 2*w - 15 = -3*s + 1. Suppose -2*k = -3*h - 4, -k + 3 = -2*h + s. Suppose f = k*f - 188. Is f a prime number?
True
Let c = -63 + 120. Is c a composite number?
True
Let l be (3 + 2 + -2)*5. Let a = 11 - l. Let p(o) = 5*o**2 + o + 3. Is p(a) a prime number?
True
Suppose 5*j + 16 = 6. Is j/((-4)/282) - -2 a composite number?
True
Let t = -32 - 39. Let b be 111 - (-5 + 3)/(-1). Let j = t + b. Is j a composite number?
True
Is (3 - (2 + 36))*-1 prime?
False
Is (4/(-6))/((-6)/4113) prime?
True
Let i(x) = -x**3 - 4*x**2 + 6*x + 7. Let l be i(-5). Is (3 - l)*(407 + 0) composite?
True
Let f = 11 + -14. Is 157/(-2 - (0 + f)) composite?
False
Suppose -3*y + 2*y + 32 = -4*p, -4*p - 32 = -2*y. Let v = p - -41. Is v a composite number?
True
Let z be (-18)/24 - (-318)/8. Suppose -4*h + 2*c + z + 169 = 0, 149 = 3*h - 5*c. Is h a composite number?
False
Let c(j) be the first derivative of j**3 + 2*j**2 - j - 3. Is c(5) a prime number?
False
Let m(h) = -h**3 - 4*h**2 - h + 2. Let w(k) = -2*k**3 - 12*k**2 - 2*k + 6. Let v(t) = -8*m(t) + 3*w(t). Is v(4) composite?
True
Let r(x) = 110*x**2 - 20*x + 7. Is r(6) prime?
True
Is (15/6)/5*2710/5 composite?
False
Suppose -8*s - 14 = -9*s. Let h = -8 + s. Is h a prime number?
False
Suppose 8 = 4*u + k, 0 = -2*u - 3*k + 6*k + 4. Suppose u*z - 507 = -z. Is z composite?
True
Let r(p) = 208*p**3 + 2*p - 1. Is r(1) composite?
True
Let n(p) = 4*p - 2. Let g(i) = -6*i + 3. Suppose 2*o + 3*o = 25. Let k(z) = o*g(z) + 7*n(z). Is k(-10) prime?
False
Suppose 2*g + 4 = 3*g. Is g prime?
False
Let b be -8*(1 - (-7)/(-4)). Let s be (-3)/(-1) - 0 - -209. Is s/6 - 2/b prime?
False
Let k(t) = t**3 + 4*t**2 - 5*t + 2. Suppose -y = 3 + 2. Let d be k(y). Suppose -5*r = d*z - 110 - 38, 5*z - 387 = -4*r. Is z prime?
True
Let k = 441 - 310. Is k prime?
True
Let p(f) = 2*f**2 + 1. Let j be p(-1). Suppose -j*z + 5*t = 739, 2*z + 490 = 4*t - 0*t. Let v = z + 372. Is v prime?
False
Let z(w) = -11*w**3 - 2*w**2 + 3*w + 3. Suppose -4*t - t - 33 = 4*s, -5*t - 15 = -5*s. Is z(s) prime?
False
Is (-2 + 3)/((-8)/(-3032)) a prime number?
True
Let t(k) = k**2 - 5*k + 5. Suppose -5*d = -38 + 3. Let j be t(d). Suppose -24 = -g + j. Is g composite?
False
Let m = 33 + 14. Is m prime?
True
Suppose 7*x = 12*x - 5*y - 13665, 5*x = 4*y + 13661. Is x a composite number?
False
Suppose -12*a + 10*a = -238. Is a a composite number?
True
Let c(g) = -g**3 - 15*g**2 - 11*g + 17. Is c(-16) prime?
True
Let s = 699 - -105. Suppose m = 4*m + s. Let c = -191 - m. Is c a composite number?
True
Let a be 1 + -1 - (5 + -7). Suppose -r - r = s - 75, -a*s - r = -156. Is s a composite number?
False
Let p = 765 + -419. Is p prime?
False
Let a(p) be the first derivative of p**6/60 - p**5/30 - p**4/24 + p**3/6 + p**2 + 3. Let b(o) be the second derivative of a(o). Is b(3) a composite number?
True
Suppose -3*y - 5*y = -1016. Is y prime?
True
Let u be (2 + 1 - 2)*-11. Let h = u - -57. Let v = h + -32. Is v a prime number?
False
Let i(m) = 9*m - 10. Let k be i(7). Suppose -k + 145 = 4*l. Is l a composite number?
False
Let y(t) = -t**3 + t**2 - t. Let p be y(1). Let d be (-36)/(-8) - p/(-2). Suppose -73 = -d*r - 13. Is r composite?
True
Let q(p) = 330*p - 29. Is q(4) a composite number?
False
Let y(j) = 21*j. Suppose -6*p = 5*o - 4*p + 3, -3*o - 1 = p. Let s be y(o). Let l = 76 - s. Is l composite?
True
Suppose -r - 6*a + 3*a + 12 = 0, -r = a - 4. Suppose w - y = 2*w - 6, r = -2*w + 5*y + 5. Suppose 2*p = -2*p - 2*h + 186, 0 = w*p + 2*h - 233. Is p prime?
True
Suppose -3 = 2*p + p. Let n = p + 3. Is ((-1028)/8)/(n/(-4)) prime?
True
Let g = 11 + -11. Suppose g = -4*j - 0 + 652. Is j a prime number?
True
Let d(f) = 12*f + 1. Let m(c) = 7*c**2 + 1. Let o be m(-1). Is d(o) a prime number?
True
Let h(r) = -11*r**3 - r - 1. Let u be -3 - -1 - (-2 + 2). Is h(u) prime?
True
Let b(i) be the first derivative of i**3 + i**2/2 - 5*i - 3. Let w be b(-5). Suppose -4*r = -12, 4*n - 3*r - w = 3*n. Is n composite?
True
Let h be 1/((-1)/(3730/2)). Let g = -1061 - h. Suppose 5*w - g - 311 = 0. Is w a composite number?
False
Let h(u) = 2*u**3 + 8*u**2 - 9*u - 3. Is h(8) a prime number?
False
Suppose 4*l - 923 = 569. Is l prime?
True
Suppose -103 = -3*p + 5*d, 4*d + 8 = p - 38. Is p a composite number?
True
Suppose -2*o + 0*o + 154 = 0. Is o composite?
True
Let m = 735 - 518. Is m prime?
False
Suppose 4*n + 376 = -3*w + 103, 2*n = 2*w + 182. Let f = -152 - -8. Let v = w - f. Is v a composite number?
False
Let d be 334/10 + 15/25. Suppose 2*j - 40 = d. Is j a prime number?
True
Let c = -2643 - -4537. Is c prime?
False
Suppose 1051 = u + 2*p + 2*p, -2*u - 3*p = -2087. Is u a prime number?
True
Let n(b) = b**3 - 4*b**2 - 4*b + 1. Suppose 0 = -j + 2*w + 4, -5*j + w - 4 = -6. Suppose j = 2*g + 2*g - 24. Is n(g) a composite number?
True
Let s(z) = -511*z - 6. Is s(-1) composite?
True
Let l = 2413 - 756. Is l composite?
False
Suppose -4*b + 2*b = 0. Suppose 165 = 5*g - b*g. Let m = 59 - g. Is m composite?
True
Let v(u) = 2*u + 2. Suppose 2*w - 2 = 6. Let r be v(w). Suppose -3*g + 95 + r = 0. Is g composite?
True
Suppose -f + 5*b - 1290 = -6*f, 1028 = 4*f + 3*b. Suppose 3*q + 4*g = 757, q + 0*g = -g + f. Is q composite?
True
Suppose -k = -2*v + 1747 + 559, -4*k = -5*v + 5771. Is v composite?
False
Let h be 1*(2 + -1 + -7). Let z(v) = -1 + v**2 + 0*v**2 + 2. Is z(h) prime?
True
Let c(r) = -3*r**2. Let i be c(3). Is (-384)/i + 8/(-36) composite?
True
Suppose 5*q - 27 = 3*d - 11, 4*q - 4*d - 8 = 0. Suppose -7*r + 55 = -2*r - 2*x, q*r - 3*x = 55. Is r prime?
True
Suppose 3*s = 2*s + 3. Suppose -5*u - 127 = -s*a, -5*a - u + 3*u = -180. Is a composite?
True
Suppose 2*g = 5*g - o - 740, 728 = 3*g - 4*o. Let x = 26 - 36. Is g/10 + (-2)/x a composite number?
True
Let b(i) = 2*i**2 + 10*i + 7. Let c(d) = d**2 - 3*d + 1. Let j be c(5). Suppose 2*u - 3*f + j = 0, -4*u + 3*u - f - 8 = 0. Is b(u) a composite number?
True
Let a(l) = l**2 + 3*l + 839. Is a(0) a prime number?
True
Suppose 4*c - 5*c = -2. Suppose -a - c*a + 1071 = 0. Let z = -236 + a. Is z composite