2*g - 0*g. Does u = -34/21?
False
Let j(l) = -3*l**2 + 1 + 4*l**2 - 15*l - 2 + 0*l**2. Let g be j(15). Which is greater: -0.3 or g?
-0.3
Let d(h) = h**2 - 4*h - 8. Let g be d(6). Let b be 4/10 - g/20. Let l be 10/4*(-40)/150. Is l at least b?
False
Let u(m) = 5*m**3 - m + 2. Let c be u(1). Let h be 152/240 - 2/c. Is h at least 1?
False
Let f = -39 + 46. Suppose -u + f = 2*s, -3*s + 5*u = 6*u - 8. Which is smaller: 13/7 or s?
s
Suppose 186*v + 42 = 184*v. Are v and -12 non-equal?
True
Let p = -2 + 4. Suppose -250*h - 122*h + 11532 = 0. Is h smaller than p?
False
Let w = -9113/236 + -126/59. Let r = w - -40. Let v = 0 - 0.2. Which is greater: v or r?
v
Let q = -21.722 + -0.078. Let f = -4.8 - q. Which is bigger: f or -2/3?
f
Let w be 1*-2*7/((-28)/6). Let h be ((-4)/(356/w))/(-3). Is -1 equal to h?
False
Suppose -311 = l + 5*u, 2*l + 344 = -u - 260. Which is greater: l or 2/9?
2/9
Let t = 188 + -176. Is t >= 21/2?
True
Let s(w) = -w**3 + 4*w**2 + 8*w + 8. Let g be s(7). Let q = 86 + g. Is 3 < q?
False
Let a = -0.16 + -1.14. Let l = -1.8 - -2. Is a at least l?
False
Let b = 76 + -126. Let n = -297 - -226. Let z = b - n. Is -1/2 <= z?
True
Let y(z) = 14*z + 1 + 6*z**2 + z**3 + 5*z**2 + 3*z**2. Let o be y(-13). Let l = -10 - o. Is l not equal to 3/5?
True
Let c = -7025/3 - -2380. Let s = -493/12 + c. Which is greater: s or -3?
s
Let i(y) = -y**3 + 13*y**2 - 11*y + 17. Let n(j) = -j**2 + j. Let z(o) = i(o) + 3*n(o). Let c be z(9). Which is smaller: 27 or c?
c
Suppose -12 = -2*c - 2*t, -3 = 4*c - t - 2. Is c equal to -5/583?
False
Let d = 13 - 13. Let r = -1.6 - -1. Let z = 0.7 + r. Which is smaller: d or z?
d
Let b = -72 - -40. Let s be (-1 - -8 - -26)/(-1). Which is smaller: s or b?
s
Let l be (0/(-4))/(1 + 0). Suppose 2*x + 5*x + x = l. Are -30 and x nonequal?
True
Let f = -59.7 - -9.7. Let j = -50.16 - f. Let p = -15/7 + 52/21. Which is bigger: p or j?
p
Let n be 6/3 + -29 - 0. Suppose a + 5*o + 43 = 0, 3*o - 49 = 3*a - 2*o. Let k = a - n. Is k at most as big as 6?
True
Let k(g) = 40*g - 139. Let a be k(6). Which is smaller: 102 or a?
a
Suppose 2*t - 9 = -1. Suppose t*m = -m. Suppose m = -x + 5*x - 3*r + 24, -r = -5*x - 19. Is -5 at most as big as x?
True
Suppose -2*i + 57 = -3*a, -4*a + 3*i - 60 = 17. Is 22 >= a?
True
Let m = 8/17 + -124/119. Let o = 1.4 + -2. Let p = 0.6 + o. Is p <= m?
False
Suppose -3*u - 5*z = 11, 2*u + 3*z + 11 = 4. Let y be (16/12)/((-4)/(-42)). Let v be (10/5)/((-4)/y). Do v and u have the same value?
False
Suppose o + 37 + 40 = 0. Let n be (2/91)/((-55)/o). Is n at least as big as 1?
False
Let r(i) be the third derivative of i**4/24 - 4*i**3/3 + 3*i**2. Let v(j) = -j**3 + j**2 + j + 5. Let g be v(0). Let l be r(g). Which is smaller: l or -1?
l
Let k = 40 + -61. Let b(z) = z**3 - z - 20. Let t be b(0). Are k and t equal?
False
Suppose i + 16 = 13. Let s be 1 + (1 + i - -4). Is s greater than or equal to 6?
False
Let n(j) = 2*j**2 - 8*j - 11. Let u be n(5). Which is greater: -7 or u?
u
Let y = -17.6 - -1.6. Let v = 16.1 + y. Is -32 bigger than v?
False
Let x = 1040 - 1040. Which is bigger: x or -3/407?
x
Let n = -0.5 + -4.3. Let a = n - -5. Which is greater: -0.2 or a?
a
Let s be 9/54 - (-49)/(-6). Let r = -5 + 6. Let f be -1 + (s/(-6) - r). Which is smaller: 4 or f?
f
Let q be 3/((-3)/(-2)) + -4. Let v be ((-3)/258)/((-1)/q). Which is smaller: v or 0?
v
Let f = 220 + -204. Which is smaller: f or -10?
-10
Let k be 186/((-6)/1) - -1. Which is smaller: k or -27?
k
Let u be 8943/12 - (-2)/(-4). Suppose -f = -4*b + 742, -3748 = 6*f - f - b. Let c = f + u. Is -4 at least c?
True
Let h(i) = i**3 - 8*i**2 - 13*i + 15. Let o be h(8). Let q = o + 977/11. Is q at most as big as 1?
True
Let c = -314 - -595. Is c > 281?
False
Let r = 60 + -60. Let x = -2 - 0. Let j = -1.9 - x. Is j bigger than r?
True
Let k = 9254248849/656670 + -2240948/159. Let l = k + 8/413. Which is smaller: -1 or l?
l
Suppose -15 = -3*g - 4*s - 75, 0 = s. Let c be (g + 21)*2/26. Which is smaller: c or -1?
-1
Suppose -t + 130 = 10. Is 119 at most t?
True
Let s be 25 - 2/6*3. Let f be s/(-85) - 2/(-5). Let q = 6 + -5. Is q equal to f?
False
Suppose 0 = 4*j - 98 + 82. Do 82/15 and j have the same value?
False
Let b be (-18)/(-6) + (0 - -25)*1. Suppose 2*c - 2*n + b = 0, -5*c + 3*n = -8*c - 72. Is -18 at most as big as c?
False
Let d = 1/23 + -59/299. Is -1 <= d?
True
Let y = 0.2 - 3.2. Let v = -181 + 180.9. Which is bigger: y or v?
v
Let b(o) = -o**3 - 7*o**2 - 6*o + 1. Let x(a) = 0 - 4*a**2 - 3*a**2 + 1. Let u be x(-1). Let c be b(u). Are c and 0 unequal?
True
Let h be 266/(-20) - (1274/(-13))/14. Which is bigger: h or -7?
h
Let s = 1 + -16. Let h be (-111)/36 + 10/s. Which is greater: h or -5?
h
Let r(q) = 7*q**2 - 8*q**2 - 7*q**2 + 2*q - 7*q + 10 - q**3. Let s be r(-7). Let g be 16/36*(-5)/s. Are g and 0 unequal?
True
Suppose -3*g - 5*j = 1078, 3*j = g + 12 + 366. Which is smaller: -1 or g?
g
Let k(y) = 10*y - 2. Let w be k(-1). Let o be (-18)/w*(-4)/(-3). Which is smaller: 0 or o?
0
Let n = 52 - 51.989. Let p = n + 3.489. Which is smaller: p or 1?
1
Let l = 0.05 - -2.15. Let x = -2.02 + l. Let d = x - 0.08. Is d less than or equal to 1/11?
False
Suppose -1 = 7*u - 8. Which is smaller: u or 5/8?
5/8
Let i = -5 + -21. Suppose -3*v = 14*c - 12*c + 75, 5*c = 15. Which is smaller: i or v?
v
Let l = 150 - 218. Is l less than 0.1?
True
Suppose 3*u - 2*u - a = -300, -3*a = -u - 302. Let r = -1478/5 - u. Which is bigger: r or 4?
4
Suppose -5*x + 3*n - 654 = 0, 0 = -0*x + x - 3*n + 138. Are -128 and x equal?
False
Let v = 40 - 39.88. Let x = 0.04 + -0.16. Let s = v + x. Is s greater than 4?
False
Let g(m) = m**2 - 12*m + 3. Let a = -37 - -48. Let b be g(a). Is -9 > b?
False
Suppose 11*u = 8*u - 519. Let x = u + 171. Is x bigger than -30?
True
Let g = -28 - -23. Is g at least as big as 1.2?
False
Suppose -5*p - 14 = 66. Let f = 79/5 + p. Which is greater: 1 or f?
1
Let o = -3 - -5. Suppose 0 = -2*r - 3*i + 11, o*r - 10 = -6*i + 4*i. Suppose -60*l + 9 = -57*l. Which is bigger: l or r?
r
Suppose -6*r - 78 = -4*j - 4*r, -4*r = 5*j - 78. Let p = 33 - 15. Is j greater than or equal to p?
True
Suppose -20 = -3*i + 5*z + 134, 0 = 2*i - 5*z - 101. Is i <= 57?
True
Let b(i) = -i**3 - 19*i**2 - i + 1. Let r be b(-19). Suppose -2*h - 2 + r = 0. Is 10 less than h?
False
Let t = -14.7 - -14.61. Which is smaller: 3.3 or t?
t
Let u be (-3)/7 - ((-1104)/(-21) + 5). Let c be 16/(-96) - u/(-12). Which is greater: c or -6?
c
Let c be -1 + (-1 - 85/(-43)). Suppose 0 = -r - 3*w - 17, 0 = 2*r + 4*w + 163 - 141. Which is smaller: c or r?
c
Let w(r) = -3*r - 7. Let z be w(-20). Let y = z - 64. Which is greater: y or -14?
y
Let i = 268699/49 + -5483. Is 2 > i?
True
Let q(y) = -3*y - 13. Let k be 5/(-3) + (-2)/(-3). Let x be -4 - (1 + k) - 0. Let r be q(x). Which is smaller: -3 or r?
-3
Suppose 5*u + 2*f - 84 = 0, 0 = -2*u - u + 2*f + 44. Suppose 2*h = -x - 3*h + u, -h = 5*x - 8. Do x and 1 have the same value?
True
Let h = -8.696 + 2.724. Let t = h - 0.028. Suppose 3*i - 5*i = 0. Is t smaller than i?
True
Let r = 1323 + -1323.76. Which is smaller: -6 or r?
-6
Let r = -15.9 + 16. Let b = -0.3 - 0.04. Which is bigger: r or b?
r
Let d = 22981 - 344507/15. Is d < 14?
True
Let v = 154.993 - 155. Which is greater: v or 0.1?
0.1
Suppose 4*o = 3*o + 94. Let j be 3579/(-2)*28/o. Let y = j - -533. Which is smaller: y or 0?
y
Let k(d) = -d**2 - 4*d - 4. Let s be 2 + 6/(-9)*6. Let g be k(s). Let p be (-536)/(-552) + (g - 1). Which is smaller: p or 0?
p
Let z be (-2)/9*(1 - 2). Let y = 1.121 + -4.977. Let x = -0.144 + y. Which is smaller: z or x?
x
Let r be (-4)/(-14) + (-210)/49. Let c be 4 + r + 4 + -4. Is c <= 1/6?
True
Let k be 35/(-3*6/72). Which is bigger: k or -139?
-139
Suppose f - 4*m = 2, 0 = f + 3*m - 6*m - 1. Let k be f/9 - 56/72. Let p = -7/15 - -2/15. Which is bigger: p or k?
p
Let v be (67 - -3) + 2 + 1. Is 72 bigger than v?
False
Suppose -8*y - 24 = -16. Which is smaller: 2/599 or y?
y
Let y = -3.6 + 5.3. Let h = -1.8 + y. Which is greater: 2/45 or h?
2/45
Let b = 309 - 309.1. Is 1.7 less than or equal to b?
False
Let d = 743 - 702. Which is greater: d or -1?
d
Let z = 2.29 + -2.39. Let w = 0.2 - 2.2. Let s = w - -1.6. Is s equal to z?
False
Let p = -1.4 - -0.4. Let x be (-8)/282*(5 - 42/1