e -5*m - 4*t - 7 = d, -2*m + 2*t = 3 + 7. Let a be ((-1317)/(-438) + m)/(-1). Is a at least 0?
False
Suppose 74 = h - 5*r, -5*r - 80 = -3*h + 142. Which is greater: 46 or h?
h
Let y be 45 + -37 - (5 + 0). Suppose 2*c = -f - 32, f + 117 = -3*f + y*c. Which is bigger: f or -31?
f
Let a be 4704/(-264) + 2/(-11). Let b be (-4)/a + (561/(-135))/(-11). Let y = 1 - 6. Which is greater: y or b?
b
Suppose -54*u + 51*u - 16 = -4*w, 0 = 2*w - 3*u - 14. Which is greater: -53/207 or w?
w
Let k(x) = -18*x**2 - 147*x + 117. Let v be k(-9). Let j be (26/(-6))/((-4)/(-12)). Which is bigger: j or v?
j
Suppose 2*i = 4*p - 4, -1 = -p - 9*i + 5*i. Let j(f) = f**2 - 2*f + 1. Let d be j(p). Is d at least 3/5?
False
Let z = 47.58 - 48. Let g = -0.12 - z. Let a be (1586/(-65))/(-2) - 12. Which is bigger: a or g?
g
Suppose -2*x = 65*n - 68*n - 13, -11 = x + 2*n. Let l = 8 + -4. Let j be l/14 + (-149)/595. Which is bigger: j or x?
j
Suppose 1355 = -5*n + 1390. Is n < -0.143?
False
Let p be (-7 + 8)/(5 + 54/(-12)). Let w be 8/3*(2 - -1). Suppose c - w = p. Is c bigger than 11?
False
Let g = 405 - 401. Suppose -4 = n + g*u - u, 10 = -5*u. Which is smaller: n or 23/11?
n
Suppose o + 220 = 3*j, -1045 = 5*o - 0*j - 4*j. Let p be -1 - o/(-85)*-1. Which is smaller: 1 or p?
1
Let m(c) = c**3 + 13*c**2 - 2*c - 12. Let q be m(-13). Suppose -q*o - 11 = -13*o. Which is greater: o or -6?
-6
Let s = -2630 + 2706. Are s and 76 nonequal?
False
Suppose -5*l - 9*j - 138 - 172 = 0, l + 4*j + 51 = 0. Is -60 >= l?
True
Let l = 227.645 - 225.545. Let f = -0.1 + 0.1. Is l greater than or equal to f?
True
Let l be ((-12)/(-208))/(2/96). Let c = l - 313/52. Suppose r = -73*b + 72*b - 7, -3*r = 2*b + 18. Is c > r?
True
Let d = -0.0213 - -0.1213. Is -2901 smaller than d?
True
Let s = -1.404 - -1.1798. Let o = s - -0.0242. Which is bigger: o or 0.83?
0.83
Suppose 3*l + 14 = -5*u + 5, 2*u - 2 = -4*l. Let j(v) = -8*v**2 - 2*v**2 - v**3 - 2*v**2 + 3*v**l. Let p be j(-9). Are 4 and p unequal?
True
Suppose 2 = 7*v - 19. Let w be 6*v/(972/32). Which is bigger: w or 0?
w
Let s(c) = 28*c - 665. Let p be s(23). Are 1 and p non-equal?
True
Let w = 5.856 - 6.856. Is w greater than or equal to -2717?
True
Let s be (60/(-40))/((-111)/(-234)). Are s and 2/5 nonequal?
True
Let n = -3646 + 3656. Is n at least as big as 10?
True
Let f be 4/6 - (-30 + 23 + (-8)/6). Is f <= 42?
True
Let k = -11383 + 11382. Does k = 33/439?
False
Suppose -40*x - 10 = -45*x. Let n be 128/(-2 - x) + 0. Let m = n + 33. Which is smaller: m or 0.05?
0.05
Let j = 20107/19 - 1058. Suppose -m - 32 = -2*m. Let x = -31 + m. Does x = j?
False
Suppose 342 - 193 = -149*k. Which is smaller: k or -141/59?
-141/59
Suppose 186*l = 188*l - 2640. Suppose -8*k = 2*k + l. Let r = -129 - k. Which is bigger: 23/8 or r?
r
Let p be (-10)/180*-4*(-42)/28. Which is smaller: -2549 or p?
-2549
Let k = -1 + 1. Let w be (-57)/(-154) + (-229)/1603. Which is bigger: k or w?
w
Let c be 3/(-8) - (-5841)/472. Suppose 3*p - 13*m = -16*m + c, 4*m - 14 = -2*p. Which is smaller: 4/9 or p?
4/9
Let w be 2682/(-4)*((-130)/(-39))/(-5). Let s be (-27)/18*w/(-18)*-1. Are s and -38 equal?
False
Let o = -209 - -268. Let r = -425/3 - -142. Which is smaller: r or o?
r
Let s = 8326 + -8346. Is -31 equal to s?
False
Let c(u) = 3*u**2 + 6*u + 2. Let p(b) = -b**2. Let h(k) = c(k) + 5*p(k). Let t be h(3). Let x be (-3 + 1*1/(-2))*t. Which is smaller: -0.2 or x?
x
Let l = -34 - -33.838. Let w = 1.538 - l. Which is bigger: -2 or w?
w
Let f = 3035 + -2594. Which is smaller: f or 0.1?
0.1
Let j = 278021/26 + -10693. Let y(u) = -2*u - 2. Let x be y(-1). Which is greater: x or j?
j
Let m(x) = -2*x**3 + 36*x**2 + 36*x + 45. Let a be m(19). Let s be 2*(-2)/12*-9*a. Is s less than -1?
False
Let i = 294 + -308. Is 1/42 equal to i?
False
Let z(q) = q**3 - 14*q**2 - 34*q - 199. Let v be z(30). Is 13181 less than v?
False
Suppose g + 4 = 6. Let t be (15 - 0) + g + -2. Let o be (15/(-35))/((20/420)/((-6)/4)). Which is greater: o or t?
t
Let c = 686.065 - 0.065. Let a = -686.2 + c. Which is smaller: -6.4 or a?
-6.4
Let u = 1504 - 12015/8. Let a be 0 - (-1 + -5 + 5). Let v be a*(-8)/10*(-25)/10. Is v less than u?
True
Let g = -16 - -15.949. Let d = g + -0.809. Let b = -0.76 - d. Are b and -26 nonequal?
True
Let o(s) = -18*s + 8. Let v be o(-4). Suppose -4*z - 56 = -11*z. Let y be z/(v/(-102))*(0 - -1). Which is bigger: -11 or y?
y
Let c = 0.0288 - -0.9712. Which is smaller: 2549 or c?
c
Let i(x) = -519*x**3 + 7*x**2 + 6*x + 1. Let z be i(-1). Is 519 at most z?
True
Let g = 8924 + -6812. Are g and -0.3 equal?
False
Let g(r) = -3*r - 7. Let s(w) = 3*w + 8. Let y(t) = -6*g(t) - 5*s(t). Let h be y(-1). Let a be ((-12)/162)/(10/6). Which is greater: a or h?
a
Let s(z) = 6*z**2 - 15*z - 2. Let l = 321 - 318. Let m be s(l). Is 23/4 bigger than m?
False
Suppose -3*o = -43*o + 45*o - 57085. Which is smaller: o or 11416?
11416
Let n = -0.05 + 4. Let d = n - 4. Suppose -4*w - 230 = -i - 243, 2*w + 2*i + 6 = 0. Which is smaller: w or d?
d
Let h be (-14)/(-56) + 5 + (-260239)/28. Which is smaller: h or -9288?
h
Let u = -355.7 + 31.7. Let g = u - -293. Which is greater: g or -3?
-3
Suppose 0 = -5*g + 2*r - 374, 304*g - r - 353 = 309*g. Is -86 <= g?
True
Let z = 121.6 - -2.4. Let i = -154 + z. Which is smaller: -7 or i?
i
Suppose 0 = -4*b - 7 + 39. Let t be -2 + (3 + b)*-1. Let d be -19 - 16/(-4)*1. Is d != t?
True
Let k be (0 - 4)*6/(-8) - -134. Let r = 21 - k. Is r bigger than -116?
False
Let b = 2/1825 - 9161/32850. Suppose -4*p = -13*f + 11*f - 120, -3*p - 99 = 2*f. Let h be 16/(-12)*f/(-72). Is h smaller than b?
True
Let p = -5296 - -5291. Suppose -4*x = -3*x - 3, 0 = 4*o + 5*x - 39. Does o = p?
False
Let l = 91 + -95. Let g be (0 - -2)*(-232)/l. Let z = g - 120. Which is smaller: z or 2/21?
z
Suppose 2*q - 162 = -7*q. Let k = -1890 + 1908. Are q and k equal?
True
Let y be 5 - ((-5)/2)/((-35)/28). Let m(o) = 2*o**2 - 5*o + 7. Let j be m(y). Are j and 13 nonequal?
True
Let h be (2/1)/(88/(-122892)). Is h at most as big as -2792?
True
Let n = 1 - 2. Let w = 5205.902 - 5206. Is w at least as big as n?
True
Let n be (-61 - (-35 - 31))/(2/10*-1). Which is smaller: n or 65?
n
Let i = -19/7 + 145/56. Let l = -640/1929 + -1/643. Which is bigger: i or l?
i
Let t(n) = -n**3 + 12*n**2 - 13*n + 26. Let w be t(11). Let i = -37 + 39. Suppose 2*h = i*h - w*h. Is h bigger than -3/41?
True
Suppose -89*y = -92*y - 15. Let m(o) = -o**3 + 5*o**2 - 9*o - 27. Let b be m(y). Are b and 268 equal?
True
Suppose -6*c + 23 = -13. Let j(m) = -m + 16. Let b be j(11). Suppose -b*g = g + c. Which is smaller: 2/53 or g?
g
Let f = -190 + 189. Let t be (300/80)/(f + (-490)/(-496)). Is t less than -310?
False
Suppose -61*q = -63*q + b - 767, -5*b - 15 = 0. Do q and -375 have the same value?
False
Let n = 73424 + -73269. Let d = -32/15 + 38/15. Is n less than d?
False
Suppose 4442 + 4171 + 11057 = 35*c. Which is bigger: 558 or c?
c
Suppose 1 = -6*w - 749. Which is greater: -127 or w?
w
Suppose 3*a - 87 = -3*y, -2*a + a + 39 = 3*y. Let r = a + -120. Are r and -95 equal?
False
Suppose -238 = q - 209. Let g = 65 + q. Let i = -29 - -63. Which is bigger: i or g?
g
Suppose 2*g - 2*g + 5*g = 5. Which is smaller: 2/2747 or g?
2/2747
Let b be (-3)/9*-3 + -115 + -3. Let u = -113 - b. Suppose 0 = -5*s - u*g - 8, -5*g - 10 = 2*s + s. Which is smaller: s or -2?
-2
Let u = -33696 + 33695.8. Which is greater: u or -14141?
u
Let p be ((5 + -5)/(-6))/(2/2). Let q be 305/75 - (-3 + 0 + 8). Which is smaller: q or p?
q
Let p = -1975 + 2042. Is -4/11 at most p?
True
Let c be 2/16 + (-11250)/(-1200). Suppose 3 + 2 = -5*w. Let o = 12 + w. Is o greater than c?
True
Let l = 142 + -167. Let c = l + 99/4. Let n be 0/3 - (-1 - 13). Does c = n?
False
Let o be (6/4)/3*(-25 - -11). Let i be (-6716)/(-69)*(-1 - 4/o). Which is smaller: i or -42?
-42
Let x = -46 + 28. Let k be (-364)/x + (-8)/36. Let l be (-43)/(-4)*1 - (-5)/k. Is 11 at least l?
True
Let l = 4428 - 4172.8. Is 2 at least l?
False
Suppose 104*v = -26 + 74 + 56. Are -12/353 and v non-equal?
True
Let i(y) = -y**2 + 14*y - 49. Let x be i(7). Suppose -5*k - 50 = 5*k. Which is bigger: x or k?
x
Let s = 33 - 32.95. Let b = -1.05 + s. Let a = -9.1 - -8. Is b smaller than a?
False
Let m = -79 + 98. Suppose 15*z - m*z = 4