equal to -25?
True
Let a = 0.8 - 0.61. Let f = -0.2 + a. Let t = 0.11 + f. Which is smaller: -1 or t?
-1
Let r = -8434/19 + 444. Which is smaller: 1 or r?
r
Let q = -13 - -11.9. Let o = q + 0.1. Let v = 295/77 + -39/11. Is v not equal to o?
True
Suppose -6 = 4*h + 3*k, -h + 2*k - 3 = -7. Does h = -2/59?
False
Let x = 6 - 12. Let v = x + 2. Which is smaller: 1 or v?
v
Let q = 34/477 - -8/53. Are q and 0 non-equal?
True
Suppose 0 = -4*s + 40 - 12. Is s equal to 8?
False
Let m = 7/3 - 3. Let n(r) = r**3 - 13*r**2 - 16*r + 17. Let c be n(14). Is c < m?
True
Let v be (2/2 + -1)/2. Let t = 956/11 + -192112/2211. Let p = t - 470/3417. Which is smaller: v or p?
p
Let r(y) = 5*y**3 - 4*y**3 + 8*y**2 + 3*y - 3*y**2. Let n be r(-4). Let g be 19/n + 12/(-16). Is 3 < g?
True
Let b(d) = -10*d - 5. Let h be b(-1). Let r(g) = -g**3 + 5*g**2 + 5*g + 8. Let n be r(6). Let o be n - (8/(-2))/2. Which is greater: o or h?
h
Let v = 49.98 + -50. Which is smaller: 0 or v?
v
Suppose 2*z = 2*k - 108, z + 242 = 5*k + 3*z. Let r be ((-12)/15)/(4/k). Are -11 and r nonequal?
True
Let q = 1 - -1. Suppose 0 = -a - q*a. Is 0 greater than a?
False
Let b = 0 - -0.4. Is -1 equal to b?
False
Let g(f) = -2*f**3 - 2*f**2 - 2*f - 2. Let o be g(-3). Let p be (4 - o/12)*-9. Let x(w) = -3*w - 1. Let n be x(2). Which is smaller: p or n?
n
Let k(g) = -g - 10. Let q be k(-9). Which is smaller: 6/13 or q?
q
Let f = 3.1 - 3. Let z = f - -0.5. Let s = z + -3.6. Is s smaller than -1?
True
Let r be ((-1)/2)/((-2)/28). Suppose 9 - 2 = w. Is w greater than r?
False
Let r(i) = i - 2. Let m be r(0). Let g be 6/15 + (-114)/(-15). Suppose z = -2*v - g, 0 = 2*v + v + z + 11. Does m = v?
False
Suppose -4*g + 1 - 5 = 0. Let s = 461 + -3233/7. Which is smaller: g or s?
g
Suppose 43 = 2*o + 41. Is 2/23 equal to o?
False
Suppose h - 7 = -4*x, -x = -0*x - h + 2. Let r be ((-3)/6)/(x/10). Let d be (8/(-10))/((-2)/(-10)). Is r at most as big as d?
True
Let t(r) = r + 15. Let y be t(-7). Let i(g) = -g**2 + 8*g - 1. Let s be i(y). Is 0.1 greater than s?
True
Suppose 3*j = 9*j + 6. Is j != -4/3?
True
Let w be (-52)/(-14) + 4/14. Suppose -50 = n + w*n. Let i = n + 32/3. Is 0 greater than or equal to i?
False
Let v = -4/55 + -69/110. Which is greater: -1 or v?
v
Let w = -0.04 + 0.19. Do -1 and w have the same value?
False
Suppose 3188 = -3*q - q. Let w = 15943/20 + q. Is w less than 0?
False
Let l = -58 + 58. Let o = 0.1 - -0.1. Let c = o + -0.1. Do c and l have different values?
True
Let t(b) = b**2 - 3*b + 6. Let d be t(-2). Which is smaller: d or 15?
15
Let u(m) be the third derivative of m**6/120 + m**5/60 + m**4/12 + m**3/6 + 2*m**2. Let w be u(-1). Which is smaller: 0 or w?
w
Suppose -2*h + 3*r - 2*r = 9, 2*h + 3*r + 21 = 0. Let u = h - -2. Is -4 at least as big as u?
True
Suppose 4*t = 5*t + 3. Which is smaller: t or -7/3?
t
Let n be ((-46)/(-9) - 5)*1. Suppose -12 = 3*w, -24 = -4*b + 2*w + 3*w. Which is bigger: n or b?
b
Let l(p) = 2*p + 2*p**3 - 3*p**3 + 0*p**3 - 7 + 5*p**2 + 0*p**3. Let x be l(5). Is 3 greater than x?
False
Let o(j) = j**2 - 9*j + 5. Let v be o(8). Which is greater: -1 or v?
-1
Let m = 27263/11 - 2483. Let n = m + 433/88. Which is greater: -1 or n?
n
Let x be ((-20)/30)/((-2)/(-39)). Is x bigger than -12?
False
Let r(g) = -g + 7. Let a be r(5). Suppose 5*d - 3 = 7. Suppose -8 = w - 3*z, z = 1 + d. Does a = w?
False
Suppose t - 3 = s, -8*s + 12*s = 2*t - 10. Is t greater than 0.012?
True
Let q = -319/111 - -27547/7770. Let p = q - 4/7. Is 0 != p?
True
Let b = -6.7 + 0.7. Let z = b - -6. Is -0.2 < z?
True
Let r(g) = -g**3 - g - 14. Let u be r(0). Let c be ((-2)/16)/(7/u). Let w = -11 - -10. Which is smaller: w or c?
w
Let h = -224 + 221. Which is bigger: 0.02 or h?
0.02
Let l = -22 + 24. Which is smaller: l or 4/7?
4/7
Let t be 10/(-6) - (-6)/9. Let l be -1 + 0/t + 1. Let i be (4/(-14))/((-45)/35). Which is smaller: l or i?
l
Let b = 0.05 - -0.85. Let h = b - 1. Let f = -3 - -5. Which is greater: f or h?
f
Let o = 0.98 + -2.98. Is 0.24 less than or equal to o?
False
Suppose -4*f = -2*n + 18, 0 = n - 2*f - 2*f - 19. Which is greater: -1/11 or n?
-1/11
Let q be 3*6/(-12)*2/(-3). Is -1/24 bigger than q?
False
Let t(o) = 1 - 6*o + 1 - o**2 - 1 - 4. Let y be t(-4). Let b = y - 3. Are 2 and b non-equal?
False
Let p = -97 + 109. Is 1 >= p?
False
Let o(n) = n**3 - 5*n**2 - n + 2. Suppose -2*r + 12 = 2. Let i be o(r). Is i greater than -3?
False
Let n be (-12)/60 - (-2)/(4/6). Are 4 and n non-equal?
True
Let w(x) = -x**2 - 5*x + 7. Let j be w(-6). Let z(b) = b - 1. Let l be z(1). Suppose -n + 7 = -l*t - t, 0 = -n - 2*t - 8. Does j = n?
False
Let h be (-18)/45*(-8 + 3). Let l(w) = -w**2 - 5*w - 4. Let k be l(-3). Are h and k non-equal?
False
Let l(c) = -c**2 - c + 1. Let j be l(0). Let h(q) = 2*q - 7. Let r be h(-7). Let o = -62/3 - r. Is o less than j?
True
Let g be (-9 + 3)/(6/(-4)) - 5. Suppose -2*x + r + 2 = 2*r, 5*x + 4*r - 8 = 0. Which is smaller: x or g?
g
Suppose n - 2*n = -3*t - 10, 4*t - 5*n = -28. Which is smaller: t or -3?
-3
Let g = -8 - -4. Let j = 3.9 + g. Is 2/5 at least as big as j?
True
Suppose -s + 3*s = -5*t - 186, 2*s + 172 = 2*t. Let q = 173/2 + s. Which is smaller: -0.1 or q?
q
Let w = 11/4 + -5/2. Which is greater: w or -1?
w
Suppose 42 = -3*g + 3*f, -4*f = -g + 3*g - 2. Which is smaller: g or -1?
g
Let u = 3 - 3/2. Let l(w) = 3*w - 5. Let c be l(4). Let y be (-2)/(-5) - c/5. Is y >= u?
False
Let b be (-3)/(-1 - (-14)/8). Let x = b - -4. Let l be 128/(-68) + (-4)/(-2). Which is greater: l or x?
l
Let a be 4/(-6) + 836/1155. Is a bigger than 1?
False
Suppose -62 = -0*s + 2*s. Which is greater: s or -30?
-30
Let r = 0.9 + -2.9. Let b = 3 + r. Which is smaller: b or 0.05?
0.05
Let b = 2/15 - 8/15. Let r = -146 + 146.4. Is b < r?
True
Let o be 5/(-2)*(-66)/11. Suppose 3*s + 0*s = -o. Let n = -7 + 1. Which is smaller: s or n?
n
Let u = 68/3 - 22. Which is bigger: 9 or u?
9
Let p(y) = -y**2 + 8*y - 4. Let i be p(7). Which is bigger: 2 or i?
i
Let y be ((-24)/30)/(4/(-10)). Suppose 3*c = -4*r + r + 15, -4*r - 2*c + 16 = 0. Which is smaller: r or y?
y
Let q be (-1)/4 + 15/(-12). Let y = 13 + -2. Suppose 5*w + y = 1. Is q less than w?
False
Let w = 55 - 49. Which is smaller: w or 2/7?
2/7
Let t = -10.99 + -0.51. Let k = t - -0.5. Which is greater: k or -0.1?
-0.1
Suppose -65 = -4*k + 3*x, 2*x = -3*k + 4*k - 20. Let d be (-4)/14 - 38/k. Do d and 1 have the same value?
False
Let b = -6 - -4. Let d(o) = -o**3 - 3*o**2 - 2*o + 1. Let y be d(b). Is y bigger than 1/9?
True
Let o = 2/271 + 536/813. Let f = 0.2 + -0.2. Are o and f equal?
False
Let m = 62.1 + -62. Is m >= -14?
True
Let z be 4/(-5*6/(-45)). Suppose 0 = -4*y + 2 - z. Let i be (-1)/2 + 7/8. Are i and y nonequal?
True
Let u = -15 + 15.9. Let c = 4.6 - 4. Let r = c - u. Are r and 0 equal?
False
Let z = 14 - 13.7. Suppose b - 5*g - 35 = 0, 0*b - 5 = b + 5*g. Suppose 0*m + m - 2*x = 7, -4*x - b = -m. Is m <= z?
True
Let w be 4/2*18/(-4). Is -10 at most as big as w?
True
Suppose 3*g + q - 7 = 6, -2*g + 22 = 4*q. Is g less than or equal to 2?
False
Let v be 6 + -3 - (-10)/(-2). Which is bigger: v or -3/4?
-3/4
Let h = 8.94 - 9. Are h and -0.11 unequal?
True
Let t be (-2)/(-5) - (-82)/(-30). Let y = -3 - t. Let k = -5 + 4. Do y and k have different values?
True
Let u = 118.03 - 117. Let h = u - 0.03. Let q be (-2)/(-5) - (-3)/(-20). Are q and h unequal?
True
Let n be 13209/(-5688) + -1 + 3. Let i = 9/79 + n. Let w = i - -7/8. Is 1 equal to w?
False
Let q = 212 + -1906/9. Are 13 and q nonequal?
True
Let v = 1172 - 179314/153. Which is smaller: v or -1?
-1
Suppose 14 = -6*u + 2. Suppose -3*m + 0*m = -3*z - 30, 4*m = 5*z + 46. Let b be ((-6)/4)/(z/(-8)). Is u >= b?
True
Let r = -570833/179 - -3189. Which is bigger: r or -0.1?
r
Let a = 21/2 - 10. Suppose 4 = -d + 5*d. Which is smaller: d or a?
a
Let g(h) = h + 7. Let l be g(-6). Let s be 0*(-3)/(-6)*1. Suppose s = 2*d - 3*d. Which is bigger: d or l?
l
Let g(v) = -2*v + 5. Let w be g(6). Let x(f) = -f**3 - 7*f**2 - f - 4. Let n be x(w). Suppose 9 = 3*h - n. Is 5 less than or equal to h?
False
Let a = 16 + -15.9. Are 0.3 and a unequal?
True
Let j be 2 + 0 + (-10)/8. Does j = 2?
False
Let f = 0.1 + 0. Let o = f - 2.1. Let u = o - -2. Is u greater than 0.2?
False
Let o be 0 + -2 + 12/5. 