 + 61. Is r(26) a prime number?
True
Let d be (-18 + 6)/(2*-1). Suppose -d*i - 4067 = -13*i. Is i composite?
True
Let a = -42 + 79. Is a prime?
True
Let b(p) = 18*p**3 - 3*p**2 - 8*p + 9. Is b(4) composite?
True
Let v(r) = -2*r + 22. Let i be v(0). Suppose -3*g + i = 4. Is g composite?
True
Let b = 3802 + -2543. Is b a composite number?
False
Let n(i) = i**3 - 3*i**2 - 7*i + 3. Let r be n(5). Let l(y) = y**2 + 8*y + 5. Let f be l(-6). Let t = f + r. Is t a composite number?
False
Let m = 964 + 117. Is m prime?
False
Suppose -288 = -3*t + 1491. Is t a composite number?
False
Suppose -19*z = -22*z + 255. Is z prime?
False
Suppose 3*l = -0*l + 9. Is 113 + 0 + -1 + l prime?
False
Let j(y) be the second derivative of y**5/20 - y**3/2 + y**2/2 - 4*y. Is j(3) composite?
False
Let j be -5*(-4)/40*6. Suppose -j*u + 754 = -419. Is u prime?
False
Let g(o) = -o**2 - o + 8. Let p(i) = 1. Let s(n) = -g(n) - p(n). Is s(7) a composite number?
False
Let z(r) = r**2 + 3. Let i be z(-5). Is (i/8)/(2/116) a composite number?
True
Suppose -t - 43 + 932 = 0. Is t composite?
True
Suppose 2*i - 3*i = 0. Let k(v) = v**3 + v**2 - v - 1. Let a be k(0). Is 3 + a + i + 2 a prime number?
False
Is (-18105)/(-55) - (-2)/(-11) a composite number?
True
Let s(j) = j**3 + j**2 + 7. Suppose a + 0*a = 0. Is s(a) a prime number?
True
Suppose 0 = -5*o - 0*x - x + 85, -3*o = -3*x - 33. Suppose -4*u + 0*u + o = 0, -5*m + u = -1461. Is m a composite number?
False
Suppose -l = -5*l + 564. Is l a composite number?
True
Let n = -416 - -132. Let t = n + 475. Is t prime?
True
Suppose 5*r - 9536 = -2*d, -2*r - 3*d + 1333 + 2477 = 0. Suppose 5*y - n = 1906, y = 6*y - 3*n - r. Suppose 0 = 5*i + 4*w - y, -2*w + 6*w - 73 = -i. Is i prime?
False
Suppose 3*t + 3*f - 696 = 0, 3*f = -2*t - 160 + 621. Is t composite?
True
Let d(o) = -36*o**3 - 2*o**2 - 2*o - 1. Is d(-1) composite?
True
Suppose 6*g - 652 = 2*g + 4*x, 0 = -3*g + 4*x + 485. Suppose -g = -w + 32. Is w composite?
False
Suppose y - 736 = 415. Is y a prime number?
True
Let y(z) be the second derivative of 5*z**4/12 + z**2/2 + z. Let f be y(-1). Is f/(-6)*78/(-2) a composite number?
True
Suppose 0*l + 5*w = -4*l + 13387, -5*l - 3*w = -16724. Is l a composite number?
False
Let s(t) = t**2 + 10*t - 7. Let f be s(-11). Suppose 5*y - 1212 = y. Suppose 4*p = j + y, j + j - 318 = -f*p. Is p prime?
False
Suppose 6 = -3*s + 4*w, 22 + 2 = -5*s + 2*w. Let h(j) = j + 11. Let b be h(s). Suppose -d - c - 28 = -3*d, -b*c = -4*d + 50. Is d composite?
True
Suppose 3*w + 5*m - 35 = -2*w, 26 = 5*w + 2*m. Suppose -b - b = w*y - 130, -5*b + 3*y + 260 = 0. Is b a composite number?
True
Let h = 527 - -54. Is h a composite number?
True
Suppose -3*g - 136 - 1142 = 0. Let y = -227 - g. Is y composite?
False
Let i(n) = 1 - 5*n + 5*n + 5*n**2. Let t be i(1). Suppose 0 = u - t - 41. Is u a composite number?
False
Let z = 374 - 250. Suppose -3*n - z = -7*n. Is n a prime number?
True
Let l(i) = -11*i**3 - 3*i**2 + 2*i + 4. Let g be l(-3). Suppose 3*w = -g + 52. Is (-1)/(w/(-74) + -1) composite?
False
Let d be (16/(-12))/((-2)/(-6)). Let r be 11/3 - d/(-6). Suppose c = r*c - 74. Is c composite?
False
Let f = 0 + 4. Suppose 0 = -4*z - 2*t - 3*t + 37, 0 = 4*z - 3*t + 3. Let a = z + f. Is a composite?
False
Suppose 0*h - 5*t = -h + 1202, 0 = -4*h - 3*t + 4877. Is h a composite number?
False
Suppose 5*l + 141 + 919 = 0. Is (0 - l)*20/16 prime?
False
Let c = -8 - -8. Let m = 0 - c. Suppose -5*u - 2*w = -537, m = u - w + 4*w - 97. Is u a composite number?
False
Suppose -3*c + 3*m = -1986, 2*c + 2*c - 2633 = m. Suppose -3*z = -0*z - c. Is z a composite number?
True
Suppose 4*v = -3*x - 12, 4*x - 5*v = x - 12. Let r = x + 0. Is (-22)/r + 6/4 prime?
True
Suppose 4*t + 5*k - 389 = 0, 4*t + 0*k + 4*k = 384. Is t composite?
True
Let c(g) = 58*g - 35. Let f(w) = 19*w - 12. Let r(i) = 6*c(i) - 17*f(i). Is r(5) prime?
False
Let n(c) be the first derivative of -1/4*c**4 - 1/2*c**2 + 53*c + 1 - 1/3*c**3. Is n(0) prime?
True
Let t = 66 - -14. Suppose -q = -12 - t. Suppose -n = 3*n - q. Is n composite?
False
Let u(w) = -w**3 - 8*w**2 + 11*w + 13. Let h be u(-9). Let r = 3 - h. Let q(o) = -o**3 + 10*o**2 - 10*o + 7. Is q(r) a composite number?
True
Let c = 1425 + -773. Suppose 4*k = -0*k + c. Is k composite?
False
Let d(l) = -l**3 + 7*l**2 - 7*l - 3. Let b be d(6). Let k(g) = -g**2 - 12*g + 8. Is k(b) a composite number?
True
Let a be (-2)/8 + 2/8. Suppose -2*s + s + 22 = a. Is s a prime number?
False
Suppose -3*i = 4*j + 140, -3*i = -7*i + 3*j - 220. Suppose 0 = v + 2*n + 25, -v - 3*n - 20 = -2*n. Let t = v - i. Is t a composite number?
False
Let r be (1 - 1) + -2 + 28. Suppose 0 = 5*c - r - 9. Is c composite?
False
Let h be 5/10 - (-1)/(-2). Suppose -3*q = -h*q - 372. Suppose -m - 50 = -q. Is m prime?
False
Let r be (5 - 4) + (-1 - 7). Let y(b) = -20*b + 3. Is y(r) prime?
False
Let r = -336 - -747. Is r composite?
True
Let x(b) = 214*b**3 + b**2. Let o be x(-1). Let p be (-2)/6*o/(-1). Let h = p + 150. Is h composite?
False
Let m(o) = 2*o**3 - 10*o**2 + 7*o - 3. Is m(8) a prime number?
False
Let f = 98 + -67. Is f prime?
True
Suppose 0*n - 2*n + 1258 = 0. Is n prime?
False
Let i = -12 - -8. Let k = i - -18. Is k a prime number?
False
Let n(t) be the third derivative of -t**6/120 - t**5/30 - 5*t**4/24 - t**3/2 - 7*t**2. Is n(-3) composite?
True
Let r be 38*(2 - 1)*1. Suppose -2*c - 125 = -0*d - 3*d, -140 = -3*d - c. Let o = r + d. Is o prime?
True
Suppose 10 = 3*j + 2*j + 3*s, -4*s = -j + 2. Suppose 0 = z - j*z + 4. Suppose 0 = -z*r + r + 57. Is r prime?
True
Suppose m - 390 = -m. Suppose 1 = 2*n - 3. Suppose n*p - m = -p. Is p a prime number?
False
Suppose 0 = -4*c + 11 + 9. Suppose 289 = 6*i - c*i. Is i prime?
False
Let j = 115 - -44. Is j a composite number?
True
Let q(o) = 187*o**2 + o. Let x be q(1). Suppose 1625 = 3*u + x. Is u a composite number?
False
Let d = 21 + -19. Suppose 4*r - n = 193, 245 = 5*r - 0*r - d*n. Is r a prime number?
True
Suppose -2*j - 10 = 2*t, 0*j + 65 = -5*t + 5*j. Let a(m) = m**2 + 10*m + 10. Let z be a(t). Let l = z + 20. Is l a prime number?
False
Let b be (-121)/(-1) - 2 - 1. Is b*(0 + (-1)/(-2)) composite?
False
Suppose 0 = 2*h - 5*h - 612. Is -2 + h/((-16)/4) a composite number?
True
Suppose -4*s - s + 2*i = 18, i = -2*s. Let z be s/6*-2*60. Let x = -21 + z. Is x a composite number?
False
Let q = -123 + 121. Let y = 22 + -13. Is (y + q)*(-4 + 21) a prime number?
False
Let k be 103 + 3/(9/(-6)). Is (-3 + k/1)/2 a prime number?
False
Let d(w) = -w**3 + 4*w**2 - 2*w - 1. Let h be d(2). Suppose -l + h*t + 0 + 5 = 0, l + 5*t = 37. Let g = -2 + l. Is g a composite number?
True
Let n(d) = -108*d**2 + 2*d - 5. Let y be n(4). Let l = -1114 - y. Suppose -3*i - 3*z = -53 - 319, -l = -5*i - 2*z. Is i a prime number?
False
Let z(a) = 7*a - 2. Let v be z(-5). Let i = 90 + v. Is i a composite number?
False
Let i = 348 - 41. Is i a composite number?
False
Suppose -5*m + 1251 = -1154. Is m prime?
False
Suppose 0*k + 3 = 3*k - 2*b, k + 2*b = 1. Let l(p) = 5*p. Let h be l(k). Suppose 2*u - h*o = -42 + 101, 5*u - o = 182. Is u composite?
False
Let d(c) = c**2 - 9*c + 3. Let l be d(7). Let w = -7 - l. Suppose 2*k - 3*m - 21 = 0, w*k - 21 = 3*k + 5*m. Is k prime?
False
Let g(a) = -2*a**3 - 4*a**2 - a + 2. Let o be g(-2). Suppose o*l = 142 + 90. Is l composite?
True
Let w(p) = 22*p**2 + 9*p - 12. Is w(5) a prime number?
False
Suppose 0 = -5*s + 10. Suppose 559 = -s*a + 3*a. Is a prime?
False
Suppose -n - 4*n - 3*s + 1669 = 0, 4*s + 678 = 2*n. Is n a prime number?
False
Suppose a = 5*z + 2*a - 30, -5*z + 30 = -5*a. Let v = z + 227. Is v a composite number?
False
Suppose -3*y - y - 420 = 5*r, -4*r - 295 = -5*y. Let v be r/(-14) + (-2)/(-7). Let f = 8 - v. Is f a composite number?
False
Suppose 243 + 263 = 2*g. Is g a composite number?
True
Let o(l) = -l**3 - l**2 - 4*l + 2. Let v(a) = a**2. Let q(x) = -o(x) + 5*v(x). Is q(-5) a prime number?
True
Let t = -9 - -14. Suppose -y + 1 + t = 0. Is 4/y - 978/(-18) composite?
True
Let p(q) = -12*q**2 - 1. Let x be p(3). Let w = -76 - x. Is w a prime number?
False
Let s(x) = -63*x**3 - 4*x**2 + 4*x + 38. Is s(-5) a prime number?
True
Suppose 0*k + 2*k - 54 = -5*d, 3*k = -5*d + 76. Is k a composite number?
True
Suppose 3*n + 4*f = 26, 