e (-4)/7*(-12)/(-24). Let i be 1 + -1 - (-2)/(-5). Is b > i?
True
Suppose -8 = 3*m - 2*h - 1, 5*m = -5*h + 5. Let i = m - 0. Which is bigger: i or 0?
0
Let o be 86/10 + 6/(-10). Which is greater: 6 or o?
o
Let j = -57707/810 + 7/162. Suppose b = -3*b + 284. Let t = b + j. Which is bigger: 1 or t?
1
Let z(r) = -r**2. Let a be z(0). Let m be (-6)/15*(-25)/5. Do m and a have different values?
True
Let h(c) = -c - 4. Let d be h(-5). Suppose 0*a + 2*x = -2*a - 12, a + 3*x + 14 = 0. Let t be (-4)/(-6) - (-2)/a. Is d greater than or equal to t?
True
Let a = 0.01 - -0.09. Let c = -0.3 + 0.2. Let o = c + a. Which is smaller: -2 or o?
-2
Let u = -3.1 + -2.9. Is u less than 2/3?
True
Let s be 9*(-3 + (-40)/(-12)). Suppose 8 = s*c - 2*c. Is 9 >= c?
True
Let v be (-6 - -7)/(-2 + 1). Are -2/11 and v unequal?
True
Let m be (1/(-39))/(17/(-34)). Which is smaller: m or 0?
0
Let a = -1/567 - 3389/7371. Which is smaller: a or 1?
a
Suppose 5*u + 36 - 6 = 0. Let j = -8 - u. Let i be 0*((-3)/j - 2). Which is bigger: i or -2/3?
i
Let c be 10/4 - 2/(-4). Let k(q) = q**2 + 5*q + 6. Let a be k(-5). Let d = a - 3. Do c and d have the same value?
True
Let s = 1 + 4. Which is smaller: s or 4?
4
Let a = -125 - -148. Is 22 bigger than a?
False
Let r(s) = 3*s - 4*s - 5 + 0*s. Let v be r(-4). Let k be 8/6 - (-1)/v. Is k greater than -2/5?
True
Let g be 3 + (-8)/4 + 0. Let i be -12 + 14 - 3*g. Is i smaller than -2?
False
Let f = -8.04 + 0.84. Let k = f - -7. Which is bigger: -6 or k?
k
Let c(j) = 4*j + 3 + 0*j - j. Let y be c(-2). Let f be y + 4 - (-1 + 2). Which is greater: 2/3 or f?
2/3
Let h = 65.2 + -65. Let a be (-6)/4 - 30/(-28). Is a at most as big as h?
True
Let r = 2 - 0. Let y = -29 + 23. Which is smaller: y or r?
y
Let z = -17 - -21. Which is bigger: z or 5?
5
Let t = 0.02 + 0.08. Which is smaller: -0.09 or t?
-0.09
Suppose -5*s = -3*q + 5*q + 125, 123 = -4*s + 3*q. Which is greater: s or -28?
s
Suppose 4*f - 2 = 3*t + 6, 5*t - 10 = -5*f. Let w = f - 0. Suppose -w*c = 2*j - 12, 0 = -0*j + 3*j - 9. Which is smaller: 2 or c?
2
Let a be ((-2)/5)/(9/15). Let j = -18 + 28. Let g = 10.3 - j. Which is greater: g or a?
g
Let p be (114/(-168))/(0 - -3). Let f = -3/28 + p. Which is smaller: 1 or f?
f
Suppose -2 = -p + 2. Suppose 0 = -5*i + p*d + 6, i + d - 1 = 2. Suppose -5*g + 20 = -w, 0 = 2*w - i*g + 1 + 7. Is w smaller than 1/6?
True
Let d = -7 + 5. Let p be (3 - 2/6) + -3. Is d <= p?
True
Let r = -9.6 + 9.8. Is r less than or equal to 0.2?
True
Let n = 11 + -22. Let v = n - -75/7. Let i(j) = j - 3. Let b be i(3). Are v and b nonequal?
True
Let k = 448 + -7618/17. Let l be (-17)/(-3) + (-2)/3. Suppose 0 = -5*v - 0*v - 3*a - 4, v + l*a + 14 = 0. Which is greater: k or v?
v
Let c(u) = -2*u + 13. Let j be c(6). Which is smaller: -2/25 or j?
-2/25
Let g = -39 + 42. Which is greater: g or 11/6?
g
Let b = -42 + 43. Is b >= 0.39?
True
Suppose -4*s - 4*u - 38 = -2*u, -s + 2*u = 12. Is s at most as big as -44/5?
True
Let n = 162/13 - -1088/65. Let u = -29 + n. Which is smaller: -0.1 or u?
-0.1
Suppose p = 3*u + 8, -4 - 5 = -3*p + 4*u. Let b(g) = -g**3 + 2*g**3 - 2*g**3 + 0*g - 6 - 6*g**2 - g. Let y be b(-6). Is y > p?
True
Suppose 3*o = -5 - 1. Which is smaller: o or 1?
o
Let o be (-12)/(-30) - (-4)/(-10). Let x = -507/152 - -80/19. Which is smaller: x or o?
o
Let q(c) = c**3 + 12. Let z be q(3). Which is smaller: 38 or z?
38
Let v = -2 + 1. Let o = 0.501 + -0.101. Which is smaller: o or v?
v
Suppose 88 + 48 = -4*l. Which is smaller: -33 or l?
l
Let d = 4301/13 - 331. Let c = 2 + -3. Which is smaller: c or d?
c
Suppose 2*y + 122 = -2*v, -2*v - 138 = 3*y - 5*y. Which is smaller: -64 or v?
v
Let v = -1 - 2. Let a = 5 + -5. Suppose -3*i - 6 + a = 0. Is i >= v?
True
Let x be (-224)/846 + 2/9. Which is smaller: 0 or x?
x
Let k be ((-4)/(-5))/(132/30). Which is greater: k or 0.2?
0.2
Let p(o) = -o**3 + o**2 + 2*o. Let c be p(2). Suppose -1 = d - c*k - k, 4*d + 3*k = 10. Which is greater: 1/2 or d?
d
Let m be ((-2)/4)/((-1)/(-8)). Let s = m + 7. Do 4 and s have different values?
True
Let m(t) = -5 + 1 - t + 2*t. Let j be m(8). Let k be j/2 - 16/9. Which is bigger: -1 or k?
k
Let s(n) = n**2 - n - 56. Let d be s(-7). Which is smaller: -1/188 or d?
-1/188
Let z = -7 + 7. Which is greater: z or 0.07?
0.07
Let q be (-14)/(-77) - 97936442/(-308). Let x = q + -318117. Let a = -281/2 - x. Which is greater: a or 0?
a
Let h = 319/5 - 64. Let u be 6/4*(-4 - -2). Let r = 3 + u. Which is bigger: h or r?
r
Suppose 5*a - 6 = -16. Let m be ((-1)/a)/((-5)/40). Is -5 > m?
False
Let h be -1*(-4)/((-600)/(-79)). Let k = h - 2/75. Which is smaller: -4 or k?
-4
Let t = 15 + -29. Which is bigger: -15 or t?
t
Let f = 88/15 - 17/3. Which is bigger: 1 or f?
1
Let p be 6*(5/(-2) - -2). Let k be (1/3)/(1/p). Which is bigger: 1 or k?
1
Suppose 4*i = -4*d - 4, 5*i + 7 = d - 22. Let z = d - 2. Suppose -z*u = 4*h - 6, 3*h = -0*h + 4*u - 23. Does h = 1?
False
Suppose i - 3*q = -3, 0*q - 5*q = -3*i - 5. Let y be (-2 + (-100)/(-48))*3. Is i at most as big as y?
True
Let f = -0.09 - 0.91. Let t = 0.8 + f. Is t at least -0.2?
True
Suppose -i - i = 4. Let a(b) = b - 2. Let n be a(3). Let q be 0 + (-1)/(n/2). Is i < q?
False
Let u be (4/8)/(109/(-4)). Is -1 equal to u?
False
Let v = 113 + -112. Does v = -4/23?
False
Let w = 1/2 + -3/4. Is w less than or equal to 0?
True
Let q = 20 + -20. Is -2 at least as big as q?
False
Let n = -1307/9 + 145. Is n less than or equal to -1?
False
Let r = 0.2 - 0.1. Let u = 1.1 - 0.8. Let i = u + -0.3. Which is smaller: i or r?
i
Let g = 0.75 + -2.05. Which is greater: g or -2/7?
-2/7
Let s = 6 + -3. Suppose 0 = -v - i + 3, -5*v + s*i + 8 = -7. Let f be 1/3 - (-8)/v. Is f at most as big as 3?
True
Let a(p) = 2*p**3 - 7*p**2 + 3*p - 2. Let y be a(6). Let z = y - 1370/7. Let q = -1 + 1. Which is bigger: z or q?
z
Suppose 5*l - l - z = 8, -2 = -l + 4*z. Let k(w) = 9*w + 3 - 7 - 2*w - w**l. Let r be k(7). Which is smaller: r or -3?
r
Let j = 4 + -9. Let f = -4 - j. Which is bigger: f or 0.1?
f
Suppose -4*t + 4 = 2*g, -5*t - 3*g + 7*g + 18 = 0. Let b = -39 + 40. Which is smaller: b or t?
b
Let m(f) = f**2 + 5*f - 7. Let n be m(-6). Are 2/11 and n equal?
False
Let z(i) = 5*i. Let q be z(1). Suppose 0 = q*y - 241 + 66. Suppose -5*c = -5*m - y, -m - m + 1 = c. Is -3 equal to m?
False
Suppose 2*b = -2*b. Which is smaller: -2 or b?
-2
Let k = 5 - 2. Suppose -k*u - 2*u + 15 = 0. Suppose 0 = 2*f + u*f. Which is bigger: 2/5 or f?
2/5
Let n be -3 - -1 - (-7)/1. Suppose 0 = 5*y + b + 6, 0*y - 5*y = -n*b. Is -6 greater than or equal to y?
False
Let o = 0 + 3. Let t = o + -4. Let n = -2/39 + -64/273. Which is smaller: t or n?
t
Let n(i) = -14*i - 28. Let y be n(-2). Which is greater: y or 3/125?
3/125
Let d = 1 - -1. Suppose -d*x = 3*x - 15. Is x less than -2?
False
Suppose 14 = -3*y + y. Let a be 5/((-30)/(-4))*84/(-8). Is y at least a?
True
Let b = 1.001 + -0.001. Do b and -4 have the same value?
False
Let r be 1*((-2)/(-1) - 3). Which is smaller: r or 2/53?
r
Suppose 12 + 4 = -p. Let r = -6 - p. Let q be 3/r*(-8)/6. Which is smaller: q or -0.1?
q
Let h = 18 + -16. Is 4 smaller than h?
False
Let l = -15/22 - -2/11. Let s = 51 - 50. Is s less than l?
False
Let k be ((-4)/10)/((-3)/15). Suppose 0 = 3*a - k - 4. Suppose -a*w = -w - 2. Do 0 and w have different values?
True
Let z = 217/148 - 8/37. Which is bigger: z or 2?
2
Let g = -0.015 - -0.025. Which is greater: g or -1/5?
g
Suppose -16*q + 12 = -20. Suppose -4*t = -0*t + 2*z, 0 = -z + 2. Which is smaller: q or t?
t
Let n = 604/7 - 86. Which is smaller: -1 or n?
-1
Let p(m) = m**2 + 2*m - 5. Let n be p(-4). Suppose 0 = -5*w + 5*u - 25, 3*u + n = w + 4*u. Are 2/19 and w nonequal?
True
Suppose 0 = -0*x - 4*x + 16. Let g(i) = i**3 - 5*i**2 + 4*i + 5. Let j be g(x). Does 5 = j?
True
Let o(n) = -2*n + 2. Let z be o(2). Let p(w) = -w**2 - w + 1. Let u be p(z). Does u = 3/7?
False
Let f(g) = g + 3. Let d be f(0). Suppose -r + d = -0*r. Let w be 69/(-21) + r - 0. Which is smaller: 1 or w?
w
Let t = 0.09 + -0.04. Let b = -0.03 + t. Is 1 smaller than b?
False
Let c be (-4 + 1)*(2 - 1). Let b(n) = -n - 5. Let w be b(-6). Is c < w?
True
Let t = -0.47 - -0.37. Which is greater: -80 or t?
t
Let l(r) = r - 20. Let b be l(14). Let v be (1/(-2))/((-3)/b). Let a = 0.1 - 