 h be r(-10). Is -15 greater than h?
False
Suppose -u - 3*q = 2*u, 0 = -5*u - q + 20. Suppose t - 3 = -3*d - 2*t, u*t - 5 = 3*d. Let o be 1 + (-2 - (0 - d)). Is -2 less than o?
True
Suppose 3*p = -5*u + 23, 5*u - 4*p - p = 15. Let y = u - 5. Which is bigger: -1/5 or y?
-1/5
Let o = -51 - -45. Is o >= -3?
False
Let u be 2/3 - 20/(-6). Suppose 0 = 4*f - f - 12. Is f at most as big as u?
True
Let p = -6 + 2. Let m(k) = -k - 5. Let a be m(p). Is a bigger than -1?
False
Suppose -2*h + 15 = -c, 12 + 1 = c + 5*h. Let r = 106 - 113. Is r > c?
False
Let v = -2 + 3. Let p = -2 - v. Let n = p - -4. Is 1 at most as big as n?
True
Let b be (1 + 5)*21/(-9). Which is smaller: 0 or b?
b
Let k be 0/(1 + -1*2). Suppose 0 = m + 2*m - 9. Suppose 9 = m*g + 3. Is k < g?
True
Let b = 6 + -5. Is b equal to -1/15?
False
Let v = 1.1 - 0.1. Let f = 1.06 - v. Let z = 1.06 - f. Is z greater than or equal to -2/5?
True
Let s = 38.06 - 38. Does 3/4 = s?
False
Let w = 293/16 + 1457/48. Let f = 48 - w. Which is smaller: -1 or f?
-1
Suppose -3*a = 13*a - 672. Is 41 != a?
True
Let q = -16 + 18. Let i = q - 7. Are -4 and i non-equal?
True
Suppose 3*u + 7 + 143 = 0. Let q be (-2)/9 + u/18. Is q > -3?
False
Suppose 3*h = 4*x + 40, 2*h - 1 = -2*x + x. Let l(q) = q + 7. Let a be l(x). Let y = -73/18 + 38/9. Which is bigger: a or y?
y
Let g be (25 - 1) + (-2 - 1). Which is smaller: -1/3 or g?
-1/3
Let x = -7.7 + 8. Does 2 = x?
False
Let i = 7 - 4. Suppose -y + 0*f + f = -8, 18 = i*y + 3*f. Does y = 6?
False
Let y(i) = i**3 + 5*i**2 - 1. Let g be y(-5). Let s be (-50)/(-15) + g/3. Suppose 4*z + 15 = 3*n - 2, s*z = -15. Which is smaller: -1/3 or n?
n
Let l = 16837/15 - 1122. Is l equal to -1?
False
Let a = 28 + -18. Suppose -5*d + 0*d = a. Let s be d/(-2) + (7 - 4). Which is bigger: 5 or s?
5
Suppose 5*z = -4*o - 21, 10*o - 4*z = 5*o + 25. Is o at most as big as 1?
True
Let n = -4957 + 24554/5. Let s = n - -46. Which is smaller: 1 or s?
s
Let u(b) = -2*b**2 - 8*b - 4. Let s be u(-7). Let y = s + 139/3. Which is bigger: 1 or y?
1
Let x be 2/12*-2*9. Let f = 3 + 2. Let g = x + f. Is 1 at most g?
True
Let p(a) = 0 + 4*a + a**2 - 2*a**2 - 1. Let z be p(3). Let s be (1/z)/((-6)/8). Is 0 at most as big as s?
False
Suppose -4*x + 27 = 3*b, 0 = 5*b - 2*x + x - 45. Which is greater: b or 11?
11
Let p be -2 - -2 - 1*-6. Let j = p + -4. Let g be 2/((-5)/(5/j)). Which is bigger: g or 0?
0
Suppose j + 2*i + 7 = 0, 2*j = i - 0*i + 1. Let t be (-30)/(-40) + (-6)/8. Is j at most t?
True
Let h be (-1)/4 - (-30)/56. Let w(t) = t + 5. Let u be w(-4). Which is smaller: h or u?
h
Let r = 15 + -8. Let u = r + -5. Which is smaller: u or -1/4?
-1/4
Let v be (-1 - -1)*5/10. Suppose v = -3*a + 4*a - 2. Let u be (a + -1)/((-3)/(-6)). Does u = 3?
False
Let p(g) = g**2 - 7*g - 1. Let o be p(7). Which is greater: o or -1/3?
-1/3
Suppose 0 = 8*t - 259 + 19. Which is smaller: 31 or t?
t
Let y = 3.117 + -0.077. Let q = -0.04 + y. Let z = -1 - -1.1. Which is bigger: q or z?
q
Let q(f) = 2*f**3. Suppose -a = 3*n + 7, 0*a = -5*a + n - 3. Let y be q(a). Let c(b) = -b**2 - 15*b. Let t be c(-15). Is y at least as big as t?
False
Let r = -26/5 + 5. Which is smaller: 0 or r?
r
Let k(p) = p**3 - 3*p**2 - 4*p + 1. Let o be k(4). Let x = 19 - 13. Suppose 0 = -f + x*f. Which is smaller: f or o?
f
Suppose o = h + 6, o + 2*h = -h - 2. Let d be (1/(-22))/(o/8). Is 1 greater than d?
True
Let x = 0.04 - 0.06. Let y = x + -0.23. Let u = y - 0.05. Is -0.1 > u?
True
Let f = -0.17 - 0.03. Do -2/13 and f have different values?
True
Let o = 4 + -7. Let s be 3*(-1 - o/(-9)). Which is smaller: -3 or s?
s
Suppose x = 2 - 4. Let u be 4/x*6/4. Let y = -3 + 0. Is y at least as big as u?
True
Let r = 7.12 - 0.12. Let x = -30 + r. Is x at most 0?
True
Let m = 0.03 - 0.13. Let q = -0.4 + m. Which is smaller: q or -1?
-1
Let l be -10*(-18)/((-12)/(-4)). Suppose -4*n = n + l. Are n and -13 nonequal?
True
Let s be (5 - 2/(-2)) + 2. Suppose -23 + s = -3*p. Are 1 and p non-equal?
True
Suppose 25 = -5*z, -2*t = -z + 2*z - 587. Let m be 3/5 - t/560. Let q = m - 31/42. Is 3/2 at most q?
False
Let m = 334 + -313.9. Let q = m - 20. Is 2.2 > q?
True
Let o(j) = j**2 + 3*j - 3. Let g be o(-4). Let b be ((-11)/44)/((-1)/4). Suppose -9*r - b = -8*r. Which is smaller: r or g?
r
Let k = -0.7 - 0.3. Let h = k + 2. Is h > -1?
True
Let c = -7566 - -11583548/1531. Let t = c - 6158/26027. Let f = t - 22/51. Is 2/7 equal to f?
False
Suppose -5*d - 2 = 18. Let q be (d/(-6))/(5/15). Suppose -2 = -2*i + a + 2, -q*i - 2 = 2*a. Is i != -1/4?
True
Let o = -5.32 + 0.32. Is o at least as big as -3?
False
Let f be 92/(-126) + (-2)/(-7). Suppose w + 0*w - 4*h - 8 = 0, 5*h = 2*w - 10. Which is smaller: f or w?
f
Suppose 3*f + 0*f - 9 = 0. Let w be f + 0 + (1 - 3). Which is smaller: w or -2?
-2
Let q be 2/(-3) - 75/(-72). Do q and 0 have the same value?
False
Let v = -15 - -3. Let h be 1 + -3 + v + 9. Are h and -2 nonequal?
True
Let y be -1*(0 + 1)*-1. Let m = y - 1. Let v = 203/2 - 101. Which is greater: m or v?
v
Let n(c) = -5*c. Let q be n(-1). Suppose p = -q*w - 49, -2*p - 44 = 3*w + w. Suppose -4*m - 6 = 30. Is m equal to w?
True
Suppose 0 = 2*x - 0*x - 2. Suppose -1 = -n + x. Suppose 2*o - 5 = 3*j, n*o + o = -4*j - 1. Which is greater: 0 or j?
0
Let n = 2633/5 + -525. Which is smaller: 1 or n?
1
Suppose -m + 5*x - 24 = -0*m, 3*m + 5*x - 28 = 0. Let c be -3*(-1 + 0 + 1/(-3)). Are c and m equal?
False
Let p be 0*(-1 - 2/(-4)). Let w(h) = -h**2 + 5*h - 4. Let q be w(3). Suppose p = q*z + z. Is 0 smaller than z?
False
Let k = 0.04 - 0.03. Let v = k + -0.51. Let i = 0.1 + -0.2. Is v > i?
False
Let c = 5 + -9. Let x be (-6)/10 + c/10. Let o be (0*(x + 0))/(-2). Is 0 less than o?
False
Suppose -3*o - 20 = -8*o. Suppose -2*z + 10 = v, -2*v - o - 1 = -z. Is 6 less than or equal to z?
False
Suppose 4*m + 2 = 2*m. Let w be 0 + 1 + 0 - m. Let s be 54/(-81)*(-9)/2. Is w not equal to s?
True
Let a be 0 + 1 + -2 - 0. Let g = a + 4. Let k be -5*(6/(-5))/g. Which is bigger: k or 3?
3
Let j be ((-126)/(-16))/(-7)*-4. Let m be (-2 - -3)*(4 + 0). Which is bigger: j or m?
j
Suppose -48 = 7*x + x. Let s be (24/(-2))/2*1. Is s > x?
False
Let c = -0.01 - -1.01. Suppose -4*b = -b. Which is greater: c or b?
c
Let o = 61 - 63.9. Let z = o - -1. Let h = z + 2. Is 0 < h?
True
Let g = 10 + -20. Let h = 11 + -20. Which is greater: g or h?
h
Suppose 36 = 13*r - 4*r. Do 4 and r have the same value?
True
Let l = 2 - 2.1. Let r = -335 + 338. Is l != r?
True
Let i = 2.985 + 0.015. Which is greater: 1/3 or i?
i
Let p = 16 - 10. Is 0.1 > p?
False
Let o(u) = u**2 - 3. Let y be o(-3). Let g = -7 + y. Which is smaller: 5 or g?
g
Let i be (-3)/12 - 4/(-16). Suppose -m = -5*c + c - 3, m = -c - 7. Are i and c unequal?
True
Let f = 1 - -8. Let b(o) = 2*o**3 + 14*o**2 - 9*o - 63. Let h be b(-7). Which is smaller: h or f?
h
Suppose 0 = 3*r - 5*q + 16, 2*r + 5 = 5*q - 4. Let k = -51 - -44. Are k and r equal?
True
Let z = 37 + -37.3. Is z less than 11/3?
True
Let c = -7.42 - -7.02. Let d be 2/4 - 62/104. Let f = d + -2/13. Which is smaller: f or c?
c
Let k = -9 + 13. Is k greater than -1?
True
Let q be (2/(-6))/((-1)/(-3)). Let y = -19 - -18. Is y at least q?
True
Suppose 45 = -5*u - o, 2*u + 3*o + 11 = 4*o. Let s be 23/(-28) + (-2)/u. Which is bigger: 0.1 or s?
0.1
Let s(i) = 6*i**2 - i. Let p be s(1). Suppose 4*j - p*x = -25, -20 = 3*j - 4*x - 0. Do 2 and j have the same value?
False
Suppose -2*i + g - 7 = 0, -5 = -3*i + i + 5*g. Let a = i + 13. Is 8 less than a?
False
Let z(m) = -m**2 + 6*m + 12. Let h be z(6). Is 13 >= h?
True
Let y = 0 + 0. Let l be (-30)/(-10)*(-2)/18. Which is smaller: y or l?
l
Let t = 5675831 + -754890705/133. Let d = t + 272/7. Are 1 and d equal?
False
Suppose 17 = -2*y - 37. Is -28 greater than y?
False
Suppose -j + 0 - 4 = -4*d, -12 = -2*d + 3*j. Let x be d + 1/(-60)*-3. Let a = 1/5 + x. Does a = 0?
False
Let o be 2/56 - (-12)/(-42). Is -15 < o?
True
Let d = -0.8 + 0.3. Let p = d + 0.4. Which is smaller: p or 1/5?
p
Suppose 0*v + 6 = 3*v. Suppose y + 5*g = -16, v*g + g + 36 = -3*y. Let x be (0 - y/9) + -1. Which is greater: x or 1?
1
Let m = -1063 - -77598/73. Let u = -63/730 + m. Which is bigger: 0 or u?
0
Suppose -5*m = -3*m - 6. Let l = -3 + 2. Let c be (-1)/(2 + (-4 - l)). Is m smaller th