= -5*i - 13. Let f be ((-1)/1)/(6 - q). Which is bigger: x or f?
f
Suppose 3*r = 6*r. Let q be -2 + 0 + 4 + r. Is 3/5 <= q?
True
Suppose 0 = p - 8 + 2. Is p at most as big as 3?
False
Suppose 7*z + 540 = 2*z. Let m = -197875/1841 - 61/263. Let f = z - m. Is f at most -1?
False
Let d = -2 - -1. Let t = 4 - -1. Suppose -v - 13 = t*u, 0*v + 11 = 2*u - 5*v. Which is bigger: u or d?
d
Let z be ((-3)/9)/((-1)/67). Let m = z - 329/15. Let s be -1 - (-3)/(-6) - -1. Do m and s have the same value?
False
Let c(h) = -h**3 + h**2 - 5. Let a be c(0). Let j be -3 - (a/3 + -2). Which is greater: j or 1?
1
Let v = 412710973383551/521831310 - 1583351169/2002. Let i = -2/17377 + v. Let l = i - 23/5. Which is greater: 0 or l?
l
Let x = 36 + -26. Let o be 14/(-49) + x/(-14). Is o < 1/6?
True
Let r = -13 + 43. Let h be (-1 + 60)*1/(-2). Let w = r + h. Is 0 < w?
True
Let z = -0.107 - 0.193. Which is smaller: -5 or z?
-5
Let l = -5 + 1. Let a be (-4)/306*(-1 - l). Is a at most as big as -1?
False
Suppose 3*k + 20 = 8. Which is greater: k or -5?
k
Let x(i) = i. Let l(n) = n**3 - 11*n**2 + 10*n - 1. Let t be l(10). Let s be x(t). Which is smaller: -1/6 or s?
s
Let u be (-366)/12 - 1/2 - 2. Which is smaller: u or -34?
-34
Let g be 18/15*5/2. Suppose -8 = 4*n, o + 5*n = -g*o + 6. Suppose -o*a = a. Which is bigger: a or 2/9?
2/9
Let y(p) = p**2 + 2*p - 4. Let z be y(-4). Suppose 2*s + 2*s = z. Let f = -2 + s. Which is greater: f or 1/4?
1/4
Let r = 1.7 - 15.7. Which is smaller: r or 1/2?
r
Let k be 1290/(-600) + (1 - -1). Which is smaller: -1 or k?
-1
Suppose 0 = 5*f - 10, -2*r - r - 5 = -4*f. Suppose 0 = -4*k - r + 5. Let b = -281/9 + 31. Is k at least as big as b?
True
Suppose -v - 8*f = -3*f - 19, 0 = 3*v + 5*f - 7. Let o be v/4*(-4)/3. Let m be o/(-5) + (-7)/(-5). Is 1 at least as big as m?
True
Suppose -n = 5*w + 13, w + 4*n = -13 - 1. Suppose -10 = 5*d + 3*k, -3*d = -k - 13 + 5. Is w less than d?
True
Let g = -32 - -30. Which is greater: -5/4 or g?
-5/4
Suppose 3*n + 11*n = 14. Suppose 4 = -4*i - 4. Let g be i*(-2)/4*-1. Which is smaller: g or n?
g
Let c = 52/315 - -2/35. Which is bigger: c or 0.06?
c
Let u = -13 + 7. Suppose 0 = -4*p - x - 15, -x = 2*p - 4*x + 11. Which is bigger: p or u?
p
Let g(r) = -r**2 - 10*r + 7. Let p be g(-7). Let z = -24 + p. Let u = 0.1 + -0.1. Which is greater: u or z?
z
Let n be -18 + 19 - (-1)/3*-11. Which is greater: n or -4?
n
Let o(b) = -2*b**3 - b**2 + 1. Let k = -5 - -4. Let d be o(k). Which is smaller: -1 or d?
-1
Suppose 2 = -3*b + 3*k - 1, b - 2*k + 4 = 0. Let f be b/12 + (-10)/(-12). Is f at most 1?
True
Let h(d) = -d**3 - 5*d**2 + d + 6. Let f be h(-5). Let y be (0/(-1))/(1/f). Suppose y = -0*t + 2*t + 5*s + 20, -3*t - 5*s = 20. Is t equal to -1?
False
Let d = 2/71 - -376/1775. Is d not equal to 0?
True
Let q be 5 - 1 - (0 + -2). Let r = 5 - 3. Let t be r/(-3) + 2/q. Which is smaller: 0 or t?
t
Let a be (-5)/10 + 92/216. Is 0.1 bigger than a?
True
Suppose 4*z = 5*x - 26, 0 = -4*x + 2*z + 3 + 19. Let w = 6 - x. Which is bigger: w or 2?
2
Suppose v = -4*r + 11, 5*r + 3*v = -4 + 9. Let g = 0.13 + -0.13. Are r and g nonequal?
True
Let j be (-3 + 2)/(-7)*8. Which is bigger: 2 or j?
2
Let d(o) = -2*o. Let t be d(-2). Suppose 3*w + 4*s - 15 = -1, 0 = 4*w - t*s. Is w less than 5?
True
Suppose 53 = 3*x + 8. Let q be ((-4)/(-5))/((-6)/x). Which is greater: q or -1?
-1
Let x be 2/3 + 7576/30. Let g = 251 - x. Is g <= -1?
True
Let p(l) = 0 - l**2 - 1 - l + 3*l**2 - 3*l**2. Let j be p(0). Are j and 2/13 equal?
False
Suppose -5*n + 0*g + 5 = -2*g, -3 = -2*n + g. Suppose 0 = z + 12 - 11. Is n <= z?
True
Suppose 3*q + 0*q - 27 = -2*a, 5*q = 25. Suppose -2*y = -a*y. Let o(d) = -d + 8. Let f be o(5). Do f and y have different values?
True
Let k = -183/4 + 943/20. Let f(t) = -t - 4. Let s be f(-4). Which is bigger: s or k?
k
Let y = -9 - -14. Let b = 5 - y. Which is greater: b or 0.2?
0.2
Let w be (21/(-9))/7*-3. Which is bigger: -1/26 or w?
w
Suppose 3*h - 5*h = 0. Let u be 885/25 - (h - -1). Let y = -35 + u. Is -2 less than or equal to y?
True
Let d = 15 - 26. Let v = d - -11.1. Let l be -1 + 5*(-1)/(-2). Which is greater: l or v?
l
Let b be ((-8)/(-6))/(4 - 430/105). Are -63/5 and b equal?
False
Let y = 1 - 1. Let l = -8 - -4. Let b be ((-3)/18)/(l/18). Which is smaller: y or b?
y
Let k = 0.02 + -0.36. Let h = k + 0.14. Is h < -0.2?
False
Let l = 6.4 + 19.6. Let j = l - 30. Let r = -3 + 2. Which is smaller: r or j?
j
Suppose 2*k + 4*i + 14 = 0, -5*k + i = -2*i + 22. Which is bigger: -40/9 or k?
-40/9
Let n = 1 - 0. Let t = -56 + 56. Which is greater: t or n?
n
Let y be (-6)/(-27) - 102/(-27). Suppose -20 = 5*r + y*b, 0 = -2*r - 3*b - 2*b - 25. Is 0 greater than r?
False
Let q(p) = -6*p - 139. Let x be q(-21). Let b be 1 + -1 - (0 + 14). Which is bigger: b or x?
x
Let i = 0.19 - -0.71. Which is bigger: -1/4 or i?
i
Let a be 1 - 1 - 1 - 1. Let m = -147 + 144. Which is smaller: a or m?
m
Let g = 445/2 + -2665/12. Is 1 at least g?
True
Let n be ((-3)/12)/((-4)/(-8))*0. Is -1/10 smaller than n?
True
Let n = 3.3 - 1.7. Let h = n + -2. Let b = -0.2 - h. Do -0.1 and b have different values?
True
Let a be (2 - 42/(-8))*(-12)/9. Is -9 at most a?
False
Let n = -4269/4 + 1074. Which is greater: n or 7?
7
Let u = 221/35 + -33/5. Which is smaller: u or -7/4?
-7/4
Let q be (4 - (6 + -1)) + 1. Are q and -6/61 equal?
False
Let n = -15 - -11. Which is greater: n or 0.2?
0.2
Let o be ((-20)/6)/((-4)/(-42)). Let l = 26 + -46. Let q be ((-4)/o)/((-8)/l). Is q greater than 1?
False
Let j = -1 + 1. Let a be 6/8*(31/(-5) + 7). Which is greater: j or a?
a
Let a = -20 - -19. Let q be 2 - (-1*10 - 2). Let m be -2 - q/(-4) - 1. Which is bigger: m or a?
m
Suppose 3*b = 94 - 91. Are b and 1/114 unequal?
True
Suppose 3*u + 20 = k, -5*k - 10 + 62 = -3*u. Suppose -s + m = -4*s + 16, 3*s - k = -5*m. Suppose 8 = 2*b - s*b. Do -1/2 and b have the same value?
False
Let q = -292 - -133. Let h = q - -470/3. Which is smaller: -1 or h?
h
Let y = 1.27 - 1.3. Do y and 1/2 have the same value?
False
Suppose 2*c + 2 = -2. Suppose 3 = 5*o - 6*o. Which is bigger: o or c?
c
Let g = 10 + -9.91. Let v = g + 0.31. Which is bigger: v or 1?
1
Let v = 13 - 23. Let h = -7 - v. Which is smaller: h or 1?
1
Let i = 1.2 + -1. Let l = i + 0.8. Let w = l - 1.3. Are w and -1 unequal?
True
Let n be (-1)/(-4)*(24 + -28). Is n < -33?
False
Suppose -t + 3*l = -6*t - 19, -4*t + 4*l = -4. Let z = 1/16 - 13/16. Is t at most as big as z?
True
Let q be 6/(-21) - 40/154. Let a = -71/8 - -69/8. Do q and a have the same value?
False
Let z be 12/88*36/(-27). Is z at most 11?
True
Let t = -52 - -205/4. Let z be 2 + -2 + (-5)/12. Let j = z - t. Which is smaller: 0 or j?
0
Let z be ((-20)/(-6))/(14/21). Let y = z + -1. Suppose -y*g + 3*m + 8 = 0, -5*g + 2*m + 3 = -0*m. Is g greater than -2?
True
Let n be 0 - 1 - (-3)/4. Suppose 0 = -4*z - 4 - 0. Is z >= n?
False
Let t(i) = -i**3 + 8*i**2 + 10*i + 8. Let k be t(9). Which is smaller: k or 18?
k
Suppose 2*q + 3*q = 4*d + 16, 4*d = q. Which is bigger: q or 3?
q
Let q be (-2)/10 - 162/(-10). Let h = q - 402/25. Does h = 1?
False
Let u = -2 + 2. Let o = -2 - u. Let z be (-1*1)/((-2)/(-6)). Is z smaller than o?
True
Let g = 2 + -1.59. Which is bigger: 1 or g?
1
Let n = 0 + 0.4. Let b = -1 - -1.5. Let w = n - b. Which is greater: 0 or w?
0
Let d be 4/(-2) + 21/9. Is -0.06 smaller than d?
True
Let r = 4 + -4.02. Let y = -14.22 + 14. Let i = r - y. Is i >= -3?
True
Let w = -29 - -20. Is w less than or equal to 0?
True
Let q be 28/6 - (-2)/(-3). Let c(n) = -n - 2. Let y be c(-5). Is y greater than or equal to q?
False
Let c be (4/(-8))/(-1)*8. Let a = 0 + c. Is 1 > a?
False
Suppose -4*s = s + 15. Which is greater: -2 or s?
-2
Suppose -2*p + 5*p + 6 = 0. Let c(a) = a - 1. Let k be c(3). Suppose -5*b - 2*z = 6, 0*b - 2 = 3*b + k*z. Is b > p?
False
Let r be (9 + (5 - 1))/(-1). Which is greater: r or -14?
r
Let w be (-19)/(-7) + (-6)/(-21). Let a be ((-5)/2)/(4/(-8)). Suppose -4*q + 13 = -w*j, -2*j = q - a*j - 10. Which is bigger: 4/11 or q?
q
Let o be ((-5 - -4)/14)/((-1)/(-4)). Is o bigger than -10?
True
Let m be (-24)/40 + 57/(-5). Is -12 bigger than m?
False
Let l be (-3)/14*8/6. Let a be (-3)/(-5 - -2)*3. Suppose 5*r - a*m + 2*m = 8, m - 1 = -4*r. Is r at least as big as 