 + 5*d + 2707, 141 = -2*n + 2*d - 1235. Let v = -187 - n. Suppose 2*y + y = -5*i + v, 4*y + i = 633. Is y composite?
False
Suppose -2*p + 216 = -p. Let t = -151 + p. Is t prime?
False
Suppose -2*q = 2*q + 4. Let r be -1*(q + 3)/2. Is r/(-5) - (-1992)/15 prime?
False
Suppose -2 = -s + 1. Let h be s/(-1 - 2)*76. Let i = h + 131. Is i a composite number?
True
Suppose 0 = 16*m - 13*m - 6153. Is m a prime number?
False
Is (-4)/18 + (-4235)/(-63) a prime number?
True
Let u(y) = -y**3 + 19*y**2 - 14*y - 3. Is u(16) prime?
True
Let b(y) = -7*y**3 + 3*y**2 - 8*y - 10. Let r be b(-4). Suppose 52 - r = -2*z. Is z a composite number?
False
Let y(x) = x**2 - 4*x - 5. Let q be y(5). Suppose -5 = 2*i - 3*n - 28, q = -2*i + n + 13. Suppose -5*l - 86 = -2*c - 0*l, -c = i*l - 17. Is c prime?
False
Let o(v) = v + 8. Let l be (0/(-1))/(2 - 4). Let z be o(l). Suppose 3*b + z = 101. Is b composite?
False
Suppose 4*i = 219 + 409. Is i prime?
True
Let u(h) = 14*h**2 + 4*h - 17. Suppose 3*x + d + 21 = 0, 0*x - 2*x + d - 14 = 0. Is u(x) composite?
False
Is 731 + (7 - 3) - 1*2 composite?
False
Let i(f) = 9*f**2 + 2 + 2*f**3 + 11*f - f**3 + 0*f**3. Let r be i(-8). Is r*-3*2/4 a composite number?
True
Let y = -7 - 19. Let m = y + 16. Let v(z) = -z**3 - 9*z**2 + 6*z + 13. Is v(m) a prime number?
True
Let f(z) be the third derivative of 2*z**4/3 + z**3/2 - z**2. Suppose 4*o - 4 = 28. Is f(o) prime?
True
Is 389/((-20)/7 + 2 - -1) prime?
False
Suppose 13 + 7 = 4*o. Suppose 3 = o*i - 7. Suppose i*g - 14 = g. Is g prime?
False
Suppose 462*b - 465*b + 8763 = 0. Is b prime?
False
Suppose h + 1 = -2. Let f = h - -3. Suppose -3*i + 69 = -f*i. Is i a prime number?
True
Let u be 1/4 + (-13)/4. Let f(b) = -b + 1. Let y be f(u). Suppose -2*z = -2*s - 6*z + 42, 0 = -s + y*z + 27. Is s a prime number?
True
Suppose 0 = -11*j - j + 13044. Is j a composite number?
False
Suppose 3*o = -3*r + 6, -4*o = 6*r - 3*r - 2. Let c be 46/14 - 2/7. Suppose r*z = c*z + 201. Is z composite?
False
Let n(d) = d + 8. Let j be n(-6). Suppose j*p - 7*p = -45. Let l = p - -26. Is l composite?
True
Suppose i = -i + 14. Let l(d) = d**2 - 6*d - 5. Let g be l(i). Suppose -5*j + 601 = 2*h, 0 = -j + g*j + 4*h - 113. Is j a prime number?
False
Suppose 5*c - 2*f - 55 = -4*f, 2*c - f = 31. Suppose 2*g = -j - c, 2*g + 20 = -2*g + 4*j. Is (-712)/g + (-1)/(-3) a prime number?
False
Let f = 21 - 15. Suppose 5*u - 2*w = u + 6, 0 = -2*w + f. Let y = u - -3. Is y prime?
False
Let b be (-4)/(-6)*(-2 - -11). Suppose 0 = -t + b*t - 955. Is t a prime number?
True
Is (45072/(-10))/(-8) - 4/10 prime?
True
Let a = -1718 + 2511. Is a a composite number?
True
Let g = 8 + -5. Let f(b) = 1 + 0*b**3 + 9*b - 3*b + b**g - 6*b**2. Is f(5) composite?
True
Suppose -s - 3*x = -77, 6 = 4*s - 3*x - 227. Is (-1)/((-1)/s*2) a prime number?
True
Let z be ((-18)/(-4))/(2/20). Let v = z - 26. Is v a composite number?
False
Let h = -297 - -884. Is h a composite number?
False
Let v be 15*(32/20)/4. Suppose -v*d = -5*d - 34. Is d a prime number?
False
Let b(p) = -p**3 - 13*p**2 - 12*p + 4. Let x be b(-12). Suppose -599 = -5*m - t + x*t, 3*m - 5*t = 353. Is m composite?
True
Let c be (-54)/5*(-10)/1. Let p = c + -41. Is p a prime number?
True
Suppose 0 = -2*v + 3*v - 327. Let n be (v/(-6))/(1/(-2)). Let w = -30 + n. Is w a prime number?
True
Let y be (1/(-1))/((-2)/4). Suppose 5*c + 2*s = 13, -5*s = -3*c - y*s + 12. Let a = 26 - c. Is a a prime number?
True
Suppose 11*u + 662 = 13*u. Is u composite?
False
Let l(b) = b**3 + 7*b**2 - 9*b + 5. Let o(h) = h**3 + 4*h**2 - 4. Let m be o(-3). Suppose -m*g + 34 = -3*p, 4 = 2*g - 0. Is l(p) prime?
True
Let s(j) = 2*j - 2. Let y be s(2). Let d be y/8 + 7/4. Is ((-70)/4)/((-1)/d) prime?
False
Suppose 3*r - 296 = -5*r. Is r a prime number?
True
Let n(s) = 3*s**2 + s. Let c(x) = x**3 + 7*x**2 + 5*x - 5. Let b be c(-6). Let m be n(b). Suppose p = m*p - 381. Is p a prime number?
True
Let d(u) = 8*u + 7. Suppose 4*r + q = 19, -r + 3 = -q + 2. Suppose -3 + 27 = r*o. Is d(o) prime?
False
Suppose 0 = -2*u - 130 + 462. Is u prime?
False
Let x = -920 - -1292. Suppose -4*y + 3*y = 3*m - 354, -x = -3*m + 5*y. Is m a composite number?
True
Let t be -6*((-10)/4)/5. Let a(w) = w**3 - 2*w**2 - 3*w - 1. Let v be a(t). Is (-23 + 0/(-3))/v composite?
False
Suppose -10 = 2*u, 4*a - 2*u - 280 = 2*u. Let y = -20 + a. Suppose -y = -2*g - g. Is g composite?
True
Suppose -2*r - 4485 = -5*k, -4*r + 2717 = k + 2*k. Is k composite?
True
Suppose -2*b + 1 = -7. Suppose 36 = 3*a - b*a. Is (-2)/(-2 - a/19) composite?
False
Let i(h) = 98*h**3 - h**2 + 4*h - 1. Is i(2) prime?
True
Suppose -354 = 175*h - 177*h. Is h prime?
False
Suppose 0 = -12*f + 11*f + 521. Is f composite?
False
Suppose 3*r = 4*r - 6. Let w(t) = -3*t**2 - 10*t + 13. Let d(p) = -5*p**2 - 15*p + 20. Let b(z) = -5*d(z) + 8*w(z). Is b(r) a prime number?
False
Suppose -2*u + l + 0*l = -1221, 3*u + 2*l - 1849 = 0. Let d = 880 - u. Is d a prime number?
False
Suppose -2*j = 6 - 0. Let w = j - -50. Suppose -w = 5*u - 5*t - 132, -2*t + 10 = 0. Is u composite?
True
Let j be (7/(-2) - -3)*0. Suppose 0 = 3*o - j*o - 99. Is o prime?
False
Is (-7)/(-28)*2 - 842/(-4) a prime number?
True
Suppose 0 = 9*k - 14*k + 2425. Is k composite?
True
Let z(r) = -r + 5. Let i be 2*(2 + (-4 - 1)). Let y(k) = -k**2 - 4*k + 7. Let c be y(i). Is z(c) a prime number?
False
Let l = 3726 - 1147. Is l prime?
True
Let p be (-2)/((-1)/(-2 - -3)). Suppose -y + 0 = 3*u + 4, -7 = -p*y - u. Suppose -s = -2 - y. Is s composite?
False
Let u = 4253 - 2812. Is u composite?
True
Let m = 49 + -26. Is m composite?
False
Let s = -8 + 10. Suppose 7*h - 1090 = 2*h - 5*y, -s*h - 4*y = -426. Is h composite?
False
Let s(j) = j**3 + 6*j**2 + 6*j + 7. Let p be s(-5). Suppose -5*g = p*x - 319, -4*x - 5*g + 631 = -2. Is x prime?
True
Is 1847/(-2 + 3)*1 a composite number?
False
Let q be 18/(-6) - (1 + -3). Is q/(-4) + (-6369)/(-44) prime?
False
Let w be (3/(-9))/((-2)/18). Let m(t) = 6*t**2 + 3*t - 4. Is m(w) a prime number?
True
Let y = -1413 + 2072. Is y composite?
False
Suppose -2*o + 5198 = -980. Is o composite?
False
Let u(k) be the third derivative of 0*k + 1/2*k**3 + 1/3*k**4 + 0 + k**2. Is u(8) composite?
False
Let a(t) be the second derivative of 7*t**4/12 - t**3 - t**2/2 + 3*t. Is a(6) composite?
True
Let f(n) = n - 41. Let r be f(0). Let x = r + 60. Is x a prime number?
True
Let s be 0/4 - 34*-2. Suppose -12 = 3*i - i. Is (s/i)/((-4)/42) prime?
False
Is 66/(-6)*(-1 + 0) a composite number?
False
Suppose 1 = q - 2. Let x = q + 8. Let m = -2 + x. Is m a composite number?
True
Let s be 38/(-4)*(2 - 4). Suppose 5*u = 4*i - 1, 0 = -2*i - 2*i + u - s. Let y(h) = h**3 + 7*h**2 + 4*h + 9. Is y(i) a composite number?
True
Let t be 46/(0 + 1 + 0). Suppose -3*y + 47 = -t. Is y composite?
False
Suppose w - 3*t - 2*t - 343 = 0, 4*w + 4*t = 1276. Is w composite?
True
Suppose -7*l = s - 6*l - 524, 4*l - 2617 = -5*s. Is s a prime number?
True
Let d = 25 + -15. Let v(r) = -r**3 - 3*r**2 + 2. Let j be v(-3). Suppose d + 68 = j*t. Is t a prime number?
False
Suppose h - 5 = -0*h. Suppose z - h*z = -16. Suppose -82 - 26 = -z*k + 4*r, 23 = k - 2*r. Is k prime?
True
Let u(o) = 3*o**2 - 3*o - 5. Is u(-3) a composite number?
False
Let d(g) = g**2 - 3*g + 3. Let c be d(2). Let k be c/1 - (269 + 2). Let l = -173 - k. Is l a composite number?
False
Let i(m) = m**3 + 8*m**2 - 9*m - 2. Let y = 4 - 11. Let n be i(y). Suppose -4*v - v + n = 0. Is v composite?
True
Let l(b) = -b - 1. Let j be l(-5). Suppose 5*m - 3*w - 2100 = 2*w, j*m = -3*w + 1673. Is m a composite number?
False
Let s be 0 + 4 - (-4 - -6). Let f(a) = -a**2 + 8*a + 11. Let r be f(9). Is r + (-1)/s*-70 a composite number?
False
Suppose 20 = -0*c + 4*c. Suppose 0*p = c*p + 5, -3*p - 178 = -5*h. Is h*(-2 + 6/2) a composite number?
True
Let k(x) = 3*x**2 - x - 5. Is k(-6) a prime number?
True
Let b(l) = 8*l**2 + 2*l - 3. Is b(-5) prime?
False
Let p = 65 + -10. Is p a composite number?
True
Suppose -2 = 3*s - 4*s. Suppose h = 2*h - 3*w - 59, -s = w. Is h a composite number?
False
Let b(z) = -3*z + 5 + 3*z - z. Let r be b(0). Suppose -r*g + 19 + 31 = 0. Is g a prime number?
False
Is 18/(-30) + -1 + 21006/10 a composite number?
False
Let s(b) = 37*b**3 - b + 1. Is s(1) composite?
False
Is (-1)/(