rue
Let n be 1/(-4) + 100/16. Suppose n*f = 2*f + 156. Is f composite?
True
Suppose 0 = 5*y + 20, 5*y + 11 = -3*g. Let q be (-12)/8*8/(-6). Suppose -g*a + 23 = -0*k + k, -q*k + 4 = 0. Is a prime?
True
Let o = 5 - 2. Let n(a) = a. Let k be n(o). Let z(h) = 3*h**2 + 2*h + 4. Is z(k) prime?
True
Let c(s) = 13*s - 6. Is c(5) a composite number?
False
Let k(a) be the first derivative of -75*a**4/2 - a - 5. Is k(-1) prime?
True
Suppose 4*o - 1043 = 5*j, -1064 = 5*j + 4*o - o. Is j/(-3)*(2 + 1) composite?
False
Suppose -8 = -2*l, 4*w - l = 7*w + 182. Let x = w + 121. Is x a composite number?
False
Let y = -284 + 411. Is y composite?
False
Let f = 7 - 3. Suppose -4*l + 3*n = -227, -2*l + 2*n - f*n = -110. Let p = l + 27. Is p a prime number?
True
Let y(n) = -n + 1. Let s be y(-6). Suppose 5 = -3*x - s. Is (-1 - -4)*(9 + x) composite?
True
Let i be (-1 + 0/3)*-2. Let l(z) = 31*z**2 - 4*z + 3. Is l(i) a prime number?
False
Let z(t) = t**3 - 3*t**2 + 3*t - 2. Let o be z(3). Let w(s) = s**2 - 5*s + 8. Is w(o) prime?
False
Suppose -395 = -4*v + 3*v. Is v composite?
True
Suppose -c = 4*w - 1190, -5*w + 0*c = 3*c - 1484. Is w a prime number?
False
Suppose -3*z - 2*x + 479 = -x, -5*x = -z + 133. Is z a composite number?
True
Suppose f + 1 - 4 = 0. Suppose f*v = 3, s = 5*v - 4*v + 64. Let j = 98 + s. Is j a composite number?
False
Let n = 520 + -309. Is n prime?
True
Suppose -5*s = 59 + 1. Is -3*((-1580)/s)/(-5) prime?
True
Let c(y) = 12*y**3 - 5*y**2 + 3*y + 4. Let f be c(5). Let j = -2042 + f. Is j/(-14) - (-2)/(-7) prime?
False
Suppose 3*w - 5*h - 266 = 0, -2*w + 3*h = -2*h - 184. Is w prime?
False
Suppose 0 = 2*q - 6, -x = 2*q - 4 - 8. Suppose -2*w + x*w - 3020 = 0. Is w a composite number?
True
Let i(o) = o**2 + 6*o - 15. Suppose -4*c = 2*s - 12, 12 = s + 2*c - 3*c. Is i(s) a composite number?
True
Let c = 7 + 7. Suppose 0 = -6*z + 2*z + 2*t + c, -3*t + 39 = 4*z. Is z prime?
False
Let l = 7 - 10. Let v = 8 + l. Suppose -i - v*o - 7 + 1 = 0, -i = -2*o - 15. Is i a composite number?
True
Is -2962*1*16/(-32) a prime number?
True
Let h = 477 - 211. Suppose h - 43 = y. Is y a prime number?
True
Suppose -4*x + 3827 - 271 = 0. Is x a prime number?
False
Let z = -4 + -3. Let f(l) = l**2 - 2*l - 5. Let k be f(z). Suppose -2*n + k = -10. Is n prime?
False
Suppose -28*l = -14*l - 40558. Is l a composite number?
False
Let x be -15 - 2/6*0. Let i = 7 + x. Is (-18)/i + 1/(-4) a composite number?
False
Let j(l) = l**3 - l**2 - 4*l. Let x be j(6). Suppose -s - x = -4*s. Is ((-2)/4)/((-2)/s) a prime number?
True
Suppose 2130 = 4*r - 118. Is r a prime number?
False
Let d(r) = -r**3 + 10*r**2 - 3*r - 1. Suppose -l + 6 = -3. Is d(l) prime?
True
Let z(k) = k**3 + 5*k**2 + k + 3. Let b be z(-5). Is b/3*(-4770)/12 a prime number?
False
Let a(s) = -4*s**3 - 4*s**2 + 5*s + 7. Is a(-5) a composite number?
True
Let d = -859 + 1518. Is d a prime number?
True
Let v be 2/((-4)/(-8)*4). Let t(a) = -a**3 + 5*a**2 - 2*a - 3. Let f be t(4). Is 139*v*(-4 + f) prime?
True
Let y = 343 - 499. Let z = y + 269. Is z composite?
False
Suppose 2*y = -3*h + 79, -5*h = -3*h - 4*y - 58. Suppose 0 = -2*m + 305 + h. Is m prime?
False
Suppose -5*x + 382 = 107. Is x composite?
True
Let x(w) be the second derivative of -2*w**3 - 7*w**2/2 - w. Is x(-7) prime?
False
Suppose 5*j + 380 = 5*f, 1 = j - 2. Is f a composite number?
False
Suppose 5*s = 4*h - 6*h + 427, -3*h = 3*s - 249. Is s a prime number?
False
Suppose -4 = -5*g - h + 10, g - 2*h - 5 = 0. Let n(q) = 10*q + 3. Is n(g) composite?
True
Let d be -3 - (1 + 0)*3. Let u = 6 + d. Suppose u = 3*h - 556 + 175. Is h a composite number?
False
Suppose -557 = -s + 188. Is s a composite number?
True
Suppose -4*u - 2 = -3*x - 3*u, -4*x = -4*u. Is 1020/5 + (-1)/x prime?
False
Is (0 + -1)/(-2)*970 prime?
False
Let o = -41 - -132. Is o prime?
False
Suppose 5*z + 175 - 45 = 0. Let y = 72 - z. Suppose 0 = 3*f + 3*s - 621, -2*f + y = s - 312. Is f prime?
False
Let d be 3/(-2)*16/(-6). Is ((-3972)/6)/(d/(-2)) a prime number?
True
Let f be (16/6)/((-6)/(-9)). Suppose -f*c + 8*c - 119 = -r, 3*r = 3*c - 108. Is c a prime number?
True
Suppose 2*o + 2*i = 196, -3*o + 59 = 2*i - 234. Is o composite?
False
Suppose 5*j + 28 = -2*w, 0*w = -5*j + 5*w. Is 466/j*(10 + -12) composite?
False
Let l = 13 + -10. Is (l + -2)*-65*-1 a prime number?
False
Suppose -3*q = -2 - 67. Let w = q - 8. Suppose d + w - 91 = 3*m, -2*m = -4*d + 354. Is d prime?
False
Suppose -6*f = -11*f - 40. Let x = 10 + f. Suppose -141 = -x*j - j. Is j composite?
False
Suppose 5*j = -278 + 1078. Suppose -2*x = -j + 42. Is x a prime number?
True
Let v(d) = 57*d + 30. Is v(9) a prime number?
False
Suppose 6*d - 2046 + 216 = 0. Is d a prime number?
False
Let k be 2/5 - (-78)/5. Suppose 4*v - 1 = -a, -5*v - k + 1 = 0. Is a prime?
True
Suppose 266 + 204 = 5*n. Is n prime?
False
Let h(s) = 213*s**2 + 2*s - 1. Is h(1) a composite number?
True
Suppose 14 = w - 5*u, 4*w - 8*u + 3*u = 116. Suppose 0*m + m + 3*l = w, 4*m = -2*l + 126. Is m prime?
True
Suppose -5*j - 5*s = 180, -23 = -3*j + 2*s - 116. Let h = -7 - j. Is h prime?
False
Suppose 10*j = -397 + 2427. Is j a composite number?
True
Suppose 6*i = 2*i + 1004. Is i prime?
True
Let q be (-1)/((28/(-8))/7). Suppose 614 = -q*f + 4*f. Is f composite?
False
Let f(h) = h**3 - 4*h**2 - 2*h - 2. Let s be f(6). Let b be 2*(10/(-4) + 3). Let x = b + s. Is x composite?
False
Let p(c) = -111*c - 3. Let b be p(-2). Suppose 3*u + 2*v - b = 0, -5*v = u - 4*u + 198. Is u prime?
True
Let n(t) = t**2 + 4*t - 3. Let g be n(-5). Suppose 0 = g*v - 7*v + 90. Suppose -2*z - v + 244 = 0. Is z prime?
True
Suppose -4*x = -4*a + 9 + 3, -2*x + 10 = 2*a. Suppose -4*s = 2*g - 104, 4*g - 9 = 2*s - 51. Suppose 5*z - s = a*p - 74, -2*p = z - 21. Is p a composite number?
False
Let q(m) = 13*m + 5. Is q(8) a composite number?
False
Let w(c) = 14*c**2 + c - 74. Is w(27) prime?
True
Let p be (4/(-2))/(2/(-3)). Is (p/(-6))/(3/(-870)) prime?
False
Let k(b) = -b + 1. Let g be k(1). Let a(q) = -q + 5. Let w be a(4). Suppose g = 4*u - 43 - w. Is u a prime number?
True
Let m = 91 + -38. Is m prime?
True
Let n(b) = 2 - 3 - 4*b**2 + 3*b**2 - 4*b. Let x be n(-3). Suppose 5*i - x*j = 71, i + 34 = 3*i + 2*j. Is i a composite number?
True
Let p(v) = 110*v**3 + v**2 + 2*v + 3. Is p(4) a composite number?
True
Let k(t) = t**2 + 11*t - 10. Let u be k(-12). Is (2/u)/((-4)/(-212)) composite?
False
Suppose 40 = 3*h + 10. Suppose -j = -r + 8, -2*r + 19 = -0*r + j. Let d = h + r. Is d prime?
True
Let g = -7 - -12. Suppose -3*b - 96 = -3*w, w = 2*w - g*b - 20. Is w composite?
True
Let u be (0 + 27)*(-2)/(-6). Suppose -s - 4*s = 0. Let w = u - s. Is w prime?
False
Suppose 4*p + 28 = 12. Let u = -7 - p. Is u/4*(3 + -7) composite?
False
Suppose 0 = 9*h - 163 - 1844. Is h prime?
True
Suppose -4*x = -5*d + 809, d - 218 = 5*x - 52. Is d prime?
False
Suppose 9*h = 3*h + 522. Is h a composite number?
True
Suppose -20 = -4*m - 4*c + 20, 3*m + 4*c = 30. Suppose -3*x + 97 = 4*l - 12, l - 5*x = m. Is l a prime number?
False
Let w = -511 + 2964. Suppose -2*r - r = -2*f - 1475, -5*r - 2*f = -w. Is r a prime number?
True
Let c = -2 + 5. Is -1 + 1 + 8 + c a composite number?
False
Suppose -3*x - 6 = -0*x. Let o be x/3*(-15)/2. Let u(b) = -b**3 + 5*b**2 + 4*b + 1. Is u(o) prime?
False
Let q(k) = -9*k**2 - 9*k + 15. Let p(y) = 5*y**2 + 4*y - 8. Suppose -a - 25 = 4*a. Let g(i) = a*p(i) - 3*q(i). Is g(4) composite?
True
Let c(l) = -16*l**3 + 2*l**2 + 3*l - 2. Let v be c(2). Let x = v + 80. Let h = -26 - x. Is h composite?
True
Let o(k) = 505*k**2 + k - 5. Is o(2) a composite number?
False
Let t be -2 - -1*6 - 0. Suppose -r - r + 36 = t*x, 0 = -5*r - 20. Is x prime?
True
Suppose 0 = -3*d + 2*d + 4*t + 31, -5*d + 60 = -t. Let z = -8 + d. Suppose -3*m - 7 = -z*p - 1, -18 = p - 5*m. Is p a composite number?
False
Let h(q) = q**2 - 7*q + 4. Let r be h(7). Suppose b = -0*b + r. Is b a prime number?
False
Suppose -3*u + u = -12. Let j = u - 6. Is (2 - j)/((-4)/(-110)) a prime number?
False
Suppose -9*q + 705 = -6*q. Is q prime?
False
Let d(b) = -b**3 - 2*b**2 - b + 1. Let s be d(-3). Let m = s - 9. Suppose -2*z = -m*i - 34, -i + 4*i = 3*z - 42. Is z a prime number?
True
Let n(y) be the first derivative of y**7/840 - y**6/120 - y**5/20 + y**4/8 + 