 Let l(u) = -u**2 - 4*u. Let m be l(x). Which is smaller: m or -6/37?
-6/37
Let d be ((-1)/(-8))/((-2)/20). Suppose 3*o = -5*x + 19, -4*o + 17 = o + x. Suppose -7 = 5*u + o. Is u at most as big as d?
True
Let s(q) = 9*q**2 - 154*q + 17. Let b be s(17). Which is smaller: b or -4/105?
-4/105
Let w = 2252 - 2218.18. Let p = w - 34. Which is smaller: p or 2?
p
Let x = 3.16 + -2.3. Suppose 0*k = -4*k - 4. Is k bigger than x?
False
Suppose 0 = 38*j - 34*j - 1632. Let m = 3285/8 - j. Which is bigger: m or 3?
3
Let m(w) = -w**2 - 5*w + 6. Let k be m(-6). Suppose -4*n - 11 = 9. Let j be 363/(-1265) + (-1)/n. Is j bigger than k?
False
Let x(k) = -5*k**3 - 7*k**2 + 7*k + 11. Let a(q) = 4*q**3 + 6*q**2 - 6*q - 10. Let s(y) = 6*a(y) + 5*x(y). Let o be s(0). Which is smaller: -0.1 or o?
o
Suppose -2*m - 40 = -0*m. Let z be ((-6)/(-5))/(4/m). Let w be (-2)/z*(-4 + 4). Does w = -1?
False
Let o = -1091 + 1093.8. Is -3/5 at most as big as o?
True
Let i be (-2 + 0)*-5*3/(-70). Let a(f) = -f**2 + 4*f - 2. Let w be a(3). Which is greater: w or i?
w
Let k = -58043/20 + 2901. Is 0 not equal to k?
True
Let n(d) = -d**3 + 6*d**2 - 3*d + 27. Let m be n(6). Let p be m/((-972)/(-400)) - 4. Is 0 at least as big as p?
True
Let s(v) = 4*v**3 + 3*v**2 - 2*v + 6. Let o be s(-3). Let b = 68 + o. Which is smaller: b or 1/34?
b
Suppose -752 = 5*f - 3*o + 2*o, 740 = -5*f + 5*o. Let s = 146 + f. Is -45/11 at most s?
False
Let x = 2200 + -10978/5. Let g = 1.14 - 0.14. Does g = x?
False
Let g = 30 - 21. Let i = -3309/8285 - 1/1657. Which is greater: g or i?
g
Let j be 10/(-25) - (-81)/65. Let k = -257/273 + j. Which is greater: k or 1?
1
Let c = 16.57 - 16. Let u = 0.57 - c. Is 7 at most as big as u?
False
Let n = -94.58 - 4.42. Which is bigger: -0.3 or n?
-0.3
Let c = 56.944 + -57. Let s = c + 0.026. Is 2 not equal to s?
True
Let k = 17 + -10. Suppose k*m + 124 = -114. Which is smaller: m or -33?
m
Suppose -2*n + 0*n - 22 = 3*i, 15 = -3*n. Let h = 27 + i. Is h greater than or equal to 23?
True
Let x = -0.151 - -0.151. Suppose -3*c + 10 = 1. Let h be (-8)/(-1) + 0/c. Is h < x?
False
Let r(v) = -20*v - 82. Let t be r(-8). Which is smaller: 81 or t?
t
Let l be 18/(-72) + 2 + 715/(-4). Which is greater: l or -711/4?
l
Let f(v) = -v**3 + 7*v**2 + 27*v + 29. Let z be f(10). Is 1/303 equal to z?
False
Let f(u) = u**2 - 13*u + 23. Let y = 122 + -72. Suppose 5*v - y = 5. Let k be f(v). Which is bigger: k or -2/55?
k
Let u(w) = 33*w + 1. Let n be u(7). Let c be 16/72 - n/(-9). Let a be 1584/(-156) + 4/c. Which is bigger: 1 or a?
1
Let s be (1 + (-3)/(-18)*-3)/(-164). Is s at most as big as -1?
False
Let s be 3 - (-1 - 4)*1. Let y be 2/s + 2/(-8). Which is smaller: 7/8 or y?
y
Let i be (-6 - -4)/(-4)*48. Suppose -56 - i = -2*y. Suppose -2*g = 3*g + y. Are -8 and g equal?
True
Let g = 4 + -53. Let m = 48.9 + g. Which is greater: m or -21?
m
Let t = 5 + -3. Suppose 0 = 4*a + t + 2. Let l = -101 - -107. Which is smaller: l or a?
a
Let w = -795 - -317. Which is greater: w or -1?
-1
Suppose -g - 72 = -119. Let y = g - 64. Is -18 bigger than y?
False
Let x(h) = h**3 + 6*h**2 - 4*h + 5. Let z be x(-7). Let l be z/10 - (-6)/10. Let k = 345 - 5867/17. Does k = l?
False
Let d = 7 + -15. Let z = 0.3 - -1.7. Is z bigger than d?
True
Let m(h) = 5*h + 116. Let z be m(-15). Which is bigger: z or 2?
z
Let y be (1/6)/((-25)/150). Which is greater: -18/11 or y?
y
Let r be -9 + 0 - (1 + -2). Let x be (r/(-18) - 0)/(-2). Let c = -16.19 - -16.39. Is c at most as big as x?
False
Let s(u) = u - 3. Let d be s(-3). Let k(x) = -x + 2. Let h be k(d). Are 8 and h non-equal?
False
Suppose -19*k + 20*k = 16. Are k and -0.1 unequal?
True
Let l be (-39 - -1)*(10 - (19 + -14)). Are l and -190 equal?
True
Let m = -722 + 721. Let q be 1*-2 - (0 - 9). Which is smaller: q or m?
m
Let d = -49 + 79. Let g be 4/(-2) - d/(-3). Suppose -12*v - g = -8*v. Is 0 at most as big as v?
False
Let o = -5/1326 + -171019/9282. Let f = o + 2981/161. Which is smaller: f or 0?
0
Let n be (-42)/7 - 270/(-47). Which is bigger: n or -1?
n
Let k be 12/(-15) + (-292)/10. Let g = k + 31. Which is smaller: g or 8/25?
8/25
Let m be (7 - 1)*(-2 + 1). Let l be 3*3/18*m. Let y be (-14)/(-8) - (-3)/12. Is l at most as big as y?
True
Let h = -112 - -43. Is h smaller than -69?
False
Suppose 98*y - 40*y - 26042 = 0. Is y at most as big as 449?
True
Let u = -57 + 36. Let d = 62/3 + u. Are 16 and d unequal?
True
Let y(f) = f**3 + 33*f**2 + 40*f + 245. Let s be y(-32). Let a(z) = -z**2 + z + 2. Let j be a(3). Which is smaller: s or j?
s
Let m be (32/5)/(-2 + 216/110). Which is bigger: -173 or m?
-173
Suppose -3*f - 5*z = -8*z + 45, -3*z = 0. Let j be (-10)/f + 5/(-3)*1. Which is greater: 2/69 or j?
2/69
Let t = -0.512 + -6.488. Do t and -0.11 have the same value?
False
Let k = -31.48 - 0.52. Let y = k - -35. Which is bigger: 1/4 or y?
y
Let p = -54 - -58. Let w = 3/211 - -3361/1055. Is p at most w?
False
Suppose 0 = -5*r - 9 + 29. Suppose 4*t = 3*t - r. Let j = -3 - t. Is j bigger than 2?
False
Suppose 41 = -2*c - 31. Let i = c - -38. Let f = -31/12 - -41/12. Is i less than f?
False
Suppose -4*a + 5*b = -72, -5*a + 8*b + 85 = 3*b. Suppose 3*k + a = 7. Which is smaller: -4 or k?
-4
Suppose 2*r = 3*r. Suppose -5*d + w - 46 = 0, r*d + 4*d = w - 37. Let a be d/(-6) + (-9)/6. Is -2/13 <= a?
True
Let x be (-2)/8 - (-49)/(-28). Let a(m) = -2*m**2 - 3*m + 3. Let t be a(x). Which is smaller: -1/60 or t?
-1/60
Let v be (-12)/2 - ((12 - 6) + 413). Which is smaller: v or -424?
v
Let g(p) = -2*p - 8. Suppose -3*a - 21 = 2*m, a - 6*m + 7 = -m. Let l be g(a). Suppose 2 = -4*o - l. Which is smaller: o or -1?
o
Let w(z) = z**2 - 3*z**2 - 2 + 0*z + 2*z. Let n be (-7)/(-2)*(32/56 - 0). Let v be w(n). Is -6 less than v?
False
Let a = 347/6 - 14257/246. Which is greater: 0 or a?
0
Let u(o) = 6*o**2 - 26*o - 10. Let k be u(5). Let a be (-50)/(-6) - (-4)/(-12). Which is greater: a or k?
k
Let p(d) = -2*d**3 - 5*d**2 + 2*d - 3. Let x be p(-3). Suppose x*w + 4 = -4*w. Let z = 3552/19 + -187. Which is greater: w or z?
z
Let l(c) = 2*c**2 + 5*c + 4. Let a be l(-4). Let q(u) be the second derivative of u**3/2 - 18*u**2 - u - 11. Let g be q(a). Is 13 less than g?
False
Let w = 35 - 30. Suppose -w*i = -8*i + 9. Suppose i = -4*s + 31. Is 5 < s?
True
Suppose j - 4*j = 3. Let q be j/(-3) - 26/(-39). Which is greater: 6/11 or q?
q
Let c = -2417/22 + 110. Which is smaller: c or 1?
c
Let p be 18/(-4)*-3*20/45. Let n be (p + -3)/((-3)/(-15)). Is 12 < n?
True
Let y be (12/20 - 1)/(5/(-7175)). Which is smaller: y or 573?
573
Suppose -11*y + 2365 = -825. Let f = 196 - y. Is -93 greater than or equal to f?
True
Suppose 3*v + 47 - 131 = 2*u, 3*u = 0. Suppose v*z - 29*z + 13 = 0. Is z at least 14?
False
Let m = 1.3 - 0.1. Let r = m - 1.4. Is r < 7?
True
Let t be (2/(-96))/((-11)/99). Do t and -1 have the same value?
False
Let w = 235 - 728/3. Which is bigger: -1 or w?
-1
Let k = -71 - -70.91. Let d = k + 1.09. Which is smaller: d or 41?
d
Let l = 81 + -87. Which is smaller: -21/4 or l?
l
Let h be (-3 - -15)/4 - 0. Suppose -2*x - 6 = 0, 4*l = -h*x + 51 + 20. Let s = l - 19. Which is bigger: -2/13 or s?
s
Let m(q) = q + 13. Let v be m(-10). Let a be (-7503)/(-1323) + -6 - (-1)/v. Which is bigger: -1 or a?
a
Let y be 8/64*-370 + 2/8. Which is greater: y or -45?
-45
Suppose -4*j = -3*j + 3. Let i be (-8)/(-10) + 176/5. Suppose 0 = -6*h - 3*h - i. Which is smaller: h or j?
h
Suppose -1188 = -127*q + 83*q. Let l = -18 + 44. Which is greater: l or q?
q
Suppose 8*g = 59 - 83. Is -19 >= g?
False
Let o = -3.49 - -3.39. Which is smaller: o or -559?
-559
Suppose -m = -2*x + 4, 0 = 13*x - 8*x + 4*m + 16. Which is bigger: x or -2/265?
x
Suppose 0 = -5*v + 3*v + 90. Let m be (2 - v)*(0 - 1). Let r = m + -128/3. Is r equal to 1?
False
Let f = 6.1 - -0.9. Let q = 35.98 - -0.02. Let v = q - 34. Is f >= v?
True
Let i be -8 + (-3 - (2 + -3)). Let j = -15 + 6. Which is smaller: i or j?
i
Let i be (-17 - (-1 - 14)) + 14/3 + -2. Suppose 5*a - 46 = 4*x, 5*a = -x + 10 + 16. Is i at least a?
False
Suppose -9*d + 10*d + 1 = 0. Let i be d/(-2) - (-27)/(-2). Is -0.1 at least as big as i?
True
Suppose 4*s = -0*x + x + 5980, -4480 = -3*s + 2*x. Let d be 4/(-18) + s/9. Let j = -657/4 + d. Which is greater: j or 3?
3
Let g be (4 - 75/