520/3 + q. Let g = k + 70. Which is greater: 1 or g?
1
Let y be (-6)/(-4)*(24/9)/4. Does -1/44 = y?
False
Let r be (0 + 2)/(-2 + 0). Let g be ((-3)/r)/(3/2). Suppose -4*w + g*h = -7*w - 7, -w + 4*h = 7. Is w <= -3?
True
Let v = 0.4 + -0.2. Is v greater than 1?
False
Let n = 3 + -7. Let q be 8/n*(-1)/(-2). Which is greater: q or -3?
q
Let p = -1 + 1.5. Let t = -0.5 - p. Let k(f) = f**2 + 4*f - 5. Let y be k(-5). Is y less than or equal to t?
False
Let g = -1.3 + 0.3. Which is bigger: -1/5 or g?
-1/5
Let p be (0 - -2) + 3 + -5 - 40. Does -39 = p?
False
Let h(s) = -s**2 + 6*s + 1. Let l be h(6). Let a = -271/45 - -56/9. Which is bigger: a or l?
l
Let k = -87/10 + 36/5. Let h = 7.75 + -8. Let r = h + 0.15. Do k and r have different values?
True
Let u = 356/65 - 66/13. Suppose -t - 3*w + 4 = 0, -6*t + 10*t - 2*w - 2 = 0. Is u greater than t?
False
Let y be (2 - 0)*(5 - 3). Suppose -i - y*n = -1 - 6, 2*i - 2 = -2*n. Which is smaller: -3/2 or i?
-3/2
Let m be 8/(-12) + 20/12. Is 0.8 less than m?
True
Let t = 8 - 10. Let p be 2/(-12) + t/6. Do -2 and p have the same value?
False
Let k be 1/(0 - (-14)/4). Let s be (-21)/4 - 8/(-32). Let x be 2/(-3) + s/15. Is x > k?
False
Suppose 0 = 5*z + 5, -5*z + 2*z - 23 = -5*w. Suppose -2*h = t - 0*h - 4, 4*t = 2*h - w. Is 0 less than t?
False
Suppose -50 = -7*o + 12*o. Which is smaller: o or -9?
o
Suppose 25 = 5*s, -5*c = 7*s - 3*s. Suppose 0 = -r + 5*l + 27, -4 + 27 = 4*r - 3*l. Let u be (-7)/r - 1/2. Is u bigger than c?
False
Let h = -96 + 88. Is h bigger than 0.2?
False
Let g be -50683*(-1 + (-99 - 0)). Let s = -5428149745/1071 + g. Let x = s - 2/153. Which is smaller: x or -1?
-1
Let c = -0.8 - -0.56. Let r = 0.06 - c. Let y = r - -0.7. Is y at least -0.1?
True
Let j be -51*8/84 - -4. Is -1 at least j?
False
Let q = 2 + -4. Suppose -2*v + 0 = -4. Which is smaller: v or q?
q
Let v = 6 - 5. Suppose -c = -v + 7. Let y(z) = z + 12. Let i be y(c). Does i = 5?
False
Let t = 3 - 1. Let k = -2.1 + t. Is k not equal to 1/4?
True
Let t = -32 + 34.9. Let i = -5 + 2. Let m = i + t. Do -2 and m have the same value?
False
Let d = 1016/775 + -36/25. Is 0 less than or equal to d?
False
Let c be 2 + -2 + 2 + -2. Let z be (0 - c)*(-5)/10. Let n = -1 + z. Is 0.5 greater than or equal to n?
True
Suppose 3*s = -1 - 5. Let q be (1*-4)/(-2) + s. Is q greater than or equal to -2/21?
True
Let y(b) = -2*b - 17. Let l be y(-12). Let x = 8 - l. Which is bigger: 2 or x?
2
Let t be (27 - 25) + 5*1. Let f = -12 - -20. Are t and f equal?
False
Let r = -1.53 + -0.47. Are r and -6 unequal?
True
Let j(h) = h + 2. Let n be j(0). Suppose 0 = 5*g + l + 4, l = 2*l + 4. Suppose g*r = n*r + 4. Is -3 less than or equal to r?
True
Let r be (3 - (1 - -3))*-1. Do r and 2/9 have the same value?
False
Let o = 69 + -619/9. Let d be (-48)/(-27) + 4/18. Suppose -5*s - 23 = 3*z, 2*s = d*z - 5*z - 11. Which is smaller: o or z?
z
Suppose -5*c + 1 = a, a - 3*a - c = -2. Let z(f) = 3*f + 11. Let v be z(-5). Is v at most as big as a?
True
Let k = 11.1 + -1.1. Let h = k + -10. Is 1 at most as big as h?
False
Let s = 0 + -21. Which is smaller: -59/3 or s?
s
Let b = -1.285 - 0.005. Let s = -0.13 - 1.07. Let j = s - b. Which is bigger: 0.1 or j?
0.1
Suppose -h - 3*h - 2 = -2*g, 2*g + 3*h = 16. Suppose 5 = -g*p - z, 7 = -3*p - 4*z - 13. Which is smaller: p or 6/11?
p
Suppose -7 - 5 = -4*u. Let f = u + -4. Which is greater: 1 or f?
1
Let i = 84.97 - 86. Let u = i + 0.03. Is u not equal to -0.6?
True
Let h be 5 + -1 - (-34)/(-14). Is 1 bigger than h?
False
Let l be (2/56)/(3/(-18)). Let a = -0.37 + -0.63. Is l equal to a?
False
Let y be 4/10 - (-65)/(-100). Are 1 and y unequal?
True
Let s(l) = -956*l. Let m be s(-1). Let n be 2/(-5) + m/(-210). Let j = 30/7 + n. Which is bigger: j or -0.1?
-0.1
Let h(p) = -p + 5. Let t be h(0). Suppose -2*a = -t*a + 15. Suppose -12 = 2*j - a*c, -j - 6 = j - 2*c. Which is bigger: -2/7 or j?
-2/7
Suppose -3*f - 24 = -4*f. Suppose -5*p = -13 - 12. Suppose -f = n - p*n. Is -1 at least n?
False
Suppose -4*g = -4*c + g - 20, -4*g + 16 = 3*c. Is 7/8 smaller than c?
False
Let r = -44 + 49. Which is bigger: r or 26/5?
26/5
Let k be (-3)/12*(-5 + 1). Let b = k + -2. Let a be b*15*(-6)/(-15). Are -6 and a unequal?
False
Let i(a) = -a - 9. Suppose -33 = 4*h - 3*v, v = 5*h - 0*v + 55. Let d be i(h). Is d > -1?
True
Let f = -17 - -31. Which is smaller: f or 15?
f
Suppose 3*k + k = 16. Suppose -2*c - 2*n = -7*c + 8, n + k = 0. Let a = c + -3. Do -3 and a have different values?
False
Suppose -2*a - 32 = 4*v, -62 = 5*v - 5*a + 8. Let u be 5*(-3 + (-26)/v). Let x = -1 + -2. Which is smaller: x or u?
x
Suppose 0 = h + 2*x - 7*x - 25, 10 = -5*h - 2*x. Let q = -14 + 6. Let r = -9 - q. Which is bigger: h or r?
h
Suppose -1 + 5 = -2*s. Let y = 2 + s. Let x be 18/8*(-5)/30. Is y smaller than x?
False
Suppose 50*z - 49*z + 31 = 0. Is z greater than -33?
True
Let p be 0/2 + 0 - -1. Let z be 1 - -1 - (-14 - -2). Suppose 9*r - z*r = -10. Is p at most as big as r?
True
Let b = 6 - 6. Suppose 0 = -5*j + n + 8, -4*j - 2*n = -0*n + 2. Let t = b + j. Which is smaller: t or 3?
t
Let y = 1 - 4. Is y at least as big as 20/9?
False
Let s = -7 - -3. Let d = 5 + s. Let h be (-1 + 0)/(12/3). Which is smaller: d or h?
h
Suppose -8 = -2*y - 2*y, 5*z = -5*y + 15. Let h(m) = -m**3 - 6*m**2 - 5*m + 1. Let p be h(-5). Let t = p - 1. Which is smaller: t or z?
t
Let s = 7 - 3. Let a = 10 - 0. Suppose s*b = -b + a. Is 1 <= b?
True
Let s be -1*(-10 - (-2 + 0)). Which is smaller: 9 or s?
s
Let x = -6.96 + -0.04. Let v = 7 + x. Which is greater: -1 or v?
v
Let i = 65146 - 3062056/47. Let y = i - -8907/188. Let o = y - 43. Which is smaller: -2 or o?
-2
Let k = -26 + 51/2. Is k > 0?
False
Let l = -7 + 1. Let k(n) = n**3 + 3*n**2 - 5*n - 1. Let j be k(-4). Let c = -2 - j. Which is smaller: c or l?
l
Suppose -4*s = -9*s. Let f be 9/24*2 - s. Which is bigger: f or 2?
2
Let t be (-1)/(((-3)/(-2))/(-3)). Let v be (t/(-36))/(2/(-8)). Suppose -m + 3 = 5*c - 18, 3*c - 11 = m. Which is greater: v or m?
m
Suppose 0 = -p + 3 - 4. Suppose -r = -4*r - 3. Do r and p have the same value?
True
Let g be 71/(-3) - (2 - (-24)/(-9)). Which is greater: g or -25?
g
Let d be 16/9 - 2/1. Let z = -64 + 450/7. Which is greater: d or z?
z
Let m be (3 - 2)/((-2)/6). Let r(o) = o + 1. Let s(u) = 1. Let d(b) = r(b) - s(b). Let t be d(-1). Which is smaller: t or m?
m
Let u(c) = -3 + c - 5*c + 4*c + 3*c. Let t be u(2). Which is bigger: 4 or t?
4
Let c = -18.1 + 2.7. Let d = c + 16. Which is bigger: d or 1/4?
d
Suppose 4*x - x + 126 = 4*g, 152 = 5*g - x. Let r be ((-1)/3)/(40/g). Suppose 4*n = 6*n. Which is smaller: r or n?
r
Suppose -4*o + 9 = -3. Let c(j) = -7*j + 1. Let i be c(o). Let l be (3/i)/((-24)/20). Which is bigger: 0 or l?
l
Suppose -3 = 3*b, t - 2*t - 4*b - 9 = 0. Suppose 0 = 2*z - 3*z + 2. Let o be z*(-2)/8*10. Is t != o?
False
Let i = 304/35 - 58/7. Suppose 0 = -8*f + 3*f - 25. Let y(n) = n + 5. Let b be y(f). Is i smaller than b?
False
Let s = -5 + 8. Suppose -s*x = 2*i, -4*i - 10 = 2*x - 2. Which is smaller: 2/3 or x?
2/3
Let w(y) = -y**3 - 10*y**2 + 2*y + 12. Let g be w(-10). Let a = g + 17. Suppose 3*c + 1 = -i + 10, 0 = -i + 3*c - a. Which is smaller: i or 1?
i
Let m = -1 + 5. Which is bigger: 13/3 or m?
13/3
Let r(b) = -b**3 + 11*b**2 - 11*b + 7. Let l be r(10). Let v = l + 7. Let w = -2 - -7. Which is smaller: w or v?
v
Let h be ((-316)/(-54))/(-2) - -3. Which is greater: 0 or h?
h
Let s be (5 - 0) + 1/(-1). Suppose 15 = s*x + x. Suppose 0*n + 3 = x*n. Is n less than -2/3?
False
Let w = -53 + 48.02. Let a = w + 5. Which is bigger: -1 or a?
a
Let y = 4 - 7. Let b = -2.9 - y. Which is smaller: -3 or b?
-3
Let z = -7/10 + 6/5. Which is greater: z or 2?
2
Let f = 19/9 + -115/63. Is -1 smaller than f?
True
Let q(d) = -2*d**3 + 3 - d + 3*d**3 - 2. Let m be q(1). Let v = 1 - m. Is 4/5 equal to v?
False
Let f = 36.3 - 35. Do 0 and f have the same value?
False
Let z = 162 - 6316/39. Which is bigger: z or -1?
z
Let h = -3 - 1. Let d = -3.8 - h. Let b = 0.3 - d. Is b bigger than -2/3?
True
Let f = 47 - 31. Let i = -16 + f. Does i = 2/13?
False
Let r = -0.1 + 0.1. Let q = 11 - 11.1. Which is bigger: r or q?
r
Suppose o - 1 = 6. Suppose -k + 3*n + 4 = -n, 4*k + 5*n = 16. Suppose -k*j + 24 = 3*l, 5*j = -0*j + 