t j be (13/(-7))/((-6)/42). Let h be c(j). Is h greater than -32/9?
True
Suppose -4*a + 785 = 3*j, -3*j = 17*a - 14*a - 585. Let r = a - 183. Let i = 0.4 + -0.2. Which is bigger: i or r?
r
Let f = 189 + -48. Suppose x + 6 = -x, 3*x - f = -5*j. Let c be 1 + (-3 - -6) - j. Is c at least -26?
True
Let j be (-3*(1 - (-1)/3))/(-4). Which is smaller: j or 2/3795?
2/3795
Suppose 3*q = -m - 1890, -4*q + 2*m + 534 = 3084. Does -639 = q?
False
Let a = -29.4 + 27.5. Let v = -3.9 - a. Do v and 95 have the same value?
False
Let x = 12495 - 87467/7. Is 9842 > x?
True
Let y = 205.115 + -205. Let b = y + -0.015. Which is smaller: 0.33 or b?
b
Suppose -179*f - 17 = -23 + 6. Let h be ((-1)/(-82))/(2/(-18)). Are h and f non-equal?
True
Let d be (3 + 15/(-9) - (-40252)/(-5655)) + 6. Which is smaller: d or 1?
d
Suppose 8 + 22 = -3*j. Suppose 62*s - 305 - 315 = 0. Which is smaller: s or j?
j
Let j(h) = 84*h + 1312. Let i be j(-16). Which is smaller: -290/9 or i?
-290/9
Let a be (12/42)/(1/1211). Let z = a - 36. Is 309 greater than z?
False
Let y be (2864/956 - 4) + 1. Let m be ((-3355)/(-6))/(1434/4). Let r = y + m. Are 2 and r equal?
False
Let k(n) = 10*n + 11. Suppose 4*q = 2*w + 71 - 13, 4*w + 128 = 5*q. Let o be k(w). Is o > -360?
True
Suppose -4*p + 5*p = 1. Suppose -3*a + 2*a = -s - p, -4*a + s + 16 = 0. Suppose -4*h + 104 = 2*u, -u = -6*u + a*h + 230. Which is greater: u or 46?
u
Let z = 1352 - 17592/13. Is z < 0?
True
Let n(g) = 4*g**2 + g - 1. Let p be n(-1). Suppose -3*i - 226 = -p*c, 0 = -6*i + 5*i + 2*c - 82. Is i smaller than -73?
False
Suppose -4*c = 4*q + 156, 4*q - 2*c = 37 - 169. Let r be (-162)/(-10) + 7/q - 3. Suppose -11*p + r*p = 4. Is 2 > p?
False
Let d = 339 + -238. Let j = d + -102.4. Is j greater than or equal to 9?
False
Let t = -128.8 - -128.1. Let v be (-5 - 684/(-136))*12. Which is smaller: v or t?
t
Let b be ((-20)/(-25) - (-6)/(-20))*2. Let t be 6/3 - (2072/1043 + 0). Which is smaller: t or b?
t
Let f = 7274 - 7272.9566. Let s = 0.0434 - f. Which is smaller: -1.26 or s?
-1.26
Let q = -164 + 114. Let m = 48 + q. Let n = -3053/11 - -277. Is n not equal to m?
True
Suppose m = 23 + 71. Let s = 88 - m. Suppose -54 = -12*o + 18*o. Which is smaller: s or o?
o
Let l(c) be the second derivative of 19/2*c**2 - c**3 + 0 - 1/12*c**4 + 3*c. Let u be l(-8). Is u smaller than -7?
False
Let c = 3377 + 6366. Is c smaller than -1?
False
Suppose 3*m = 2*n - 562, m + 4*n = -m - 348. Is -185 at least as big as m?
False
Suppose -13 - 3 = -2*x. Let a(s) = -s - 16. Let i be a(-35). Suppose i*q - 1 = -1. Which is bigger: x or q?
x
Suppose 4*k + 20 = 32. Let w be 6/9 - k/(27/(-39)). Suppose x = 3*x + 2. Which is greater: x or w?
w
Let o be 5/((-25)/(-15)) + -15. Suppose -x + 17 = 30. Which is greater: x or o?
o
Suppose 3*d + 4 = 2*x, -x - 28*d = -25*d - 11. Suppose -3*i - 432 = x*u - 0*i, -349 = 4*u - i. Is u > -86?
False
Let d be (4/45)/(25/(125/(-538))). Is d >= 1?
False
Let r = -51.643 + 52.3. Which is smaller: 0 or r?
0
Let k = -1312 + 1312.1. Which is smaller: -12258 or k?
-12258
Let r = -15 - 16. Let z = -736 - -775. Let x = z + r. Does x = 0?
False
Let k = -15.867 + 23.567. Which is bigger: -6/7 or k?
k
Let s(l) = -l**2 - 27*l - 138. Let h(r) = r**2 - 2*r - 30. Let g be h(6). Let d be s(g). Which is smaller: -140/11 or d?
-140/11
Let g = -47.18 - -48.88. Are 0.03 and g non-equal?
True
Let c(l) = -2*l**3 + 149*l**2 - 59*l - 68. Let w be c(74). Do 1043 and w have the same value?
False
Let s(d) = 29*d + 4. Let p be s(-4). Let f be 12/54 - p/(-18). Let o(m) = -m**2 - 8*m - 14. Let c be o(f). Is c at least -2?
True
Let m be ((-2)/115)/(5/25). Suppose 1 = 4*d + 3*n, 5 = 38*d - 42*d - n. Which is smaller: m or d?
d
Let t(h) = h**2 - 5. Let w be t(5). Let n(z) = -z + 67. Let q be n(-6). Suppose 3*a - q = 5*v, 4*a = 8*a - 2*v - 88. Does a = w?
False
Let l be (-62 + 19)/(1*-1). Suppose 31*b - l*b - 264 = 0. Is b <= -1/3?
True
Let y = 2.135 - 0.035. Let m be -6 - (-3 - ((-156)/48*4 + 4)). Is y greater than m?
True
Suppose 0 = g + 4*g + 50. Suppose -4*z - 1 + 12 = 5*p, -2*z = 4*p + 2. Let i = z + g. Which is smaller: i or -2/41?
i
Let s = -6.8616 + 2.8616. Which is bigger: s or 1.12?
1.12
Let b be (-3366)/153 - (3527 + 1). Which is greater: b or 1?
1
Let o = 27259/9 + -104939599/34650. Let d be (-1101)/275 - 7/(28/(-16)). Let q = d + o. Are q and 0.1 nonequal?
True
Let y = 8.6 + -8.6. Let h = -658 + 607. Do y and h have the same value?
False
Suppose -175 = 15*q + 425. Which is smaller: q or -9/5?
q
Let p = -3001 + 285092/95. Is p greater than 4?
False
Let f = -18523309/365 + 50749. Is f > 0?
True
Let h = -762 + 766. Let j = -0.95 - 47.05. Is j at least as big as h?
False
Let d = 191000 + -96837041/507. Which is smaller: d or 0?
d
Suppose -5*j = 16 + 24. Let g = j + 139/17. Suppose -3*q = -3, -13*d = -17*d - 3*q + 3. Which is bigger: g or d?
g
Let k be (38/(-152))/(4/(-16)). Which is smaller: 1/445 or k?
1/445
Let t = 6534 - 8106. Which is bigger: -1571 or t?
-1571
Let u(f) = f**2 - 10*f + 19. Let q be u(13). Suppose 4*i - 2 = -2*v, -q = -5*v - 4*i - 23. Let n be 8 - 1 - (-6 + 37/3). Which is smaller: v or n?
n
Let i be 21/(-12)*((-17)/((-119)/(-14)))/35. Let x = -7.05 + 0.05. Let p = x - -7.1. Is p smaller than i?
False
Suppose 40*a - 19*a - 1974 = 0. Suppose m = 98*b - a*b - 303, 4*b = 2*m + 306. Is 77 at least as big as b?
True
Let v = 0.15 - 0.44. Let u = v + -1.11. Let f = u - -1.1. Is -1 equal to f?
False
Let o be (-378)/72 + (-4)/(16/3). Is 0 greater than or equal to o?
True
Let g = -30 - -38.2. Let s = 11 - g. Let d = -4.2 - s. Which is greater: -1 or d?
-1
Let r(b) = 2*b**2 + 13*b - 3. Let p be r(-7). Let l be p - (2580/(-25))/(-6). Is l less than or equal to -13?
True
Suppose -f - 56 = q, 4*f - 56 = 2*q - q. Let x(z) = -3*z**2 + 4*z - 3. Let r be x(5). Do r and q have different values?
True
Let m = 27.47 + -51.41. Let g = -122 + 98. Let z = g - m. Which is bigger: 3/4 or z?
3/4
Let m(s) = s**2 - 21*s + 52. Let t = -116 - -218. Let p = t - 82. Let c be m(p). Is 31 > c?
False
Let z be (-74)/((-1 + -4)/15). Suppose -3*f - 78 = z. Let u be (2 + -3 + -3)/((-8)/f). Is -49 at most u?
False
Let x(d) = 5*d - 47. Let g be x(15). Let h be 1/((-7)/21) + g + 0. Which is smaller: h or 27?
h
Let w(v) = -v - 2. Let g be w(-1). Let s be (g - 58/10)*20550/(-312). Let i = s - 448. Is 0 less than or equal to i?
False
Let o = -1898.78 - -1882. Let r = o + -2.22. Do 0 and r have different values?
True
Let d = 21 + -72. Let b = -103670 + 103619. Is d at least as big as b?
True
Let m be (-391 - -2) + -9 + 15/15. Is -1/6 < m?
False
Suppose 35 + 25 = 2*x. Let t be (-186)/(-217) + (-2 - x/(-14)). Is t smaller than 6/31?
False
Let q = -842 - -836. Let a be ((-1140)/25)/2 + (q - -2). Is -28 >= a?
False
Let o = 47 + -85. Let b = o - -41.7. Which is bigger: -0.03 or b?
b
Let u be -3*3255/(-63)*(-4)/10. Let n(p) = p**3 + 12*p**2 + 5*p - 4. Let a be n(-11). Suppose -3*y - a = -2*y. Is y equal to u?
True
Suppose 3*q = 5*g - 239, -9*q + 5*q - 309 = 3*g. Let b be (-14 - -13) + 1098/(-14). Which is smaller: b or q?
b
Suppose 4 = 2*o + 2*b, 0 = 33*o - 29*o + 5*b - 6. Let p be o + (-24)/18 + (-25)/15. Let w = 1/17 + -37/51. Is p less than w?
False
Let l(c) = -92*c - 366. Let w be l(-4). Which is bigger: w or 472?
472
Let q be (-504)/(-55146) + (0 - 0). Which is greater: q or 0?
q
Let p = 2152 - 2193. Is -44 equal to p?
False
Let l be (8 + -7)/(3/15). Suppose i - 5*p - 12 = 3*i, l*p = 0. Let a be (i/4)/(0 + (-5)/(-10)). Is -36/11 < a?
True
Let x(z) = z**3 - 8*z**2 + 11*z - 11. Let u(f) = f**3 - 8*f**2 + 12*f - 11. Let o(q) = -6*u(q) + 5*x(q). Let d be o(7). Is d > -59?
False
Let d be 40/(-48)*8/133520*-4. Is 2 at least d?
True
Let o = -6397 - -6415. Which is greater: o or 5.9?
o
Let a = 29 + 8. Let c(o) = 2*o**3 + 17*o**2 - 2*o + 98. Let g be c(-9). Are g and a equal?
False
Let u = 3.133 - 2.91. Let p = u - 0.183. Which is smaller: -0.04 or p?
-0.04
Let g = -68282 + 121883519/1785. Let s = g - -1/85. Suppose -13 + 11 = 2*f. Which is smaller: f or s?
f
Suppose -4*u + 3*o + 140 = 0, 0 = 529*u - 524*u + 5*o - 140. Which is greater: 621/19 or u?
621/19
Suppose -3*j = -10 - 20. Let w be j/(-40) + 106/8. Let v = -20 + 33. Is w smaller than v?
False
Suppose -18 + 60 = 42*i. Let f = -617/190 + 33/1