t l be (-2)/(-6) - (-7)/m. Which is smaller: l or 1?
l
Let d be ((-4)/21)/((-1)/((-3)/2)). Which is greater: d or -21?
d
Suppose 4*d = f - 64 - 134, -3*f = 3*d - 519. Let b = f + -1244/7. Which is smaller: -1/3 or b?
-1/3
Let h be 20*(2 - 9/6). Let r be 8/(-5) - 4/h. Let x be r - 1*26/(-12). Which is smaller: 0 or x?
0
Suppose -7*f + 65 = -2*f. Are f and 13 nonequal?
False
Let s(c) = -2*c + 2. Let n(j) = j + 9. Let x be n(-10). Let d be s(x). Is d greater than or equal to 14/3?
False
Let o = 128 + -127. Which is smaller: 143 or o?
o
Let p = -4 + 0. Let w be p/((9/3)/(-3)). Is w less than or equal to 4?
True
Let i(y) = y + 3. Let k = -13 - -8. Let b be i(k). Suppose -5*o - 5*s = 25, o + 2*s = 1 - 8. Which is bigger: b or o?
b
Let f(i) = i**3 - i**2 - i + 2. Let s be f(1). Let c = 4.809 + -0.109. Let z = c + -5. Is z bigger than s?
False
Let u = 4 - 5. Which is smaller: u or -4?
-4
Suppose 1 = -2*u - 17. Do u and -8 have different values?
True
Let t(o) = -14*o + 4. Let w be t(1). Which is bigger: -11 or w?
w
Let t = -11.21 + 0.21. Let l = t - -8. Is -6 greater than l?
False
Let o = -1/87233 - 26518767/5670145. Let x = o + 5933/1755. Let z = 1/27 - x. Is 1 bigger than z?
False
Let g(i) be the second derivative of i**3/3 - 7*i**2/2 + 5*i. Let u be g(6). Which is bigger: 2 or u?
u
Let k(n) = 4*n + 7. Let b be (6/12)/((-2)/(-4)). Let d(y) = y. Let m(a) = b*k(a) - 5*d(a). Let q be m(7). Is 2/5 less than q?
False
Let d = -74 - -62. Which is smaller: -0.2 or d?
d
Let m be (-3 + 2 + -2)/(-1). Let z be (m + -2)/(-1)*0. Suppose 5*d = -z*d. Is d at most 0?
True
Let m be 3 - (2 - 0 - 1 - -3). Are m and 4/11 equal?
False
Let t = 815/12 + -68. Which is greater: t or -1?
t
Let d(r) = r**3 - 16*r**2 + 19*r - 29. Let k be d(15). Are 30 and k non-equal?
True
Let v(u) = -u**3 - 2*u**2 + u + 2. Let b be v(-2). Suppose b = -t - t. Is t equal to 1/5?
False
Let f(i) = i**2 + i - 7. Let q be f(0). Is q != -7?
False
Let l be -8*(-2)/(-10) + 2. Suppose 2 = f - t + 6*t, 5*t = -3*f - 24. Let g = 37/3 + f. Is g bigger than l?
False
Suppose -2*f + 0 = 2. Let b be (0 - f)*(1 - 0). Which is smaller: b or 0?
0
Let u = 10 + -8.9. Let g = u + -0.9. Let r = -2/3 + 5/12. Is g less than or equal to r?
False
Let a = -68/71 - 48934/355. Let m = a - -138. Which is bigger: m or -1?
m
Suppose 2*s - 6 = -0*s. Suppose 0 = 3*b - 3*u - 15 + 6, -5*b + 9 = -s*u. Suppose b = 4*r + 18 + 2. Which is smaller: r or -4?
r
Suppose 3*l - 4*f + 60 = 7*l, l = -2*f + 10. Suppose u - l = 4*v, 0 = 4*u - 16. Is v bigger than -4?
False
Let c = -7.96 + 8. Which is bigger: 1 or c?
1
Let d be (-13)/5 + 4/(-10). Let q = -2 + 5. Suppose q*i + 2*i = 15, -4*a - 3*i + 1 = 0. Are d and a nonequal?
True
Suppose -3*h + 18 = -0*h. Suppose v = h*v. Let i(o) = -2*o**2 + o. Let t be i(1). Which is smaller: t or v?
t
Let s = 1.15 + -0.15. Which is bigger: s or 0.6?
s
Let m be -1*-1*(-1 + 0). Let k be m*1*(2 + -3). Is k at least as big as 0?
True
Let a(r) = -r**2 + 2*r - 1. Let t be a(2). Let s(b) = b**2 - 12*b - 65. Let i be s(16). Is i < t?
False
Let l be (-988)/(-28) + (-4)/14. Let v be l/15 + 2/3. Let z be (2 + -2)/(9/v). Is z at most as big as 0?
True
Let w be (-10)/35 - (-3 - -3). Which is smaller: w or 0.39?
w
Suppose 0 = -10*q + 6*q + 80. Which is greater: q or 21?
21
Let v(x) = -x**3 - 10*x**2 + x - 2. Let c be v(-10). Which is greater: -0.1 or c?
-0.1
Suppose 3*d + 2*n - 2 = d, 0 = -5*n + 20. Which is smaller: d or -5/2?
d
Let a = 32 - 31. Which is bigger: -1 or a?
a
Let k(m) = -66*m + 1. Let t be k(2). Let s = -1181/9 - t. Let l(q) = 2*q + 21. Let j be l(-10). Is j > s?
True
Let j be 1/((-6)/8) + 1. Which is bigger: j or -0.02?
-0.02
Let o = 15909/1309 - 85/7. Which is smaller: 0 or o?
0
Let p = -298 - -3866/13. Is p less than 0?
True
Let a(w) = -7*w + 60. Let d be a(11). Which is greater: -19 or d?
d
Suppose -n - 113 = -4*u, -3*n = -5*u - n + 139. Is 30 >= u?
True
Let r(z) = 11*z. Let d be r(-1). Let u = d + 9. Are 0.3 and u non-equal?
True
Let j = -123 + 1721/14. Let w = j + 19/70. Let o be (-2)/(-6) + 3/(-9). Which is smaller: o or w?
o
Let o = 17.9 - 18. Which is smaller: o or -13?
-13
Let o be (4 - 2)/(-1 - 4). Let t = 1.9 + 0.1. Let k = t + -3. Which is bigger: o or k?
o
Let b = -250 - -6748/27. Let q = b - 19/108. Which is smaller: -1 or q?
-1
Suppose -3*b = l - 0*b - 38, -4*l + 116 = 3*b. Let p = 39 - l. Which is greater: 1/4 or p?
p
Let m = 23704 + -212825/9. Let d(u) = -56*u**3 + 2*u**2 + u. Let n be d(-1). Let x = m - n. Is x > -1?
True
Suppose -3*i + 12 = 3, 5*g - 50 = 5*i. Which is bigger: 12 or g?
g
Suppose -2*g = 2*h + 10, 0*h - 2*g = 3*h + 11. Let r(q) = 0*q + 3*q**2 + 0*q**2 - q**3 - 5*q**2 - q. Let d be r(-1). Are h and d non-equal?
True
Let m(j) = j**3 - 5*j**2 - 6*j + 1. Let a be m(6). Which is greater: a or -1/28?
a
Let t be (10/6)/(4/(-534)). Let v = -216 - t. Is v bigger than 6?
True
Let a be (-2)/(-10)*-3*-5. Suppose 0 = 5*g + 4*p + 15, -3*g - a*p + 4*p = 9. Let h be (-2)/5 - (-8)/(-5). Which is greater: g or h?
h
Let q be (-9)/(-15) + (-4)/10. Suppose -8 = -2*g - 0. Suppose z = 2*n - g*n + 2, 4*n - 4 = -z. Is z bigger than q?
False
Let t be (20/19 - 1)*-3. Is t less than -1?
False
Let i = 34/59 + -2/413. Which is bigger: i or 1?
1
Let g = 26 - 26. Which is smaller: g or -2?
-2
Let u be (-8)/(-3) + (-3)/(-9). Let i(n) = -2*n + 4. Let x be i(u). Are x and -4 non-equal?
True
Suppose -2*t - 5*w = t - 41, -t = 5*w + 3. Let y be (-18)/t + 2 + -1. Is -1 at most y?
True
Let f = -4 + 8. Let g be (3/8)/((-1)/f). Let d be (6/(-9))/(-1)*-3. Is d greater than or equal to g?
False
Let h(v) = 7*v**2 + 13*v + 13. Let j(a) = 11*a**2 + 20*a + 20. Let s(l) = 8*h(l) - 5*j(l). Let n be s(-3). Let y = 3 - 4. Which is smaller: y or n?
y
Suppose -3*k = -7*k + 16. Let y = -12 + k. Is y equal to -9?
False
Suppose -3*g + 1 = u, -5*g - 4*u + 3 = -8. Is g greater than -18?
True
Let k = 6 + -6. Let a = k + 0.8. Let v = -0.7 + a. Is -1 at most v?
True
Let d = -1 + -3. Let l be (-10)/50 - 44/5. Let g = l - -5. Is g bigger than d?
False
Let p = 41 + -40. Let c = -11 - -5. Let v be -3*(-1)/c*4. Are p and v non-equal?
True
Let s be 1*(0 + 0)/(-1). Suppose -2*x = 2*h - 2, 3*h + 4*x - 4 = -s. Suppose h = -k - 0*k + 1. Is 3 less than k?
False
Let v be -1 - (0 - (2 - 1)). Is v greater than -2?
True
Let g = 28.973 + 0.027. Which is smaller: 0.2 or g?
0.2
Let v be ((-32)/(-7) - 4)/((-3)/(-21)). Let f(d) = -6*d**3 + 1. Let c be f(1). Let m(z) = -z - 2. Let g be m(c). Which is greater: g or v?
v
Let r = 25 - 24. Is r less than or equal to -1?
False
Let g = -44 + -1. Let r be (-1)/(-5) + (-6)/g. Suppose 3*o + 5*v = 18, 13 = -2*o + v + 4*v. Is r less than o?
True
Let l = 6/49 - -80/147. Let j = 14 - 10. Suppose 3*o = a + 4*a - 7, 5*o - j*a = -3. Is l at most as big as o?
True
Let t = 20 + -20. Which is bigger: -0.04 or t?
t
Let d = -28 + 16. Do 0 and d have the same value?
False
Let u = 2/1741 + -26167/45266. Let s = u - -193/312. Is s bigger than 1?
False
Let o = 227/41 + -23045/3444. Let l be (-5)/14*(-2)/4. Let j = o - l. Is 0 smaller than j?
False
Let f = -7.8 + 9. Let o = -0.9 + f. Which is bigger: -0.1 or o?
o
Suppose 4*p = -p + 5*t + 15, -3*p + t + 1 = 0. Let v be 1/(-2)*(p - 21). Do v and 11 have the same value?
True
Suppose 6*m = 2*m - 12. Let u be -1*3/(m + 0). Is u <= 1?
True
Let w = 415/4 + -105. Let k = -10 - -10. Is k > w?
True
Let o be 7/((-3)/6*-2). Let j be o/(-21) - (-8)/(-3). Suppose 6 = -3*c - 3. Is c <= j?
True
Let s = 3 - 2. Suppose 5*l - 19 = -3*j, -2*j - 17 = -l - 8. Let n be j/(-1 + 3)*0. Which is smaller: n or s?
n
Let m be (-10)/(-84) - (-2)/(-7). Which is greater: -3 or m?
m
Let c = -18/23 - -172/161. Let s = -6 - -1. Is s equal to c?
False
Let q(l) = -l**3 - 9*l**2 + 11*l. Let f be q(-10). Is -9 less than f?
False
Let n = 48 - 47. Is 3 >= n?
True
Let m be (-2 + -10)*4/(-6). Is m at least 37/4?
False
Let a = 15.9 + -17. Let m = a + 3.1. Which is smaller: m or 5?
m
Suppose -h + 25 = 4*h. Let g be (2/(-5))/((-1)/h). Let r = 5 + -2. Which is smaller: r or g?
g
Let d(l) = l**2 - 24*l + 123. Let m be d(17). Let w(c) = -c**2 + 5. Let h be w(0). Let k be 4/10 - (-23)/h. Which is smaller: k or m?
m
Suppose -4*w + 8 + 56 = 0. Which is smaller: 17 or w?
w
Suppose 0*v + 64 = 4*b - v, 50 = 2*b + 4*v. Which is gre