hich is greater: -245 or a?
a
Let d = 2659 + -2629. Does d = 2/93?
False
Let g = -9 + 5. Let s(n) = n**3 + 9*n**2 + n + 4. Let k be s(g). Let r(a) = 20*a**2 + 14*a - 29. Let d be r(2). Is k greater than d?
True
Let m(h) = 12*h + 72. Let s be m(15). Let g be s + (3/(-2))/((-15)/(-40)). Which is greater: g or 247?
g
Let q be (2/1 - 1)*(-7 + 7). Let b be 0 - (q - (-2 - -2)). Suppose b = -4*h - 12, -3*l = h - 7 + 16. Which is smaller: l or -0.24?
l
Let n = 21290/109 + 39/218. Are 197 and n non-equal?
True
Let y = 464 + -317. Let l = y - 143. Is l equal to 56?
False
Let r = 56 - 55. Let t be (4 - (-12)/(-2))*1. Let b be (t - 211/(-102))*(-12)/63. Is b greater than or equal to r?
False
Let u be -1*(-70)/(-8 + -2). Suppose -2*b = -2*w + 6*w + 24, -2*b - 15 = -5*w. Let l = b - -5. Are l and u non-equal?
True
Let r = -3421.4 + 3423.4. Which is greater: r or 9975?
9975
Let t be -16 + (-3)/(-3) + 9. Let y = t - -24. Is 22 > y?
True
Let u = -18549 - -19614. Which is smaller: 1057 or u?
1057
Suppose -2*q = -5*q. Suppose 2*n + 22 = b, -3*b - 2*b - 3*n + 84 = q. Let x be 9/b + (-2)/4. Which is bigger: -8 or x?
x
Let x(t) = 2*t**3 + 32*t**2 + 25*t - 39. Let u be x(-15). Let l be -3 + -3*(-6)/u. Do l and -2 have different values?
True
Let u be ((-2570799)/334884)/(-31) + (-1)/4. Which is bigger: 1 or u?
1
Suppose 236*i = 229*i + 119. Suppose -i*x + 174 + 30 = 0. Which is bigger: x or 67/6?
x
Let a be 6/(-5) + 512/160. Let i(y) = y**3 - 5*y**2 - 6*y + 1. Let k be i(6). Let x be -9*k/5*-1. Is a not equal to x?
True
Let o be (2/(-6))/(5/(-191 - 4)). Let m(x) = o*x + 7 + 14*x - 43*x + 15*x. Let b be m(8). Is b greater than 4/27?
False
Let r = -209 + 141. Let i = 39 + r. Let f = i + 28.9. Which is greater: 0.4 or f?
0.4
Let y = -338 + 486. Let d = y - 49. Let o = 68.9 - 67.9. Are d and o equal?
False
Suppose -5*v + 8 = -0*h - 4*h, 0 = -4*h - 8. Let u be (480/(-94400))/(12/(-10)). Which is bigger: v or u?
u
Let c = -372 + 372.346. Let v = -3.984 + 4. Let d = c - v. Is d < -1?
False
Let f(k) = -47*k + 44. Suppose 0 = -3*a + 3, a + 2 + 0 = 3*h. Let b be f(h). Which is greater: b or -15/4?
b
Let y be (-1 - 0)/(2/(-6)). Suppose 125*g - 15 - 513 = 472. Which is smaller: y or g?
y
Let f(n) = n**3 - 70*n**2 + 40*n + 2006. Let b be f(69). Is 279/65 less than b?
True
Suppose -5*b - 4*x + 5 = 0, -x = 24*b - 25*b + 1. Suppose -45 = 23*i + b. Is i less than 1.8?
True
Let n be (-400)/480 + ((-33)/(-18) - 0). Suppose -4*v + 40 = v. Let h be (-660)/16 + 2/v. Is n greater than or equal to h?
True
Let h = 53 + -211/4. Let x = -0.068 + 0.113. Let y = -1.055 - x. Are h and y unequal?
True
Suppose -2*c - 4*l + 5*l + 539 = 0, -5*c + 1348 = -2*l. Let g be (-45)/c - (1 - 2/12). Which is smaller: -26/43 or g?
g
Let i = 25 + -16. Let p = -382.39 + -6.61. Let j = -390 - p. Which is bigger: j or i?
i
Let h(m) = -m**2 + 2*m + 7. Let x be h(3). Suppose -2*z + 6*z - x = 0, 4*u = 4*z. Let d be (4/(-16))/(195/20). Is u at most d?
False
Let c = 1658 + 3149. Is 4808 at most c?
False
Let t = 1/709615 - 14421505649/2838460. Let y = t - -5027. Let l = y + 6657/124. Which is bigger: l or 1?
1
Let d = 38 + -35. Suppose -d*z - 2*x = 8 - 56, -5*z + 87 = x. Is 33/2 >= z?
False
Let c = -26 + -43. Let g = 918 - 882. Suppose 0 = -l + g - 104. Which is smaller: l or c?
c
Let m = 61 - 26. Let d = -68 - -32. Let k(f) = 2*f**2 + 71*f - 1. Let v be k(d). Are m and v nonequal?
False
Suppose 4*y = -2*f - 5384, -2*f + 7*f = 5*y + 6685. Is y less than -1343?
False
Let u = -10720 - -10716. Which is smaller: 731 or u?
u
Let f = -0.88 + 2.73. Let y = f + -2.8. Let i = y + -0.05. Is i less than 4?
True
Let y = 70244 - 630452/9. Which is bigger: 194 or y?
194
Let l = 255 - 210. Let i be 36/l*(-165)/54. Which is smaller: -3 or i?
-3
Suppose 51*u - 3864 = -87*u. Which is smaller: 100 or u?
u
Let n(q) = 2*q**3 - 17*q**2 + 77*q - 527. Let i be n(19). Is 8517 != i?
False
Let i = 28521 - 90582709/3176. Is 0 at least as big as i?
True
Let a = 425.0188 + -425. Let q = a + 0.1812. Which is bigger: q or 139?
139
Let v(x) = -2*x**2 + 27*x + 27. Let z be v(15). Let g be (2/z)/((-3)/(45/13)). Which is bigger: g or 1?
1
Let w = -420/19 - -300/19. Is -5 smaller than w?
False
Let g be 0/(-2*(2 + -1)). Suppose -5*x - 19 - 11 = 5*j, 4*j - 2*x - 6 = g. Let r be 5 + (-5320)/885 + 1. Which is smaller: r or j?
j
Suppose 28*c - 26*c + 480 = 4*i, 2*i - 232 = 5*c. Which is greater: 844/7 or i?
i
Let x = -618 - -943. Suppose -2*s + 21 = o - x, 5*s - 2*o = 883. Let h = 389/2 - s. Do h and 20 have the same value?
False
Let h be (5/2)/(2/(-24)). Let u(x) = 645*x + 1258. Let o be u(-2). Which is greater: h or o?
h
Let w = 208.2 + -176. Let t = 36 - w. Let f = -3.5 + t. Is f equal to 12?
False
Suppose -153 = -2*i - 155. Which is bigger: i or 3/2684?
3/2684
Let n(m) = 5*m**3 + 7*m**2 + 23*m - 82. Let y(s) = -2*s**3 - 4*s**2 - 12*s + 41. Let b(h) = 3*n(h) + 7*y(h). Let a be b(6). Is a less than -85?
False
Suppose 283 = 2*f - 5*m, -432 = -3*f + 3*m + 2*m. Let c = f + -96. Is 56 greater than or equal to c?
True
Let b(o) = -4*o + 105. Let y be b(26). Let i be ((15/27)/5)/(5/12). Which is bigger: i or y?
y
Suppose 0 = 25*b + 1761 + 22989. Is -990 greater than b?
False
Let v = -0.044 - 0.956. Suppose -2*s = -5*n - 13, -5*n - 3 = 4*s - 14. Let o be s*2*(-1)/(-5). Which is smaller: o or v?
v
Let u(c) = -c**3 - 9*c**2 + 17*c - 51. Let o be u(-11). Suppose 3*p - o = -2*h - 35, -3*h - 42 = 4*p. Which is greater: -12 or p?
p
Let x = -180 + 175. Suppose 32*g - 29*g - 21 = 0. Suppose g*r + 63 = 21. Which is smaller: r or x?
r
Let v(c) = -67*c + 3. Let y be v(-1). Let m = y - 53. Let u be (-34)/m - (-14)/8. Is 1 at least u?
True
Suppose 3*r - 2*o - 432 = 0, 5*r - 722 = 3*o + o. Suppose 0 = -r*b + 148*b. Is -1/20 greater than or equal to b?
False
Let c = -664 - -543. Let d = -85 - -85.1. Which is bigger: d or c?
d
Let s(w) = -593 + 199 + 203 + 5*w + 0*w + 201 + 2*w**2. Let f be -1*(2 + 0/(-2)). Let l be s(f). Is 15/2 less than l?
True
Suppose -c + 3*y - 29 = 3*c, c - 3*y + 5 = 0. Let l(f) = -2*f - 13. Let o be l(c). Suppose -8*z - o*z = -143. Is 13 bigger than z?
False
Let t = -0.8 - -0.5. Suppose 224*u - 223*u = 2. Suppose 348 = -u*x + 326. Is x equal to t?
False
Suppose 32*a + 20*a + 227625 = -23*a. Are a and -3035 non-equal?
False
Suppose 0 = 176*z - 156*z - 181 - 419. Is z > 105/2?
False
Let s = 0.024 - -27.976. Let f = s + -58. Let d = f - -30.1. Is 1 less than or equal to d?
False
Let r = 12655.2 + -12215. Which is greater: 2/3 or r?
r
Let k(r) = 2*r**2 - 16*r + 5. Let n be ((-2)/4)/(8/(-128)). Let s be k(n). Suppose x = s*y, -x = -3*y + 4*y - 6. Which is smaller: y or 15/7?
y
Let z be 271 + -492 + (54/(-10) - (-8)/20). Is z smaller than -11?
True
Let b be (48/64)/(((-28)/(-4))/(-28)). Is b less than or equal to -4.19?
False
Let w be 1 + -12 + 1379*(-713)/(-217). Is w at most as big as 4521?
True
Let v = 62 + -61.9. Let z be (-1336)/(-16) - (-3)/2. Let f = 137 - z. Is f != v?
True
Suppose -35*w = -30*w + 95. Let k be ((-9)/6)/((-2 + -3)/10). Suppose k*n = -4*t - 44, 4*n - 2*n + 4*t + 24 = 0. Which is bigger: n or w?
w
Let m(h) be the third derivative of -7/8*h**4 + 0 + 0*h + 1/120*h**6 - 7/60*h**5 + 12*h**2 + 3/2*h**3. Let i be m(9). Is i at most as big as -20?
False
Let k(d) = -7*d + 275. Let a be k(44). Let n be (4/(-5))/((-4)/30). Let t be (-13)/11 - n/a. Do t and -2/21 have different values?
True
Let c = 0.3 - 0.4. Let g = 0.14 - 103.14. Let s = 101 + g. Do s and c have different values?
True
Let b be 0 - 1555 - 12/(-3). Which is smaller: -1553 or b?
-1553
Let y = -1697 + 722. Which is bigger: y or -977?
y
Let l = -6959 + -687. Which is greater: -2 or l?
-2
Let q(n) = 3*n**3 - 32*n**2 + 63*n - 91. Let t be q(22). Which is smaller: 17752 or t?
t
Suppose p - 6 = a, 0*p - 4 = a - 2*p. Let l be (-490)/(-2720) - a/(-68). Which is smaller: l or -1?
-1
Suppose -4*f - 4*j = 472, 11*f + j = 8*f - 354. Which is smaller: f or -594/5?
-594/5
Let h = 3900 - 3873. Is 35 >= h?
True
Let a(r) = -r**3 - 11*r**2 - 9*r + 8. Let j be a(-10). Let x be j/((-123)/24 + 5). Which is bigger: x or 15?
x
Let a = 231315/8 - 28867. Which is bigger: 46 or a?
a
Let h be -39*21/(-546)*686. Which is greater: h or 1041?
1041
Let z(v) = -3*v + 9. Let w(n) = -4 + 0*n - 2 + n - 13. Let l be w(1