 r be ((-7)/(-84))/((-2)/(-6)). Which is smaller: 0 or r?
0
Let u(t) = -t**3 - 2*t - 6. Let f be u(-4). Which is greater: 65 or f?
f
Suppose 2*c + 3 = u, 4*u - 5*u + 3*c = -4. Let g = 1.1 - 0.1. Are g and u equal?
True
Let o(z) = -z**2 - 5*z + 5. Let b be o(-6). Let a = -49179 + 542489/11. Let f = 138 - a. Is b > f?
False
Let b = -80 + 73. Let u be 4/3*6/4. Let f be b/(-7)*u/6. Is -1 > f?
False
Let f be (2/6)/((-2)/(-12)). Let v = 25/46 + -1/23. Does v = f?
False
Let n = -1/160 - -333/2080. Let l be ((-4)/3)/(1/(-3)). Suppose -z = 3*z - l. Which is bigger: n or z?
z
Let a(q) = 2*q**2 + 11*q + 27. Let m(f) = f**2 + 5*f + 14. Let j(r) = -4*a(r) + 7*m(r). Let s be j(-7). Suppose 5*v + 1 = -s. Which is greater: v or -1/8?
-1/8
Let p be -5 - -3 - -2 - -3. Suppose -5*j + 1 = 2*a - 6, -5*a = -p*j + 29. Which is smaller: -5 or a?
-5
Let y be (-3)/(-2)*(5 - 3). Suppose y*i = 3*o + 36, 0*o + 4*o - 5*i = -48. Let n be o/(-6) - (-1 - -3). Which is bigger: 1 or n?
1
Suppose f - 6*f + 25 = 0. Are 3 and f equal?
False
Let q = 19 + -5. Let u = q - 13.8. Is -1 greater than u?
False
Let t be (-1)/(-2)*(33 - -20). Which is bigger: 26 or t?
t
Let a = 43 + -41. Let j = 3 - 6. Is a less than j?
False
Let s = 2/57 + 277/228. Is -1/3 equal to s?
False
Let s = -1 - -7. Let u(x) = x + 2. Let h be u(2). Suppose 2*j - 22 = -2*d + s*j, -5*d + h*j = -31. Which is smaller: 2 or d?
2
Suppose b = 5 + 3. Suppose -2*a + 0 = -2*d + 4, -5*d + 4*a + b = 0. Are d and -4/9 non-equal?
True
Let o be (1 + 3 + -5)/10. Let v = -3 - -2. Which is bigger: v or o?
o
Let z = 58.7 - 59. Are 31 and z nonequal?
True
Suppose -3*u = -4*u. Let p(j) = -j**3 + 7*j**2 + 2*j + 5. Let t be p(7). Let i = t + -19. Is i not equal to u?
False
Let v be (45/2)/(4/8). Let c be 3/v*6/2. Which is bigger: c or -1?
c
Let i be 2 - 1 - 17/(-9). Let r = 157/45 - i. Is r less than 0?
False
Let i(r) = -2*r + 1. Let o(x) = 2*x - 1. Let d(m) = -6*i(m) - 5*o(m). Let b be d(-3). Is b less than -7?
False
Let y be (-10)/3*7790/(-20). Let t = 33467/24 - y. Let r = 96 - t. Which is bigger: r or 0?
0
Let y = 49 - 52. Which is smaller: y or -8?
-8
Let g be 35/(-14)*(-4)/(-5). Let i(d) = -d. Let u be i(g). Is 2 bigger than u?
False
Suppose 0*c - 2*c + 5*v = -35, 5*v + 5 = -c. Let q = c + -2. Let g be (3/(-2))/((-6)/q). Is g < 0?
False
Suppose 2*y = -2*y + 8. Let r(q) = q**2 - 45. Let a be r(-7). Is y greater than a?
False
Suppose -3*h - 3*u + 12 = -0*u, 0 = -5*h + 5*u. Is 5 at least as big as h?
True
Let i = 2 + 5. Let a = 2 + i. Is 9 greater than a?
False
Let s(b) = -18*b + 3. Let x be s(1). Which is greater: x or -4?
-4
Let z be (1 + -108)*(-1)/(-3). Let q = z - -249/7. Is 0 >= q?
True
Let x = -4/67 - 193/134. Suppose i + 4 - 7 = 3*w, 0 = 4*w + 8. Which is greater: x or i?
x
Let x = -2068/9 - -230. Do x and 2 have different values?
True
Let p = 15 - 12.6. Let t = 2.53 - p. Let g = 0.03 - t. Is -0.04 >= g?
True
Let i = 6537069796/147159 - 600/16351. Let o = i + -44348. Let t = o + -74. Is 1 bigger than t?
True
Let y be -2 - 1/2*0. Let o be 1*(2 - y - -1). Suppose -o*c = m - 6*m - 25, 4*c - 21 = 5*m. Which is smaller: -2 or m?
-2
Let a = -49/2 - -25. Let d = 7.9 + 1.1. Let g = 8 - d. Which is greater: a or g?
a
Let c be 1/1 + 2584/(-5964). Let w = -1/213 - c. Is 2/3 bigger than w?
True
Let s = -0.02 - 0.08. Let r = -0.2 - s. Which is smaller: 0.08 or r?
r
Let k = 0.1 + -0.1. Let u = 0.1 + k. Let a = 3.3 + -3.6. Which is smaller: a or u?
a
Let t(s) = -3*s**2 + 18*s - 12. Let l be t(5). Which is bigger: 1 or l?
l
Let j be 20/(-75)*-6 + -2. Which is bigger: j or 12?
12
Suppose -t - 13 = -3*r, 2*t - 3*r + 4*r - 9 = 0. Suppose 0 = -2*w - 3 + 7. Is t at least as big as w?
True
Suppose -v = -x, 3*x - 2*x = 4*v. Which is smaller: -16 or v?
-16
Let d = 99/4 + -25. Is d greater than 0?
False
Let q(a) = a**2 + 9*a + 13. Let x be q(-18). Let m be x/(-55) - 2/(-11). Which is smaller: m or -2?
m
Let i = 53.9 + -54. Which is smaller: 162 or i?
i
Let g = 123 + -120. Which is greater: 26/9 or g?
g
Suppose 3*o + 2*l = 0, -2*l + 6 = -0. Let c be o/(-11) - 4/22. Which is greater: c or -1/4?
c
Let a be 94/280 + (-6)/21. Which is smaller: 1 or a?
a
Suppose 7 = -2*a - 11. Let g = 10 + a. Is 2/3 not equal to g?
True
Let y = 12 - 7. Let v be (-3)/y*(-1 - -2). Suppose -2*m + 2*r + 8 = -2*r, -3*r - 9 = 0. Do m and v have different values?
True
Let m = -5 - -7. Is -1 at least m?
False
Let s be (-7)/4*4/(-1). Which is greater: s or 8?
8
Let x be (2/(-3))/2*1. Let v be (-2 - 0)*(2 + -1). Let m be v/(-7) + 10/(-35). Which is smaller: m or x?
x
Let c be 4/6*15/2. Suppose -q + 4 = -3*r - 3, -r - c = -q. Let v = -17/11 + 244/165. Is r >= v?
False
Let w(q) = 3*q - 26. Let m be w(9). Is 14/13 at most as big as m?
False
Let r(q) = q + 4. Let h be r(-4). Let f(d) = -d + h*d - 7 - 4. Let p be f(-9). Is -2 at least as big as p?
True
Suppose -31*n - 8 = -33*n. Is n at most 6?
True
Let h be (-3 + (-9267)/(-15))/(-6). Let a = -317/3 - h. Which is smaller: a or -4?
-4
Suppose 0 = 6*u - 2*u - 8. Let i be 0*(1 - 3/u). Are i and 2 unequal?
True
Let s = 5/6 + -1/2. Let l = 1.5 + -1.51. Let v = -1.01 - l. Is s < v?
False
Suppose -a = -6*a + 10. Is a at most as big as 18/11?
False
Let z(p) = -35*p**2 + 1. Let a be z(1). Let i = 373/11 + a. Is i at least -1?
True
Suppose -2 = -2*p - 0. Let a = 0.03 + -0.05. Let o = a - 0.08. Is o equal to p?
False
Let t be 3 - -43*(-2)/30. Let a = 0.54 - 0.54. Which is greater: a or t?
t
Suppose -o + 66 = 5*x, -24 = -3*x + 4*o + 11. Let d = 13 - x. Which is greater: d or -8/9?
d
Let s = 0.3 - 0.5. Let i = -3.7 - -18.9. Let d = -15 + i. Which is smaller: s or d?
s
Suppose 12 = -v + 9. Is v less than or equal to -1?
True
Suppose 0 = -2*p - 2*w + 14, 5*p - 3*w + 0 + 5 = 0. Suppose r + r = p. Is r less than 2/13?
False
Let d = 428 + -2147/5. Is d less than -1?
True
Let y be (5 - 2) + (-3)/(90/714). Which is bigger: -21 or y?
y
Suppose 3*c - 50 - 10 = 0. Let h be -1*1 - c/(-12). Suppose -6*t = -4*t. Does t = h?
False
Let a be ((-2)/3)/((-6)/27). Suppose -5*o + 6*o = f + 13, a*o - 47 = -5*f. Let w be (-3)/o - (-2)/(-7). Which is greater: -1 or w?
w
Let z = 248/65 - 60/13. Let o = 4 - 1. Let x = -2 + o. Which is smaller: z or x?
z
Let u = -6/13 - 8/39. Is u greater than or equal to -1/2?
False
Suppose 0*b = b. Suppose w + 5 - 3 = b. Suppose 0 = f - 2 + 3. Are w and f nonequal?
True
Suppose 0*a = 5*a. Suppose -5*y + 2 + 3 = a. Let p be 2/3 - (1 - y). Which is greater: p or 0?
p
Let s(g) = -g**3 + 5*g**2 + 3*g - 6. Let w be s(4). Suppose 5*c = -5*d + 25, -2*d - 4*c = 3*d - w. Let q be d + (-2 - (-4)/10). Which is bigger: q or -1/4?
q
Let h = 3 + 0. Let z(x) = x**3 + 4*x**3 - 3*x**3 - 5*x**2 - x**h - 7*x. Let m be z(6). Is m < -6?
False
Let h(m) = -m + 1. Let q be h(7). Is q at least as big as -7?
True
Let k(u) = -u - 1. Let y(c) = 3*c**2 + 7*c + 7. Let g(s) = -6*k(s) - y(s). Let w be g(-1). Is -4 not equal to w?
True
Suppose -4*d = -353 - 67. Let a be 310/d + (1 - 4). Is 0 bigger than a?
True
Let r be (-627)/(-121) - (2 - -3). Which is smaller: -1 or r?
-1
Let b = -3.9 - -4. Let z = b - 0.1. Let y = 0 + z. Is 0.4 <= y?
False
Suppose -3*q - 2 = -4*z, 26 = -2*q + 3*q + 4*z. Let f(l) = -l**3 - 8*l**2 + 5. Let g be f(-8). Which is bigger: g or q?
q
Suppose -1 = -k + x, -k + 4*x + 1 = -3. Let h = 1 - k. Let v = -35/2 + 18. Are v and h nonequal?
True
Suppose 2*v = 8 + 42. Suppose -v = 3*r + 2*r. Suppose -7*c + 41 = 76. Does c = r?
True
Let f be (-4 + 19/5)*2. Let o be 4/(-7)*1/2. Which is smaller: f or o?
f
Suppose 29*k = 27*k - 68. Is k >= -36?
True
Let l(d) = -d + 5. Let q be l(7). Let o = 3 + q. Let y be o/(-4) - 5/(-20). Which is smaller: y or 1/5?
y
Suppose 0 = -4*u + 3*u + 10. Let o be (-3)/9*u - -3. Which is bigger: o or 0?
0
Let l = -10 - -20. Which is bigger: l or 1?
l
Suppose -6*v - 2 = 4. Suppose -g + 9 = 3*s + 3*g, 0 = s + g - 3. Suppose -10 = s*b - 4*z, -b - 9 = 3*b - z. Do v and b have the same value?
False
Suppose -4*m + 16 = -2*w - 3*w, 2*m = w + 8. Suppose -5*h + 5*v = w, 3*h - 8 = -3*v + 10. Which is smaller: h or 4?
h
Let m(k) = -4*k + 1. Let h be m(2). Let r(l) = -l**2 - 8*l - 7. Let t be r(h). Which is bigger: -7 or t?
t
Let s = -418 - -2525/6. Which is smaller: 2 or s?
2
Let n = 2486 - 7655/3. Let j = -65 - n. Let x be ((-4)/(-3))/((-