153/4 - 893/20. Is -7 > z?
False
Let b(u) be the first derivative of u**2/2 - 4*u - 3. Let x be b(3). Which is bigger: x or -1/3?
-1/3
Let h be (6/(3 + -1))/(-1). Let a = -9 - -9. Suppose -4*c + 2*j + 0*j = 8, -2*j - 4 = a. Do c and h have the same value?
True
Suppose 12*v - 5*v = 560. Is v at most as big as 79?
False
Suppose 0 = 5*m - 2*m + 6. Which is smaller: -11/8 or m?
m
Let n = 7 + -20. Let k(w) = -w - 23. Let g be k(n). Which is greater: g or -8?
-8
Let k = 3 + -4. Suppose -5*o = 5*r, -2*o + 5*r + 24 = -o. Let u be 5/15*3/o. Is k equal to u?
False
Suppose 2*l = l. Which is smaller: -1 or l?
-1
Let m = 68 - 70. Let s = -1 + 2. Is s < m?
False
Let j = -10 + 12. Let w = j - 2. Is 0 < w?
False
Suppose 2 = 2*g - 2. Let w(s) = -s**3 + 8*s**2 - 7*s + 1. Let u be w(7). Let i be (-14)/(-8) - u/1. Which is greater: g or i?
g
Let z = 0 + -1. Let b be -1 + -30 + z + 1. Let c = b + 94/3. Which is smaller: c or -1?
-1
Let r = -5 - -12. Let l = 13 + -8. Let w = l - r. Do -0.1 and w have the same value?
False
Let s be 4/(-18) - 4*323/18. Which is smaller: -73 or s?
-73
Suppose 3*c - 19 = -4*p, -p + 5*c - 22 = 2*p. Let a = -1.2 - -1. Is p at most a?
False
Let c be 347230/(-8)*(-6)/373825. Let t = -3/1574 + c. Let m = 2/19 + t. Do 2 and m have the same value?
False
Let u be 7 + -3 + ((-738)/92 - -4). Is u >= 1?
False
Suppose 4*s + n - 36 = 0, s - 4*n + 2*n = 0. Let u be 4/s*(6 + -2). Which is greater: u or 5/4?
u
Let s be (-942)/22 + 13/(429/(-6)). Is -42 smaller than s?
False
Let f be 7/7 + 0 + 28. Is 28 smaller than f?
True
Suppose 8 = 2*z - 4. Let y be (-7)/6 - z/(-36). Is 0 greater than y?
True
Let b be 9/(-6) + 25/(-2). Which is bigger: -15 or b?
b
Suppose -3*m = -0*m + 3. Suppose 0 = 8*i - 15*i. Are m and i equal?
False
Suppose -3*j + 3*i = 18, -3*j + i - 8 = -0*i. Let h(s) = -s**3 - 2*s**2. Let y be h(-2). Let p be (1 + y)/((-21)/6). Are p and j nonequal?
True
Let j(c) = -c**3 - 7*c**2 - 5*c + 7. Let p be j(-6). Suppose -o + 2 = -0*o. Which is bigger: o or p?
o
Suppose -3*w - 4*z = -5*w - 32, z - 29 = 2*w. Which is bigger: 1 or w?
1
Let z(o) = -o**3 - 4*o**2 + o + 4. Let x be z(-4). Let q be (0 - 1) + 0 - x. Which is greater: 2/19 or q?
2/19
Suppose 2*o + 2 = o + 2*s, 2*s = 4*o - 4. Suppose -5*m + 4*g + o = 9, -5*m - g = -8. Are -1/5 and m unequal?
True
Let i be 6/3 + -1 + -56. Let w = -3616777/66060 + -2/16515. Let y = i - w. Do y and -0.4 have the same value?
False
Let o = -1.2 - -2.3. Which is bigger: 1 or o?
o
Let h be (-96)/265 - 62/(-155). Suppose 0 = x - 2*z + 9, 6 + 4 = 2*z. Are h and x non-equal?
True
Suppose -3*k = -2*k. Which is smaller: k or -4/11?
-4/11
Let i be (7/(-3) - -3)*15. Suppose 7*v = 12*v - i. Is 5/6 smaller than v?
True
Suppose 3*b + 2 = 5. Let m = b + -1. Suppose -2*g + 0*g = -3*g. Is g < m?
False
Suppose 18*q - 13*q = 0. Let g be 2 + -3 + 7/9. Which is greater: q or g?
q
Let k be (-1)/(-3)*(56 - -1). Let u be k/(-60) - (-3)/18. Which is smaller: u or 0.1?
u
Let j be 2627/(-8) + 9/(-36). Let t = j + 329. Is t < -1?
False
Let d be 3/6 - (-1)/(-2). Let h = -0.02 - 3.98. Let i = h + 5. Which is smaller: d or i?
d
Let k = 0.31 + -0.18. Let d = -0.03 + k. Which is smaller: -1 or d?
-1
Let r(w) = w + 3. Let x be r(-6). Suppose -f = 5 - 57. Let h be f/(-16) - 6/8. Which is smaller: h or x?
h
Let v be 2*1/4*4. Suppose v*c - 6 - 8 = 0. Which is greater: 4 or c?
c
Let b = 59.2 - 61. Which is bigger: b or 0?
0
Let d(g) = -3*g + 4*g - 2*g - 1. Let b be d(-4). Let s(w) = w**2 - w - 2. Let a be s(b). Is a at least as big as 5?
False
Let v = 112 + -111. Let c = -4 - -6. Let z = -2.1 + c. Which is smaller: v or z?
z
Suppose 0 = 3*k - 8*k + 5. Let b be (-4 + 2)*k - -3. Let u = -254 + 262. Is u less than b?
False
Let o = -1724/11037 + 2/849. Which is smaller: o or -1?
-1
Let n(w) = -w - 8. Let j be n(-8). Suppose -5*c + 3*g = -1 - 8, j = -5*c + 5*g + 5. Are -3 and c non-equal?
True
Let j = -12 + 14. Which is smaller: j or -2?
-2
Let z = -38533/78 - -494. Is -1 less than z?
True
Suppose 3*v = -3*q, -4 = -q + 5*v + 2. Let i be (-2 - -2)/(1 + q). Are -1 and i nonequal?
True
Let w be ((-84)/(-8))/((-3)/(-4)). Suppose 5*i - 2*i + 25 = 2*t, -2*i + 4*t - w = 0. Let u = i + 5. Which is bigger: u or -3?
-3
Suppose 0*m + 9*m - 18 = 0. Is 5/2 at most as big as m?
False
Suppose -2*u + 8 = 5*j, 0*u - 3*u + 12 = 4*j. Let m(n) = n - 2. Let a be m(-2). Let k be a/(-14) - (-26)/7. Is k greater than or equal to u?
True
Let u = -67/44 - -14/11. Let l = -8.6 + 0.6. Which is greater: l or u?
u
Let c = -5 + 8. Let s = -5 + c. Does s = -2?
True
Let k = 211/10 - 43/2. Which is bigger: 1 or k?
1
Let c = 1.17 - -0.13. Let d = c - 1.2. Which is greater: d or 2?
2
Suppose -5*c - 35 = -6*c. Is 36 less than c?
False
Let o = 0 - 1. Suppose 5 = 14*w - 15*w. Which is smaller: o or w?
w
Let o = -283/14 + 41/2. Which is smaller: 13 or o?
o
Let u = 1/48 + 11/48. Is 1 greater than or equal to u?
True
Suppose 0*h - 6 = 2*h. Is h < -9?
False
Let x = -5.03 - 0.07. Is 0.1 bigger than x?
True
Suppose 7 = 8*c + 7. Is -46 at least c?
False
Suppose r + 3*r = 4*z - 8, -4*z - 10 = 5*r. Let c be (-2 - z - -2)*-1. Suppose j + 3*j = c. Is j at least as big as 1?
False
Suppose 0*q - 4*g = -2*q - 10, 3*q - 5 = g. Suppose 7*h - 3*h = -q*b + 8, 0 = b - 4. Which is greater: h or -3/2?
h
Let n = 0.02 - 0.02. Let i = 0.1 + n. Suppose 0*o + 2*o - 13 = -5*b, 3 = -b + o. Which is smaller: b or i?
i
Let o = -9.5 - -9.1. Is o >= 0?
False
Let j(h) = -h**2 + 6*h + 5. Let z be j(7). Let t be (-15)/(-5) + (z - 3). Is -6/11 smaller than t?
False
Let u = 1.12 - 25.12. Which is greater: u or 2?
2
Let r be 2/7 - (-1 + 1). Let z be 116/(-10) + (-28)/70. Let o be 4/(z/(-3)) - 2. Is o at least as big as r?
False
Suppose 5*u = 0, 3*u - 12 = -4*y - u. Suppose -r - y*r - 8 = 0. Let h = -37/12 - -7/3. Which is smaller: h or r?
r
Let q = 1.4 - 1. Let d = -169 + 172. Is q > d?
False
Let i be ((-2)/(-48))/(4 - (-30)/(-9)). Which is bigger: i or 0?
i
Let v be 1 + -1 - 52/(-24). Which is smaller: v or 2?
2
Suppose 1 + 0 = y. Suppose 2*h - 10 = 0, -5*x - 4*h + 30 = h. Let t = x + y. Are -2 and t non-equal?
True
Let f be 12/9*3/2. Let t = f - 4. Let k(l) = -l**3 - 2*l**2 + 1. Let j be k(t). Is 1 greater than j?
False
Let m be -3 - (-2*5 - -3). Suppose 3*u + 3*s = m*s, 0 = -2*u - 3*s - 11. Is 0 at least as big as u?
True
Let f = 4 - 0. Suppose -a + 18 = f*r, 5*r + 4*a = -a + 30. Which is greater: 5 or r?
5
Let v(w) = w**2 - 15*w - 34. Let b be v(17). Which is smaller: b or 1?
b
Suppose -1 = 3*v - 4. Let w be 1*0/(v - 2). Let q = 1 - -1. Does q = w?
False
Let t = 1.14 - 6.14. Is t at least as big as -14?
True
Let l be 0 + -1 + 1 - (18 - 16). Which is smaller: -4 or l?
-4
Suppose 0 = -2*c - 3*c. Let b = -8 - -6. Let g = b - -5/3. Which is bigger: g or c?
c
Let l = 8.2 - 7.8. Which is smaller: -5 or l?
-5
Let j(b) = -4*b**2 + 17*b + 1. Let f be j(5). Is 2 at most as big as f?
False
Let z be -4 + 4*3/6. Let w be 0*(-4 - (-22)/6). Is z not equal to w?
True
Let a = -117491/2033 - -2450/107. Let l = a - -35. Is l at most 0?
False
Suppose 0*r + 31 = r. Which is smaller: r or 32?
r
Suppose -4*y = 3*g - 72, -3*y + 0*g + 83 = -5*g. Let f be (-4)/10 - y/(-90). Suppose -2*w = -6*w + 3*m - 2, 4*w + 3*m = 10. Which is smaller: f or w?
f
Let w be (-6)/4*(1 + -5). Let u(a) = a - 8. Let s be u(w). Let b(y) = -y - 2. Let n be b(s). Which is smaller: n or 2/5?
n
Suppose -3*b - l + 7 + 4 = 0, b = -2*l + 2. Suppose -5*n = -b*n + 1. Is n smaller than -1?
False
Suppose 3*i = -5*c + 67, i = 5*c - 86 + 15. Let b be (-3)/7 + 6/c. Let g = -2.9 - 0.1. Is b bigger than g?
True
Suppose 5*y - 2*i = 32, 4*y - 5*i = -y + 20. Let g = -4 + y. Let a be (2 + -1)/(g - -1). Which is bigger: a or 0?
a
Suppose 4*y + 14 = -3*d, -3*y + 2*y + 3 = 4*d. Let q be d/(-6) - 3 - -3. Let f(p) = -p + 1. Let x be f(2). Is x at least as big as q?
False
Let k(g) = 6*g - 1. Let h be k(-1). Let d = h + 12. Suppose -18 = i + d*q, 3*i = -i - 4*q - 8. Which is smaller: i or 1?
1
Let w = 0.05 + 0.95. Let h = 0.1 - 0.1. Let c = 0.5 - h. Is c != w?
True
Let i = -7 - -7. Let w(k) = -k**2 - k + 12. Let v(z) = -z - 1. Let u(q) = -4*v(q) - w(q). Let m be u(-6). Which is greater: m or i?
i
Suppose w + 3 = -4*k, -3*w + 5*k + 2 = -4*w. Let d(t) = t**3 + 7*t**2 + t + 12. Let u be d(w). Doe