+ 243 + 97 = 0. Let q = 481 - k. Is q a prime number?
False
Suppose 2*i + 2*y = -84 - 16, y = 5*i + 238. Let c = i - -205. Is c prime?
True
Let t(m) = -482*m + 53. Is t(-14) prime?
False
Let f(j) = 34*j**2 + 4*j + 19. Is f(-6) prime?
False
Suppose 2*d + 526 = 4*d. Is d a composite number?
False
Suppose -3*b + 8 + 4 = 0. Suppose -4*y = -h - 5447, -y - b*y = -3*h - 6807. Suppose y = j + 3*j + d, 0 = j + 2*d - 337. Is j prime?
False
Suppose -5 + 45 = 8*a. Suppose -a*l + 580 = -l. Is l a composite number?
True
Let d(g) = g**2 - 7*g - 21. Let t be d(9). Is (1/t - 0)/((-1)/1761) prime?
True
Suppose -5*v + 100 = -g, -5 = 5*g + 20. Is (v - 0)/(1/17) a composite number?
True
Suppose -2*p - p - 5*w = 65, -3*w - 43 = 2*p. Let d = 373 - p. Suppose 5*j + 128 = d. Is j composite?
False
Let k(x) = 94*x**3 - 5*x**2 + 2*x + 4. Is k(3) a composite number?
False
Let z(b) = 3*b + 5. Let d be z(-2). Let v = 2 - d. Suppose v*m = -m + 872. Is m a composite number?
True
Let q(y) be the first derivative of 2*y**3 - y**2/2 + 11*y + 10. Is q(12) composite?
False
Let a(b) = 5*b**2 - 2*b - 4. Suppose 0 = 2*y - 52 + 62. Is a(y) a prime number?
True
Suppose -2*v + 3*t = -35108, 2*v + 0*v + 2*t = 35098. Is v a composite number?
False
Is (-3)/(((-18)/32751)/(10/45)) prime?
True
Let y(v) = -4*v + 9. Let u(x) = 5*x + 1. Let z(l) = 9*l + 2. Let b(p) = -5*u(p) + 3*z(p). Let a be b(-6). Is y(a) a prime number?
True
Is (-8 - 930/(-2))*1 a composite number?
False
Suppose 20 = -3*m - 2*m, 4*l - 8 = -5*m. Suppose l*b - 281 = -15. Is b composite?
True
Let k = 91201 + -40194. Is k prime?
False
Is ((-13718)/6 + 6)/(2/(-6)) a prime number?
True
Suppose 0 = -4*u, a + 0*u - 5*u = 19. Let h = -17 + a. Is h*7/(-4)*-14 composite?
True
Suppose 298*t - 293*t - 125755 = 0. Is t prime?
False
Let y(i) = -9*i**2 + i - 2. Let a be y(2). Let h = -27 - 166. Let u = a - h. Is u a prime number?
True
Is (-18)/(-24)*(-3305424)/(-36) a composite number?
False
Let s(z) = -2*z**2 + 7*z + 4. Suppose l + 5*p = -29, 0*l + l = -4*p - 24. Let t be s(l). Let n = t - -150. Is n a composite number?
True
Suppose -2400 + 299 = 11*j. Let p = j + 442. Is p a prime number?
True
Let t be (-26050)/(-11) + -2 + (-10)/55. Let p = -1679 + t. Is p a composite number?
True
Is (1 + 0)/(((-49)/185311)/(-7)) composite?
True
Let g = -70 - -1314. Let l = 1825 - g. Is l composite?
True
Let b(h) = -381*h**3 - h**2 + 4*h + 5. Is b(-2) a composite number?
False
Let y = 17016 + -4693. Is y prime?
True
Suppose -d - 2*z + 29 = -4*d, 31 = -4*d - 5*z. Let l(u) = -64*u - 2. Let g be l(d). Suppose t = 3*n + n - 1148, -g = -2*n - 3*t. Is n a composite number?
True
Suppose 4867*f - 4870*f = -29895. Is f prime?
False
Let s(g) be the first derivative of -2 - 3/2*g**2 + 2/3*g**3 + 81/4*g**4 - g. Is s(2) a composite number?
True
Suppose -8*f + 60 = -2*f. Suppose f*z - 1923 = 7*z. Is z a composite number?
False
Suppose -5*c + t + 0*t = -25, 3*c = 3*t + 27. Suppose -2*w = -4*g + 16, w + c = -5*g + 24. Suppose -225 = -g*u + 283. Is u a prime number?
True
Let t(p) = -203*p - 24. Is t(-7) a prime number?
False
Let k = 28184 + 46413. Is k prime?
True
Let x = -151 - -159. Let w(j) = 5*j**3 + 6*j**2 - 2*j - 11. Is w(x) a composite number?
False
Let o = -9 + 24. Suppose 76*f - 4740 = 64*f. Suppose o*l - f = 10*l. Is l composite?
False
Let s be (51376/(-6))/2 - (-21)/63. Let g = -2230 - s. Is g a prime number?
False
Suppose 5*s + 5*k = -0*s - 2620, 5*k + 544 = -s. Is s/6*-3*(-40)/(-12) a prime number?
False
Let b(z) = -5*z - 1. Let r be b(-5). Is ((-2096)/r)/(2/(-3)) a prime number?
True
Let f = -621 - -2195. Is (7/14)/(1/f) a composite number?
False
Suppose -21 = -5*j + 4. Suppose -3*p = -2*h - 41, -3*p - 3*h - 29 = -j*p. Is p a prime number?
True
Let r = 1375 - 462. Is r a composite number?
True
Suppose i - 5 + 15 = -4*p, 3*i + 2*p = 10. Let u(y) = 9*y**2 - 4*y. Let r be u(i). Let v = 682 - r. Is v composite?
True
Let w(q) = -8981*q**3 + q. Let i be w(-1). Suppose -r = -5*r + i. Is r composite?
True
Let a(g) = 1157*g - 3. Let v(q) = 289*q - 1. Let x(w) = 2*a(w) - 9*v(w). Is x(-4) composite?
False
Suppose 0 = -2*u - 10, 0 = 2*i - u - 3*u - 24. Let r(l) = -i + 0 + 3 + 58*l. Is r(1) a composite number?
False
Suppose -2 = 2*i - 0*i. Let f be 8/(-6)*(-2 + i). Suppose 0 = f*x - 13 - 3, a = 4*x + 5. Is a a composite number?
True
Suppose 24586 + 3425 = o. Is o a prime number?
False
Let s(y) = -y**3 - 50*y**2 + 30*y - 1. Is s(-52) prime?
True
Let d = -8 - 1. Let x = -3 - d. Let y(g) = g**3 - 4*g**2 - 6*g + 7. Is y(x) a prime number?
True
Let t be (1 + -11)/1 - -4. Let i(p) = -p**2 - 4*p + 12. Let l be i(t). Suppose l = -2*u + 3*q + 1615 + 934, -4*q + 3781 = 3*u. Is u prime?
False
Suppose 4*n - 1605 = 7031. Is n composite?
True
Let t = 7256 + -1485. Is t a composite number?
True
Let z(f) = -13*f**3 + 6*f**2 + 36*f + 10. Is z(-7) a composite number?
True
Is ((-4130)/21)/((-4)/6) composite?
True
Let l = 749 - 352. Is l a composite number?
False
Let c(x) = 108*x + 1. Suppose -2 = 4*q - 26. Suppose -q + 0 = -3*w. Is c(w) a composite number?
True
Let u(d) = d**3 + 18*d**2 + 32*d + 22. Is u(27) prime?
False
Let k = -21 - -32. Let a = -11 + k. Suppose 3*y + 0*y + 5*d + 1 = a, -2*y = -2*d - 10. Is y composite?
False
Is -1*-7948*(-6)/(-12) a prime number?
False
Let w = 148 + 10. Let f be 0 - 7*10 - -1. Let z = w + f. Is z composite?
False
Let b(t) be the first derivative of t**2/2 - 3*t - 1. Let p be b(7). Suppose j - 3*j + p*d + 70 = 0, j = d + 35. Is j prime?
False
Let m(c) = c**3 + 5*c**2 - 2*c + 5. Suppose 0 = -y + 3*r + 13, 4*y - 2*r - 27 + 5 = 0. Suppose g + 25 = -5*d, 3*d + 4*g + 11 = -y. Is m(d) a prime number?
False
Suppose 4*a - 3*p = -0*p - 4, 3*a - 2*p = -2. Suppose 5*h + 2*f = a, -4*h + 4*f = -9*h - 6. Suppose h*k = -0*k + 682. Is k a prime number?
False
Let x(w) = -153*w - 53. Let h be x(-4). Suppose 0 = -4*i + 80 - 1088. Let m = i + h. Is m a composite number?
False
Let z be 4 + -8 + -3 + 9. Suppose -z*q - 3 = -9. Suppose d + q*d = 380. Is d a prime number?
False
Suppose 0 = -4*m - 2*q - 0*q + 10, -q - 7 = -4*m. Let i(r) = 131*r + 6. Let h be i(m). Suppose 0*d - h = -3*d + k, 266 = 3*d + k. Is d a prime number?
True
Let h be (-2)/6 - 16/(-12). Let s be (-14)/(-7)*(h + 7). Let c(o) = -o**2 + 30*o - 11. Is c(s) prime?
False
Let c = 17402 + -11833. Is c composite?
False
Suppose 0 = -7*h + 1446 + 535. Suppose 9*l - 7133 - h = 0. Suppose -2*a = 2*u - 552, 3*a + 5*u - 4*u - l = 0. Is a composite?
True
Let k = 18542 - 10863. Is k a composite number?
True
Let a(u) = 4125*u**2 - 3. Let z be a(-2). Suppose 0 = -4*r + z - 40929. Is (-1)/(r/(-2037) - 3) a composite number?
True
Suppose -838 = 3*v - 7*v - 3*h, 0 = -4*h + 8. Let l = -46 - -48. Suppose 44 = -l*s + v. Is s composite?
True
Let z(f) = f + f**2 - 2 - 5 + 2*f**2 + 0. Let c(h) = 16*h**2 + 6*h - 36. Let o(r) = -2*c(r) + 11*z(r). Is o(15) a prime number?
False
Suppose 6*m + 274 - 4108 = 0. Let y = m + -158. Is y composite?
True
Let k(v) = v**3 + 2*v + 3045. Let u be k(0). Suppose 3*j - 720 = u. Is j prime?
False
Suppose -4*c - 2*a = -3*c - 46, c - 61 = 3*a. Suppose -4*s = -2*k - c, -5*s + 4*k = -2*s - 39. Is s composite?
False
Let r(v) = -2*v**3 + 7*v**2 - 4*v + 6. Let n(x) = -3*x**3 + 8*x**2 - 3*x + 7. Let w(y) = 5*n(y) - 6*r(y). Suppose 19 = -5*g - 1. Is w(g) prime?
False
Let f be 670 + -3 - 1 - -3. Let g = -340 + f. Is g a composite number?
True
Suppose 4*u + 23 - 7 = 0. Let l(c) = 59*c**2 - 6*c - 15. Is l(u) a composite number?
False
Suppose 74 - 468 = -n. Suppose v - 4 = -v. Suppose v*t = 4*z - n, 0 = -z + 5*z - 5*t - 403. Is z composite?
False
Let t be 2/(-1)*59*(-22)/4. Suppose 0 = 2*w + 3*i - t, -5*w + 4*i = -4*w - 319. Is w a composite number?
True
Suppose -11 + 101 = 6*a. Suppose -c + 16 = -5*c. Let l = a - c. Is l composite?
False
Let a = 4440 + -2941. Is a a prime number?
True
Let n(w) = 149*w**3 - 3*w**2 + w - 5. Is n(4) composite?
True
Suppose 5*x - 8*x = -441. Suppose 0 = n - x - 267. Let w = n - 229. Is w composite?
True
Let q(l) = -l**3 + 8*l**2 + l - 3. Let n be q(8). Suppose -n*f + 6*f = 469. Suppose 1906 = 4*p + 4*y - 9*y, 5*y = p - f. Is p composite?
False
Suppose -l - 5 = 5*d, -d - 2*l - 3*l = 25. Let s(g) be the first derivative of g**4/4 + 1477*g + 36. Is s(d) a composite number?
True
Supp