 be (-3 - (-68)/20)/(z/(-5)). Which is greater: 0.18 or m?
0.18
Let x = -231.1 + 217. Let c = -14 - x. Are c and -0.09 equal?
False
Let l = 13 - 4. Suppose -2*u = 4*g - 6, -2*u + 4 = -3*g - l. Does 1/4 = g?
False
Let d = -13 + 19. Let m be (2 - 9/d)*48. Suppose 2*j + m = -0. Is j > -12?
False
Let n(k) = -2*k**2 - 2*k + 7. Let c be n(-5). Let a be (-73)/(-12) + (-22)/c. Is a < 6?
False
Suppose 0 = -13*a + 7*a. Let h be (-61)/148 + 1/4. Let i = 152/481 + h. Is a not equal to i?
True
Suppose 5*q - 15 = 5*s, -14*q + 6 = 4*s - 9*q. Which is smaller: s or -17/7?
-17/7
Let w = -71/165 + 1/33. Which is smaller: -57 or w?
-57
Let t = -10824 + 6277917/580. Is 0 at least as big as t?
True
Let v = -2160 - -19454/9. Let o be (2 + 0/2)*1. Which is smaller: v or o?
v
Suppose 0*o + 4*o = -5*c - 440, -109 = c + 5*o. Let l(v) = -v**2 - 2*v - 3. Let r be l(4). Let i be (c/(-18))/(6/r). Which is smaller: i or -20?
i
Suppose -2*l = 2*l + 16. Let a(g) = 16*g**2 + 7*g - 17*g**2 - 1 - 1. Let i be a(7). Is i bigger than l?
True
Let h = 54 - 49. Suppose -13*w = 31 - h. Suppose 11*a + 10 = 6*a. Is a greater than w?
False
Suppose -46*g = -51*g + 2015. Is 0.1 != g?
True
Suppose -5*b = -2*b - 66. Let c be 4/40*5*b. Suppose 0 = -5*d + 4*h + 80, 63 = 4*d - 0*h - 3*h. Is c < d?
True
Let k be 4*(-3 - (-4 - 0)). Suppose -k*u = -4*m + 92, 0*u + 4*m = -4*u - 52. Let p be (-35)/21*u/20. Which is smaller: 1 or p?
1
Let f(v) = v + 3. Let k be f(-5). Let h be ((-44)/60)/((-173)/(-186)). Let a = h - 2/173. Which is smaller: k or a?
k
Let x(l) = -l**2 + 12*l - 15. Let t be x(10). Suppose t*z = 10*z + 5. Let c = 29/95 + -2/19. Which is smaller: c or z?
z
Suppose -4 = 2*m + v, 5*m + 1 = -3*v - 7. Do -4 and m have the same value?
True
Let y = -0.1938 + 1.1938. Let w = -1569/16 + 98. Which is smaller: y or w?
w
Let z be 10/78 + 1/3. Suppose 3*d + 5*j - 31 = 0, 7*d + 2*j = 4*d + 16. Suppose -2 = d*b - 4. Which is bigger: b or z?
b
Suppose -o + 57 = x, -x - 21 = -5*o + 270. Is o <= 58?
True
Let w = 5.2 - 5. Let b = -142.8 + 158. Let g = b - 15. Are g and w non-equal?
False
Let u = -48 - -56. Let s(a) = a - 3. Let r be s(9). Is u at most r?
False
Suppose 2984 = -5*p + c, -3*c - 789 = 5*p + 2179. Is -595 > p?
True
Let q be ((-2)/2723)/((-13)/91). Which is smaller: q or 1?
q
Let i = 153/1441 - 2/131. Let o = -99 + 100. Is i equal to o?
False
Let j = -232/57 + 90/19. Which is smaller: -2/283 or j?
-2/283
Let y = -1.041 - -0.041. Which is smaller: 0.95 or y?
y
Let j be (-4)/10 + 8/20. Suppose 0*o + 2*o = j. Let d = 0 - o. Which is bigger: d or -0.5?
d
Let g = -2216.81 + 2181. Let z = 1.86 + g. Let v = z - -34. Is -0.1 less than v?
True
Let b = 728 - 687.9. Is b greater than or equal to 1?
True
Let w = -0.06 + 0.25. Suppose -k - 3*t = 0, 10*k - 15*k = -t. Is w bigger than k?
True
Suppose 5*u + 5*q + 70 = 0, -u + 4*q - 2*q = -1. Suppose 24 - 44 = -2*f. Let a = u + f. Which is bigger: a or -1/30?
a
Let j = 1 + 9. Suppose -117 = 35*l - 38*l. Suppose 3*z + 12 = l. Is z smaller than j?
True
Let a = 2.55 + -2.8. Let g = 9.25 + a. Which is smaller: 2 or g?
2
Suppose -6*d = -31*d. Is d < -5/267?
False
Suppose -4*l + 1 = 9. Let x be l/((-8)/(-1))*(-80)/185. Are 1 and x unequal?
True
Suppose 0 = -16*i + 12*i + 16. Suppose 5*b = 4*l - 68, -i*l - l + 85 = 5*b. Let r = -37 + 54. Is l equal to r?
True
Let a = 137 - 142. Let d be 322/(-62) - (0 + a). Is 0 equal to d?
False
Let k = 5.981 + -5.1. Which is greater: k or -1?
k
Let f(b) = -4*b + 2*b + 4*b - 3*b + 3. Let l be f(7). Is -3 at most as big as l?
False
Let z = -783 + 781. Is z at most as big as -37/28?
True
Let i = 99/52 - 28/13. Let z be 1/3 - (-22)/(-54). Is z at most as big as i?
False
Let o = 1/20 - 3/10. Which is greater: o or 32?
32
Let m(r) = r + 2. Let h be m(-3). Let t be (2/(-228))/(1 - (-25)/(-20)). Which is smaller: h or t?
h
Let s = -0.419 - -0.219. Which is bigger: -179 or s?
s
Let k = -0.09 + 0.041. Let j = -0.951 + k. Is j != 2/27?
True
Suppose 3*t = -5*d + 11, 1 + 5 = -2*d + 4*t. Let g be (-213)/(-9) - 6/9. Let n = 25 - g. Which is bigger: n or d?
n
Let z = -8 - -5. Let t = -83 + 89. Suppose -2*l + t*l - i = -8, -2*i + 12 = -4*l. Which is greater: l or z?
l
Let g be 1/(-15)*(-4)/10. Suppose 2*x + 9 = -5*r + 4*r, 4*r + 2*x = -6. Is r bigger than g?
True
Let s be -1*3*60/(-18). Let i(u) = -u**3 + 9*u**2 + 9*u + 13. Let a be i(s). Let j be (-51)/(-315) + a/(-7). Which is greater: 1/3 or j?
1/3
Let i be 27/(-189) + (-2)/(-28). Is 0 at most i?
False
Suppose 28*x - 24*x = 4*s - 2764, 0 = -5*x + 3*s - 3445. Are x and -0.1 nonequal?
True
Let y(t) = -3*t + 1. Let f be y(3). Let x be (-2)/(-1) + f/(-4). Suppose -4*n - 44 = 4*i, -27 = 3*n + x*i + 4. Which is greater: -12 or n?
-12
Let m = 0.11 - -29.89. Let z = 79.84 - 49.9. Let v = m - z. Is 2 > v?
True
Suppose 0 = 3688*p - 3692*p + 60. Is p less than 14?
False
Let b = -241 + 240. Is b smaller than 64?
True
Suppose 5*q + 61 = -3*t, 5 = q - 2*q. Let i be t/(-45)*10/4. Let a = 79/5 + -16. Which is smaller: i or a?
a
Suppose 0 = 5*u - u - 5*u. Let o(x) = -x**2 + 3*x - 1. Let q be o(2). Let n be 4 + -4 + u - q. Is n bigger than -1?
False
Suppose -51 - 82 = 19*g. Let k be -6*(-4)/24 + 1/g. Let l(c) = 3*c**2 - 1. Let d be l(1). Is k < d?
True
Let l(p) = 8*p + 47*p**3 - 5 + 5*p**2 - 2 - 48*p**3. Let j be l(6). Which is smaller: j or 7/2?
7/2
Let a be 5/35 - (0 + 41/(-7)). Suppose 0 = -3*x - a, 2*f - 2*x - 17 - 13 = 0. Is f greater than 1?
True
Let b = -4.8 - -5. Let p = -152 + 168. Which is bigger: p or b?
p
Suppose 210 = 3*z - 9*z. Let s = 58 + z. Do s and 23 have different values?
False
Let z = 95 - 301. Let i = z + 1027/5. Let x be (1 - 0)/(1/(-1)). Which is bigger: x or i?
i
Let h = 562905/11 + -50225. Let s = -949 + h. Which is greater: -1 or s?
s
Let j = 11 - 14. Let c = -2 + j. Is -5 > c?
False
Let a be (-1 + 31)/((-6)/(-4)). Let u be -5*8*(-2)/a. Suppose p + 4*q + 7 = 0, u*p + 5*q + 2 + 4 = 0. Which is bigger: 0 or p?
p
Let m be 1*(-2)/(-4)*-6. Let a = -266 - -266. Is m less than a?
True
Let r = -7 + 8. Let u be (3/r - 4/2)/1. Which is greater: u or -1/4?
u
Let a be (8 - (-2)/1)*1. Let c be a - 0*(-3)/(-9). Let b be (-1)/(-1*(-1)/c). Which is smaller: -8 or b?
b
Let w = 0.359 + 42.641. Let r = -0.06 - 0.94. Which is smaller: w or r?
r
Suppose 0 = -2*b + 4*n + 56, 3*b = -2*n + 7*n + 80. Suppose 5*h + 0*h - 20 = -5*i, h - b = -5*i. Let o be (2/i)/((-3)/6). Are o and -4/13 equal?
False
Let p = 0.816 + -0.8031. Which is greater: -2/11 or p?
p
Suppose 5 + 0 = j. Let y(v) = -v**3 + 3*v**2 - 4*v + 1. Let o be y(3). Let r = o + j. Which is smaller: r or -7?
-7
Let r = 0.5232 - -0.0468. Which is smaller: 0.5 or r?
0.5
Suppose 0 = -3*u - 77 + 227. Let s = 78 - u. Is s equal to 26?
False
Suppose -l + 1 = -5*m - 21, -2*l + 4 = -2*m. Let u be -1 - (0 + 1/l). Let v = -3 - -2.8. Which is smaller: v or u?
u
Let t be (4/2 + -1)*(-6 + 9). Suppose t*o = 15, -o = -3*f - 0*f - 44. Is f < -14?
False
Suppose 4*r = 3*r - 11. Let u = -28 + r. Do -39 and u have the same value?
True
Suppose 57 = 15*t - 1533. Is 101 smaller than t?
True
Let i = 0.6 - -5.4. Let r = 1 - i. Let c = r - -4.8. Which is smaller: -1/6 or c?
c
Let y = 62 - 76. Let t be y/(-35)*(-10)/(-4). Which is smaller: t or -0.065?
-0.065
Let r = -673 + 673.25. Let c = -2.8 + 8.05. Let k = r - c. Which is greater: k or 0.2?
0.2
Let b be (2268/30)/(22/(-10)). Does b = -34?
False
Suppose 3*f + 47 = 56. Suppose -r - 2 = 3*a - 5*a, -5*r + 4 = -f*a. Let g be (a/6)/((-3)/18). Is -2 at least as big as g?
True
Let b(p) = 9*p + 37. Let d(r) = -3*r - 12. Let h(q) = 2*b(q) + 7*d(q). Let t be h(-3). Let y = -32 + 129/4. Is y greater than t?
True
Suppose 0 = -9*m + 27 - 180. Let t = m - -18. Is t less than 2/17?
False
Let s be ((-4)/5)/((-2)/10). Let k = 4 - 0. Suppose 2*c - 4*f = -24, c = -2*c - k*f + s. Which is greater: -5 or c?
c
Let f be ((-17)/1428)/((-18)/20). Which is bigger: 0 or f?
f
Let d = -259 - -255. Let k be 20/21 - (-2)/(-7). Is d <= k?
True
Suppose 0 = -5*f - 1 - 29. Let i be (-6 + 3)/(f/8). Let h be -1 - (3/i + -1). Is -2 > h?
False
Let j = -6 - -25. Let v = -19 + j. Which is smaller: v or -6/7?
-6/7
Let k be 13888/1550 + -8*1. Is k at least as big as 0?
True
Let a(w) = w**3 + 6*w**2 + 9*w + 3. Let i be a(-4). Which is smaller: i or -4/45?
i
Let l = 111