 3*a = -10. Let k be (0/(3 - -1))/(-5 - l). Which is bigger: 4/81 or k?
4/81
Let b = -0.39 - -2.39. Is 0.09 smaller than b?
True
Suppose -24 = 306*t - 282*t. Is -8/71 bigger than t?
True
Let c be (-14200)/50 - (-8)/(-2). Which is greater: -1 or c?
-1
Let c = 86 - 102. Let v = -31 + c. Is v greater than -46?
False
Let h(f) = -f**3 - 2*f**2 + f + 4. Let o = 29 + -31. Let b be h(o). Do b and 0 have the same value?
False
Let u be ((-2)/4*-1)/((-9)/(-4302)). Which is greater: 240 or u?
240
Suppose -75*p + 126 = -117*p. Which is bigger: p or -0.35?
-0.35
Suppose 4*k = -4*g + 4, g + 0 = 4*k + 16. Suppose 1 + g = -5*m. Let o be 1 - 8/4*m. Is o at most 3?
True
Suppose 3*n + 2 = 4*q, 4*n - 2*n + 5*q = 37. Suppose 7*p = 10*p - n. Suppose 0*t = -2*t + p. Which is smaller: -2/9 or t?
-2/9
Suppose -80*o + 81*o = 7. Which is bigger: o or -8?
o
Let h = 1965 - 1981.916. Let p = h + -0.084. Does 1/3 = p?
False
Suppose -4*a - 14 + 34 = 0, -4*a + 28 = 2*d. Suppose 5*x + 0*x - 22 = d*g, 18 = -g - 5*x. Let n be (-2)/(-4) + 90/(-12). Which is bigger: g or n?
n
Let m = 89764755677/4808140511850 + -2/2879126055. Let u = m - -2/1503. Is -1 greater than u?
False
Suppose -5*a - 170 - 150 = 0. Is a bigger than -64?
False
Suppose 5*j - 23 + 38 = 0. Let d be (3/(-6 - j))/1. Let i = -3694/21 - -176. Which is smaller: i or d?
d
Suppose -2*i + i + 3*j = -12, 4*j = -3*i + 10. Let z be 4/(-30)*(-5)/i. Let c = -4/9 + z. Do 0.1 and c have different values?
True
Let o = 42619/5 - 8572. Is -49 less than or equal to o?
True
Let d be ((-14)/(-4))/((-47)/5344). Suppose 0 = -3*a + 159 - 1353. Let i = a - d. Which is greater: 1 or i?
1
Suppose 0 = -8*w - 3*w - 154. Let b be ((-28)/(-54))/(w/21). Is -2 at most b?
True
Let u be (-7)/(546/265) + 4/24. Is -3 at most as big as u?
False
Let w(t) = 2*t**2 + 42*t. Let h be w(-21). Suppose 0 = 4*f - 4 - h, -3*f - 5 = m. Suppose -36 = 4*b - 4. Is b at most as big as m?
True
Suppose 3*a = 20 + 10. Suppose g - a = 6*g. Let h(v) = -v**3 - 4*v**2 - 2*v + 1. Let f be h(-2). Which is smaller: g or f?
f
Let m = -22420/7767 - 2/863. Are m and -3 nonequal?
True
Let r be 32/(-60) + 2 + -2. Let t = 11/30 + r. Which is smaller: t or 1?
t
Suppose 3*k - 26 = 4*c + c, -2*c = 8. Suppose 0 = k*t + 2*y + 36, -5*t + 7*y - 8*y = 82. Is t at most as big as -16?
True
Let b be (1 + (-5)/7)*-2. Let d = -1/40 + 89/360. Does d = b?
False
Let l = -45 + 41. Let i(j) = -j**3 - 5*j**2 - 4*j + 1. Let b be i(l). Is -83 > b?
False
Let t = 323 + -324. Are -3 and t equal?
False
Let b be 5/(-20) + (-7)/(-30). Suppose 0 = 3*o + 3*m - 5*m - 7, -5*o - 3*m - 20 = 0. Is o at most as big as b?
True
Suppose -5*d = -102*g + 97*g, -d = -5*g - 4. Which is smaller: 1/909 or g?
g
Let n = -148 + 166. Which is bigger: n or -5?
n
Let i(y) = y**2 - 16*y + 11. Let z = -2 - -17. Let o be i(z). Let v be o/14 + 15/(-21). Is -2/61 equal to v?
False
Let n = -4 - -11. Let m = n + -6.8. Let v = -0.8 - m. Is v greater than -8?
True
Let u be -1*7/((-15)/(-6) - 3). Which is smaller: u or 25/2?
25/2
Let j = 15 - -1. Let c = 16.057 - -0.243. Let n = c - j. Is n at most -0.1?
False
Let j be (-54935)/(-12)*(-4 + (-154)/(-35)). Let v = -1836 + j. Is -4 <= v?
False
Let n = 1013 + -1080. Which is greater: 4 or n?
4
Let l be 96/20 + -1 + -4. Let x = 5.2 + -0.2. Is x <= l?
False
Let v(u) be the third derivative of u**6/720 + u**5/12 + 3*u**4/8 + 3*u**2. Let m(z) be the second derivative of v(z). Let s be m(-11). Does s = -3/14?
False
Let z = 4644/7 - 662. Let k(x) = -x**3 + 4*x**2 - 4*x + 2. Let c be k(2). Suppose 2*t = -c + 4. Which is smaller: t or z?
t
Let s = 61 - 63.7. Let o = s + 2.6. Which is smaller: -7 or o?
-7
Let h = 53 + -77. Let g be ((-30)/8)/((-9)/h). Do g and -10 have the same value?
True
Suppose -5*w = 3*h - 6, 4*h - 4*w = -9*w + 8. Suppose -h*s - 5*s + 7 = 0. Which is smaller: s or 18/17?
s
Suppose -3*y + q - 7 = -93, 0 = -4*y - 4*q + 120. Does y = 29?
True
Let d be (60/(-12) - (-341)/68)*-1. Let i = -8 + 9. Which is smaller: d or i?
d
Let c = 30.9 + -29. Let n = -1.7 + c. Let p(v) = -v**3 + v**2 - v. Let b be p(1). Which is bigger: b or n?
n
Let r be ((-39)/195)/(42/15). Which is greater: r or 8?
8
Let q(o) = -4*o**2 + 4*o + 12. Let i be q(3). Which is bigger: i or -77/6?
i
Let z = 1030 - 1331. Which is greater: -2 or z?
-2
Let a = -2.3 - -2.1. Suppose 5*t - o - 13 = 0, -t + 7*o - 4*o + 11 = 0. Let b be t + 1 + (3 - 4). Which is greater: a or b?
b
Let h be 9 - 7 - (-3)/36*10. Is 4 at most as big as h?
False
Let d be 3*2*(-4)/24 - -230. Is d at least 229?
True
Let p = 328/7 + -48. Let f = -33/35 - p. Which is bigger: -2 or f?
f
Let z = 607.7 - 550.36. Let m = -59 + z. Let a = -1.7 - m. Is a < 1?
True
Suppose 0 = -y + 1 + 2, -3*y = -5*s + 51. Suppose 10 = -s*u + 17*u. Is 11/10 != u?
True
Let z = -0.17 + -0.03. Let x = 3 + -5. Is x bigger than z?
False
Let k = -1127/3 - -375. Are k and -2 nonequal?
True
Let h = -209 - -212. Let o = 29 - 11. Suppose 3 = h*p + o. Is p >= -3?
False
Let y = 172 - 168. Do y and -5/11 have different values?
True
Suppose -p - 16 = b, 3*b - 3*p + 32 = 8. Let f(m) = -m**2 - 11*m + 8. Let g be f(b). Let y = -9 - g. Which is smaller: y or -7?
-7
Let n be 0 + ((-7 - -6) + 0 - -2). Which is bigger: n or 1/134?
n
Suppose -3*k - 84 = -17*k. Suppose -8*a + k = -2*a. Which is smaller: -3/17 or a?
-3/17
Let d = 61/4 + -16. Let h = 483 + -480. Do h and d have different values?
True
Let j be 4/6 + 1/3. Let w(b) = -b - 1. Let g(c) = -6*c**2 + 9*c + 9. Let n(z) = g(z) + 9*w(z). Let y be n(j). Which is smaller: -7 or y?
-7
Suppose -3*v + v = -150. Suppose 3*z = 6, r + 5*z = -0*z + v. Suppose 7*k = 2*k + r. Which is smaller: 14 or k?
k
Let a be ((-126)/(-90))/(2/(-70)). Is a <= -51?
False
Let h = -79/81 + 7/81. Let w be -3 + (-2 - (-36)/2). Let o be w/(-6) + (-2)/(-12). Is o < h?
True
Suppose 5*l + 6 = z - 5*z, -z = 4*l - 4. Let v be 0 + (-15)/200*z. Let i = 1 - 1. Which is smaller: v or i?
i
Let t = 189113/635 - 1489/5. Is t <= 1?
True
Let y = 491 + -527. Is -173/5 at least as big as y?
True
Suppose 0 = -2*h - 0 + 6. Suppose b + 35 = 3*b + 5*j, 0 = h*j + 15. Let g = b - 28. Which is greater: g or -2?
g
Let q = 172444/1505 - 802/7. Suppose 0 = 2*b - 3*p - 1 - 0, -4*b - 6 = 2*p. Which is smaller: b or q?
b
Suppose 0 = 5*l + 2*c + 2*c - 49, 4*c + 16 = 0. Suppose 77 + l = 5*t. Which is smaller: t or 20?
t
Suppose 0 = 3*t - 28*t + 25. Is -6/365 not equal to t?
True
Let t = -532.7 - -534. Which is bigger: 3 or t?
3
Let p(w) be the third derivative of w**5/60 + w**4/24 - w**3 + w**2. Let x be p(-5). Let v = x - 22. Is -13/2 bigger than v?
True
Let v = -0.24 + 0.22. Let c = v + -0.28. Which is smaller: -6 or c?
-6
Let g(n) = -3*n**2 + 61*n - 20. Let l be g(20). Is 1/125 >= l?
True
Let n = 55 - 56. Let t be n*(-6)/9 - (-3)/9. Is -2 at most t?
True
Let c be 7*((9 - 201) + -10). Which is greater: c or -1415?
c
Let w = -3.9 - -4.2. Let o = w + -0.2. Suppose 8 = z + z. Which is bigger: z or o?
z
Let w be (-34)/52 - 1/(-2). Let v(b) = b - 2. Let p be v(11). Suppose 0 = -p*z + 8*z - 1. Which is smaller: z or w?
z
Suppose -2*d + 3*g + 3 = 0, 5*d + 1 - 3 = 2*g. Suppose 712 = -5*h - 4*c, 438 = -h - 2*h + 3*c. Let n = h + 1005/7. Is n bigger than d?
False
Let p = 0.27 + -0.17. Which is greater: -2.46 or p?
p
Let s be (-225)/300 + 3/(36/21). Let j be (-82)/(-80) - (-2)/(-2). Is j greater than s?
False
Suppose 13 - 3 = 2*m. Suppose 0*c = c + m*o - 10, 5*c + 4*o = 8. Which is bigger: 1/8 or c?
1/8
Let c = 24 - 8. Suppose 4*a + c = g, 2*a + 6 = -2*g + 3*g. Which is bigger: -3 or g?
-3
Suppose -43 = -5*o - 123. Let l be o/20*(-1)/(-2). Which is greater: l or 0.4?
0.4
Let w be 1352/(-156)*3/2. Let g = -45 + 39. Is g at most w?
False
Let w = 61.3 - 60. Let i = -1 - -2. Let p = w - i. Which is greater: -2/5 or p?
p
Let m(b) = 14*b**3 + b**2 - 2*b + 1. Let r be m(1). Let p(j) = -j**2 - 5*j + 7. Let c be p(-3). Which is bigger: r or c?
r
Let y = -13.7 - -4. Let i = y + 10. Are i and 2 unequal?
True
Let p = -120499/9 + 13373. Is p equal to -16?
False
Let w = -25 + 54. Let z be ((-18)/4)/((-1)/4). Let b = w - z. Is 12 <= b?
False
Suppose -35*v + 33*v = -1240. Which is bigger: 619 or v?
v
Let b(x) = -2*x - 17. Let n be b(-10). Let r be -55*(-1 + n)*2/(-5). Is 43 at most r?
True
Suppose 0 = 14*a - 463 + 1191. Let t = a