Let l = 10 + -9.76. Let k = -0.1 + l. Let q = k + -0.04. Which is greater: 2 or q?
2
Let t = 1.9 - 2.9. Which is bigger: t or -49?
t
Let p = -7 + 3. Let c be 10/p - (-2)/(-4). Is -4 greater than c?
False
Suppose 4*i + 1 + 1 = -2*h, -4*h - i + 3 = 0. Let x be h/(-5)*(-5)/2. Let s = -1 - -2. Which is bigger: s or x?
s
Let c be 4/16 - 21/20. Let p = -3/5 - c. Is p at most as big as -0.1?
False
Suppose -z = -4*z + 42. Suppose 3*i + 20 - z = 0. Is -3/4 at most i?
False
Let c = 6 + -7. Let k(y) = y**2 - 4*y. Let i be k(3). Is i at least as big as c?
False
Let v = -27.6 + 29. Is -1/2 greater than v?
False
Suppose 0 = -2*d + 4*d. Let c(k) = k - 3. Let r be c(-3). Let b be (-4 - -2)/(r/(-2)). Are d and b non-equal?
True
Let w be ((-12)/(-105))/(1/(-5)). Let r(b) = -b**3 - 2*b**2 - 1. Let o be r(-2). Which is greater: w or o?
w
Let b = -29 - -29. Does b = 2/11?
False
Let s be (-24)/(-13) - 8/(-52). Is s != 3?
True
Suppose -3*z + 10 = -0*m + 5*m, -5*z - 4*m = -8. Is 3 greater than or equal to z?
True
Let s be (-5124)/27 + 0 - 0. Let t = s + 190. Which is bigger: t or 1?
1
Suppose r + 3*a + 37 = 3*r, -4*a - 64 = -4*r. Suppose 3*k - r = 10. Is k less than 6?
False
Suppose -4 = -5*r - 9. Is r > -1/11?
False
Suppose -3*x = 6, 2*x + x = -r - 3. Let m be ((-6)/(-30))/((-2)/(-20)). Do m and r have different values?
True
Suppose 5*c = 3*t - 2, 0*t = -5*c - 3*t - 8. Let k be 0 + -1 + 0 + -1. Let z be (k/(-51))/((-1)/(-3)). Which is smaller: c or z?
c
Let f be 0 + 0 + 4/(-18). Let r be (5/3)/((-9)/27). Let h = r - -5. Is h > f?
True
Let r be 28/(-15) - (-2)/3. Which is smaller: 0 or r?
r
Let g(d) = -4 + d**2 + 5 - 5*d + 4*d. Let w be g(2). Let x(f) = -2*f + 4. Let s be x(w). Is s at most as big as -3?
False
Let m(z) = -6*z**3 - 3*z**2 - 5*z - 2. Let f be m(-1). Do f and 3 have the same value?
False
Let p be (5 - 0)/(2/4). Let j be (-2)/p + 112/(-40). Which is greater: j or -4?
j
Suppose 0 = -2*m + 3*m - t + 6, 2*t = -2*m. Let q be 1/(m/6*2). Which is greater: q or 3?
3
Suppose -3*y - 4 + 1 = 0. Let g be y/3*(-36)/(-42). Suppose 0 = k + 3*k + 4. Which is smaller: k or g?
k
Let x = 18 + -21. Is x != -11/6?
True
Let k(h) = 3*h**2 + 2*h + 1. Let t be k(-1). Let m be ((-12)/9)/(t/9). Suppose 0*p = -4*p - 20. Which is smaller: p or m?
m
Let v = 0.082 - 0.482. Is -3 smaller than v?
True
Suppose 3*g + 144 = -0*g. Is -48 > g?
False
Let i = -11 - -45/4. Let l be 3*((-10)/15 - -1). Is l < i?
False
Let z(j) = j**3 + 19*j**2 - 21*j - 17. Let l be z(-20). Is 1 smaller than l?
True
Let w be (6 + -5)*(-1 + 1). Let q = -0.2 - -0.1. Which is bigger: w or q?
w
Suppose -5*l = 4*q + 9, -2*q + 4 = 5*l + 1. Let t(o) be the second derivative of -o**3/6 - 7*o**2/2 + o. Let y be t(q). Do 0 and y have different values?
True
Let h = 10 + -5. Let t be ((-8)/2)/(h - 7). Is 2/3 greater than t?
False
Let t = -5 - 14. Suppose -5*k + k = 72. Which is smaller: k or t?
t
Let l(z) = 3*z + 4. Suppose 0 = -i - 3*i + 16. Let r be l(i). Suppose -m = 3*m - r. Is m less than 0?
False
Let m be 23/(-48) + (-32)/(-48). Which is greater: -1 or m?
m
Let x be (52/10)/((-28)/(-1440)). Let j = 268 - x. Does j = 1?
False
Let y be 1 + (-3)/(-15) + -3. Which is smaller: 1 or y?
y
Let q be (-22)/14*1 + 2. Let z(m) = m**3 - 9*m**2 + 1. Let r be z(9). Is q bigger than r?
False
Let t be -1 + 1 - (-16)/(-8). Is -2 bigger than t?
False
Let u(v) = -v**2 + 9*v - 10. Let j = 9 + -2. Let g be u(j). Suppose 0 = -3*f + 4*a - 7*a + 9, -g*f = -a + 3. Is 2/25 at least as big as f?
True
Suppose -17 = 4*s + 3. Let q(i) = 3*i + 4. Let d be q(-3). Is s at most d?
True
Let u be 37/(-10) - (-3)/15. Which is greater: -3 or u?
-3
Let v be 1/(-1 - (-7 + 1)). Which is smaller: v or -1?
-1
Let z = 0 + 0. Let f be 4/10 - 133/70. Do f and z have the same value?
False
Let t = -272/3 - -91. Is 15 < t?
False
Let x(h) be the third derivative of -h**5/120 - h**3/2 - h**2. Let a(b) be the first derivative of x(b). Let n be a(-3). Does n = 2?
False
Suppose -12 = -j + 5*y, 2*j - y + 3*y + 12 = 0. Let c be (1*(j - -3))/2. Is 3/4 >= c?
True
Suppose -2*z = v + 10, -z - 7 = -5*v - 2. Let o(g) be the first derivative of -g**3/3 - 5*g**2/2 + g - 2. Let i be o(z). Is i at least 1?
True
Let b = -13 + 13. Is b at least as big as 1/5?
False
Suppose 2*m = -5*h + 8 + 14, 3*h = -5*m + 17. Let w = 40/3 + -14. Are w and h non-equal?
True
Suppose 0 = -3*n - 4*m + 13, -5*n + 3*m = -0 + 17. Let u(a) = -a**2 + 5*a - 5. Let x be u(2). Let r be (n + 3 - x)/(-8). Which is smaller: -1 or r?
-1
Let v be (4/(-14))/((-12)/(-28)). Which is bigger: v or 1?
1
Let t be 9 - (-1 + 1/1). Let q be 16/(-21) - (-6)/t. Which is bigger: q or 1?
1
Suppose -2*d = -7*d. Is d < -4/3?
False
Let g be 19/(-2) + (2 - (3 - -1)). Is -0.2 less than or equal to g?
False
Let u = -31/10 + 38/5. Which is smaller: u or 5?
u
Let s be (-2)/660*-5*27/6. Which is smaller: -1 or s?
-1
Let m = -4/3 + 13/12. Which is bigger: -0.14 or m?
-0.14
Let r(n) = n**2 - 2*n. Let g be r(1). Let j be (2/(-5))/((-30)/(-25)). Which is bigger: g or j?
j
Let n(h) = -h**3 + h**2 + 1. Let a be n(0). Let u = 0 - a. Is u < 4/9?
True
Let m = 648/5 + -130. Which is smaller: m or -3/2?
-3/2
Let h(j) = -9*j + 55. Let a be h(6). Is -63 > a?
False
Let o(m) = 0*m**2 + 0*m**2 - 19*m + 35*m - m**2 - 15. Let k be o(15). Is k < -1?
False
Let f be 76*(3/(-15))/(12/(-30)). Is f less than 37?
False
Suppose -2*h = 3*j - 58, -120 - 32 = -4*h + 3*j. Is h less than or equal to 35?
True
Let y be -2*(-2)/12*-3. Let z be (-1)/(-2) + 111/(-6). Let x = -56/3 - z. Which is bigger: y or x?
x
Let o = -67 + 122. Is 54 > o?
False
Let i(u) = u - 4. Let h be i(5). Let j be 1/((-2 + -2)/(-20)). Let r be 1/(-5)*j/(-2). Which is smaller: r or h?
r
Suppose -5*l - x + 0 = 7, 3 = 3*l - 3*x. Is l not equal to -0.029?
True
Let n = -1.5 - 0.5. Let v = -6 - n. Is v less than or equal to 2/3?
True
Let k = -44 + 80. Suppose -r = -3*s + 4*s, -4*r + k = -5*s. Let n = 0 + r. Do 3 and n have the same value?
False
Let u be (15/(-9))/((-2)/6). Is 6 >= u?
True
Suppose -8*s + 7 = -s. Which is smaller: s or 2?
s
Let r = -93286/71 + 1314. Let y = r - 26/1491. Is y > 0.1?
False
Let g = -15/2 + 6. Let q = 7/6 + g. Does 0 = q?
False
Let i be ((-8)/10)/(40/100). Let x(m) = m**2 - 4*m - 3. Let h be x(4). Which is bigger: i or h?
i
Suppose 3*o + 2*o = 0. Let l = o + 2. Is l less than or equal to 3?
True
Let f = -11 - -23. Is f at least 12?
True
Let a = -7 + 10. Let l be (0 - 2) + 2/(-2). Which is bigger: a or l?
a
Let y be 1/4 + (1269/300 - 4). Does 1 = y?
False
Suppose 0 = -4*r - c - 53, -2*r + 51 = -5*r + 3*c. Let h be (1/(4/(-16)))/r. Which is smaller: h or -2/9?
-2/9
Let a be 4/28 - 8/7. Let o = 4 - 7. Is o less than a?
True
Let p = 47 + -185/4. Let v(y) = -y**3 + 3*y**2. Let s = 11 - 8. Let f be v(s). Which is smaller: f or p?
f
Let a = 1 + 1. Let w = 126823178/219681735 - -5/738426. Let j = w - 1/170. Is j smaller than a?
True
Let c(f) = f + 9. Let m be c(-7). Let x be 1 + (0 - (-2 + 3)). Is x at least m?
False
Let o = 1 - -1. Let b(n) = -n + 1. Let d be b(o). Is d at least as big as -1?
True
Let d = -4 + -3. Let y = d - -11. Suppose 3*k = y*k + 1. Are k and -2/5 unequal?
True
Suppose 0 = -4*q + 3*q + 5. Suppose 3*x = q*x + 5*k + 7, -3*k = 3. Is -4/13 less than or equal to x?
False
Let x(a) = -a**2 - 5*a. Let l be x(-6). Is l > -7?
True
Let d be (-6)/15 - (-6)/(-10). Let k be (5/60)/(2/4 - 1). Do k and d have different values?
True
Let q be -8 - -5*(-6)/(-5). Suppose 3*w - 21 = 3*x, 2*x + 4*w = 9 + 1. Which is smaller: q or x?
x
Suppose 0 = -2*t + 5*k - 36, 3*t + 10 = -k - 10. Which is bigger: -7 or t?
-7
Let s(v) = 18*v**2 - 2*v + 1. Let i be s(1). Suppose 0 = -5*a + i + 33. Suppose 2*h = -3*x + a, 2*h + 2*h = 20. Does x = 0?
True
Let u be (-69)/(-4509)*327 + -5. Which is smaller: 0 or u?
0
Let a be (-8)/(-36) + 2/(-9). Suppose -3*j + a - 9 = -3*o, -3*j - 4*o = -19. Is j != -4/9?
True
Let c(q) = -2*q**3 - 2*q**2 + q - 2. Let m(i) = i**3 + 7*i**2 - 2. Let o be m(-7). Let l be c(o). Is 4 at least l?
True
Let o(t) = -2*t - 8. Let u be o(-7). Let x = 4 - u. Are x and -2 unequal?
False
Let x be ((-3)/6)/(1/(-4)). Suppose 41 = x*t - 109. Let z be -2 + 5/(t/36). Is -1 bigger than z?
False
Suppose 0*y = 4*y + 128. Let g be 1/(2/(-2)) - -2. Let o be -1 - g - y/20. Which is smaller: -2 