 - 5*t = -t, -3*t = -2*v + o. Does r = v?
False
Let q = 2 - 1.8. Let g = q + -0.3. Let v = 0.7 + -0.5. Which is greater: g or v?
v
Suppose 80 = 5*x + 4*m - 3*m, 71 = 3*x - 4*m. Let t = x - 3. Is t greater than 13?
True
Suppose 4 = 5*y + 14. Suppose 20 = 5*v - l, 2*v - l - 16 = l. Let u be (v/42)/(1/y). Which is smaller: 1/4 or u?
u
Let t = -627/4 + 150. Which is bigger: t or -6?
-6
Suppose -3*v - 5*s + 8 = -3, 8 = -4*v - s. Which is greater: -1 or v?
-1
Let q be (-40)/18 - 6/(-27). Let r(u) = 2*u**3 + 2*u**2 - u + 2. Let k be r(q). Let g = 10 + k. Is g > 4?
True
Let u(c) = 5*c + 2. Let x be u(2). Let g be (x/(-27))/(4/6). Are -7 and g non-equal?
True
Let a = 0.23 - 2.13. Let q = -2.2 - a. Are 4 and q equal?
False
Let z = -3.43 - -3.4. Is -0.2 at most as big as z?
True
Let z = 12 - 5. Let b = z - 7. Which is smaller: b or -1?
-1
Suppose 5*f = 2*b - 22, -4*f - 17 = -5*b - f. Is b greater than or equal to -8/9?
True
Let u = 5 + -9. Let r be -2 - (-3 - 2)/5. Which is smaller: r or u?
u
Let x(a) = 2*a + 3. Let n be x(-3). Which is smaller: 2 or n?
n
Suppose -3*c = 3 + 27. Is -11 at most c?
True
Let i be (-4)/(-3)*(-6)/4. Let m = 0 + i. Do -2 and m have the same value?
True
Suppose 5*r = 2*l + 26 - 1, -r = -5. Let c = 80 - 879/11. Let a = c + 15/77. Which is smaller: l or a?
l
Let l(a) = -1 - 3*a + a - 9 - 3. Let p be l(-7). Which is greater: p or -1?
p
Let r = 1.8 - -0.2. Let l = -0.1 + 0.25. Let v = l - 0.05. Is v at most r?
True
Let w = 10 + -7. Let h(r) = -r**3 + 2*r**2 + 3*r. Let o be h(w). Suppose 4*n = -4*y - 1 - 3, -2*n + 7 = -y. Which is smaller: y or o?
y
Let x = 8 - 8.06. Let y = x + 0.06. Is y greater than 1/3?
False
Let n(s) = -s + 8. Let g be n(8). Let m be (-2 - g)/(16/(-2)). Is m at least 1?
False
Let d = -68/3 + 334/15. Is -1 <= d?
True
Suppose 7 - 3 = m. Which is smaller: 3 or m?
3
Let n = 1737/3679 - 3/283. Is 0 at most as big as n?
True
Let d = 1.4 + -0.8. Let q be (-2)/7 + (-56)/147. Which is greater: d or q?
d
Let t be 2/5 + (-2)/(-20). Let i = -5444 + 212278/39. Let x = i - -4/13. Is x < t?
True
Let v be (-1)/(-6)*-1*12/(-10). Let f be (-6)/(-21) - (-2)/(-7). Are v and f non-equal?
True
Let g = -141/85 - 2/255. Which is greater: g or 1/4?
1/4
Let v be -5*(-3 - -2*1). Suppose 6*x = -3*i + v*x - 4, 0 = -i - 2*x - 8. Suppose 2*w - o - 2 = 0, -2*w + 0*o - o + 2 = 0. Which is smaller: i or w?
i
Suppose -5*y + y = 0. Suppose -5*a = -y*a + 10. Let v be 0 + (-9)/a - 2. Which is bigger: v or 0.1?
v
Let d(k) = k**2 + 3*k. Let y be d(0). Is -6/37 > y?
False
Let m be 2 + (-2)/((-16)/(-14)). Which is smaller: -9 or m?
-9
Let r = 112 + -329/3. Is 2 < r?
True
Suppose 2*a - 54 = 4*d + 4*a, 0 = -4*d - a - 49. Suppose -12 = -3*c - 2*v, -8 = -2*c - 3*v + 4*v. Let w be ((-2)/c)/(1/22). Are d and w unequal?
False
Let v be (14/12)/(2/22). Let u(l) = 3*l + 5. Let z be u(-6). Let o = v + z. Which is smaller: o or 0?
o
Let w(c) = -c**3 - 6*c**2 - 2*c - 6. Let r be w(-6). Suppose -5*s + r*h = 2*h - 24, -2*s - 5*h = -3. Suppose 2 = 2*m - 6*a + 4*a, a + 4 = 4*m. Is s less than m?
False
Let n be (-8)/6*1/(-6). Let i be 8/(-12) + (-2)/6. Is i equal to n?
False
Let h be (1 - 0) + -4 - -9. Let y be ((-1)/h)/((-2)/(-8)). Suppose 3*o = -0*o. Is y at least o?
False
Let k(q) = 8*q + 2*q**2 + 0 + 5 - 1 - 3*q**2. Let u be k(8). Which is smaller: 6 or u?
u
Let d = 38.929 + 0.071. Is d < 0.1?
False
Suppose 3*r = 2*b - 2*r - 14, -42 = -4*b + 3*r. Let y be b/9*(-2)/8. Is y bigger than -1?
True
Let m be -1 + 3 + (-15)/3. Let l be 2 + (2*-2)/2. Suppose 4*y - 2*y + 8 = l. Which is bigger: y or m?
m
Let s = -2240/102919 - -2/1019. Which is smaller: s or 1?
s
Let g(v) = 8*v**2 + 2*v. Let d be g(-1). Which is greater: 4 or d?
d
Let s be (-38)/(-84) + (1 - (-15)/(-9)). Is s at least as big as 0?
False
Let m(t) = -t**2 - 2. Let i be m(-2). Let w be (-690)/(-25) + i/10. Let x be (-15)/25 + w/(-5). Is -5 < x?
False
Let y = -18 - -18. Which is greater: 9/7 or y?
9/7
Let x = 0 + -3. Let p be (1 + -3)/(2/x). Suppose -p*k = -15, -k = -5*o + 4*o + 1. Which is smaller: 7 or o?
o
Let t be (-1)/7 - 4/(-28). Which is smaller: 1/50 or t?
t
Let x = 17.8 - 18. Let t = 1 - 0.9. Let u = t - 0.2. Is x equal to u?
False
Let g = -95 + 93. Suppose -4*l = -l. Which is bigger: l or g?
l
Let x = 24 + -20. Suppose -x*k - v = -22, k - 2*v + 14 = 3*k. Do 11/3 and k have the same value?
False
Suppose -6 + 3 = -z. Let j be (z/(-6))/((-2)/(-4)). Is j less than -2/23?
True
Let l be 3/(-5) - 6/(-9). Let u be ((-38)/(-14) - 3) + (-6)/(-21). Is u < l?
True
Suppose 14*y = -5*y + 6*y. Let o be (1/(-4) + 1)/(-1). Which is smaller: o or y?
o
Let c be (6/12)/(1/22). Is 10 greater than c?
False
Let n = 27 + -56. Let w = n - -28. Is -9/5 < w?
True
Let c = 510 - 509.99. Let k = -0.3 + 1.3. Let s = 0 + k. Which is greater: s or c?
s
Suppose 0*x = -6*x + 6. Are 9 and x unequal?
True
Let f(k) = 2*k**3 - 8*k**2 + 9*k - 4. Let i(r) = -r**3 + 7*r**2 - 8*r + 4. Let s = 7 + -10. Let q(p) = s*i(p) - 2*f(p). Let o be q(-6). Is -4 less than o?
False
Suppose 2*r + 7 = 1. Let j = r - -4. Which is smaller: 3/7 or j?
3/7
Let p(u) = -4*u + 4*u - 4*u**2 + 5*u**2 - 4 + 4*u. Let b be p(-5). Is 4 less than b?
False
Let n = -0.103 - -0.003. Which is bigger: n or -0.19?
n
Let g be (-15)/12 - 1 - (-6)/3. Is g greater than or equal to 0.34?
False
Let z be (0/(4/(-1)))/(-2). Are z and -5/16 non-equal?
True
Let g be (-3)/3 + (0 - 0). Let z(n) = -n**2 - 12*n - 28. Let u be z(-9). Is u < g?
False
Let p(n) be the first derivative of -n**5/60 + n**4/8 - n**3/2 - n**2 + 1. Let k(z) be the second derivative of p(z). Let a be k(2). Which is smaller: 1/5 or a?
a
Suppose 4*x = -5*p - 1 + 72, -4*p = -3*x + 30. Let g = x + -8. Suppose 5*z = 2*z - g. Which is greater: -3/5 or z?
-3/5
Let x be (-1)/(0 + -1)*1. Let a = -4103/18 - -228. Is x less than a?
False
Let z be 7/(-2) + (-12)/24. Let x be z/(-18) + (-25)/(-9). Which is bigger: x or 0?
x
Let x be (-4 - 0)*(-4)/16. Suppose -p - i + 0 = 2, 3*p = 3*i + 6. Is x less than or equal to p?
False
Suppose 2*z + 4*x + 10 + 0 = 0, -z + 7 = -2*x. Suppose -5*h + 0 + 5 = 0. Is h >= z?
True
Let c be ((-2)/5)/((-4)/40). Are 14/3 and c nonequal?
True
Let o be (-6)/9*(-16)/6. Which is smaller: o or 3?
o
Let b = -0.01 + 1.81. Let y = 2 - b. Let p = 1.2 - y. Which is smaller: 0.1 or p?
0.1
Let z be (-15 - -4)/(1 - 5). Which is smaller: 2 or z?
2
Suppose 0 = 2*j + 2*j - 8. Let p = 1/39 + 25/39. Is p smaller than j?
True
Suppose 35 = 5*p - 2*m, -2*p + m + m = -20. Let x be ((-36)/p)/4 + 2. Which is greater: 0.7 or x?
0.7
Let v = -643/5 + 129. Is v at least as big as -10?
True
Let o = -46/5 + 419/45. Let g be (6/4)/(51/34). Is g at most o?
False
Suppose 0 = -4*f - 5*l - 213, -59 = 3*f + 4*l + 101. Let h be (-2)/8 - 21/f. Which is greater: -2/7 or h?
h
Let t = 1.4 + 15.6. Let s = -18 + t. Do 1/16 and s have different values?
True
Let x be (-1)/((-8)/4)*-5*-4. Which is smaller: 13 or x?
x
Let k = 14.6 + -16. Let j = 0.6 - k. Is j > 1?
True
Let f = -19 - -10. Let p = f + 3. Which is bigger: p or -7?
p
Let m = -10 + 61. Suppose -4*x + 17 + m = 0. Suppose 5*c + 2 = x. Which is bigger: 4 or c?
4
Let a = 7 - 5. Suppose 0 = -0*x - a*x. Is x greater than 0?
False
Suppose 0 = -5*n + 5, 4*n + 12 + 0 = t. Let b be (6/4)/((-12)/t). Are b and -4 non-equal?
True
Let h = 2 + -4. Let i be (h + -9)/(2 + -1). Is i > -11?
False
Suppose 6 = -g + 5*u - u, 3*g = -2*u - 4. Suppose -2*s + 12 = -4*d, 0 = -5*s - 0*d - 3*d - 22. Let t be (-2 - 1)*s/(-3). Is g at least t?
True
Let t(r) be the second derivative of -4*r**3/3 + 2*r. Let n be t(1). Let o be ((-6)/4)/((-6)/n). Which is greater: -1 or o?
-1
Let c = -1.21 - -1.21. Let w = 98/129 - 4/43. Which is greater: w or c?
w
Let a = -20 + 58/3. Let x = -9 - -12. Let m be x*(5 - (3 + 1)). Do m and a have the same value?
False
Let f(h) = h**2 - 6*h + 8. Let w be f(6). Let o be w/36 - (-22)/(-18). Is -6/5 at most as big as o?
True
Suppose -41 - 109 = -5*a. Suppose a = v + 4*v + 5*i, -5*v = -i. Is 3 at most as big as v?
False
Let m = -15 + 16. Is m greater than 1?
False
Let b = -8 + 8. Are -4/3 and b unequal?
True
Suppose -21 = 4*t - 29. Is 16/9 >= t?
False
Let a(d) = d**2 - 5*d - 4. Let b be a(7). Which is greater: 2 or b?
b
Suppose 4 = 3*x - 5*x. Let k be 3 + 1 + 5/3 + -7. Which is smaller: k or x?
