+ 68. Let o be 3 - (3 - h) - -2. Which is bigger: o or 4?
o
Suppose -9*w + 2*w = v + 7, -1 = w + v. Is -3/3511 at most as big as w?
False
Let i = 7834/305 + 312/61. Which is smaller: i or -1/4?
-1/4
Let c be 29*(-9)/(-27)*3. Which is bigger: c or 349/12?
349/12
Let r(p) = 2*p**2 + 3*p + 3. Let q be r(-1). Suppose -4*g = q*v - v + 10, 2*v + 2*g - 4 = 0. Let x = 2765 + -19310/7. Is v equal to x?
False
Let t(z) = z**2 + 13*z - 362. Let h be t(13). Let j = 1 - -1. Suppose 2*n + 46 + 10 = -j*u, -u - 2*n = 33. Which is smaller: h or u?
h
Suppose -5933 + 955 - 2096 = 9*g. Which is bigger: g or -781?
-781
Suppose 4*h - 2 = -2*j, 3*j - 4 = -j - 5*h. Let p = 1/534 + 209/173550. Which is greater: j or p?
j
Let h = -33 - -38. Suppose 4*j + 55 = -3*x - 87, -j - h*x - 44 = 0. Which is smaller: -2/7 or j?
j
Let d be 6 + 23/((-1518)/682). Is d < 4/133?
True
Let r(f) = -f**3 - 27*f**2 - f - 44. Let q be (2 - -5)/(-7) - 1*26. Let m be r(q). Is m greater than -14?
False
Suppose -i + 195 = -2*l, 13*i = 11*i + 2*l + 380. Suppose 3*c = -2*c - i. Which is greater: c or -264/7?
c
Let c(m) = -m**3 + 5*m**2 - m. Let i be c(4). Let n = -12519 + 12531. Does n = i?
True
Suppose -1870*n = -1941*n - 452 - 1394. Let f be (16/3)/(15/(-72)). Are f and n unequal?
True
Let r = 47989/8 + -5984. Let q(j) = 2*j + 1. Let l be q(7). Is l greater than r?
True
Let m = -70.6627 - -70.7. Let j = 174.9627 + m. Do j and -2 have the same value?
False
Let f be (-3)/150*-20*(-10)/77. Which is greater: -1 or f?
f
Let m = 0.0407 + 42.9993. Let i = 44 - m. Let t = i + -1.06. Is t at least -44?
True
Let k(y) be the first derivative of -y**3/3 + 7*y**2/2 - 13*y - 72. Let a be k(4). Do 2/429 and a have the same value?
False
Let d = 58.0551 - 58.2. Which is smaller: 7 or d?
d
Let v = 32957 - 32957.1. Is 2200 >= v?
True
Let l be -3 - ((-113)/23 - (-8)/(-92)). Let x be l + -3 + (-150)/(-66). Is x > 0?
True
Let y(f) = -1562*f + 14010. Let p be y(9). Are p and -615/13 equal?
False
Suppose 5*a - 10 = 0, -3 = 5*i - a - 1. Let w = 11 - 12. Let t be ((-1)/(-21))/w*12. Which is smaller: i or t?
t
Let l(i) = -2*i**2 - 34*i + 281. Let k be l(7). Let r be 5/(-1) + 61 + k. Which is smaller: r or 388?
r
Let g = 2204 + -2173. Which is bigger: g or -2/41?
g
Let a = -55 - -57. Let k be 2*(-469)/((-6 - -10)/a). Is k smaller than -468?
True
Suppose 768*i = 702*i. Are i and -90/193 nonequal?
True
Let u = 6 - 3. Suppose u*y = y - 20. Let x be 2/y + 102/210. Is -22 at most as big as x?
True
Let r = -105109822/62109 + -154172/603. Let f = r - -1948. Is f greater than or equal to 0?
False
Suppose p - 3 - 1 = -u, -u - 2 = 3*p. Let v(t) = t - 10. Let i be v(u). Is i bigger than 9?
False
Suppose 2*j = -3*l + 511, -263 = -5*l - 4*j + 586. Suppose 12*u - l = 7. Let s be 4/(-14) - (-40)/(-56) - u. Which is greater: s or -17?
s
Suppose l + 90 + 136 = 0. Let z = 245 + l. Is 23 > z?
True
Let i = -0.41 + 0.14. Let w = -0.378 - i. Let j = w - -0.028. Which is greater: j or -0.1?
j
Let r be (2*(-9)/(-27))/((-79)/(-3)). Does -1 = r?
False
Let i be 36/(-45)*50/(-4). Suppose 121 = 11*m + 22. Suppose 0 = -m*c + 4*c + 35. Which is smaller: i or c?
c
Let d be (-1044)/232 + 18/4. Which is greater: -2/1225 or d?
d
Let z = 0.0552 + 250.9448. Let y = -245 + z. Which is greater: y or -0.2?
y
Suppose 0*h + 312 = -4*h. Let r be (-9 + -2 + 8)*-9. Suppose -r*w + 5*w = 1716. Is w >= h?
True
Let l be (13 - 4 - 7) + -3*1. Let m = 6409/14088 - -2/587. Which is smaller: m or l?
l
Suppose 1 = 2*x + 5. Let n = -72 - -74. Let y be 2/((-1 - (-1 - -7)) + n). Do y and x have the same value?
False
Let j = -219.869 + 220. Let n = j - 0.129. Let l = n - 2.602. Is -3/4 less than or equal to l?
False
Suppose 777*a = 713*a. Suppose -5*s = 5*n - 25, n - 33 + 13 = -4*s. Let b be -2 + (-184)/(-90) + n. Which is greater: b or a?
b
Let i(j) = 3*j**2 - j - 6. Let m be i(4). Let b = -39 + m. Let o be 10/15*-6 - 4/b. Are -1/17 and o unequal?
True
Let m = -14 + 52. Let f = 34 - m. Let t = -8.4 + 8.3. Which is smaller: t or f?
f
Let k(u) = -81*u + 543. Let q be k(9). Which is smaller: -185 or q?
q
Let y = -13 + 13. Let q = -105014/11 + 9546. Is y greater than q?
True
Let a(v) = 127*v - 2594. Let m be a(22). Is m less than 221?
True
Let o(m) = m**3 - 86*m**2 - 80*m + 465. Let h be o(87). Are h and 1075 equal?
False
Let y(h) = -105*h**3 + 4 - 1 + 104*h**3 + 5*h - h**2. Let w be y(-3). Suppose -14 = -2*r - w*q + 2*q, 3*q - 7 = 2*r. Is -9 != r?
True
Let z be 62/(-3) - (-3)/((-45)/(-10)). Let x be z/5 + 7 - (-12)/(-3). Which is bigger: x or -18/13?
x
Let n be 9/(-1) - (24/60)/(3/(-285)). Which is greater: 894/31 or n?
n
Let n = -325 - -455. Let o = n + -139. Which is smaller: -5/4 or o?
o
Let p = 224 - 427. Let r = p + 203.12. Let o(g) = -g**2 + 4*g + 6. Let c be o(5). Is c at least as big as r?
True
Let j be ((-49)/8)/(-1) - 2/16. Suppose -j*o - 39 = 3. Is -11 at most as big as o?
True
Suppose 8*p - 36 = 13*p - 2*h, -p = 3*h + 14. Let j = -11 + 22. Which is smaller: p or j?
p
Let o be (-6)/27 - 22/(-18). Let q = -2153.1 + 2217.1. Is o less than or equal to q?
True
Let a = -448 - -138. Let s be a/(-62) + 62 + 1. Are 68 and s non-equal?
False
Let x = 1833 + -1835.4. Is x not equal to -68?
True
Let s be (0 - (-8)/(-12)) + 14/(-6). Let d(w) = 2*w**3 - 3*w**2 + 2*w - 3. Let l be d(s). Let v = -78 - l. Is 14 bigger than v?
True
Let c = 14.1 - 14.17. Let y = c + 0.24. Is -1 at most y?
True
Suppose -349*o = -172*o - 163*o - 14. Let x = -3172277/1226 - -5175/2. Are o and x unequal?
True
Let k = 0 - 0. Suppose k = 3*u - u. Let c be 351/(-6318) - 4/9. Which is smaller: u or c?
c
Let x = 56 - 2300/41. Let w be 1*14 - (-4 - -6). Let r = w - 13. Which is bigger: r or x?
x
Let s = 191423/65 + -2945. Which is smaller: s or 1/3?
s
Suppose -143 = -2*a - o, 175*a - 178*a - 3*o + 234 = 0. Let m be (-258)/(-4) - 1*-1. Are m and a equal?
False
Let s(p) = 28*p - 114. Let f be s(11). Let o = f - 150. Which is bigger: o or 45?
45
Suppose 0 = -2*a + 5*f + 66, -2*f - 34 = -4*a + 66. Let r = 8 - 8. Suppose -3*m + 82 = -2*t, r = -4*t - t - 25. Is m != a?
True
Let j(t) = -10*t**2 - 71*t - 6. Let u be j(-7). Is u >= 2/111?
True
Suppose 0 = -251*u + 256*u - 25. Suppose 2781 = u*y - 2*y. Let s = -36151/39 + y. Are s and 0 equal?
False
Let d be (12/(-9))/((-20)/75). Let m be (8/3 + -3)*(d + -5). Are m and 2/129 nonequal?
True
Let g = -34.846 + 34.92. Which is greater: g or -0.27?
g
Let n = 38.6 + -36.92. Is -6 greater than or equal to n?
False
Let r be 62/(-2 + ((-2)/(-5))/(357/1870)). Is 648 less than or equal to r?
True
Let a = -32.7 + 32.9. Let j(l) = 3*l + 15. Let t be j(-6). Let o = 10 + t. Which is smaller: o or a?
a
Suppose -3906 = -12*y + 3*y. Let w = -5636/13 + y. Do -1/4 and w have different values?
True
Let z = -2099 + 1282. Let l = -857 - z. Which is bigger: 0.01 or l?
0.01
Let a = 10/469 - 211/469. Is 572 != a?
True
Let n be -6 - (((-432)/(-21))/(-4) + (-47)/(-329)). Is n at most as big as -7/2420?
True
Suppose -s + 5*v - 148 = 0, 11*s + 5*v + 770 = 6*s. Let g be 2/(17/(s/42)). Is g less than or equal to 30?
True
Let y(i) be the second derivative of -i**5/20 + 2*i**4/3 + 9*i**3/2 + 12*i**2 + 3*i. Let r be y(9). Are r and 184 equal?
False
Suppose -71*p - 3638 = 178*p - 152. Which is bigger: -336/25 or p?
-336/25
Let r be 2 - (-5 + 24/4). Let d be (5 - 5)/((0 - 2)*r). Is d equal to 0.074?
False
Let n = -170 - -174. Let f be -5 - ((-6)/n)/((-1863)/(-6696)). Which is greater: 1 or f?
1
Suppose -12*v + 13*v + 424 = -4*y, -3*v + 4*y - 1320 = 0. Is v < 5?
True
Suppose -77*o + 42321 = -25108 - 23277. Which is greater: o or 1181?
1181
Let c = -0.094 - 149.906. Let h = c + 16. Let r = -130 - h. Is 4 not equal to r?
False
Let o = 120.34 - 119.34. Which is smaller: -0.0969 or o?
-0.0969
Let k be -2 + 37707/114 + (-2 - -2). Let y = k - -44409/38. Let r = 1497 - y. Are r and 0 nonequal?
True
Let a be (-559)/4 + 5/(-20). Let n be (14/(-8))/((-7)/a). Which is smaller: n or -34?
n
Let k = -2/49873 + 101504/43838367. Which is greater: k or 0?
k
Let j be 12/20*110*2702/28. Which is smaller: j or 6371?
j
Suppose 2*k + 2*r - 50 = 4*k, -k + 3*r = 15. Is k less than -257/9?
True
Let l = -4592 - -4592. Which is smaller: -2/2069 or l?
-2/2069
Let h = 17.4 + 621.6. Are h and 0.3 nonequal?
True
Let c = 361.77 + -362. Let 