 -4*l - 135 = -9*l - 5*z. Which is greater: l or 543/17?
l
Suppose -5*i = -f + 113, 16*f - 98 = 5*i + 20*f. Let l be ((-454)/(-8))/((-1)/2). Let m = l - -92. Is i at least as big as m?
False
Suppose v - 2*v - 29 = -k, 3*k + 5*v = 87. Let i = k + -18. Suppose 21*p = 27*p - 48. Which is greater: i or p?
i
Let u be (-2)/2*(-7 - -8) + 667. Suppose 186*l - 37905 = 129*l. Which is greater: u or l?
u
Let h be (-3 + 4 - -1)*90/400. Which is bigger: h or -65?
h
Let y be (191 - 4)/(2/12*-3). Let l = y + 335. Which is greater: l or -40?
l
Let g be 4 - 27 - (-12 + 3716). Which is greater: g or -1?
-1
Suppose 73*j = 28*j - 9613 + 32293. Is 508 bigger than j?
True
Suppose -972 = 2*q - 2*o + 406, o = 2*q + 1371. Is -682 <= q?
True
Let t(i) = 3*i**2 + 32 + 15*i**2 + 17*i + 0*i**2 + 7*i**3 - 8*i**3. Let u be t(19). Is u less than -6?
False
Let g be (-98)/(-84)*(-6338)/(-14). Let h = -526 + g. Let i = -13 - -15. Which is smaller: h or i?
i
Let l = 736.4 - -71.6. Which is smaller: l or -2?
-2
Let l(z) = -z**2 - 26*z - 34. Let d be l(-35). Let y = 1956/77 - 28873/77. Let h = d - y. Which is smaller: 2 or h?
h
Let f = -72 + 44. Let q be (-2)/((-24)/(-9)) + 7/f. Let l = -901 - -164881/183. Which is bigger: q or l?
l
Let a = -20647 - -20396. Is a at most as big as -228?
True
Let d = -1712 + 1118. Which is smaller: d or 1/6?
d
Let k(v) = -v**3 + 9*v**2 + 2*v - 88. Let t be k(9). Which is smaller: -65 or t?
t
Let g(o) = -98*o - 87. Let v be g(-1). Do -2.8 and v have the same value?
False
Suppose -4*f - 4*h + 4 = 0, -f - f = -4*h - 8. Suppose 0 = f*b - 4*w + 12, -48 + 51 = b + w. Which is smaller: b or -6/37?
-6/37
Let c be -5 - (-72)/(-8) - (3 - 11). Is 22/25 equal to c?
False
Let j = 1408.825 + 1.175. Which is bigger: j or 1?
j
Let o = -21.105 - -20.905. Which is smaller: 238/33 or o?
o
Let a be 164*(55/10 - 5). Let p = a + -77. Suppose -r = p*t + 11, -5*r + 3*t = 2*t - 49. Is 41/5 smaller than r?
True
Suppose 100*l - 111*l + 2002 = 0. Suppose l*k + 990 = 176*k. Is -166 at most k?
True
Suppose 3*h - 1 = 4*x, 0 = 3*x + 15*h + 19 - 1. Are -4/623 and x non-equal?
True
Suppose -4*n = 12*n - 128. Let d be (5 - n) + (-132)/(-42). Does 1 = d?
False
Let d = 647 + 73. Let l = d + -719.8. Is 1/29 equal to l?
False
Let h = -19312 - -19303.5. Which is greater: h or 6/41?
6/41
Suppose -3*b - 1454 = -4*z, -23*b + 20*b - z - 1429 = 0. Let h = b + 477. Do -4/57 and h have different values?
True
Let g = 33.63 - 34. Let w = g - -0.28. Let n = -0.3 + 0.3. Which is smaller: w or n?
w
Let u = 251 - 247. Suppose 4*i - 20 = u*g, -5 = 3*i + i + g. Which is smaller: i or -3/10?
-3/10
Suppose -21*q = -1954 + 64. Let u = -545/6 + q. Is -0.3 smaller than u?
False
Suppose x + 0*x + 7*x = -8. Do x and 3/404 have the same value?
False
Let l = 31098 + -31093. Is -734 < l?
True
Let t = 32651 - 130611/4. Let f = -1.5 - 0.5. Which is smaller: t or f?
f
Let z = 46/609 + -155801/6699. Is -22 >= z?
True
Let o be (((-2924964)/(-405))/53)/(3/(-25)). Is -1135 >= o?
True
Let m = 0.2481 - 0.2181. Let q = -22 + 30. Which is smaller: q or m?
m
Let y = -3.2918 - -3.488. Which is greater: -2 or y?
y
Let w be (4/48)/(1/14). Let r = -3871 - -3873. Is w at least as big as r?
False
Let s = 32640 - 32637. Which is smaller: 308/95 or s?
s
Suppose -66*l - 106 = -55 + 213. Is l less than -153/58?
True
Let f(x) = 4*x**3 + 41*x**2 + 11*x + 10. Let d be f(-10). Let v be 1/74*(6 - -2). Which is bigger: d or v?
v
Suppose -2*f + 16 = -y - 9, 0 = 5*f + 5*y - 25. Suppose -f*z + 168 = -2*z. Is 19 equal to z?
False
Let x = 31 + -144. Let z = x - -19. Let j = 96 + z. Are 4 and j equal?
False
Let j(m) = 2*m**3 + m**2 - m + 1. Let n be j(1). Suppose -q = n*q. Suppose -4*d + 20 = -4*v, q*v = 2*v - d + 9. Which is smaller: v or -3?
v
Suppose -5*n - u = -54 + 192, 3*u + 24 = 0. Which is bigger: 323 or n?
323
Let a = 0.0281 - 276.0281. Let w = -254 - a. Let j = 2 - 1.9. Which is smaller: w or j?
j
Let z(u) = -4*u**3 + 29*u**2 - 47*u - 1. Let n be z(5). Which is bigger: -12 or n?
n
Let x = 46668 - 16613819/356. Is x < 1?
True
Suppose 0 = -2*q + 3*q - 1. Suppose -184*k = -159*k + 200. Which is smaller: k or q?
k
Let g be ((-52)/273)/((-2)/(-3)) + (-40)/(-385). Is 0.22 bigger than g?
True
Suppose -s + 4*m = 372 - 389, -5*m = -s + 24. Which is smaller: 24 or s?
s
Suppose -5*v = 16*x - 21*x, 5*x - 30 = -v. Suppose x*m = -4*m + 252. Suppose -2*j - 81 = -5*j. Is j equal to m?
False
Let i = -3015 - -3015.1. Is i not equal to 233?
True
Let t(p) = p**3 + 5*p**2 + 55*p + 146. Let d be t(-3). Is -1/758 <= d?
False
Let f = -42166/3 - -13867. Which is smaller: -187 or f?
f
Let q = 41 + -8. Let w be (3 - -6) + 34 - 9. Let c = q - w. Which is smaller: -2/61 or c?
c
Let n = -341.4 + 334.4. Is -61 smaller than n?
True
Let c = -0.08 + 0.24. Let w = c + 1.84. Let t = -6.927 - -4.927. Which is smaller: w or t?
t
Let g = 10354828/49023 - 9/5447. Which is smaller: g or 211?
211
Let j(x) = x**2 - 2*x - 32. Let q be j(8). Let w = -13 + q. Let n be w + 0*(-1)/6*2. Is n at most 1?
False
Suppose 40*t - 2767 = 14635 + 14518. Is 0 equal to t?
False
Let w = 0.16 + -0.26. Let f be ((-1)/(-5))/((-252)/210). Which is bigger: w or f?
w
Let y be (-15538)/(-340) + (-1)/2. Let n = -45 + y. Which is bigger: n or -13?
n
Let w be (-4 - (2 + (-1 - 3)))*360/(-240). Let o = -1/887 - -10651/6209. Which is smaller: w or o?
o
Let x(r) = 0*r + 2*r - 5 + 63*r**2 - 155*r**2 - 9 + 93*r**2. Let h be (15/6)/((-1)/2). Let v be x(h). Is v greater than or equal to -2/267?
True
Let o(y) = -y**2 + 22*y - 51. Let m be o(22). Let b be 6 + (210/m - 2). Let x be (-8)/(-6) - 1/3. Is x less than or equal to b?
False
Let w(f) = 27*f**2 + 2*f. Let g be w(1). Suppose 40*h = g*h. Which is bigger: h or 17/15?
17/15
Let h be ((-11668)/318)/((-33)/(-1188)). Let q = -1321 - h. Is 0 > q?
True
Suppose 28*o = -6*o + 6664. Let b be (-1)/(-2)*(o - 2). Which is smaller: 95 or b?
95
Suppose 0*f + 2*f - 4 = -r, 0 = -2*r - 3*f + 8. Suppose 0 = 4*z - s - 13, z + r*s - s = 13. Suppose -142 = z*w + p, -23 - 57 = 2*w + 5*p. Is w at most -35?
True
Let y be 12/(-15) - (-2)/30*-3. Let h be y*(-3)/(-33)*2. Which is bigger: -67 or h?
h
Let k = 1079/18 + -27599/450. Let t = k + 18/25. Is t at most as big as -1.7?
False
Let l = 263.94 + -9.94. Do l and 6 have the same value?
False
Suppose 0 = -9*w + 29*w. Suppose 32*o - 29*o - 57 = w. Which is greater: o or 184/9?
184/9
Let u = -3 - -1. Suppose 43*x - 222 = 6*x. Let b be (-8)/x - u*3/18. Which is greater: -4/27 or b?
-4/27
Let k = 94 - 45. Let r = k + -50. Which is smaller: r or 69/7?
r
Suppose 5*v - 58 = -3*i, -3*i - 4*v - 24 = -7*i. Suppose 4*u - 672 = -3*a, -i*a = -2*u - 14*a + 336. Is 170 equal to u?
False
Let z = 19.021 - 19. Let i(l) = -l**3 - 8*l**2 - 6*l + 10. Let n be i(-7). Suppose 2*j = -j - n*b - 12, j - 11 = 2*b. Which is smaller: z or j?
z
Let j be (-441)/14*-1*2/(-3). Let m be j/3 + (-536)/(-76). Which is smaller: 1/3 or m?
m
Let r(t) = 12*t + 10. Let z be r(2). Let a be (-137)/4 + 3/12. Let g = z + a. Which is smaller: -3/11 or g?
-3/11
Let m(d) = d + 6. Let a be m(-2). Let v(w) = -3*w - 12 + 4*w + 0*w + a*w. Let t be v(3). Which is greater: t or 1?
t
Suppose 16 = -4*m, -27 = -3*o + m + 2*m. Let c be 44/429 + o/(-30). Which is greater: c or -1?
c
Let r be (-147384)/(-332343) + 3*(-8)/54. Is r less than or equal to -1?
False
Let w = -2619 + 2552. Which is smaller: 41 or w?
w
Suppose -5*i - 33 = 5*x - i, 0 = x + 5*i + 15. Let m be x + (-3)/(-3) - -4 - -80. Which is smaller: m or 78?
78
Let w be (-191)/(-5348) + (-6)/(-28). Which is greater: w or -54/7?
w
Let x be 27/5 - (-4 - 176/(-48)). Which is smaller: 6 or x?
x
Let y = -3313 + 3313.0521. Which is smaller: 1/3 or y?
y
Let s = -202 - -203. Let j be 50559/(-108) + 5/20. Let v = -467 - j. Which is smaller: v or s?
v
Let j(c) = -3 - 4 + 5 + c**2 - 15 - 16*c. Let x be j(17). Let y be ((2 - 5) + x - -3)/3. Are y and -2/69 equal?
False
Let k = 2669 - 2663. Are -38 and k nonequal?
True
Let h be (-2)/((42/273)/((-508)/14)). Let m = 1383552/2933 - h. Is 1 bigger than m?
True
Let p be (-3 + 26)/(-23) - 602/90. Is p < -9?
False
Let i = -36 + 30. Let p be (-1)/i - 19/42. Let o = 24 - 23.83. Is o at most as big as p?
False
Let j = -23 - -28. Suppose -9 - j = -7*x. Is x bigger than 3/7?
True
Let j(o) = -10*o - 3. Let l b