1?
z
Let i be 2266/18 - (-17)/51. Suppose 7*v = 2*v + 630. Let b = v - i. Which is smaller: -1 or b?
-1
Let o = -4989/7 + 711. Let r = -49 - -56. Let k(c) = -c**3 + 7*c**2 + 2*c - 15. Let y be k(r). Is o > y?
False
Suppose -y = -4*z - 0*z + 19, -3*z + 10 = -5*y. Let a be (-102)/42 + (1 - -6). Does z = a?
False
Let d = -7.1 + 1.1. Let g = -17 - -17. Is d less than g?
True
Let a be 8685/(-204) + (-1)/4. Let v = a + 43. Let m be 8/10 - 11/(-55). Are m and v non-equal?
True
Let n(h) = -2*h - 2. Let v be n(-3). Suppose -v*x - 2 = -14. Suppose -2*j = j + x. Are -2/37 and j unequal?
True
Suppose -3*n - 66 = -n. Let a be 34/(14 - 7 - 8). Which is smaller: n or a?
a
Let k be 30/12*(-8)/10. Let w = -11 - k. Let g(n) = n**3 - 6*n**2 + 4*n - 2. Let h be g(5). Are h and w nonequal?
True
Let w = 30 - 28. Suppose y + 1 = 0, g = y + w*y + 3. Is -2 equal to g?
False
Let x = 0.2 - 0. Let d = 121 + -119. Suppose 102 = -d*b + 90. Which is bigger: b or x?
x
Let m = 1353 + -9473/7. Which is smaller: m or 0.07?
m
Let a = 20.8 - 119.8. Which is greater: -0.1 or a?
-0.1
Let z = -2.1 + 0.4. Let h = z - -1.8. Is 11 at least h?
True
Let s(x) = 4*x**2 - 2*x + 1. Let b be s(3). Let a = 11 - b. Let t be (7/(14/a))/(-2). Is t at most as big as 4?
False
Let u be -5*1/((-5)/(-6)). Let w = u - -15. Let q be (2/6)/(3/w). Is 1/6 at least as big as q?
False
Let x = 60/19 + -1898/589. Which is smaller: 0.04 or x?
x
Let v = 12479940 + -1073240441/86. Let f = v - 400. Let i = -131/172 - f. Do -2 and i have the same value?
False
Let k(f) be the second derivative of f**5/20 + 7*f**4/12 + 5*f**3/6 - 3*f**2/2 - f. Let c be k(-6). Let x be -1 - ((-2)/1 - 0). Is x less than c?
True
Let o = -3.7 + 1. Let w = o + 2.78. Which is smaller: w or 2/3?
w
Let o = -13 - -18. Let z be (-6)/4 + 169/26. Is o less than or equal to z?
True
Let j(n) be the second derivative of -n + 0 - 3/2*n**2 - 1/2*n**3. Let k be j(-3). Does k = 5?
False
Let r = -86 + 188. Let p be (3 + -1)*3/r. Which is smaller: 0 or p?
0
Let g = -1499 + 1498.958. Which is smaller: g or 3/2?
g
Suppose 19*m = 13*m + 228. Which is bigger: 34 or m?
m
Let a = -0.398 + 0.498. Which is smaller: a or 756?
a
Let y be 2/(-1) - (-414)/(-18). Suppose -3*q - 8 = -7*q, -3*q = -c - 30. Which is smaller: y or c?
y
Let n = -6/79 + 910/7821. Which is greater: 0 or n?
n
Let z be 7/48 + 12/(-90). Which is smaller: 0 or z?
0
Suppose -29 = 25*y - 24*y. Is y != -30?
True
Let a(w) = -2*w**2 - 3*w + 3. Let s be a(1). Let x be 0 + (52/(-20))/(s/10). Do 13 and x have the same value?
True
Let v(z) = -z**3 + 9*z**2 - 3*z - 45. Let w be v(8). Is -45/11 less than w?
False
Suppose -3 = 2*v - 13. Suppose -v*f = 3 - 13. Let s = 0.03 - 3.03. Are f and s non-equal?
True
Let t = -37 - -30. Let m be 7 + t + 4/98. Is -1 greater than m?
False
Let o = 34/5 - 296/45. Which is greater: -0.18 or o?
o
Suppose -22 + 28 = 3*f - 3*c, -3*f + 2*c = -5. Which is bigger: 56/29 or f?
56/29
Let g be (-4)/18 - (-6 - (-42)/54). Suppose -4*j - 3*z + g = -3, 4*j - z = 8. Is 18/13 smaller than j?
True
Let n = 313 + 702. Which is greater: 1016 or n?
1016
Let u = 36/341 + -329927/1705. Let w = 194 + u. Is 1 at least as big as w?
True
Let q be -4 + (-576)/15 + (-10)/(-25). Is q greater than -124/3?
False
Let r(c) = -9*c - 15. Let x be r(-4). Is 19 < x?
True
Let m be -4 - (2421/(-483) + 1). Which is bigger: m or 2?
2
Let k = 7 + -14. Let g be 2/k - 11004/(-98). Suppose 3*u + 4*u = g. Is 17 < u?
False
Let a = 29.4 + -24.7. Is 0 at most a?
True
Suppose 6 = 5*a + u - 0*u, -3*u = -3*a. Let t = 10 - 15. Let w = -8 - t. Which is greater: a or w?
a
Let v be (-476)/70 - (-30)/(-25). Are -68/9 and v equal?
False
Let t(c) = -2*c - 3. Let z be t(-3). Suppose 21 - 3 = z*k. Suppose -y = -k*y. Is -0.5 equal to y?
False
Let r = -205 + 205. Which is smaller: 242 or r?
r
Suppose -18 = -4*g + 2. Let i be (g - 2)*5/(-15). Which is bigger: i or -1/11?
-1/11
Let x be -20*((-14)/(-4) - 1). Let r be (-37)/x - (-11)/(-22). Is r >= 1?
False
Let k = 3/235 + -2729/235. Is k less than or equal to -12?
False
Let m be 30*(-6)/12*(-3 - -2). Is 2 greater than m?
False
Let q = 581 - 598. Which is smaller: -20 or q?
-20
Suppose 2*p - 7 = 4*n - 3, 0 = -p - 3*n + 2. Let r be (-1)/1 + (-565)/(-185) - p. Is -1 >= r?
False
Suppose 36*l + 35 = -145. Do -2/137 and l have the same value?
False
Let j be (-1 - -8) + (-28)/7. Suppose -2*p = j*p - 10. Which is smaller: 0 or p?
0
Let u(j) = -3*j - 32. Let t be u(-13). Let f be (2/4)/(t/(-2)). Is -1 greater than f?
False
Suppose g - 19 = -0*g + 3*y, y = -3*g + 7. Let o = -85407/5 - -17149. Let w = o + -64. Is w bigger than g?
False
Let d be 3 + -2*(-39)/(-6). Let i be (d/6)/((-7)/42). Let j = 9 - i. Which is smaller: 1/7 or j?
j
Let u be -2 - (115145/47355 + 1 + -2). Let s = 4/1353 + u. Which is smaller: -3 or s?
s
Suppose -116 = 3*d - 0*d - 4*k, 5*d + 145 = -3*k. Which is bigger: 2 or d?
2
Let j = 0 + -15. Let c(g) = -2*g - 2. Let h be c(2). Let m = h - j. Which is smaller: 8 or m?
8
Suppose -15*h - 2*m = -10*h + 6, h + 3*m = 4. Let y = 369/77 + -38/7. Is h > y?
False
Let j = -24 + -2. Let q = -43 - -18. Let y = q - j. Do 10 and y have different values?
True
Let v = 864 - 1328. Is -463 at least v?
True
Let f be 5*((-3)/141)/1. Let q = 172963/6649560 - -33/5240. Let z = f + q. Which is bigger: 1 or z?
1
Let j = -2 - 1.9. Let u = 3.9 + j. Is u bigger than 0?
False
Let p = 5803 - 818230/141. Is p at most as big as 1?
True
Let r(k) = -k**3 + 18*k**2 - 17*k - 21. Let o be r(17). Let i be 1969/903 + 7/o. Let u = i + -18/43. Which is smaller: u or 1?
1
Let i be (-6)/36*3*-8. Suppose -4*r + 28 = 5*l, -5*l - 6*r + r = -30. Suppose b + 0*b - 23 = -3*y, -l*y = -b - 33. Which is smaller: y or i?
i
Let b(x) = -3*x + 56. Let w be b(19). Is w at most as big as -12/29?
True
Let m(l) = 176*l + 2. Let a be m(1). Suppose -10*c - a - 22 = 0. Is -20 bigger than c?
False
Let v = -76 + 77. Is -6/35 at most as big as v?
True
Let j be ((-57)/(-108) - 1/(-4)) + -1. Let o be (-96)/(-90) - (-2)/(-3). Which is smaller: o or j?
j
Let r = -3 - -2. Let y be -1 - (4 + -4)/(2 + -6). Is y at least as big as r?
True
Let u be ((-219)/(-146))/(6814/8 - -1). Which is smaller: 1 or u?
u
Suppose -c + 2 = -n, -5*n + c + 1 - 3 = 0. Let m = 522 - 524. Let k be (n - 0 - 0)/m. Which is smaller: 1/18 or k?
k
Let g = 63 - 123. Is g bigger than -60?
False
Suppose 11*i - 6*i + 4*m + 5 = 0, -3*i + m = 3. Is -7/38 less than i?
False
Suppose 0 = -4*h - 20, 2*i = -2*i + 5*h + 25. Is i greater than or equal to -2/1779?
True
Let c = 100.12 + -3.12. Which is smaller: -2/9 or c?
-2/9
Let r be 4/11 + 58440/220. Is 263 smaller than r?
True
Let r be -2 + 10/(-1) - -4. Let f = -3 - r. Suppose 2*x - f*w - 12 = 0, -4*x = -4*w + 8 - 20. Which is bigger: x or 1/6?
x
Suppose 3*v + 32 = -5*p, 4*p = -5*v + 3*v - 26. Let n(m) = -m**2 - 5*m + 14. Let l be n(p). Is l greater than or equal to 2?
False
Let q = 5 - -8. Let t be q + -19 + (-3)/1. Do t and -7 have different values?
True
Suppose -5 = i - 2*i. Let x(w) = w**3 + 3*w**2 - 6*w - 5. Let m be x(-4). Suppose -t - j = m*j - 11, -4*j + 32 = 4*t. Is i less than or equal to t?
True
Suppose q = 4*q. Suppose -32 = -4*k + 2*k. Let o = k - 46/3. Which is smaller: q or o?
q
Let x(o) = -o**2 - 8*o - 13. Let m(f) = f - 2. Let t(j) = -5*m(j) + x(j). Let v be t(-16). Which is greater: v or -52?
v
Let h = -1170.77 + 1193. Let v = h + 0.77. Which is greater: v or -1?
v
Let a be 0 + ((-11163)/219 - -1). Let c = 50 + a. Is c at least 1?
False
Suppose 6*x = 2*x. Let o(j) = -8*j + 43. Let w be o(4). Are x and w non-equal?
True
Let m = -2006 - -1997. Which is bigger: -34 or m?
m
Let v(l) = -l**3 - 8*l**2 + 29*l - 32. Let f be v(-13). Is 436 != f?
False
Suppose 32*n - 37*n = 0. Let z be 1/(-3) + 55/300. Which is greater: n or z?
n
Let q be 2/21 - (-5365)/777. Suppose -p - 3*v = -7*v - 12, 14 = p - 5*v. Is p >= q?
False
Let u be (-2)/8*(11 + 217/(-21)). Which is bigger: -35 or u?
u
Suppose -2*p + 7*p - 5*v + 5 = 0, 3 = 2*p - v. Let q be 8 + -6 + (2 - p). Suppose 2*o - 10 = -q*o. Which is smaller: o or 18/5?
18/5
Let u = -42.9 - -44.12. Which is smaller: 2/9 or u?
2/9
Suppose -5*l = -2*l + 9. Let h = l - 4. Which is smaller: h or -3?
h
Let y = -47996/331 + 145. Is y <= 1?
True
Suppose 3*b + 10*b - 4342 = 0. Which is bigger: b 