ss than or equal to -65?
False
Suppose -16*m - 1043 = -9*m. Let r = 122 + m. Which is smaller: r or -26?
r
Suppose 3*i = w - 18, 3*i = -4*w - 8 + 5. Let f(g) = g**3 - 4*g**2 + 8*g - 16. Let a be f(w). Which is bigger: 2/243 or a?
2/243
Let v(d) = 34 - 13 + 11*d - 16 - 16. Suppose -8 = -4*t - a, -2*t = -0*t + 5*a - 22. Let p be v(t). Which is smaller: -0.045 or p?
-0.045
Let w be (2/58*1343)/((-40)/(-640)). Let g = w + -741. Which is greater: -0.1 or g?
g
Let n be (-6)/(-1) - 4665/33*282/6674. Do n and 0 have the same value?
False
Let d = -5282 - -5361. Let n(y) = -y + 77. Let g be n(0). Are d and g unequal?
True
Let g = -585 - -582. Let f be (24/(-8))/(g + 27/6). Is -7.1 at most as big as f?
True
Let c = -1.913 + 1.723. Which is smaller: 3/7 or c?
c
Suppose -t - 5*w + 4 = 3, 4*t + 4*w = -28. Let j be 7 + t + (0 - 468/(-231)). Suppose l + 6 - 1 = 0, -4*q + 21 = -5*l. Which is bigger: j or q?
j
Let d be (29/(-986)*0)/((-1)/(-2 + 3)). Let c be (-50)/(-48) - (-3)/(-6). Do d and c have different values?
True
Suppose 148*x - 14*x - 5360 = 0. Which is bigger: x or 30?
x
Suppose -2*i + 14 = 3*i - g, 0 = -3*i - 4*g + 13. Suppose 0 = -5*l + i*v + 91, -l = 2*v - v - 23. Which is smaller: l or 19?
19
Suppose -2*z + 5*z = 3. Let d be (-4)/14 + (78/(-21))/z. Let o be d/10 + (-9)/(585/(-86)). Which is smaller: o or 1?
o
Let s = 2.2713 - 0.2713. Is 5696 smaller than s?
False
Let b be 2 + 2 + (-176)/(-14). Let s = -2148 + 2164. Is b less than or equal to s?
False
Let z be 7780/(-105) + ((-2)/(-6))/((-112)/(-32)). Are -670/9 and z unequal?
True
Suppose -122 + 293 = 20*d - 129. Let n be 17 - (4 - (3 + -2)). Which is smaller: n or d?
n
Let q(x) be the third derivative of -x**4/8 - 19*x**3/6 - 7*x**2. Let m be q(-6). Let b be 8/(-28) - 102/14*m. Is b at least 0.1?
True
Let n = -365.8 - -368. Let s = -26.86 - -2.96. Let p = -24 - s. Which is smaller: p or n?
p
Let t = 1756 + -1791.46. Let a = t + 35. Let v = 0.56 + a. Which is bigger: v or -4/13?
v
Suppose 5*h - 3 = s - 5*s, 3*s = 3*h - 18. Suppose -3*l = -h*d + 15, -d + l = -2*l - 9. Is d bigger than 28/13?
True
Let j = 82 + -82. Suppose 0 = -2*n, j = 3*f - n + 226 - 46. Which is greater: f or -181/3?
f
Let l be ((-24)/5)/(4/(-10)). Let o(d) = 5*d + 17. Let g be o(l). Let t = g - 617/8. Are t and -0.1 equal?
False
Let o = -52630 + 17946844/341. Let n = o + 61693/682. Which is bigger: n or 90?
n
Let c = 139 + 93. Let q be ((-36)/(-24))/((-2)/c). Is q < -174?
False
Let a = -1.94 - 0.06. Suppose -10*m + 16 = 46*m - 40. Is m greater than a?
True
Let m = -29378/51 + 1695/17. Is -477 less than m?
True
Let o = -33521 + 33521. Let l = -5 - -9. Suppose 3 = -l*y - 1. Is o less than or equal to y?
False
Suppose -x + 163*q = 161*q - 416, 5*q = 20. Does x = 422?
False
Let f = -5015 + 105305/21. Is f at least as big as -1?
True
Let i(x) = x + 6. Let y be i(-19). Let z = 34 + y. Suppose -b + z = -2*b. Is b less than or equal to -21?
True
Let k be (7 - 1) + 6*2*(-3 - -7). Is 53 equal to k?
False
Suppose -3*s + 2*p = 7, 9*p - 10 = -5*s + 8*p. Let w be 7518/(-26) + s/(65/10). Which is smaller: w or 2/7?
w
Let o be 6*5/(30/(-8)). Let n(a) = a + 8. Let q be n(o). Let g = 2327 + -86093/37. Which is bigger: g or q?
g
Let f(y) = 2*y**2 - 9*y + 9. Let l be f(3). Let n be 0 - 4 - 65954/(-16513). Is l at least as big as n?
True
Let j(r) = -r**3 - 21*r**2 + 89*r + 61. Let m(v) = -v**2 - v + 2. Let a(q) = -j(q) - 4*m(q). Let u be a(-28). Which is smaller: u or 1/3?
u
Let u(w) = -w**3 - 10*w**2 + 76*w. Let v be u(17). Does -6510 = v?
False
Let c be (-1*(-4)/(-32))/((-9)/(-132)). Let t = -701 - -697. Is t smaller than c?
True
Suppose -h - 32 - 94 = -127*h. Is 40 equal to h?
False
Let c be 1/(((-6)/(-4))/(102/136)). Let y be (-2398)/4812 + 1 + 2/(-4). Is c smaller than y?
False
Let a(k) be the third derivative of 5*k**4/24 + 2*k**3/3 - 8*k**2. Let x be a(-7). Let f = -92/3 - x. Which is smaller: 0.2 or f?
0.2
Let j(o) = o**3 - 5*o**2 - 13*o + 8. Let d be j(7). Let v be 6/2 + d + 1. Suppose 0*w + v = u - 2*w, 3*u = 2*w + 61. Which is greater: u or 22?
22
Let y = -0.455 + 196.455. Let s = y + -186.7. Let x = s - 4.3. Which is smaller: 0 or x?
0
Suppose 2*d = -23 - 1. Let f be 6*(-4)/d + 2. Let y be (14/(-4))/(264/(-288)). Does f = y?
False
Let w = -24.38 - 2.88. Let n = 27 + w. Let f = n - -0.46. Which is bigger: f or -6?
f
Let n(r) = r**2 - 7*r - 43. Let p be n(11). Let d be -2 - (-3 + 2/1)*p. Let y = d - -8. Is 7 at most y?
True
Let y = 390 + -391.23. Suppose 18 = -2*g + 8*l - 4*l, 4*g = 3*l - 11. Is y less than or equal to g?
True
Let a(s) = -s**3 + s**2 - 4*s + 12. Let o be a(0). Let m(y) = -6*y + 71. Let q be m(o). Is q >= 3/436?
False
Let m(c) = -7*c**2 - 4*c + 9. Let h = 101 - 99. Let y be m(h). Which is bigger: -29 or y?
y
Let r(k) = 1507*k**3 + 2*k**2 + 20*k - 46. Let h be r(2). Which is smaller: 12059 or h?
h
Let x be (-2 - (-8)/6)/(17/(-255)). Suppose 5*g + 5 = -5*d, 5*g - 2 + x = -2*d. Which is greater: 11/7 or d?
11/7
Let k be 3*(2/(-34) + 0). Let i = 229318 + -229317. Is k greater than i?
False
Let z(j) = j**3 + 8*j**2 - 29*j - 78. Let m be z(-10). Suppose -x - m*x = -2*x. Let i = 0.22 - -0.06. Which is bigger: i or x?
i
Let j be (-3)/(-6)*6 + (-117)/36. Let g = 31 - 26. Is g at least j?
True
Let q = -56 + 77. Suppose 0 = -3*k - i + 27, -4*i + 15 + q = 3*k. Is k greater than or equal to -1?
True
Let p = -0.64 + 0.3. Let r = -1.06 + p. Let o = r - 2.6. Which is smaller: 2/7 or o?
o
Suppose -4*x - 8 = 4*c, 1 = 2*c - 0*c - 3*x. Let r be 5 + 2/(1 - c). Suppose 4*a = 2*a - r. Is a smaller than -22/5?
False
Suppose 2*d + 60 = 56. Let n = 67 - 65. Which is smaller: n or d?
d
Suppose 0 = 53*a + 2 + 51. Which is smaller: a or 18/2903?
a
Suppose 36 = 3*v + 2*l + 2*l, 3*v = l + 36. Suppose z + 2*z = v. Suppose 5*w = z*a - 9, 6*a + 5*w + 2 = 3*a. Is a at most 0?
False
Let q(g) = g - 9. Let x be q(5). Let z be (x + 1)/((-3)/(-4)). Let o be (z/3)/(16/(-12)). Which is greater: 2 or o?
2
Let r = 4864 - 4777. Is -11 bigger than r?
False
Let s = 0.054 - 9.064. Let w = s - -7.32. Which is smaller: 3 or w?
w
Let q = 736 + -476. Let x = q + -260. Do -17 and x have the same value?
False
Let r = -301.98 - -299. Let m = 9.98 + r. Are -0.07 and m non-equal?
True
Let m = 1493 + -1436. Which is greater: m or -0.062?
m
Let r be ((-1)/12)/(12/(-72)) - (-1)/(-2). Is r > 19.73?
False
Suppose -6*s + 10 + 8 = 0. Suppose s*o - 14*o = 0. Suppose -2*a - 64 = -o*a. Is a equal to -31?
False
Let s = 18 + 27. Let n = s + -135. Suppose 40 + 230 = -3*q. Is n < q?
False
Suppose -5*l - 4096 = -9*l - 2*a, 4*l - a = 4090. Is 1025 bigger than l?
True
Let i(a) = 175*a**2 + 7*a - 5. Let f be i(-3). Which is bigger: f or 1551?
1551
Let j be 7770/27 - 4/(-18). Suppose 2*a - 4*f - j = 0, -4*a - 4*f + 564 = -6*f. Let h = -291/2 + a. Which is smaller: -7 or h?
-7
Let a be -3 + (-3)/5*(0 - 5). Let q be a + 6/4*-2. Let r be -3*((-44)/36 + q). Which is smaller: 14 or r?
r
Let j = -3618 + 3641.71. Which is bigger: j or 0.2?
j
Let m(l) = -l - 2. Let w be m(0). Suppose -3*r - 55 = -2*u, 5*u - 119*r = -116*r + 160. Which is smaller: u or w?
w
Let c(j) = j - 23. Let n be c(7). Let u be (-5)/(-25) + n/30. Which is smaller: 86 or u?
u
Let p be ((-382)/10)/(1185/75 + -16). Which is smaller: p or 171?
171
Let q be (22 + -1 + 3)/((-15)/(-40)). Suppose -l - 2 = 5*o, -l - 2*l + q = o. Is 195/8 smaller than l?
False
Suppose 0 = 3*s - 2*u + 18 - 2, 3*s - 3*u + 18 = 0. Let i be (10/(-75)*5)/(s/(-6)). Is i at most as big as -1?
True
Let j(d) = -1537*d - 486. Let y be j(-1). Which is greater: y or 1052?
1052
Suppose -3*b + 12 = -3, 0 = 3*u - 3*b - 15. Let r = u - 13. Let k be ((-12)/40*-2)/(r/(-2)). Are -0.04 and k nonequal?
True
Let l = -76528890 + 2650884220126/34639. Let p = l - -1/517. Which is bigger: 1 or p?
1
Let l = 2919 - 1472. Do l and -1/4 have different values?
True
Let z be (-70)/(-15)*63/(-14). Which is smaller: z or -439/21?
z
Let y be (15/(-25))/(1/(-150)). Let g be -6*(-9)/y*6. Is g at least 4?
False
Let q = -21356 + 21363. Which is bigger: -182 or q?
q
Let n = 416 + -558. Let b = -169.7 - n. Which is bigger: b or 0?
0
Let t = 0.17 - 0.222. Let y = 0.3878 - -10.5602. Let k = t - y. Do k and -1 have the same value?
False
Let p = 84 + -77. Suppose 3 = -o, -p*z + 2*o - 12 = -5*z. Let m 