ich is bigger: a or 3?
3
Let w = -4/45 - 16/63. Which is smaller: 0 or w?
w
Suppose 11 + 13 = -2*o. Let v be (-2 - -2)/(-1) - o/(-1). Let b(h) = 4*h - 1. Let j be b(-3). Are v and j non-equal?
True
Let x(v) = -v**2 - 7*v - 4. Let k be x(-5). Let w be (k/(-40))/(-3 + 6). Which is bigger: w or 1?
1
Suppose -4 = -2*v - 90. Let k = v + 3. Is -40 at most k?
True
Suppose -2*v + c - 22 = 0, 0 = 3*c - 2*c - 4. Let k = 9 + v. Let m(x) = -x**3 + 6*x**2 + 9*x - 15. Let o be m(7). Are k and o nonequal?
True
Let k(i) = 3*i + 19. Let n be k(-7). Let z = -2 - n. Which is greater: z or 10/11?
10/11
Let i(p) = -p**3 + 23*p**2 + 50*p + 9. Let r be i(25). Suppose 3*c + r - 6 = 0. Which is bigger: c or 2/393?
2/393
Let p be (0/1)/(7 + -8). Suppose -5*w + 2*w + 18 = 0. Suppose p = -6*z - w. Is -1 >= z?
True
Suppose -4*v + 40 = 2*r - 184, 10 = -2*v. Which is greater: 121 or r?
r
Suppose -i + 29 = -2*z, -5*i = 3*z - 12 - 68. Suppose 5*o + 1 + i = 0. Is o smaller than -2?
True
Let z = 129 - 74. Let m = -497/9 + z. Is m < 0?
True
Let k = -65 - -92. Let y be (-201)/k*-3*(1 - -2). Is 66 > y?
False
Let i(q) = -30*q + 4. Let t be i(1). Do -21 and t have different values?
True
Let m be (-45126)/(-322) - (-2)/(-14). Is m less than or equal to 140?
True
Let w = 115 + -107. Suppose 0*s + s = -2*y + 3, 4*s = 2*y + 2. Which is smaller: y or w?
y
Let o = -201 + 214. Which is greater: -9 or o?
o
Let w = 0.64 - 12.14. Let f = 0.5 + -1. Let d = f + w. Which is smaller: -2/7 or d?
d
Suppose 0 = 4*f - 0*f. Let r = f - -12. Let q = r - 14. Which is smaller: -3/7 or q?
q
Let p = -1257 - -1256.94. Is p at least as big as 109?
False
Suppose -10 = -4*i - 2*j, -2*j + 7*j = 2*i - 35. Let h = i + -2. Which is bigger: 1 or h?
h
Let a = 11 + -29. Let d = a - -15. Is 2 less than d?
False
Let n = 29 + -30. Suppose 0*h + 6 = -3*h. Which is smaller: h or n?
h
Let n = 101 - 65. Suppose 4*u = 3*p - 120, 3*p + 5*u - 74 = 19. Is p at most n?
True
Let b(h) = -h**3 + 39*h**2 - 41*h + 113. Let x be b(38). Which is greater: x or 0.0667?
0.0667
Suppose 0 = 4*l + 2*g, -5*g + 3*g = -5*l + 9. Let q = -8 + 13. Suppose 0 = -q*f + l + 4. Which is smaller: -1 or f?
-1
Let u = 2 + 6. Let r be u/21 + (-6)/21. Let i = -98 + 492/5. Is i equal to r?
False
Let x = -185.8 - -186. Is x smaller than 5/14?
True
Let y = 2563/12 + -859289/4020. Let j = 2/67 - y. Which is greater: 31 or j?
31
Let y = 1340 + -1248. Is 90 equal to y?
False
Let w = 8 + -3. Suppose 9 = -3*z, w*s - 53 = -z + 2*z. Suppose -8 = 4*i, 4*y - 2*i - 34 = y. Is s at most y?
True
Let u be 6 + -4 - 2/(-1). Let c be (-9)/(-3) - -19 - -4. Let g = c + -23. Is g at most as big as u?
True
Let b = -21 - -20. Let n be (-7)/(-21)*(-12)/b. Are 2 and n nonequal?
True
Let f = 24 + 4. Let o = 8 - f. Is -19 < o?
False
Let r(s) = 44*s + 19. Let t be r(-1). Is -27 at most as big as t?
True
Let c = -68.1477 + 0.1477. Is c < 4?
True
Let c = -153 + 154.64. Let f = c + 2.36. Is f < 1/26?
False
Let b be ((-6)/(-15))/(2/80). Suppose -23 = -i + u, 0*u = -u + 2. Let x = i - 9. Is b at least x?
True
Let k(t) = t**3 + 11*t**2 + t + 6. Let o be k(-11). Let l = 195/16 - 271/16. Which is smaller: l or o?
o
Let i be (195/(-26))/(2/(-4)). Which is bigger: 3 or i?
i
Let z(l) = -4*l - l**3 + 6*l + 4*l**2 + 2 + 0*l**2 + 0. Let x be z(4). Suppose x = -o + 6. Is o less than -3?
True
Let m = -2 + 1.9. Let u = -127.7 - -128.12. Which is greater: u or m?
u
Let c be (1/(-4))/(2/(-8)). Let a be 154/7*c/2. Let o(s) = s**2 + s + 10. Let p be o(0). Are a and p equal?
False
Suppose -9*h + 994 = -2930. Is h greater than or equal to 436?
True
Suppose -m = 2*m + 6. Let y be ((-1)/(-1))/(m - -3). Let w = -24/31 + 566/651. Which is greater: w or y?
y
Let d = -108 - -85. Let a = d - -30. Which is smaller: 3/8 or a?
3/8
Let l = -4744/21 + 226. Let m(c) = -4*c - 28. Let f(i) = -i. Let u(q) = 2*f(q) - m(q). Let x be u(-14). Which is greater: x or l?
l
Let d = 249998/11 - 22709. Which is bigger: 18 or d?
d
Let t = 2.43 - 2.23. Does t = 7/15?
False
Let i = -1.27 + 0.27. Let c = 13.8 + -8.5. Let m = -1.7 - c. Is i not equal to m?
True
Let l be 302/(-8) - 1/4. Suppose 113 = 3*g - 6*g + d, 173 = -5*g - 6*d. Which is smaller: g or l?
l
Let t be 1/(-3) - ((-15)/5)/9. Suppose t = r - 17 + 2. Are 14 and r non-equal?
True
Let p = -74.5 - -69.8. Which is greater: -1 or p?
-1
Let s = 6.8 - 2.8. Suppose -2*y + 9 = -2*w - y, 4*y = 4*w + 12. Let v = 4 + w. Which is smaller: s or v?
v
Let n(j) = j**2 + 7*j + 9. Let k be n(-6). Suppose k*l - 5*u + 122 + 50 = 0, 2*u = 3*l + 157. Which is smaller: -47 or l?
l
Suppose 3*a = -g + 2 + 11, -5*a = -3*g + 25. Let j be (25/g)/5*-2. Does -3/13 = j?
False
Suppose 3*x = -8*f + 3*f + 10, 0 = 4*x - 4*f + 8. Let d = 8718/19 - 459. Are x and d nonequal?
True
Let n = 82.4 + -62.4. Which is greater: 4/3 or n?
n
Let p = 6 + -3. Suppose w = 2*w - 2*g + 3, p*g = -3*w - 9. Let a be 132/(-16) + w/4. Which is smaller: a or -11?
-11
Suppose 2*o + 5*q = 7, 2*q + 4 = -4*o + 26. Suppose -3*y = -p - 9, -2*p = -0*y - 2*y + o. Let b = -293/6 - -49. Are b and p unequal?
True
Let z = 41.42 + -41. Let p = -0.32 + z. Which is bigger: 8 or p?
8
Suppose 2*v = -l + 7*v + 23, 4*l - 28 = 4*v. Suppose l*a = 4*a + 16. Suppose 3*w - 7*w = 64. Are a and w equal?
True
Let o = 149 - 149. Let z = -15 - -5. Which is smaller: o or z?
z
Let f(q) = 29*q - 44*q - 75*q + 0*q. Let i be f(-2). Let g be 57/i + 2/(-5). Is -1 at most as big as g?
True
Suppose 4*m - 5*i = -520, -3*m - 5*i = 45 + 310. Is -125 greater than m?
False
Let z = 16447/44055 - 68/495. Is 0 at least z?
False
Let q = -1664 + 1751. Is 93 at most q?
False
Suppose -3*j = b - 9, 3*b = -5 + 14. Let m be ((-5)/j)/(7/(-14)). Let l(g) = g**3 - 5*g**2 - 1. Let k be l(m). Which is smaller: -3 or k?
-3
Let t = -199.7 + 200. Is 17 < t?
False
Let i be (24212/4950)/(-2) - 0. Let m = i + 1/825. Let r = m + 10/9. Is r at most as big as -1?
True
Let g = -0.24 + 0.24. Let r = 4.93 + 0.07. Let k = r - 4. Is k at most as big as g?
False
Let d = 2.26 + -0.26. Which is greater: d or -0.18?
d
Let s be (-3)/9*(-2 - -2)/(-1). Are s and -6/5 non-equal?
True
Let n = 58/7 + -1696/203. Let b be (4/(-6))/(6/9). Let r = 0 - b. Which is bigger: r or n?
r
Let m = 0.68 + -0.6. Let g = -7.1 - -6.1. Which is smaller: g or m?
g
Let x = 3 + -3.1. Let f be ((-536)/3)/((-620)/1770). Let p = f - 510. Which is bigger: x or p?
p
Let h = -2 - -7. Suppose 0 = h*l - 0*g + 2*g - 18, -3*l + 18 = 3*g. Let d(m) = m + 1. Let p be d(1). Do l and p have the same value?
True
Let n = -415 + 418.9. Is -4 at most n?
True
Suppose -2*m + 2*q - 12 = -4, -2*m + 4*q - 8 = 0. Let u be 2*6/m - 2. Which is smaller: -4 or u?
u
Suppose 0 = -4*g - t - 301, -4*t = 3*g - 2*t + 227. Is -71 not equal to g?
True
Suppose 12*v + 9 = 15*v. Let m be (-468)/9 + v/3*2. Which is greater: -49 or m?
-49
Let n = 43 + -44.02. Let a = 0.02 + n. Suppose -5*c + 0 = 20. Is a less than c?
False
Suppose 3*i = 6*d - 4*d - 54, -63 = 3*i - 5*d. Let w = i + 4. Which is bigger: -10 or w?
-10
Let x be 1/7 + (-1257)/(-21). Suppose 8*m - 13*m = x. Do -13 and m have different values?
True
Let j be -6 + -97 + (-10 - 0). Is -112 less than j?
False
Suppose -4*q + 0 = 4. Which is smaller: q or -9/40?
q
Suppose 2*d - 24 = 4*y, 8*y + 5*d = 3*y - 45. Is y < 0.079?
True
Let x = 0.336 - 153.636. Let q = 161 + x. Let y = q - 8. Which is smaller: y or -2?
-2
Let w(o) = 179*o**3 + 3*o - 3. Let f be w(1). Which is bigger: f or 180?
180
Let v be (-6)/(-4)*156/(-18). Let n = -44 + 33. Is n at least v?
True
Let n = -35/32 + -5/32. Which is smaller: 0.21 or n?
n
Let r be ((-7)/4)/((-5)/4). Suppose 101*a - 93*a = 0. Which is smaller: a or r?
a
Let o(v) = v**3 + 4*v**2 - 5*v - 3. Let a be o(-4). Let j = a - 15. Let k be 2/12 + j/(-12). Is 2/27 > k?
True
Suppose 0 = -175*s + 185*s + 40. Is s greater than or equal to -13?
True
Let r be (2/(-6))/((-55)/10). Let l = -5 + 8. Suppose -3*j - i = 0, l*i = 2*j - 6*j. Is j at least as big as r?
False
Suppose 5*v - 22 = -3*c, 4*v + 45 = -4*c + 61. Which is smaller: c or 4/483?
c
Let a(o) = o**3 + 7*o**2 + 6*o - 1. Suppose 5*f + 32 = -2*s, s - 17 = 2*f + f. Let j be a(f). Which is smaller: -1/4 or j?
j
Let d be -3*((-15)/765)/((7/10)/7). Let y be (-2 - -1) + (-1)/(-1). Which is greater: d or y?
d
Let p = -517126/17 + 30435. Let b = -