 0.1 + 1.5. Let r = u + -1.63. Let p be 38/(-665)*(-15)/2. Is r smaller than p?
True
Let y = -11 + 83. Let o = y - 38. Let z = o - 33. Is z at most as big as 2.4?
True
Let b = -6916 - -10678. Which is smaller: 3760 or b?
3760
Let g = -2444 - -449697/184. Suppose -715*f = 4*o - 710*f - 19, -3*o - 3*f = -12. Is g less than o?
True
Suppose -4*c + 3*g - 56 = 0, 5*g = -4*c - 256 + 232. Which is smaller: c or 8?
c
Let t(a) = a**3 + 10*a**2 + 20*a + 77. Let n be t(-8). Suppose 20*o - n*o + 50 = 0. Is 5/7 equal to o?
False
Let t be (-3)/(-3)*-2 + -11. Let z(c) = c**3 + 12*c**2 - 16*c - 39. Let m be z(t). Which is greater: 1/67 or m?
1/67
Let z = -7.33 - -12.4. Let s = z + -0.07. Let i = -10.2 + 10. Which is smaller: s or i?
i
Let p = -23 - -32. Let t = 11622 - 11618. Which is smaller: p or t?
t
Let b = 5.3 - -84.7. Let u = -43 + b. Let r = 47 - u. Which is smaller: r or 2/21?
r
Let b = 0.20348 - 0.30348. Which is smaller: 25732 or b?
b
Let k be 18 - 14 - ((-2706)/(-1113) + 2/7). Is k at least -0.3?
True
Suppose -7 = -4*t + 5. Suppose 2*z + 1 = t*z. Let s be (-120)/1170 + z/3. Which is smaller: 1 or s?
s
Let u = -178349507/33 - -59245630/11. Let b = -55054/3 - u. Let r = 213 - b. Is -2/9 bigger than r?
False
Let h(p) = -p**3 - 7*p**2 - p - 2. Let w be h(-7). Suppose -6 - 84 = w*x. Let q be 20/(-8) + (4 - 2). Is q >= x?
True
Let c be (94 + 4)/(-7)*2/4. Let z(w) = -2*w - 1. Let d(r) = 8*r - 11. Let y(m) = -d(m) - 5*z(m). Let b be y(c). Which is greater: 3 or b?
3
Suppose 22 = 5*r + w - 0, 4*r - 4*w = 32. Suppose -r*z - 56 = -5*b + 539, 5*z - 555 = -5*b. Let m be -3 + 1 + b/60. Is m > 0?
False
Let x be (18/(-21)*1)/(((-540)/(-5768))/(-45)). Is 413 at least as big as x?
True
Let w be (-1904)/80 - ((-15)/(-25))/3. Which is smaller: w or -32?
-32
Suppose -5*h + t = -3, -4*t + 5 = h - 4. Is 2/301 less than h?
True
Suppose 0 = -2*x - 2832 - 2360. Let y be x/990 + 2/9. Suppose u - 7 = -5*v, 2*u + 2*v = v - 4. Is u >= y?
False
Let s(f) = -f**3 + 14*f + 9. Let u be s(-5). Let a be (u + -57)*70/2. Which is smaller: a or 244?
244
Suppose 0 = 20*p - 23*p + 1155. Let b = -387 + p. Let o(v) = v - 8. Let j be o(6). Is j <= b?
True
Let b = -321479/49 + 32804/5. Suppose -4*p - k - 2 = 0, 1 - 11 = -5*k. Which is smaller: p or b?
p
Let v be (307428/(-33154))/(6/9 - 4/(-3)). Let c be 4/10 - (-108)/(-20). Are c and v nonequal?
True
Let g(t) = -60*t**3 - 2*t**2 - 89*t + 339. Let c be g(4). Which is smaller: 1 or c?
c
Let l be (-1)/2 - 180906/(-362340). Is l smaller than -1?
False
Let f(w) = 14*w + 324. Let y be f(-18). Let s be (2 - -1)/((y/1172)/6). Are s and 294 unequal?
True
Let p = -38651 + 38651. Which is smaller: p or 1/25266?
p
Let o = 361362.0157 - 361129. Let d = o + -0.0157. Is d < -2/9?
False
Let l be 4 - 11/((-44)/8). Suppose -s - 3*z + 220 = 0, 220 = -l*s + 7*s + z. Is s at most as big as 219?
False
Suppose 5*p = -4*h - 6, 3 = -3*p + 5*h - 8. Let x = 78 - 77. Which is smaller: p or x?
p
Let z = 24 + -20. Suppose 0 = 2*y - 2*l, 4 = 3*y + 5*l - z*l. Let i = -2165/21 - -103. Are y and i nonequal?
True
Let d be (23 - 1222/52)*((-8754)/(-135) - (-12)/(-30)). Let w = -113 - -81. Is w bigger than d?
True
Let x = 59 - 50. Let b be 10/5*x/(-6). Let a be (-27)/(-63)*21/(-4). Is b less than or equal to a?
True
Let i = -129 - -131. Let b be (-108)/(-30)*5/i. Let m(c) = c**3 - 9*c**2 + c - 10. Let w be m(b). Does 2/27 = w?
False
Let m be (-21060324)/(-2142) + (2 + 1 - 2). Let q = 9833 - m. Do q and -1 have the same value?
False
Let z(m) = -2*m**2 - 3*m + 11. Let j(a) = 21*a - 121. Let c be j(6). Let f be z(c). Which is greater: f or -271/5?
f
Let h = 338 + -590. Let k = 259 + h. Let n be 9/4*8/3. Is k at least as big as n?
True
Suppose 0 = -3*r - 4*k + 14, -k - 10 = -5*r - 5*k. Which is smaller: r or -47/7?
-47/7
Let y be 6/(-10) - (-445)/950. Let t(l) = 2*l**2 + 3*l - 9. Let f be t(-3). Is y equal to f?
False
Suppose -200*i + 204*i = 2400. Let n = i + -555. Is n equal to -4?
False
Let c = 86 - 125. Let s = c - -22. Let u = 25 + s. Is 2/5 >= u?
False
Let w be 3/12 - 42/(-4)*(-20)/(-280). Which is smaller: w or 5/2643?
5/2643
Suppose 30*f - 6887 = -227. Let s = f + -188. Which is smaller: -1/9 or s?
-1/9
Suppose 3*x - 6*x - 3 = 0. Let g be (-14)/(3/(6/4)). Let j be 4 + g - 34/(-18). Which is bigger: x or j?
x
Let z be (5 + -5)*(-4 - (5 + (-19)/2)). Let j be 4/((-74)/(-10) - 3). Which is bigger: j or z?
j
Suppose 3*i = 5*n - 14, 0 = i + 3*n - 18 + 4. Suppose -13*x = -9*x - 4*a - 356, 177 = i*x - a. Let m be -4*((-302)/x + 2/11). Which is smaller: 11 or m?
11
Let r = 393 + -398. Let b be (-2)/5 + -4*28/(-80). Which is greater: b or r?
b
Let t = 2.7 - 71.7. Let i = -245 + t. Is 2/3 smaller than i?
False
Let d(j) = j**3 + 48*j**2 + 29*j - 898. Let a be d(-47). Are a and -782/15 nonequal?
True
Let z = -16406 - -16450. Which is bigger: 42 or z?
z
Suppose -63 = -96*c + 17 - 464. Are -315/82 and c equal?
False
Let a(s) = -15*s**2 - 29*s + 43. Let k be a(5). Which is smaller: k or -475?
k
Suppose -26 = -k - k - 4*n, 2*k - 4*n + 14 = 0. Suppose -3*s + s + 1 = -h, -5 = -k*s + 5*h. Suppose -4*z + q - 8 = s, 3*z + 8 + 3 = 2*q. Is 1/16 bigger than z?
True
Let h = -56 - -103. Suppose -53 + h = 6*p. Which is greater: p or 0?
0
Let w(u) be the second derivative of u**4/12 + u**3/6 + u**2/2 + u + 42. Let g be w(0). Is -11/27 greater than g?
False
Let y(u) = -7*u**2 - 185*u + 2187. Let x be y(14). Which is bigger: x or -2/11?
-2/11
Let m = 13335 - 13331.3. Is m <= 191?
True
Let b(u) = 2*u**3 + 17*u**2 + 16*u. Let k be b(-1). Are k and 2/17163 non-equal?
True
Suppose 0 = 22*z - 48519 - 65089. Which is smaller: z or 5162?
5162
Let v(s) = -9 + 16 - 8*s + 0*s**2 + 2*s**2. Let l be v(6). Let k = l - 26. Which is greater: k or 6?
6
Let v = 683.1 + -726. Let t = 36 + v. Let i = -7 - t. Which is greater: i or -34?
i
Suppose -486 = -13*x + 4*x. Let l be (x/10)/((-60)/(-200)). Which is smaller: 10 or l?
10
Suppose -2*f - 45 = 5*j - 4, -2*f = 3*j + 39. Let a be f/138*10 + 0. Is 0 greater than or equal to a?
True
Suppose -v + 31 + 16 = 5*m, 23 = v - 3*m. Let w be (-2)/(-8) + (8888/v - 0). Is 278 at most as big as w?
True
Let u be (-3 + 2)*1 - -15. Let p(f) = 17*f**2 + 15*f - 17. Let q(t) = 6*t**2 - 1. Let r(b) = -p(b) + 3*q(b). Let h be r(u). Is h less than -2/315?
False
Let l = 455.88 - 455.93. Which is greater: 1031 or l?
1031
Let f be (-192)/(-60)*(-1 - (-2)/3). Let c be (-156)/(-52)*((-8)/(-3) + -3). Which is greater: c or f?
c
Suppose 45*w - 40 = -85. Does w = -1/504?
False
Suppose o = 5*l + 235 - 104, -5*o = -3*l - 105. Is l equal to -5/11?
False
Let b(g) = -g**2 + 4*g + 1. Let k be b(4). Let l = -5349241/74 - -72287. Which is greater: k or l?
k
Let a = 38 - 139. Let m = a + 101.93. Let n = 1 - m. Are n and -3 equal?
False
Let m = -32.35 + -2.15. Let n = -29.2 - m. Is n at most 2?
False
Suppose -61 = 74*w + 1197. Which is smaller: -37 or w?
-37
Let x be 1/((-1020)/669 - (-99)/66). Which is smaller: x or -2/7?
x
Let s = 291 + -163. Let z be (1/3 - s/24)*-1. Suppose 210 = -2*d - z*d. Is d < -31?
False
Suppose -o + 56 = i, -3*i - o + 166 = o. Suppose -i = 5*z - 54. Which is greater: -1/11 or z?
z
Let o be 24/(-60)*(-15)/(-12)*3. Is 2/619 <= o?
False
Suppose 4*b = 5*b + 2*h + 19, 2*b + 33 = -3*h. Let k(m) = m**2 + 5*m - 37. Let r be k(b). Is 2/521 at least as big as r?
True
Let v = -13106.88 + 13107. Suppose -r + 3 = -62. Let t = r + -457/7. Which is smaller: t or v?
t
Let o(h) be the first derivative of -h**4/2 + 2*h**3/3 + 9*h**2/2 - 6*h + 55. Let n be o(3). Which is bigger: -31/2 or n?
n
Let r be 74/2 - (-78 - -117). Suppose 0*b + 6 = -2*b. Which is greater: r or b?
r
Let p = -440 - -70. Let x = p - -368. Which is smaller: x or 0.4?
x
Let x be -34*(7/(-2) - -3). Let c(u) = -u**3 + 18*u**2 - 19*u + 39. Let q be c(x). Let o be -1*2 + 22/4. Which is bigger: o or q?
q
Suppose -2*i = -n - 5*i + 409, 1235 = 3*n + 5*i. Let y = 402 - n. Which is smaller: y or -87/7?
y
Let h = -1465.3 + 1467.3. Which is greater: 759/16 or h?
759/16
Let r = -10 - -10.09. Let b be (-5*(-8)/(-200))/((-79)/(-10) - 8). Which is smaller: b or r?
r
Suppose o - 9 = -2*x, -2*o + 21 = 3*x + 2*o. Suppose 5*s + 3*v = 4, -2 = -2*v + x*v. Suppose 4*c = -2*d - 2*d - 16, s*d = -10. Is 12 at least c?
True
Let z = 162803 + -1299949/8. Is z 