 - -61. Let l = -5 + d. Suppose f - 2*a = 5 + 4, 5*f = 5*a + l. Which is smaller: -1/31 or f?
f
Suppose -4*s = -3*i - 13335, 0 = 184*i - 180*i - 10*s + 17738. Which is greater: i or -22282/5?
-22282/5
Suppose -3010 = -74*l + 67*l. Let z = -64 + l. Which is greater: -1/2 or z?
z
Suppose 80 = i - 5*z + 115, -i - 14 = -2*z. Which is bigger: -33/124 or i?
i
Let g = -5 - -3. Let m be (22/(-6))/(12/9). Let f = m - -39/20. Which is bigger: g or f?
f
Suppose 7*n - 5*n - 5*v - 32 = 0, 5*n = -4*v + 80. Suppose -5*a + 3*j - 66 = -8*a, 4*j = 5*a - 155. Suppose a = n*c - 13*c. Which is smaller: 7 or c?
7
Let h be (-3 - 7) + (-592)/(-60). Which is greater: 4/7 or h?
4/7
Suppose 4*x + 72 = 3*u, 92 = 4*u - 255*x + 250*x. Suppose -4*o + 0*o = 28. Which is smaller: o or u?
o
Let p(u) = 2*u**2 - 145*u + 681. Let l be p(5). Is l less than or equal to -82?
False
Let i(p) = -p**3 - 6*p**2 + 11*p + 5. Suppose -2*v - 9 + 0 = 5*g, 0 = 3*v + 4*g + 17. Let o be i(v). Suppose 63*m + 356 + 1030 = 0. Which is smaller: m or o?
o
Let w = -0.04 - -0.04. Let u = 2551 - 2552. Which is smaller: w or u?
u
Suppose z - 40 = -5*v, -1360*v + 1363*v - 4*z - 47 = 0. Is 47/13 < v?
True
Suppose 3*c - 114 = -3*b, 2*c - 4*b = 56 + 8. Suppose 17*i - 44 - 41 = 0. Let k be (c/(-135))/(2/i). Which is bigger: -0.03 or k?
-0.03
Suppose 2*i + 3*w - 16 = 0, -i - 3*i - 4 = -3*w. Suppose -5*h = u - 6, i*h - 5 = -2*h - u. Let v = 95/142 - 12/71. Which is smaller: v or h?
v
Let q be -2 + -9 + -55 + 62. Let k(c) = c**2 + 4*c + 2. Let a be k(-5). Is a not equal to q?
True
Let a be 9/15 + 2936/(-1835). Let t(x) = x**2 + 2*x - 2. Let c be t(3). Is c smaller than a?
False
Let p = -30.32 + 28.11. Which is greater: 0.3 or p?
0.3
Let z(i) = -3*i**2 + 53*i - 193. Let g be z(15). Which is bigger: -39 or g?
-39
Let l = -1730.96 - -1596. Let k = 135 + l. Is -16 less than or equal to k?
True
Let d = 991 - 992. Which is smaller: d or -2872?
-2872
Let a = 22 - -27. Let z(p) = -p**3 + 5*p**2 - 2*p + 38. Let o be z(6). Let q = a + o. Is q less than 39?
False
Let s be 0 - (-4 - -20)*(-7)/14*-1. Suppose 0 = -5*n - 4*c - 55, 4*n + c + 44 = -4*c. Is s less than or equal to n?
False
Let s = -53 + 64. Suppose s*v = 7*v - 36. Let o be -2 - 8/(-3) - 30/v. Are o and 4 equal?
True
Let n = -167286.119 - -167364. Let m = n - -0.119. Which is smaller: m or -1?
-1
Let a = -2.14 - 0.94. Let d = a - 2.92. Which is smaller: 5 or d?
d
Let k = -1.862 - -2.062. Let s be (2/3)/(4/6). Let j be ((-36)/459)/(s/3). Which is smaller: k or j?
j
Let t be 67/((-1139)/34)*1/(2/181). Is -184 at least t?
False
Suppose -3*j - 62 = -3*m - 5, -4*j = m + 1. Suppose m*y + 371 = 1406. Are y and -3 nonequal?
True
Let n = -15994 + 15999. Let o be -1*(-3 + 0 + 3). Suppose -4*f - v - 6 = o, -3*f + 5*v = 17 - 1. Is f equal to n?
False
Let n(l) = l**3 + 45*l**2 - 47*l - 48. Let t be n(-46). Let b be (4*t/10)/((-64)/(-160)). Suppose 6*d - d = -95. Is b greater than d?
True
Let u = -779626/163 - -4783. Which is smaller: u or 0.17?
u
Let y be 5375/(-20) - (80/(-5) - -13). Is y at most -267?
False
Suppose -s = -3*a + 17, -5*s + 3*a + 1071 - 1084 = 0. Which is greater: -7/1192 or s?
s
Let r be (180/4)/((-18)/12). Let o = r - -34. Let t be ((0 - -2)/4)/((-2)/o). Is -2 at most as big as t?
True
Let k be (-11056)/4 + (-35 - -17). Is -2780 <= k?
False
Suppose 0 = 5*h + 20, -4*h - 1461 = -1031*u + 1030*u. Which is smaller: 1444 or u?
1444
Let f = 4846 - 4843. Which is greater: 33/14 or f?
f
Let p = -8 + 267. Let t = p + -266. Is 10 < t?
False
Let k be 0 - ((-12)/9)/(18/27). Let m be (200/(-60))/(k/78). Which is smaller: m or 0.2?
m
Let y = -88 + 64. Let b be -3*1 - 656/y. Let d = 23 - b. Which is greater: 0 or d?
0
Let z be ((-52)/(-73))/(-202 + 192). Which is smaller: z or 0?
z
Let h = -570 - -569.9632. Let d = 0.0632 - h. Which is greater: d or 383?
383
Suppose -5*z = v + 17, -2*z + 4 = -16*v + 20*v. Let q be (-164)/(-96)*3 + -1. Which is greater: q or v?
q
Suppose 2*a = -5*j - 11, j + 2*j + 9 = 0. Let y(h) = -7*h**2 + 11*h**2 + 0*h**3 - 4*h**3 + 3*h**3 - 3*h. Let v be y(a). Which is smaller: 7/4 or v?
7/4
Suppose -2*a - d + 26 = -3*d, 0 = 3*d + 6. Suppose -a = -g + 28. Let l = g - 39. Which is bigger: l or -2/63?
l
Let h = -2/33 + 13/33. Let o = -6604.31 - -6605. Is h > o?
False
Let i(a) = a - 40. Let z be i(-9). Let w = z - -43. Let o(g) = 13*g + 7. Let l be o(w). Is -70 greater than l?
True
Let a be 10/(-4)*((-3542)/55)/(-23). Let s = 44/9931 + -322013071/89379. Let g = 3597 + s. Are a and g nonequal?
True
Let n = -148.21 - -150.21. Let g = -2702/17 - -159. Which is greater: n or g?
n
Let m = 59 - 54. Suppose 8*z = m*z + 45. Let b be (21/z)/7 + 0. Which is smaller: 0 or b?
0
Let w = -280 + 724. Suppose -13*r = -19*r + w. Which is bigger: 77 or r?
77
Let f = -3251 - -3304. Which is greater: f or 16?
f
Let q be (-9)/12 - 19/(-4) - -2. Let p be 405/63 - (q + 0). Which is bigger: p or 1/4?
p
Suppose -19 = -6*j + 41. Let i be 410/j - (1 + 1). Which is smaller: -2 or i?
-2
Suppose -y - 2*y = 2*a - 46, -3*a + 35 = -4*y. Suppose 6*x + a = 5. Which is smaller: -1/93 or x?
x
Suppose -t - 4006 = -6*t + 6794. Is t bigger than 2161?
False
Let s = -189 + 189. Suppose -151*v + 157*v - 456 = s. Which is greater: 1 or v?
v
Suppose -74*y + 16 = -7 + 97. Which is bigger: y or -396.3?
y
Let t = 86 + -86.5. Which is greater: t or 113?
113
Let r = -1849 - -1885. Does 21 = r?
False
Let h(x) = -x**2 + 7*x - 5. Let p be h(0). Let m be 123/(-205) - (-2)/p. Let j be 3/(1*39/2). Which is smaller: j or m?
m
Let z be (54/15 - (-3)/(-1))*155. Let x = 92 - z. Is x at least as big as 6/83?
False
Let l be 18/(-4)*(-96)/18. Let j = -165 + 235. Let c be (-12)/l + j/132. Which is smaller: 0 or c?
0
Let w be 2 - 3 - 14/(-18). Suppose -h - 3*y + 3 + 27 = 0, 5*h - 194 = -4*y. Let z be 2/10 + h/90. Do w and z have the same value?
False
Let u = -0.28 - -0.293. Let z = 0.057 + -0.1. Let t = z + u. Which is bigger: -2 or t?
t
Let f(y) = y**2 - 13*y + 28. Let t(q) = 20 + 1 - 5*q + 14. Let p be t(6). Let r be f(p). Is -16 greater than r?
False
Let g be 174/(-9)*(1 - 76/(-8)). Let l = 210 + g. Does l = 7?
True
Let t = 811 + -880.875. Let k = 0.125 - t. Is k bigger than 0.1?
True
Let b = -650/119 - -1419/238. Let s = -111 - -158. Suppose 64 = -4*x + 3*o + 8, 3*x + s = o. Which is smaller: x or b?
x
Suppose -3*p = 12, 4*p - 5 = y - 31. Let r = -267177 - -267177. Which is bigger: r or y?
y
Let g be (119 + (-6)/2 + 0)/((-94)/(-141)). Is g not equal to 181?
True
Let s = -46 - -338/7. Suppose 37 = 4*k + 133. Let z = k - -25. Is z != s?
True
Let q = 4879 - 4879.3. Which is smaller: q or 0.0122?
q
Let f(m) = 5*m**2 + 49*m - 11. Let t be f(-10). Which is smaller: t or -37/93?
t
Let u be (1/(-6)*(-18)/62)/((-2616)/3488). Let s = -1 - -1. Is s < u?
False
Let k = -333 - -346. Suppose -k*d = -7*d + 126. Which is smaller: -3 or d?
d
Let x = -2620048/51 + 51370. Which is smaller: x or -3?
x
Suppose 154*i - 1582 = -196. Let t(c) = c + 5. Let k be t(-5). Suppose -s - 1 = -k*s. Which is smaller: i or s?
s
Let s be ((-25)/(-30) - (-3933)/27) + (-6)/(-4). Which is bigger: 83 or s?
s
Let p = 3610 - 3636. Is -161/6 greater than p?
False
Let x = 1848/13 + -493442/3471. Let t = -100419 - -100418. Which is smaller: x or t?
t
Let g = 3598 + -3597.92. Which is smaller: g or 0.146?
g
Let j = 50.01 - 49.9. Let p(u) = 0 - 6 + 2*u + 2 - 5. Let v be p(5). Are j and v unequal?
True
Let m be ((-120)/25)/(-3 - 66/(-20)). Let i be (m + 17)/((-1)/(-3)). Suppose -i*p + 50 = p - l, 4 = 2*l. Which is smaller: p or 14?
p
Let w = -34 + 44. Let o be ((-90)/21 - -4)*-7. Suppose 0 = -5*t + 3*h - 0*h + 1, -w = -2*t - o*h. Is t at least 1?
True
Let o = -42604 - -56008. Which is bigger: o or 13403?
o
Let h = 48 + -25. Let b = h - 23.9. Let s be 4/(-27)*(-6)/4. Which is greater: b or s?
s
Suppose 34*c - 581 = 32*c + 3*n, 2*c = 5*n + 579. Which is bigger: c or 294?
294
Let x(k) = -14*k**2 - 281*k - 18. Let p be x(-20). Is 76/33 less than p?
False
Let n be (10212/(-144)*1 + 10/8)/(-3). Which is bigger: n or 24?
24
Let h(z) = -2*z**3 - 19*z**2 + 25*z + 64. Let y be h(-10). Which is greater: -0.22 or y?
-0.22
Let f = 567 + -328. Let u = -239 + f. Are u and -0.04 equal?
False
Let o = -210 + 218. Suppose -6 = a - o, 3*z = 3*a - 219. Is -72 less than or equal to