 0 = 45*a - 31*a - o. Which is bigger: 8.5 or a?
8.5
Let l(v) = v**3 + 14*v**2 - 13*v + 30. Let c be l(-15). Suppose 2*z = -c*j - 2*j - 6, 5*z - 2*j = 20. Suppose a = -z*a - 2*a. Is 2/11 != a?
True
Let f = 93 + -159. Let l = f + 65. Is l less than 106/9?
True
Let f(b) = 2*b**2 + 2*b - 2. Let y be f(-2). Let g = y + 1. Let x = 263/14 - 114/7. Which is smaller: g or x?
x
Let z be -2*5/(-4)*2. Suppose 141 = -4*h + x, 5*h - 6*h - 20*x = 96. Let n be (48/(-72))/(z/h). Which is bigger: 1/3 or n?
n
Suppose 9 = 3*a, 2*a + 120 = 5*m - 329. Suppose -21*f - 644 - m = 0. Let n be (-10)/12 + (-1)/(-2). Which is bigger: n or f?
n
Let a = 833 - 834.066. Let r = a + -0.034. Let n = -0.3 - r. Which is bigger: n or 0?
n
Let v = 24179 + -24466. Is v equal to -285?
False
Let v = 5 + 0. Let c = 129.6 - 36.6. Let u = c + -94. Which is smaller: v or u?
u
Let d = -69 + 136. Suppose -5*x = -9*x + 272. Is x bigger than d?
True
Let b = -3.8 + -49.4. Let j = b + 51.2. Which is greater: -48 or j?
j
Let x = 3106 - 3105. Which is smaller: x or -2617?
-2617
Let w be 4 + 4 + (-26)/13. Let q be 972/21 + 264/(-42) + w. Does q = 44?
False
Let c be (-7)/(-1722)*((-7677)/14)/(-3). Let p = -2/287 - c. Which is smaller: 4 or p?
p
Let o(s) = s**3 + 10*s**2 + 6*s - 27. Suppose -32*w = -34*w - 18. Let u be o(w). Which is greater: -2/47 or u?
u
Let b = -243.19 - 4.81. Let v = b - -348. Let s = v + -99. Does s = 19?
False
Let h = -42715 - -41981. Which is bigger: -732 or h?
-732
Let t = -64145 - -64145. Let c = 1/308 + 85/924. Is t smaller than c?
True
Let n = -514.2473 + 54.1133. Let d = n - -460. Which is smaller: -1 or d?
-1
Let p be 2*-33*2/(-4). Suppose -4*c - 20 = 0, -4*g - 2*c = 2*c - 244. Suppose -4*b - g = -2*o, 0 = -b - b. Is p not equal to o?
False
Let g(w) = 3*w**2 + 4*w - 8. Let x be g(-6). Suppose 3*i + 5*p - x = 0, -7*p + 22 = i - 2*p. Suppose 4*l - 3*t + 75 = 181, t = 4*l - 110. Does i = l?
False
Suppose 2*q - 6*q = -g + 23, 3*q + 3 = 0. Suppose 0 = g*l - 1077 + 450. Which is bigger: l or 31?
l
Let s(v) = -v**2 - 29*v + 168. Let x be s(5). Let w = -29/21 - -73/357. Is x at least w?
False
Let k(q) = q + 2. Let c be k(4). Suppose c = 3*u - 4*f, 0 = u + 2*f - 6*f - 10. Let o = -1 - u. Which is smaller: -3/94 or o?
-3/94
Let o be (-15)/(-12) + 141/(-804). Let c = 19388/18291 - o. Is c at least 1?
False
Let v(s) = -s**3 - s**2 - s - 116. Let c be v(0). Suppose 33*u = -5315 + 1388. Is c bigger than u?
True
Let h = -185 + 161. Let d be 7 - 19/((-57)/h). Which is bigger: d or -21/22?
-21/22
Suppose -9*w - 1405 = -5761. Let x be w/(-82) - -3 - -3. Is x equal to 0?
False
Let z = -12 - -41. Let p = z + -25. Let c = -2054/19 + 108. Is c bigger than p?
False
Suppose 2*j - 18 = -2*k - 6, -3*j + 2 = -5*k. Let v be (j/(-324))/((-76)/(-12)). Let a = 1321/151335 + v. Which is smaller: a or 0?
0
Suppose 6*l - 18 = -0. Let p(t) = t**2 + 6*t + 12. Let b be p(-6). Suppose -3 = -l*m - b. Is -1 not equal to m?
True
Suppose -39*w = -31*w - 40. Which is smaller: -19/3 or w?
-19/3
Suppose -12*u = -13*u + 3*x + 147, -572 = -4*u - 4*x. Which is bigger: u or 145?
145
Let r = 3.138 - 3.218. Which is smaller: r or -30?
-30
Suppose o = 6*o - 3*q - 13, 18 = 2*o + 2*q. Suppose -41*h - 2*b + 4 = -40*h, 0 = o*b - 10. Which is bigger: -2/293 or h?
h
Let f = -43.04761 - -0.04761. Let n = -31/4 + 8. Which is smaller: f or n?
f
Suppose -5*k - 36 = 7*k. Let j be (85/20)/1 + -2 - k. Let y be (-1)/2 + 18/4. Are y and j nonequal?
True
Suppose 5*v + 35 = -l, -42 = 2*l + 5*v + 8. Let b be (-2 - -4) + (-24)/11. Is b < l?
False
Let s = -49 - -83. Suppose 0 = -25*v - 1506 - 3994. Let r = v - -255. Which is greater: s or r?
r
Let l(u) = u**2 + 10*u - 14. Let f be l(-12). Let k(g) = -g**3 + 9*g**2 + 3*g + 12. Let v be k(f). Let n = v + 56. Which is smaller: n or -13/4?
-13/4
Let t be (-510)/(-153)*21/(-405). Which is greater: -1 or t?
t
Suppose -105*z + 108*z + t + 3 = 0, 3 = -3*z + t. Which is greater: z or 19/119?
19/119
Let b = -46/25 + 2804/1525. Are -1 and b equal?
False
Let s = 120 - 105. Let t be -1 + s/21 - 6/28. Is -0.06 bigger than t?
True
Suppose -96 + 29 = 14*m + 17. Let o = -1268/3 + 416. Which is greater: m or o?
m
Let u = 4281 - 2444. Is 1839 at least u?
True
Suppose -40*g = -39*g - 456. Let d be g/(-465) + (7/5 - 1). Is -2/5 at least as big as d?
True
Suppose -4*z = -9*z + 15. Let i = -136 - -140. Suppose -48 = -i*b + g, z*b = -5*g - 0*g + 36. Which is bigger: 9 or b?
b
Let u = -20.558 - -20.458. Is 12982 bigger than u?
True
Let b be 2/1*242/4. Let q(v) = -9*v**3 + 1382*v**2 + 619*v - 342. Let c be q(154). Does b = c?
False
Suppose -61 + 13 = -6*p. Suppose -4*d = -5*v - p - 2, 2 = -4*v + 2*d. Let g be 7/v*4/14. Which is bigger: g or -1/14?
g
Let l = 10294 + -10478. Is -2030/11 at least as big as l?
False
Let v(q) = -q**2 - 134*q + 553. Let u be v(4). Which is smaller: -10/107 or u?
-10/107
Let z be ((-76)/19 - 3) + 8. Is 211/91 != z?
True
Let w = 3150.247 + -3150. Which is smaller: 3/4 or w?
w
Let l = -6 - -9. Suppose 5*c + 4 = n, -l*c - 12 = -n - 2*n. Let x(w) = 3*w**3 + 14*w**2 - 6*w - 3. Let g be x(-5). Is g at least as big as n?
False
Let v = 131/426 - 91/142. Which is greater: v or -223.9?
v
Let k = 14 - -942. Let i = 865 - k. Which is bigger: -87 or i?
-87
Suppose -4*t + 3*t = 5*n + 4, -n + t = 2. Suppose -39 = -f - 45. Let u be f/42*2/14. Is u not equal to n?
True
Suppose 7*j - 5*j = -4. Let r = j - -2. Let k be 2/17*(-17)/(-34). Is k < r?
False
Let c be ((8/10)/2)/((-6)/(-480)). Let m = -49 + c. Let x(o) = o**3 - 3*o**2 - 2*o - 2. Let g be x(-2). Do m and g have the same value?
False
Let s be (-188758)/(-30) + (-70)/(-1050). Is 0 > s?
False
Suppose 5*r + 7*v - 2*v = -30, r - 4*v - 14 = 0. Let b be 4/10 - (r - -2). Suppose -44 = 18*i - 62. Are b and i equal?
False
Let r = 53 - 60. Let v = 20 - r. Let u be 21/v + (-8)/(-36) + 17. Is u > 19?
False
Let n(a) = 127*a**2 + 4*a - 5. Let u be n(2). Let c = 195 - u. Let s = -1587/5 - c. Which is smaller: -2 or s?
-2
Let f = 4916 + -4712. Which is smaller: 18 or f?
18
Let d = 174 + -184. Let i = -12 - d. Which is greater: 0 or i?
0
Suppose 0 = 14*u - 11*u - q - 4155, -4*u = -4*q - 5524. Is 1389 greater than or equal to u?
True
Let g be 2 - -2 - 0 - 1476/(-30). Suppose 2*l - 16*l = -742. Is g < l?
False
Let f be ((-2)/(-4))/(105/20 + -5). Let q be (-17018)/2184 - (f - (-20)/(-8)). Let r = q - -51/7. Are r and 0 equal?
False
Let m be (15/(-6715))/((-2)/(-1 + 49263)). Let u = 936/17 - m. Which is smaller: -1 or u?
-1
Suppose 46*q + 600 = 47*q. Suppose 870 = -14*c - q. Are -105 and c nonequal?
False
Suppose 199*m + 306 = 205*m. Let s be m/(-68) - 166/(-8). Which is bigger: 19 or s?
s
Let c = -1460.8 - -1461. Let u = -64 - -208. Let l be u/(-10) - (-4)/10. Is l <= c?
True
Suppose 0 = -361*a + 331*a + 150. Let w be -2 + 13/(-1)*-1. Which is greater: w or a?
w
Let h = 196 - 112. Is 910/11 less than h?
True
Suppose 0 = 11*n + 8*n + 38. Let o be ((-1496)/24 + n/6)/(-2). Which is smaller: 31 or o?
31
Let j = -901 - -54958/61. Let k(z) = -z**2 + 13*z + 37. Let i be k(15). Suppose 73 = i*v + 66. Is j > v?
False
Suppose 4*h = -4*a + 39 + 61, -2*a = 4*h - 60. Suppose -27 = 7*w - a. Which is bigger: -3/193 or w?
-3/193
Let x be -14 - -3 - (-66)/6. Which is smaller: x or 11/42?
x
Let j = 23.9605 - 24. Let w = 2.5395 + j. Let k be 2/4 + 1/(-6). Is w less than k?
False
Let p = -5.83 + 5.292. Let j = -20.138 - p. Are -2/5 and j non-equal?
True
Let f = -3806 - -3546. Which is bigger: f or 0.08?
0.08
Let c be (-2 - (-36)/15)*-20. Let b be 2/(6/c - (-17)/22). Let f = 88 - b. Is f less than or equal to -2/403?
False
Let s(f) = 1499*f + 5721. Let n be s(0). Which is smaller: n or 5722?
n
Suppose 0 = -2*z + 3*a - 9, -4*z = 3*a + 533 - 542. Are 3/6904 and z nonequal?
True
Suppose 9075 = c + 3*w, -9073 = -723*c + 722*c - 2*w. Do c and 9071 have different values?
True
Let u be (1/2)/(762/(-504)). Let a = -14827/44450 - u. Which is bigger: a or 0?
0
Let u(c) = 6*c + 8. Let z be u(-1). Let d(r) = r**2 - 44*r - z*r**2 + 56*r - 6. Let q be d(11). Which is bigger: 11/2 or q?
11/2
Let v = -22261.1993 - -22261. Which is smaller: v or 6?
v
Let m = 109.66 - 111. Let a = 1.54 + m. Are -0.2 and a unequal?
True
Suppose -5*h = -3*g + 29, 0*g + 3*h = 2*g - 20. Which is smaller: -28 or g?
-28
Supp