alse
Let d = 1515 + -1514.8. Is 0.0483 at most d?
True
Let w be (-12)/48*(1 - -1) + (-1118160)/96. Is w at least as big as -11650?
True
Let y = -38363/4 - -9582. Let u = -2 - -4. Do u and y have the same value?
False
Let w be 17 + (-10 - 7642/1090). Which is smaller: w or 1?
w
Let l(o) = 2*o - 16. Let r be l(8). Suppose r = x + 3*w + 82, -4*x - 7*w - 342 = -2*w. Are x and -86 non-equal?
True
Let i(y) = 4*y**2 + 2*y - 2. Let s be i(-2). Let w = 13 - s. Suppose 0 = q + w - 11. Are q and 11 nonequal?
True
Let q be (-133)/(-28)*(2 - -2). Let d be ((-95)/(-10))/q*(-2)/4. Which is greater: -0.14 or d?
-0.14
Let j = -19 + -27. Let z(m) = -2*m**2 - 6*m + 9. Let o be z(-7). Let k be 2*(o/2 + 0). Which is bigger: k or j?
j
Suppose 4*f + 44 = -t + 5*t, f - 4 = 0. Let l = 15 - t. Suppose l = -4*c - 0*c - 48. Is c at least as big as -12?
True
Let t = 41.3 + -5.3. Let p = -8165.9 - -8130. Let m = p + t. Which is smaller: -0.04 or m?
-0.04
Let q(d) = d**3 + 2*d**2 - 12*d + 5. Let k be q(6). Suppose -656 + k = -5*y. Let v = -84 + y. Which is greater: v or 9?
9
Let k be (-2451)/408 - (-6)/(-51). Let q be ((-2120)/(-240))/(12/(-9)). Let p = k - q. Is 0.08 < p?
True
Let d be 2/(50/(-15)) - (-16)/10. Suppose 0 = -3*w - 5*h - 11, d = -w - 5*h - 6. Are w and -10/9 equal?
False
Let c = 257.53 + -257.3653. Which is greater: -10 or c?
c
Suppose 25*m - 17*m = 280. Let r be 3 - (4137/m)/3. Which is smaller: -37 or r?
-37
Let x = 47 + -33. Suppose x*w - 252 = 8*w. Let c = 35 - w. Is -6 bigger than c?
True
Let u = 387.6 - -70.4. Let m = -459 + u. Is m at least as big as -567?
True
Let u(x) = 379*x - 45. Let k be u(-2). Let l = -799 - k. Let h = 9 + -4. Does h = l?
False
Let n = 29731 - 29731. Which is smaller: n or 18/767?
n
Let r = 4.5 - -2.6. Let y = 8 - r. Let w = -17.1 - y. Is 0.1 less than or equal to w?
False
Suppose 4*t - 20 = 2*u, 5*u - 3*u + 17 = 5*t. Let a be (-122)/(-14) - u/56. Which is smaller: 7 or a?
7
Let w(u) = -u**3 + 34*u**2 - 42*u + 12. Let f be w(33). Let y be 418/f*5/42. Is y less than -1?
False
Let s = -266 - -271. Suppose u - s*x - 18 = 0, 11*x - 12*x = -4*u + 53. Is 4 smaller than u?
True
Let v be 151 + 7/((-49)/21). Let i be v/4*1 + (14 - 17). Is 101/3 greater than i?
False
Let l(g) = 2*g**2 + 5*g + 5. Let v be l(-3). Let b(d) = 4 - 2 + 2 - v*d. Let o be b(1). Which is smaller: o or -5?
-5
Let q = 102431/6 + -17072. Let o = 51 - 253/5. Is o smaller than q?
False
Let f(k) = 11060*k + 287558. Let q be f(-26). Let c = 13 - 179/14. Is c smaller than q?
False
Let r be (-18)/(-9) - ((-24)/(-60))/((-22)/(-130)). Let c = -6 - -9. Suppose -c*t = -5*t. Is t at least r?
True
Let s = -4839 - -4882. Are s and 56 equal?
False
Let g be (6*1)/(3/(-2)). Let j(u) = 4*u**3 - 21*u**2 + 2*u + 8. Let q be (44 - 45)/((-1)/5). Let s be j(q). Is g >= s?
True
Let h = 0.906 - 1.881. Let t = 14.975 + h. Suppose -3*s + 4*s = 1. Is t at least as big as s?
True
Let k = 26.47 - 0.47. Let g = k + -26.019. Let f = 0.191 - g. Are 0 and f non-equal?
True
Let z = 0.61 + -0.59. Let u = 191 - 194. Is z at least as big as u?
True
Let c be 0*((-1)/(-2) + 0). Let x be 3400/175 + 3/(-7). Suppose 5*j - 2*g = 15, j + 2*g = -2*g - x. Is c at least as big as j?
False
Let m be (-1806)/(-2408)*24/(-1255). Is 1 bigger than m?
True
Let n(k) = 17*k - 399. Let o be n(24). Let f(d) = -4 - d + 6*d + 0. Let c be f(3). Which is smaller: o or c?
o
Let r = 30 - 259. Let z = r - -183. Does 0 = z?
False
Let c be (232/5104)/((-2)/(-8)) + 2/(-1). Which is smaller: 0.011 or c?
c
Let h be 12 + -1*109618/9131. Is h bigger than 3.3?
False
Let r = -1567 + 4644. Is 3078 equal to r?
False
Let v = -9650 - -8968. Is 0.09 < v?
False
Suppose -t + 2*w - 220 = 0, -5*t - 3*w - 679 = 486. Let o = t - -234. Is -1 less than o?
True
Suppose 2*h = 7 + 1. Let a = 13297 + -13827. Let s be 1/((-10)/h) - a/(-50). Is s at least as big as -10?
False
Suppose -2295 = 3*t + 4*v, 3*v + 660 = -t - 115. Are t and -757 unequal?
False
Suppose 3*r + 26 - 14 = 0, 5*r + 135 = 5*z. Let x(k) = k**2 - 27*k - 83. Let d be x(z). Is -175 less than or equal to d?
True
Suppose -120 = -21*i + 15*i. Suppose -8*m + 359 = 183. Which is greater: i or m?
m
Suppose 25*h - 9118 - 157 = 0. Suppose 366*f - h*f = -10. Let w be 1 - (-1 + 0/1). Is w > f?
False
Let t be (-2)/8 - (-85)/4. Let v(y) = 3*y**2 + 9*y + 2. Let f be v(-3). Let o be (3 + (-155)/20)/(f/(-8)). Is t greater than o?
True
Let y(q) = 235*q**3 - 2*q - 1. Let w be y(2). Suppose -14*l - l - w = 0. Which is smaller: l or 0.1?
l
Let l(m) = -286*m - 2299. Let k be l(-6). Does k = -0.3?
False
Let y(p) = -p**3 - 8*p**2 + 3*p + 4. Let w be y(-8). Let a be (w/(-30))/(4/(-54)). Let g be ((-1)/(-3))/((-3)/a). Is 2/25 equal to g?
False
Suppose -21 = 3*c - 0*c. Let a be c/(105/(-10)) + (-3034)/6. Let d be 4/10 - (-1 + (-697)/a). Do 0 and d have different values?
True
Let w = 2209 - 2246. Is w at least -9?
False
Let d = 1120 + -1705. Let y be (-4)/(-26) + 180/d. Which is bigger: 0 or y?
0
Let x = -10.7 + 34.7. Let p = 328/119 + -42/17. Which is smaller: x or p?
p
Let j(z) = -112*z**2 - 3249*z - 27. Let a be j(-29). Which is bigger: 0.3237 or a?
a
Let j be (1 + -37)/(-4 - 45/(-18)). Let u be (-2)/(j/69) - -6. Is -125 < u?
True
Let z = -5.8 + 6. Let r = 76.7 - 8.7. Let b = -61 + r. Is z at most b?
True
Let o = -401 - -497. Let k be 6 + o*8/(-84). Which is smaller: k or -3?
k
Let q(u) = 128*u - 2017. Let k be q(15). Is k > -99?
True
Let b(i) = 2*i**3 + 55*i**2 + 28*i + 30. Let j be b(-27). Let v be (-4)/55*(7 - j)/(-8). Are -1 and v nonequal?
True
Let w be (-5 - (-132)/30)*-15. Suppose -25*k - 144 = -w*k. Are k and -13 equal?
False
Suppose -3*j = 6*y + 282, -13*y + 14*y - 5*j + 25 = 0. Which is smaller: -498/11 or y?
-498/11
Let n(a) = -2*a**3 + 2*a + a**3 + 57*a**2 - 63*a**2. Let c be n(-7). Let k(u) = -u**2 - u + 36. Let z be k(0). Which is bigger: c or z?
z
Let s = 9.4 + 11.6. Let n = s + -21.1. Which is bigger: -3 or n?
n
Let b = -8.84 + 8.64. Which is greater: -1325 or b?
b
Suppose 0 = -272*t + 289*t + 6256. Is -1108/3 less than t?
True
Let w = 161 + -160. Let c be (-3)/(-4)*(-16)/15*1. Is w greater than or equal to c?
True
Let m(n) = -n**3 - 4*n**2 - 1. Let b be m(-4). Let a be 0 + b + -35 - 0. Let x be 2/a*(-8)/6. Is 1 smaller than x?
False
Let c = -20425302 - -9599878487/470. Let t = c - -21/94. Let u = -28 - t. Is -1/38 > u?
False
Suppose -67*l - 99528 = -127*l - 83*l. Which is greater: 691 or l?
l
Let g = -20 - -29. Let s be (-2)/g - (-238)/18. Let c be (168/60)/((-2)/(-10)). Is s greater than or equal to c?
False
Let p be (-53483564)/(-9760) + 6/48. Let z = 5480 - p. Which is smaller: 1 or z?
z
Let o = 1/973 - -1787/154707. Let g be 6/(-21) - 2295/(-21). Let c = g - 108. Which is smaller: c or o?
o
Let p = -19 + 10. Let h be 162/(-540) - (-77)/(-10). Do p and h have the same value?
False
Let i(a) = a**2 - 21*a + 104. Let x be i(13). Suppose -235 = 4*y + 3*m, -y + 2*m + 0*m - 56 = x. Is y greater than -178/3?
True
Suppose -16*a + 210859 = 87*a - 182189. Is 3814 > a?
False
Let j = 2094 + 6123. Is -0.1 at least j?
False
Suppose -3*c = -4 - 35. Let a(m) = 1 - 6 + 29*m - 8*m - 2. Let v be a(1). Is v at least c?
True
Let z = -14771/19110 + 4/637. Are -1 and z nonequal?
True
Let l = 16201/8043 + 31/383. Which is greater: 1 or l?
l
Let j be -2 - 1/(-2)*0. Let n = -222 - -230. Let c be (j/n)/((-3)/12). Which is smaller: 9 or c?
c
Let y = 32 + -29. Suppose 2*l + y*l = 35. Let w = 14 - l. Which is smaller: 5 or w?
5
Let n be -8*(118/(-176) - 768/(-1408)). Is n greater than or equal to -0.3412?
True
Let i = 4 + -3. Let y be (-387)/11223 + 788/6032. Which is smaller: i or y?
y
Let j(k) = -k**3 - 51*k**2 + 46*k - 128. Let m be j(-52). Which is smaller: 0.9 or m?
0.9
Let q = -21320 + 21320. Let w = 1/5 + -1/10. Is w > q?
True
Suppose -30*d + 33282 = 4945 + 2237. Do d and 870 have the same value?
True
Let p = -2485 + 4207. Let b = p - 339236/197. Which is greater: 0 or b?
0
Let y = -0.07774 + 1.07774. Which is smaller: -40.6 or y?
-40.6
Let x(a) = 5229*a - 36665. Let w be x(7). Let r(s) be the second derivative of -2*s**3 - s**2/2 + 2*s. Let t be r(5). Which is smaller: t or w?
w
Let l be 1441/(-154) + (-10)/(-4) + -2. Let r(f) = 0*f - 9*f + 3*f + 15. Let g be r(4). Which is smaller: g or l?
g
Suppose 2*w - 12*w =