ber?
False
Let p(w) = -67*w - 4. Let r be p(6). Let i = -221 - r. Is i a composite number?
True
Suppose -4*j = -3*l + 19, -5*j - 4*l = -l - 10. Let b(u) = -810*u + 16. Let h(y) = -162*y + 3. Let p(m) = -2*b(m) + 11*h(m). Is p(j) composite?
False
Suppose -155 = f + 133. Let l = 139 - f. Is l composite?
True
Let h = 1 + -1. Suppose -4*i + 15 = -i, 5*u - 5*i - 70 = h. Let m = u + -4. Is m a prime number?
False
Let l be (2 + -3)/((-2)/8). Suppose -l*k + 115 = k. Let w = 48 - k. Is w composite?
True
Let q(c) = -9*c**3 - 9*c - 5. Is q(-3) composite?
True
Let u be 2231 + 2/1 - -3. Suppose -p - 6 = 2*p, -u = 5*c + 3*p. Is (c/(-6))/((-3)/(-9)) composite?
False
Let v = -5 + 1. Is ((-2)/(-6))/(v/(-636)) composite?
False
Let u = 3 - 0. Let o be ((-1740)/24)/((-2)/12). Suppose 0 = u*y + 2*y - o. Is y composite?
True
Let r = -3 - -3. Suppose j - 12 = -3*o + 2, -5*j + 4*o - 6 = r. Suppose 0 = -4*a - 2*i + 120, -3*i - 12 + 68 = j*a. Is a prime?
True
Let x(m) = 4*m**2 + 2*m + 1. Suppose -z + g - 7 = 0, -5*z - g - 27 = 2*g. Is x(z) a composite number?
True
Suppose k - 21 + 5 = 0. Suppose k = 2*x - 288. Let d = x + -73. Is d a composite number?
False
Let p(f) = -7*f + 8*f - 18*f + 1. Is p(-2) a prime number?
False
Let p be -2*1/(2/3). Let s be 881/p - (-1)/(-3). Is (-2)/(-10) - s/5 a prime number?
True
Let v(j) = 1. Let d(p) = 46*p - 20. Let a(o) = d(o) + 3*v(o). Is a(7) composite?
True
Let d(k) = 8*k**3 + 3*k**2 - 15*k + 12. Is d(7) prime?
False
Suppose d - 20 = 2*b + 3*d, -20 = 3*b + d. Is (-1034)/(-55) + (-1)/b prime?
True
Suppose 0*u - 3 = 3*u. Let c be ((-3)/u)/(3/4). Suppose 4*b - 16 = 0, 3*k = -c*b - b + 257. Is k a composite number?
False
Let b = -151 + 353. Is b prime?
False
Let o(c) = -c**2 - 11*c - 1. Let g be o(-8). Suppose 3*t - 15 = -3*w - 0*t, 0 = 5*w - 3*t - 9. Suppose 3*d = -2*r + g, -w = -5*r - 3*d + 59. Is r composite?
False
Let t = 29 - -31. Let f be (6/8)/(5/t). Suppose -f = -z + 5. Is z a composite number?
True
Suppose p = -5*g - 378, -2*p + 3 = -1. Let a = 135 + g. Is a a prime number?
True
Let m be -2 + -1 + 3 - -12. Let d = -9 + 8. Let y = d + m. Is y composite?
False
Let f(m) = -m + 8 - 1 + 1 + 0. Let j be f(9). Is (j - -2)*(-77)/(-7) a composite number?
False
Let w(v) = 0*v**2 - 2*v**3 - 1 + 7*v**2 + 2 - 6*v**2 + v. Suppose -3*g + 4*x - 18 = 0, 5*g + 2*x + x = -1. Is w(g) composite?
False
Let g(s) = 105*s**2 - s + 5. Is g(-3) a composite number?
False
Let d = 15 + -15. Is 844/(-8)*(-2 - d) prime?
True
Let v(d) = 542*d**2 + 2*d + 1. Suppose 0 = -3*q + 4*y - 11, -2*q - 13 = q - 5*y. Is v(q) composite?
False
Suppose 4*d - 3*d + 4*t = 38, -5*d + 110 = 4*t. Let l = 25 - d. Let v = l + -4. Is v prime?
True
Let c(j) = -j**2 + 14*j - 15. Let x be c(13). Is (-18)/15*25/x a prime number?
False
Let g(h) = 60*h - 29. Is g(6) a prime number?
True
Suppose -4*m + 2*r = -460, 0*m - 573 = -5*m + 2*r. Let y = -33 + m. Suppose -3*q + 34 = -y. Is q a composite number?
True
Suppose 2*r - 4*r = 0, -f + r - 1 = 0. Let m be (f - -2) + 0 + -126. Is (1 - 0)/((-5)/m) composite?
True
Suppose 3*f - 5*f + 532 = 0. Is f/8 - 1/4 a composite number?
True
Is ((-924)/(-36))/(1/3) a prime number?
False
Suppose -2*h - 95 + 409 = 0. Is h a composite number?
False
Let c be (-668)/(-6) - (-2)/(-6). Is (c/(-9))/((-2)/6) composite?
False
Suppose 16 = 4*a - 2*b + 4, -3*a + 9 = 2*b. Suppose -a*l + 0*l = -393. Is l prime?
True
Let x = 1314 + -727. Is x composite?
False
Is (1 + 10/(-5))*-6389 a prime number?
True
Is 5/(20/8) - -315 a composite number?
False
Let i(h) = -h**2 + 6*h + 6. Let g be i(9). Is -5*(4 + -2 + g) a prime number?
False
Suppose 2*g - 11 = -1. Let s = 26 + g. Is s prime?
True
Suppose -6*j = -j. Suppose -3*x + j*x + 489 = 0. Is x composite?
False
Suppose -746 = 5*y + 294. Let m = 297 + y. Is m a prime number?
True
Let t(n) = n + 9. Let k be t(-7). Suppose -3*s = -k*s - 4. Suppose s*g - g - 354 = 0. Is g composite?
True
Let x = 18 - 11. Let p be x/2*8/14. Suppose -2*a = 5*v - 201, p*v = 5*a - 622 + 163. Is a prime?
False
Let y be 2/(1 + (-2)/6). Let c(w) = w**3 + 2*w + 2. Is c(y) composite?
True
Let z(j) = 14*j + 2. Let n be z(2). Suppose 2*s - n = -0*s. Is s composite?
True
Let b(c) = 5*c**2 - 3*c - 10. Is b(-8) prime?
False
Suppose 0 = -2*t - k - 9 - 5, 4*t - 4*k = -40. Let d = 17 + t. Is 148 - (d/(-3))/3 prime?
True
Suppose -15 = p - 4*p. Suppose -q + 461 = h, -q + p*h = 4*q - 2275. Is q composite?
True
Let r = 11 + -5. Let b be r/5*(-4 - 36). Is 10/(-4)*b/20 composite?
True
Let u(g) = g**2 - 4*g + 1. Let f be u(5). Suppose -3*i + 190 = -122. Is i/f*(-6)/(-4) a prime number?
False
Let u = 199 + -86. Is u a composite number?
False
Let x = 9 + -8. Is -8 + 5 - x*-25 a composite number?
True
Let r(f) = -f**3 + f**2 + f - 8. Let s be r(0). Let b = s - -6. Is ((-31)/b)/((-2)/(-8)) a prime number?
False
Let c = 5426 - -2927. Is c a prime number?
True
Let d = 60 - 10. Suppose f - 2*r = 2*f - 25, 3*f + r = d. Suppose -n - 38 = -3*g - 0, f = g + 2*n. Is g a composite number?
False
Suppose -4*j = -1 - 11. Suppose j*s - 2*s = 473. Is s a prime number?
False
Let c = -191 + 396. Is c prime?
False
Let a = 20 + -12. Let k = a - 3. Suppose -k*o + 170 = 5*v - 80, -2*o = -8. Is v a composite number?
True
Let g = 105 + 6. Is g a composite number?
True
Let w(i) = -i**3 + i**2 + i + 79. Suppose -2*o = -3*o. Is w(o) prime?
True
Let u be 57 + (0 - (0 - -1)). Let p(n) = n**3 - 5*n**2 - 8*n + 9. Let a be p(6). Let t = u + a. Is t a composite number?
False
Let u(r) = 0*r**2 - 2*r**2 - r - 2 - 2*r + 8*r**3. Is u(3) a prime number?
False
Suppose 5280 = 5*k - g, 0*k = -k - 4*g + 1035. Is k prime?
False
Is 146 + -1 + (-8)/4 composite?
True
Let g be (-3)/(-1 - 2)*3. Let p(t) = 0*t**2 + t + 3*t**2 + 0*t + g*t. Is p(-3) a prime number?
False
Suppose -35 = m + 5*v - 12, v = -5. Suppose -2*p + m*g = -48, -4*g + 59 = 4*p - 13. Is p prime?
False
Is 30 - (0 + -1)*3 a composite number?
True
Let r be -3*(0 + (-16)/(-6)). Suppose -5*t + 130 = 5*x, x + 2*x + 4*t - 77 = 0. Let l = r + x. Is l a prime number?
True
Let q = -4 - -7. Suppose -17 = q*k - f - 66, 0 = -3*k - 2*f + 46. Let b = 65 - k. Is b prime?
False
Let u(l) = -2*l**3 + 2*l**2 - 2*l - 1. Is u(-7) a prime number?
True
Suppose -5*l + 4*u - 52 = -7582, u = -5. Is l prime?
False
Let y(a) = a**3 + 4*a**2 + 2*a - 1. Let j be y(-3). Let i(v) = v**3 + 7*v**2 + 7*v + 7. Let w be i(-6). Is (-22)/(-2)*(j - w) prime?
True
Suppose 0 = 4*y + 40 - 804. Is y prime?
True
Suppose -62 = -2*a - 0*a. Suppose 0 = -5*j + 506 - a. Is j composite?
True
Let t be 7 - (0 + (7 - 3)). Suppose -375 = t*o - 1902. Is o a prime number?
True
Suppose -15 = -5*z, g + g - 2*z = 0. Suppose 5*f = 5*l - 850, 0 = -l - 0*l + 4*f + 182. Suppose x + l = g*x. Is x a composite number?
False
Suppose 0 = -2*d - d + 5*h + 2357, d + 2*h = 804. Is d composite?
True
Suppose -3*k - 1358 = -5*k. Is k a composite number?
True
Let a(d) = 2*d + 3*d**2 + 0*d - 4*d. Let i(g) = g**2 - 5*g + 5. Let q be i(5). Is a(q) a prime number?
False
Let x(q) = -q + 1. Let v be x(-7). Let b = 7 - 5. Suppose -v = -b*n - 2. Is n a prime number?
True
Let a(c) be the second derivative of -2*c**3/3 - 11*c**2/2 - 5*c. Is a(-8) a prime number?
False
Let w(p) = p + 13. Let m be w(-9). Suppose f - 4 = -m*j, 2*j + 3*j = 4*f - 16. Let g(y) = y**2 + 22. Is g(j) a prime number?
False
Let s(u) = 62*u - 1. Let g be s(2). Suppose g = a + j, 4*a = -5*j + 490 - 2. Let k = a - 72. Is k a composite number?
True
Let y(k) = 51*k**2 + k - 1. Let a(j) = 51*j**2 + j - 1. Let n(r) = 4*a(r) - 3*y(r). Let t(l) = l + 7. Let s be t(-6). Is n(s) prime?
False
Let k be (0 - 1)*-1 - -16. Suppose -k = -h - 6. Is h prime?
True
Let x be 1 - -1 - (-1 + -3). Let p be 9/2*4/x. Suppose -j + p = -22. Is j a composite number?
True
Suppose s = 42 - 12. Let b = s + -21. Let x = b - -28. Is x a prime number?
True
Let i(c) = 37*c - 13. Let p be i(13). Suppose -5*g - p = -3*n - 4*g, 788 = 5*n + g. Suppose -5*y = -4*y - n. Is y a prime number?
True
Suppose -7*z + 2*z = 30. Let h(p) = p**3 + 6*p**2 - p - 3. Let b be h(z). Let m = 6 + b. Is m a prime number?
False
Let j(d) = d**3 - 4*d**2 - 6*d + 6. Let m be j(5). Is -2 + 1*(m - -150) a prime number?
True
Let g = 62 - 9. Is g a prime number?
True
Let c = -90 - -132. Suppose -4*s = -h - 17, 5*s - c = -5*h - 2. 