13/4 + d. Is c at most as big as -2?
False
Let z be ((-6)/(1 - -5))/3. Which is greater: -0.1 or z?
-0.1
Suppose 3*d + 0*f = -4*f - 165, -111 = 2*d + 3*f. Let v be d/63 + 2/3. Do 0 and v have the same value?
False
Let r be 1*3/(9/(-21)). Suppose -l = -5*j - 2, -3*l + 3 - 33 = 3*j. Are l and r equal?
False
Let f be (-4)/20 - 2/(-10). Let l be (12/(-570))/((-2)/10). Are l and f equal?
False
Let i be 50/6*(-56)/(-35). Let v = i + -206/15. Which is smaller: v or 6?
v
Let y = -852/7 - -122. Let l = 88 + -461/5. Let m = l + 79/20. Is y at least as big as m?
True
Suppose 0 = z - 0*z + 4*m - 13, -4*m + 10 = 2*z. Let s be 0/(-8) + z/4. Which is greater: -1 or s?
s
Let b = -51 + 54. Do b and 25 have different values?
True
Suppose 0 = -q + 6*q - 20. Which is greater: q or 5?
5
Let p(i) = -i + 7. Let a be p(6). Let k(c) = -2 - c - 6 + a. Let f be k(-8). Which is smaller: 2 or f?
f
Let h be (177/(-9))/((-160)/(-6)). Let v = -15/16 - h. Which is smaller: 0 or v?
v
Suppose 4*t = 3*l + 13, 3*t - 4*t + 1 = -3*l. Let n = l + -2. Let w be (n/8)/(2/4). Is 0.2 at least as big as w?
True
Let f = -0.075 - -5.775. Does -1/4 = f?
False
Let r(j) = j**3 - 6*j**2 - 5*j - 5. Let z be r(7). Let l be 34/6 - 6/z. Let w be (-39)/20 - (-1)/l. Which is greater: -3 or w?
w
Let q be 0/(1 - (2 + -2)). Which is smaller: -2/7 or q?
-2/7
Let h(i) = -i**3 + 5*i**2 - 3*i - 3. Let g be h(3). Suppose 0 = -4*w, -3*w - g + 3 = -3*x. Let o be (2/22*-4)/2. Is o less than or equal to x?
True
Suppose 3*h + 5*v = 35, -h + 3*v = -3*h + 23. Suppose -h = 5*q - 2*c + 3*c, -c = 4*q + 9. Let b be 4/6 - (-4)/(-6). Is b smaller than q?
False
Suppose -o + 15 = 4*o. Is 5 smaller than o?
False
Let h = 65 - 64.7. Which is smaller: h or -0.1?
-0.1
Let w(s) = -s**2 + 10*s - 14. Let d be w(8). Is d less than or equal to 10/7?
False
Let y(q) = 9*q + 1. Let x be y(3). Suppose -3*k - 5*v = -x, -k = v + 3*v - 14. Is k less than 0.1?
False
Let p(o) = -o - 10. Let z be p(-6). Let g = z - -1. Which is bigger: -4 or g?
g
Let n be 225/(-21) - -2 - 2. Let b = -11 - n. Is 0 <= b?
False
Suppose 5*d + 4 = 6*d. Suppose -4*l + s - 7 = -0*l, 3*l = -d*s - 10. Let v be (0 - l/5)*1. Which is bigger: 1 or v?
1
Suppose -5*j + 1 + 4 = 0. Do j and 3/47 have different values?
True
Let a = 0 + 0. Suppose -m = -3 - a. Suppose 5*p + m = 2*p. Which is greater: 2/15 or p?
2/15
Let y be 1 + 3 - (3 - 2). Let k = y + -9. Let n = k + 8. Which is greater: n or 1?
n
Suppose -2*p + 2 = 12. Is -5 less than p?
False
Let f = -0.12 + 0.16. Let y = f + 1.96. Is y smaller than 0?
False
Let l be (-2)/1 + (-2)/(-2). Is l > 2/11?
False
Suppose 2*l = l - 2. Suppose 3*m + 2 = -1. Which is smaller: m or l?
l
Suppose 0 = -p + 5, -3*c + 4*p - 30 = 2. Let o be 1/c + (-24)/32. Let d = 2/35 + 1/7. Is d greater than o?
True
Let a = -4 - -1. Let l = -2.8 - a. Which is greater: l or 0?
l
Let q(u) = 2. Let r(l) = -l - 1. Let k = -1 - -4. Let v(s) = k*r(s) + q(s). Let t be v(1). Which is greater: -3 or t?
-3
Let y = -0.01 - -0.01. Let g = -2 - y. Let s = -1 - -1. Is g <= s?
True
Let n(z) = -z + 2. Let q be n(-5). Suppose -5*h - 5*i = -25, 2*h - 13 = -4*i + q. Let t = 2257/11 - 205. Is t less than h?
False
Let i be 4/(-12)*(1 + (-274)/262). Are i and 0 equal?
False
Let w(r) = r**3 + 6*r**2 + 6*r + 3. Let u be w(-5). Which is smaller: u or -1?
u
Let r = 20 + -21. Is 1/11 greater than r?
True
Let c = -61 + 307/5. Is 3 != c?
True
Let l = 466/33 - 113/8. Let x be ((-1)/18)/((-1540)/8025). Let j = l + x. Which is greater: j or 0?
j
Let k = -7 + 11. Let z = k + -7. Let m(c) = c**3 - 4*c**2 - c + 2. Let i be m(4). Are z and i nonequal?
True
Let g = -1 - -3. Let d(o) = -3*o + 5 + 2*o - o**2 - 4. Let a be d(g). Is -5 less than a?
False
Let k = 5 - 6.9. Let j = -45 - -43. Let n = k - j. Which is smaller: n or -1/5?
-1/5
Let f(b) = b**3 - 8*b**2 - b + 6. Let k be f(8). Let u = 2 + 1. Let m be k*u/18 - 0. Which is smaller: m or 0?
m
Let s be 4*(-3)/(-6)*1. Suppose 3*k - 4*k + 15 = -3*u, 3*k = s*u + 10. Is -4/3 equal to k?
False
Suppose -h - 4*h = 2*j + 46, 5*h - j = -52. Is h < -9?
True
Let t = 176.29 + -177. Let v = -0.09 + t. Let y = -0.5 - v. Which is greater: 0 or y?
y
Let l = 3535/16 + -221. Is l greater than 1?
False
Let i = -1671/4522 - -4/323. Is i less than or equal to -1?
False
Let v(b) = -b**3 - 4*b + 0 - b + 6*b**2 + 1. Let z be v(5). Let a be (-8)/28 - (-50)/28. Which is smaller: z or a?
z
Let f = 173 - 171. Suppose 4*l = 2*d + d + 47, -5*d + 3*l = 60. Which is smaller: d or f?
d
Let i = 0 + -18. Which is smaller: -20 or i?
-20
Let a be (-2)/(-5) + 132/20. Let n(v) = v**3 - 7*v**2 - 1. Let b be n(a). Is b smaller than -3?
False
Let g be (8/6)/(5/3). Which is smaller: g or 2?
g
Let k(n) = -n**2 - 4*n - 2. Let h be k(-4). Let q be -3 + 0 + 5 + h. Which is smaller: q or -1/2?
-1/2
Let v = -0.4 + -5. Let b = 5 + v. Let i = -0.2 + 0.1. Is i at most as big as b?
False
Let v(j) = -76*j - 1. Let u be v(-2). Let m = u - 1361/9. Is -0.1 > m?
True
Let g = 9.3 - 10. Let t = -0.3 + g. Suppose 0 = 5*n - 5*a + 2*a + 24, 4*n + 3*a = -3. Is n greater than t?
False
Let r be 12/8*(-3)/2. Which is smaller: r or -3?
-3
Let f = 137 + -3289/24. Let l be 4/7 - (-3)/7. Is l not equal to f?
True
Let z = -1.05 + 0.75. Which is bigger: z or 3?
3
Let w = -52/45 + 14/9. Suppose -1 = c + 1. Which is bigger: c or w?
w
Let m(h) = -11*h - 1. Let i be m(1). Suppose 31*r = 27*r - 8. Let x be (-9)/i + r/8. Which is smaller: x or -1/2?
-1/2
Let t be 1 + (-15)/(-9)*3. Suppose 0 = -4*i, 0*i - t = -3*p - 3*i. Let f be (-3)/p + (-9)/(-6). Does 1 = f?
False
Let j be 42/24 - 3/(-12). Which is smaller: 1 or j?
1
Let x be (375/(-9))/((-1)/1). Let o = 42 - x. Suppose -z = -0*z. Is o bigger than z?
True
Suppose -2*f = -5*v + 2*v - 9, -5*v = 4*f + 37. Suppose 0 = 2*h + 3 + 1. Is h at most f?
False
Let u be (-2 + 0)*(-22)/4. Suppose 2*p = 4*o + 2, 3*p = o - p + u. Which is smaller: o or -1?
-1
Let p be 2/(-8)*14*(-4)/7. Suppose 0 = -3*l - l. Which is smaller: l or p?
l
Suppose -4*d + r = 11, -d = -2*d + r + 1. Is -4 < d?
False
Let r(c) = c + 20. Let a be r(-22). Let i(q) = q**3 - 7*q**2 + 8*q - 3. Let o be i(6). Let k be ((-3)/o)/(2/6). Is k less than a?
False
Let s be (-10)/(-25) - (276/(-15))/4. Is 5 at least s?
True
Let f = 3 + 1. Suppose -3 = -h + f. Let z(l) = -l**2 + 6*l + 7. Let q be z(h). Is 1 at least as big as q?
True
Let k = 68 - 71. Let b(z) = 3*z**3 + z**2. Let x be b(-1). Let n be 0 + 4/2*x. Which is smaller: n or k?
n
Let m be 0/(8/(-4)) + 0. Which is greater: m or 2/19?
2/19
Suppose 2*v + 0*v + 4*c = 12, v - 5*c - 20 = 0. Let n be v*((-216)/(-110))/3. Let j = n + -338/55. Is j at least as big as -3?
True
Let u(x) = -x - 4. Let b = 15 + -21. Let h be u(b). Let y = 108 + -106. Is h < y?
False
Let a(z) = -4*z**2 - z + 1. Let r(j) = -j**2 + j + 3. Let x be r(2). Let q be a(x). Is -5 >= q?
False
Suppose -5*k = 2*i - k - 132, -135 = -2*i - 3*k. Does i = 73?
False
Let d(u) = u + 1. Let z be d(-10). Is -9 at least z?
True
Suppose 4*h = -4*a + 16, 11 = a - 2*a + 2*h. Let k be ((-4)/14)/((-48)/42). Is a > k?
False
Let q = 8 - 5. Let k(r) = -r**3 + 2*r**2 + 4*r - 4. Let v be k(q). Let n = -14 - -13. Is n > v?
False
Let k = -44.9 - -43. Let i = 2 + k. Let g = 1.1 - i. Is -2 <= g?
True
Suppose -g = -3*x + g - 39, -5*x + 5*g - 60 = 0. Let m be x/190*4/(-3). Is -2/3 at most m?
True
Suppose 2*g = 3*g. Suppose g*y = 2*y. Which is smaller: y or -1/3?
-1/3
Let q be 3 + (1 - (1 - 2)). Let b = -15 - -21. Suppose 2*c - 3*h = 4, q*h = 2*h - b. Are c and -0.2 unequal?
True
Let q be 3/6*10/1. Suppose 3*l + 13 = -q*o, o - 2 = -l - 3. Which is smaller: 2/9 or l?
2/9
Let x(j) = j**2 - 4*j - 1. Let f be 1/((-2)/16*-2). Let b be x(f). Let c be (-8)/2*1/(-28). Which is greater: b or c?
c
Suppose -h = -0*h - 4. Suppose s - 6*u + 8 = -u, -u + 10 = h*s. Suppose -f = p - 2, 3*p = 3*f - s*p + 18. Which is smaller: -0.3 or f?
f
Let o be (1/(-1))/((-23)/(-23)). Let r = 10 + -16.07. Let k = r - -0.07. Is k less than o?
True
Let c(k) = -4*k + 4. Let j be c(-3). Suppose -3 = b, b = -4*t + 5 - j. Which is greater: -5 or t?
t
Suppose -5*r + 14 = c - 0*r, -r + 6 = -3*c. Is c < 2/25?
True
Suppose 2*c + 0 + 2 = 0. Are c and -2 equal?
False
Let a(b) = -b**2 - 11*b - 12. Let c be a(-10). Which is greater: c or -3/4?
-3/4
Let s be (-5)/(-20) 