= 133 - h. Is -1/8 > a?
False
Let a be 272/60*(-305)/16226. Do -1 and a have different values?
True
Let q be (-12)/8*(-4)/6*0. Suppose q*f + 4*f - b = 14, 2*f = 3*b + 12. Suppose -3*o + 3 = f*u, 3*u + 5*o - o = 5. Is u at least -1/19?
False
Let q be (-1)/(12/9) + 474/636. Let t = 171 - 172. Is q smaller than t?
False
Suppose 13*n - 45*n + 384 = 0. Let r be ((-2)/42)/(1/n*2). Which is bigger: r or 0?
0
Let i = -176.55 + 173. Let k = 4.657 + i. Let f = 0.107 - k. Is f greater than 45?
False
Let a = -122 - -87. Let b be 21/a - (-172)/(-5). Let p be -34 + 1 + (1/(-3))/((-16)/(-144)). Is p > b?
False
Let n = 1166.8 + -1167. Let f = 96 - 107.2. Is f greater than or equal to n?
False
Suppose 37*i - 33660 + 8463 = 0. Is 3 greater than i?
False
Let j(h) = -h**3 + 5*h**2 - 6*h + 2. Let g be j(4). Let n = 10 + -9. Let f be n*(-2 + -9 + -3). Is g at least f?
True
Let v(z) = -z**3 + 10*z**2 + 6*z + 5. Let o be v(11). Let r(i) = -42*i**3 - i**2. Let k be r(-1). Suppose -102 = k*c - 39*c. Is c bigger than o?
False
Let v = 3756 - 3755. Do v and 36/139 have the same value?
False
Let q(v) = -v**3 + 87*v**2 + 178*v - 50. Let d be q(89). Which is bigger: -13 or d?
-13
Let n(k) be the first derivative of -1/2*k**2 - 2*k - 17. Let d be n(-1). Are 9 and d unequal?
True
Suppose -2*w + 51 + 2171 = -2*v, -4*v - 4435 = -w. Is -1114 less than or equal to v?
True
Let r(v) = v**3 - v**2 + 3*v - 2. Let t be r(1). Let z be -3 - 5/((-1030)/616). Which is greater: z or t?
t
Suppose 5*s = 21 + 149. Suppose 4*i + s = 2*i. Let f(t) = -t**2 - 18*t + 14. Let m be f(i). Is m < 31?
False
Let j be -133*2/2 + -2. Let g be (29 - 53784/1863) + 6124/(-46). Is g greater than or equal to j?
True
Suppose -28*u + 400 = -26*u. Suppose -2*a + 26 - u = 0. Let y = a + 43. Is y > -45?
True
Let q be -3*(-5376)/(-36)*(-65)/20. Are 1456 and q equal?
True
Let j = -133278.31 + 136440. Let h = -3149 + j. Let s = 0.69 - h. Is 1 > s?
True
Let t be 29971/(-8118) - (-1)/18. Which is smaller: 14 or t?
t
Let j be 42/(-27)*(-4)/(20/(-105)). Which is greater: -33 or j?
j
Let w = 949 + -396. Let i be (w/(-14))/(6/12). Which is smaller: -80 or i?
-80
Suppose 3*g - 229 = -5*f, -29*f - 239 = -34*f + 2*g. Let l = 79 - 28. Let w = 97 - l. Which is bigger: w or f?
f
Suppose -n - 2 = -5*g + 47, n + 2*g = -35. Let a = n - -41. Suppose -4*h + h = -4*p - 8, a*h = 5*p + 17. Is -4 != p?
True
Let o be 14240/(-25) - (-1 + (4 - 7)) - -4. Which is greater: -562 or o?
o
Suppose 5*c = -5*t - 5, t + 5*c - 5 = 6. Let x = 37 + -50. Which is smaller: t or x?
x
Suppose -40*f + 2 = -5*d - 37*f, 24 = 4*d + 4*f. Are 0.143 and d equal?
False
Let w = -2.3697 + 2.2697. Let q = 2.7 + -2. Is w != q?
True
Let h = 227 + -227. Suppose -13*u + 7*u + 30 = h. Is 4 smaller than u?
True
Let k = 15532437/4 + -3864374. Let t = -18633 + k. Which is smaller: t or 101?
101
Let x = 7508 + -7366. Is 143 equal to x?
False
Let a be (3 - 0)/((-2445)/2436 - -1). Let i = -805 - a. Which is bigger: 1.5 or i?
i
Let p(y) = y**3 - 22*y**2 + 53*y + 16. Let w be p(19). Let o be (6/4)/(w/80) - -1. Is o equal to 2/151?
False
Let k = -2.75 - 266.25. Is 4 at most k?
False
Let i be 1/5 - (-3512010)/(-4175). Is -839 >= i?
True
Let m = 2 + -3. Suppose 30 = -15215*p + 15230*p. Which is smaller: p or m?
m
Let t = -31 + 35. Suppose -2*l + 2 = 0, -2*g - 7 = -t*g - l. Suppose -d = g*n - 34, -n - d + 7 + 7 = 0. Is n smaller than 12?
True
Suppose -9 = v + 3*h + 3, -4*v + 3*h = 3. Let k = -5087/7 + 725. Which is greater: v or k?
k
Suppose -5*b + 9 = -4*r + 2*r, 6 = 3*b - r. Let i be ((-720)/75)/((-2)/5). Suppose i*a - 40 = 34*a. Is a <= b?
True
Let t(u) = u**3 + u**2 - 424931. Let j be t(0). Let a = 232013099/546 + j. Let n = 1/78 + a. Is n greater than 2?
False
Let n = 218 - 219.04. Let m = -0.89 - n. Which is smaller: 3/5 or m?
m
Let d be 2/26*2 - 5832/1404. Is d at most as big as -22?
False
Let q = -244.94 - -245. Let r = 6/325 + 1884/3575. Which is bigger: q or r?
r
Let v = 380 - 376.18. Let x = v - 3.62. Is x less than -1/3?
False
Let l be 8/(-164)*21715/(-4425). Let u = l + 4/885. Is u at most as big as 1?
True
Suppose -3*i = -166 - 194. Suppose 0 = 126*n - i*n + 54. Is -10 < n?
True
Suppose -10*t - 2 = -2. Suppose t = -3*l + 4*l + 3*m + 197, -733 = 4*l + m. Is l less than -181?
True
Let u = -5 + -1. Let r = u - 0. Let x(b) = -21*b**2 + 1736*b + 592. Let h be x(83). Which is greater: h or r?
h
Let o = -428 + 546. Suppose -o = -2*v - 5*l, 3*v = 5*l + 173 - 21. Is v at most as big as 54?
True
Suppose v + f = 112, -5*v + 545 = 6*f - 16. Which is bigger: 147 or v?
147
Let a(f) = 41*f - 1131. Let s be a(27). Let g be (-294)/8*18/27. Are s and g unequal?
True
Let j(c) = -13*c**2 + 54*c + 574. Let i be j(-10). Does -1266 = i?
True
Suppose -53 = -3*r - 32. Let u be r*-12 + -7 - (1 - 3). Is u less than -89?
False
Let k = 0.0217 + 0.1913. Let v = 0.047 + k. Are 0.5 and v non-equal?
True
Suppose 72*l + 29585 - 16365 = -45460. Is l less than -817?
False
Let w = 6464 + -6465. Let t = 1/97 - 146/4753. Which is smaller: w or t?
w
Let o(l) = -l**2 - 55*l + 135. Let q be o(-58). Suppose 3*g = 2*w + 3*w + 206, 3*g = -3*w - 114. Is w at most as big as q?
True
Suppose -5*l + 20 = -720 - 890. Is 326 < l?
False
Let o be (3/(990/852))/1. Are 4 and o equal?
False
Let g(t) = t**3 + 10 + 2*t**2 - 5*t + 5*t - 2*t + 4*t**2. Let a be g(-6). Let h = a - 28. Is h bigger than -39/7?
False
Suppose 0 = 13*r - 93947 - 6348. Which is greater: -1/3 or r?
r
Suppose 3*w + 2*w = 0. Suppose 9*o - 297 = -w*o. Let h = 68 - o. Is h not equal to 35?
False
Let o = -169 - -169.04. Let i = 0.04 - o. Which is greater: i or -11/15?
i
Let l(s) = s**3 + 2*s**2 - 115*s - 429. Let q be l(-4). Which is smaller: -1/24263 or q?
q
Let s be (8 - (-7322)/49)*(-121)/(-2). Let g = s - 9543. Which is bigger: g or -18?
-18
Let z = 10377 + -10377. Which is smaller: 129/139 or z?
z
Let i be 230/4 - (6 + -7). Let q = -61 + i. Which is bigger: q or 2/5?
2/5
Suppose 0 = -2*u - 2*r - 48, -u = -0*u + 5*r + 44. Let o(a) be the third derivative of a**5/60 + 3*a**4/4 + 7*a**3/3 - 35*a**2 + 4. Let l be o(u). Is l > 33?
False
Suppose 0 = -21*w + 286 - 76. Suppose -15*i + w*i - 3*d - 926 = 0, 5*i + d + 932 = 0. Is i greater than or equal to -187?
True
Let y = 12109/35 - 346. Let o = 1/10 + y. Do 0 and o have different values?
True
Let t = 1015.8 + -1015. Let d = 0.02 - -0.68. Let l = t - d. Which is smaller: -0.03 or l?
-0.03
Let i(q) = 4*q + 46. Let d be i(-9). Let c(l) = -l**3 + 9*l**2 + 4*l + 29. Let z be c(d). Do -31 and z have different values?
False
Suppose 2*r = 4*w - 218, -4*r - r - 3*w - 532 = 0. Let j = 38 + r. Let x = j + 67. Which is smaller: x or -6/5?
x
Let h = 107/36 + -119/36. Which is bigger: -2168 or h?
h
Let h = -27 + 55/2. Let t be (-623)/35 + 0 + 21/3 + -9. Do t and h have the same value?
False
Let m be ((-13)/(234/66))/((-2612)/6). Does 0 = m?
False
Let p be (-132)/(-6) - (1 - -1). Let i = 62 - 45. Which is smaller: p or i?
i
Let i(d) = d**3 - 26*d**2 + 89*d - 240. Let z be i(28). Which is smaller: z or 3822?
z
Suppose -6*j + 9*j = -999. Let u = j - -352. Which is bigger: u or 17?
u
Let v = 47 - 48. Let n = 325 + -557. Let k = 3942/17 + n. Is k <= v?
False
Let q be 54*5/(-20)*9/(-28269)*-6. Which is smaller: -1 or q?
-1
Let r = -163 - -4402/27. Suppose -5*h + 6 = 5*m + 1, 0 = -3*m + h - 1. Suppose m = -3*c + 11*c. Which is smaller: r or c?
c
Suppose 12 = -8*j - 28. Let d be 1575*-1 + (j - -3). Let v = 17335/11 + d. Is v equal to -2?
False
Let l = 79741/36245 + -2/36245. Is 173 <= l?
False
Let l(n) = -27*n - 54. Let u be l(-5). Let h be ((-3)/u*-3)/(1/(-6)). Let b be 0/(-2)*(0 + 1). Does h = b?
False
Let z(f) = -36*f**3 - 8*f**2 + 9*f + 2. Let y be z(4). Let s be y/(-6) - 1/(2/6). Suppose -3*j = -4*a + s, 4*a - 2*j - 135 = 257. Which is smaller: a or 97?
a
Let d = -56235/11 - -5137. Which is greater: d or 25?
25
Let q = -90.49 + 59.49. Is -48 != q?
True
Let m be (-12)/(-18)*(-30)/(-4). Suppose -m*r + 7*r - 28 = 0. Let h = 734 + -722. Are h and r unequal?
True
Let b = 11.48 - 11.4. Let j = -5 + -12. Let g = j - -17.1. Is g >= b?
True
Let u be 4 + (-17)/((-85)/(-45)) + 34516/6903. Is u bigger than -1?
True
Let w = -3440 - -3441. Is w at least as big as -8/515?
True
Let w = -3 + 19. Let o be w/7 - (-3 + 9)/3. Which is smaller: 0.