e
Suppose -3*f + 15 = -0. Let p(y) = 17*y - 6. Is p(f) prime?
True
Suppose -309 = -3*l + 480. Is l a prime number?
True
Let s(x) = x**2 - 8*x. Let h be s(9). Let w be 3/h + (-575)/(-3). Suppose -4*r = 4*y - w, -23 + 8 = -3*r. Is y a composite number?
False
Let v be 5 - 6/2 - -132. Suppose 0*f = -2*f + v. Is f prime?
True
Suppose 5*x - 318 = -133. Suppose -j + x = -28. Is j a prime number?
False
Let s(a) = 4*a**2 + 8*a + 5. Is s(-7) a prime number?
False
Let q(a) be the third derivative of -7*a**6/180 + a**5/120 + a**4/12 + 2*a**2. Let z(v) be the second derivative of q(v). Is z(-4) composite?
False
Suppose -169 = -4*b + 11. Suppose -241 = 7*d - 59. Let p = d + b. Is p composite?
False
Suppose 1344 + 1811 = 5*v. Is v a composite number?
False
Let m be -6 - (-2)/3*-3. Let f be 18/m*(3 - 7). Suppose f*y - 395 = 4*y. Is y a prime number?
True
Suppose -b + 5*n = 0, -b + 5*b - 5*n = 0. Suppose -4*s + b*l + 4*l = -1456, s + l - 368 = 0. Suppose 4*d - s = 2*r, 4*d + 4*r - 346 = 2*r. Is d composite?
False
Let p = 12 + -7. Suppose 4 - 69 = -p*o. Is o prime?
True
Let f = 1 - -250. Is f prime?
True
Let y(h) = h - 5. Let v be y(7). Is ((-15)/6)/(v/(-76)) composite?
True
Suppose 2*h = 5*o + 656, 5*o + 5*h = 155 - 825. Is (o/(-10))/((-4)/(-10)) prime?
False
Let v(d) = -d - 1 - 3*d + 3*d. Let y be v(-4). Suppose -y*x = x - 92. Is x composite?
False
Let r = -920 + 1485. Let j = r - 354. Is j a prime number?
True
Suppose 2*n - 4 + 6 = 0. Let p = n + 0. Let b = 14 + p. Is b composite?
False
Suppose -4*q - 5*d + 509 = 0, 2*q + 3*d - 217 = 8*d. Is q composite?
True
Suppose -v - 2*v + 15 = 0. Suppose 2*f + 1145 = v*f + 2*d, -4*d + 16 = 0. Is f a prime number?
True
Let r be 2/2 - (-460 - 1). Suppose 0*x - r = -6*x. Is x a prime number?
False
Let y(m) = 2*m**2 + 3*m - 2. Let r be y(3). Suppose 4*g - 5*g - 4*j = 34, 5*g = -j - 75. Let a = r + g. Is a a composite number?
False
Suppose 2*w = 3*x + 6*w - 9, -15 = -5*x + 4*w. Suppose 0 = -4*c + 3*c + x. Suppose 0*j + j = c*h - 226, -5*h + 375 = -2*j. Is h prime?
False
Suppose -76*b + 71*b + 2855 = 0. Is b prime?
True
Let c(p) = 156*p**2 + 3*p + 1. Let x be c(-2). Let n = x + -128. Is n prime?
True
Let z = 0 - 13. Let i(r) = -r**3 - 13*r**2 - 11*r + 2. Is i(z) composite?
True
Suppose 2*m - 3*b = 3*m - 15, 5*b = 4*m + 8. Suppose m*w - 310 = -2*s, -5*w = 3*s - 640 + 175. Is s composite?
True
Suppose -2*h = 3*a - 6054, 3*h - a - 9081 = -4*a. Is h composite?
True
Suppose -j - 3 = -2*j. Suppose f = j*f - 8. Suppose 2*i + f - 70 = 0. Is i composite?
True
Suppose 0*q = -4*q + 932. Is q prime?
True
Suppose 6 = -f - 2*f. Let t be 2 - 157 - f - 1. Let j = t - -221. Is j a prime number?
True
Let q(n) = 61*n**2 - 16*n - 10. Let r(x) = 2 - 6*x**2 - 4*x**2 - 2*x**2 + 3*x. Let p(u) = -2*q(u) - 11*r(u). Is p(3) composite?
True
Let c = 6 - 4. Suppose -c*d - 693 = -5*d. Suppose -5*q + d = 46. Is q prime?
True
Let n(b) be the third derivative of -11*b**7/280 - b**6/360 - b**5/120 + b**3/3 + 3*b**2. Let v(g) be the first derivative of n(g). Is v(-1) composite?
True
Let r(i) = -4*i + 9. Let j be 35/10 - (-1)/(-2). Let z(w) = w**3 - 5*w**2 + 3*w + 2. Let p be z(j). Is r(p) prime?
True
Suppose -184 = -6*u + 962. Is u composite?
False
Let p(g) = 2*g**3 + 2*g**2 - 8*g + 6. Let i be p(7). Let k = i - 244. Is k/26 + 22/143 prime?
True
Suppose u + 2 = 5. Suppose 379 = 2*q + q - 2*m, q + u*m - 130 = 0. Is q prime?
True
Suppose -b + 83 = 5. Let l(v) = -6*v - 7. Let z be l(-6). Let k = b - z. Is k a composite number?
True
Let w(f) = f**3 + 5. Let c be w(0). Suppose -3*y + c + 4 = 5*h, -4*h = 0. Suppose s + 5 = -3*t, 6*t - y*t = -5*s + 23. Is s a composite number?
False
Let p be 7 + -1 - 9/(-3). Is 3/p + (-632)/(-12) a prime number?
True
Let c = 536 + -105. Is c a prime number?
True
Let v = 98 + 26. Suppose v = 2*m - 382. Is m prime?
False
Let s(c) = 52*c**2 + 8*c - 1. Is s(-5) composite?
False
Is 21/(-6)*1*102/(-3) a composite number?
True
Let n(v) be the second derivative of 9*v**5/4 + v**4/12 + v**3/2 - 3*v**2/2 + 4*v. Is n(2) prime?
True
Let v(a) be the third derivative of 23*a**5/60 - a**2. Let s = -4 - -5. Is v(s) a composite number?
False
Let w be 2/(-4) - (-45)/(-2). Let c = w - -43. Suppose -5*u + c = -3*l + 120, 0 = -2*l + 5*u + 65. Is l composite?
True
Let z be ((-2)/5)/(2/(-7460)). Suppose 3*w = -w + z. Is w a prime number?
True
Suppose 0 = -b + 4*t + 18, 4*b + 5*t = t + 92. Is b composite?
True
Let o be (-2)/4*2*-2. Let l be (-27762)/(-27) - o/9. Suppose 0 = 4*c - 3*d - 0*d - 1028, 4*c + d - l = 0. Is c prime?
True
Let g = -2 + 8. Let h(n) = g*n**2 - 2*n + 0 + 1 - 7*n**2 + 12*n**2. Is h(1) a composite number?
True
Let k = 32 - -845. Is k composite?
False
Let z = 209 - 92. Let k = 202 - z. Is k prime?
False
Let f(i) = i**3 + 14*i**2 - 14*i + 9. Let x = 11 + -25. Is f(x) a composite number?
True
Let b(j) = j + 6. Let c be b(-3). Suppose c*u - 25 = -3*v + 17, v - 14 = 5*u. Suppose -v - 97 = -3*a. Is a prime?
True
Suppose 8 - 2 = -3*j. Let d(g) = 16*g + 2. Let n be d(j). Is (954/n)/((-1)/5) prime?
False
Suppose 8058 - 1288 = 10*v. Is v a composite number?
False
Let o(d) = -d**3 - d. Let k be 12/(-16) + (-1)/4. Let c be o(k). Is 24 - -1 - c/1 a prime number?
True
Let s(p) = 7*p**3 + p - 3. Let z be s(2). Suppose 2*d - z = 19. Is d a prime number?
True
Suppose -2*y = -5*h - 0*y + 687, 5*y + 675 = 5*h. Is h composite?
False
Let r(h) = h**2 - 10*h + 2. Let u be r(10). Suppose 4*i + 3*t + 285 = 955, 4*i - 680 = u*t. Is i a prime number?
False
Let c(o) = 2*o**2 - 3*o + 8. Suppose -4*k + 36 + 124 = 0. Let m be 8/28 + k/7. Is c(m) a composite number?
True
Is (-368)/(-5) - (-10)/25 composite?
True
Let l(t) = 600*t + 17. Is l(3) a prime number?
False
Suppose 0 = -4*o + 4*w + 14 + 6, -6 = 2*w. Suppose -5*j + 2*u = -0*u - 121, 0 = 3*j + o*u - 63. Is j composite?
False
Suppose 2*m - m - 16 = 0. Let i = m - 6. Let w = i - -4. Is w a composite number?
True
Let o(g) = -g**2 + 6*g. Let t be o(6). Let i = t + -8. Let j = i - -29. Is j a prime number?
False
Suppose 4*v = 2*v - 4*c + 4, 0 = 4*c - 20. Is (1 - v)/3 + 250 prime?
False
Suppose -5*w = -872 - 288. Let o = -121 + w. Is o composite?
True
Suppose -5*l + 83 = 3. Suppose l = -3*q + 157. Is q prime?
True
Let t(w) = 13*w**2 + 18*w + 24. Is t(7) prime?
True
Let y = 420 + -235. Is y composite?
True
Let q be ((-8)/(-10))/((-2)/(-10)). Suppose 3*t + 2*o = -20, -q*t - t - 28 = -2*o. Is (-156)/(-7) + t/21 a composite number?
True
Let a(q) = 21*q - 2. Is a(5) a prime number?
True
Suppose 2*j - 4652 = -2*g, -2*g - 3*j + 4643 = 2*j. Is g a composite number?
True
Let k = -268 + 491. Is k a prime number?
True
Suppose -2*f = -2*y - 0*y + 170, 5*f + 452 = -4*y. Let t = 41 - 80. Let o = t - f. Is o composite?
True
Suppose -2*l + 15 = 3*l. Suppose 0*m - 328 = -4*m. Is m/4 + l/6 composite?
True
Let u(m) = -m + 3. Let a be u(4). Let l = 9 - a. Suppose -3*s + l = -56. Is s prime?
False
Suppose -2*i - 4*l = -42, 0 = 3*i - 3*l - 147 + 39. Is i a prime number?
True
Is (-7092)/(-20) + (-2)/(-5) a composite number?
True
Let g be (-1 - 0)*0/3. Let j be (-2)/(-10) + 56/20. Suppose j*p + 7 + 8 = g, f = 4*p + 39. Is f composite?
False
Let x(s) = 1 - s**3 + 6*s + 0 - 7*s**2 - 3. Let d = 11 + -19. Is x(d) a prime number?
False
Suppose t = -4*j + 894, 4*t - 466 - 657 = -5*j. Is j prime?
True
Let q = 6 + -8. Is ((-249)/6)/(q/4) composite?
False
Let b = 8 + -11. Is ((-7)/b)/((-7)/(-105)) a prime number?
False
Let w be 9/15 - (-4)/10. Let n = 1 - w. Suppose -2*o - 3*g - 22 + 89 = n, -3*o + g + 106 = 0. Is o a prime number?
False
Let c(w) = 45*w - 19. Is c(16) composite?
False
Let t(x) = -4 + 6*x**2 + 6*x - 4*x**2 - 3*x**2. Let k be t(3). Suppose -2*j - 2 + 0 = -k*u, -18 = -3*u - 3*j. Is u prime?
True
Let d = -7 - -11. Suppose -480 = -d*s + 260. Is s a prime number?
False
Let f = -36 + 6. Is (f + 3/(-3))/(-1) prime?
True
Let s = -244 - -617. Is s prime?
True
Let a = 127 - 265. Let h = 269 + a. Is h a prime number?
True
Let x(u) = 9*u + 16. Is x(9) a prime number?
True
Let o = -1913 + 3966. Is o a composite number?
False
Let i be (0 - 3)/((-1)/5). Suppose 4*q - i = -q. Suppose x - 196 = -q*x. Is x a composite number?
True
Let k(s) = -79*s**3 + 3*s**2 + 6*s + 2. Is k(-2) prime?
False
Let s(t) = t**3 + 10*t**2 - 6*t + 1. Let u(f) = -f**2 + f 