h - 25, 20 = -4*h. Let q be 4/(-20) - 0/(-2). Is b smaller than q?
False
Let b be ((-16)/128)/(1/642)*-20. Which is smaller: -0.1 or b?
-0.1
Let f be ((55/(-75))/(-11))/(22/(-102)). Is f smaller than 1?
True
Let m(h) = -h**2 - 10*h - 1. Let r(i) = -i + 1. Let o(d) = -m(d) + r(d). Let z be o(-5). Suppose 8*t = 2*t - 102. Is t less than or equal to z?
False
Let m = -112 - -100. Let j be (-2)/m + 1424/96. Is j at least 15?
True
Let p be (-22)/(-8) - 6/(-24). Suppose p*n = -2*n, -c + 1 = 4*n. Is c smaller than -2/53?
False
Let o(t) = t**2 + 4*t + 2. Let i be o(-3). Let p be 5*16*(-1)/5. Let z = -20 - p. Which is smaller: z or i?
z
Let w = -7.2 - -4.6. Let i = -2.4 - w. Which is smaller: -0.45 or i?
-0.45
Let m = 378/181 - 14269/11946. Let d = 5/22 - m. Which is smaller: -33 or d?
-33
Let m(f) = 3*f**2 + 29*f + 19. Let w be m(-9). Let h = 7/20 + -3/5. Is w less than or equal to h?
False
Let b be 4 - ((-220)/2 + -2). Suppose b = 5*t + 26. Let y be -2 - 2 - 81/t. Is -8 at most y?
False
Let v = -73 - -43. Let m = v - -27. Which is smaller: m or -15/8?
m
Let t be 6/(-14) - 77/49. Let y be 34/t*(-1)/(-2). Is y < -1?
True
Let o(j) = -2*j + 6. Let t be o(0). Let b = 9 - t. Suppose -b*l - 6 = -2*l. Do -5 and l have different values?
True
Let c be 4 + (1 - 364/72). Let a(g) = g**2 + 4*g + 1. Let n be a(-4). Which is smaller: n or c?
c
Let f = 36.2 - 36. Let k = f - 0.4. Which is smaller: -2 or k?
-2
Suppose -2 - 2 = 2*o - f, 0 = 3*f - 6. Let g = o + -3. Suppose 0 = -780*h + 790*h. Does h = g?
False
Let f(v) = 4*v**2 - 231*v - 54. Let y be f(58). Suppose 2*m + 32 = 6*m. Which is greater: y or m?
m
Let k = 2245 - 2188. Are k and 0.1 equal?
False
Suppose 0 = -5*c - 4*o + 75, -o = -5*c + 19 + 56. Suppose 3 - c = -12*r. Which is bigger: 10.7 or r?
10.7
Let j be (-120 - -195)*5*-1. Are j and -1121/3 equal?
False
Let g = -140 + 141.66. Let c = -0.66 + g. Is c equal to -2/7?
False
Let c = 11.174 - 0.174. Let g = 2 - 15. Let p = c + g. Is 3 greater than or equal to p?
True
Suppose 0 = -7*l - 8*l + 105. Let q be l*(42/(-63))/((-40)/6). Which is bigger: q or 1?
1
Let u be 6/140*5 - 32/24. Which is greater: -2 or u?
u
Let s be (-76)/(-6) + (-4)/6. Suppose 8*o + n + 695 = 3*o, 5*n + 278 = -2*o. Let i = o + 151. Is s <= i?
True
Suppose 8 = -3*p + 5. Is p at most -16/5?
False
Let v(u) = u - 5. Let z be v(3). Suppose -f = -4*o - 18, -2*o = -10 + 6. Is z at least as big as f?
False
Let n = 27 + -24. Let p be (70/(-45) - 1) + n. Are 0 and p equal?
False
Let i(p) = -333*p + 3. Let f(a) = -a**2 - 4*a + 13. Let m be f(-6). Let t be i(m). Let z be (-16)/(-10)*t/(-484). Is z < 0?
False
Let v = -7.96 - -6.96. Is -7/47 greater than v?
True
Suppose 10*o + 11*o = 18*o. Let u = -0.1 + 0.2. Let h = 0.14 - u. Is h not equal to o?
True
Let v(j) = -3*j - 5. Let m be v(-3). Let p be (m/(-6))/(12/198). Does p = -10?
False
Let x = -39 + 39. Suppose 3*d + 8 + 46 = x. Which is greater: d or -17?
-17
Let w be (1*2)/(4/(-12)). Let n be -4 + (3/2)/(w/(-14)). Is n greater than 16?
False
Let v(u) = -8*u - 9. Let t(x) = 17*x + 18. Let r(j) = 6*t(j) + 13*v(j). Let k be r(-6). Suppose w + 5*b = 10 + 4, -3*w + k = 2*b. Is -3/8 at most as big as w?
False
Let a = 1 + -1. Suppose 29*v - 55 + 142 = 0. Which is bigger: v or a?
a
Let n = -609 + 620. Is -9 at most as big as n?
True
Suppose 3*s + 1 = 7, m - 164 = -3*s. Let c be (m/10)/((-2)/(-10)). Let g = c + -235/3. Is g smaller than 0.5?
False
Let g be (6/(-4))/(-11*7/(-3696)). Which is greater: g or -0.06?
-0.06
Let p(m) = -m**3 - 15*m**2 + 15*m - 34. Let v be p(-16). Let b be 24/(-36)*3/(-7). Is b > v?
True
Let f = 1.7 - 3.3. Let i = f - -1.8. Suppose y = -2*y - 12. Which is smaller: y or i?
y
Let t = 24/247 - -4/19. Let d be (80/(-15) + 5)/(1/(-3)). Is t equal to d?
False
Suppose 3*a + 0*a - 9 = 0. Let q be a/((24/(-10))/(-4)). Suppose -9*r + 36 = -0. Is q smaller than r?
False
Let o be (-2)/10 - (-33905)/900. Let g = 149/4 - o. Is g != 0?
True
Suppose -4*n = -5*t - 968 + 334, 4*n + 4*t = 652. Are 162 and n equal?
False
Suppose 0 = 2*g - 2*v + 326, 2*g + 0*v + 4*v + 338 = 0. Is g < -163?
True
Suppose 2*l = n + 2, -2*l + 2 = -n - 2*n. Suppose 0 = -a + l + 2. Suppose -2*m = m - a. Which is smaller: m or 1/8?
1/8
Let m = -3 + 2. Let q = -1.2 - m. Let a = -0.47 + 0.57. Which is bigger: q or a?
a
Let a(y) = -y**3 + 3*y**2 + 2*y. Let s be a(3). Suppose 2*k = -3*u - 9, k + 2*u = -k - s. Let v = 7/3 + -61/21. Which is smaller: v or k?
v
Let d be (-4)/2 + (-941080)/679. Let n = d - -1388. Which is smaller: n or -1?
-1
Let t be -3*(-3 - (-20)/6). Let s be t*1 + 42/70. Is s greater than 2?
False
Let g(o) = o**2 - 11*o + 11. Let w be g(10). Suppose -2*f - 3*l + 6*l = w, -15 = -3*l. Which is smaller: 10 or f?
f
Let p = -5/1128331556383 - 36425185192548196331/20909112071333373. Let f = p - -1064/2059. Let y = f - -1744. Is 3 at most as big as y?
False
Let x = -1/7187 - -115091/711513. Is -1 != x?
True
Let i = 132 + -130. Which is smaller: i or 72?
i
Let o be (1 + 14/10)/((-2)/15). Let y be (o/(-1))/(-3) + 4. Which is bigger: y or -14?
y
Let k be (2 + (3 - 4))*5/(-5). Which is smaller: 47.4 or k?
k
Let k = -17/2 - -21/4. Let u be 2*(-1 - 3)*-1. Suppose -h - u = 3*h. Are k and h equal?
False
Let c = 0 - 0. Let i be 5/33*24/90*(-135)/(-10). Which is smaller: i or c?
c
Let n = 166 + -166.05. Is n at least as big as 0.04?
False
Let h = 11476/3 - 3320389/868. Is h at least as big as 1?
False
Let w(c) = 16*c - 45. Let h be w(3). Suppose -5*o = -3*t - 16 - h, 5*o = 4*t + 17. Let k = -2 - -2. Which is greater: k or t?
t
Let g(h) = -4*h - 7. Let w be g(-3). Suppose -w*n + n = 80. Let p = -11 - n. Are p and 8 non-equal?
True
Suppose 533 = -5*d - 3*c + 205, 60 = -d - 2*c. Let i = 1561/23 + d. Is i < 0?
True
Let s = -20 - -35. Let m be ((-1)/(-2))/(s/(-170)). Which is smaller: -6 or m?
-6
Let r = 329/2 - 170. Is r greater than or equal to 2/23?
False
Let g be (-4)/3*1/12. Let k = 25 + -20. Suppose -2*t = 3*o - 13, -4*o = k*t - 3*o. Which is smaller: g or t?
t
Let a = -145 + 146. Is 3/91 > a?
False
Let x = 1 - 5. Let f(c) = -2*c + 130*c**2 - 131*c**2 + c - 1. Let z be f(1). Which is smaller: x or z?
x
Let a = 4.08 + -0.08. Let w = -4359/8702 + 4/4351. Is a <= w?
False
Let p(s) = 2*s - 17. Let i be p(7). Let a be ((-220)/(-12))/5*i. Are -12 and a nonequal?
True
Suppose -39*u + 19 = -38*u. Let o = -5 - u. Is -25 < o?
True
Suppose -1 = o - 5. Suppose 80 = 8*b - o*b. Is b <= 20?
True
Let s be 632/316*((-4)/(-7))/(-2). Is s equal to 0.16?
False
Let x = -0.0974 + -1.9026. Which is smaller: -364 or x?
-364
Let d = -39 + 33. Let a = -5 - d. Let r = -19/33 - -403/528. Is a > r?
True
Let n(d) = -2*d + 11. Let p(c) be the third derivative of -c**4/8 - 4*c**3 - 8*c**2. Let w be p(-10). Let h be n(w). Which is greater: 0 or h?
0
Let u = -527 - -528. Which is smaller: 5/74 or u?
5/74
Let g(u) = u**3 - 10*u**2 + 13*u + 16. Let p be g(8). Let o be 7 + 1 + (-12)/(p + 4). Is 12 equal to o?
False
Let u be (80/(-15) - -2)/((-8)/276). Which is greater: 114 or u?
u
Let a(q) be the second derivative of -q**3/6 - 19*q**2/2 + 6*q. Let f be a(-16). Let y be 1/((9/15)/f). Which is smaller: y or -3?
y
Let m be -1 - (-4)/((-32)/(-6)). Let a = 12.9 - 35. Let w = a + 22. Which is bigger: m or w?
w
Let t be 1*(-27 + 4/2). Let j = 24 + t. Which is greater: j or -2/45?
-2/45
Let n = -13 - -16. Suppose 4*p - 4 = -2*h, n*p - 4*h = p - 8. Let l = -733/5 + 146. Is p less than l?
False
Suppose 0 = 222*y - 228*y - 546. Which is smaller: -92 or y?
-92
Let r = 205/7 + -26247/896. Let t(z) = -z**2 + 2*z + 7. Let s be t(4). Which is bigger: r or s?
r
Let n be (-621)/102 + 1 + 1*5. Is 0 > n?
True
Let d(z) = 26*z**3 + z - 2. Let y be d(1). Is y at most as big as 278/11?
True
Let u = 5 - 8. Let i be u + -1 + 5 + -4. Let l(o) = -o - 1. Let t be l(i). Which is smaller: t or 0?
0
Let g(v) = 3*v - 38. Let h be g(14). Suppose 4*t - 17 = 4*o + 7, h*o = -3*t + 11. Which is smaller: 1/31 or o?
o
Suppose -10*w + 154*w - 3600 = 0. Is 22 > w?
False
Let z be 816/(-420) - (-2)/14. Let t(s) = -s**2 + 7*s - 7. Let a be t(5). Suppose 0*c + 6 = -a*c. Is c smaller than z?
True
Let d(a) = -4*a**2 - 9*a - 3. Let m(t) = -3*t**2 - 8*t - 3. Let q(y) = 4*d(y) - 5*m(y). Let x be q(3). Which is bigger: 5 or x?
x
Let t = -9 + -6. Let z be (-40)/t*(-