
Suppose 0 = 2*r - 4*r + 4*x - 36, -r = -x + 16. Let u = r + 13. Which is smaller: u or -5/7?
u
Let n = 6 + -1. Let h = 0.7 - 0.7. Which is greater: n or h?
n
Let h be 432/(-7) - (0 - -1). Let v = h - -63. Which is bigger: 8 or v?
8
Let c be 4/(-2) - (-418)/99. Which is greater: c or 2?
c
Suppose k + 2*k = 3. Is k at most as big as 8/5?
True
Let h = 7 - 5. Suppose 5*q + h = 17. Which is smaller: 2 or q?
2
Let n = -4 + 7. Suppose y + 44 = 12*y. Do n and y have different values?
True
Suppose 3*a - 4 = -4*x - 2, a + 2 = 0. Suppose -2*d = x*d - 8. Which is smaller: 3 or d?
d
Let v = -3 + 1. Let s be 0/((-8 - v) + 3). Let c be ((-4)/190)/(6/(-30)). Is c >= s?
True
Let r = -29 - -29. Which is smaller: 6/7 or r?
r
Let u be 1 + (-5 - -2)/(-12). Let f = 3 - 2. Let h(k) = k**2 - k + 1. Let j be h(f). Is u bigger than j?
True
Let q = 27 - 21. Which is smaller: 4 or q?
4
Let i be 3/((-3)/(-28)*1). Suppose -2*w = 2*w + x - 133, 2*x = -w + i. Suppose -s + o = 3*s + 22, -5*s - w = 2*o. Which is smaller: -7 or s?
-7
Let l be (-4)/6 + (-17)/(-3). Let o be l + -4 - (0 + 1). Let d = -1 + 1. Is o greater than or equal to d?
True
Let x = -2 - -2. Let p be ((-6)/(-9))/(60/18). Which is smaller: x or p?
x
Let r(d) = d**3 + 10*d**2 + 9*d + 6. Let p be r(-9). Suppose 0 = -p*h + h + 20. Is h at least as big as 3?
True
Let d(m) = m**2 + 9*m - 6. Let q be d(-9). Let s be (-1)/q + 310/(-780). Is s at most 0?
True
Let w = -291 - -2323/8. Suppose 4*j = -2*g - j - 10, 0 = -3*g - j - 2. Which is bigger: g or w?
g
Suppose -2*t - 25 = -23. Which is smaller: t or 6/25?
t
Suppose n - 15 = 3*p, -p = n - 3*n. Is p greater than -5?
False
Let l(s) be the third derivative of -s**4/12 + 13*s**3/6 - 7*s**2. Let a be l(6). Is a greater than 1/6?
True
Suppose -3*y + 3*i = -9, 5*i - i + 8 = 0. Is 15/13 > y?
True
Let u = -116 + 130. Which is smaller: u or 15?
u
Suppose 0 = 3*z - 13*z + 10. Which is smaller: z or 3/22?
3/22
Let u(d) = -4*d. Let h be u(1). Let s = -12 - -12. Which is bigger: h or s?
s
Let a(c) = -c + 3. Let b be a(-7). Let s be (6/b)/(1/(-5)). Which is smaller: s or -3/2?
s
Let a = -54 + 18. Let l be (-1)/(-3) - (-20)/a. Which is smaller: l or 0?
l
Let g be 3/((-3)/(-6)*3). Suppose 0*q = g*q. Let t be 2 - (-1 - (q + 0)). Do 3 and t have the same value?
True
Let l = 46/15 - 8/3. Let m be (2*(-2)/(-4))/(1/(-2)). Which is smaller: l or m?
m
Let p = 0.1 - 0.1. Let y = p + -1. Let a = y - -1. Is a < 0.1?
True
Let p be ((-3)/3 - 4/(-2))*-1. Is p at least as big as -9/14?
False
Let n(f) = f**3 + 2*f**2 - f + 4. Let a be n(-3). Suppose 10 = 75*k - 70*k. Which is bigger: k or a?
k
Let x be 22/4 - 1/(-2). Let i be -1*(2 - x/2). Which is greater: i or 2/5?
i
Let q = 2/177 + -211/3009. Let l = -20 + 5. Let r = 15 + l. Is r at least as big as q?
True
Suppose 3*a - 2*a - 7 = 0. Let p = 2 - a. Is -6 >= p?
False
Suppose 7*s - 5*s = 2. Let v be (18/14 - s)/1. Are v and 1 nonequal?
True
Suppose -56 = 4*r + 32. Which is greater: -20 or r?
-20
Let a = -13 + 11. Let w = -2 + 2.1. Is a at most as big as w?
True
Suppose -i = 7 - 6. Let f be (-3)/30*(-1 - -7). Is f < i?
False
Let i = -29 + 20. Let p = i + 6. Let a = p + 4. Which is greater: a or -3?
a
Let y be ((12/20)/3)/(-1). Let p = -1 + 2. Which is greater: p or y?
p
Let o = 22 + -16. Let c be 5/20 - o/(-40). Is c not equal to 0?
True
Let x be (2/(-12))/((-5)/(-9)). Let o = x + 11/20. Let y = 0 - 1. Which is smaller: o or y?
y
Let o = -7 - -9. Are o and 10 equal?
False
Let t = -6 - -10. Let g = t + -3. Which is smaller: 0 or g?
0
Suppose -4*c - 11 = 17. Do c and -6 have different values?
True
Let c = 12 + -17. Let f = -0.3 + -0.7. Which is bigger: c or f?
f
Suppose -r - 6 = 2*r. Let i = 11 - 20. Let o = 9 + i. Does o = r?
False
Let y(m) = -4*m**3 - m + 10 + 3 + 5*m**3 - 13*m**2. Let v be y(13). Which is smaller: v or -2/15?
-2/15
Let k(h) = h**2 - 11*h - 11. Let c be k(12). Let o = c + -1. Which is smaller: o or -2/9?
-2/9
Let j(o) = -o**2 + 4*o - 3. Let u be j(3). Let w = -0.59 - -0.39. Is w < u?
True
Let z = 0 + 12. Let j = 16 - z. Is 2 smaller than j?
True
Suppose 0 = -4*b - b + 10. Suppose 12 = -4*p + b*z, 5*z - 9 = 5*p + z. Are p and -4 non-equal?
True
Let v = 67 - 61. Do v and -4 have the same value?
False
Suppose 3*a = 2*a - 118. Let t be 0 + (-350)/a + -3. Are 0 and t nonequal?
True
Let h be 4/(-7)*(-2)/(-2). Let i = -6/7 - h. Let z be 2/(-4)*(-8)/(-6). Are i and z nonequal?
True
Suppose -4*m = -11 + 3. Let f be 119/14 + (-1)/m. Let i = 8 - f. Which is smaller: i or -7/5?
-7/5
Let f be (-36)/21*(-56)/16. Are f and 6 unequal?
False
Suppose 5*g - 8 + 3 = x, g = -4*x + 1. Let i = 53179/153 - 8540/17. Let u = i - -155. Which is bigger: x or u?
u
Let b(i) = i**3 - 4*i**2 + 5*i + 3. Let q be b(3). Which is smaller: q or 6?
6
Let q(k) = -k**3 + 5*k**2 - 7*k + 4. Let g be q(4). Let u be 5/(-2)*g/10. Is -2 at most u?
True
Let v be 10/(-5) + 1 - -92. Which is bigger: v or 90?
v
Let j = 92 - 179/2. Which is smaller: -1 or j?
-1
Let t be 1/(-3 - 7/(-2)). Suppose 2*l - l + t*j = -1, 4*l = 4*j + 8. Is l greater than or equal to 2?
False
Let y be 4/(-3)*18/(-12). Let k = -1 - -0.9. Is y smaller than k?
False
Let d be 0 + 5 - (-4)/(-1). Which is greater: 12/5 or d?
12/5
Let v be ((-2)/(-9))/(45/27). Which is smaller: v or 1?
v
Let x be (-8)/96 + -6*(-1)/8. Which is smaller: x or 2?
x
Let p(q) = -2*q - 7. Let i be p(-5). Let g be (i - 0)/((-3)/2). Let u be 1/(0 - (-2)/g). Is -2 > u?
False
Let v be 9/(-45) - (-14)/(-5). Let h be 1/(-6)*-14 + v. Is h equal to -1?
False
Let z = -32 + -28. Which is greater: z or -59?
-59
Suppose 8 = 6*w - 5*w. Let n = w - 6. Is n greater than -2?
True
Let k be (-4)/(-15) + 8/(-12). Which is bigger: k or -1?
k
Let b = -20 - -19.9. Is b <= 1/18?
True
Suppose m = -4*n + 243, 124 = 2*n - m - m. Is 60 != n?
True
Let a = 1.7 - -0.3. Is 1/5 at most a?
True
Let s = 0 - 0. Let f = s + -1. Suppose 94*h = 89*h + 5. Which is bigger: h or f?
h
Let p = 5 + -17/4. Let u be -2 + (-2)/(2 - 3). Which is greater: p or u?
p
Suppose -4*l - 2 - 146 = 0. Let k = l + 335/9. Suppose 2*i + 3 = c - 1, 0 = -2*i - 3*c + 4. Is k at least as big as i?
True
Let b = -12 + 9. Let r be 1/((6/26)/b). Is r equal to -12?
False
Suppose -4 = k - 0*k, -3*l - 5*k = -1. Suppose 1 = 3*m + 4*j - l, -3*m = 2*j - 4. Do 1 and m have different values?
True
Let g = 12641/10374 - 27/182. Let n = -5/19 - g. Is -1 equal to n?
False
Let a(m) = -2*m - 2. Let z(n) = -2*n - 3. Let g(w) = -3*a(w) + 2*z(w). Let c be g(1). Is c > 2?
False
Suppose 7*v - 2*v - 20 = 0. Suppose v*x + x = 10. Which is bigger: 3 or x?
3
Let n = 0 - 0. Suppose -4*z - 16 + 48 = -4*w, 0 = -5*w - 15. Is n greater than or equal to z?
False
Suppose 2*r + 12 = 6*r. Suppose 1 - r = -s. Suppose -a - 5 = 0, 0 = 3*h - 3*a - s - 19. Which is bigger: 4/7 or h?
h
Let z = -4/201 - 278/6231. Let h be (1 + 1 - (-1 + 2))*1. Is z < h?
True
Let h = -391 + 1553/4. Which is greater: h or -2?
-2
Suppose 2*w - 20 = -2*w. Suppose 5*f = -0 + w. Let x = 5/4 - f. Is -5 bigger than x?
False
Let i = 4433/3944 - -1/986. Let y = 11/40 + i. Which is greater: y or 1?
y
Let b(s) = 6*s. Let w be b(1). Which is greater: 8 or w?
8
Let m = 0.6 - 0.6. Let s = 4 - 3.7. Is m > s?
False
Let z be (-1 - 14/1)*1. Let p = -14 - z. Are 1/4 and p unequal?
True
Let f = -28.51 - -28. Let v = f - -0.11. Is v greater than or equal to 0?
False
Let o = 14 - 13. Suppose -2*b + 6*b = 48. Which is greater: b or o?
b
Let o = 8 + -3. Suppose 0 = -2*p + o*m + 14, 2*m = -3*m. Does 7 = p?
True
Let c = -1/79 + -149/711. Which is smaller: 3 or c?
c
Suppose -4*d + 51 = 5*z, -d + 2*z + 1 = -2. Suppose 0 = -3*f + 6*f + d. Which is smaller: 1 or f?
f
Let d(t) = -5*t + 17. Let c(o) = -3*o + 8. Let m(i) = -2*i - 4. Let p be m(-4). Let f(q) = p*d(q) - 7*c(q). Let b be f(-9). Is 4 at most b?
False
Let p = -0.06 - 1.94. Which is smaller: -1/2 or p?
p
Let i be (-6)/27 + 190/1017. Let y = 254/791 + i. Are y and 0 non-equal?
True
Suppose -26 - 10 = -4*g. Let m be (-5 - 4)*(-2)/g. Which is smaller: 1 or m?
1
Suppose 40 = -2*c - 0*c. Which is greater: -21 or c?
c
Let c(r) = -4*r**2 - r - 13. Let l(m) = 5*m**2 + 2*m + 14. Let i = 10 + -5. Let v(b) = i*l(b) + 6*c(b). Let s be v(-6). Are s and 5 nonequal?
True
Let y be 1 - -3 - (0 - -1). Suppose 2*j - 5*g = y*j - 11, 2*g = -2*j + 3