((-2)/((-36488)/44)). Let v = 415 + s. Is x at most as big as v?
False
Suppose 0 = -3*k + 4*m - 3 - 13, -2*m + 8 = 0. Let i be (k + -3)/(3/3). Let y be i*((-15)/9 - -2). Do y and -1 have the same value?
True
Suppose -4*v = 4*z - 5*v + 83, -2*v + 6 = 0. Let a be 20 - ((-20)/18)/5. Let c = z + a. Is c > 2/15?
True
Let y(i) = 5*i**3 + 7*i**2 + 23*i + 124. Let g be y(-5). Are g and -443 unequal?
True
Let a be -1 - (-1 + 2)/(-1). Suppose -3*n + o - 2*o = -24, a = 5*n - 5*o - 20. Suppose -2*x - 4*j - 13 = x, -4*x = -2*j - 12. Is n equal to x?
False
Suppose 1676 = 5*h + 4*f, 338 = 97*h - 96*h - 2*f. Which is smaller: 335 or h?
335
Suppose -12 = -3*h - k - 5, -6 = 3*k. Suppose -3*d = i - 3*i - h, -i = 0. Which is bigger: -0.2 or d?
d
Suppose -163*d + 8208 = -139*d. Which is greater: d or 341?
d
Let p be (4/(-3))/(3/9). Let g(t) = -34*t + 368. Let f be g(11). Is f less than or equal to p?
True
Let r = 0.3784 - 0.0184. Which is bigger: -1.4 or r?
r
Suppose r + 2*p + 1 = 0, -3*p - 4 = -3*r - 2*p. Let o = 2121/10 + -14719/70. Let c = -10/7 + o. Which is bigger: c or r?
r
Let a = 10 - -18. Let p = 28.1 - a. Let j = 3 + -2. Is j smaller than p?
False
Let u be ((-12 - -14)/24)/((-2)/3). Let h = -4 - -4. Is h bigger than u?
True
Let s = -12706/54130653 - 38815072461715877/8011336644. Let a = -4844995 - s. Let l = 93/4 - a. Which is greater: 0 or l?
0
Let x be 15/(0 + (-2)/(-74)). Let y = x + -26084/47. Is 1 greater than or equal to y?
True
Suppose 0 = -2*d - 0*d - 4. Let t = -351 - -349. Is t at least d?
True
Let h(j) = -6 + 3 + 2*j**2 + 0 + 5*j. Let n be h(-4). Suppose o = 3*f - 2, 3*o - 3*f = 4*o - 22. Is o at least as big as n?
True
Let n = -17.93 - 0.07. Let d = n + 8. Which is smaller: d or -2/7?
d
Let k = -79 - -115. Let b = 16 - k. Is -21 at least as big as b?
False
Let s be (17/15 - -1) + -2. Let j(y) = -y**3 - 15*y**2 - 14*y + 2. Let o be j(-14). Suppose -4*z + 1 = k, z + 4*z + k - o = 0. Are s and z non-equal?
True
Let q(l) = -l**3 + 17*l**2 - 17*l + 19. Let s be q(16). Suppose 3*b + 15 = 3. Let x be 3 - (2 - b/(-1)). Which is smaller: x or s?
s
Let f = -19 - -10. Let q = f - 12. Let v = q + 22. Which is smaller: -2/5 or v?
-2/5
Let c = 35 - 20. Let x = -15.3 + c. Let l be (-5)/(-2)*(-4)/45. Which is smaller: l or x?
x
Suppose j - 1 = -4*k + 1, -4*j + 4*k + 8 = 0. Suppose -4*u - 18 = -4*x + x, 26 = -5*u + j*x. Suppose -4*m = -2*m + 12. Is u greater than m?
False
Let x(l) = -l**2 - l + 3. Let w be x(-3). Is 0 less than w?
False
Suppose 75*c = 76*c + 1. Which is smaller: 0.69 or c?
c
Let x be 4/(-12) + (-3)/((-9)/(-5)). Let j be ((-4)/(-8))/(x/4). Is j at least -3/53?
False
Let j = 696 + -630. Which is smaller: 65 or j?
65
Suppose -2*s - 5100 = -5*s. Let i = -219298/129 + s. Is i greater than -1?
True
Let r = -269 - -270. Are r and -55/3 non-equal?
True
Let i = -200 + 196. Let c(a) = a**2 + a - 1. Let l(k) = k**3 - 2*k**2 - 8*k + 1. Let j(w) = -6*c(w) - l(w). Let o be j(i). Is 2 greater than or equal to o?
True
Suppose 11 - 1 = -2*g, 2*q - 23 = 5*g. Let b be 24/(-40) + 13/5. Suppose 4*z - 4*y + 20 = 0, -4*z + b*y + 0*y - 14 = 0. Is z less than q?
True
Let x be (-10)/25 + (-24)/(-10). Let o = 16 + x. Which is smaller: o or 17?
17
Let y be ((-3)/(-2))/((-3)/(-10)). Suppose -3 = y*t + 7. Let q be t/(-4) + 7/(-6). Which is bigger: 0.5 or q?
0.5
Suppose 0 = -2*r + 4*y + 4, -y - 3*y - 4 = r. Is 1/84 at most r?
False
Suppose -12*o = -5*o + 168. Let t be 2 + -2 - o/(-64). Is t at least as big as -1?
True
Let x(p) be the third derivative of -p**4/8 + 2*p**2. Let k be x(1). Let d = -417/196 + -6/49. Which is greater: d or k?
d
Let m = 38 - 33. Let y be 2*(-1)/(5/4)*m. Which is bigger: -6 or y?
-6
Let y = -5069 + 5146.87. Let p = -78 + y. Is p bigger than -2/5?
True
Let v = -8 + 6. Let y be ((-798)/(-70) - 11)*6/(-4). Which is greater: y or v?
y
Let z = -90 + 85. Which is smaller: -6 or z?
-6
Let p = -1273 + 1318. Which is bigger: 48 or p?
48
Let c = 1054 + -1054. Which is bigger: -2/179 or c?
c
Let t = -19947121 + 1017262369/51. Let w = 800 + t. Suppose 1 = 4*k - 2*r + 3, 5*k = -5*r - 10. Which is greater: k or w?
w
Let g = 0.1743 + 0.0257. Which is smaller: g or -136?
-136
Suppose 1 = p - 4*v + 9*v, -3*p = 4*v - 3. Are p and 12/13 nonequal?
True
Suppose 0 = 4*i - 2 - 102. Let s = i - 35. Suppose -7*u = -2*u + 40. Which is greater: s or u?
u
Let b be 2900/(-35) - (-24)/(-168). Is b smaller than -87?
False
Let f = 253 - 254. Is -275 not equal to f?
True
Let n be 74*195/10 - 2. Let i = n + -125369/87. Is i bigger than 1?
False
Suppose 0 = -4*h + 9423 + 4941. Let k be ((-42)/h)/(-1 + 2/(-6)). Which is smaller: k or 0?
0
Suppose 14*v - 29 = 9*v - 3*f, 4*f - 12 = 0. Which is bigger: 11/3 or v?
v
Let j(a) = 10*a + 19. Suppose 9 = -3*v - t, 5*t + 3 = 4*t. Let b be j(v). Which is bigger: -8/9 or b?
-8/9
Suppose 0 = h - 3, 2*x - h - 113 = -2*x. Which is bigger: 27 or x?
x
Let b = 23 - 13. Suppose y - 8 = -4*r - 2, 4*y + 5*r - 24 = 0. Let a be 1 + (-1)/(y/(-45)). Which is smaller: b or a?
a
Let s = 7.565 + -0.565. Is s not equal to -5/3?
True
Let b = 79.965 + -80. Let j = b - 0.065. Which is smaller: 9 or j?
j
Let a = 164.8 - 161.8. Are a and -12 non-equal?
True
Let x = 132 - 134. Let p(a) = -a**3 + 8*a**2 - 7*a - 1. Suppose j - 5 = -2*u, 2*j = 3*j - 4*u - 11. Let m be p(j). Which is greater: x or m?
m
Suppose 5*h - 9*h = -244. Let y = 247/4 - h. Do 2 and y have different values?
True
Let s = 3233/203 + -111/7. Suppose 4*w = k + 8, w + 7 = k - 3*k. Is w > s?
True
Suppose 3854 = -71*i + 118*i. Is i at most 67?
False
Suppose r = -r + 14. Let a = 2956/91 + -348/13. Which is smaller: r or a?
a
Let g = -39 - 42. Which is smaller: -82 or g?
-82
Let m = 0.8 - -0.2. Let d = -3.4 + -12.6. Let b = d + 10. Which is greater: m or b?
m
Let u be ((-9)/(-28))/(162/189). Let n be (3/9)/((-2)/(-30)). Suppose -n*v = -v + 4. Which is smaller: u or v?
v
Let q = 196/9 - -35/9. Which is smaller: q or -1/2?
-1/2
Let a be 3*2/12 + 817/14. Which is bigger: a or 59?
59
Let n(u) = -u**3 - 10*u**2 + 9*u + 165. Let i be n(-9). Is i <= 150/37?
True
Let f(x) = 3*x**3 + 28*x**2 + 10*x + 10. Let q be f(-9). Is -4/337 at most as big as q?
True
Let n = 0.6 - 3.6. Let w = n - -2.8. Suppose 2*u + 5*s + 1 - 6 = 0, 0 = s - 1. Is w equal to u?
False
Let j = 60 + -45. Let b = j - 23. Is 2 bigger than b?
True
Let m(a) = a**2 + 3*a + 2. Let v be m(-4). Let z be (-1)/v + 0 + (-166)/84. Is z equal to -1?
False
Suppose 120 = -8*a - 0. Let q = a - -28. Which is smaller: 49/4 or q?
49/4
Let c be -8 - (-6285)/2097 - -1*5. Is c greater than or equal to -1?
True
Let n = -5/679 + 46217/6111. Is 9 smaller than n?
False
Let s be 23/4 + 19/76. Let z(h) = h**2 - 7*h + 8. Let y be z(s). Which is smaller: y or 5?
y
Let s = 3 - 7. Let c = -6305/11 + 573. Which is smaller: s or c?
s
Suppose 0 = 4*o + o + 20. Let n(i) = -i**3 + 3*i - 3. Let u be n(-3). Let j be ((-6)/(-4))/(u/(-4)). Which is bigger: o or j?
j
Suppose t + t = -3*o, -4*o - 2*t = 0. Suppose 0 = 3*j + 15, o*j = -c + j + 53. Which is greater: c or 49?
49
Let u be -239*(11 - 10) - -7. Which is smaller: -226 or u?
u
Let s be ((-9)/(-6))/((-66)/(-136)). Suppose 5*w = -3*n + 14, 17 = 4*n + 13*w - 8*w. Is s <= n?
False
Let m be (-14)/(-28) + (-1)/2. Let c = 1/4 - m. Is c not equal to 0?
True
Let w be (-76)/(-20)*(7 + -2). Suppose -55 = -3*a - w. Which is greater: 13 or a?
13
Let s = 929 + -942. Is s > 34?
False
Suppose 3*x - v = -2*v, 0 = -4*x + 5*v + 19. Let h = -4 + 4.01. Is x <= h?
False
Let z = -92 - -44. Which is greater: -50 or z?
z
Let a = 190 + -191. Which is greater: 2/261 or a?
2/261
Let r(s) = -13*s + 378. Let w be r(29). Is 18/25 <= w?
True
Let i be (10 - 996/(-42)) + 2/7. Is 34 less than or equal to i?
True
Let h be (((-252)/(-232))/(-7))/(-6). Is h at most 1?
True
Let l = -0.016 + 0.116. Is 281 at least as big as l?
True
Let b be 8 - 2/(-4)*3784/(-44). Are b and -18 unequal?
True
Let w(z) = 2*z**2 + 2*z**2 + 0*z**3 - 11*z**2 - z**3. Let v be w(-7). Is v greater than 20?
False
Suppose 3 = 3*j + 3*q, j + 5*q - 2*q = -1. Let m be j + (4 + -3)*-1. Let g be ((-2)/(-3))/(13/(-39)). Is g at most m?
True
Let f = -19 + 21. Let u be 5/f*80/50. Suppose 4*x - 8 = -3*m, 5*m = -4*x - u + 20. Which is smaller: -7/3 or x?
-7/3
Suppose -2*s + 5 = 1. Suppose -h - r = -2, 3