h is smaller: y or 3?
3
Let s = 60 + -14. Which is greater: s or 1/3?
s
Let s = 11 - 3. Let h(k) = k**3 - 8*k**2 + k - 10. Let y be h(s). Is -3 != y?
True
Suppose 2*w = 3*d + 5*w + 9, -4*w - 12 = 2*d. Let o(b) = 3 - b**3 - b**2 + 2*b**2 - 2*b**2 + b. Let k be o(d). Do 0 and k have different values?
True
Let k = 320 + -2557/8. Which is smaller: 1 or k?
k
Let n be (-10)/(-50) - 1/5. Suppose n*f - 4*f - u + 13 = 0, 3*f - 1 = u. Is -1 at most f?
True
Let u = -16 - -34. Which is bigger: u or -0.1?
u
Let s = 22 - 13. Let v = s + -5. Let r = v + -4.2. Which is smaller: 2/3 or r?
r
Let i = -70/117 + 2/13. Let o = -5/4 + 3/4. Which is smaller: i or o?
o
Let x = 5 - 4.9. Let a = 19/30 - 2/15. Are a and x unequal?
True
Let i be (-5)/(-2)*(-6)/(-3). Suppose n + 10 = -n + i*a, 0 = -4*n - 5*a + 10. Let f(t) = -t**2 + 2*t + 3. Let z be f(3). Are z and n nonequal?
False
Suppose 2*w + 54 = -4*w. Let q = -9 - w. Which is smaller: 2/15 or q?
q
Let j = 1.09 - 0.1. Let h = 0.01 + j. Are h and -0.1 unequal?
True
Let m(v) = -2*v + 4. Let w be m(5). Is -5 at most as big as w?
False
Let z = 164/333 - 10/37. Which is bigger: 3 or z?
3
Let d = 5/13 + -17/78. Let l = -9.8 - 0.2. Let b = 11 + l. Which is smaller: b or d?
d
Let n be 7/(-14)*2*1. Let d be -2 + 3 - (2 + 0). Are d and n unequal?
False
Let m(d) = -d**2 - 8*d + 9. Let a be m(-9). Which is greater: 1/82 or a?
1/82
Let k = 1.16 - 0.16. Is 4/13 less than k?
True
Let c be (-4 + (-66)/(-18))*6/2. Suppose 2*u + 0*u + 6 = 0, 4*u + 8 = 2*n. Is n >= c?
False
Let c(h) = -2*h**3 + 1. Let i be c(-1). Suppose 3*b = -b - 3*a - 5, -5*a = i*b + 1. Let l be (3 - b)*6/15. Is l at least as big as 2?
True
Let u = -4.95 - 1.05. Are -2/3 and u equal?
False
Let m = -7 + 7.3. Let d = 0.9 + -1. Are d and m non-equal?
True
Suppose 4*k + 2*v + 202 = 0, 5*k = 5*v - v - 285. Let x = k + 373/7. Let i = 0.2 - 2.2. Which is greater: i or x?
x
Let x = -10 + 8. Let r be (2 - (-4)/x)/(-1). Which is smaller: r or 6?
r
Suppose -10 = -k - 2*r - r, 1 = -2*k + r. Which is smaller: -4/63 or k?
-4/63
Suppose -3*o - o = -160. Let i = 278/7 - o. Which is bigger: -1 or i?
i
Let j = -4.8 - -4.5. Let i = 3 + -2. Which is bigger: i or j?
i
Let h be -6 + 0 + (-6)/(-3). Let n = -3 - h. Which is smaller: 3/4 or n?
3/4
Let d = -17 - -20. Let o(j) = -2*j - 6. Let k be (0 - (5 - 0)) + 0. Let l be o(k). Is l equal to d?
False
Suppose 0*l + 2*l - 16 = 0. Suppose 0 = 3*n - l*n + 10. Let z be 3/(-18)*n*-6. Which is smaller: -0.1 or z?
-0.1
Let y(n) = n**2 - 2*n - 3. Let l be y(3). Let b = 1 + l. Let c be (0 + b)/(3/(-9)). Which is smaller: -2 or c?
c
Let l be (-1 - -2)*(-2 - -10). Let s be 9/(-6)*l/(-3). Suppose 4*b - 8 = 2*b. Is b equal to s?
True
Let h(x) = x**2 + 7*x + 7. Let g be h(-6). Suppose -3*p = -g - 14. Suppose -4 = -p*r - 9. Which is smaller: 2/23 or r?
r
Let d = -1.7 - -4. Let g = 0.3 - d. Which is smaller: g or 2/9?
g
Let d(x) = -3*x - 1. Let l be d(-1). Suppose 4*s - 2*w - 24 = 2*w, 5*w = 3*s - 28. Which is greater: l or s?
l
Let p = 30005/37 - 811. Are 0 and p equal?
False
Let f = -29 - -31. Let x be -9*3/(45/(-2)). Which is bigger: x or f?
f
Let k(l) = l**3 + 6*l**2 + 2*l + 6. Let y(o) = -3*o + 6. Let u be y(4). Let w be k(u). Let m(v) = -v**2 - 7*v - 6. Let x be m(w). Are x and 2/7 non-equal?
True
Suppose 38 = 3*z + l, 6*z + 4 = 5*z + 3*l. Is 11 <= z?
True
Let n be (-44)/(-24) + (-2)/(-12). Let f = n + 3. Is 5 at least as big as f?
True
Let j be -1*1/23*-6. Let r = 35/46 - j. Are 4 and r unequal?
True
Let k be ((-7)/2 - -3)*26. Is k > -13?
False
Let x be 56/29 - 8/4. Is x <= 0?
True
Suppose -4*k + 4 = 5*u, 0*u - 1 = -k + 3*u. Let d(a) = -4*a + 1. Let l be d(-1). Let x = l - 5. Are x and k unequal?
True
Let x = -176 - -170. Which is bigger: x or 4?
4
Let i = -50/103 - 2140/1957. Is i smaller than -2?
False
Let a = -21.6 + 19.6. Let g = -11/26 + -1/13. Which is smaller: g or a?
a
Let c be 2*-3*2/12. Which is greater: 2.1 or c?
2.1
Let v = 1 - -0.04. Let i = v - 0.04. Which is smaller: -1 or i?
-1
Suppose 13 = -4*m - 51. Let y be m/(-14) - (-2)/(-14). Do y and -1 have the same value?
False
Let q = -1284 + 91162/71. Is q greater than or equal to 0?
False
Let w(s) = -s**2 + 4*s + 5. Let t be w(4). Suppose -t*g + 6 = 1. Which is smaller: 3 or g?
g
Suppose -5*o = 4*f - 1, 0 = 4*f - 0*o + 4*o - 4. Suppose -2*i + 2 = -4*g, f*g = i + 4 - 5. Which is greater: 3/8 or i?
i
Let h(i) = i - 3. Let z be h(8). Suppose -3*u = -8*u - z*s + 40, 4*s - 17 = u. Is 2 less than u?
True
Let b = 47 - 47.1. Is b not equal to 5/6?
True
Let d = -9 + 3. Which is bigger: -0.2 or d?
-0.2
Let l(w) = 4*w**3 - 3*w**3 + 35*w**2 - 30*w**2. Let c be l(-5). Is c greater than -1/2?
True
Let p = -194 - -275. Let r be p/(-45) + 4/(-10). Is 1 at least r?
True
Let y = -4 + 11. Which is smaller: 8 or y?
y
Let p be (-3 - 0) + (-96)/(-8). Suppose -b + 3*b - 4*n - 10 = 0, 3*b - p = 4*n. Is -2 less than b?
True
Let u = 2 - 7/4. Let o(x) = x**3 - 2*x**2 - 3*x + 1. Let k be o(3). Which is bigger: k or u?
k
Let o = 0 + 3. Suppose 5*s = 2*s + o. Are -1/3 and s non-equal?
True
Let k(u) = -u**3 + 4*u**2 + u + 1. Let l be k(4). Let r = l + -13. Are -7 and r unequal?
True
Let v = 1 - 1. Let h be 2/4*-6 - -5. Which is bigger: h or v?
h
Let r be (1 + -2)*(-22 + -4). Let w be (-12)/r*8/(-24). Let p = -1 + 2. Which is greater: p or w?
p
Let a = 382.93 + -380. Let u = a - -0.07. Do u and -2/7 have the same value?
False
Let c be ((-10)/14 - -1) + 0. Let k(y) = -y - 5. Let a be k(-4). Let w = 0 + a. Which is bigger: w or c?
c
Suppose 5*r = -6 + 16. Suppose r*q = -2*q. Suppose q = -n + 5*n + 4. Are n and -2 equal?
False
Suppose 5*w + 0*w = 15, 3*v - 3*w + 147 = 0. Let h be 3/(-4) - v/24. Which is greater: 0 or h?
h
Let k be -37*(105/18 - -2). Let l = 289 + k. Are -2 and l equal?
False
Let m(f) = f**3 + 15*f**2 - 5*f - 14. Let k be m(-15). Is k smaller than -0.2?
False
Suppose -10*t + 5*t + 60 = 0. Is 10 greater than or equal to t?
False
Let r(g) = -g**2 + g - 2. Let d be r(0). Let h be (-4)/(-25)*(-1)/d. Which is bigger: 0 or h?
h
Suppose 3*c - 58 = 3*u + 11, 0 = -2*u - 4*c - 22. Let q = -10 - u. Is 9 at least as big as q?
True
Let u = -195/2 + 98. Is 58 smaller than u?
False
Let i = -7 + 8. Which is bigger: -3 or i?
i
Let c = 11 + -13. Is c at least -0.1?
False
Suppose v - i = 2, 0*v + 4*i - 22 = -2*v. Is v less than or equal to 15/4?
False
Let h = -376 + 4148/11. Is 2 smaller than h?
False
Let a = -0.28 + -0.02. Let t = a + 2.3. Let d = t - 1.8. Is 1 equal to d?
False
Suppose 2*g = -2, -5*j + 73 = g + 29. Suppose j*c - a = 4*c + 25, 3*c + 3 = -3*a. Is 4 at least c?
True
Let m = -7 + 15. Let b = m - 7. Is b at least -1/6?
True
Let y be (-4)/6 + (-223)/30 + 6. Which is smaller: y or -2?
y
Let r = 14 + -15. Which is bigger: r or 3?
3
Let o = 2.1 + -2. Is o greater than or equal to 0.4?
False
Let x(o) = o**2 - 4*o + 3. Let f be x(2). Let h = 9648 - 67947/7. Let l = h - -59. Which is smaller: f or l?
f
Let l = 8 - 9. Do 5 and l have different values?
True
Let f = 4 + 3. Let m = 8 - f. Let g = -7/12 + 1/4. Is g less than m?
True
Let f = -19 - -17. Do -1/2 and f have different values?
True
Suppose g + f = -39, -2*g - 53 = -0*f - 3*f. Is -35 not equal to g?
True
Let c = 11 - 10.7. Which is greater: c or 0?
c
Suppose m = -4*m + 310. Let p = 193/3 - m. Is 2 <= p?
True
Let a be (-36)/(-24)*20/3. Which is smaller: a or -0.4?
-0.4
Let s = -37 + 37. Let g be 36/14*1/(-3). Which is smaller: s or g?
g
Let t(g) = -g**3 - g + 6. Let k be t(0). Suppose 0 = p - u - k, -10 = u + u. Suppose r - 2 = -0. Is p > r?
False
Let b = 7 - 7. Let i = 3144/11 + -52864/187. Let s = -50/17 + i. Is b at least as big as s?
False
Let n = 124 + -123.9. Which is bigger: -9 or n?
n
Suppose 5*h - 13 = 22. Which is bigger: h or 0?
h
Let a = 0.47 - 0.5. Let z = -37.43 - -37. Let v = z - a. Are v and -0.2 non-equal?
True
Let u = 24 + -21. Which is greater: u or 4?
4
Let h = 34/3 - 77/6. Suppose 2*m = m + 1. Let j(a) = -4*a**3 + a**2 + a - 1. Let i be j(m). Is h > i?
True
Let r = -41 + 169/4. Let n = r + -4/3. Let b = -2/83 - 160/249. Is n != b?
True
Let s = 9 - 4. Suppose m = 4*k + s, 0 = -3*k - m - 3*m + 20. Do -1 and k have the same value?
False
Let h be 1 - (540/129)/4. Which is smaller: h or 2?
h
Let q = 0.4 - 0.8. Let o = -2.6 + q. Is 0 at least o?