1837 - -1845. Which is greater: 0.176 or w?
w
Suppose 0*z - 4 = -z - 2*j, -5*j + 13 = 3*z. Suppose 0 = -4*m + 3*q + 1, -8*q + 12*q = -2*m + z. Do 2/59 and m have different values?
True
Let w = 811246/51 - 15907. Which is smaller: w or 1?
w
Suppose -19*h + 38 = -17*h. Suppose 0 = 8*x - h*x + 88. Are 6 and x non-equal?
True
Suppose 4*x - r + 5*r - 836 = 0, -3*x + 5*r = -611. Let q = x + -99. Are 107 and q non-equal?
True
Let b = 8135/16 + -521. Which is bigger: b or -13?
b
Let a be (42/4)/((-1)/4). Let w be (5 + -6)/(-1*(-2)/(-460)). Let z = w + -273. Is a less than z?
False
Let f be (-2508384)/4356590 - 3/(-5). Let h = -2/523 + f. Does h = 0?
False
Let j = 41.9 + 8.1. Let q = -50.4 + j. Let s = q - 2.6. Is 10 greater than or equal to s?
True
Let y(a) = -40*a. Let w be y(-1). Let l(m) = -m**2 + 7*m - 3. Let b be l(6). Suppose -124 = -3*t - q, b*q = -t + 28 + 16. Which is greater: w or t?
t
Let r = 525 + -528. Let y be r/11*32/168*-1. Suppose -2*u - 1 - 1 = 0. Is u > y?
False
Let d = -4544/5 - -915. Let u = 3479 - 3474. Is u at least d?
False
Suppose 3*l - 3*u - 12804 = 0, 128*l + 17135 = 132*l + 5*u. Is 4274 < l?
True
Let f(k) = k**2 - 14*k + 68. Let u be f(25). Suppose u = a + 487. Which is greater: 2/7 or a?
2/7
Let a = -28445 + 28774. Which is greater: 3628/11 or a?
3628/11
Let x be (-580)/(-18) - (-6)/108*-4. Let c = -34 + x. Let m be (c/(-4) + -2)*(-4)/(-6). Which is bigger: m or -3/40?
-3/40
Let h(z) = 3*z**3 + 20*z**2 + 96*z - 2. Let a be h(-9). Is -1432 less than or equal to a?
False
Let s = -53 - -131. Suppose -3*i = -4*q - s, -3*i + q + 13 + 56 = 0. Is 19 at least as big as i?
False
Let q be -6*(2/4)/((-9 + 17)/16). Which is smaller: q or 0.83?
q
Let o(z) = z**3 + 164*z**2 + 164*z + 164. Let w be o(-163). Which is smaller: w or 24/685?
24/685
Suppose -72*b + 58*b = -168. Let z be (238/14 - b)/((-2)/50). Which is smaller: z or -127?
-127
Let d = -188 + 213. Let x be (-30)/d*1375/(-33). Which is smaller: 51 or x?
x
Suppose -14*k = -21*k + 2464. Suppose 425 = 7*g - k. Let f = g + -112. Is f greater than 2/25?
False
Let j = -1 + -34.5. Let u = j + 4.5. Let b = 30.5 + u. Which is bigger: b or 0.1?
0.1
Let u be 61/(-11)*1 + 1. Suppose 0 = 7*r - 5*r + 2*m - 16, m - 1 = 0. Suppose -5*t + r*o - 15 = 2*o, 0 = -2*t - 2*o - 10. Which is greater: t or u?
t
Let k = 2624 + -2619.637. Let x = 0.063 - k. Is x greater than or equal to -3/5?
False
Let m(c) = 386*c - 90352. Let q be m(234). Let j = -0.15 + -0.55. Are q and j non-equal?
True
Let d = -5 - -11. Suppose 5*a - 4*c + 62 = 0, -66 = 4*a + 2*c + 3*c. Is a at least d?
False
Let t(k) = 2*k**2 + 22 - 1 + 168*k - 68*k - 83*k. Suppose -7 = o - 0. Let b be t(o). Which is smaller: 4/17 or b?
b
Let v be (2/3)/(61/6 + -10). Suppose v*j + 4*m = 2*m + 2, 0 = 5*j + 2*m. Which is bigger: -28/15 or j?
-28/15
Let d be (-3786)/(-21) + 8/(-28). Let t = 680 + -501. Is t < d?
True
Let v = 11872 - 13526. Is -4960/3 < v?
False
Suppose -39 = -8*l + 5*l + 4*v, 6*l = -3*v + 12. Which is bigger: l or 151/38?
l
Let m = 51 + -48. Suppose m*j + 14 = 26. Suppose -j*n - 71 = -u, 0*u - 165 = -3*u - 4*n. Which is smaller: 58 or u?
58
Let a = 811/3762 + -1/198. Let y = 3753949/4807 + -8587/11. Let p = a - y. Is p smaller than -1?
False
Let v be (-88)/12 + (-55)/33. Let h be v/1*(-2)/(-57). Suppose -7 = 2*c - 0*f - 5*f, 0 = 2*c - f + 3. Which is smaller: c or h?
c
Let d be (-2)/(-8) + 283/4. Suppose -22*w + 21*w = -2*k - 37, 5*k = 2*w - d. Which is smaller: 42 or w?
42
Suppose 11*w - 7*w - 16231 = 3*q, q + 8117 = 2*w. Let m be 6 - (w/(-63))/(-10). Which is smaller: m or -1?
-1
Let n = -4618 + 2542. Is n <= -2076?
True
Suppose -4*m = -20, -3*m - 538 = 3*b + 41. Is -9/4 smaller than b?
False
Let p = 0.065 + -116.065. Let x = p + 107. Are 3 and x nonequal?
True
Let y = -2270.7 - -2489. Let a = y + -218. Which is greater: 0.2 or a?
a
Let o(j) = -j**3 - 2*j**2 + 101*j + 66. Let p be o(-11). Which is bigger: p or 271/6?
271/6
Let p = -1700 - -1714. Is p greater than or equal to 127?
False
Let l = -25/47 - -2247/1927. Is 2 bigger than l?
True
Suppose 18*c + 213 - 6 + 153 = 0. Is c less than -1002/49?
False
Let a(y) = -30*y + 1482. Let o be a(40). Which is smaller: o or 285?
o
Let s = -23006.87 + 23007. Let r = -7 + 8. Is s <= r?
True
Let z = 9.21 + -8.61. Let n = 1.13 + 0. Let s = z - n. Is 0.1 not equal to s?
True
Let l(g) = g**2 - 22*g + 74. Let p be l(4). Let n be ((264/(-15))/p)/((-2)/(-5)). Which is greater: -20 or n?
-20
Let q = -103 - -68. Let c = -144 + 114. Which is smaller: q or c?
q
Let s = -1069/55 + 99/5. Let b(w) = -w**3 - 3*w**2 - 4*w - 2. Let m be (-1 + (-15)/(-12))*-4. Let k be b(m). Which is smaller: k or s?
k
Let j(m) = 37*m - 1179. Let o be j(-81). Which is greater: o or -4175?
-4175
Suppose 5*j - 1439 - 2636 = t, 3*t - 2445 = -3*j. Is 815 greater than j?
False
Let a be (-3 - -4)*190*(-52)/(-3835). Is -1 < a?
True
Suppose -419*z + 509*z + 4320 = 0. Which is bigger: z or -95/2?
-95/2
Let c = 0.004 - 23.004. Let s = 4989 - 5011.9. Let q = s - c. Which is smaller: -18 or q?
-18
Let k(m) = m**2 - 18*m + 9. Let a be k(18). Let g = 6 - a. Let w be g/(-9) + 146/(-6). Which is smaller: -25 or w?
-25
Let s(z) = 109*z + 1855. Let b be s(-17). Which is smaller: b or 56/107?
56/107
Suppose -24 = a + 2*a. Let b = 53 - 32. Suppose -b = 6*w - 3*w. Is w > a?
True
Let n be (50/240)/(432/(-278)). Let l = -7/64 - n. Let b = 946/1053 + l. Which is smaller: 2 or b?
b
Let s = -2.1 - -1.4. Suppose -2*j - 1 = -5, -3 = c - 3*j. Suppose 0 = -v - c*o + 2*o + 5, -5 = 3*v - 2*o. Which is greater: s or v?
v
Let z be -2*2362/676 - -7. Let j = -41 + 39. Which is smaller: z or j?
j
Let q be 14/(-3)*19/(-38)*-3. Which is bigger: q or -113/14?
q
Let s be (-18)/(-8) + -2 - (-295)/20. Let w(k) = k**3 - 14*k**2 - 14*k - 11. Let a be w(s). Suppose -2*q + a*t = 30, -14 = -0*q + q - t. Is -15 >= q?
False
Let o = -506.85 + 274.85. Do 42 and o have the same value?
False
Suppose -102*a + 114422 = 52*a. Is -3/5 < a?
True
Let j be ((-3)/3)/(12/(-60)). Suppose j*z + 0*z = 4*z. Is z less than or equal to -18/13?
False
Let v be (0/(2 + -3))/1. Suppose v = 3*m - 8*m - 540. Is m equal to -108?
True
Suppose -238*l - 18236 = 5*s - 242*l, 0 = 3*s - 4*l + 10948. Do -3646 and s have different values?
True
Let q = -6630 + 6687.2. Is 1 != q?
True
Let s(r) = r**3 - 18*r**2 + 52*r + 46. Let m be s(14). Let l = m - -379/37. Which is bigger: l or -0.1?
l
Let p = 30152 - 120591/4. Is p < 0.45?
False
Suppose -2*m - 3*m = 2*m. Suppose -4*u + 129 - 429 = m. Which is greater: u or -74?
-74
Suppose -4*x + 57*z - 61*z + 4 = 0, -5*z - 1 = -x. Which is greater: -8/6493 or x?
x
Suppose -2067 = 30*z + 8041 + 3572. Which is smaller: 4 or z?
z
Let s be (16080/100)/((-2)/(-10)). Which is smaller: s or 805?
s
Let r be 2/(-5 + 1) + -2 - -3. Let w = -599 - -601. Which is smaller: r or w?
r
Suppose -5*n - 189 = 56. Let k be (-1456)/n - (-2)/7. Let c be 10/45 + (-2 - ((-3040)/45)/2). Which is smaller: k or c?
k
Let g = 4.16 - 4. Which is greater: g or 1/40?
g
Suppose 2*b = 243 + 773. Let a be 389/b - (-9)/(-12). Suppose -1 = -3*g + 2. Which is greater: a or g?
g
Suppose 24*x - 21*x + 84 = 0. Let j be 4/1911*(-42)/x. Let v = j - -3784/12103. Which is greater: v or -1?
v
Suppose -7*a - 6 = 8. Let g(o) = -4*o - 3. Let v be g(a). Let b be (-1 + 2)*(1 - -6). Which is smaller: b or v?
v
Let d = 109 - 107. Suppose -11*h + 8*h - 92 = 4*w, -62 = d*h + 3*w. Suppose 140 = -2*n - 3*n. Is h less than or equal to n?
True
Let y be (18 - 19)*(-9)/3. Let b be y/12 + (-34)/176. Are b and -1 equal?
False
Let i be (-1430)/(-9867)*-3*(-1)/(-61). Is -0.1 at least as big as i?
False
Let w(n) = 5*n - 6. Let t(d) = -11*d + 11. Let f(i) = 2*t(i) + 5*w(i). Let y be f(4). Suppose v = -0 + y. Is 5 less than or equal to v?
False
Let p = -173.4731 - -173.55. Which is greater: 0.07 or p?
p
Let w = -1683056/13401 - -54/1489. Let o = -126 - w. Are o and 18 unequal?
True
Suppose 2*a = -3*k + 2*k + 43, -2*a + 215 = 5*k. Let x be 108/27 - (-1 + 3)/(4/(-74)). Which is greater: x or k?
k
Suppose -352 = -2*m - 3*m + b, 216 = 3*m - 3*b. Is 67 equal to m?
False
Let s = 32827/9 + -3651. Suppose v = -f + 5*f - 15, 15 = 5*f. Is s at least v?
False
Let m be (-3)/4*(1 - 5). Suppose 7 = -4*z + m. Let y = 418.4 - 440.4. Which is smaller: y 