uppose -4*c = 5*h - 7*c + 10, 5*c = 4*h + 21. Let g = h - y. Are 1 and g unequal?
False
Let f be ((-2)/7)/1 - 396/(-14). Which is bigger: f or 29?
29
Let f = -144 - -1294/9. Do f and 0 have different values?
True
Suppose -c = 17 - 6. Let l(k) = k + 14. Let g be l(c). Let a = 0 + -0.1. Is a at least g?
False
Let i = 9 + -14. Let r = 4.1 + 0.9. Let u = i + r. Which is smaller: 0.2 or u?
u
Let g = -0.22 + 0.02. Let u = 2 - -3. Suppose u*f + 2*v + 5 = 0, -1 = f - 0*v - 4*v. Which is smaller: f or g?
f
Let v = -4 + 7. Suppose -2*n = 10, -v*q = 3*n + n - 28. Is 16 greater than or equal to q?
True
Let a(g) = g**3 + 9*g**2 + 8*g - 2. Let p = 0 - 8. Let b be a(p). Let o = b - -2/3. Which is greater: o or 0?
0
Suppose 1 = 3*r - 5. Let k be (-30)/18 - r/(-3). Does 1/6 = k?
False
Suppose -5*l + 5*v = 4 - 34, 3*l + 3*v + 12 = 0. Is -1 greater than l?
False
Let y = 2 - 1.9. Let w = 7 + -7. Does y = w?
False
Suppose 4*f - z + 103 = 0, 3*f - z = -0*z - 78. Which is bigger: -24 or f?
-24
Suppose -3*y + 2*y = -3. Suppose -y*a = -1 - 2. Let z be (-3)/(-6) - (0 + a). Which is smaller: -1 or z?
-1
Let o = 10 - 10. Which is greater: o or 4/11?
4/11
Let y(f) = f**2 + 5*f**2 - 13*f**3 - 8*f**3 + 22*f**3 - 3. Let q = 15 + -21. Let m be y(q). Which is smaller: -0.2 or m?
m
Let w be ((-4)/10)/((-3)/30). Suppose -4 - w = 4*n. Let f be -1*(n + (3 - 1)). Is f bigger than 1?
False
Let h = 6.09 + -0.09. Is h at least as big as 0?
True
Suppose -2*l = 5*x - 3*x + 544, 5*l - x = -1348. Let o be (-168)/l + (-4)/10. Suppose -a - d + 4 = 0, -2*a + 20 = d + 4*d. Which is greater: a or o?
o
Let t = -16 + 17. Let k = -10 + 2. Let f be (-2 + (-14)/k)*-1. Which is greater: f or t?
t
Let a be (1 - -1) + 90/24. Let p = 68/123 + -22199/3444. Let m = p + a. Which is greater: m or -1?
m
Let m = 44/9 - 493/99. Is 0 less than m?
False
Let g = 2 - 2. Let i(o) = -2*o - o - o + g*o. Let n be i(1). Is -5 < n?
True
Suppose -16 = -4*z - 0*z. Let v = 5 - 7. Let s be 1 + 0 + v/(-1). Is s < z?
True
Suppose -5*s + 13 = -22. Is s >= 7?
True
Let n = -1601 - -36813/23. Let g = -136/207 - n. Which is smaller: g or -0.2?
g
Let u = -5 + 12. Let w(l) = -2*l + 9. Let g be w(u). Let b = -5 - g. Is b at least as big as -1?
True
Let i = -3.7 - -3.4. Does -0.08 = i?
False
Let g = -8144/9 - -906. Which is bigger: g or 2?
2
Let c(f) = f + 6. Let n be c(-6). Let z = 2/3 + n. Which is bigger: z or -0.3?
z
Let q = -22 - -68/3. Suppose -8 = 5*w - 4*o - 0, -2*w + 5*o - 10 = 0. Suppose w*p - 6 = -3*p. Does q = p?
False
Let y(n) be the third derivative of n**4/24 - 3*n**2. Let l be y(-13). Do l and -13 have the same value?
True
Let i be ((-4)/18)/(4/6). Let o be (-1)/(1 + (2 - 2)). Which is smaller: i or o?
o
Let c = 0 - -4. Suppose -5*u = -c*j + 4, -5*u - 26 = -j - 10*u. Which is smaller: j or 7?
j
Let b = -4/7 - -6/7. Let h = 1.1 - 1. Which is bigger: h or b?
b
Let r = 85/693 - -2/99. Let s = 58 + -33. Let g be (2/5)/(10/s). Is r at least as big as g?
False
Let f be 3/(-12)*(-6)/4. Do 0 and f have the same value?
False
Suppose -3*m + 20 = u + 5, 3*u - 25 = -4*m. Suppose -4*z + 4 = -8. Is m greater than z?
True
Let i(o) = o**3 - 8*o**2 + 8*o - 2. Let v be i(7). Suppose -4*b - 20 = 5*j + 1, -v*b + 4*j = -25. Which is smaller: 0 or b?
0
Let g = -2 - -2. Suppose -5*p + 0 - 10 = g. Let u be 2/6*(-3 - p). Is -2 > u?
False
Let a(o) = o**3 - 3*o + 1. Let w be a(2). Suppose c = -3*h - 14, -2*c + 0*c = -2*h + 4. Let j = h + 4. Is j > w?
False
Let s be 1*1/21 - 0. Is s less than or equal to -1?
False
Suppose -8 = -k - 3*k. Suppose t - 5*a + 22 = 5*t, 4*t = 5*a + k. Suppose 4*s = t*s + 2. Is 5/4 less than s?
True
Let c = -5 - 10. Which is greater: -16 or c?
c
Suppose 1 + 2 = a. Let k = a + 1. Is k greater than 4?
False
Let w be (6 - 6)/(3 + -2). Suppose 5*m = 3*c - 1 - 43, -4*m + 5*c - 30 = w. Which is smaller: m or -8?
m
Let h(u) = u**2 + 10*u - 6. Let t be h(-11). Let b = -2 + t. Which is greater: 1/2 or b?
b
Let t = 35/4 - 9. Which is bigger: t or -1?
t
Let y be (-2 + 0)*15/(-2). Let m be (-5)/y - (-38)/(-30). Is -2 less than or equal to m?
True
Let k(a) = a + 3. Let j be k(-4). Let o = 5 - 5. Let d be o - -3 - (-35)/(-11). Is d smaller than j?
False
Suppose 0 = -2*x - 3*b + 8 + 12, 0 = 5*x + b - 24. Suppose x*z + 3*o = 19, 0 = -2*z - 3*z - 5*o + 30. Which is smaller: -2/17 or z?
-2/17
Let d = -189/4 - -47. Suppose 2*j - 3*j = 0. Which is smaller: d or j?
d
Let c = -7.2 - -7. Is -1/5 >= c?
True
Let z = -1.3 - -1.2. Is 3/44 smaller than z?
False
Suppose -12 = 4*w - 10*w. Let t be (-3)/(-3) + (-2)/10. Which is greater: w or t?
w
Suppose 0 = -2*k - k + 21. Let n = -7 + k. Is -1/2 > n?
False
Let q = 4 + -1. Let c = -3 + q. Let n = 2 + c. Do -2 and n have different values?
True
Let f(o) = -o - 1. Let i = 2 + 1. Let n(r) = -2*r + 1. Let u(k) = i*f(k) - n(k). Let j be u(-5). Is 1 less than j?
False
Let s be ((-7)/63)/((-2)/78). Is s < 4?
False
Let f = -81 - -325/4. Let p be (4/6)/((-4)/(-2)). Which is bigger: p or f?
p
Let l = 50 - 51. Which is bigger: l or 2/5?
2/5
Let v be -2*1 - (-9)/4. Let o be -1 - -3*(-1)/3. Let z(f) = f**3 + 3*f**2 - 3. Let p be z(o). Is v <= p?
True
Let a = 413/5 + -83. Is a greater than or equal to 1/2?
False
Suppose s + 18 = 4*f, f + 3*s = 3*f - 14. Is f >= -1?
True
Let z(d) = d - 1. Let m be z(3). Suppose -m*o = -0*o - 6. Suppose 2 = -3*q + 8. Do q and o have the same value?
False
Let i = -6 - -11. Suppose 27 = -3*n - 4*o, 5*o - i = 5*n + 5. Which is bigger: n or -6?
n
Let u = -22 - -21.8. Let f = 1873/6 + -309. Let q = f + -8/3. Which is bigger: u or q?
q
Let y = -71/7 - -1555/154. Which is smaller: 1 or y?
y
Let l = 201 - 197.97. Let u = l - 0.08. Let m = u - -0.05. Are m and -2/5 unequal?
True
Let q be (2/2)/((-3)/24). Let d = q - -7. Which is smaller: d or -2/3?
d
Let f be 12/2*(0 + 2). Suppose 0 = p - 2*p + f. Let z = p - 17. Is -4 < z?
False
Let k = 0.03 - -0.07. Let n = -0.9 - k. Let y = -2 - n. Is y greater than 3?
False
Let w(c) = -c**3 + c + 1. Let d be w(-1). Which is smaller: 3/10 or d?
3/10
Let s be (-7)/(-6)*45/(-70). Is -1/4 greater than s?
True
Let s be (8/(-10))/(26/(-30)). Let y = s + -11/26. Which is bigger: y or -2?
y
Let a be (-5 + 2)/((-3)/8). Let i = a + -3. Is i at most as big as 5?
True
Let u = 29 - 16. Let r = -53/4 + u. Which is bigger: -0.4 or r?
r
Suppose 0 = 10*h - 31 - 19. Which is greater: h or 4?
h
Suppose -2*y + 4 = -2. Let l be (y - 1)/(2 + 0). Let t = 56 + -225/4. Which is smaller: t or l?
t
Let v = -81 - -81.1. Is v less than or equal to 18?
True
Let o(d) = -d**2 + 4*d. Let g be o(1). Suppose -3*l + 2*l = -3. Is g smaller than l?
False
Let j = 77 - 84. Let k = -34 - -50. Suppose -4 = -2*c - k. Is j less than or equal to c?
True
Suppose -4*a - 6 - 2 = 0. Let i be (-2 - a) + 2*1. Let s = 6 - i. Are s and 4 non-equal?
False
Let n be (4/7)/(-4 - -2). Let q be -2*(-2 + 1) - 3. Which is bigger: n or q?
n
Suppose 0 = -5*q + 3 + 2. Let c be q/5*(-2)/(-2). Which is bigger: -2/5 or c?
c
Let b = -0.61 + 0.01. Let z = -7 - -7.7. Let u = b + z. Which is bigger: u or 3?
3
Suppose 2*r - 3*s - 25 = 0, -r + 3*s + 12 = 2*s. Let v(t) = -t + 8. Let b be v(r). Does -1 = b?
False
Let m be -9*9/(108/8). Let a = -14 + 27. Suppose 0 = -3*o + 15, 3*w + 5*o = 4*o - a. Is m at most as big as w?
True
Suppose -4*u = 4*l + 24, 5*u + 28 = -4*l + l. Is -1/31 at least as big as l?
True
Let i = 0.037 + 0.063. Which is smaller: 31 or i?
i
Let k = -1 + 6. Suppose 2*l + 2*c = 12, 22 = -0*l + k*l + c. Suppose y = -3*y + l. Are y and 3/4 nonequal?
True
Suppose -p + 3*r - 18 = 0, -6*r = -r - 25. Let m be (3 + p - 5)/(-1). Is 5 at least as big as m?
True
Let q be 4/6 - (-182)/(-39). Which is bigger: q or -5?
q
Let b be 14/(-7) - (-11)/7. Is 0.1 greater than or equal to b?
True
Let h = 10/7 + -47/28. Do h and -0.2 have the same value?
False
Suppose 0 = 5*b + 10, -5*p - 2*b = -0*b - 6. Let g = -6 + 9. Is p less than or equal to g?
True
Suppose 10 = 3*f - 5. Let q = -4 + f. Which is smaller: 1/3 or q?
1/3
Suppose 0*n = -n. Suppose 17 = l + 3*k, -5*k + 19 = 3*l - 12. Suppose -2*t = -t - l*d - 3, n = -4*t - d - 24. Is -5 greater than t?
False
Let h = 14 - 12.5. Let o = 0.6 - 0.1. Let k = h - o. Which is bigger: 2 or k?
2
Let t = 81 - 27. Which is smaller: t or 52?
52
Suppose 0 = -3*t, 3*a + 4*t = -0*t. Let s = 107