gger: a or 49?
49
Let w = -26/175 - -217577/350. Is 621 > w?
False
Let n = -16000 + 15913.97. Let f = n + 86. Which is greater: -3/5 or f?
f
Let o(h) = 2 + 0 - 2*h**2 - 7*h + 3*h. Let j be o(-4). Is -15 smaller than j?
True
Let v = -1.18 + 0.18. Let w = -0.04 - 2.86. Let s = 3 + w. Which is smaller: s or v?
v
Let a be 4/3*(-6)/4. Let z be -1 + a + 116/36. Is 2/7 at least as big as z?
True
Let l = -121 + 71. Let t = l + 49. Which is bigger: t or 9?
9
Let m = -53 - -57. Is m less than or equal to 2?
False
Let v = 1.775 - 1.79. Is 1 <= v?
False
Let g(t) = -t**3 - 6*t**2 + t - 6. Let j be g(-6). Let r = j + 17. Suppose -b - 4 + r = 0. Is 6/11 at most b?
True
Let t = 44 - 104. Let k = t + 56. Which is bigger: k or 4?
4
Let a be -4*(0/2 - 21/28). Suppose 2*u = -3*t + 5*t - 10, -2*u + 5*t - 25 = 0. Suppose a*p - p = u. Is 0 greater than p?
False
Let p be (-33)/(-12) + (-6)/8. Suppose 3*b - p = 7. Which is greater: 10 or b?
10
Let b be -2 - (4/(-1) + 3). Is b >= 2/65?
False
Suppose 3*h = -3*w + 6, -3*h - 4*w + 26 - 19 = 0. Does h = -1/437?
False
Suppose -38*r + 3 = 3. Which is smaller: 6/59 or r?
r
Let c = 4823 + -4817. Let x(y) = y**3 - 2*y**2 - 4. Let t be x(3). Is c at least as big as t?
True
Let w = -1139 - -942. Which is greater: 1/2 or w?
1/2
Suppose 0 = 3*k - 0*k + 3. Let q = k - -1. Is q less than -1/21?
False
Let w = -74 + 51. Let o be (-2)/(-1) + 2 - (-78)/(-3). Is w equal to o?
False
Let l = -21 + -90. Let v = l - -111.6. Which is smaller: v or -0.1?
-0.1
Let d = -18 - -18.1. Let a = 18 - 17.78. Let y = -9.78 - a. Which is greater: y or d?
d
Let r(k) = k**3 + 16*k**2 + 15*k + 20. Let q be r(-15). Let x = -15 + q. Let h = x + -3. Is 1/2 not equal to h?
True
Let t = -22 - -25. Let l = -0.3 - -0.5. Let s = l + 0.8. Is t smaller than s?
False
Let c(i) = -i**3 + 2*i + 20. Let y be c(0). Let f be ((-1)/(-3))/(-1 + y/(-12)). Is f not equal to 2?
True
Suppose -5*s + 2*m + 398 = 96, 0 = 4*s + 3*m - 237. Let a = -60 + s. Which is smaller: a or 8/13?
a
Suppose -5 = 5*r, -6 = -5*a - 3*r + 36. Suppose -2*i - 3*g = 115 - 147, 0 = -5*i + 5*g + 30. Do a and i have the same value?
False
Let w be (120/100)/(9/(-660)). Which is smaller: -86 or w?
w
Suppose 2*a = -2*v + 10, v - 4 - 1 = 2*a. Suppose -3*x = -5*l - 2, -l - 4 - 2 = v*x. Is x at least -1?
True
Suppose -m = -7 - 11. Suppose 0 = 3*t - 2*c - m, 3*t + 4 - 1 = -5*c. Suppose t*s - 1 = -p + 1, -s + 3*p - 6 = 0. Is -2/9 bigger than s?
False
Let q = 0 + 1/2. Which is bigger: -0.91 or q?
q
Let f = -6/623 - -3223/11214. Is f at most -1?
False
Let r be 3/(-6)*96/232. Which is smaller: -1 or r?
-1
Suppose -661*c + 674*c + 65 = 0. Is c at most 48?
True
Let r = 19 - 20. Let v = 5.2 + -5. Let f = v - 0.25. Is f > r?
True
Let i(w) = -4*w**2 + 18*w - 26*w + 14*w - w**3 + 1. Let c be i(-5). Let a be (-1)/2 + (-2)/(-8). Which is smaller: c or a?
c
Let j be (14/(-8))/((-2)/(-376)). Let a be -27*((-16)/(-12) - 2). Let x be j/63 + 4/a. Which is greater: x or -4?
-4
Suppose h = -2*m + 6*h - 16, 14 = 5*m + h. Suppose 5*f - 2*q + 10 = 0, -q + m = -3*f + q. Is -13/3 equal to f?
False
Let n = 1649 - 1647.2. Is 4 at most n?
False
Suppose 0 = 6*z - 3*z - 5*b + 195, 3*b = 2*z + 130. Let q = z - -66. Which is greater: -2/123 or q?
q
Let x = -13/42 - 5/14. Is -121 less than x?
True
Suppose -4*y + 53 = -447. Is y not equal to 125?
False
Let c = 152 + -97. Let w = c + -39. Is w equal to -1/3?
False
Let h = 677 - 613. Is h bigger than 511/8?
True
Let m = 7927/2219 - 2/2219. Suppose 1 = 2*t + 3*n, 5*t - 7 - 3 = -5*n. Which is bigger: t or m?
t
Let v(c) = c**2 + 6*c - 7. Let r be v(-7). Suppose -2 + r = -2*n. Suppose -2*w + 3 = -i, -2*i + 6 = 2*i - 2*w. Is n >= i?
False
Let t = 25 - 25. Let v = 6 - t. Is 23/5 less than v?
True
Let w = 668.8 + -580. Let o = w - 75. Let p = o - 14. Which is greater: p or 3/11?
3/11
Let b = -19 - -22. Suppose -b = -15*c + 12*c. Is c smaller than -2?
False
Let y = 260.7 + -260.3. Which is bigger: -200 or y?
y
Let k be 3/(-47)*((-2254)/(-126) + -19). Which is smaller: -1 or k?
-1
Let m = 9244/52041 + -2/913. Which is smaller: m or 1?
m
Let l = 6 + 0. Suppose -16 = 5*x + 2*r + l, -3*r = -4*x - 13. Suppose o = 5*j - 25, -4*j - 4 = -2*o - 30. Is x != o?
True
Let v = 9.65 + -10. Let x = v + 22.35. Let f = 21 - x. Is 7 at most f?
False
Let m(r) = 8*r + 313. Let h be m(-39). Do h and -441 have the same value?
False
Suppose -3*b - 2 = -2*q, -7*b + 20 = -3*b + 3*q. Suppose -4*a - 2 = -b*o, 5*o + 3*a + 12 = 3*o. Let p = -3 - o. Is -0.1 at most as big as p?
True
Suppose -39 = -l - 2*l. Suppose 0 = -338*n + 343*n - 10. Are n and l unequal?
True
Let w(i) = -150*i - 2. Let l be w(-1). Suppose -3*u - 4*b = l, 26 = 3*u + b + 171. Which is greater: u or -47?
-47
Let o = -1.45 - -1.4. Let a = 5.05 + o. Let u = a + -6. Which is bigger: 3 or u?
3
Let c = -9 - -10. Let t be (c/(-3))/((-7)/7). Let g = 4/3 - 1. Are g and t equal?
True
Suppose 0 = j + 5*y, -45 = -2*j + 9*y - 4*y. Suppose -24*l - 837 = -j*l. Are l and -1 nonequal?
True
Suppose -n + 95 = 2*s - 60, -234 = -3*s - 2*n. Let u be 4546/60 - (-7)/21. Let h = u - s. Which is smaller: 1 or h?
h
Let n(d) = 10*d - 86. Let c be n(9). Is c equal to 40/9?
False
Let l(u) = 323*u**3 + u**2 - 3*u + 2. Let g be l(1). Is 1/3 smaller than g?
True
Suppose -4*t = 2*k + 4, -2*t + 6 = 7*k - 4*k. Suppose 0 = 3*x - 3*a + 21, k*a - 7 = 3*x + 17. Which is bigger: x or 2?
2
Let j = -14.784 - -13.9. Let q = j - 0.116. Which is greater: q or -15?
q
Let d be 6/345 + 4/10. Let n = 2/115 - d. Is 13/4 bigger than n?
True
Suppose 0 = 30*n - 247 + 67. Which is bigger: -4 or n?
n
Let w(l) = -26*l - 1. Let f be w(-11). Let j be (7/(-1))/(8 - f/35). Is j greater than 50?
False
Suppose 0 = -c + 1, 3*f = -4*c + 5*c + 14. Suppose -3*v + f*v + 38 = 0. Do -18 and v have the same value?
False
Let p(r) = 5*r - 5. Suppose -5*b = -9*b + 20. Let x be p(b). Is x less than or equal to 21?
True
Let r(q) = -1 - 16*q**2 + 2*q + 27*q**2 + 17*q**3 - 12*q**2. Let h be r(1). Is 17 > h?
False
Suppose 21 = -5*w + 3*r, w + 2 = -2*r + 3. Let c be (-2 + 8)*1/w. Suppose -o + 3 = -2*x, 5*x = -o - 0*o - 11. Which is bigger: o or c?
o
Let t be ((-278)/195)/((-12)/(-9)). Let y = 10/13 + t. Let c = 0 - 0. Are c and y nonequal?
True
Suppose 5*z = 4 + 6. Let u(b) = -2*b + 10. Let d be u(5). Suppose d = -10*t + 4*t + 6. Is t less than z?
True
Let w(v) = 3*v**2 + 7*v + 10. Let u be w(-4). Which is greater: 24 or u?
u
Suppose 6*j = 4*k + 3*j - 88, 3*j = -k + 22. Suppose 0 = -4*h - k - 10. Is h equal to -12?
False
Suppose -4*a + 10 = -10, -173 = 4*d + 3*a. Let v = d + 52. Is v at most as big as 9?
True
Let p = -10 - -12. Suppose -p*c = -4 - 36. Suppose -20 = -5*d + 6*x - 2*x, 2*d + 4*x + c = 0. Does d = -1?
False
Suppose -4*g - 61 = 5*n, -n - 2*g - 15 - 2 = 0. Let u be ((-4)/(-6))/((-6)/n). Is u > -2/49?
True
Let q(x) = -x**3 + 9*x**2 - 2*x + 10. Let r be q(9). Let t be 4/r + (-10)/(-36). Which is greater: t or -1?
t
Suppose -20*y - 9 = -17*y. Let o be (-87)/(-58) + 1 + y/2. Which is smaller: o or 8/9?
8/9
Suppose d - 3*u = -8, 0*d + 39 = 2*d + 5*u. Suppose -2*n + 30 = -d*n. Do -5 and n have different values?
True
Let m(q) = -2*q**2 + 218*q - 852. Let z be m(4). Let y(c) = 4*c**2 + 2*c - 5. Let h be y(4). Suppose 5*t + h = -3. Is z equal to t?
False
Let o = -17 - -22. Suppose 6 + 14 = o*a. Let l be -4 - 1/a*-14. Which is smaller: -1 or l?
-1
Let d = -36.052 + 36. Let c = d + 11.052. Let v be 2 + -2 - (-1)/4. Which is bigger: v or c?
c
Let q(t) = -3*t - 50. Let w(f) = 7*f + 101. Let s(h) = -9*q(h) - 4*w(h). Let n be s(15). Is 31 bigger than n?
False
Let b be (322/207)/(2/(-3)). Suppose 6 = -q - 2*k + k, -5*k = q + 22. Which is bigger: b or q?
q
Suppose -25 = -7*x + 2*x. Suppose 0 = 2*h + 3*h - 50. Suppose -2*b + 16 = 2*n, 3*n - 8*b + 4*b - h = 0. Which is smaller: n or x?
x
Suppose -a + 5*a - 4*k = 12, 0 = -a - 2*k - 3. Let d = -0.56 + 0.77. Let w = d - -0.79. Are w and a unequal?
False
Suppose -117*w = -127*w + 2120. Is 212 at most as big as w?
True
Let s(t) = t**2 + 17*t + 19. Let h be s(-16). Let a = h - 1. Suppose k - a = -2*q, -8*q = -3*q - 5. Is k not equal to 0?
False
Suppose -l = 4*a - 0*l + 43, -4*a = -l + 37. Let h be (-27)/45*(0 + a). Suppose -h*v + v = -165. Which is smaller: 32 or v?
32
Let m = -353.08 - -360. Let r = -0.0