69 + -69. Which is greater: o or -1/12?
o
Suppose -2*h - 5*u = -5, 4*h - 4*u = 6 + 18. Suppose -5 = h*x + 5. Is 1 greater than x?
True
Let b = 0.018 + 0.082. Which is smaller: -0.62 or b?
-0.62
Let x be (-6)/(-2) - 3 - -1. Let j(f) = f - 6. Let v be j(5). Is x smaller than v?
False
Let p = 1019 - 54005/53. Which is smaller: 0 or p?
0
Suppose -6*t + 4*g = -2*t - 128, -172 = -5*t + 2*g. Is t less than 36?
False
Let d(p) = -5*p**2 - 1. Let n(c) = -c**2 - 3*c - 2. Let z be n(-2). Let f(l) = -l - 1. Let w be f(z). Let q be d(w). Are -6 and q equal?
True
Suppose 0 = 5*d - d + 20. Is -4 != d?
True
Let r = 57284/35 - 1635. Let w = -16/7 + r. Is w at most 0?
True
Let r = 5 + -2. Suppose -r*x = 1 + 8. Which is greater: -1/4 or x?
-1/4
Let m = -40 + 29. Which is smaller: -10 or m?
m
Let l = -338/35 - -62/7. Which is smaller: l or 0?
l
Let r = 7 - 13/2. Let v = 1 - 0.76. Let j = v + -0.04. Does r = j?
False
Let x = 209/45 + -40/9. Suppose -5*n + 2*n = -3, -z = -5*n + 7. Let r be 1 + 1/2*z. Which is smaller: r or x?
r
Let o = 32/7 - 121/28. Let w(y) = -y**3 + 6*y**2 - 6*y + 5. Let t be w(5). Let k = t + -1. Which is smaller: o or k?
k
Let z be 0 + 3*4/1320. Let h = 343/1430 - z. Which is greater: h or -1?
h
Let o = 96 - 96. Is 1/4 > o?
True
Let v = -0.2 - -0.4. Let u = v + 0. Let i = 0.3 - u. Is i at least as big as -0.4?
True
Let z = -25 - -23. Let x be ((-15)/(-65))/(3/z). Which is smaller: x or 1?
x
Let n(l) = l + 7. Let u be n(-7). Let d(m) = m**3 - m - 2. Let r be d(0). Which is smaller: u or r?
r
Let m be ((-3)/4)/(9/(-8)). Suppose q = -0*q - 1. Let a be 2 + (-2 - q)*1. Is a bigger than m?
True
Suppose 24 = -0*w - 2*w. Let m be 58/(-4) - (-1)/(-2). Let h be m/w*(-2)/10. Which is bigger: h or -1?
h
Let q = 11 + -11. Which is bigger: -1 or q?
q
Suppose 2*a + 5 = -r, 5*r - 25 - 5 = a. Suppose -l + 9 = -b, 0*l - r*l - b = -15. Do 2 and l have different values?
True
Suppose -4*i - 2*q = -3*i + 30, 5*i + 105 = 5*q. Let m be i/(-110) - 10/25. Is m at most as big as -1?
False
Suppose 0 = z - 3*d + 8, 0 = 4*z - 2*d - 3*d + 11. Let x be (0 - 20/15)/(-2). Which is greater: x or z?
z
Let s be ((-4)/(-6))/((-40)/(-15)). Let l(b) = -b**2 - 4*b - 4. Let m be l(-3). Is m less than or equal to s?
True
Let t be -1*4/(4/3). Suppose h = 4*l + 46, -h + 21 = -2*l - 3. Let d = 11 + l. Which is smaller: d or t?
t
Let y be (-18 - -19) + 29/(-15). Which is smaller: -2 or y?
-2
Suppose 0 = 5*q - 19 - 6. Let r(x) = x**3 - 5*x**2 + x - 1. Let n be r(q). Let k be (-4)/21*(n - 1). Which is smaller: k or -1?
-1
Let a = -351/86 + -18/43. Is a at most as big as -4?
True
Let i(q) = q**2 + 8*q + 8. Let o be i(-6). Let s = -26.015 - -0.015. Let z = s - -27. Are z and o equal?
False
Let i be (-3)/(-3*(-207)/60). Let v = i + -1/23. Which is smaller: v or 1/2?
v
Let l be (1/2)/(9/(-8)). Which is bigger: l or -0.1?
-0.1
Let j = 2 + -2.2. Let q = 0.08 + 0.12. Let i = 0 + q. Is j <= i?
True
Let c = -468 + 703. Let u = 2353/10 - c. Suppose 0 = -2*p + w + 1, 0 = p + 2*p - 5*w - 12. Which is bigger: u or p?
u
Suppose 0*g + 4*o = 2*g + 16, -16 = g - 4*o. Suppose -z = 4*t - 17, -5*z - t = -2*t - 22. Let p be 2/z*(-2 - -7). Is g smaller than p?
True
Let x = 0 - -6. Let b(j) = -j. Let o be b(-5). Which is smaller: o or x?
o
Let v be (12/(-16))/(10/8). Let n be 3/(-10)*20/(-15). Which is smaller: n or v?
v
Let b be ((0 + 0)/4)/(-2). Suppose 4*s + b = 4*c + 12, 5*s = -4*c - 3. Which is bigger: 3 or s?
3
Let c(a) = -8*a + 32. Let h be c(-13). Let k = -954/7 + h. Suppose i = -2 + 3. Is k != i?
True
Suppose 5 = -0*w + 3*w + 5*v, -2*w = 5*v. Suppose -11 = -4*s + w. Let c = 6 - s. Is c less than 3?
True
Let z = -24 - -24. Are z and 0.1 equal?
False
Let q be ((-8)/(-4))/((-2)/(-4)). Suppose -q = -i - 3. Let c be -3 + i - -4 - -3. Which is bigger: c or 4?
c
Suppose -5 = -6*v + v. Is v not equal to -5/4?
True
Let v = -1556 + 29550/19. Is -2 > v?
False
Let h = -77 - -77.11. Which is greater: 3/7 or h?
3/7
Let p be (-70)/4 - ((-3)/6 - -1). Is p >= -18?
True
Let p = -5 + 11. Let x = -88 + 91. Let o = p - x. Do o and -1/3 have different values?
True
Suppose -3*h = -6*h + 51. Suppose -2*y - 1 = -p + 7, 4*p = 2*y + 20. Suppose p*x = 3*l - 13, h = -0*l - l - 4*x. Is l less than or equal to -2/9?
True
Let b be (-8)/2 - (3249/54)/(-19). Is 1 smaller than b?
False
Let d = -5 + 6. Let g = 78/5 + -16. Which is smaller: g or d?
g
Let w be (-13 - -1)/((-6)/20). Let a be (-2)/(-10)*w/56. Which is greater: -1 or a?
a
Let y be (-2)/(-5) - 3/(-5). Let o = 0.4 + -0.6. Let d = o - 0. Do y and d have the same value?
False
Let i = -7 - -9. Which is smaller: 1 or i?
1
Let h be 30/40 - (2 - 1). Which is smaller: -8/3 or h?
-8/3
Suppose -2*n = -6*n. Suppose u + 1 - 4 = n. Let z be -8*(0 - u/18). Do z and 2 have different values?
True
Let p(a) = a**3 + 5*a**2 - a + 4. Let l be p(-5). Let c be (-107*l/15)/(-1). Let r = 64 - c. Which is greater: r or -1?
r
Suppose 22*o + 20 = 18*o. Let j be (0 - (-16)/(-2))*1. Let h = 5 + j. Which is smaller: h or o?
o
Let t = 49 + -443/9. Which is greater: 2/31 or t?
2/31
Let m = -2 - -3. Let d = 4/55 - -208/165. Which is smaller: m or d?
m
Let g be (-173)/(-3) + -4*(-3)/36. Is 59 < g?
False
Suppose 170 = 4*u - 54. Let f be 30/u - 2/7. Suppose 2*o = 5*g - 20, 3 = -2*o + 3*g - 9. Which is smaller: f or o?
o
Let a = -69 + 68. Which is smaller: a or -2/69?
a
Let j be ((-5)/20)/(1/(30/(-4))). Is j bigger than 2?
False
Suppose -2*b = 4*d - 18, 3*b = -4*d + 2*b + 17. Which is greater: d or 3?
d
Let y = 2 + 7. Do y and 8 have different values?
True
Suppose 2*x = x. Suppose x = 2*r - 5*r + 3. Is -0.09 at least r?
False
Let z = 0.022 - 2.722. Let t = -2.5 - z. Which is smaller: 12 or t?
t
Suppose -2*i + 0 = -4. Let d be (-1)/(3*i/18). Let h(z) = -3*z + 1. Let g be h(1). Is g > d?
True
Let c = 14.9 + -15. Is -1/2 less than c?
True
Let m(o) = o - 7. Suppose -24 = 2*f - 6*f. Let k be m(f). Is -2 > k?
False
Let h = -12 + 13. Suppose 0 = -2*m + 3*r - 5, 4*m + 3*r + 20 = -r. Do m and h have the same value?
False
Let v = 9 + -6. Suppose n - 2*a + 1 = 0, -2*a + v*a = 5*n - 22. Let y = n - 5. Is 0 at most y?
True
Suppose 9 + 6 = 5*c. Suppose 4 = -r - c*r. Let b be (3/(-2))/(-3)*0. Is b at least r?
True
Suppose 14 = 4*n + 2. Which is smaller: 2 or n?
2
Suppose 3*s - 7*s - 112 = 0. Is -28 equal to s?
True
Let y be 4/2*1/(-2). Is 3 >= y?
True
Suppose -3*i + 85 = -4*r + 435, 0 = -3*i - 3*r - 378. Let z be 12/(-8) + i/(-76). Which is smaller: z or -1?
-1
Suppose 2*k + o - 77 - 66 = 0, -3*k = -o - 207. Let v be 10/(-35) - (-62)/k. Which is bigger: 2 or v?
2
Suppose 0 = 3*g + 20 - 2. Is g bigger than -6?
False
Let v = 72 - 75. Is v >= -0.7?
False
Let h = 5795/17 - 341. Is 2/7 greater than h?
True
Let j be -3 + (-12)/(-2) + -12. Let r be (3/j)/(54/(-12)). Which is smaller: 0 or r?
0
Let r = -0.025 - 1.975. Which is smaller: -1.7 or r?
r
Let a = -3193/2 + 1641. Let z be (23/3)/(2/12). Let q = a - z. Which is smaller: -3 or q?
-3
Suppose -23 = -2*n + 5*l, 3*l + 6 = -3. Let w be n/(-15) + (-12)/30. Which is greater: w or -1?
w
Suppose 0 = -4*f - 4, 2*f = -2*d + 7 - 1. Which is smaller: -2 or d?
-2
Let g be (-2)/8 - (-1834581)/(-204). Let x = -269074481/29920 - g. Let n = x - -3/160. Which is greater: n or 0?
n
Let b be (1/(-15))/(12/15). Which is greater: 0 or b?
0
Let k = 2.6 + -2.6. Is -0.04 at most k?
True
Let b be 1/2*4/(-170). Which is bigger: b or 0?
0
Let f = -17/660 + 6/55. Is f != -1?
True
Let n = 19 + -5. Let b = n - 12. Does 3 = b?
False
Suppose -5*n = -3*j + 13, 4*j = 2*n + 2*n + 12. Which is smaller: 2/7 or j?
2/7
Suppose -g = -2 + 6. Let m be (-5)/(-2)*(-48)/(-30). Suppose -m*o = -o + 9. Which is smaller: g or o?
g
Let o = 11.1 - 4.3. Let v = 1.2 + o. Do 1 and v have the same value?
False
Let b(j) = j**2. Let h be b(-1). Let z = h - 9. Let c = -5 - z. Is c at most as big as 3?
True
Let u be 16/(-7) + (2 - 0). Let m(i) = -i**2 + 10*i - 5. Let x be m(9). Suppose -d = -5*b - x, 3*b - 4*d - 8 = -6*d. Which is smaller: u or b?
u
Let d be (9/174)/((-9)/12). Let m = d + 37/116. Let y = 2 + -3. Does y = m?
False
Let a be 2/20*74 - 2. Let v = a - 113/20. Let l = -8 - -8. Is l at most as big as v?
False
Suppose -2*o - 4*z = 14, 3*o + 5*z - z + 11 = 0. Which is bigger: 2 or o?
o
Let t(u) = -7*u + 37. Let w be t(5). Is w < 