 j. Let h = -496/3 + 164. Is h >= p?
False
Let r = 0.9 + 3.9. Let y = -5 + r. Let a = y - -0.1. Which is bigger: a or 4?
4
Suppose -u = u + 6. Suppose 2*l = -y + 26, y - 4*l + 0*l - 2 = 0. Suppose 3*g = 3*m + y, -4*m = -3*m + g - 2. Is u at most m?
True
Suppose -2 = -2*s - 10. Let o = -5 - s. Is -3/2 < o?
True
Let q be (-28)/(-36) - (-1 + 2). Are 1 and q non-equal?
True
Let x be (-112)/(-68) - (4 + -2). Which is bigger: x or 1?
1
Let y = 86550/7 + -12520. Let m = y + 156. Is m less than -1?
False
Let q = 1/27 + 2/27. Which is greater: q or 0?
q
Let b = 0 - 8. Let s = -6 - b. Let j be ((8/(-5))/2)/s. Which is greater: 1 or j?
1
Suppose p - 6*p + 15 = 0. Suppose -2*y = -p*y + 2. Let m be 30/24 - y/8. Which is greater: m or 2/3?
m
Let h = -6 - -6.3. Let g = 6.7 - 7. Let x = h + g. Which is smaller: -3 or x?
-3
Suppose 3*g - 55 = r, -10*g - 4*r + 103 = -5*g. Let h(o) = 20*o**2. Let d be h(-1). Which is smaller: d or g?
g
Suppose 0 = -g - s + 2, -2*g = -6*s + 5*s - 1. Let i be 8 + -5 + (-52)/16. Which is bigger: g or i?
g
Let f = -0.07 - 0.33. Let a be 1/(-10) - (-1)/2. Is f at most as big as a?
True
Suppose -5*x + 40 + 25 = 0. Let v be 6/10 - x/5. Let b = 0 + 0. Which is smaller: b or v?
v
Let t be ((-1804)/(-114) + 2)*-6. Let q = -107 - t. Which is bigger: q or -1?
q
Let i be 1/118*(-2)/891. Let h = 149923/210276 + i. Let c = h + 1/27. Does c = 0?
False
Let y be 1484/(-441) - 4/(-18). Which is bigger: y or -2?
-2
Let n = 6 - 8. Suppose 2*t = 9*t + 14. Is n less than t?
False
Let p = -5.87 - 0.13. Let n = p + 6. Let x = 0.01 - -0.29. Is n at least x?
False
Let n be (-4)/40 + 1/2. Let y be (-4)/((-4)/14*1). Let v be 4/(-14) - 10/y. Which is smaller: n or v?
v
Let p = -2.5 + 3.5. Which is smaller: -4/11 or p?
-4/11
Let h = 20/7 + -446/161. Is -0.6 < h?
True
Let i = -5188/15 + 346. Let m = 4.8 - 5. Which is smaller: m or i?
m
Let d = 28 + -29. Which is smaller: d or 12?
d
Let y = 58441 + -6954541/119. Let o = 16/21 + -356/357. Let g = y - o. Is 1 less than or equal to g?
False
Let d be 2 - (1086/8 - 1). Let j = -132 - d. Is 2 at most as big as j?
False
Let k be 3*(-2 - (-5)/3). Let s be ((-15)/10)/(k/(-2)). Is s equal to 0?
False
Let z be 18/9 + (-2)/4. Which is greater: 3 or z?
3
Let k = -4 + 6. Suppose 0*q + 5*q = -3*n - 6, 3*q - n - k = 0. Let a = 12 + -14. Does q = a?
False
Let w = 1 + -2/3. Which is bigger: w or 1.5?
1.5
Let g(x) = -3*x**2 + 2*x**2 - 5 + 2*x + 2. Let k(l) = -l**2 + 2*l - 2. Let w(d) = 3*g(d) - 4*k(d). Let q be w(2). Are -1/3 and q equal?
False
Suppose 4*q - q - 4*a + 58 = 0, -3*q = 3*a + 51. Which is smaller: q or -55/3?
-55/3
Let r be 66/15 - 4/10. Let a be (-1)/(14/8 + -2). Do r and a have the same value?
True
Let z(n) be the first derivative of -n**3/3 - 5*n**2/2 + 5*n + 3. Let h be z(-6). Let x = h - 0. Is -2/9 not equal to x?
True
Let c = -33.1 - -33. Let u = 1.9 - 2. Is u greater than c?
False
Let u(t) = -t**2 - 10*t - 11. Let s be u(-9). Are s and 1 unequal?
True
Let z = -89 - -107. Is z > 17?
True
Let s = -5.47 - 1.43. Let t = -7 - s. Which is smaller: -0.02 or t?
t
Let r = 62 + -62.31. Which is bigger: 2/9 or r?
2/9
Let q = 0 + -1. Let x = -1 + q. Is x greater than -2?
False
Suppose -1 = s, -5*b - 3*s = -b + 35. Let o = -1 - b. Suppose -a = 4*l + o - 23, -5*a = 2*l - 8. Is 5 bigger than l?
True
Let f = -5.1 - -1.1. Let x = 4 + f. Let r = 4.4 - 4. Which is smaller: r or x?
x
Let h = -18 - -17. Which is smaller: h or -1/7?
h
Let g(b) = -b + 1. Let r be g(-5). Suppose -r*u + 2*u = 8. Are u and -3 non-equal?
True
Suppose 11 = -9*n + 2. Which is greater: 3/11 or n?
3/11
Let a(u) = 26*u + 1. Let b be a(-1). Let d be 30/b*(-1)/(-2). Let s(i) = i - 1. Let o be s(1). Which is bigger: o or d?
o
Let l be 99/18 - 1/2. Suppose 5*i + l + 0 = 0. Which is smaller: i or -1/8?
i
Let u be ((-1016)/108)/(2/48). Let l = u - -226. Let m = 1.8 + -0.8. Is m equal to l?
False
Let k(h) = 12*h**3 - 3*h - 2. Let o be k(-1). Suppose v - 9 = j + 7, j - 2*v + 20 = 0. Is j smaller than o?
True
Let x = 1/8183 - 1153808/40915. Let i = -549/20 - x. Let w = 20 - 18. Is i less than w?
True
Let f be (10/(-3))/((-8)/12). Let i = f - 4. Suppose -6 = n - i. Is -5 less than n?
False
Let b = 2 - -0.1. Let o = 2 - b. Let a = -0.1 - 0.9. Is o <= a?
False
Suppose -3*m + 3*y = -3, -y + 1 + 10 = 5*m. Let u = -3 + m. Are u and -6/5 non-equal?
True
Suppose -2*y + y - 13 = 0. Let p = 13 + y. Let b be 1/3 - 11/15. Which is smaller: p or b?
b
Let p = -9 - -14. Suppose p*h - 23 = 2. Is 6 greater than or equal to h?
True
Let g be (-216)/(-60) - 6/10. Suppose z + 4 = -g*z. Is z equal to -3/2?
False
Let k(f) = f - 8. Let n be k(5). Let j be 1/(-1)*n/18. Which is smaller: j or 0?
0
Let z be ((-1)/2)/(3/(-36)). Let y(g) = -g**3 + 6*g**2 + g - 1. Let m be y(z). Suppose -3 = -4*b + m. Which is greater: b or 3?
3
Suppose -4 + 6 = -2*f. Is -2/81 bigger than f?
True
Let s be (-24)/132 - 61/(-154). Which is bigger: -2/3 or s?
s
Let v = 1783/28 + -416/7. Let l = v + -9/2. Let k = -0.3 - -0.1. Is k < l?
False
Suppose -7*l = -11*l - 4*a - 12, 2*a = 4*l - 12. Which is smaller: 3/5 or l?
3/5
Let l(i) = i - 5. Let o be l(8). Suppose -28 = -5*b - o. Suppose -b*p + 3 = -2*x, 2*p = -p - 4*x - 19. Is p less than or equal to -2?
False
Suppose 3*f = 5*k - 28, 3 = 2*k - f - 8. Suppose 0 = 2*b + k + 1. Let p = 8 + -11. Is p < b?
False
Let h(y) = 4*y - 9. Let o be h(4). Is o <= 7?
True
Let y = -34 - -24. Let p be ((-4)/y)/((-1)/20). Let h = 2 + p. Do h and -6 have the same value?
True
Let j = 139/196 + 2/49. Which is smaller: j or 0?
0
Suppose 2*h - 15 = -3*h. Suppose 0 = r - 2*l - 4 - 1, -r + 7 = -4*l. Is r at least as big as h?
True
Suppose 3*l + l + 14 = 2*y, -13 = -y + 4*l. Let w = 6/5 - 1. Is w >= y?
False
Let t be 0 + 4 - (3 + -2). Let x = 1 - t. Which is smaller: -3 or x?
-3
Suppose 33 = -5*j - 4*d, j + 30 = -2*j + d. Do -9 and j have the same value?
True
Let p = 14 + -14. Let h = p - 6. Is -2 greater than or equal to h?
True
Suppose 4*b + 5*o - 31 = 64, o = 5*b - 126. Suppose 5*i = i + 3*d + 24, b = 3*i - 4*d. Let r be 2/(-4*(-5)/5). Do r and i have different values?
True
Let c = 52 + -209/4. Let j = 39 + -39.1. Which is smaller: j or c?
c
Let o be 0/(-2) - (0 + -2). Suppose -m + 0*m - 3*s + 6 = 0, -o*s + 6 = 0. Let h = m - -2. Is h at most as big as -3?
False
Let j(q) = -q**3 + 7*q**2 - 4*q - 8. Let a be j(6). Which is bigger: a or 13/3?
13/3
Let k = -52 - -257/5. Is 0 > k?
True
Let x = 56/3 + -286/15. Let l = 2 - 1. Is l >= x?
True
Let h(v) = 2*v**2 + 1. Let r be h(1). Suppose 1 = 3*o - 5. Which is greater: r or o?
r
Suppose 13*f - 54 = 12*f. Is f at most 54?
True
Suppose 0 = -t + 3, 3*t - 21 = -4*z + 2*z. Suppose 3*c + 25 = 2*g, -2*c + z*c = 5*g - 45. Let y be g*((-107)/35 + 3). Which is greater: y or 1?
1
Let u = -1 - -1. Let p = -21 + 18. Let b = -3 - p. Does b = u?
True
Let r(v) = v**3 - 7*v**2 - 8*v - 2. Let h be r(8). Let a be (18/(-8) - h)*-4. Is a not equal to -4/15?
True
Suppose -3*z = 2*z. Which is smaller: z or 1?
z
Let j be (-6)/(-9)*(-27)/6. Is j <= -3?
True
Let a = 4 - 1. Let q = 3 - a. Let u = -9/2 + 4. Is u less than or equal to q?
True
Suppose 4*m = 5*g - 21, -3*g + 19 + 0 = 4*m. Let x be (3/(-366))/(7/(-28)). Which is smaller: x or m?
x
Let n = -1 + 1. Let i = -81.7 - -82. Which is greater: i or n?
i
Let g be ((-325)/(-70) + -4)*(-7)/2. Let y = 1 + -4. Is y at least as big as g?
False
Let c(p) = p**2 - p - 3. Let s be c(-1). Which is bigger: s or -6/23?
-6/23
Suppose 81 = 5*t + 4*t. Do 9 and t have the same value?
True
Suppose 5*u - 32 = -12. Let k(j) = -j**2 + 3*j + 3. Let r be k(u). Which is smaller: 1/21 or r?
r
Let q(a) = a**2 + 2*a - 1. Let l be q(-3). Let h be 0 + (2 + -1)/l. Let i(c) = -c**3 + 7*c**2 - 7*c + 8. Let s be i(6). Does h = s?
False
Let f be (1 - -1)/((-124)/4). Which is smaller: 0 or f?
f
Let x be (-3 - -1)/((4 + -1)/48). Is -31 not equal to x?
True
Let s = -5/21 + 17/21. Let i = -100 - -101. Is i at most as big as s?
False
Let s(h) = h**2 - 7*h + 4. Let d be s(7). Let f be (-10)/(-2)*(-1)/(-1). Suppose p - k - f = 0, 5 = -4*p - 3*k + 18. Do p and d have different values?
False
Let r = -15 + 21. Let p = 3 - r. Which is smaller: -2 or p?
p
Let a(w) = w - 2. Let l be a(4). Let o = l - -1. Suppose -7 = 5*f + o. Are -3 and f unequal?
True
Let h = -98 