+ 5*r = -2*v - 15, 3*v - 9 = -4*r. Let y = -2 + 6. Suppose -y*w + 16 = -0. Which is bigger: w or v?
w
Let l = -23 - 47. Let o be 6/28*l/180. Which is bigger: o or 0?
0
Suppose 0*d = -2*d - 4*n + 8, 5*d - 3*n = 20. Suppose -4*t - 4 = d. Let q be 1*2/4*t. Which is smaller: q or -4/3?
-4/3
Let c be 6 + (-308)/49 - 132/28. Suppose 0 = -2*r - 22 + 10. Which is smaller: r or c?
r
Suppose 2*n - 5*p + 28 - 1 = 0, p + 9 = -2*n. Which is smaller: -9/2 or n?
n
Let f be ((-2)/(-3) - 0)/(-5). Suppose 3*a - 30 + 12 = 0. Suppose -w - 5 = -a*w. Is f equal to w?
False
Let t = -0.46 - 0.04. Let u = -0.5 - t. Is 0 at least u?
True
Suppose -5*w - 249 = 26. Let v be (-1)/(-4) - w/20. Let l(s) = s + 8. Let f be l(-7). Which is smaller: f or v?
f
Let b(a) be the first derivative of a**2/2 - 4*a - 3. Let w be b(4). Which is greater: -0.1 or w?
w
Suppose 0 = 2*o + 5*n - 13, -4*o + 5 = -0*n + 3*n. Is o greater than -2?
True
Let i = 89/3 - 436/15. Do i and 0 have different values?
True
Suppose 0 = -5*w + 22 + 3. Let m be (w + 1)*(-54)/(-4). Let d be -2*(-3)/m*-3. Which is bigger: d or 0?
0
Suppose l - 2*l = -2*g + 6, 2*g = -3*l + 22. Which is greater: 0 or l?
l
Let b(q) = -10*q + 5. Let r be b(-4). Let o be (3/r)/((-1)/3). Which is greater: o or 0?
0
Let c = -314/3 + 106. Suppose 4*l + o = -4*o + 13, -2*l = -o - 3. Which is smaller: l or c?
c
Let r be 2/3*(-3)/(-6). Let m = -3 - -5. Suppose -4*k - 2 = m. Is r at least k?
True
Let j be 2/(-8)*(-1)/(-1). Let k(y) = -3*y**2 + 7*y - 6. Let a(p) = 16*p**2 - 36*p + 31. Let v(u) = 2*a(u) + 11*k(u). Let n be v(4). Which is greater: n or j?
n
Suppose 0 = 2*a + 2 + 6. Let v = a + 7. Which is bigger: -2 or v?
v
Suppose -1 = -2*y - 7. Let t = -1/79 + -75/316. Which is smaller: t or y?
y
Let m = -26.1 - -26. Which is greater: 10 or m?
10
Let u(a) = -a**3 + 8*a**2 + 5. Let g be u(8). Suppose -g*m - 7 - 28 = 0. Is m bigger than -7?
False
Suppose 4*z = z - 186. Let b = z - -495/8. Suppose 0 = -4*q + 3 - 7. Which is greater: b or q?
b
Let b = -2 + -3. Let r = 7 + b. Let s be ((-24)/90)/(r/5). Which is greater: 1/4 or s?
1/4
Let i = 9 - 22. Let r = -9 - i. Let u(a) = -a**3 + 5*a**2 - 4*a. Let m be u(r). Is 0 greater than or equal to m?
True
Let q = 320677/111 - 2889. Which is smaller: 1 or q?
q
Let y(i) = 17 - 6*i - 8 - i**2 + 0*i**2. Let z be y(-7). Let b be 1*z - (-3)/(-2). Is b < 0.1?
False
Let n be (-1)/((-9)/2) + 0. Let d = 1.123 - 0.123. Is d at most as big as n?
False
Let j = 26 + -17. Is j at most as big as 11?
True
Suppose -4*n = 12, -3 = -5*r + 3*n + 1. Let h = -1.9 + -0.2. Let f = -2 - h. Which is smaller: f or r?
r
Suppose -9*t = -15 - 75. Which is bigger: t or 13?
13
Let n(b) = 3*b. Let r be n(1). Let u(w) = -2*w - r*w + 5 + 4*w. Let x be u(5). Is -1 >= x?
False
Suppose -5*u - 660 = -h - 220, 0 = u - h + 88. Let g be 1396/u*26/(-1). Let q = g + -413. Is q > -2?
True
Let r = 11 - 10. Let g be 5/(-100)*5/(-4). Do g and r have the same value?
False
Suppose 25 = 5*z + 4*f, z + 0*f = f - 4. Suppose 4*k + 1 + 5 = 2*x, -5 = 5*k - 5*x. Let u be 3*((-18)/10 - k). Which is smaller: u or z?
u
Suppose z - 4 = -i - 0*i, -10 = 5*z - i. Is z equal to -11/10?
False
Suppose 2*y + 4 + 0 = 0. Let a be 8/114*(-3)/y. Which is smaller: 2/5 or a?
a
Let q be ((-4)/6)/(22/(-429)). Which is bigger: q or -2?
q
Suppose -6*d = -9*d - 9. Let k(s) = -s**2 - 4*s - 3. Let x be k(d). Is x less than or equal to -2/31?
False
Let q be (-7 - -2)/((-2)/2). Suppose -4*o = -c - 7, q*c + 18 = o + 2*o. Let w = -2 - -1. Is w < o?
True
Suppose 6*s + s + 168 = 0. Which is bigger: -123/5 or s?
s
Let r = -8 + 14. Let p be 1 + 1/((-2)/r). Suppose 4*o - l = -8, -2*o - 26 = -5*l - 4. Does o = p?
False
Let q = 30227 - 50327953/1665. Let u = q - 24997/18315. Let w = -64/55 - u. Which is bigger: 0 or w?
w
Let u be (-1)/3*(1 + -22). Which is bigger: u or 6?
u
Let m = -0.01 + -6.99. Let o = m + 6.9. Which is greater: o or 0?
0
Let k = -35 - -45. Which is smaller: k or 2?
2
Let g = 21 + -21. Suppose 0 = -4*o + 2*o + 3*d + 2, g = -5*o - 4*d + 28. Is o smaller than 2?
False
Suppose 2*c = 5 - 1. Suppose -3*g + 2 = -2*g, -4*i = -4*g. Is c smaller than i?
False
Let g(u) = -u**2 - 4*u - 3. Suppose -2*f - 20 = 3*f. Let h be g(f). Let q = 3 + h. Do q and -2/7 have the same value?
False
Let s = 57 - 59. Is s > -14/11?
False
Let u be (1*4)/(4 - 2). Suppose 0 = 2*o + u*n - 4, o + 3 = -0*o + 4*n. Suppose 6 = g + 4*z, -g + 5*z - 4 = -1. Which is smaller: o or g?
o
Suppose -2*m + 55 - 10 = -j, j + 4*m = -21. Is j at least -36?
False
Let o be (10/15)/(4/6). Which is bigger: 2/7 or o?
o
Let v be (-166)/104 + (-30)/195. Are v and -2 equal?
False
Let r = -14 + 9. Let h = -5.9 - r. Which is smaller: h or 1/4?
h
Suppose 15 - 20 = -c. Which is smaller: c or 44/7?
c
Let z = -6/13 + 3/91. Let j = 16 - 15. Is z >= j?
False
Suppose -2*a = j - 144 + 43, 0 = 3*j - 3. Let w = -109/2 + a. Suppose m + 0*m - 9 = h, 11 = -4*h - m. Which is smaller: w or h?
w
Let j be 2 + -1 - (2 + -3). Let s = 5 - 9. Let x be ((-1)/j)/(2/s). Which is greater: 0 or x?
x
Let w(m) = -2*m**2 + 15*m - 6. Let g be w(7). Is g less than or equal to 4/11?
False
Let f = 4 + -4.1. Let g = 0.2 - f. Let r = g - 0.5. Is 1/3 less than or equal to r?
False
Let s be ((-9)/4)/(-3) - 2. Which is greater: -1 or s?
-1
Let g be 15/70*(0 + (-6)/(-3)). Which is bigger: 22 or g?
22
Let y(r) = -r**3 - 2*r - 1. Let z be y(-1). Suppose 0 - z = 2*n. Let w = -4/75 + 178/525. Which is greater: w or n?
w
Suppose -5*q - 2*u = -3*u, -4*u + 23 = 3*q. Which is smaller: q or 2?
q
Let n(x) = x**3 - 5*x**2 - 4*x + 11. Let b be n(5). Let k be 20/8 - b/(-6). Is k smaller than 2/5?
False
Let l = 6.55 - 7. Let s = l + -0.05. Let u = 0.5 - s. Do -1 and u have the same value?
False
Let y = -5 - -6. Let n(v) = v + 6. Let k be n(-5). Is y at least as big as k?
True
Let q(d) be the first derivative of -d**2/2 - 9*d + 5. Let x be q(-8). Which is bigger: x or 0?
0
Let w be 864/45 + -6 + 2. Let f = w - 472/35. Which is smaller: f or 2?
f
Let x = -1 + 1.5. Let s = -0.6 + x. Which is smaller: 2 or s?
s
Let q(r) = -r**2 - 4*r - 3. Let x be q(-3). Suppose 0 = j - 0*j. Let t = j - x. Which is bigger: -2/11 or t?
t
Let s = 0.4 - 0. Let p = s - 0.2. Which is bigger: p or 2/17?
p
Let y be 1/(4/(3 + 1)). Suppose -7 = -3*p - 31. Let j be (1 + p/9)*-4. Which is greater: y or j?
y
Let n = -7/24 - -193/168. Is n > 2/13?
True
Let d(c) = c + 15. Let f be d(-13). Is 3 greater than f?
True
Suppose -3*x = 2*y + 18, x = -3*x - 16. Let z = -3 - y. Let g be -4 - 40/(-28) - -3. Which is smaller: z or g?
z
Let o = -6/77 - -172/231. Which is bigger: -0.07 or o?
o
Let t = 11777/25 + -471. Let w = -3 + 4. Is t at least as big as w?
False
Let s be (-1*6)/(-3) - -2. Suppose 2*f + s = -2*f. Which is smaller: 1/5 or f?
f
Let p = 0.4 + -0.38. Let n = p - -0.28. Let i = n - 0.4. Which is smaller: -2 or i?
-2
Let l be (-1)/(-3) + (-16)/(-6). Suppose 5*r + 1 - 6 = 0. Let g be -1 + r + l/(-12). Which is greater: 1 or g?
1
Let j = -187.79 + 190. Let l = j + -0.21. Is l >= 4?
False
Let z be (2 - 1) + 2 - (-3 - -5). Which is smaller: z or 3/19?
3/19
Let c be (-5)/(-2) - 1/(-2). Let d = -10 - c. Let z = 18 + d. Is z less than 4?
False
Let m be 11 + -82 + -1 + (0 - 2). Is -73 < m?
False
Let b be (-30)/75 - (-256)/(-10). Is b at most as big as -26?
True
Let g = -13.9 - -15. Let d = g + -0.8. Are d and -2/3 non-equal?
True
Let q = -11 + 9. Is q at most 0.09?
True
Let n(h) be the first derivative of -h**2/2 + 3*h + 4. Let v be n(3). Which is smaller: -0.1 or v?
-0.1
Suppose 0 = -2*z - z. Let w be (-1)/(-1 - (1 + -1)). Is w greater than or equal to z?
True
Let y = 767/6 + -128. Which is bigger: y or -1?
y
Suppose -6 = -3*f, 5*f = l - 2*l + 10. Suppose 19 = -r + 2*r - 4*n, 0 = 2*r - n - 3. Let u = r + l. Is -2 at most u?
True
Let i be ((-96)/(-9))/4*3. Suppose 3*g - 11 = 1. Suppose -4*r = -3*m + 4 + 11, -i = g*m + 4*r. Which is smaller: m or 2?
m
Let h(i) = -i - 4. Let m be h(-4). Suppose 3*s - 35 + 269 = 0. Let n be s/(-105) + (-6)/10. Is m equal to n?
False
Let q = 12 + -9. Let j = q - 3. Which is greater: 1/10 or j?
1/10
Let d(z) = -2*z + 2*z + z - 2*z. Let h be d(0). Is 2/7 <= h?
False
Let c = 577/133 + -30/7. Is c greater than 1?
False
Let v = -60 + 178/3. Let c = -3 + -1. Is c greater than v?
False
Suppose v + 5