 Let j = 57 + -143. Let m = j + q. Which is bigger: -0.09 or m?
-0.09
Let v(w) = w**2 + 11*w + 12. Let f be v(-10). Suppose 3*b - 5 = f*b. Suppose -3*s - 3 = -5*l, 5*s = -l - 0*l - b. Which is smaller: l or 8/9?
l
Let c = -0.168 + 4.568. Let m = c - 4.3. Which is bigger: -82 or m?
m
Let c be ((-8)/(-4) + -3)/((-12)/4608*6). Is 0.039 at most as big as c?
True
Let x be (6/15)/(2/10). Let q = -7 + 15. Suppose q*c + 17 - 33 = 0. Are x and c nonequal?
False
Let l = -49 - -63.9. Let q = -14.8 + l. Which is bigger: q or 3.7?
3.7
Let z(k) = -k**2 - 19*k - 36. Let d be z(-17). Let h be (-10 - -12) + 4/d. Is h >= 0?
True
Let d = -1284 + 1283.9. Let b = -0.61 - 29.39. Let z = -30.13 - b. Is d equal to z?
False
Let a(c) = -68*c + 54. Let k be a(8). Let f = 487 + k. Is -24/11 smaller than f?
False
Let u = -11388 + 10918. Do u and -481 have different values?
True
Suppose c + 128 = -3*u + 452, -2*c = 2*u - 636. Which is greater: 317 or c?
317
Suppose -3*n - 69 = 4*j, -2*j + 3406*n - 36 = 3408*n. Let h = -37 + 22. Are h and j equal?
True
Let t be (29 - 31) + (-193)/(-1). Are t and 962/5 nonequal?
True
Suppose 35 = 3*f - n, -4*n - 55 = -5*f - 3*n. Let g be f/(-8) + (-6 - 126/(-24)). Let l be g/30*-5*-1*6. Is l <= -1?
True
Let z be (-1742)/(-8) - (-4)/16. Let x(t) = -2*t**3 - 173*t**2 - 89*t - 41. Let o be x(-86). Are o and z nonequal?
True
Let n = -22 + 12. Let r be ((-8)/(-2))/(428/(-1177)). Which is greater: r or n?
n
Suppose -10*l = -56*l + 65826. Let i = -5725/4 + l. Let s = -42 - -45.4. Is i > s?
False
Let h = 281 - 211. Let r be (10/4)/(h/504). Which is smaller: r or 22?
r
Let c(r) = 2*r + 5. Let i be c(-4). Let x = -11541/17 + 675. Which is smaller: i or x?
x
Suppose i = -5*z - 45, 4*z = -0*z - 3*i - 36. Let g(x) = 6*x**3 - 36*x**2 - 3*x + 13. Let l be g(6). Is l greater than or equal to z?
True
Let s be (2/(-135))/(9104/(-40)). Is s at most as big as 0?
False
Let l(g) = 12*g**2 - g + 1. Let y be l(-2). Let a = -51 + y. Let s(j) = -j**3 - 12*j**2 - 10*j + 13. Let m be s(-11). Which is smaller: m or a?
a
Suppose -31*a = -53*a + 7876. Is 357 less than or equal to a?
True
Suppose 18*p = -13*p + 3193. Which is bigger: p or 14?
p
Let l = -8532 - -8535. Are l and 5/44 non-equal?
True
Let g = -537/5 + 107. Let x = -2559 - -2518.82. Let z = 40.2 + x. Which is smaller: z or g?
g
Let c = 122 + -122.092. Which is smaller: -2.3 or c?
-2.3
Let c(f) = 3*f**3 + 2*f**2 - 201*f - 612. Let y be c(-3). Do y and -510/7 have different values?
True
Let v = 64 - 71. Let m = 69.4 + -69.36. Which is bigger: v or m?
m
Let m = -2348.4 + 1371.4. Which is smaller: m or 3?
m
Let z be (1 - 26/24) + 5033/8628. Which is greater: z or -13082/5?
z
Suppose 7*r - 22 + 8 = 0. Suppose -a + 12 = 3*t, 0*t + r*t + 5*a - 8 = 0. Suppose -2*o - 3 = -w - 4, 5*o = t*w + 7. Is 5 <= w?
False
Let j(m) be the first derivative of -6*m - 2*m**3 + 24 - 1/4*m**4 + 11/2*m**2. Let l be j(-5). Which is smaller: l or -87?
-87
Let w = -0.7464 + -0.2536. Suppose 5*u + 7 = n, -n + 5*u - 45 = 4*n. Is w not equal to n?
True
Let c be 54/(3/15 + 7/15). Suppose -6*v = -c + 3. Suppose -w - 3*k + 7 + 18 = 0, -2*k - 57 = -5*w. Is w bigger than v?
False
Let s(p) = -3*p**3 + 2*p**3 - 13*p**2 + 153*p - 5 - 165*p. Let y be s(-12). Suppose -j - 5*b = 7, 0*j + 7 = -j + b. Is j >= y?
False
Let b = -497 + 507. Let p be 22/b + -2 - (-7267)/215. Is p equal to 34?
True
Let n be (-27)/27*(30/28 - 1). Let t = 29/574 - n. Are 0 and t equal?
False
Let r = -0.3815 - -0.1815. Is r > -1.06?
True
Let u be ((-1)/3)/((-16)/18048). Let a = u - 377. Is -2/821 bigger than a?
True
Let r be (24/6*-198)/((-6)/18). Which is bigger: 2375 or r?
r
Let f(i) = i**3 - 5*i**2 - 7*i - 1. Let w be f(6). Let r be 3/7*(-4)/(-16)*w. Let o = -13 + 11. Is r at most o?
False
Let p(b) = -b**3 + 3*b**2 - 3. Let m be p(5). Suppose -4*l - 774 = -3*o - 182, -o - l + 188 = 0. Let k = o - 246. Is m at least k?
True
Let r(p) = -p**3 - 3*p**2 + p - 7. Let d be r(-4). Let n(y) = -13*y + 3. Let h be n(d). Let b = h - -45. Is -17 less than or equal to b?
True
Let o be (-28 - -2)/2 - 0/9. Let c(t) = -t**2 - 10*t + 38. Let f be c(o). Let i be f + 16/10 + (-14)/25. Is -1 smaller than i?
True
Let j = -387 - -386. Let i(y) = -94*y - 19. Let f be i(j). Which is smaller: 73 or f?
73
Let r = -441 + 445.59. Let q = r - -1.41. Which is bigger: -1 or q?
q
Let u be (-9 - -2 - -21) + 1. Let n(s) = 7*s - 105. Let w be n(u). Is w smaller than 1/54?
True
Let y be (-36856)/1547 - (-54)/(-117). Which is smaller: y or -24?
y
Suppose -4*s - 16*j - 20 = 0, -5*s + 22*j = 19*j + 2. Do s and 1/2234 have different values?
True
Let s(i) = -23*i**3 - 2*i**2 + 3. Let q be s(-2). Let k = q + -180. Let t be (-78)/172 + 1/2. Which is bigger: t or k?
t
Let h = -29136710/11 + 2651219. Let k = h + -2425. Which is greater: k or 1?
k
Let f be 12/(-12) + ((-2)/(-2) - -11). Suppose 28*t + 1122 = f*t. Which is greater: t or -63?
-63
Suppose 122566 = 444*m + 49306. Which is greater: m or -35?
m
Let o(f) = -f**3 - 8*f**2 + 34*f + 14. Let b be o(-11). Suppose 3*y = y + 4*p - 102, 0 = -b*y - p - 181. Which is bigger: y or -58?
-58
Let x = -2061 + 2055.676. Let m = x - -0.324. Let l = 0.04 + 2.96. Which is bigger: m or l?
l
Let m = -137 - -142. Suppose -m*a - 1120 = -1130. Let q = -30/11 + 387/154. Which is bigger: q or a?
a
Let m = -46010445/1364 - -33732. Is -1 smaller than m?
True
Let j be -15*2/((-8)/(-4)). Let d(b) = -b**3 - 14*b**2 + 9*b - 41. Let o be d(j). Do o and 50 have the same value?
False
Let m(v) = 2*v + 7 + 6 - 10 + 0. Let x be m(-5). Let s = 2.85 + -2.55. Which is bigger: x or s?
s
Suppose 0 = -0*v - 3*v + 234. Suppose 4*m - 674 = -5*g, -26 = m + 4*g - 200. Suppose -4*n + 4*u = -292, -u + 3*u - m = -2*n. Is n greater than v?
False
Let j(q) = -6*q - 3. Let t(v) = 7*v + 2. Suppose -21*x = -16*x + 30. Let n(m) = x*j(m) - 5*t(m). Let b be n(-14). Is -5 at least b?
True
Let r be -2 - ((-533)/(-416) + 12). Is -14 < r?
False
Let n = -132 + 132. Suppose n = 2*y - 5*y + 87. Let w be 29 - (-1 + 2 + 0). Which is smaller: w or y?
w
Suppose 3*f + 800 = 11*f. Suppose 3*m + 118 = f. Is -0.9 at least as big as m?
True
Let s(n) = -273*n - 25. Let t be s(-3). Is t greater than or equal to 794?
True
Let p = -10/22391 + 130433/141645466. Which is greater: 2 or p?
2
Suppose 8*s + 73*s = -28*s. Which is bigger: 5999/5 or s?
5999/5
Let x = -75 + 110.9. Let b = 6.59 + -42.59. Let s = b + x. Is s at most 103?
True
Let w = -1433.7 + 1434.1. Which is smaller: 6.15 or w?
w
Let h = -408 + -139. Let z = h + 549.3. Let j = -4 + 4.1. Which is smaller: j or z?
j
Let j = -11.1 + 38.1. Let l = j - 12. Does l = -2/5?
False
Let h be (-24)/144*1852/(-23) - 5. Let i = -186/23 + h. Do 13.9 and i have different values?
True
Suppose -17 = -4*t - 2*h + 25, -5*t + 30 = -2*h. Suppose 4 = -z - 2*a, -4*z - 10*a = -t*a + 4. Is z less than -29/20?
False
Let n = -13086 + 13257. Which is smaller: 157 or n?
157
Let d = 315301 + -107202247/340. Let f = d - 2/85. Is -7 > f?
False
Let w(s) = s**2 - 31*s - 758. Let l be w(49). Are 125 and l non-equal?
True
Suppose 2*u + 16 = -4*t, -2626 = 2*u + 3*t - 2614. Are u and -11/370 non-equal?
True
Let a = 121.067 + -0.067. Which is smaller: -8 or a?
-8
Let h be 358884/(-138015) + 28/(-20) + (11 - 7). Which is greater: h or 2/7?
2/7
Let t(b) = -b**3 + 14*b**2 - 56*b - 15. Let u be t(8). Are u and -127 equal?
False
Let g be (7/(-868)*4)/(-14 - (-232)/16). Let v = 0.1 + 0. Which is smaller: g or v?
g
Suppose -4*v - 3317 = -5*x - 106, -3*x - 3*v = -1905. Which is bigger: 633 or x?
x
Let c = 13 - 9. Suppose -2*b + c = -0*b. Suppose -3*p + b = -4. Is p < 5?
True
Let m = -22.82 - -19.82. Is m less than or equal to 1592?
True
Let r = -0.0129 - 321.9871. Let t = r + 184. Let l = t + 138.1. Is -3.9 greater than or equal to l?
False
Let y = -0.25 + 0.7. Let g = -25.55 - y. Let t = -28 - -27.9. Are g and t nonequal?
True
Suppose -11994 = -13*r - 476. Let v be (-6)/18 - r/6. Which is greater: v or 1?
1
Let g be (-20293)/1841 + -6 + 17. Are -2 and g equal?
False
Suppose 5*u + 3809 - 569 = 0. Let v = u + 652. Which is greater: v or 32/7?
32/7
Let k be (-37)/7 - (-66)/231. Suppose -3*r = -2*u - 3*u - 22, 5*u + 27 = -2*r. Let f be 4 + (-5)/k + u. Which is smaller: f or -3/23?
-3/23
Let k be -7 - ((-2)/(-13) - 1914/104). Let g(