gger: q or h?
q
Let x be (-33)/(-55) - (-2 - (-686)/10). Let h = x - -84. Which is smaller: h or 19?
h
Let q = 30 + -29.15. Let a = 0.15 + q. Is -0.02 != a?
True
Let w(l) = 6*l - 2. Let o be w(2). Suppose -8*b = -6 - o. Which is smaller: b or 2/35?
2/35
Let w = -91 - -83. Let h be (-10)/4 + (-6 - (w - 1)). Which is greater: 0.1 or h?
h
Let l = 992/3 + -330. Is -577 at least l?
False
Suppose 0*y + 8 = -a + 3*y, 4*a + 22 = 2*y. Let l be 14/a - 1/5. Let q be l/(-7) - (-6)/(-14). Is -1 smaller than q?
True
Let u be (0 - -2)/((-4)/18). Let f(m) be the second derivative of m**3/6 + 5*m**2 + 8*m. Let a be f(u). Is 3/2 greater than or equal to a?
True
Let d be (0*(-2)/(-6))/(-4 + 6). Is 0 at most d?
True
Suppose 2*s + 5*d = -s - 74, -4*d = -3*s - 65. Let y(u) = 3*u - 5. Let q be y(-6). Is q greater than s?
False
Let t(o) = o**2 + 6*o + 4. Let n be t(-6). Suppose -30 = n*q + 14. Suppose -3*c + 3*a - 24 = 0, 3*a = -12 - 0. Which is bigger: q or c?
q
Let b = 18 - 83. Let x = 65 + b. Which is greater: 1 or x?
1
Let b be ((-143)/(-22) - 9)/(2/(-12)). Which is greater: b or 24?
24
Let f = 103 - 3606/35. Let x be 5/(-15) - (-1)/3. Which is smaller: f or x?
f
Let r = 0 + 1. Let b = -12.68 - -13.01. Which is smaller: r or b?
b
Let d(o) = -o - 7. Let q be d(-7). Let g(u) = -u**3 + u**2 + 30. Let l be g(q). Suppose -5*b - l = 5. Which is smaller: -1/3 or b?
b
Let h be (9 - 1) + (-8 + -7 - -15). Which is smaller: 49/6 or h?
h
Let f be (5390/63)/(-11)*6/7. Let x be 3/(-6)*(-16)/(-1). Which is smaller: x or f?
x
Suppose 4*l + 8 = 2*k + l, -20 = -5*k + 4*l. Let b be 5 + (-2)/k*4. Suppose -3*y + 2*s - 25 = 0, -2*s + b*s = -y - 10. Are y and -9 nonequal?
False
Let o be 18/(-81) + (-106)/(-72). Let a = 12 - 10. Which is smaller: a or o?
o
Suppose 0 = -5*u - 4*q - 17, -3*q - 10 = -3*u - 4. Let w = -21 + 31. Let r be 4/w - (-252)/(-805). Which is smaller: u or r?
u
Let p = -0.132 - -0.382. Let r = 0.15 - p. Is -5 bigger than r?
False
Let x be 77917/80 - (-6)/10. Let u = 975 - x. Which is bigger: 0 or u?
u
Let i be -3 + (-1)/(-2) + (-12)/(-8). Which is smaller: i or 6/151?
i
Let t be (-182)/(-140) - (-2)/10. Suppose 4*d + 4*b - 11 - 1 = 0, 0 = 2*d + 3*b - 6. Suppose 3*u = -2*w + 4*u - 2, d*u = 3*w + 9. Which is smaller: w or t?
w
Let k(b) = -70*b**2 - b - 1. Let t be k(-1). Let r be (-12)/(-18) - t/(-6). Let z = r + 23. Are z and 11 unequal?
True
Suppose 5*i + 102 + 308 = 0. Are -84 and i non-equal?
True
Let z = -585 + 1306. Is z bigger than 721?
False
Let h = -0.1199 - -0.0199. Is 2/5 bigger than h?
True
Let a = 0.17 + 0.53. Let x = a - 0.81. Let v = x + 0.21. Is -1 <= v?
True
Let q be (-2)/(-8) - 51/12. Suppose -31 - 17 = -3*f. Suppose -7*y = -11*y - f. Is q > y?
False
Suppose -n - 18 = -7*n. Suppose -n*c = 3*m - 30, -2*c + 4 + 25 = 5*m. Which is greater: 8 or c?
8
Let l(w) = -185*w - 302. Let h be l(-3). Which is greater: 256 or h?
256
Let l be (((-10)/3)/5)/(18/324). Which is greater: -4 or l?
-4
Let m = -533/6394 - -2/23. Is m greater than 1?
False
Suppose -52*z + 5*k - 528 = -55*z, 0 = z - k - 168. Which is smaller: 170 or z?
170
Let f(o) = -o**2 - 27*o + 13. Let v be f(0). Are v and -4/7 unequal?
True
Suppose 0 = 4*i + 5*t + 144, -5*i - t - 180 = 3*t. Suppose 0 = 6*m - 53 + 317. Let u = m - i. Which is bigger: -7 or u?
-7
Let g(q) = 2*q**3 - 12*q**2 + 2*q - 13. Let u be g(6). Let z = -3 + 6. Suppose 3*t + 24 = -2*o + z, -3*o + 4*t = 57. Is o bigger than u?
False
Let t(x) = -2*x**2 + 24*x + 94. Let u be t(15). Let a = -5 - -8. Which is smaller: a or u?
a
Let d = 380 - 448. Which is smaller: -66 or d?
d
Suppose -6*k + 3*a + 37 = -k, 3*a = 2*k - 22. Suppose 33 = -2*o - k*f, 7 = -2*o + f - 8. Is -11 > o?
False
Let t = -0.09 + -0.281. Let h = -0.42 - t. Which is smaller: h or -0.1?
-0.1
Let a = -35 - -63. Let g = -82/3 + a. Suppose -2*m + 3*n + 0 = -17, -5*m - 2*n - 5 = 0. Is m equal to g?
False
Let d = 12.7 + 2.3. Let w = -244 + 229. Let f = d + w. Which is smaller: f or 0.2?
f
Suppose -21*l + 202 = 55. Is l less than -6/7?
False
Let v be (-6)/12 + 33/(-6). Let m be 8 + (v - (-4 + 1)). Suppose 3*d - 8*d = -m. Are 4 and d equal?
False
Suppose 5*z - 38 = 3*n, -3*z - 15*n + 13*n = -19. Let m be 396/14 - 2/7. Let d = m - z. Which is smaller: d or 22?
d
Let u = 23 - 14. Let f be 44/5 + u/45. Are 8 and f non-equal?
True
Suppose -4*f + 79 = 3. Let l = -153 + 171. Is l at least f?
False
Let u = -2.2 + 5.6. Let v = u - 3.53. Let a = v - -0.04. Which is greater: -1 or a?
a
Let y be -2 - ((-18)/24)/((-5)/(-16)). Let t = -2 - -2.08. Is t less than y?
True
Let y = -2851 + 2851.1. Is y less than -27/4?
False
Suppose -5*j + 2*m = -629, -2*m + 18 - 12 = 0. Are j and 128 nonequal?
True
Let n(u) = 9*u - 9*u**2 + 10*u**2 - 14 + 3*u. Let z be n(-12). Let l = -13 - z. Does 2/19 = l?
False
Suppose 7 = u - 1. Let c = -18 + u. Let f be ((-2)/c)/(1/(-3)). Which is smaller: f or 0?
f
Suppose -4*q = -2*v - 93 - 79, 2*q - 86 = 5*v. Let u = q + 2. Which is bigger: u or 46?
46
Let x = 70 - 66. Let s(y) = y + 2. Let o be s(3). Suppose x*d - o = -d. Which is greater: d or 4?
4
Let l = 50 + -60. Let n be (4 - l/(-5))*2. Is n smaller than 12?
True
Let u(t) = -20*t + 86. Let v be u(3). Are v and 24 nonequal?
True
Let r(b) = -19 + 6*b - 2*b - 4*b - 3*b. Let q be r(-6). Which is greater: 4.4 or q?
4.4
Let y = -9.27 - -9.7. Let r = y - 11.43. Is 1/4 not equal to r?
True
Let b = 2096 + -194930/93. Are b and 1 equal?
False
Let s(r) = r**2 - 2*r - 2. Let q be s(-2). Suppose 3*w + 39 = q. Let v be (-150)/12*4/5. Is w at most as big as v?
True
Suppose -3*j - 47 - 67 = 0. Let b = 344/9 + j. Suppose 2*l + 9*x - 4 = 5*x, x - 1 = 3*l. Which is smaller: l or b?
l
Suppose 32*y - 27*y + 28360 = 0. Let h = 187190/33 + y. Which is greater: h or 1?
1
Let a = 595 - 1134. Which is smaller: -1/4 or a?
a
Let i(s) = s**2 - 104*s + 309. Let d be i(3). Is d less than or equal to 7?
True
Let b be -823*1/(-192) - 3. Let o = 33/11584 + -9/181. Let l = b - o. Is l != 2?
True
Let n be ((-40)/(-5)*3/(-12))/((-4)/(-1)). Let k be (1*2/(-2))/1. Which is greater: n or k?
n
Let b(k) = k**3 + 35*k**2 + 3*k + 61. Let x be b(-35). Which is smaller: -42 or x?
x
Suppose 378 = -5*r + 5*z - 4*z, -2*r - 154 = z. Let x be (-5)/(-11)*r/(-95). Is x at least 0?
True
Let i be (-7)/(49/567) - -5. Which is smaller: -75 or i?
i
Let x = 9 - 3. Suppose -17 = -x*l + 5*l. Do l and 16 have different values?
True
Let t = 251 - 250. Do t and -120 have the same value?
False
Let t = 595 + -593.81. Is 8 < t?
False
Let l = 513 + -493. Is 31 at least l?
True
Let w(i) be the third derivative of 0*i + 3*i**2 - 1/60*i**5 + 3/2*i**3 - 1/8*i**4 + 0. Let k be w(-5). Is -2/5 < k?
False
Let z = 3.4 - 16. Is z less than -1?
True
Let c(k) = 2*k + 17. Let t be c(-6). Let f be ((-4)/3)/((-4)/(-12)). Let z = t + f. Which is bigger: 4/3 or z?
4/3
Let m be (2 + -6)*3 - -12. Which is smaller: m or -748?
-748
Let c be ((-236)/17 - 1) + 9. Is c >= -7?
True
Let t be (-2 + 3)/(3/48). Suppose -4*a + t = 2*u, 0 + 4 = 5*u + a. Let i = 132 - 927/7. Which is smaller: u or i?
i
Let v = -74/3 - -24. Let u be 345/(-138)*16/10. Which is bigger: v or u?
v
Let b(m) = -m**3 - 5*m**2 - 2. Let u be b(-5). Suppose 0 = -5*o + 3*t - t + 15, -3*t = -o + 3. Suppose 2 = -o*j - 4. Is j not equal to u?
False
Let q = -2565 + 1551823/605. Is -1 < q?
True
Let w = -8.8 - -6. Let h = w - 11.2. Let l = 7 + h. Is 2/7 greater than l?
True
Let w be (-1914)/12330 - (-2)/15. Is 1 < w?
False
Let p = -8.47 - 0.53. Let w = 27 + -18. Let l = p + w. Which is greater: l or 1/5?
1/5
Let l(w) = -2*w - 8 - 9*w**2 - 8*w - 2*w + 8*w**2. Let q be l(-11). Suppose o = -5*u - 12, -4*u - 16 = q*o + o. Is o > 1/2?
False
Suppose 1982 - 2012 = 6*s. Let v = 2 + -10. Is s greater than or equal to v?
True
Let b be 3 - 5/(20/42). Let v = 8 + b. Let k be (-19 - -18)*2/(-4). Is v at most as big as k?
True
Let d = -17 - -13. Let k = 0 + 2. Let z = 2.4 - k. Is z > d?
True
Let w be (-489)/(-6) - 2/6. Let f = w + -10223/126. Is -4 less than f?
True
Suppose 5*o + 4*f = 12, -2*o - 3*f + 12 = f. Suppose o = -2*j - 3*j + 50. Suppose g = 5 + 4. Are j and g equal?
False
Suppose 3*g + 6 = 0, -5*g + 2 = -t - 12. Let m = -22 - t. Which is bigger: m or 13/7?
m
Let v = 1564/3 - 1565/3. Which is bigger: v or 1410?
1410
Let i = -3 - -1.7. Let q(k) = k - 