 -4*o. Which is bigger: f or y?
y
Suppose 0 = -12*l + 10*l + 10. Suppose -j - 14 = -5*y, -3*y + l = -j - y. Let r = 4 - 21/5. Are r and j nonequal?
True
Let o(i) = i - 4. Let s be o(8). Let l = s - 4. Let z be 3 + l - 350/120. Which is smaller: z or 0?
0
Let q(m) = m + 3. Let a be q(-3). Let x = -2 + 1.5. Let y = x + 0.8. Which is smaller: y or a?
a
Let i = -0.08 - 5.92. Let t = i - 2. Let g = t + 8. Is 3 greater than g?
True
Suppose -800 = 2*b + 2*u, -1970 = -9*b + 14*b - 5*u. Which is greater: -393 or b?
-393
Let j = 713/11145 + 2/743. Which is bigger: j or 1?
1
Let s be -2*(-1)/(-4)*(20 - 22). Are s and 1/677 non-equal?
True
Let k = 4/37 + -86/111. Let o = 14.3 - 12.8. Which is smaller: k or o?
k
Suppose -11 + 6 = -5*u. Let d be (-9)/(-3*4/12) - 10. Which is greater: u or d?
u
Let s = 177 - 114. Let t = s + -63.1. Is 54 greater than t?
True
Suppose 3*r + 23 = -u - 0, 3*u - 3 = 0. Let d = -1731 + 8618/5. Which is greater: d or r?
d
Let d = -0.959 + 1.959. Is d less than -1136?
False
Suppose 3*g = 4*f - 225, 4*f + 4*g + 122 = 354. Let d = 52 - f. Which is smaller: d or -8?
-8
Let i(y) = -2*y + 11. Let o be i(5). Let l be (o/(-3))/((-3)/(-9)). Which is smaller: l or -2/3?
l
Let v(o) = -2*o**3 + 2*o**2 - 2*o + 3. Let k be v(2). Let f(u) = -u**2 - 8*u + 8. Let m be f(k). Let b be m/3*12/16. Is b not equal to 0?
True
Suppose -17 = 4*c - 5*p, 0 = -4*c + 3*c + p - 3. Suppose -f + 1 + c = 0. Which is greater: f or 5/2?
f
Let z = -259 + 261. Suppose 3*a + 24 = -3*p, 0 = -5*a - p - p - 37. Let y be (0/z)/(a/7). Which is smaller: 6/7 or y?
y
Suppose 0 = 20*l + 6*l + 26. Which is smaller: 1/107 or l?
l
Let z(p) = -2*p**3 - 13*p**2 - 3*p + 15. Let u be z(-6). Let m be (((-18)/6)/u)/((-2)/(-3)). Let l(i) = 2*i**3 + i**2 - 2*i + 1. Let q be l(1). Does q = m?
False
Let z = 133 - 133.049. Let m = z - -0.849. Which is smaller: m or -0.1?
-0.1
Let r be 23 + -19 - (-5)/(-1). Which is bigger: r or 2/15?
2/15
Suppose 7*z - 15 = 2*z, 4*m + 44 = 4*z. Let n be ((-58)/m)/(1/(-4)). Suppose -8*s - 49 = 183. Are n and s nonequal?
False
Suppose -4*b + 54 + 18 = 0. Let k be 160/(-180) + 4/b. Which is smaller: k or -1?
-1
Let y(t) = t**2 - 12*t - 11. Let z be y(13). Let b be (-411)/45 + z/15. Let o be b/2*(-6)/63. Which is bigger: o or 1?
1
Let m = -265 - -264. Which is smaller: m or 2/387?
m
Suppose 0 = 4*p - 6*p + 4, 2*p - 344 = 4*j. Is -85 equal to j?
True
Suppose 19*o = 17*o + 14. Do 12 and o have different values?
True
Let j be (0/3*1)/(-2). Suppose 4*a = -4*g - 8, g + 8 = -4*a - j*a. Is a >= 3/7?
False
Let p = 3.77 + -1.77. Is 75 greater than or equal to p?
True
Let l = 18 + -2.1. Let j = 17 - l. Let t = -1 + j. Which is greater: t or -3?
t
Suppose -8*y + 13*y + 113 = -q, -3*y = -4*q - 360. Which is greater: -94 or q?
q
Let k be (-5931)/6 - (-24)/48. Is -988 equal to k?
True
Let r be 38 - 20/(-5)*(-3)/12. Let b = 258/7 - r. Let j(z) = -z**3 - 4*z**2 + z + 4. Let x be j(-4). Is b at least x?
False
Let f = -1187/5835 - -4/1167. Are f and -1035 equal?
False
Let d = -3.15 - -3.15. Let k = -2 - 0. Let y = -1 + k. Is d not equal to y?
True
Let t = -128 + 105. Let s be (75/(-20))/((-2)/(-8)). Let u = t - s. Which is smaller: -9 or u?
-9
Let w(x) = -x**3 - 2*x**2 + 3*x + 44. Let o be w(0). Which is greater: 45 or o?
45
Let a = -5/86 - -541/430. Suppose -7*j = -5*j - 3*j. Is j > a?
False
Let n be (-1)/(-2)*(-4)/(-362). Let m be ((-3)/(-11946))/(-1 - (-4386)/4388). Let o = n + m. Is -2 < o?
True
Let k = -151/720 - 1/80. Is k at most -0.7?
False
Let q(n) = -8*n**2 - 31*n - 113. Let j be q(-8). Which is greater: j or -376?
-376
Let t be -1 + 1 + 1 + (-312)/4. Which is smaller: t or -75?
t
Suppose -2*y + 3*a = 13, -4*y + 2*a = -0*a + 6. Are 2/713 and y equal?
False
Let n(w) = -3*w**2 - 39*w + 1 - 40*w + 77*w - 7. Let k be n(-2). Let z be (-1 + 3)*(-4)/(-16). Is z < k?
False
Let l = -74 + -1. Which is smaller: l or -3?
l
Let h(f) = 2*f**3 + 51*f**2 - 23*f + 77. Let o be h(-26). Let d = -4/25 + 47/450. Is o smaller than d?
True
Suppose 0*r - 12 = -2*r. Let n(x) = x**3 - 6*x**2 - x + 3. Let i be n(r). Let d(w) = -w - 16. Let j be d(-15). Which is smaller: i or j?
i
Let w be 2/8*2*-30. Let i be 2/70 + (15/(-35))/1. Are w and i nonequal?
True
Let p(w) = 248*w - 2229. Let o be p(9). Let v be (-4)/(-14) - (1 - 3). Which is greater: o or v?
o
Let n be ((-69)/115)/(2/30). Is n greater than -10?
True
Let n(a) be the second derivative of 0*a**3 + 0 + 2*a + 0*a**2 + 1/12*a**4. Let l be n(1). Which is greater: l or 0?
l
Let d(l) = 2*l + 6. Let q be d(-2). Suppose q*g = 6*g. Which is smaller: 0.2 or g?
g
Let f = -9.1 + 1.1. Let y = f - -6. Let l = 2 - 2.4. Is y at most l?
True
Let i = -0.55 + 0.55. Suppose 5*f = f - 8, o - 2*f = -6. Which is smaller: o or i?
o
Suppose 19*l - 4*l = 75. Suppose -g + 2*t = -l, 0*g - 5*t - 7 = 3*g. Is -2/45 at least as big as g?
False
Let a = 225.6 + -194. Let v = 32 - a. Let f = 5 + -3. Which is bigger: v or f?
f
Let w(k) = -2*k**3 + 4*k**2 - 2*k - 3. Let h be w(2). Suppose -i + 17 = 4*m, 5*m = -i - 0 + 22. Let x be 59/7 - i/h. Is 0 bigger than x?
False
Let q(d) = 3*d + 16. Suppose 5*f - 11*v + 40 = -6*v, 3*f = 5*v - 30. Let w be q(f). Let a = -54 - -485/9. Which is bigger: w or a?
w
Let i = 8 - 4. Let q be 124/8 - 2/i. Let m = q - 11. Is m less than or equal to 2?
False
Let j(a) be the second derivative of -a**4/12 + a**3/6 + a**2/2 + 5*a. Let r be j(-1). Are -6 and r equal?
False
Let f be 2302/1154 - (67 - 65). Which is smaller: f or 0?
f
Let o(x) = x + 5. Let y be o(-3). Suppose -y*m - 24 = 16. Let h be 5/(m/13) - -3. Which is greater: -10 or h?
h
Let z = -9.06 + 9.16. Which is greater: z or -4?
z
Let z = 16 - 13. Suppose -z*u = -5*u - h + 4, 3*h + 18 = 4*u. Let a = -2 + u. Which is bigger: a or 2?
2
Suppose 12 - 22 = -5*y. Suppose 0 = -y*l - l + 6. Which is smaller: l or 3/5?
3/5
Let y = -43 + -3. Let g = -46 - y. Which is smaller: g or 33?
g
Let j be -1*(2 + 4/4). Suppose 0 = -2*g - 0*g - 4, 3*s = -2*g - 16. Which is smaller: s or j?
s
Let m be 16 - (-4)/(-3)*3. Let w be -3 + -15*(-2)/m. Is w at most as big as -19?
False
Suppose a = 4*d + 14, -5*a + 2*d + d + 19 = 0. Suppose m = a*m - 4*y - 9, y + 3 = 0. Which is greater: -11/3 or m?
m
Let q = 261 + -11747/45. Suppose -4*d = -5*d - 1. Which is bigger: d or q?
q
Let c be -5*10/40 - 2*-1. Let a(u) = u**3 + 3*u**2 - 3*u + 5. Let o be a(-4). Which is smaller: o or c?
c
Let j = 29431/18 - 1635. Suppose -11 = -4*x - 2*h - 1, -3*h = -4*x - 15. Is x less than j?
True
Let w(s) = s**3 + 7*s**2 - 9*s - 6. Suppose -4*d + 24 = -5*q + 2*q, 8 = -q - 4*d. Let y be w(q). Let t be 360/(-25) + y/5. Is t <= -13?
True
Let u be -7 + (-63)/(-45) + (-6)/(-10). Which is smaller: -29/7 or u?
u
Let a(q) = -4*q - 43. Let x be a(-23). Is 50 at least x?
True
Let d(i) = 4*i + i + 28 - 10*i + 4*i. Let a be d(20). Let x be 0/1 + (-1 - -10). Is a smaller than x?
True
Let w be ((-1)/(46/4))/(65/78). Which is smaller: -1 or w?
-1
Let x be (-6)/(-9) - (-88)/(-141). Let u = -9020152/141 - -63973. Let b = x + u. Is 1 > b?
True
Let n be ((-20)/(-6))/(-4 + (-82)/(-21)). Which is smaller: n or -38?
-38
Suppose 0 = 7*a + 96 + 275. Is a > -52?
False
Let l(b) = 3*b**2 + 130*b - 64. Let a be l(-44). Which is smaller: a or 0.1?
0.1
Let c = 3.03 - 3. Let a = -4.97 - c. Is a greater than -2/5?
False
Let r be (-298)/(-14) + (-12)/42. Suppose 2*z - 2*t = 3*t - r, -12 = 2*z + 4*t. Let b = -24 - -17. Does b = z?
False
Let y = -495 - -588. Which is smaller: y or -2?
-2
Suppose 0 = -5*s + 2*s + 6. Suppose -s*h = 2*k - 2, 4*k - 5*h = 4 - 0. Let l = 409 - 3679/9. Which is bigger: k or l?
k
Let x = 6 + 1. Let h(v) = -2*v**2 + 3*v - 2. Let a be h(2). Let b be a - -1 - (-16 - -7). Which is smaller: x or b?
b
Let m = -89/2 + 45. Let y = -1.04 - -1. Is m not equal to y?
True
Suppose -6*f + 16 = 136. Let v be ((-6)/4 + (-10)/f)*2. Do -1 and v have different values?
True
Suppose 27 = 3*h, -30 + 8 = f - 3*h. Let j be (27/(-2))/((-14)/4). Is j < f?
True
Let d = -31.75 - 3.25. Which is greater: -9 or d?
-9
Let n be (-3*(-1)/4)/((-114)/(-38)). Is n <= 61?
True
Let n = 9798/5 + -1968. Let t = 1050 - 1059. Which is greater: n or t?
n
Let o = 644 + -547. Which is smaller: o or 487/5?
o
Let v = -232 + 232. Is v less than 2/169?
True
Let c(r) = r**3 - 18 - 13 - 7*r + 5*r**2 