l. Suppose -5*x - 20 = 2*q + 14, 5*q + x + w = 0. Is -13 smaller than q?
True
Suppose 5*j + f = 53, 2 = 21*j - 22*j + 4*f. Which is smaller: j or 104?
j
Let d(g) = -g**3 + 6*g**2 + 134*g - 9. Let f be d(-9). Is f at least as big as 2/635?
False
Let j = -1 + 0.9. Let c = 0.0209 - 2.1109. Let f = 3.59 + c. Is j greater than or equal to f?
False
Let j = 653 + -688. Which is smaller: j or -16?
j
Let l(i) = -11*i + 81. Let p be l(11). Let m be (-6)/(-5) - (-48)/p. Let g be (30/275)/(-3 + 1). Which is greater: g or m?
m
Suppose 27*x - 79 - 83 = 0. Let w be ((-2359)/(-518) - 6) + x/4. Is w != -1/8?
True
Let t(f) = -f**3 - 24*f**2 + 695*f - 36. Let i be t(19). Which is smaller: i or 1/5?
i
Let v = 437.64 - 0.64. Let o = 436.9 - v. Let m = -1.97 + -0.03. Which is bigger: o or m?
o
Suppose 3*d = -5*o + 729, 46*d - o = 51*d - 1193. Does d = 233?
False
Let i be 44/(-407)*(-11 + (-490)/(-40)). Which is bigger: 3/10 or i?
3/10
Suppose 3*g - 4*u + 2 = -0*g, 3*g - 3*u = 0. Let p be (11/4 - g) + 6417/(-124). Suppose -2*o - 66 = 38. Is o at least as big as p?
False
Suppose 5*x + 3 = -h + 25, 0 = 3*x - 5*h - 2. Suppose 4*t + 17 = -5*z, -2*z = -0*t + x*t + 14. Let g be ((-819)/171 - -10) + -5. Is g at least as big as z?
True
Suppose l + 226 = 5*o, 4*o + 9*l = 4*l + 175. Let i be (-2)/(-54)*3*-2. Which is smaller: i or o?
i
Let a = 23 - 38. Let s = -34 + a. Let y = s + 44. Are y and -5 non-equal?
False
Let p(k) = k**3 - 7*k. Let j be p(5). Let m be 3*(-10)/j*(-504)/(-10). Do -16 and m have the same value?
False
Suppose -3*o = 2*n - 6, -5*n = -o - 2*o + 6. Suppose 2*h - 4*l + 50 = n, 0*h + 4*h + 100 = 3*l. Let i = 101/4 + h. Which is smaller: 11 or i?
i
Let i = -4339/297 + 95/27. Is i at least -11?
False
Let r be -14 - (67335/25)/3 - (-1)/(-5). Is -912 != r?
False
Let s be -10*((-1)/(-5) + (-329)/70). Let d be (-783)/(-12)*(-4)/(-6). Which is greater: s or d?
s
Let p(j) = -91*j**2 - 20*j + 28. Let v be p(3). Is v at least as big as -851?
True
Let a = 750 - 2572. Which is smaller: a or -1/2?
a
Suppose -182*x + 184*x - 4900 = -4*z, 2*x = -8. Is z at least as big as 1227?
True
Suppose -m = 3 - 34. Let l(t) = 3*t**2 - 277*t + 2500. Let j be l(10). Which is smaller: j or m?
j
Suppose 0*s - 405 = -3*s - 3*v, -4*s + 534 = 2*v. Which is smaller: s or 5/4?
5/4
Let u be 4*3/6*-13. Let b be -5 + (62/(-3) - (-32)/(-96)). Is u equal to b?
True
Let y(q) = 3*q - 8. Let z be y(4). Let m be z + -4 + 3 + -4. Is m greater than -10/27?
False
Let v(f) = 5*f**2 + 776*f + 65. Let n be v(-155). Suppose -5*y = -2*s - 22 + 1, 0 = 3*y - 3*s - 18. Suppose d - 3 = 0, y*x + 255 = 3*d - 7*d. Is n >= x?
False
Suppose 0*z + 91 = 7*z. Suppose -z*l + 11 = 11. Which is greater: l or 3/175?
3/175
Let s(y) = -y**2 - y. Let o be s(0). Let h(t) = t**2 - 5*t + 5. Let r be h(3). Let x be (-21)/287*r/(-3). Is o less than x?
False
Let a(s) = -s**3 - 25*s**2 - 48*s - 55. Let c be a(-23). Let x(i) = -i**3 + 10*i**2 - 5. Let q be x(10). Which is greater: c or q?
q
Suppose -2*n + 491 = s - 6*s, n - 2*s = 248. Suppose 5*b - 285 - 35 = -5*c, 4*b = -3*c + n. Which is bigger: b or 65?
b
Let r be 1 - -20*2/(-44). Let w = 258 - 112. Suppose -148*a + w*a = -2. Which is smaller: r or a?
r
Let p = 31697 + -31184. Is 11 <= p?
True
Let v = -43246 + 43255. Which is greater: v or 290?
290
Let r(x) = x**3 + 15*x**2 - x + 90. Let i be r(-14). Suppose 3*f - 7*f - 1165 = -p, -f + 2*p = i. Is -289 not equal to f?
True
Let j be (-62698)/21390 - (-4)/(-30). Which is bigger: -2 or j?
-2
Let l = 2.88 - 655.88. Let m = -654 - l. Is m smaller than 0.01?
True
Let h = -90 + 151. Let f = h + -47. Is f at least as big as 4?
True
Let g be (-2)/(-4)*(-2)/3. Let i(t) = 19*t + 176. Let a be i(-8). Let d be (12/a)/(0 + 5/(-100)). Which is smaller: g or d?
d
Let k be 0 + 1/590*1. Let n be ((-5217)/(-34780)*(-20)/(-6))/(3/2 + -2). Which is smaller: k or n?
n
Let c be 375/40*1418885/2150. Let a = c - 6187. Is a at most -1?
False
Let b = 26 - 28. Let a be (b + (-10)/8)/(6/(-72)). Let g = a - 39. Which is smaller: 3 or g?
g
Let v = 394 + -114. Suppose -3*y = 4*c + v, 4*c - y = 3*y - 308. Let w = c + 2556/35. Which is smaller: -1 or w?
-1
Suppose -2*k + 84 = 2*t - 0*k, -t + 42 = -5*k. Let n be (-7)/t + (-268)/(-24). Is 11 >= n?
True
Let b be (-320)/(-150)*(-18)/4 + 10. Which is greater: b or 37.6?
37.6
Let m = 23.134 + -23.1. Let w = m + -2.034. Which is smaller: 30 or w?
w
Let g be (14/6 + -1)*(-96)/12224. Suppose 0 = 17*z - 15 - 2. Which is smaller: g or z?
g
Let m be ((-184898)/2961)/((-4)/(-18)). Which is bigger: m or -271?
-271
Let m be 3 + 524/(-8) + 0. Suppose 5*w = -r - 79 + 6, 136 = -2*r - 5*w. Is m bigger than r?
True
Let f be (12/42)/(21/(-21))*-2. Is 12.5 <= f?
False
Let h be -2*(-14)/28*46*-1. Is -53 != h?
True
Let p be 1/6 - 7385/15*1. Let h = p - -492. Let t = -0.02 - 1.98. Which is smaller: h or t?
t
Let g = -70555 + 70554.9. Let w = -12.66 - -13. Which is greater: w or g?
w
Let r be (0 + 1)/((36/104)/9). Suppose r*c - 30 = -4*c. Which is greater: -4/25 or c?
c
Suppose 80 = -3*h - 5*j, 0 = h + 2*j + 7 + 21. Let g(f) = f**2 + 21*f + 21. Let l be g(h). Are 1/25 and l unequal?
True
Let i = -22884 - -23638. Is 750 at most as big as i?
True
Suppose -16*y + 528 = -14*y. Suppose 3*z + 67 + 743 = 0. Let c be z/y + 0 + 1. Is c <= 0?
True
Let y be (3/(-4950))/((-2)/9). Let n = -7839/550 + y. Let x = 102643 - 102658. Is x at least as big as n?
False
Let j = 2.938 - 2.638. Which is smaller: 32 or j?
j
Let w = -16 - 7. Let h(v) = -8*v**2 + 386*v - 117. Let r be h(48). Which is smaller: r or w?
w
Let w(g) = -g**3 + 16*g**2 - 30*g + 6. Let u be w(14). Let c = -122955/26 + 4727. Let v = c + -1583/78. Do u and v have the same value?
False
Let j be ((-4)/(-18))/(-2)*9/(-6). Let z = 81.975 + -82. Let b = 0.125 + z. Which is smaller: b or j?
b
Suppose -25 - 6 = -h + 5*b, 0 = 5*h + 5*b - 35. Suppose -486 = h*u - 2*u. Suppose 0 = -4*s + 5*i - 232, -3*s + 0*i - 171 = -3*i. Which is smaller: s or u?
u
Let t be 2*(1 + (-16)/15). Let c = 204.5 + 12.5. Let v = -217 + c. Which is bigger: v or t?
v
Let k(i) = 29*i**2 - 5*i - 6. Let a be k(-2). Suppose -32*h + 38*h + a = 0. Is -20 < h?
False
Let c(t) = 7*t - 8. Let m be c(5). Let z be 2 - (-31 + -7 + 4). Suppose z + m = 3*h. Which is smaller: -2 or h?
-2
Let l be (-55 + 102)/(18/2). Let b = 53/9 - l. Is b >= 58/7?
False
Let r = -1851 + 1500. Is -364 less than r?
True
Let s = -1.207 + 81.447. Let x = 0.76 + s. Let k = x - 66. Which is smaller: k or -1?
-1
Let v = -4681 + 4870. Is v at most as big as 29?
False
Suppose 2*b - 6 = -b. Let k = 997/60 - 303/20. Which is smaller: k or b?
k
Let w(q) = q**3 - 14*q**2 + 5*q + 7. Suppose -2*c + 1 = -27. Let h be w(c). Let b = -190 - -267. Is b greater than h?
False
Let l(c) = c**3 + 16*c**2 + 15*c + 7. Suppose 5*m + 4*v = -67, 3*m = -18*v + 23*v - 55. Let s be l(m). Is s <= 8?
True
Let j(f) = 2*f + 2. Let h be j(-4). Let u be (-92)/h*(4 - 1). Let v(y) = -37*y**2 - 450*y - 27. Let k be v(-12). Which is greater: k or u?
u
Let k = 12637 - 12636.938. Is k at least as big as -8?
True
Let c = 422869213/9764370 - 19/1394910. Let i = c + -130/3. Let v be (2 + 3)*(-2)/(-5). Which is smaller: v or i?
i
Let i be 1/(-5 - 316/(-64)). Let d = -255 - -240. Which is greater: i or d?
d
Suppose -8*q - 107 = -379. Suppose -g - 14 = 5*i - q, -3*i = -9. Suppose 0 = 2*y - 5*x - 18, -14 = -g*y + y - x. Which is greater: y or -1?
y
Suppose -81*g + 83*g = -10, -2*c + 3*g = 17. Is -18 less than c?
True
Let x = -17433 - -17604. Which is smaller: x or 0?
0
Let a(k) = 13*k**2 + 3*k + 8. Let q(w) = 12*w**2 + 3*w + 7. Let o(f) = -2*a(f) + 3*q(f). Let r be o(-2). Which is bigger: r or 41?
41
Suppose -4*c + n + 7254 = -1520, -c = -n - 2198. Is c equal to 2195?
False
Let j = -180 - -134. Suppose 0 = 2*y + 27 + 65. Is y != j?
False
Let l be (3 - 8/2)/(0 - -5). Let d be 100/(-15)*-2*(-6)/(-180). Which is bigger: l or d?
d
Suppose 7098 = -207*c + 186*c. Which is smaller: c or -339?
-339
Let z = 6155 + -7237. Which is smaller: z or -1085?
-1085
Let x be -3 + (-28)/42 + 184/6. Let t be (-39)/(-12) + (x/12)/(-9). Which is smaller: 20 or t?
t
Let i be ((-24)/168)/((-3)/1272). Which is greater: -1 or i?
i
Suppose -18*s = -57*s + 156. Let h(w) = w**3 + 6*w**2 - 7*w + 3. Let l be h(s). Which is greater: l or 3?
l
