t f be i(5). Which is greater: f or 6/23?
6/23
Suppose 5*k = h + 20, 0 = 2*k - h - 4*h - 31. Suppose 0 = -k*c + 14 + 7. Suppose 4*n - 21 - 1 = s, 0 = 4*n + 3*s - 30. Is c at most as big as n?
False
Let m = -18.94 - 0.06. Let r = m + 3. Let p = 13 + r. Which is smaller: -0.4 or p?
p
Let v be (-395)/(-65) - 9 - -5. Is 3 >= v?
True
Let t(a) = 2*a**2 - 2*a. Let c be t(1). Let q be 7/(-14)*(2 + c). Is q at least -2/41?
False
Let s = 7 + -3. Let h(n) = -2*n**2 - 3*n + 5. Let z be h(0). Let v be (0 + -3)/((2 - 3)*z). Are s and v nonequal?
True
Let g = -19 + 210/11. Let v(x) = x**2 + 9*x - 10. Let l be v(-10). Suppose l = 4*u + 4. Which is greater: g or u?
g
Let l = 602.7 - 629.77. Let h = -0.07 - l. Which is smaller: h or -0.2?
-0.2
Let m be (1 + 0)*(-4 + 8). Suppose -5*d + 17 = -m*d + 4*u, 4*u - 19 = -3*d. Let r be ((-1)/(2 + -1))/d. Which is smaller: r or 1/5?
r
Let w = 7.83 - -0.97. Let o = w - 9.8. Let j be 0 + 1/11*-3. Which is smaller: j or o?
o
Suppose -5*p = -5*b + 50, 5*p - b + 16 + 18 = 0. Let t be (-2)/12 + 67/p. Is t greater than -10?
False
Let u(x) = 2*x**2 - 4*x + 90. Let s be u(-19). Are s and 889 unequal?
True
Let a be 3*(174/88 + -2). Let x = a - -20/11. Suppose -3*v + 3*f - 1 = 4*f, 11 = -v - 3*f. Is x equal to v?
False
Let j = -221 + 221.1. Is -0.88 greater than j?
False
Let h = -0.18 + 0.08. Let c = -0.215 - -0.005. Let i = c + -0.29. Which is bigger: i or h?
h
Let m be 0/(-2)*-1*(-6)/18. Which is bigger: m or 9/61?
9/61
Let c be 14 + -9 - (-2 - -6). Are c and -1/117 nonequal?
True
Let n be (-36)/(-90)*(-3)/(-34). Is n greater than or equal to -1?
True
Let m = -6074263/868 - -6998. Is m greater than 0?
True
Suppose 0 = 5*j - 136 - 394. Let u be (10/(-20))/(1/j). Let x be u/(-3) + 6/18. Is x smaller than 17?
False
Let u be (3/9)/(-1 + (-4)/(-3)). Let p be (-1 - -1 - 62/(-14)) + u. Is 6 > p?
True
Let k = 1040 + -14713/14. Which is bigger: -12 or k?
k
Let u = -0.041 - -0.141. Let t = -10 + 0. Let i(d) = d + 19. Let g be i(t). Are u and g unequal?
True
Let p be (-5)/9*6/(-15). Let h = 215.99 - 216. Is p greater than h?
True
Let n = -71 - 13. Let k = n + 44. Is 0 at least as big as k?
True
Suppose -3*s - 2 = -2*s. Let z be 0 - (s - -2 - 1). Let l be ((-606)/(-87) - 63/9)*-1. Which is bigger: z or l?
z
Let t be -16*((-23)/(-5) + -26 + 22). Let o = 0 - 9. Is t != o?
True
Let k = -155 - -97. Let p = k + 61. Is -4 at most as big as p?
True
Suppose 0 = -4*a + 8*a - 20. Let l = a - 2. Suppose -l*x + 4*x + 3*w = 8, w = -4*x + 54. Which is smaller: x or 15?
x
Let r(m) = -m**2 + m + 9. Let a be 6/33 - (-6)/(-33). Let t be r(a). Which is smaller: t or 10?
t
Let o be (-103)/(-291) + -1*7/21. Is 0 smaller than o?
True
Let v = 0.0017 + 2.1983. Which is smaller: 1/2 or v?
1/2
Suppose 0 = 18*m - 21*m + 57. Is m > 18?
True
Suppose 0 = 111*n - 101*n - 440. Is n at most as big as 40?
False
Suppose -1 = -z - 3. Let u be 1/(z/20) + -3. Is u greater than -57/4?
True
Let j be (3/96*4*3)/3. Which is smaller: j or 1?
j
Suppose 1128 = -5*f - 1467. Let v = 3617/7 + f. Which is smaller: v or -1?
v
Let g(j) = -j**2 - 7*j - 7. Let h = 2 + -7. Let f be g(h). Suppose -f*y - 3 = n, 2*y - y + 2*n + 1 = 0. Is 4/19 < y?
False
Let w(o) = 2*o**3 + 72*o**2 - 75*o - 36. Let a be w(-37). Which is bigger: -1/443 or a?
a
Suppose -8 - 8 = -4*l. Let m be -1*(-2*10)/l. Which is smaller: -0.3 or m?
-0.3
Let q(g) = -2*g + 4. Let o = -28 + 25. Let x be q(o). Are x and 8 equal?
False
Let h(j) = 22 + 9 + 2*j - 14. Let b be h(-10). Which is smaller: -19/5 or b?
-19/5
Let t = -17.7 + 17. Let m = t - 0.3. Let h = 1.366 + -1.866. Which is smaller: h or m?
m
Suppose 18*a + 188 - 80 = 0. Suppose 2*s = 2*k - 18, 2*k - 20 = s - 7. Which is bigger: a or s?
s
Let u = 5710 - 40039/7. Is -10 greater than or equal to u?
False
Let o be (-1 + (-57)/(-51))*9/234. Do o and 1 have different values?
True
Let z = 906 + -906.1. Is -2.69 at most as big as z?
True
Let j = 1155621 - 135208622/117. Let k = -77/9 - j. Which is smaller: k or 1?
k
Suppose 3*a + 1 = -14, q - 4*a + 365 = 0. Let x = q - -8857/23. Is 0 at most x?
True
Suppose 2*p = 2*s + 4, -p + 3 = 4*s - 14. Suppose c - s - 2 = 0. Let n(l) = -l**2 + 6*l. Let u be n(c). Is u >= 6?
False
Let p = 3110/9 - 345. Is p >= 0?
True
Let g = 4 - -5. Let s be -11*((-27)/12)/g. Is s equal to 4?
False
Let d be (2 - 10) + 12 + -4 + 0. Is 3 != d?
True
Let j = 190 + -203. Which is bigger: j or 3/10?
3/10
Let h(g) = -g - 31. Let d be h(-16). Let w be ((-24)/d - 2)*10. Let s be (-3)/(-2)*w/(-18). Which is smaller: 1 or s?
s
Let i(c) = -32*c**3 - c**2 - 3*c - 1. Let n be i(-1). Suppose n = 4*y + 29. Is -2/69 at least y?
False
Let j = 57.78 - 58. Let x = j - -0.02. Let h = 0.3 + -0.3. Do h and x have different values?
True
Let d be 5/(-47)*(-64)/1120. Which is greater: -1 or d?
d
Let x = 531/4 + -51511/388. Let p = x - -105/776. Let g = 245 - 2203/9. Which is greater: p or g?
g
Suppose 3*t = 5*j - 39, -4*t - 30 = -5*j + 17. Let x be (8/(-7))/(4/(-14)). Which is bigger: t or x?
x
Let m = -13.36 + 14.36. Is 20/31 smaller than m?
True
Let z = -38 + 16. Let n = 25 + z. Let j be n/(-5)*(-12)/(-18). Is j < 0.08?
True
Suppose -a + 5*a = 0. Let c be (-16 - (a - 2)) + 2. Which is smaller: -13 or c?
-13
Let u(q) = -6*q + 39. Let k be u(6). Suppose -k*g + 3*t = 39, -3*g = 5*t - 7*t + 42. Suppose -14 - 37 = 3*y. Does y = g?
False
Let j = 5 - 2. Suppose 49 = -j*k + 13. Let m = 11 + k. Is 1/8 at most m?
False
Let j be 0/1 + (-33)/11. Let p = 2 - j. Suppose -l + p = 4*u, -5*u + 4*l = -0*l - 22. Is 3 < u?
False
Suppose 0 = -y + d + 3463, 4*y - 2*y - 6938 = -4*d. Let t be (-588)/y - (-2)/15. Which is smaller: 1 or t?
t
Suppose 0*q + 3*q = 9. Let w(o) = -o**2 - 56 - 53 - q*o + 107 + 0*o**2. Let m be w(-2). Which is greater: -1/7 or m?
m
Suppose 3*f = 2*y + 29 + 1484, -5*f = -3*y - 2522. Which is greater: f or 504?
f
Let s(c) = c + 1. Let d(k) = -k**3 - 6*k**2 + 5*k - 4. Let j(v) = -d(v) + s(v). Let y be j(-7). Let b be (36/y)/(6/(-16)). Is b equal to 5?
False
Let d = 655 + -681. Is -15 <= d?
False
Suppose 16 = -3*r + f, 6*f = -3*r + 3*f - 12. Let z(d) = -2*d**3 - 6*d**2 + 11*d - 2. Let u be z(r). Is u less than 45?
True
Let x = -8 + 7. Let n = 14414/171 - 758/9. Which is smaller: x or n?
x
Let z(m) = 6*m + 96. Let c be z(-16). Which is bigger: c or 5/8?
5/8
Suppose 2*i = 3*i - 5*s, 4*i = 2*s + 18. Suppose 3*m = i*q - 11, -m + 2*q = -4*m - 4. Let g be 22/(-36) - 6/27. Is g < m?
False
Suppose -5*n + 56 = u - 0, 10 = n - u. Suppose 0 = 4*c + 2*i + 4, 4*c = 5*i + 13 + n. Let z be 1/(-2)*(c - 1). Which is bigger: z or 2/5?
2/5
Let n be 14/(-24)*(-12 - -15). Let x be 7 + 0/(-3) + -2. Let s be (-7 + x)*(-2)/(-2). Which is bigger: s or n?
n
Let g(y) = 89*y + 2. Let x be g(2). Suppose -6*f + 10*f = x. Let o be f/95*4/(-6). Which is bigger: -1 or o?
o
Suppose -3*o - 27 = -m - 6*o, 0 = 3*m + 2*o - 46. Suppose 0 = 13*g - m*g. Let v be 11/(-51) - 3/(-9). Is v greater than g?
True
Suppose -a - 15 = -5*n, -2*n = 2*n - 4. Let s(x) = x + 11. Let o be s(a). Which is greater: o or 14/13?
14/13
Let a = -464 - -456. Are 26 and a unequal?
True
Let g be ((-2)/6)/((-8)/24). Let o = -15/1159 - -4/61. Is g at most o?
False
Let t = -44 + 45. Suppose -2 + 8 = -3*f. Let l = f - -2. Which is smaller: l or t?
l
Let t be 2*(2 + 4/(-8)). Suppose -7*b + t*b = -64. Suppose -2*o - 12 = -2*v, 2*o + 2*o = -4*v - b. Which is smaller: v or 3?
v
Let g = 47334/97 + -488. Let t = 90 + -89. Which is greater: g or t?
t
Suppose 0 = n + 2, 2*c + 4*n + 17 + 41 = 0. Let l be (-10)/((-20)/(-14)) - -6. Let z be 30/c - l/5. Is -1 at most z?
True
Let s = 1632 + -1631. Let y be -1 + 0 + 70/58. Let p = -100/203 + y. Is p less than s?
True
Let p be 9/6*16/12. Let c be 6/(-27) - 4/(-18). Suppose 3 = -5*a - n, 0 = -c*n - p*n + 4. Are 1 and a unequal?
True
Let h = -0.42 + 0.31. Let g = 23 + -23.11. Let x = g - h. Which is greater: 1/3 or x?
1/3
Let w be 102/57 - (-4)/(-2). Suppose 0 = b - 12 + 47. Let d be (-3)/12 - b/28. Is d at least w?
True
Let j = -12294 + 577841/47. Which is bigger: 1 or j?
1
Let d = 22 + -34. Let h(n) = -3*n**2 - 90*n - 14. Let g be h(-30). Which is bigger: d or g?
d
Let k be 13*(-5)/10*(-23 - 1). Which is bigger: 158 or k?
158
Suppose 0 = -2*w - 2*u - 752, 5*w + 4*u - 3*u + 1880 = 0. Which is smaller: -377 or w?
-37