*v - 1 = -v + x*y. Which is bigger: g or v?
v
Suppose j = 6*i - 8*i - 14, 0 = i + 5*j + 16. Are i and -6 non-equal?
False
Let y be -18*((-3)/6)/(-1). Let a be y/(-6)*(-5)/(-60). Is a at most as big as 0?
False
Let l(c) = -c + 3. Let z be l(1). Suppose v - 4*o = -6, -3*v + 10 = -0*v + z*o. Let n be (-1)/(v/(-18)) + -1. Do n and 5 have the same value?
False
Let q(f) = -2*f**2 - 70*f - 21. Let c be q(-35). Are c and -23 unequal?
True
Let p(y) = -y**2 - 8*y - 12. Let o be p(-4). Let r be 32/(-112) + o/14. Are -8/11 and r nonequal?
True
Let f = 10.7 - 2.7. Let v = 7.9 - f. Is -0.08 less than v?
False
Let w(s) = -s**2 - 2. Let a be w(0). Suppose -4 = 3*d + 8. Is a at most as big as d?
False
Let j be (-40572)/(-2058)*(-7 + 0/(-1)). Is j greater than -1/2?
False
Let r be (-3 + 5 - 2)/1. Suppose r = 4*q + q - 2*p - 90, -2*q + p = -37. Suppose -2*z + q = k + 5, 3*k - 2*z = -7. Are -2/25 and k non-equal?
True
Let k(z) = z**3 + 7*z**2 + 2. Let w be k(-7). Suppose 0 = -6*s + w*s. Let b be 3/(-14) + 0/(-2). Is s bigger than b?
True
Let m be (3/2)/((-26)/(-4) + -6). Are m and 3 equal?
True
Suppose -j + 4*j = -2*z - 14, -5*z - 1 = -j. Let n(f) = -2*f**2 + f. Let b be n(2). Let h be (-2)/6*((-28)/b + 2). Is z bigger than h?
True
Let a = -6 - -4. Let n = -52 + 64. Let y be n/(-9)*(-3)/(-2). Is a equal to y?
True
Let i be (-1 - -2)/(-2)*-14. Suppose -a - 4*y = 8, -2*a - y = -4*a - i. Let l = -30 - -29. Is l >= a?
True
Let d = -6 - 0. Let r be (-3)/6 + (-9)/d. Let g = -3 + r. Is g < -4/7?
True
Suppose 5*o = -3 + 8. Suppose 2*a - o = 11. Let j be (-18)/(-27)*a/(-4). Is j > -2/21?
False
Let k = 49 - 43. Let v be 6/12 + (-3)/k. Is v at least as big as 1/20?
False
Let v = -81 - -181. Is 100 != v?
False
Let x be (-4)/5 - (-5)/(5900/164). Is -2 >= x?
False
Let l(t) = t**2 - 2*t - 3. Let c be l(4). Suppose 0 = -2*v - c*s - 8 - 58, 4*s - 122 = 3*v. Is -38 less than or equal to v?
True
Let p be (8 + -9)/(15/(-12) + 1). Suppose -4*s - 23 = -n, 4*n = -s - 0*s + 7. Is n greater than p?
False
Let x = -20.2 - -23.2. Which is bigger: 0.2 or x?
x
Let s = -13 + 7. Let z(r) = -r**3 - 7*r**2 - 6*r + 4. Let d be z(s). Suppose -3*n = 5*b + 2, b - 12 = -2*n - 4. Which is smaller: n or d?
d
Suppose -3*g - 22 = -3*k - 8*g, g - 5 = 0. Is 2/319 smaller than k?
False
Let k be 3*(1 - 3)*-1. Suppose k*m + 5*y - 20 = 2*m, -8 = m - 2*y. Suppose 3 = g + 26. Which is bigger: m or g?
m
Suppose 57*f = 15*f. Which is greater: -10/169 or f?
f
Let w be (-20)/(-14)*(15 + -1). Let r be (w/8 + -3)/(2/(-4)). Does r = -1/6?
False
Let u = 6 + -13. Suppose s - 2*m = -13, -4*m - 13 = -5*s - 96. Let y = 13 + s. Is u > y?
False
Let y be 4*10/(1 + 4). Suppose -y*p - 2 + 10 = 0. Let f = 37/4 - 1139/124. Which is greater: f or p?
p
Suppose 0 = -4*q - 2*q - 144. Let s(a) = -4*a**2 - 2*a + 20. Let o be s(3). Which is smaller: q or o?
q
Let q(a) = a**3 - 10*a**2 - 9*a - 10. Let h be q(11). Let u = -5 + h. Suppose 3*j - 3*m - 3 = 0, -4*j - j = m - 35. Is u > j?
True
Let h be 3/4 - (546/56 - 10). Which is smaller: 3/193 or h?
3/193
Let k(s) = 9*s**3 + 3*s**2 - 17*s + 51. Let u be k(5). Do u and 1167 have the same value?
False
Let i be 3 + (-15369)/5127 + 0/1. Which is bigger: 0 or i?
i
Suppose -2*u - 4 = -0*u. Let a = u + 4. Is a at most 0?
False
Let i = -17 + 8. Suppose -2*m = -3*m + 2. Suppose m*d - 4 = t, 0 = -4*t + 2*d + d - 26. Which is smaller: i or t?
i
Suppose -4*l + 35 = 3*l. Suppose 3*w = -2*w - 5. Let y be (-3 + l - 3)/w. Which is smaller: -7 or y?
-7
Suppose 5 = -k - 0. Let r be -2 + k/(-5) - -1. Do r and -2/121 have different values?
True
Suppose -2*z + 5*z - 7 = -2*x, 0 = x - 2. Let i be (((-36)/51)/(-4))/((-78)/208). Which is greater: z or i?
z
Let z = -991 + 964. Which is smaller: -1/16 or z?
z
Suppose 0 = 6*z - 2*z + 2*a + 10, -4*z - 28 = -4*a. Let j = -3 - 1. Is z smaller than j?
False
Suppose 2*b = 1188 - 1190. Which is bigger: b or 1/22?
1/22
Suppose 2*k - 26 = -0*t - 4*t, -2*t = -2*k - 10. Suppose -t*o + 2*o = -5*g - 23, -5*o + 2*g + 16 = 0. Suppose -5*m - 3*y - 15 = -6*y, 0 = -o*y. Is m < -17/4?
False
Suppose 49*l - 648 = 13*l. Are l and 19 non-equal?
True
Let l(d) = -7*d**3 - d - 2. Let m be l(-1). Let j = -9.4 - 10.5. Let p = 20 + j. Which is smaller: m or p?
p
Let k = -3 + 7. Suppose -31 = -5*i - n - 4, -k*n - 18 = -i. Let x = -8 + i. Which is smaller: x or -1?
x
Suppose -3*a + 4*p - 24 = 3*p, -2*a - 16 = 5*p. Let j be ((-9)/2)/(4/a). Suppose 3*x + 3*f + j = 0, 0 = -2*f + 4 - 2. Is x >= -4?
True
Suppose 5 - 11 = -2*s. Suppose s*a + 8 + 37 = 0. Is a smaller than -15?
False
Let m = 899/138960 - 4/1737. Which is smaller: m or -0.5?
-0.5
Let n = -0.009 - -27.009. Let t(h) = h**3 + 12*h**2 + 27*h + 2. Let u be t(-9). Is u smaller than n?
True
Let a = 56 - 617/11. Suppose -17 = 4*m + 11. Let h = m - -7. Which is bigger: a or h?
h
Suppose 4*p + 5*r + 40 = 496, 2*p - 228 = 2*r. Is 116 at most p?
False
Suppose 5*s - 2616 + 2621 = 0. Is s > -3/176?
False
Let u be 381/9 + 2/3. Let f = -45 + u. Suppose 7*j - 5*x - 2 = 5*j, -j - 4*x - 12 = 0. Is f >= j?
True
Let g(z) = z**3 + 23*z**2 + 43*z + 34. Let q be g(-11). Which is greater: 1012 or q?
q
Suppose w + 22 = 5*d, -3*d - 3*w = -2*d + 2. Suppose -d*u = -0*u - 16. Which is smaller: u or -1/3?
-1/3
Let t be (9*-2)/(10/(-5)). Suppose 6*c = -t + 3. Let o(x) = x**3 + 2*x**2. Let j be o(c). Is j less than or equal to -2/107?
False
Let c be -36 - ((-3)/(-12))/((-2)/(-32)). Which is bigger: -37 or c?
-37
Let h be 2*4/8*527/(-6). Let o = 101 + -13. Let l = h + o. Which is smaller: l or -1?
-1
Let v(d) = -7*d**3 - 1. Let x be v(-1). Suppose b = 4*b + x. Let m be ((-38)/57)/(2 - 4/3). Which is smaller: b or m?
b
Let a = -125.34 + 11.34. Is 3 at most a?
False
Let n(w) be the first derivative of -w**4/2 + 2*w**3/3 - 4*w + 7. Let b be n(2). Let v be (2 - 1)*13/(-1). Which is smaller: v or b?
v
Suppose 7*r = r + 156. Suppose 21 = 13*n - 317. Is r less than n?
False
Let o = -240.023 + 240. Which is smaller: 1/3 or o?
o
Suppose -a + 0 = 3*g + 2, a - 3*g - 10 = 0. Let c be (2/48)/(a/66). Let k = 3/16 - c. Is 0.1 > k?
True
Let o(m) = -m**3 - 2*m**2 + m. Let f be o(-3). Let a be (2 - 54)*f/84. Which is greater: -5 or a?
a
Let t = 45.8 + -50.98. Let a = t + 5. Let k = a + -2.82. Which is smaller: -0.6 or k?
k
Let v = 881.7 + -882. Let h = -8 - -8.5. Is h <= v?
False
Suppose 6*h = h + x - 37, 3*x = -4*h - 41. Suppose 0 = -4*l - 19 - 9. Let u = h - l. Which is bigger: u or 0?
0
Suppose -2*p + 237 - 125 = 0. Is 229/4 > p?
True
Let u = -11 - -11. Suppose 0 = -6*c - 6 - u. Is c at most as big as 2?
True
Let d = -0.62 + 0.6. Is d bigger than -2/55?
True
Let v = 3.9 + -4.1. Which is smaller: v or 16?
v
Let j(v) = v**3 - 7*v**2 + 9*v - 6. Let h be j(6). Let k = h + -12. Is k at most -2/19?
False
Let h(a) = 3*a**3 + 31*a**2 - 14*a - 38. Let o be h(-6). Is o at most as big as 515?
True
Let o = -118.3 - -121.3. Which is greater: -44.8 or o?
o
Let d = -361 + 360.2. Are d and -1.4 non-equal?
True
Let l(d) = d**3 - 5*d**2 + 5*d + 7. Let j be l(5). Suppose -43*c + 22*c = -651. Which is bigger: c or j?
j
Let u(g) = -6 - 1 + g + 2. Let r(p) = 2*p + 26. Let t be r(-10). Let m be u(t). Which is greater: 1/7 or m?
m
Let n = -2605/2 + 1271. Let y = -32 - n. Which is bigger: y or 6?
6
Suppose 5*g + 10 = 2*q, -5*q + 0 + 6 = -3*g. Let o be (5 + -10)/(q + 1). Let f(k) = k**2 + 6*k - 4. Let v be f(o). Which is greater: v or -8?
-8
Let d be (3/18)/(1*-10). Let p = d + -23/60. Suppose 5*n - 2*x = 55, 0*n + 4*x - 72 = -4*n. Is p smaller than n?
True
Let c = -326 + 221. Let s = -101 - c. Let w = 1 - -1. Which is greater: s or w?
s
Let w = 13 + -5. Let x be 27/12 + 6/w. Suppose s + x*n = -2, -3*n - 4 = 5. Is 7 smaller than s?
False
Let i(v) = v - 5. Let d = 34 + -28. Let x be i(d). Which is smaller: x or 1/6?
1/6
Let t = 269 + -207.1. Which is smaller: -1 or t?
-1
Let g = -13 - -36. Let a = 22 - g. Let i(q) = q**3 - 2*q**2 - 2*q + 3. Let w be i(2). Is a at least as big as w?
True
Let n = -336 - -298. Is -40 greater than or equal to n?
False
Let p = 63 - 59. Suppose 3*s - p*a = 150, a + 14 = s - 37. Is s > 56?
False
Let t(a) = 11*a**2 - 2*a - 1. Let j be t(-1). Let n = 93 - 87. Let y = n - j. Which is smaller: -8 or y?
-8
Let a = 0.1612 - 0.0612. Let v = 9.6 - -3.4. Is a less than or equal to v?
True
Le