Let u be 1/l - 16/(-40). Which is smaller: 0 or u?
0
Let b = -1.5 + 1.3. Let o = -7.8 + -139.2. Which is smaller: b or o?
o
Suppose 4*u - 3*u = 1. Let n be (-697)/((-944)/(-540) + (-21)/35). Let a = -607 - n. Is u != a?
True
Suppose 1756*w = s + 1758*w + 122, -3*s + 5*w - 322 = 0. Let i = 0 + -1. Is i less than s?
False
Let w be (-22176)/(-7266) + ((-2)/((-6)/(-9)) - 0). Which is bigger: w or -1?
w
Suppose 0*h + 507 = 3*h. Let g(l) = -l**3 + 14*l**2 - 16*l + 74. Let d be g(12). Do h and d have the same value?
False
Let t = 14.616 + -0.016. Let h = 5.3 - t. Which is smaller: h or -2/5?
h
Let n be 240/(-20)*(5/4 + 0). Let b = 41 + n. Let h = b + -9. Is 19 != h?
True
Let j = 2780 - 4950. Do j and 0.1 have different values?
True
Let j = -74101/4 + 18525. Which is smaller: j or 695?
j
Let h = -112/57344307 + 135532065415573/26378381220. Let y = h + -5138. Is y greater than -1?
True
Suppose 3*i + 12 = 2*r + 3, 0 = -i - r - 8. Let v be (-1824)/880 + (-4)/i. Which is greater: -2 or v?
v
Let k = 16.028 + -16. Let f be ((-3 + 5)/(-4))/((-5)/(60/18)). Is k > f?
False
Let b = 722.353 - 6.353. Which is smaller: b or 1/4?
1/4
Let p(a) = a**3 + 4*a**2 + 2*a - 4. Let q be p(-6). Let u = -93 - q. Let w be (-3)/(-12)*-2 + u/10. Which is smaller: -4 or w?
-4
Let a(x) = -6*x**2 - 31*x - 9. Let g be a(-6). Let s = 428/11 + g. Is s smaller than -1?
False
Let b = -411379948/6537 + 62931. Is b < 1?
True
Let s = -0.1 + 0.14. Let y = 133 + -63. Let q be 6/y - 38/133. Does s = q?
False
Let h be (-1504)/(-20680)*(-750)/68. Is h != 0?
True
Suppose 4*n - 20 = -5*f, -5*n - 6*f + 25 = -5*f. Let o be 2 - (n + -7 + 5). Suppose 4*g - 6 = -0*g - y, 0 = -2*g + 5*y - 8. Do g and o have different values?
True
Let w be (3 + -2 - 4) + (-6)/(-2). Let b = -92 - -94. Let s be ((-102)/(-13))/(-2) + b + 2. Is w > s?
False
Let m be 4/6 - (-52850)/60. Let f(l) = 19*l**2 - 22. Let a be f(7). Let q = a - m. Which is greater: q or 29?
29
Let p be 1*((-2)/(-48))/(5/(-15)). Let n = -47/8 + 455/72. Which is smaller: n or p?
p
Let f = -13.872 + 16.872. Which is smaller: f or -15/166?
-15/166
Let k be -1 - (-24)/21 - (-3300)/28. Suppose -54*w + k = -52*w. Is -3 <= w?
True
Suppose 0 = -3*q + 46 - 55. Let j be (-2484)/(-45) + q/((-45)/12). Is j less than 164/3?
False
Let u = 12759 + -12754.4. Which is greater: u or -1?
u
Let b = 247.9 + 22.1. Let g = b + -270.007. Which is bigger: 1 or g?
1
Let p be ((-2622)/4*-2)/(1 + -2). Let l = 65547/50 + p. Suppose 7*y + 0*y = 0. Which is smaller: l or y?
l
Let o = 18908/17 - 361708/357. Let r = -99 + o. Let j(x) = -x**3 + 18*x**2 - 27*x + 171. Let n be j(17). Which is bigger: n or r?
n
Let x be (1197/27 - (-30)/18)*(-35)/(-2). Which is smaller: 799 or x?
799
Let d = -5/2046 - -3023/120714. Suppose 0*k - 2*k + 4 = -2*q, 3*q = -k - 6. Is d <= k?
False
Let m(b) = -b - 20. Let w be m(-23). Suppose -4*r = 4*p, -5*r + w*p + 12 = 2*p. Let n be (r + 68/(-36))/(2/3). Does -1 = n?
False
Let h be 9/6*(-28)/(-21) - 2. Let i = 207101/128 - 1618. Which is greater: h or i?
h
Let h(g) = -19*g + 81. Let j be h(4). Let z(k) = 18*k + 2. Let d be z(-13). Let u = 1415/6 + d. Is u <= j?
True
Suppose -193*a = 72800 + 286759. Which is smaller: a or -1862?
a
Let n(c) = 5*c**2 + 35*c - 23. Let q(x) = -2*x**2 - 17*x + 11. Let z(w) = 4*n(w) + 9*q(w). Let g be z(9). Is 53 at least g?
True
Let a(f) = -f**2 + 14*f - 10. Let l be a(13). Suppose -66 = -l*y - 315. Which is smaller: -84 or y?
-84
Let m = 48.57 + -97.87. Which is bigger: m or 0.6?
0.6
Suppose 3*y + 8 = -2*j, -j = 84*y - 81*y + 13. Is y < 27?
True
Suppose -5*k = 2*x - 16, -5*k - 201 = -5*x - 21. Which is smaller: x or 7?
7
Let i(k) = 21 + 10 - k - 2 + 1. Let m(a) = -4*a + 119. Let z(u) = -9*i(u) + 2*m(u). Let c be z(17). Is -14 != c?
True
Let p = 4.93 - 5.63. Let j = 17.5 + -0.5. Let x = j - 17. Which is smaller: x or p?
p
Let d be (-88 - -682)*(-2)/4. Let a = 295 + d. Which is bigger: -19/33 or a?
-19/33
Suppose 20*x + 2388 = 32*x. Let o = -549 + x. Do -349 and o have the same value?
False
Let s = -3.3 + 3.35. Let w = -330 - -331.6. Is w at least as big as s?
True
Let a be -9 - (-5826)/(-528) - (-7)/(-77). Is -20 at most as big as a?
False
Suppose 5*a = -2*m + 337, 0 = -3*m + 8 - 20. Let y be ((-150)/(-4))/((-1)/(-2)) + -4. Is y equal to a?
False
Let i(w) = 2*w**2 - 70*w + 427. Let t be i(8). Which is bigger: 303 or t?
303
Let p(k) = -k**3 - 2*k**2 + 7. Let z be p(0). Let a(h) = h + 12. Let l be a(-9). Which is smaller: l or z?
l
Suppose 33*c = 26*c - 6888. Let k be 133/(-42) - -3 - 260/c. Suppose -3*o + o = 0. Is k != o?
True
Let r = -30 - -8. Let g be 172/(-22) + 4/r. Is -8 >= g?
True
Suppose 2*m + 3*z + 28 = 0, -4*m = z - 4*z + 20. Is -220 >= m?
False
Let q(p) be the third derivative of p**5/60 + 25*p**4/12 + 19*p**3 - 8*p**2 - 3. Let b be q(-48). Which is smaller: 22 or b?
b
Let h = 12.3 + -16. Let a = h + 3.658. Let f = a + 0.392. Which is smaller: f or 0?
0
Suppose 142*m - 8582 = 128*m. Let c = 1221/2 - m. Which is greater: -0.2 or c?
-0.2
Let s = 33.5 - 284.5. Let x = -210 - s. Which is smaller: -2/7 or x?
-2/7
Let g = -31914 - -31915. Let b be (-356)/1730 + 3/15. Which is greater: g or b?
g
Let f(a) = -11*a**3 + 7*a**2 + 5*a - 14. Let l(d) = -9*d**3 + 7*d**2 + 4*d - 13. Let i(n) = 5*f(n) - 6*l(n). Let g be i(-6). Is -33 != g?
True
Suppose -661*w - 79680 = -246*w. Which is bigger: -150 or w?
-150
Suppose 3*p - 4*i = -3*i + 205, -4 = i. Suppose -393*j + 367*j + 1560 = 0. Which is smaller: j or p?
j
Let o = 29 + -25. Suppose -12 = 4*z - o*c + 24, -5*z + 3*c - 39 = 0. Let r be (21/z + 2)*(-8)/6. Is r smaller than 14/9?
False
Suppose 5*p + 65 = 2*d, -3*p + 7*p - 5*d = -35. Let z(k) = 2*k + 16. Let c be z(p). Let v be (-4)/c - (3 - 1299/525). Does -1 = v?
False
Let m be (-12736)/(-6370) + -13 + 7 + 4. Which is greater: m or 0?
0
Let i be (-1344)/1008*12/376. Let g(h) = 2*h - 4. Let m be g(3). Suppose -7*o + 5 = -m*o. Is i bigger than o?
False
Let u be ((2 + -1)*4)/((-92)/(-6)). Let c = 4/161 + u. Let h = -210 + 213. Which is smaller: c or h?
c
Suppose 835*u - 1698*u = -809*u - 12744. Suppose -727 = -3*a - 4*q, 3*a - 4*a + 241 = q. Is u <= a?
True
Let c = 32.5 + -5.2. Let x = c + -29.3. Which is greater: x or 7?
7
Let x = -0.4 - 0.6. Let y = x - -2. Suppose -4*h = -2*a - 0 - 52, 4*a + 26 = -5*h. Which is smaller: a or y?
a
Suppose 2*v = 8*q - 12*q + 816, 0 = q + 3*v - 214. Is 189 at least q?
False
Let k = 2.43 - 0.23. Let s = 0.0781 + -1.2781. Let b = k + s. Which is smaller: b or 0.3?
0.3
Suppose 2*v + 559 = -131. Let l = 238 + v. Does -107 = l?
True
Let n = 2732 + -2731. Let x = -24157 + 121302/5. Let c = x - 103. Is n >= c?
True
Let q = 95 + -96. Let a = -475 + 473.6. Which is smaller: a or q?
a
Let k be (-733*(-1)/154)/(-594). Let t = k + 9/484. Suppose 0*w = -3*w. Is w equal to t?
False
Suppose -4*r + 3*l = -1008, 5*l + 76 = 96. Which is bigger: 242 or r?
r
Suppose 0*j + 10 = 2*j. Suppose 26 = j*b - 109. Suppose 5*k - b = -2, 5*a = 5*k - 30. Which is smaller: 3/13 or a?
a
Suppose 0 = -0*p - 4*p. Suppose -s - s - 20 = p. Suppose 3*b + 25 = -2*k, -2*k + 5*k + 44 = -5*b. Which is smaller: b or s?
b
Suppose 58*m - 53*m = -105. Let g be 507/(-21) - ((-24)/m)/(-8). Is -24 >= g?
True
Let v = 106 - -122. Let i = v + -288. Which is smaller: i or 0?
i
Let g(a) = a**3 + 6*a**2 - a + 44. Let r be g(-6). Let y be 3 + -6 - 1 - (-215)/r. Let t be ((-2)/3)/((-4)/(-6)). Are y and t non-equal?
True
Let x = 403 - 279. Let y = x + -125. Which is bigger: y or 2/9?
2/9
Let r(k) = 16 - 5*k - 3*k**2 + 9*k**2 - 7*k**2. Let c be r(-13). Is -87 not equal to c?
True
Let c = 7384 + -3539. Is 3848 at least c?
True
Let h be (-3 + 2)/(12/(-220)). Let c(y) = 8*y + 105. Let v be c(-11). Which is greater: v or h?
h
Let f be (-5)/((-10)/(-3)) - 2820/(-90). Let i = f - 1607/54. Which is smaller: 1 or i?
i
Let j(i) = -40*i**3 + 25*i**2 + 25*i - 12. Let u(o) = -14*o**3 + 8*o**2 + 8*o - 4. Let q(a) = 6*j(a) - 17*u(a). Let c be q(8). Which is smaller: -81/4 or c?
-81/4
Let i = -2/1411 - 2712/77605. Let k(c) = 2*c**2 + 25*c - 11. Let z(b) = b**2 + 13*b - 5. Let d(u) = -4*k(u) + 9*z(u). Let y be d(-17). Are i and y nonequal?
True
Suppose -m - 8 = 0, 99*w - 52170 = 97*w - 3*m. Which is bigger: w or 26098?
26098
Suppose -465*w - 37549 - 21259 - 35122 = 0. Which i