247 - 460. Which is bigger: -1 or f?
-1
Let c = -2224 - -220174/99. Let m(w) = -2*w + 1. Let y be m(1). Which is smaller: y or c?
y
Let r = -34 - -43. Suppose d = l - 2, -d + r = -3*l - 3*d. Is 4/19 smaller than l?
False
Suppose -73*z - 7 = -66*z. Which is bigger: -43/19 or z?
z
Suppose -21*s - 248 = 88. Which is smaller: s or -30?
-30
Suppose 25*u + 1736 = -189. Which is smaller: u or -388/5?
-388/5
Suppose 4*r = 2*m - 2 - 8, 4*m = 4*r + 8. Let x be (-1 - (-6)/6) + (-1)/m. Do x and 2/247 have the same value?
False
Let c be 3 - 3/(-9)*0. Let d = 1 - c. Is -1 greater than or equal to d?
True
Suppose 9*y - 4*y + 20 = 0. Let f be -298*(-3 + (42/8 - 2)). Let k = 72 + f. Is y < k?
True
Let l(h) = 38*h**2 + h - 3. Let y be l(-3). Which is greater: 338 or y?
338
Let a = 7.83 + -5.83. Is -158 smaller than a?
True
Let c = -731/4 + 183. Which is greater: c or 7/5?
7/5
Let d = 213 - 155. Let q be 4*d/24 + 1. Which is smaller: 11 or q?
q
Let g be 3*-1*(16/(-17400))/(-1). Do g and 0 have the same value?
False
Let o = -2969 + 2970. Let z be (3 - 4)*(-10)/23. Which is greater: o or z?
o
Suppose -8*m = 4*i - 12*m - 4, -3*m - 13 = 2*i. Which is smaller: -164 or i?
-164
Let y = 10093 + -71028/7. Is -53 <= y?
False
Let r be -1 - 15/24 - -1. Let l be 3/336*6*(-114)/18. Let v = r - l. Do v and 2/5 have different values?
True
Suppose 0*i - 5*i = 3*n - 66, 46 = 4*i - n. Suppose -3*s = i, -j - 4*j + 3*s = -52. Suppose -j = -3*d - 2. Are d and 1 non-equal?
True
Let n be (-4*12/16)/3. Which is greater: 3/7 or n?
3/7
Suppose 4*a = 4*s + 28, -84*s + 79*s + 35 = 5*a. Let q = -12 - -6. Let x be (q/(-4))/(318/8). Is x < s?
False
Suppose 221 = -f - 2*i, 4*f + 896 = -0*f + 4*i. Which is smaller: -225 or f?
-225
Let n = 46/9 + -1189/252. Is n >= 1?
False
Suppose -3*a = -a - 12. Let d(i) be the third derivative of -i**4/24 + 5*i**3/6 - 2*i**2. Let s be d(a). Which is greater: 0 or s?
0
Let n = -2176/9 + 242. Suppose -5*m - 3*k = 13, -m - 3*m + 3*k = 5. Is m at least n?
False
Let b = 24 - 19. Suppose -b*z = -36 - 4. Which is smaller: z or 6?
6
Let u = 272/9 - 7906/261. Is -1/14 not equal to u?
True
Let g = -560 - -585.9. Let p = 26 - g. Is -4/7 less than or equal to p?
True
Let m = 37 + -2. Let i(j) = 34 + 0*j - m - 4*j. Let b be i(1). Is -9 > b?
False
Let x = -0.007 - 1.533. Let g = -1.5 - x. Let p = 45 - 43. Is p greater than g?
True
Suppose -5*z + k - 38 + 133 = 0, -2*k = 0. Is z != 19?
False
Suppose -4*a - c = 98, 2*c + 52 = -2*a - 0*c. Let g = a - -71. Let v = 27 - g. Which is greater: v or -19?
-19
Let g = -21 + 34. Suppose 4*o - 23 - g = 0. Let k = o + -9. Is 2/5 greater than or equal to k?
True
Let z = 60 + -67. Let t = -6.8 - z. Let m = 510/7 - 73. Is t greater than m?
True
Suppose 1039*z - 2 = 1041*z. Is z not equal to 2/267?
True
Suppose 8744 = 62*p - 2292. Which is greater: 711/4 or p?
p
Let s(p) = -6*p + 78. Let w be s(17). Which is greater: -21 or w?
-21
Let y = -720 + 701. Is -13 equal to y?
False
Let h(k) = 11*k**3 + 7*k**2 + 2*k. Let t(m) = -9*m**2 + 9*m**2 + 6*m**3 + m + 4*m**2. Let u(r) = -3*h(r) + 5*t(r). Let q be u(-1). Are q and -0.3 non-equal?
True
Let x = -79 - -70. Let k be (-8)/24 - (-6)/x. Is -2/249 bigger than k?
True
Let t = -0.4 - -0.3. Which is bigger: 176/5 or t?
176/5
Let r(x) = x**3 + 3*x**2 + 12*x + 93. Let k be r(-6). Is -89 at least as big as k?
False
Let x = 9 + -18. Let w = 9.4 + x. Let i = w + -12.4. Is -2/3 greater than or equal to i?
True
Let w = 5.74 + -5.78. Let j = 1/16 - 19/48. Is j smaller than w?
True
Let b = 242 + -195. Which is bigger: b or 50?
50
Suppose -b + 10 = 3*j, 10*b + 5*j - 20 = 5*b. Let m be (-2)/130*(-24)/4. Which is smaller: b or m?
m
Let q = -33 - -49. Suppose 44*y = 46*y - q. Is 6 bigger than y?
False
Suppose -2*u = u. Let i be (-109)/(-705) + ((-2004)/180 - -11). Which is bigger: i or u?
i
Suppose -98 = 4*q - 26. Let v(h) = h**2 + 18*h + 1. Let n be v(q). Is n < -1/3?
False
Let j = -683 - -8658/11. Let d = -104 + j. Which is smaller: d or 0?
0
Let d = 244.5 - 244. Is -1/6 greater than or equal to d?
False
Suppose 0*r - r - 3*o = -8, 4*r = -4*o + 16. Suppose 5*m - 40 = 4*u, -5*m = r*u - 5*u - 35. Let i be m/(-60)*(-20)/(-8). Which is smaller: i or 2/5?
i
Let w = 92.15 + -2.15. Let d = -134 + w. Do d and 2 have different values?
True
Let d be 0*(1/(-3))/(9/27). Let x = 18 + -20. Let l be 5/((-55)/21) - x. Which is smaller: l or d?
d
Let k be (-1)/3 + 224/24. Let t(r) = r**2 - 8*r + 12. Let c be t(7). Suppose -5*i + c*w = -3*i - 23, 3*i - 2*w - 29 = 0. Do k and i have different values?
False
Let d be 3 + -3 + 3 + -2. Let l = -271.1 + 271. Which is bigger: l or d?
d
Let p(u) = 2*u**2 - 2*u - 1. Suppose 8*h - 10 = 6*h. Suppose h*r = -0*r - 5. Let b be p(r). Which is smaller: 4 or b?
b
Let p be (30/(-63))/(81/14 + -6). Let y = -5/10519 - -1820237/946710. Let c = p - y. Is -1 at least as big as c?
False
Let x be (-54)/144 - (-513)/(-424). Let y = x + 7637/3180. Let m = -1/15 + y. Is m <= 0?
False
Suppose -5*p = -3*a + 1, -5*a + 7 + 8 = 5*p. Let u be (-6)/3*-1*a. Suppose 0 = -3*x - 5*t - 13, -3*t + 1 = 6*x - 2*x. Is x greater than or equal to u?
True
Let w be (232/24)/(20/(-6)) - -3. Which is smaller: w or 11?
w
Let r = -17786891/209 + 931190/11. Let s = 451 + r. Let b = s - -25/57. Which is bigger: b or 1?
1
Let x = -11.53 - -14.53. Which is smaller: -255 or x?
-255
Let z be ((-4)/8)/(1/(-2)). Let g = -623/1060 - -11/20. Which is bigger: g or z?
z
Suppose l - 2 = f, -3*f + 7 = 4*l - 8. Which is bigger: -1/27 or f?
f
Let h(z) = -z**3 + 7*z**2 + 8*z + 1. Let r be h(8). Let k = 3.987 - 4. Let v = 0.107 - k. Which is bigger: v or r?
r
Let p be (-7080)/100 - (-14 + 4). Which is bigger: p or -60?
-60
Let j = -3012 - -3017. Let l = 2 - -5. Is j at most l?
True
Let v = -1569 + 1566. Which is greater: -19/9 or v?
-19/9
Suppose 0 = 5*c + 5*r - 485, 4*c - 2*r - 106 = 3*c. Let v = -704/7 + c. Which is bigger: -1 or v?
v
Let u = -114 + 804/7. Suppose -13*z + 8*z + 5 = 0. Is z at least u?
True
Let k = -1/50 + -12/25. Let n = 80 - 4. Is n less than or equal to k?
False
Let c(l) = -43*l + 360. Let g be c(9). Are -11 and g nonequal?
True
Suppose 3*l = 4*x - 59, -2*x - 58 = -2*l + 4*l. Let k be (10/l)/(2/(-20)). Let c(g) = -g**3 - 10*g**2 + 2. Let j be c(-10). Is k not equal to j?
True
Let h be -2 + ((-32)/24)/(2/(-3)). Let a be (-4)/(-48) - (-2)/8. Is a bigger than h?
True
Let n be ((-9)/9 - 33/(-8)) + 1. Which is smaller: n or 4?
4
Suppose 0 = -0*d - 4*d + 4. Let y = d + -1. Let x(n) = -n**2 - 12*n + 18. Let q be x(-14). Is y greater than or equal to q?
True
Let k be (2/3 - (-312)/72) + -4. Which is smaller: k or -2/1867?
-2/1867
Let r = 11 + -15. Let n be 5*(2/(-10) + 3). Let a be 12/6 + n/r. Which is smaller: 2 or a?
a
Let o = 6 - 4. Let n be (-255)/(-60) + o/(-8). Let g be n/2 - (-10 + 3). Is 11 smaller than g?
False
Let q = -614 + 620. Is 24/5 >= q?
False
Let n(u) = -33*u + 109. Let b be n(4). Let q = -10 - 13. Is b >= q?
True
Let o = 6565/9 + -727. Let l = 2 - 1. Which is smaller: o or l?
l
Let v = -325 + 338.9. Let i = 14.9 - v. Which is greater: 25 or i?
25
Suppose 0 = -0*w - w + 6. Suppose w*z = 26 + 4. Suppose 0 = 9*t - 4*t - z. Which is bigger: -3/31 or t?
t
Let g = 3 + 0. Suppose -g*z = 6 - 15. Suppose 11 = -i - z*v - 6, -5*i + 5*v - 25 = 0. Is -8 at least as big as i?
True
Let t = -93 + 45. Let r = t - -85. Is r != 35?
True
Suppose z - 237 = j, 2*j = 5*j - 2*z + 712. Which is bigger: j or -237?
-237
Let v(i) = -i**3 - 6*i**2 + 8*i + 8. Let t be v(-7). Suppose -3*b = 17 + t. Let f be ((-6)/9)/((-4)/b). Which is greater: -2/7 or f?
-2/7
Let c = 1976 - 1973. Which is smaller: c or 239?
c
Suppose s - 281 = 3*g + 20, -3*s = g + 87. Let f = -110 - g. Which is smaller: f or -45/4?
-45/4
Suppose 5*g = 3085 + 380. Let p = g - 53363/77. Is 0 at least p?
True
Let h(u) = -u - 18. Let m be h(-12). Let j(t) = t**2 + 7*t + 14. Let x be j(m). Let s(l) = l**3 - 3*l**2 + 2*l + 4. Let r be s(3). Is x >= r?
False
Let d be 2/(4/(-14))*-1. Suppose 5*s = 3*b + 3 + d, 5*s - 10 = 4*b. Suppose b = -2*h + h. Is 2/31 at most h?
False
Let s = -16 + 19. Let c = 0 - s. Let u = c + 2. Are u and 4/9 equal?
False
Let h = 19 + -56/3. Let y be -3 + (21 - -3)/4. Suppose z + y*z = 0. Is h <= z?
False
Let d = 64 - -195. Is d > -1?
True
Let k = 10 - 8. Let m b