qual to f?
True
Let y = 137.858 - 138. Let k = y - -0.042. Which is smaller: k or 0.5?
k
Let v = 1/17 - 152/1717. Let h = -1141/1010 - v. Is -2 > h?
False
Let i = 10 - 8.8. Let q = -1.16 + i. Let h = q + -0.14. Which is smaller: -10 or h?
-10
Suppose -130*t + 136*t = 6. Which is smaller: t or -7/15?
-7/15
Let h = 1236 + -1225. Let z = -26 + 36. Is z at most h?
True
Let h(x) be the second derivative of x**5/10 - x**4/12 - x**3/6 + 3*x**2/2 - 35*x. Let w be h(0). Is w less than -6?
False
Let t be 124/(-7) + 18/(-63). Let f be 4/t + 260/(-45). Let y = -4 - f. Which is greater: 3/4 or y?
y
Let x(o) = -4*o**2 - 5*o + 1 - 12*o + 18 + o**2. Let y be x(-9). Is -70 at most as big as y?
False
Let n = 11.191 + -11. Do n and -6/5 have different values?
True
Suppose 1345 = 22*k + 11135. Which is smaller: -444 or k?
k
Let h = 329 + -2629/8. Let m(o) = o. Let b be m(6). Suppose b*n = 5*n. Which is smaller: n or h?
n
Let j be (4*6/(-24))/(1/(-2)). Suppose -4*y - 4 = -16. Let k = y + -5. Which is smaller: k or j?
k
Let q(p) = -p**2 - 4*p + 2. Let g be q(-4). Suppose -g*d = -4*d - 4. Which is smaller: d or -3/2?
d
Let u = -8 - -6. Let x be 88/96*-3 - 1/(-4). Which is smaller: x or u?
x
Let j(w) = 2*w - 6*w**3 - 5*w**2 - 3*w + 5*w - 8 + 5*w**3. Let z be j(-6). Suppose 0 = 7*o - 2*o - 4*u + 10, -2 = o - z*u. Which is bigger: 0.3 or o?
0.3
Let r(t) = -24*t + 288. Let i be r(12). Which is bigger: i or 1/7?
1/7
Let k be (13/(-130)*4)/((-52)/5). Let t(a) = a - 7. Let l be t(6). Is l at most as big as k?
True
Let t = 307/2 + -153. Which is smaller: -47 or t?
-47
Suppose -287 = -5*z + 38. Let h be (0 - -1)*(-5)/z. Let y(p) = -p**3 + p**2 + 3*p - 2. Let q be y(2). Which is bigger: q or h?
q
Let r = 12/685 + 2906/6165. Let y = r + -8/9. Let z be -5 + (2 - 1) + -3. Which is smaller: y or z?
z
Let i be ((-24)/9)/(2/(-18)). Suppose -6*h = -2*h + i. Let y be (8/h)/(8 - 2). Is y bigger than 0?
False
Let g = 1643/3 + -11246/21. Is g at most 12?
False
Let r be 2 - (-1)/(3/6). Suppose 5 + 31 = -r*o. Are o and -10 equal?
False
Let c = -519 - -3623/7. Suppose 3*w - 3 = 6*w + p, -2*w + 4*p = 16. Are w and c unequal?
True
Let f(b) = 42*b**3 + b. Let x be f(1). Let v = x - 18. Suppose -2*q = 13 + v. Are q and -19 non-equal?
False
Let f = -1116 + 190840/171. Is 1 at least as big as f?
True
Let x = 14541/2 + -8157565/1122. Let a = x - 724/2805. Let h = a + -1/55. Which is smaller: h or -0.4?
-0.4
Let m(u) = -9*u - 8*u + u**2 + 0*u**2 - 2*u**2 - 31. Let d be m(-15). Is d != 5/22?
True
Let u = -47 + 30. Let d(y) = 7*y + 204. Let s be d(-32). Which is smaller: s or u?
s
Let t = -614 - -429. Let d be 0 + -3 - 565/t. Which is smaller: d or 1?
d
Let q = 4876/8899 - 2/809. Let x(l) be the third derivative of -l**4/24 - l**3/2 - 2*l**2. Let u be x(-5). Which is bigger: q or u?
u
Let h = -2629 - -2629.2. Let v = -4 - -2. Is h <= v?
False
Let w be (-154)/7*2/(-4). Let d(c) = -5*c + 42. Let y be d(w). Is -13 at least y?
True
Suppose 5*k + 19 = 4*b, 2*b + 13 = -5*k - 0*k. Suppose -3*q + b = -2. Suppose q = 4*f + 5. Is f bigger than -8/11?
False
Suppose 2*s + p = -17, 4*p + 63 - 19 = -4*s. Let b = s + 7/3. Which is greater: -5 or b?
b
Let k = -15.2 + 1.3. Let u = -13 - k. Let m = u - 1. Is m greater than 5?
False
Let n(u) = -27*u + 3. Let f be n(1). Let q = -25 - f. Let s = 59/77 + -10/11. Is q less than s?
True
Let v be (-218)/1 + (-189)/(-27). Is v greater than -211?
False
Let r = 8627 + -25633/3. Let j = -82 + r. Which is bigger: j or 13?
13
Suppose 165 + 385 = 22*q. Is 105/4 < q?
False
Suppose -13*t + 16*t = -u + 5, -5*t + 10 = 0. Which is greater: u or 0.0392?
0.0392
Suppose -9 = -2*o + 9. Let g be o/6 + 4/(-8). Let l be (g + 2)*2/22. Which is greater: 0.1 or l?
l
Let p = -470373/3170 + 470/317. Let y = p - -147. Let g(h) = -3*h - 65. Let m be g(-22). Which is bigger: y or m?
m
Let q = 14 - 21. Let n = q + 6. Is n <= -0.3?
True
Suppose -260*t + 8 = -252*t. Is 6/647 >= t?
False
Suppose 0 = 10*q - 18*q. Let h be (14/(-2))/((-13)/(-1)). Which is smaller: h or q?
h
Suppose -4*j + j + 12 = 0, 0 = -2*o + j. Is o greater than or equal to 7?
False
Let b(g) = -g**3 + 10*g**2 - 7*g - 13. Let q be b(9). Suppose 9 = q*a - 1. Let w = 77/111 + -1/37. Which is greater: a or w?
a
Let h = 43 - 43. Suppose 11 = -5*d - k, h = -2*d - 0*d - 5*k + 14. Is d greater than or equal to -5?
True
Let q be -2 - 0 - 275/(-5). Suppose 49 + q = 3*f. Is f at least as big as 35?
False
Let f be 2/(-13) - 476/(-52). Let a be (-6)/f + (-29)/(-48). Which is smaller: a or 0?
a
Let j(f) = 3*f**3 - 2*f**2 + 2*f - 1. Let p be j(1). Let c be -33 + (-5 - -9)*2/p. Which is greater: c or -30?
c
Let m = -244 + 244. Which is bigger: m or -0.114?
m
Let f = 0.889 - -0.011. Let n = 0.8 - f. Which is greater: 4/7 or n?
4/7
Let w be (-6)/9 - 8/(-12). Suppose 16 = -w*r - r + 3*p, -8 = -2*r - 4*p. Let v be (4/28)/((-2)/r). Which is bigger: -4 or v?
v
Let p(n) = n - 1 + 2 + 1 + 3. Let g be p(-3). Let c be 23/2 - g/(-4). Is 13 smaller than c?
False
Let q = -5.7 + 6. Let p = -0.165 - 29.735. Let g = -30 - p. Is g > q?
False
Let h = 27.959 + 0.041. Let t = -19.85 + 0.85. Let a = t + h. Which is smaller: -1 or a?
-1
Suppose -z + 2*z = 3*q - 5, 5*z = -2*q - 25. Let r be ((-6)/(-1))/3 - (-21)/(-14). Which is bigger: q or r?
r
Let w(k) = -k**2 - k - 1. Let q be w(-1). Let r = 18 + -16. Suppose 2*b = b + z + 4, -8 = -b + r*z. Is b >= q?
True
Let r = -102 + 520. Which is bigger: 417 or r?
r
Let u = -314/83 - -21824/4233. Are u and 1 equal?
False
Let w = 71.1 + -72.1. Is -3 less than w?
True
Suppose -2*v - 4 = -12. Suppose -5*q - 36 = -v*q - 5*s, -2*q - 4*s = 16. Is -18 greater than q?
False
Let x = -1211 + 1310. Is x greater than or equal to -4?
True
Let a be (-18)/(-4) - 3 - (-2)/(-8). Let x = -5 + 8. Let m = -3 + x. Is a > m?
True
Let g = -24 - -47/2. Suppose -u = -5, -3*o = 2*u - 104 - 8. Which is smaller: o or g?
g
Let y be 4/2 - 6/2. Which is greater: 2/97 or y?
2/97
Let f be (-3*(-76)/(-60) - -1)*5/46. Let u be 1 + -1 - (-1)/1. Which is smaller: u or f?
f
Let a be 53 + -3 - 12/4. Let z = a - 32. Let c = -14 + z. Which is greater: c or 2/11?
c
Suppose -2*g = 3*z - g + 290, -2*z - 196 = -2*g. Let v be (-12)/18 + z/3. Let f = 38 + v. Are f and 21/5 nonequal?
True
Let p = -10.82 + -0.18. Let f = -100 + 110. Let c = f + p. Are c and 5 nonequal?
True
Let i = -855 - -856.69. Which is smaller: 2/5 or i?
2/5
Suppose -3*o + 30 = -2*r + o, 0 = 2*o. Is -59/4 >= r?
True
Suppose 3*p + 8 = -4. Let s be (-1)/p + (-465)/(-252) + -2. Let h(g) = -g**3 - 7*g**2 - 5*g + 5. Let u be h(-6). Is s at least as big as u?
True
Let a be (-117)/180 + ((-8)/20)/(-1). Which is smaller: a or -284?
-284
Let z(v) = v**3 + 6*v + 12. Let j(a) = a**3 + 5*a + 12. Let i(p) = 6*j(p) - 5*z(p). Let g be i(0). Is 2/7 at most as big as g?
True
Let a be (14/(-497))/((-3)/(-3) - 3). Which is bigger: a or 1?
1
Let i = -5042 + 1946213/386. Which is bigger: 0 or i?
i
Suppose -482 = 15*r - 2042. Is 104 greater than r?
False
Let y be 0/((-12)/(5 - 11)). Suppose 37 - 88 = -5*s + n, 3*n = -3. Let w be 4/20 + (-22)/s. Is y at least as big as w?
True
Let i(c) = -c**3 - 2*c**2 + 3. Let b be i(3). Let n be 9/(-7) + (-12)/b. Let d = -21/38 + 1/19. Which is bigger: n or d?
d
Let j = 420.9 + -421. Is -9/16 less than j?
True
Let h be 0 + (-18)/(-5) - -4. Is h greater than 7?
True
Let y = -5194/5 + 1034. Let g = -4874 + 73048/15. Let x = y - g. Is 0.11 != x?
True
Suppose -26*s - 864 = 10*s. Which is greater: -30 or s?
s
Let c = 37 + -17. Suppose -21*t = -c*t + 1. Which is greater: t or 5/8?
5/8
Suppose -f + 3*k = -20, 3*k = -2*f + 6*f - 35. Suppose i - 23 = -p - i, -i = -f. Which is greater: p or 0.3?
p
Let w(u) = -u**3 - 8*u**2 - 6*u + 7. Let f be w(-7). Let g = -22 + 23. Let r be (0*2/(-6))/g. Is r greater than f?
False
Let u = 85 + -43. Let k be (7 - 4) + u/(-4). Let q = k - -22/3. Which is smaller: q or 1?
q
Let j(q) = 5*q**3 + 5*q**2 + 7*q - 17. Let l(x) = -2*x**3 - 2*x**2 - 2*x + 6. Let m(o) = -3*j(o) - 8*l(o). Let f be m(2). Is f at least as big as 26/5?
False
Let j = -12181/30 + 406. Which is greater: j or 1?
1
Let n = 7/230 - -183/230. Does 0 = n?
False
Let d be ((-2)/(-93))/(2/(-12)). Let n = 50/93 - d. Let x(q) = q - 18. Let l be x(18). Which is bigger: l or n?
n
Suppose -g = -2*u - 1, -3*u + 1 = -