 l = -16/981 + 1/2289. Which is bigger: 0 or l?
0
Suppose -5*l - 84 = -l. Let c = -487 - -527. Suppose 4*h = -48 - c. Is l at least as big as h?
True
Let j be (-27 - 3)/(2165/(-1732)). Let c = 7 + -5. Suppose 4*w - 23 = c*r - 73, -2*r = 2*w - 50. Which is smaller: r or j?
j
Suppose 21*h = -10*h - 8*h. Is h at most as big as 1/1776?
True
Let m be 2/(-6) + (8 - (-250)/(-6)). Let u be (-33 - m)*(3 + 0 + -3). Which is bigger: u or 173?
173
Let l = -0.04 - -0.04. Let b be 13 - ((-2088)/(-30))/6. Is b less than l?
False
Let s = -0.997219 + -0.002781. Let z = -0.453 - -0.43. Are s and z non-equal?
True
Let x(q) = 24*q + 27. Let h be x(-1). Suppose -h*p + 475 = 163. Which is bigger: p or 105?
105
Let n(o) = -438*o**2 + 15*o + 6. Let g be n(-1). Is -451 at most g?
True
Let s(w) = -7*w**3 + w**2 + 2*w. Let u be s(2). Suppose 0 = 2*j - 5*m + 100, -75 - 125 = 4*j + 3*m. Is j less than or equal to u?
True
Let p = -554 - -593. Let c = 502 - p. Which is smaller: 464 or c?
c
Let u(d) = -2*d**2 - d - 7. Suppose -k - 6*k - 14 = 0. Let z be u(k). Let l = -57 + 51. Are z and l non-equal?
True
Let g be 12/7*7/2. Suppose -2*u = -g*u. Suppose 5*m - 13 = -q + 4, -4*q - 4*m + 20 = u. Which is smaller: 3 or q?
q
Suppose 815*x - 811*x + 3*f = 43, -3*x = 5*f - 46. Which is smaller: 33/5 or x?
33/5
Let o be 18*5/105*49. Let g(j) = j**3 + 8*j**2 + 3*j - 9. Let q be g(-6). Are o and q non-equal?
True
Let w = -475/4 - -119. Let t = -4/13009 - -24209785/117081. Let j = t - 207. Is j bigger than w?
False
Let p(c) = -384*c - 4606. Let h be p(-12). Do 49 and h have different values?
True
Let i = -0.37 - -0.87. Let m = -0.9 - i. Suppose 4*w - 4*q = 16, -3*w = 2*q - 3 + 1. Which is greater: w or m?
w
Let h = -117 + 126. Let m(y) = -8*y + 8. Let d be m(h). Let c = 37 - 101. Do c and d have the same value?
True
Let l be 1992/(-36) - 32/48. Which is smaller: -54 or l?
l
Suppose 0 = 75*r - 0 - 375. Which is smaller: -3925 or r?
-3925
Let r be ((-5 + -6)*4/(-12))/((-3)/27). Let p = -2508/7 - -13697/42. Which is greater: r or p?
p
Suppose 568*u + 71 = 569*u - 3*q, q - 387 = -5*u. Is u > -28?
True
Let f = -435 - -458. Suppose 3*b + 27 = 4*m + m, -4*m - 5*b = 8. Suppose 1 - f = 5*s + m*y, -2*s + 12 = -4*y. Which is greater: -13/6 or s?
s
Let q be 5719298/238303 - 25 - (-3 - -2). Which is smaller: 1 or q?
q
Let c be ((-135)/(-40))/9 - (-156)/96. Which is smaller: -0.45 or c?
-0.45
Let c = -1.38 + -227.62. Let k = -228.94 - c. Which is bigger: k or 3/11?
3/11
Suppose -4*h - 29 = -t, 3*h + 2*t + 3*t = -39. Let z = -50728 - -50709. Is h greater than z?
True
Suppose -60 = -m + 87. Let r be -4 - -5 - (m + -4). Is -283/2 bigger than r?
True
Let s(l) be the first derivative of -l**4/4 + l**3 + 5*l**2 - 23*l + 122. Let y be s(4). Which is greater: 26/25 or y?
26/25
Suppose -r - 73 = -31. Suppose -3*l = -4*n - 84 - 81, -4*l = -4*n - 164. Does r = n?
True
Suppose -5*v = 2*r + 2, -4*v - 6 = -2*r + 10. Let t = -20296 + 20334. Which is smaller: r or t?
r
Suppose 0 = q + 5, -z - 685 = -5*q - 713. Which is bigger: -5.62 or z?
z
Let t(j) = -4*j**2 - 71*j - 142. Let l(z) = -3*z**2 - 47*z - 95. Let u(m) = 7*l(m) - 5*t(m). Let w be u(28). Which is bigger: -47/4 or w?
w
Let h = 140.47 - -24.43. Let d = h + -165. Let k = -813/55 - -73/5. Is k less than d?
True
Let x = 19880448747029/6197 - 3208076295. Let u = x + 31608731/11352904. Let n = -36/229 - u. Which is smaller: 6 or n?
n
Let a = 0.049 - 19.049. Let q = 0 + a. Which is smaller: 1 or q?
q
Let z(q) = q**2 + 19*q + 132. Let m be z(-9). Let d be (-2516)/(-60) + 4/10. Let v = m - d. Is 0.18 bigger than v?
True
Let x = 104051/72 - 5779/4. Which is bigger: -1 or x?
x
Let p = -20123/4 + 5024. Which is greater: p or 35?
35
Suppose 2*n + 1 = 63*f - 62*f, -4*f + n + 4 = 0. Is -3/1321 at least as big as f?
False
Suppose 5*n + 340 = 215. Suppose 2*t - 1 = 1. Let j = t + n. Which is smaller: j or -25?
-25
Let s = -1 + 1. Let h = -394987/21 - -18802. Let n = h + 46/7. Which is smaller: s or n?
n
Let j(a) = -a**2 + a + 7. Let i = 97 + -94. Let t be j(i). Is -2/17 != t?
True
Let f be ((-40)/(-12))/(5 + 3*34/(-12)). Let k(r) = r**3 - 6*r**2. Let o be k(6). Is o equal to f?
False
Let y be -2 + 6 + -6 + 2. Let h be 2*(-3)/(-12) - (-66)/(-44). Which is smaller: y or h?
h
Suppose -41 = 5*r - 4*d + 268, -2*r - 96 = 3*d. Which is smaller: r or -642/11?
-642/11
Let d = -8048 + 4358. Is d < -0.1?
True
Let a be (-52)/80 - 4/(-10). Let l = -37.5 - -37.638. Is a > l?
False
Let q(m) = -188*m - 52*m + 64*m - 12. Let a be q(-5). Let z be 12/15 - a/10. Is -87 greater than z?
False
Let d = 246 + -229.1. Let l = d + -12.9. Is l greater than -0.28?
True
Suppose 13*c = 48*c - 128 + 1003. Let j(z) = -2*z**2 - 2*z - 1. Let h be j(-1). Which is smaller: h or c?
c
Suppose -b + 5*c - 40 = 4*b, -5*c = 2*b + 37. Let g = b + 5. Let w be (-36)/168*40/g. Which is smaller: w or 1?
1
Let l be (-5)/(-30)*(-600)/(-20). Let i be (-4)/3*66/(-4). Suppose -2*b = -0*b + 4*r + i, l*r = -2*b - 27. Which is bigger: -2 or b?
b
Let p = -849 - -79815/94. Is p >= 1?
False
Suppose 10*t = 15*t - 3*r - 49, r = 5*t - 43. Suppose 2*y = -3*n - 3*y + 8, 0 = -5*n - 3*y + t. Is -1/21 equal to n?
False
Suppose 3*c + 15 = 3*n, -c + 60*n - 58*n = 9. Is -51/94 at least as big as c?
True
Let u = 10.56 + -3.56. Which is smaller: -0.352 or u?
-0.352
Let u be 6588/792 + (0 - -24)/(-3). Let m = -3 - -3. Which is smaller: u or m?
m
Let n(z) = -59*z**2 + 33*z - 241. Let y be n(7). Is -2901 >= y?
True
Let n(k) = -k**2 + 10*k + 44. Suppose 67 = 4*z + 11. Let s be n(z). Let g be (-4)/(4/11) - 0. Which is bigger: s or g?
g
Suppose 2 = -3*s + 2*w, -4*s = -4*w + 3*w + 1. Is 59.39 < s?
False
Let b(t) = 10*t - 6. Let r be b(-17). Let k = r + 137. Is k > -40?
True
Let u = -45 - -286. Let n = -241 + u. Is n greater than 5?
False
Let x be (4 - 18/3)/(3 - (-484)/(-164)). Is -850/21 < x?
False
Let a = 6256 - 19138/3. Let j = -124 - a. Is -14/23 < j?
False
Let s(w) = w**3 - 22*w**2 - 23*w + 7. Suppose 0 = -4*a + 39 + 53. Let h be s(a). Suppose -h*n + 35 = -28. Which is bigger: n or 12?
12
Let l be ((-143)/(-22))/(-6*1/(-14244)). Is l at most as big as 15432?
True
Suppose 180*z - 1135 = 175*z. Let b = z + -1132/5. Is 38 at most b?
False
Let h = -2 + 27. Let r = -24.8351 - 0.0649. Let q = r + h. Is -0.59 <= q?
True
Suppose c + 3*c + 26 = -2*x, 2*x = 2*c - 2. Let z be ((-36)/(-27))/(c/(-18)). Let u be 230/z*(-1)/(-10). Which is smaller: u or 4?
u
Let p = -825/1642 - -2/821. Let k = -0.13 - -0.52. Let i = k - -1.51. Which is smaller: p or i?
p
Let k(q) = -90*q + 13. Let r(t) = -45*t + 7. Let v(y) = 3*k(y) - 5*r(y). Let a be v(-1). Which is bigger: a or 47?
a
Suppose -37*r + 5*y = -38*r + 69, 3*r + y = 179. Suppose 2*g = 2*d - 122, 0 = 3*d - 3*g - g - 186. Are d and r equal?
False
Let v(j) = -j**3 + 14*j**2 - 11*j + 13. Let n be v(11). Let h = n - 254. Which is greater: -8 or h?
h
Let w = 679 - 683. Let q = -292 - -289. Is q > w?
True
Let l(j) = 31*j - 1213. Let q be l(39). Is q at least -178/67?
False
Let t(o) = 11*o + 135 + 34 - 5 + 14*o. Let k be t(-22). Which is greater: 1 or k?
1
Let q = -6016 + 6013.5155. Let m = q + -0.0155. Is -2/3 <= m?
False
Suppose 0 = b - 5*m + 48 + 3, -3*b - 153 = -3*m. Let z be (478/(-5))/2 + 1/(-5). Is b at least z?
False
Let l = -594 + 593.665. Let a = -0.535 - l. Which is smaller: a or 50?
a
Suppose -50*b + 690 = -53*b. Let o = 218 + b. Are -11 and o nonequal?
True
Suppose 108*o + 921 = 273. Let p(b) = -b**3 + 0*b - 4*b - 5*b**2 + 8*b - 9. Let i be p(o). Which is smaller: i or -1?
-1
Let w be 6 + -9 - 0 - (1 + -4). Let y = -974 - -50645/52. Is y at most as big as w?
True
Let d(h) = -h**2 - 8*h + 53. Let i be d(-10). Let k = -51 + 26. Let g be (-1)/(-3) - k/i. Is 2 greater than or equal to g?
True
Let u(z) = z**2 - 19*z + 31. Let w be u(17). Let l be w - -2 - -26*3/6. Suppose 0 = -6*p + l + 6. Which is smaller: p or 6?
p
Let w(y) = -399*y - 6143. Let p be w(-38). Which is greater: p or 9020?
9020
Let x = 3230.1 - 3230. Let k = -21/415 - -85637/2905. Does x = k?
False
Let o(h) = 3*h**2 + 91*h + 283. Let n(k) = k**2 + 31*k + 95. Let s(i) = 17*n(i) - 6*o(i). Let w be s(-12). Which is smaller: 2/179 or w?
2/179
Suppose -2425 = -22*t + 1953. Which is smaller: 74 or t?
74
Let g(h) = 303*h - 814. Let m be g(9). Is 1913 at