 - 5, 3*m - 43 = -f. Suppose -4*w + 16 = 0, -m*v - 4*w = -11*v + 68. Which is smaller: v or -27?
v
Suppose 4*d - 20 = -4*t, 5*t - 5*d = -0*t - 25. Suppose -5*m - 3*m - 8 = t. Which is smaller: m or -6?
-6
Let n be (-720)/(-45) - 238/14 - -1*1. Let q = 150/13 + -47/39. Do q and n have the same value?
False
Let q be ((-3712)/(-1160))/(1/1855). Which is greater: q or 5935?
q
Let s = 12.142 - -0.058. Let z = 35.3 - s. Let t = 23 - z. Does 2/33 = t?
False
Let n = -124087/308 + 1611/4. Let s be (-3 + (-15)/(-5))/(24/4)*-1. Is n at most s?
True
Let w(m) = 12*m + 2. Suppose 0 = 2*a + 7 - 3. Let o be w(a). Let t be 7/(-14)*-12 + -6. Is o greater than or equal to t?
False
Let j be -11 + 490/40 + 0 - (-19787)/12. Which is bigger: j or 1651?
1651
Suppose -5*a - 2*z + 6*z + 22 = 0, -3*z - 19 = -5*a. Let k be (8 - 12) + 8 + 2 - 2. Suppose -5*d + k*c + 50 = 0, 2*c = d - 3*d + a. Is d not equal to 5?
True
Suppose 12*l - 41 = 55. Suppose -x - 4*h = -6*x + 30, -16 = -3*x + 2*h. Which is greater: l or x?
l
Let w = 4621/23 - 201. Let o be 8 - 7/(28/20). Suppose 5*g = g + o*l - 12, -3*g - 2*l + 8 = 0. Which is smaller: w or g?
w
Let j be 8*5/10 + -3. Let b = -7027/1876 - -15/4. Which is smaller: b or j?
b
Suppose 4*m - 58 = -4*b - 10, 16 = 4*b. Suppose 56 = -m*k + 56. Is k equal to 0.045?
False
Let n be 4/((-72)/78)*-30. Let m = -11643 - -47091/4. Which is smaller: m or n?
m
Let d = 2200 - 2284.6. Are d and 3 nonequal?
True
Let g = -80 - -82. Suppose 2*p = 2*a - 48, 2*a = -a - g*p + 57. Suppose 47 = -f - 2*l, a = -f + l - 17. Which is greater: f or -40?
-40
Let l = -25 + 27.5. Let i = l - 1.5. Is i > -2/295?
True
Let o = -58 - -233/4. Let n = 8329.8 - 8330. Which is smaller: n or o?
n
Suppose 6 = -2*k - 12. Let c be k/5 + 8/10. Let t be (22/6 - 3)*27/(-36). Is t equal to c?
False
Let w = -44 - -50. Let q be (11/(-2) + w)/((-1)/(-26)). Suppose -8*u + q*u - 235 = 0. Which is smaller: u or 46?
46
Let b = 18632.9943 + -18632. Let c = b + 0.0057. Which is smaller: c or 26/5?
c
Suppose 4*m = -0*m - 56. Let f be (34/4 + m/7)*2. Suppose -l - 2*r + 11 = -4*r, 3*l = -4*r + f. Which is bigger: 5 or l?
l
Let o(m) be the third derivative of 4*m**4/3 - 31*m**3/6 + 34*m**2. Let v be o(3). Let f = 102 - 37. Is v at most f?
True
Suppose 4*l + 3*a = 53, 71 = 5*l + 2*a - 3*a. Let y be (369/82)/(l/8). Is y not equal to 2?
True
Let q = 29658 + -29668. Which is smaller: -628 or q?
-628
Let h = 101 - 92. Suppose -h = 6*u - 7*u. Let t be 1/(3/9) + u. Is t <= 13?
True
Suppose -9*z = -2*z - 490. Let d = 84 - z. Which is bigger: d or 8?
d
Suppose 16 + 19 = 7*n. Let h be (((-4)/1)/1)/(3 - n). Let j be h + 8/(-2) - (-43)/22. Which is bigger: j or -1?
j
Let x(u) = -58*u**2 + 217*u + 23. Let k be x(4). Does k = -537/14?
False
Let w = -572 + 607.9. Let s = 37 - 1. Let n = s - w. Which is smaller: -1/19 or n?
-1/19
Suppose 6*n = n + 35. Suppose 133 = n*o - 77. Suppose -20*l + 14*l + o = 0. Is 5 greater than l?
False
Suppose 0 = -13*b + 15*b - 6. Suppose b*y + 15 = -2*y - 3*c, 0 = -3*y + c + 5. Let l be (-6)/33 - 24/(-374). Is l smaller than y?
True
Let b = -74 + -19. Which is greater: b or -1788/19?
b
Let a be 62 - (7/(-2))/(-7). Let q = a + -67. Which is bigger: q or -6?
q
Let q = -269 - -293.7. Let p = q + -24.9. Do p and 64 have the same value?
False
Let s be (-2 - (-36)/15)*-5. Suppose 0 = -12*h - 10 - 26. Which is smaller: h or s?
h
Let g be 11/(((-8)/2)/(-4)). Let z be g/2*26 + -1. Suppose -z = 3*p + 2*d, -13 = 4*p - 4*d + 183. Is -47 bigger than p?
True
Let o be 10/3*168/70. Suppose -o = 3*r + 22. Suppose -5*m - 20 = 30. Is r at least as big as m?
True
Let g = -4910 - -4876. Which is smaller: 1/49 or g?
g
Let c = -118199/60 + 1970. Let m(q) = -4*q + 7. Let w be m(2). Is c at least as big as w?
True
Let p be ((-8)/14)/(1980/1078). Suppose 4*m - 3 - 5 = 4*f, 3*f = -6. Is m at least p?
True
Let k = -99.838 - 0.162. Let i = k + 109. Which is bigger: i or 3/2?
i
Let k = 18970 - 18944. Suppose -54 = -5*n - 3*w, -5*w = 5*n - 43 - 7. Suppose -5*h - c + 81 + 53 = 0, 3*c - n = 0. Is k at most h?
True
Suppose -574 = -5*v + 2*d, -d + 331 + 20 = 3*v. Let n = v - 118. Is n > -135?
True
Let h be (18/(-8))/((-10)/80). Suppose 2*x = -0*r - 2*r + 112, 4*r - 8 = 0. Let g = x - h. Is 35 less than g?
True
Let c be (-3)/12 - (-1 + 1). Let f be (-5)/(-25)*0 + 0. Suppose -9*b + 10*b - 13 = f. Is c >= b?
False
Suppose -2*b + 4*t = 7*t - 45, -2*t - 5 = -b. Let m = -4.2 - 1.8. Is m < b?
True
Let l = -842 + 841. Which is bigger: l or -69.35?
l
Let b = 0.8 + 0.2. Let m be 2*-3*(11 + 261/(-27)). Let l be (-10*3/m + -3)*-4. Is l at most as big as b?
True
Let q(h) = -2534*h - 32908. Let m be q(-13). Let j = -3 - -2.8. Let o = j + -0.8. Which is greater: m or o?
m
Let t = 3632 + -2089. Are t and 1543 equal?
True
Let k(u) = u**2 + 10*u - 11*u + 5*u - 2*u. Let n be k(-1). Which is smaller: n or -42/19?
-42/19
Let c = -2890 + 2889. Which is smaller: c or 123?
c
Let l = -15969 - -15183. Is l smaller than -777?
True
Let i be -8 + (1 - (-13 - -3)). Which is bigger: -0.086 or i?
i
Let d = 156.3 + -155. Let n = -63.3 + d. Do 1 and n have the same value?
False
Let w be 63/(-10) + 5 + (57/15 - 3). Does -1.22 = w?
False
Let m be 16/7 - 7686876/3363290. Which is smaller: 1 or m?
m
Suppose 10*l = -39*l + 49. Is 6/889 less than or equal to l?
True
Let s = -22 - -16. Let u be (-182)/12 - (-90 + 81). Which is smaller: s or u?
u
Suppose f + 2 = -p + 3*p, p + 13 = 4*f. Let n(c) = -10*c**3 + 3*c**2 + 3*c - 11. Let d be n(f). Is d > -591?
False
Let b be (-218)/690 - 3/(-9). Let d = -1296 + 1304. Let w(l) = -l**3 + 6*l**2 + 13*l + 24. Let r be w(d). Which is smaller: b or r?
r
Suppose -47*i + 901*i - 94366 + 7258 = 0. Which is bigger: i or 33?
i
Let h(o) = -o**2 + 4*o + 26. Let d be h(7). Suppose 136 = 4*f + d*q, 28 = -5*q + 8. Which is bigger: f or 37?
f
Suppose 0 = 13*g - 2*g - 176. Suppose g - 11 = 5*r. Let a = -471/7 - -202/3. Is r at most a?
False
Let w = -3989 - -3988.82. Which is smaller: w or -0.1?
w
Let g = -11371 + 10927. Is g greater than -440?
False
Let y(v) = 9*v - 109. Let q be y(11). Let k be (-15)/((-525)/q) - (-3576)/12369. Which is bigger: k or 0?
k
Let q = 118329 - 3432072/29. Is -18 > q?
True
Suppose 0 = -4*s - 3*c - 153, -5*c + 20 = -4*s - 109. Let m be (-3800)/57 - -3*(-20)/s. Which is smaller: m or -63?
m
Let i(o) = -o**3 + 8*o**2 - 68*o + 930. Let j be i(10). Is 1242/25 less than j?
True
Suppose -2*a + 14 - 2 = 5*y, 5*a = y + 3. Suppose 11*f = 8*f - 39. Let l = 22 + f. Is y less than or equal to l?
True
Let c = 190 + -186. Let b be ((-10)/(-6))/5 + c/(-12). Which is smaller: 7/13 or b?
b
Let r = -259 - -235. Let l = 23.2 + r. Which is smaller: l or 1?
l
Suppose 1255 = 115*t - 120*t. Let o = t - -153. Which is smaller: -97 or o?
o
Let a = -106 + 364. Let n = 259 - a. Is n greater than 13?
False
Let m = 290 - 238.4. Let w = 16 - m. Which is bigger: 0.1 or w?
0.1
Let u(y) = -2*y**3 - 19*y**2 - 29*y - 116. Let x be u(-9). Let o(m) = m**3 + 7*m**2 - 3*m + 2. Let r be o(-5). Is r less than x?
False
Suppose 3*b - 3473 = -z, -19*b + 5*z = -14*b - 5835. Is b less than or equal to 8125/7?
True
Let z = -13.7 + 9.2. Let j = z + 6.5. Which is bigger: -36 or j?
j
Let u = -7371.9 - -7680. Let n = 308 - u. Which is smaller: n or 0.07?
n
Let l = -6489403712/35 - -305717740127/1785. Let j = l - -14140611. Let p = j - -481. Which is greater: -1 or p?
p
Suppose 0*y + 3*y = -5*p + 464, -3*y - 3*p + 462 = 0. Let h be (-4 - 17204/(-110)) + 4/(-10). Which is smaller: h or y?
h
Let p be (48/(-68))/(4/(-6)). Let g = -10 - -15. Suppose 4*h - 15 = -3*z, 4*z - g*h + 11 = -0*h. Which is greater: z or p?
p
Let h = -10 + 23. Let j(p) = 3*p + 4. Let u be j(h). Let o = u - 50. Is o != -0.03?
True
Let r be (-8554)/4212 - 35/(-30). Which is smaller: -1 or r?
-1
Let m = -1.1 - -0.1. Let n = -259 - 138. Let w = -397.06 - n. Which is smaller: m or w?
m
Let i be ((-18)/(-4)*(-696)/217935)/(28/10). Which is smaller: i or 0?
i
Let d(q) = -q**3 - 20*q**2 + 21*q + 23. Let k be d(-21). Suppose 689 + 2577 = 86*i + 56*i. Is i bigger than k?
False
Let l(f) = 19*f + 609. Let u be l(-31). Do u and 218/11 have the same value?
False
Let y(n) = 2396*n - 2691. Let h be y(4). Do h and 6893 have the same value?
True
Let l = -0.016 - 0.087. Let j = l + 36.103. Let n = j