 at most as big as x?
False
Suppose -2*i + 0*i - 2*k - 8 = 0, 0 = -3*k - 12. Suppose -b = g - 2, i = 4*b - 3*b + 2*g - 4. Suppose -7*m - 9 = 5. Is b <= m?
False
Let h = 12 + 13. Let c = h - 28. Let z = 5 - 7. Which is greater: z or c?
z
Let w be (5 - 5) + (-604)/7. Let p = w + 86. Is -0.1 smaller than p?
False
Let z(u) = u**3 + 13*u**2 + 2*u + 19. Let v be z(-13). Let r = -8 - v. Let i = 1957/17 - 115. Which is greater: i or r?
i
Let v be 140/44 + 2/(-11). Suppose j - v = 1. Suppose -4*h - 3*y - 6 = 0, h + 25 = -j*h + 5*y. Are h and -2 nonequal?
True
Let l(f) = -4*f**2 + 1. Let p be l(-1). Which is smaller: -4 or p?
-4
Let m = 17.6 + -1.6. Do -2/3 and m have different values?
True
Let i = 1.1 - -2.9. Let k = 6 - 4. Let v = k - i. Which is greater: 0.1 or v?
0.1
Let a = -3 + -7. Let m be ((-2)/a)/((-4)/(-10)). Let y = -3 + 4. Do y and m have different values?
True
Suppose 0 = -3*n + 7*n + 40. Suppose 5 = -v + 3*h, -17 = 3*v - v + h. Which is greater: n or v?
v
Let s = -0.3 + 3.3. Let o = s + 0. Let f = o + -1. Which is smaller: -0.1 or f?
-0.1
Let i = -14067/11 + 1281. Which is smaller: 2 or i?
2
Let y be (11 - 8) + -3*2/(-2). Which is smaller: 43/6 or y?
y
Let o(a) = a**3 - 3*a**2 + a - 3. Let f be o(3). Let g be (3/(-42))/(2/1460). Let v = -52 - g. Is f not equal to v?
True
Let m(n) = 2*n**2 - 8*n - 2. Let k be m(4). Is -4 less than or equal to k?
True
Let d be 1/(0 + (-3)/(-12)). Suppose d*s = -5*u + 48 - 17, 4*u + 5*s - 32 = 0. Suppose -u*q + 11 = x, -2*q + 4*x - 4 = 12. Which is smaller: q or 3/4?
3/4
Let o be (36/(-120))/(6/35). Which is smaller: -2 or o?
-2
Suppose y = -4*y + 4*d + 33, -5*d = -5*y + 35. Let x = y - 3. Let w = x - 0. Do 2 and w have the same value?
True
Let i = -15/4 + 221/60. Is 0 at least as big as i?
True
Suppose 3*j = -2*j + 15. Suppose j*b - 4 = 2. Is 1 greater than b?
False
Let a be (1 - 0)/(7/(-49)). Let f = -4 - a. Let j be (-4)/(-6) - (-7)/f. Are 3 and j unequal?
False
Let u = 9 + -5. Suppose 0*r - u = -2*r. Is 0 > r?
False
Suppose -15 = -5*j, -4*l - j + 148 = -35. Is 44 > l?
False
Suppose 3*w + 5*u = 12, 7*w - u - 20 = 2*w. Let l(h) = 0*h + 5 + 3*h**3 - w + h**2 + h + 0*h. Let v be l(-1). Is 0 at least as big as v?
True
Let x be 96/15 - 2/5. Suppose -2*n - 4 + x = 0. Suppose 2*p + n = p. Which is greater: p or 1?
1
Suppose -6*f + 127 - 25 = 0. Which is bigger: f or 18?
18
Let s = 7 - 3. Let a = -5 + 12. Let n = s - a. Which is smaller: 2/13 or n?
n
Let q be (13/(-3))/((-2)/36). Suppose -21 - q = -a. Let l be a/(-36) + 1/(-4). Is -3 < l?
False
Let m be (-147)/(-84) - (-3)/(-2). Is -17 at most as big as m?
True
Suppose -5*c + 0*c = -4*r - 9, -3*c + 4*r - 1 = 0. Let n be (-54)/15 - 2/c. Is -1 > n?
True
Let m = -7 + 10. Let a = m + -2. Is a > -1/2?
True
Suppose -17 = 5*k - 4*v, 0*v = -3*k + v - 6. Let i be 1/3*0 + k. Let c = -2 + 2. Is i less than c?
True
Let a = -4 + 7. Let k be a/(-6) - 10/(-36). Which is greater: k or 1?
1
Let z be (3*-4 - -2)/(-2). Suppose 0*w + z*w = 20. Which is bigger: 2 or w?
w
Let h(x) = -x**2 + 3*x - 60. Let g be h(7). Is g greater than or equal to -87?
False
Let l = -29 - -30. Which is smaller: 9/10 or l?
9/10
Let h = 65 + -65. Is h bigger than 6.9?
False
Let o(h) = -9*h - 3. Let y be o(-2). Let p = y - 14. Is 1 bigger than p?
False
Suppose -4*u + 3 = -1. Suppose -9*l + 6*l = -12. Suppose -l*m = -d + 5, -m + 5*m + d = -3. Which is smaller: u or m?
m
Suppose -i + 5 = 3. Is -0.13 > i?
False
Let b = 20 + -16. Which is greater: 5 or b?
5
Suppose 3*n + 2*w - 6*w + 4 = 0, 5*n + 3*w - 3 = 0. Let m = 0 + n. Let r = 74/3 - 25. Which is bigger: m or r?
m
Let n = -368 + 365. Let x(v) = -v**2 - 2*v - 1. Let w be x(-1). Which is greater: n or w?
w
Let l = 0 + 0.07. Let z = -1.07 + l. Do -1 and z have the same value?
True
Suppose 4*m = -12, 9*g - 4*g + 137 = -4*m. Let k be (-21)/15 + 15/g. Which is greater: 0 or k?
0
Let r be 0 - (-6 + 2)/(-12). Let f = -1.8 - -2. Which is smaller: f or r?
r
Let h = 8 + -10. Let c be (4/(-40))/(h/12). Is 2 bigger than c?
True
Let f = -1953/4 + 485. Let j = -19/4 - f. Is j greater than or equal to -2?
True
Let r be (16/(-464))/(3/6). Let t be (-2 + 3)*(1 + -1). Suppose 2*n = -t*n. Are n and r equal?
False
Let o = 18 + -44. Let g = 25 + o. Which is bigger: g or 5/7?
5/7
Let r be (-6)/(-4)*(-20)/15. Which is smaller: r or -1?
r
Suppose 3*o + 2*k = -0 + 6, 5*k - 15 = -o. Let u be (-28)/(-16) + 0 + -3. Is o greater than or equal to u?
True
Let z = -8 + 9. Let t = -107/301 - -3/43. Is t greater than or equal to z?
False
Let v be 4 + 1/((-20)/36). Which is bigger: 2 or v?
v
Let p = -1 + -13. Let z = -4 - p. Let i be (-2)/(-6) + z/(-3). Which is smaller: i or -4?
-4
Suppose -7*s = -6*s. Which is greater: -6/23 or s?
s
Let h = -119/234 - -1/117. Are -1/60 and h non-equal?
True
Let t = 330566/108185 + -2/1967. Let o = 1528/385 - t. Let u = o - 5/7. Is u at most as big as -1?
False
Suppose -2*c = c - 21. Which is bigger: c or 9?
9
Let r be 42/(-90) - 4/(-12). Let b = -1 - 0. Which is bigger: r or b?
r
Suppose 0 = -t - 4*h - 8 - 8, -4*t - 9 = 5*h. Suppose -t*p - 20 = 16. Let d be 0 - (12/p)/(-4). Which is smaller: d or 0.1?
d
Let m be ((-252)/(-45))/((-2)/(-10)). Let t = 3139/92 + -135/23. Let a = m - t. Which is greater: -1 or a?
a
Suppose 17*h + 5 = 16*h. Suppose 3*z + 4 + 14 = -3*t, -5*t - 30 = -2*z. Is h bigger than t?
True
Suppose 25*d + 4 = 29*d. Which is greater: -1/3 or d?
d
Let f = -8 + 11. Suppose 0 = -f*v + v + 8. Suppose 3*s - v*s = -3. Which is greater: 1 or s?
s
Let h be (-4)/18 - 2/(-9). Let u be 2/(-6) + 16/44. Let q = u + -4/11. Are q and h equal?
False
Let l(v) = -v**2 + 6*v - 5. Suppose -z + 4*y = 11, 3*z - 10 = -4*y + 21. Let p be l(z). Suppose 0*t - t = p. Is t greater than or equal to -2/23?
True
Let s = -13.1 - -4. Let o = s - -9. Let i = -0.1 - o. Which is smaller: -5 or i?
-5
Suppose n = -0*n + 2. Suppose -3*k = -3*x, n*x + x = 2*k + 3. Which is smaller: k or 1?
1
Let t be 12/18*5/(-10). Which is smaller: -0.1 or t?
t
Let i be (-6)/9 - 28/(-6). Suppose -12 + i = -4*c. Let q = 1 - c. Which is smaller: 1/4 or q?
q
Let y be ((-130)/25)/2 + 3. Does 5 = y?
False
Let l = 13.96 - -0.04. Let u = l + -13.8. Which is smaller: -2/9 or u?
-2/9
Let t be (-15)/(-6) + (-3)/2. Let o = -7 - -7. Let d be 2/7*-1 - o. Which is smaller: d or t?
d
Let q = -2.4 + 2.7. Suppose 0 = -5*p + 4*s + 20, p - 4 = -3*s - 0. Suppose -3*b + 5*r = -0*r - 2, -4*b = p*r + 8. Which is bigger: q or b?
q
Let a be (-21)/14*(-76)/(-6). Which is greater: -20 or a?
a
Let o = 0.62 - 0.02. Let s = 2.4 + o. Let j = -174 + 175. Which is greater: j or s?
s
Let o = 3 + -3.1. Which is smaller: 0 or o?
o
Let u be 2/(-12)*(-20)/30. Does u = 0?
False
Let j(g) = -g**3 - 15*g**2 - g - 16. Let h be j(-15). Let x = 139541/75 + -1861. Let b = x + 4/75. Is b < h?
False
Let v be 8/(-10)*(-20)/(-8). Is -7 > v?
False
Let c = 0.95 - -0.05. Let w = c - 0. Let b = w - 2. Which is greater: 0.2 or b?
0.2
Suppose 8*g - 3*g = 70. Let b = -212/15 + g. Is 0 < b?
False
Let l = -8 + 38. Which is bigger: 31 or l?
31
Suppose 0*t = 5*t + 20. Let w = -7 + 4. Is t equal to w?
False
Suppose -6 + 0 = 2*k, 10 = d - 4*k. Suppose -4*l - i + 4 = -5*l, -2*i = 0. Are d and l nonequal?
True
Let p = -2 - -6. Let s(k) = -k**3 + 13*k**2 + 13*k + 23. Let d be s(14). Let j be d/p + 6/(-24). Which is greater: 1 or j?
j
Let n(v) be the second derivative of -v**3/6 - 7*v**2 - 4*v. Let z be n(-13). Let d = -1 + 1. Which is smaller: z or d?
z
Let u = -157.88 - -158. Which is bigger: u or 2/11?
2/11
Let h be 5/21 - (-2 - 32/(-12)). Let u be (-1)/(-3) + 2/3. Which is greater: u or h?
u
Let u(l) = 2*l. Let c be u(4). Let t(w) = -5*w + 2. Let z be t(-1). Which is smaller: c or z?
z
Let r = -2.14 - -0.14. Let c be -5 + 2 - -1 - -3. Which is smaller: c or r?
r
Let o be (3 - 3)/(-1 + 0). Suppose o = 5*u + 2*z - 3 - 5, 4 = -u + z. Which is greater: u or -3/7?
u
Suppose 0 = -5*j + 7*q - 4*q + 30, -j + 2*q = -6. Let o = -4 + j. Suppose 0 = -6*i + o*i. Is i greater than or equal to -1?
True
Let k = -0.15 - -1.15. Is 2/13 smaller than k?
True
Let d be 4/(-8)*0/2. Suppose d*i = 2*i - 2. Let v = 13/6 - 55/24. Which is smaller: v or i?
v
Let o = 1964/23 - 165537/1955. Let r = o + -2/17. Which is greater: r or 1?
1
Let f = 461 + -857/2. Let p = f + -33. Which is b