7 - -9) + (-6)/(-9). Is -1.3 greater than m?
False
Let y = 501 - 528.2. Let h = -4 + 31. Let q = h + y. Are 7 and q non-equal?
True
Let g(b) = b**3 - 9*b**2 + 7*b + 8. Let x be g(8). Suppose m - 4*m = x. Let t be 1/(-2) + 44/120. Which is greater: m or t?
m
Let d be (-3)/(-9) - (-26)/(-6). Let z(q) = -2*q**3 - 4*q**2 + q**3 + 2 - 1. Let s be z(d). Which is bigger: 1/5 or s?
s
Let d = 211 - 213. Let k = -28 + 16. Let f be ((-8)/k)/((-2)/(-3)). Which is smaller: f or d?
d
Let a = 3.9087 - -0.0283. Let i = a - -0.063. Are i and -0.06 equal?
False
Suppose 4*f = 2*f + 5*t + 54, 0 = -3*f + t + 68. Let h = 23 - f. Which is bigger: h or 3/16?
h
Let j = 43.7 - 40.7. Which is greater: -1/4 or j?
j
Let z = -622 - -633. Suppose 8*q - 3*q - 60 = 0. Which is smaller: q or z?
z
Let f = 1382/73899 + -28/391. Is 1 at least as big as f?
True
Let d(m) = 3*m**3 - 5*m**2 + 7*m - 2. Let w be d(2). Let p(k) = 2*k**2 + k. Let y be p(1). Suppose c - 31 = -2*a - 6, -2*a = -y*c + 35. Is w > c?
True
Suppose 0 = 2*o - 3*o + 4, 0 = 5*l + 5*o - 540. Is 105 equal to l?
False
Let l be 2/1 + 2 - 12. Let n be (4 - -1)*(-8)/l. Suppose 5*f + 0 - 30 = 0. Which is bigger: n or f?
f
Suppose 5*h - z + 35 = 4*z, -4*z = -3*h - 24. Let j be (4 + h)*(-2 - -3). Which is smaller: j or 1/29?
j
Let t = -436 + 319. Are t and -115 unequal?
True
Let j(v) = 29*v + 146. Let l be j(-5). Let s be (-18)/(-22)*(-3)/(-9). Is s greater than or equal to l?
False
Let q be (-22)/14*(-70)/10. Suppose 0 = -5*t + 5*w + 40, t - 2*w = 8 - 3. Let x = q - t. Which is bigger: x or -3/14?
x
Let h = 32.5 - 34.1. Is 0 smaller than h?
False
Let m = -37 - -56. Let j = m + -8. Let t(g) = 3*g**2 + 3*g - 8. Let b be t(-3). Is b less than j?
True
Let t be (-81)/(-8) + (-18 + 13 - -4). Which is smaller: t or 8?
8
Let z be 4/14 + 36/(-28). Do -6/71 and z have the same value?
False
Let n = 2/465 + -5213/22785. Which is bigger: 0 or n?
0
Suppose 2 = s, -2*u - 5*s - 1685 = 3*u. Let q = u - -4405/13. Which is greater: q or 0?
0
Suppose 0 = -4*o + 2*i + 8, -8 = -4*o - 0*o - 4*i. Let r be 84/(-126) + (-64)/(-42). Are r and o non-equal?
True
Let t be (-7 - 136/(-16))*-6. Let o(h) = h + 3. Let p be o(-6). Is t less than or equal to p?
True
Let l = -8 - -9. Let y(q) = -12*q - 1. Let h be y(1). Let d be h/5 - (-8 + 5). Which is smaller: d or l?
d
Let z = -151 + 291. Which is smaller: z or -1/4?
-1/4
Let b = 85 + -83. Let r = 31 - 32. Is r at least b?
False
Let v = -0.4 - 0.1. Let g = 101 + -7. Let i = -93 + g. Does i = v?
False
Let g = 37 - 69. Let a = -30 - g. Which is smaller: 13/6 or a?
a
Suppose -6*d + 216 = -0*d. Let i be (-1)/d + 24/(-108). Which is bigger: -21/5 or i?
i
Let i be (60/9)/((-62)/(-403)). Let w = 87 + -44. Is i equal to w?
False
Suppose -87 = -3*n - 5*j + 11, 0 = 3*j + 6. Suppose -2*t = 2*y + 60, 19*t - 17*t - 171 = 5*y. Let v = y + n. Is v bigger than 1?
True
Let y = 19707/2 + -9645. Which is greater: y or 210?
210
Suppose -5*b = 3*x + 15, -5*x - 15 = 5*b - 0. Let g be -2 - 1 - 0 - (-28)/10. Is g at least x?
False
Let d = 2 + -1. Suppose -a = 4*q - d, -4*a - 3 = -4*q - 7. Let b = 4 - q. Which is bigger: 3 or b?
b
Let s = 36 + -30. Suppose -4*q = 2*i - s, 4*i + q = -q. Let b be (-3 - 1/i)/(-21). Is b equal to -1?
False
Let k = 11 - 8. Let n(i) = -1 + 5 + 2*i + k. Let r be n(-8). Is -9 at least r?
True
Suppose 0 = 2*s + 19 - 129. Let m be 224/(-10)*((-30)/12 - 0). Are s and m unequal?
True
Let r(z) = -z**3 + 7*z**2 + 9*z - 6. Let a be r(8). Suppose 4*u - 4 = a*u. Suppose 3 = x + u*x. Is -2/7 at most x?
True
Let f(l) = 9*l**2 + 2. Let u be f(2). Let p = u + -38. Let d be 9/42*(1 + 0). Is d not equal to p?
True
Let c be (-1*9/(-3))/(-41). Which is greater: c or -3/5?
c
Let y(t) = -5*t. Let v be y(2). Let r be 8 - (4 + -18 + 18). Is r != v?
True
Let r be (1/1)/(-1 - (-4)/2). Let p be r*(0 + 5/((-195)/(-6))). Which is smaller: p or 2/3?
p
Suppose 16*b - 16 + 0 = 0. Which is bigger: b or -2/413?
b
Let l = 4.91 - -0.09. Let m = 56 - 63. Let c = m + l. Which is smaller: c or 6?
c
Let o = -48.6 - -43. Let u = o - -5.7. Which is smaller: -19 or u?
-19
Let b = -72 - -71.42. Let l = b - -38.58. Is l less than or equal to 0.1?
False
Let m = 299 + -2393/8. Which is smaller: m or 11?
m
Let d be 1 - -26*1/(-34). Suppose -k + 5*a + 160 = 145, -a - 3 = -k. Do d and k have different values?
True
Let v be 3*(-6)/4*(-16)/(-12). Let j be ((-1)/2)/(15/v)*-7. Which is smaller: j or -1?
j
Let t(i) = -i + 5. Let q be t(7). Let d = -66 + 64. Do d and q have the same value?
True
Let q = -111.1 + 111. Is 1/52 less than q?
False
Let a = -1128 + 1135. Is -0.04 bigger than a?
False
Let i = -3.7 - -4.09. Let f = 0.19 - i. Are f and -2/17 non-equal?
True
Suppose -5*y - 5*g + 20 = 0, 5*g = 11 + 9. Let s(a) = 8*a - 13. Let j be s(0). Let b = j + 129/10. Is b > y?
False
Let c be 47/70 + 440/(-770). Let p be 1 - (-1 + (-2)/2). Suppose -d - 3*z = 1, 2*d + 2*z + 2 = p*z. Which is bigger: d or c?
c
Suppose -4*x = -53 - 783. Which is bigger: 211 or x?
211
Let i(u) = 5*u**2 + u. Let h be i(-1). Suppose -3*n = -n - h. Is -5 < n?
True
Suppose -t = -3*n + 21, -3*t - 3 = -n + 2*n. Let y be 144/(-14) - n/(-21). Let z = -11 - y. Is z at most as big as 2/51?
True
Suppose -4*f + 5*f + 7 = 4*g, 3*f - 3*g - 15 = 0. Let m be (-1)/(1/(-4)) - f. Is -0.8 equal to m?
False
Suppose 0 = k + 2*k - 3. Let a = 3307/177 - 56/3. Which is smaller: k or a?
a
Let b(h) = -158*h**2 - h. Let o be b(1). Are -156 and o non-equal?
True
Let i(r) = -r**3 - 13*r**2 + 9*r - 23. Let p(w) = w + 1. Let m(d) = -i(d) - 3*p(d). Suppose 29 = 5*h + 99. Let c be m(h). Is -7 bigger than c?
True
Let r = 2.8 - 1.9. Let z = -97.159 + 0.159. Let i = 96 + z. Which is smaller: i or r?
i
Suppose k - c = 4, -32*c + 31*c - 4 = -5*k. Which is smaller: k or -16/245?
-16/245
Let q = 20 - 17. Suppose -4*g + q*y - 17 = 5, -2*g - 18 = -5*y. Is -4 greater than g?
False
Let w = -28 + 94. Let u be w/24 - 4/(-16). Is u greater than or equal to 3?
True
Let b = 80 + -81. Which is greater: b or -27?
b
Let k be 17/(-34) + (-3)/2. Is -31/10 < k?
True
Let u(s) = -s**2 + 2*s - 17. Let q(i) = -i - 1. Let n(b) = 6*q(b) - u(b). Let g be n(6). Which is smaller: g or -3/11?
g
Let y = 72.3 - 63. Let c = -9.2 + y. Let z = 107/2 - 481/9. Is c at least as big as z?
True
Let q = 22 - 27. Let i = q + 8. Is 5 at least as big as i?
True
Let h(i) = i**3 - 2*i**2 + 0*i**2 + 1 + 5*i**2 + i. Let z = -22 - -19. Let k be h(z). Is k at least as big as -3?
True
Suppose 23 = -x + 1. Let l be 26/(-4) + 11/x. Let z = l - -10. Which is smaller: z or 4?
z
Let q be 1/3*(5 - 5). Let i be 169/(-644) - (-1)/4. Is q >= i?
True
Let y be (-79)/(-16) + (-22 - -2 - -15). Which is smaller: 1 or y?
y
Let m(s) = -s**2 - 7*s + s**2 - 19 + s**2. Let l be m(9). Which is smaller: -10/9 or l?
-10/9
Let a be (-29)/19 + 36/24. Is a < -1?
False
Let a be (-6 - -4)/(-4)*0. Suppose 4*g - h + 1 = a, -5*g + 6*h + 4 = 3*h. Which is greater: -2 or g?
g
Let v be (-42)/28*(-2)/(-3). Let a be 1 + 0 - (v + 0). Suppose 2 = k + k. Which is greater: k or a?
a
Let y(i) = -12*i - 18. Let p = -25 + 19. Let c be y(p). Is c bigger than 53?
True
Let b(v) = -2 - 2*v**3 - 2 - 8*v**2 + 5*v**3 - 4*v**3 - 13*v. Let w be b(-6). Suppose 5*a + 0*a = 0, -4 = q + w*a. Do q and -3 have the same value?
False
Let g(t) = t**3 - 8*t**2 + 20*t - 2. Let s be g(6). Suppose -s*b + 144 = -49*b. Is b equal to -48?
True
Suppose -2*z = -2*w, 5*z = -9*w + 4*w. Let j be w/4 + (-4)/(-10). Which is smaller: -1 or j?
-1
Let g = -5 + 10. Suppose -50 = 4*m + 6. Let k = m - -18. Is k less than g?
True
Let y(k) = -7*k + 28. Let m be y(-12). Which is bigger: m or 111?
m
Let h = -84/5 + 934/55. Let y(b) = -9*b**2 - 163*b - 17. Let o be y(-18). Is o smaller than h?
False
Suppose -4 = -3*u - 10. Let t be 1/u + (-14)/4. Let v(g) = g**3 - g**2 - 5. Let a be v(0). Which is bigger: a or t?
t
Let w = 0.277 - 5.277. Which is greater: 1/13 or w?
1/13
Suppose 9 + 11 = 5*x + 4*s, -3*x + 5*s + 12 = 0. Suppose 4*t + 3*z - 17 = 0, -3*z + 4*z = -3*t + 14. Is t equal to x?
False
Let f = 38 - 38. Let n = f + -1. Is -2/117 > n?
True
Let h = 367/2 + -177. Let k = h - 173/26. Which is smaller: k or 0?
k
Suppose -11*u - 495 = -8*u. Let s = u + 473/3. Which is greater: s or -8?
s
Let l = -298 + 297. Let b be ((-5)/30)/((-1)/(-11)). Is b les