v*l - 2*l + 4, -5 = 5*l - 5*r. Is l at least as big as 0?
False
Let p(v) = v**3 - 7*v**2 + 9*v - 7. Let r be p(6). Let b be ((-2)/(-1))/(r + -3). Let w = -0.07 - -1.07. Which is smaller: b or w?
b
Suppose -2*x + 23 = -0*x - 5*g, 3*g = -4*x - 19. Suppose -5*d + 5 = 0, 5*n + 0*d + 3 = 3*d. Which is smaller: x or n?
x
Suppose 4*q + 110 = 6*q - 3*n, 6 = -3*n. Let c be (-1 - -3)/(8/q). Let s = 9 - c. Is -3 greater than or equal to s?
True
Suppose 0 = -4*c + b - 4*b, 3*c = 5*b - 29. Let l = 4 + c. Is l greater than or equal to 2/23?
True
Suppose 3*x = 12, -4*m - 2*x = -3*x + 24. Are -3 and m non-equal?
True
Let y(m) = 3*m - 2. Let h be y(2). Suppose 51 = h*u - u. Is u less than 17?
False
Let t be (1/(-1))/((-36)/(-16)). Suppose -3*y = -6*y - 3*s - 6, 3 = -3*s. Which is greater: y or t?
t
Let w = 9 + -9. Let r = 6.04 + -6. Is w less than r?
True
Let s = -3 - -4.2. Let b = s - 0.7. Which is smaller: b or -0.1?
-0.1
Suppose 5 = -4*h + 17. Suppose -t = h*l + l, -7 = l + 2*t. Which is smaller: 2/33 or l?
2/33
Let f = -352 - -580. Let o = 2050/9 - f. Let z = 573/20 + -113/4. Which is smaller: o or z?
o
Let t = -4 + 8. Let z be -2*1*34/(-4). Let x be z/4 + (-2)/8. Does x = t?
True
Let o = 1.5 + 2.5. Let b = -6 + o. Is b at least as big as 0.3?
False
Let i be (-4)/(-14) + (-61)/(-252). Let j = -2/9 - i. Suppose 0 = g - 2*g. Which is smaller: j or g?
j
Let u = -31 - -219/7. Which is greater: u or -4?
u
Suppose 0 = m + 1, 4*v + 2*m - 8 = -v. Suppose 3*x - 11 - 18 = -5*a, 5*a - 14 = 2*x. Let t = a - 3. Which is smaller: t or v?
t
Let k be ((-4)/12)/(3/(-81)). Let y = k - 7. Is y greater than 2?
False
Let h be (7/(-1))/(0 - -1). Let o be (-2 - (0 - 1))*h. Suppose -5*n + 22 - o = 0. Which is smaller: n or 5?
n
Let g = 0.9 - 0.87. Let c = g - 4.03. Let z = c - -4. Does z = -4?
False
Let z = 35 + -35. Are z and -2/25 nonequal?
True
Let n be 28/(-35)*10/18. Is n bigger than 0?
False
Let a be 2 + 3 + (-3 - -2). Is a bigger than 5/2?
True
Let o = -10 - -11. Suppose 4*x - 37 = -5*j, -3 = 2*x - 2*j + o. Is 2 < x?
True
Suppose -4*j = -2 + 6. Does j = -3/5?
False
Suppose 2 = -2*v - 4. Let m be (-1)/21*9/v. Which is smaller: m or 2/5?
m
Suppose 10*t - 30 = 13*t. Which is bigger: t or -9?
-9
Let s = -2.26 + 2. Let o = s + -0.04. Let m = -0.2 - o. Is -1 bigger than m?
False
Let s = 31 - 12. Let f = 132/7 - s. Suppose 2*z + 1 = -4*n - 5, -2 = 2*z. Which is bigger: f or n?
f
Let c = 0.56 - 1.36. Is -2/21 greater than or equal to c?
True
Let u = 26.88 - -0.12. Which is bigger: u or 1?
u
Let m = -0.02 + 2.02. Let g = -2 + m. Let f = 64/85 - 6/17. Which is smaller: g or f?
g
Let t be (-1 - 3)*2/(-4). Let w(z) = z - 1. Let a be w(t). Suppose 2*p - a = -5*c, 2*c + 6 = -p - 3*p. Is -2/7 at most c?
True
Let o = 5 - 10. Let q(g) = g**3 + 6*g**2 + 5*g + 3. Let j be q(o). Let l be 1/((18/(-4))/(-9)). Is j bigger than l?
True
Suppose 3*q + 0 = f - 4, -2*f = q - 1. Let s be q/(0 - 3/(-9)). Let a(n) = n - 7. Let x be a(4). Do x and s have the same value?
True
Let d = -1.9 + 2. Let k be (-5)/(90/(-7)) - 1/2. Which is greater: d or k?
d
Let z = 0.033 + -0.233. Is -2 at least as big as z?
False
Let w = 0 + 1. Let g = -7 - -2. Let o(n) = n**3 + 6*n**2 + 4*n - 3. Let b be o(g). Is b less than or equal to w?
False
Let w = 44/535 - -3182/31565. Let u = 1/59 + w. Let q(k) = k**3 - 3*k**2 + k - 4. Let z be q(3). Which is greater: u or z?
u
Let f = -2 + 6. Let k = 13 - f. Let u = -9 + k. Which is bigger: u or 6?
6
Let d be 2/7*(-21)/(-27). Let b be (0 - -2) + -1 - 1. Is d > b?
True
Let q be (-6)/9*(7 - 1). Let a be -2*(10/q + 0). Is 4 at most a?
True
Suppose -29 + 455 = 6*a. Are 70 and a nonequal?
True
Let a be -3 + (-1 - -1 - 3). Let t be (-3)/(-6) - a/4. Is 4/5 >= t?
False
Let n(b) = b - 5. Let z be n(6). Let r = 1.2 - 7.2. Let a = 7 + r. Do z and a have the same value?
True
Let x be 33/22 + (-1)/2. Which is smaller: x or -5/18?
-5/18
Let g(p) = -p**2 + 10*p - 30. Let x be g(5). Let v(f) = f**3 - f**2 - f - 4. Let q be v(0). Which is bigger: x or q?
q
Let s = 1 + 4. Let k = s - 4. Let p = 0.9 - k. Which is greater: -0.2 or p?
p
Let j be 7/3*(-1 - -4). Do j and 7 have different values?
False
Suppose 12 = -4*y + 8. Is 3/13 bigger than y?
True
Let p(q) = q**3 - q**2 + q - 2. Let c be p(0). Let r be c/1 - 184/(-44). Let h = r + -142/55. Is -0.1 greater than or equal to h?
True
Let v(k) = k**3 + 3*k**2 - 15*k + 19. Let p be v(-6). Is p < -22?
False
Let r = 1428 - 12838/9. Let f = -20/9 + r. Which is smaller: 0 or f?
f
Let m(j) = 3*j - 8. Let s be m(6). Let f = s + -9. Which is smaller: 0 or f?
0
Let s be (-4)/(-18) + ((-2)/(-36))/(-1). Which is smaller: 0 or s?
0
Let l = -317/42 - -47/6. Which is smaller: l or 7?
l
Let b = 0 + -1. Suppose 2*o + 9 = 7. Let k(t) = -t**3 - t**2 - 3*t - 2. Let h be k(o). Which is smaller: h or b?
b
Let m = -8 + 5. Suppose -5*u + 4 = -1. Suppose -g + 3 = 3*w, -w = u - 3. Do m and g have the same value?
True
Let u(z) = z**3 + 7*z**2 + 6*z - 1. Let v(b) = -b**2 - b - 6. Let s be v(0). Let f be u(s). Suppose 0*p + 2 = 2*p. Which is bigger: p or f?
p
Let o = -2 + 4. Let i(h) = h**2 - 2*h + 1. Let v be i(o). Which is bigger: -3/7 or v?
v
Let i(v) = v**2 + 6*v + 1. Let q be i(-6). Let d be (q/15)/((-4)/10). Which is bigger: d or 1?
1
Suppose -5*s + 69 = 3*d, -5*d + 69 = -2*d + s. Suppose 0 = 4*r - 5*k + d, -r = -0*r - 4*k + 14. Suppose 8*p + 16 = 4*p. Do p and r have different values?
True
Suppose -2*i + 7*m = 3*m + 22, -5*i + 2*m - 15 = 0. Let k be 23/9 + -3 + 0. Do k and i have the same value?
False
Let r be (9/6)/(39/(-416)). Is -14 > r?
True
Suppose 4*u + 0 = -20. Let v(a) = -3*a**3 - 2*a**2 + 1. Let n be v(1). Is n > u?
True
Let x be 55/(-20) + 0/(1 - -1). Which is bigger: -2 or x?
-2
Suppose -6*z = -z - 10. Let a = 0 + z. Let v be -1 + -1 + a + 1. Which is bigger: v or 2/9?
v
Suppose 4 = 3*f + 1. Let l be (-3)/(f/(-1)) + 1. Suppose -l*y - 3*k = -0*k - 9, -5*y + 5*k + 20 = 0. Is y at least 2?
True
Suppose -1 = 4*v - 13. Suppose -v = 4*b + 5. Are b and -4 equal?
False
Let i = -34.3 + 33. Let x = 262/3 - 88. Is x at most as big as i?
False
Let m be 3/4 - 2/8. Suppose 4*v + h - 5 = -9, 3*v = 4*h + 16. Which is smaller: m or v?
v
Suppose 0 = 5*i - 2*i - 9. Suppose 0 = -c - 4*j - 18, -3*c = -2*c - i*j - 3. Is c at least as big as -7?
True
Let r = -0.81 - -1.01. Let o = -0.2 - -1.2. Which is greater: r or o?
o
Suppose -2*m - 2 = 5*t, 3*m - 2*m - t = 13. Is 9 equal to m?
True
Let b be ((-1)/(-18))/(9/(-36)). Let t be (0/(-3))/(1 - 0). Is t at least b?
True
Let o(k) = 5*k + 25. Let g be o(0). Which is bigger: 28 or g?
28
Let a be 0 + (7 - (2 + 0)). Suppose 0 = a*x + 4 + 16. Let l be 4 + -2 + 2/x. Is l at most as big as 1?
False
Suppose 3*i - 26 = -4*y, -2 - 11 = -3*y + i. Which is bigger: 7 or y?
7
Let m be 2 + 21/(-6) + (-3)/6. Let t = -165 + 115. Let x be 105/t - 3/m. Do -2 and x have the same value?
False
Suppose 5*u + 91 = -29. Let l be u/(-14) + 2/7. Suppose 4 = -z + l*z. Is 4 >= z?
True
Let h = -8 - -11. Do h and 3/2 have different values?
True
Let a(d) = -d**2 - 9*d - 1. Let s be a(-8). Let h = s - 5. Suppose 3*x + h + 4 = 0. Are -2/3 and x nonequal?
True
Suppose -6*p + 3*p = -12. Let j(m) = -m**2 - 10*m - 5. Let u be (-70)/8 + 2/(-8). Let x be j(u). Is x at least as big as p?
True
Suppose -4*f - 3*x = -5*f + 11, -f + 4*x + 15 = 0. Which is greater: f or -5/14?
-5/14
Let t(j) = j**2 + 4*j - 5. Let c = -2 + 4. Suppose -c*n = -2*k, 3*k + 5 = -3*n + 5*k. Let w be t(n). Is w at least as big as -1?
True
Let k(p) = -p**2 - 4*p + 2. Let w(t) = -4*t**2 + 14 - 2*t - 6*t + t**2 - 9. Let d(v) = 5*k(v) - 2*w(v). Let i be d(4). Which is smaller: i or -2/3?
-2/3
Let j = -6 - -16. Let h be 2/j*60/16. Suppose -d - 4*a = -14, 0 = 2*d + 3*a + 1 - 14. Which is smaller: d or h?
h
Let t = 5/13 - 32/117. Which is smaller: t or -1?
-1
Let i be (-1)/(-2) - (-6)/4. Let a(s) = -8*s - s**i + 0 + 0*s**2 + 0*s**2 + 8. Let u be a(-9). Is u less than -2?
False
Let g = -21 - -33. Suppose 4*o + 0 + g = 0. Which is greater: -2 or o?
-2
Let k be -3*((-14)/6 + 3). Let m be 1/k*(5 - 6). Is m less than 0?
False
Suppose 10 = 5*u - 15. Is 5 < u?
False
Let c be ((-84)/70)/((-4)/(-10)). Let b = 352/3 - 119. Is c > b?
False
Let f be 2/(6/(-1))*3. Are f and 0.5 unequal?
True
Let s = -2275/33 + 465/11. Which is sm