alse
Let x = -0.1 + 0.2. Let l = -1633 + 13047/8. Let z = l + 433/200. Which is smaller: x or z?
z
Let p = -3972 - -3973. Which is bigger: -12/1895 or p?
p
Let a(x) = 3*x**2 - 7*x + 14. Let p be a(-6). Suppose p*i - 156*i = 8. Is i bigger than 2/7?
True
Suppose 295*h = 69*h + 6554. Which is smaller: h or -3?
-3
Suppose 3 = 4*g - 1. Let o = 220378/99 - 2226. Is o at least as big as g?
False
Suppose 5*p - 6*o - 825 = -o, -171 = -p - 2*o. Suppose -p*f + 3367 = -160*f. Is 481 > f?
False
Let x = -15367 - -261244/17. Which is bigger: x or -31?
x
Let k = -13294/5 - -95358/35. Let h = k + -66. Let g = -1.223 + 1.763. Is h greater than g?
False
Let m = 3/57179 + 4231033/4059709. Is 0 at most as big as m?
True
Suppose 0 = -4*u + 16 - 0. Suppose l = -2*w + 56, u*l + 18 = w + 2*l. Suppose 0 = -3*m - 32 + w. Which is greater: 0 or m?
0
Let c(o) = -o**3 - o**2. Let k(d) = -4*d**3 + 8*d**2 - 30*d - 17. Let f(b) = 5*c(b) - k(b). Let h = 27 + -42. Let r be f(h). Is 17 greater than r?
False
Let g(a) be the first derivative of -a**6/360 - a**4/2 + 8*a**3/3 + 17. Let o(b) be the third derivative of g(b). Let d be o(4). Is d at most -29?
False
Let s(q) be the third derivative of 5*q**4/6 - 47*q**3/2 - q**2 - 17*q. Let i be s(8). Suppose -4*n = n - 100. Does n = i?
False
Let y be ((-60)/(-70))/((-39)/(-21) - 2). Let g be y/45 + 114/630. Is 0 < g?
True
Let f be -10 + (564/84 - -4). Do f and 4 have the same value?
False
Let z be 265/(-106)*(-84)/705. Which is greater: 2.5 or z?
2.5
Suppose 13*l - 48 = 12*l. Let h = -49 + l. Let z be 315/(-12)*(-34)/(-425). Which is smaller: h or z?
z
Let n = -637454/9 + 71534. Which is greater: n or 705?
n
Let t = 0.46 - -51.54. Let l = t - 51.8. Which is smaller: l or -2.06?
-2.06
Let s = -538 + 541. Suppose -2*u - s + 5 = 0, -r - 3*u = -61. Do r and 57 have different values?
True
Let b = 0.0782 + -2.4342. Let r = -0.356 - b. Is r < 1?
False
Let q = 14 - 31. Let h = 6 - 18. Let d = h - 5. Is d greater than or equal to q?
True
Let s = 43645 + -43645. Let r be ((-6)/10)/(484/(-20)). Which is bigger: s or r?
r
Let f = -270 + 1621/6. Let c = -127.12 - -127. Which is bigger: f or c?
f
Let r = -1704 + 4437. Which is greater: 0.1 or r?
r
Let k be (-1 - 4)/(-10 + 1). Suppose 15*m - 630 = 5*m. Let l be 2 - 4/(-2) - m/18. Are k and l unequal?
True
Let y = 27/17 + 1135/238. Let s = 41/7 - y. Is -0.55 > s?
False
Let l = -19.8 + 37.1. Let o = l - 17.223. Let n = -0.023 - o. Which is smaller: -3.9 or n?
-3.9
Let k = -140.90677 - 0.09323. Is k less than 58?
True
Let f(i) = 359*i + 3835. Let d be f(-16). Which is smaller: d or -1910?
-1910
Suppose 4*v - 2*d - 44 = 0, -2*d = -5*v - 3*d + 62. Suppose 0 = u - 2*y + 10, 4*y = u + 32 - 16. Let b be v/(-3) + u + 3. Which is smaller: b or -9?
-9
Let f be 3357 + ((-80)/(2 + 6) - -7). Is 3354 bigger than f?
False
Suppose 4*s - 95*j + 278 = -90*j, 4*s + 3*j = -262. Which is greater: -90 or s?
s
Let y = 2074/385 + -312/55. Which is bigger: 7974 or y?
7974
Suppose -5*m = 3*k, -2*k = k - 5*m. Suppose 2*w + 14 = 5*x, -16 = 3*w - k*w - 5*x. Let a = -6 + w. Which is greater: a or -9?
a
Let v = 1941 + -2181. Which is smaller: -1 or v?
v
Let z be 6*(40/(-33))/4. Let y be (4137/(-14))/((-1)/2). Let m = y - 1772/3. Are m and z unequal?
True
Let a = -0.2 + 0.3. Let p = 112.2 - 37.4. Let u = -58.8 + p. Which is smaller: u or a?
a
Let p = -547.9 + 373.8. Let w = p - -174. Which is bigger: -17.1 or w?
w
Let y = 7.44 + -3.69. Let j = 5.75 - y. Is 31 < j?
False
Let h be 9 - (195/13 + 605). Which is smaller: h or -609?
h
Let x = -11179 + 11179.3. Do x and -29 have the same value?
False
Let u be ((-70)/(-5670)*0)/((-1 + 0)*3). Let g be (-2541)/(-60) - (-4)/10. Let n = g + -3259/76. Is u smaller than n?
False
Let r = 27.1 + -14.1. Let y = r - 12.9. Which is greater: -5 or y?
y
Let q = -14 + 5. Let a be (1 + 20/(-12))/((-606)/q). Does -1 = a?
False
Let q be 1/(-3) + (-533803)/(-7689). Are -1 and q unequal?
True
Let r = -9954 - -9956. Are -1816 and r non-equal?
True
Suppose i + 0*i - 4*m + 18 = 0, 3*i + 5*m = 14. Let x be (-159)/(-2)*4/18*-3. Let g = 45 + x. Which is bigger: i or g?
i
Let c(b) = -17*b**2 + 3*b + 2. Let u be c(-1). Let s be 17/2924*16/u. Let h = 760/2709 - s. Which is greater: -0.056 or h?
h
Suppose -9*t - 118 + 37 = 0. Let z be ((-138)/21)/(t*7/147). Let w be (-1 - 34/(-2)) + 0. Are w and z equal?
False
Let x = 981 + -1488. Let g = x + 507. Is -2/1773 not equal to g?
True
Let i(h) = h**2 + 2*h - 7. Let k be i(-7). Let t = 1007 + -968. Suppose 0 = -w + t - k. Are w and 11 equal?
True
Let w = -532523 + 2152613/4. Let o = 5541 - w. Let p = o - -89. Is -0.1 at most p?
False
Let j be 2 + -3 + 1*4. Suppose -19*r = 2*r - 42. Suppose 3*k - y - 9 = -r*y, -3*k - 5*y = -21. Which is smaller: k or j?
k
Suppose 9*g = 14*g - 5. Let w be (-7 + g)*(-3)/(-6). Let i be -2*w/(-9) + (-32)/6. Is i < -34/7?
True
Let t(q) = -q**2 - 8*q - 31. Let u be t(-5). Let i(x) = -5*x - 12. Let f be i(u). Is f <= 70?
True
Let g = 0.104 + 41.896. Suppose -3*s + 5*c + 1238 = -56, -1672 = -4*s - 4*c. Let r = 847/2 - s. Which is bigger: r or g?
g
Let w = -573 + 570. Let o be -2 + -1*(-2)/(2/w). Is -18 > o?
False
Suppose 2*y - 4*n = 279 + 105, -587 = -3*y - 5*n. Let h = -188 + y. Which is smaller: h or 2?
2
Suppose 13 = 4*o - 3. Suppose -5*w - g - 3*g = 93, -o*w - 64 = -2*g. Let i = w + 14. Is 0 greater than i?
True
Let y(t) be the third derivative of t**4/24 - 7*t**3/6 + 2*t**2. Let v be y(5). Let z(b) = -7*b**2 - 444*b - 624. Let g be z(-62). Which is smaller: v or g?
g
Let r be (9 - 963/69)*(-6)/9. Which is smaller: 1/5 or r?
1/5
Let f = 0.002 - 499.702. Let y = f - -477. Which is bigger: y or -1?
-1
Let q = -2263 + 2007. Is -252 != q?
True
Let y be (-4)/((30/(-1310))/(1/6)). Which is bigger: 29 or y?
y
Suppose -87*t - 20 = -86*t. Suppose -14*h = -4*h. Is h smaller than t?
False
Suppose -a - 860 = 42*a. Let q be (-4845)/(-18900) - (-5)/a. Suppose 5 = 2*u - 7*u. Is u less than q?
True
Suppose -3*q + 14 = -2*z, 0 = -2*q + 4*q. Let p be (-88)/(-28) + 1/z. Let x be ((-2)/4)/((-2 + p)*-1). Is x bigger than 0.07?
True
Let w = -1988/29 + 368483/5220. Let y = w + -23/20. Let d = 68 - 68. Which is smaller: d or y?
d
Let m be 1/(-10)*(-21)/(-6). Suppose 388 = -2*d - 7*l + 327, 4*l = -3*d - 33. Is m at least d?
False
Suppose 9*m - 133 + 1888 = 0. Let o = m + 152. Is -43 bigger than o?
False
Let a(q) be the third derivative of q**4/8 - 139*q**3/2 + q**2. Let c be a(0). Let m = -2509/6 - c. Which is smaller: m or -2?
-2
Let q be (((-100)/(-6))/5)/(20/(-30)). Let p be (-5)/q*-10*2/235. Which is greater: p or 0?
0
Let d be -2 + -2 + 864/15. Suppose -5*h = 3*r - 140, -3*h - 7 = -r + 63. Which is bigger: d or r?
r
Let p = -259571359/5280795 - 2/406215. Let i = p + 49. Let r be 2/12 - (63/54 + -2). Are i and r equal?
False
Let k(z) = -84*z**2 + 63*z - 21. Let q be k(-7). Is q >= -4580?
True
Let x = 0.32 - 0.02. Let h = -140 + 139.939. Let p = 6.939 - h. Is p smaller than x?
False
Let x be (1 - 251)/((-75)/210). Are x and 696 equal?
False
Suppose 0 = 4*d + 3*f - 3 - 2, -5*d - 2*f + 15 = 0. Suppose 0 = -4*c + 3*v + 24, 3*c - 18 = d*v - 6*v. Suppose -2*m - 35 = -7*m. Is c < m?
True
Let s = 174.803 + -175. Let l = -53.197 - s. Is l at least -1?
False
Suppose 22*i - 2786 = 36*i. Let d = i + 375/2. Are -13 and d non-equal?
True
Let v = 7 + -7. Let u(l) = l**2 - l - 29. Let m be u(5). Let k be -89*(-7)/420 + 12/m. Which is smaller: v or k?
v
Let c = 1172400/19 - 61725. Is c greater than -19?
False
Let c = 4 + -3. Let i be ((-2)/(c*8))/1. Let k = -9128 + 18283/2. Which is greater: k or i?
k
Suppose x + 120*w + 25 = 125*w, -3*x + 20 = 4*w. Is 5/606 less than x?
False
Suppose -760 = -6*w - 1476 - 2488. Which is smaller: -532 or w?
w
Let x(t) = -5*t - 37. Let z = 17 + 83. Let a = z + -100. Let m be x(a). Is m < -37?
False
Suppose -3*c - 163 = -4*r, r - 127 = 3*c + 6*r. Let n = c + 542/11. Do 2 and n have the same value?
False
Let h = -866/3 - -8471/30. Let f = 6 + h. Let i = 21 + -22. Which is smaller: f or i?
i
Let z = 952 - 960. Suppose j - 5*j + 12 = 0. Let a be z/(-18)*(-3)/(141 + j). Is 0 less than or equal to a?
False
Suppose 6*s + 3 = -3*z + 3*s, -5*z + 2*s + 16 = 0. Let l be (-1)/(-2)*2*2. Let f be (l - (0 - -1))*3. Which is smaller: z or f?
z
Suppose 0 = 3*f + k 