-28)/24 + n). Is -7 at least as big as f?
False
Let s = -41 + 40.9. Which is smaller: -0.14 or s?
-0.14
Suppose -6 = f - 2*w + 5*w, 5*w = 0. Let m be ((-4)/f)/(10/6). Let a = 0.5 - 0.7. Are a and m unequal?
True
Let z = -0.079 - -0.179. Which is smaller: z or -7?
-7
Let m(u) = -u - 22. Let c be m(-20). Which is smaller: -3/4 or c?
c
Let n = -9 - -11. Let b be 2 - 5 - (-8 + n). Suppose 0 = g - 1 - 0. Which is smaller: b or g?
g
Let o be (-38)/(-12) - 5/30. Suppose -l - 14 = -o*v, -5*l = -3*l + 2*v - 12. Which is smaller: l or -3/16?
-3/16
Let q be 7/(21/6) + 14. Which is smaller: q or 1?
1
Let b be (-54)/26 + 4/2. Is b > 0?
False
Suppose -b - 108 = -5*b. Let u = b - 16. Is u greater than 11?
False
Let n = 43 - 41.1. Let l = 1.94 - -0.06. Let x = l - n. Which is smaller: x or -2?
-2
Let c = -89.6 + 90. Let n = 0 - 0. Does n = c?
False
Suppose c = 8*c - 119. Is 17 less than c?
False
Suppose -5*x - 31 = -0*n + 3*n, -4*x - 20 = 0. Is n > -1/2?
False
Let i = -7 - -7. Suppose i*k = 4*k. Is k smaller than -7/5?
False
Let n = 43 + -8. Suppose -4*x - u - 17 - 1 = 0, -5*x = -5*u + n. Which is smaller: -19/5 or x?
x
Let q = 13 - 13. Which is bigger: q or 2?
2
Let z be (-2)/11 + (-174)/11. Which is smaller: 0 or z?
z
Let f be -2*2 - 8590/(-65). Let p = -128 + f. Is 1 less than p?
False
Suppose -4*r + 23 = 3*p, 2*p - r = 2*r - 13. Is 2/51 > p?
False
Let i = 5/7 + -32/35. Suppose 2*o + 2*o + 4 = 0. Which is smaller: i or o?
o
Let x be (-2)/(-6)*6/(-4). Let g be (-1)/(-3) - (-1)/(-3). Are x and g equal?
False
Let x = 778 - 25676/33. Let z = 3/11 - x. Let r = 51 + -51. Which is smaller: r or z?
r
Suppose 2*s - 3*t + 18 + 61 = 0, 0 = -s - 2*t - 57. Let f = s - -80. Let y be 2/f*-1*3. Which is greater: y or 1?
1
Let u(z) = 3*z + 3. Let n be u(3). Which is smaller: 11 or n?
11
Let h be (-8)/(-20) + (-44)/10. Let m be (h/(-6))/(6/(-9)). Does m = -1?
True
Let x(j) = -2*j - 66. Let g be x(0). Let i be (g/(-77))/((-8)/(-21)). Which is greater: i or 3?
3
Suppose 7*s = 11*s. Which is greater: 2/13 or s?
2/13
Let m be 3/(3 - 52/16). Let q = -4 - 0. Let x be (q/m)/(6/(-4)). Which is greater: x or 0?
0
Suppose 0*w + c = 3*w + 8, -w - 3*c = -4. Is -2/7 at most w?
False
Let d = 2.95 + 0.05. Let z = d - 5. Let m = -2.1 - z. Which is bigger: m or 1/3?
1/3
Let i = -3.1 + 3. Let k = i + 0.1. Let v(t) = -t**2 + 4*t. Let a be v(3). Which is smaller: a or k?
k
Let f(v) = 3*v + 16. Suppose t + 11 = -0*t. Let d be f(t). Let m = -12 - d. Which is greater: m or 0.1?
m
Let a = -38 - -23. Which is bigger: -16 or a?
a
Suppose 2*h = -2*h - 4. Let v be (-69)/16*4/6. Let g = -191/72 - v. Is g smaller than h?
False
Let j be (3/((-63)/(-2)))/(16/(-9)). Is 0 equal to j?
False
Let m be ((0 - -2)*1)/(-2). Let p be (2/5)/((-32)/90). Let z = p - m. Is z < -1?
False
Suppose 3*u - 8*u = -4*w - 17, 3*w - 2*u + 11 = 0. Let g(v) = -v - 9. Suppose -14 = -6*f + 8*f. Let p be g(f). Is w less than p?
True
Suppose t = -0*t - 2, -5*q = -2*t - 19. Let u be (-1)/(-1) - 6/q. Let p = 193/5 - 39. Is p smaller than u?
False
Let d = 13 - 12. Which is bigger: d or 3?
3
Suppose 0*q - 2 = -2*z + 3*q, z + q = -4. Do -2 and z have the same value?
True
Let k = -0.19 + 0.5. Is k at most as big as -1?
False
Suppose 4*m = 2*r + 10, 5*r + 2 = 3*m - 2. Which is greater: r or 2.1?
2.1
Let s = -14 + 12.9. Let t = s - -0.9. Which is greater: -1/3 or t?
t
Suppose -j + 3 = -4*j. Let x = 51/1498 - 252143/1498. Let v = -168 - x. Which is bigger: v or j?
v
Let l(y) be the first derivative of 8*y - 9/2*y**2 + 1 - 1/3*y**3. Let q be l(-9). Which is greater: 7 or q?
q
Let g be ((-12)/126)/(2/(-6)). Let a = 0.2 - 1.2. Which is smaller: g or a?
a
Let b be 7*((-2)/2 + 0). Let f = 7 + b. Which is greater: -4/7 or f?
f
Let l be 2/36*(-21)/(-224). Is 0 less than or equal to l?
True
Let h(s) = -s + 26. Let o be h(-16). Which is smaller: 41 or o?
41
Let a = -1250691/7 + 178131. Let m = 540 + a. Let w(r) = -2*r**3 + r**2 + r. Let f be w(-1). Which is smaller: f or m?
m
Let n be -1 - -13*(-2)/(-14). Suppose -9*t = -7*t + 8*t. Which is bigger: n or t?
n
Let l = -0.39 + 0.09. Let f = -29.3 + 28. Let b = f - l. Which is bigger: b or -0.1?
-0.1
Let s be -1 - (0 + 1)*2. Let q(m) = -m**3 - 3*m**2 - m + 2. Let x be q(s). Let d be ((-2)/x)/(1/5). Is -2 bigger than d?
False
Let v be (2/(-4))/((-6)/(-4)). Let t = -121/690 - -1/115. Let i = v + t. Is i not equal to -0.1?
True
Let b = 57 + -119. Which is greater: -63 or b?
b
Let h = -7 - -10. Suppose 2*g + 5*r + 18 = 0, -2*g - h*r + 4*r = 6. Are -3 and g equal?
False
Suppose v - 3*h + 1 = -0*h, 20 = 2*v + 5*h. Suppose 4*l - 24 = -6*j + 2*j, 0 = -v*j + 3*l - 10. Which is greater: j or -1?
j
Let s = 516/11 - 47. Let f be (-12)/(-16) - 14/8. Which is smaller: f or s?
f
Let s be (-46)/14 + 3 + (-5)/7. Is s < 3/13?
True
Suppose -2*d = -d - 10. Let x = 18 - d. Suppose -3*w + x = -5*z, w = -2*w - 5*z - 2. Is w at least 1?
True
Suppose 5 = 2*g - g. Suppose g*i - 6 = -21. Which is bigger: i or -2?
-2
Let k(p) = 2*p + 3. Let l be k(-2). Let h = 0.8 + 4.2. Let c = h - 4. Which is smaller: c or l?
l
Let x = -67108/163713 - -37/1331. Let o = -2/41 - x. Does 2 = o?
False
Suppose 0 = 3*c - 4*c + 34. Suppose 2*z = -2*o - 2*o + c, -5*z = -3*o + 32. Which is smaller: 11 or o?
o
Let b = 0 - 0.1. Let g be 1 - (-1 + (-3 - 6))/2. Which is smaller: b or g?
b
Let g be -6*(-6)/9*1. Suppose -5*d + a + 1 = 0, -2*a + a + g = 0. Let v be 1 + -2 - 26/(-22). Which is bigger: d or v?
d
Suppose -5*t - 3 - 2 = 0. Suppose 8*h - 588 = 4*h. Let q be (-1365)/h + (-4)/(-14). Is t greater than or equal to q?
True
Let o be 2 + -2 - (1 + -1). Suppose -4*x - 140 = x. Let m be 15/x - 8/(-28). Is m less than o?
True
Let a = 89 + -88. Which is greater: 1/52 or a?
a
Let x = 39.2 + -39. Which is smaller: -2/7 or x?
-2/7
Let b = -107/4 + 27. Are b and -5 nonequal?
True
Let j be 1*(-1)/((-1)/(-41)*-1). Is j smaller than 41?
False
Let f = -43.12 + 43. Is 2/7 equal to f?
False
Let q = 3 - 2. Let y = 8 + -7.5. Which is bigger: y or q?
q
Let p = -12 + 16. Is -5/6 >= p?
False
Let r be 5 + 68/(-7) + 5/1. Let y = 0.5 - 0.56. Which is smaller: y or r?
y
Let u = -8 - -5. Let h = 1 + u. Is 2/11 bigger than h?
True
Let m = -9 - -17/2. Let n = 23/6 + -11/3. Which is smaller: n or m?
m
Let k = -1/68 - -73/340. Is k >= 1/5?
True
Let l = 0.06 + -3.06. Let u = 5.6 - 2.7. Let p = u + l. Which is bigger: p or 2?
2
Let m(f) = f**2 - 8*f + 6. Let u = 11 + -3. Let a be m(u). Which is smaller: a or 4?
4
Let k(t) = 19*t + 59. Let u be k(-6). Which is greater: -54 or u?
-54
Suppose -j = 3*h + 12, h + 4 = -3*h. Let b be ((-1)/j)/((-2)/(-6)). Let l = -143/574 - 3/82. Which is smaller: b or l?
l
Let p = -150 - -460/3. Is 3 != p?
True
Let y = -65 + 5. Let u be (-2)/(-4) - y/8. Let x = u - 3. Which is greater: 0 or x?
x
Suppose 16 = 3*m - m. Which is greater: m or 6?
m
Let r = -6 - -4. Let d = -8 - -7.7. Let t = 1.3 + d. Is r < t?
True
Suppose 2*s = -4*c - 4, s - 3*c - 9 = -1. Let r be (-7)/(-3) - s/(-3). Suppose m + 4 = -r*m. Is m bigger than 2/7?
False
Let d be ((-18)/(-24))/(-2*2/(-112)). Which is smaller: d or 19?
19
Let p = -100848 - -1007209/10. Let j = 127 + p. Are 1 and j equal?
False
Let k(g) = g**3 + 8*g**2 + 8*g - 1. Let c = 7 - 14. Let y be k(c). Is -9 bigger than y?
False
Let r = 10 - 9. Suppose -15 = -5*h - 5. Are r and h nonequal?
True
Let n = 15.1 - 14. Let h = n + -0.1. Let a = -7/15 - -2/3. Is a less than h?
True
Let p = 0.3 - -2.7. Let c = 3 + -2. Let b be -1 - ((-15)/12)/c. Which is greater: p or b?
p
Let c be (-26 - -13)*(-1 + 0). Let i be 26/20 - c/26. Which is greater: 1 or i?
1
Let n = -41 - -128/3. Is 1 at least n?
False
Let z(n) = -n**2 + 7*n + 20. Let u be z(9). Is u less than or equal to 7?
True
Let g(n) = n**3 - n**2 + 1. Let c be g(0). Which is smaller: c or -7?
-7
Let d be -1 - 5*66/(-334). Let m = 272/5177 - d. Does 1 = m?
False
Let j be 1/((-2)/((-6)/(-3))). Let a be -1*((-4)/2 + j). Let m be a/(-2 + 5/(-2)). Which is smaller: m or 0.2?
m
Let w = 0.034 + -0.134. Is -20 >= w?
False
Let u(w) = -w**2 - 11*w + 1. Let h be u(-11). Is h greater than -4/15?
True
Let s = 32 - 65/2. Which is greater: s or 0?
0
Let h = -19 - -16. Let g(i) = i**3 + 3*i**2 + 2*i + 7. Let l be g(h). Is l smaller than 2/33?
False
Let i = -0.23 + 0.07. Let v = i - 0.14. Is v at l