 Suppose -4*t + 4 - h = 0. Is -5 > t?
False
Let n = 15233/26 - 586. Let p = 7/52 - n. Which is greater: 1 or p?
1
Suppose 4*l - o + 1 = 5*l, 4*o = -2*l + 4. Which is smaller: l or 1/12?
l
Suppose 0 = -5*w - 5*y + 9 - 4, w + 5*y = 1. Suppose 3 = -3*v - 5*n + 40, 4*n = 3*v + 8. Let u be 21/18 + (-2)/v. Which is smaller: u or w?
u
Let q = 8 + -10. Which is bigger: -8 or q?
q
Suppose 0 = -3*r + 5*d + 6, -13*r + 12*r - d = -10. Let z = -0.3 - -0.2. Is z at most as big as r?
True
Let b = 20.2 - 20.1. Is 17 less than or equal to b?
False
Let o = -136 - -143.18. Let p = o - 0.18. Which is smaller: p or 1?
1
Suppose v + 3*y - 10 = 0, 2*y - 11 = -0*v - v. Let c = 18 - v. Is c greater than 5?
False
Let q be (2 - 3)*4/(-2). Let s(d) = d - 2. Let v be s(q). Are 1 and v equal?
False
Let u(z) = -3*z - 26. Let p(i) = -8*i - 77. Let c(t) = 4*p(t) - 11*u(t). Let v be c(15). Which is smaller: v or -6?
v
Suppose -6*c = -0*c. Is c greater than 1?
False
Let o be (124/14)/((-4)/(-46)). Let w = o - 102. Which is greater: 1 or w?
1
Let q(a) = a**2 + 7*a - 7. Let o be q(-8). Let j = -9 + 13. Suppose -6 = j*w - 7*w. Does o = w?
False
Let j = -0.05 + 4.05. Let k = 3.9 - j. Which is bigger: 0.16 or k?
0.16
Let q = 675 + -17547/26. Let c = q - 19/52. Which is bigger: 1 or c?
1
Let w(j) = -3*j + 8. Let x(b) = -7*b + 15. Let u(m) = 5*w(m) - 2*x(m). Let o = 29 + -20. Let k be u(o). Which is smaller: k or 3/5?
3/5
Suppose 5*n + 9 - 34 = 0. Suppose -4 = n*u + 36. Let b = -7 - u. Is b < 0?
False
Let w(x) = -x**2 + 3*x - 3. Let d be w(2). Suppose 5*b + 4*f = 748, -3*f = -4*b + 2*f + 623. Let a be 136/b + (-1 - 0). Which is smaller: a or d?
d
Let v be (-1886)/(-12) - 3/(-4). Let x = v - 158. Do 0 and x have the same value?
False
Let u(g) = 2*g + 34. Let h be u(-16). Which is smaller: 3 or h?
h
Let i = -5 - -17/4. Which is bigger: i or 0?
0
Let k = 7 + -4. Is 6 >= k?
True
Let l = 13 - 9. Which is bigger: -2/3 or l?
l
Let g = -4 - 17. Is g equal to -21?
True
Let s be (-44)/(-10)*(-2)/24. Let l = s - -27/10. Suppose -3*g = 5*r - 34, 0 = -5*g - 0*r - 3*r + 30. Which is smaller: l or g?
l
Suppose 4*m - 4 - 28 = 0. Let w be 0*(28/m + -3). Is w greater than or equal to 5?
False
Let t be 2/4 + 26/(-4). Let n be t/4*8/12. Which is greater: n or 2/13?
2/13
Let h = -25 + 24.8. Is -0.16 greater than or equal to h?
True
Suppose -2 = 3*w + 2*o - 4, 0 = 3*o + 15. Which is greater: 0 or w?
w
Let i = 18.4 + -16.4. Is i greater than or equal to -1/4?
True
Let g = -0.5 + 0. Let o = -16 + 6. Let v = 10.1 + o. Is g bigger than v?
False
Let w be 2/(-4) + 3/6. Suppose 0 = 4*t - w*t. Which is smaller: -1/18 or t?
-1/18
Let s = 0 + -5. Let z = -5.364 + -0.036. Let y = s - z. Is y at most as big as 1?
True
Let m(f) = -2*f + 9. Let a be m(4). Which is greater: a or 1/4?
a
Suppose 0*d = -4*d + 8. Suppose 2*c - d = c. Suppose -3*u + c*b - 1 = 9, -4*u - 3*b = -15. Which is smaller: u or -1?
-1
Let t = -302/21 + 44/3. Let l = -5 + 1. Is t at most l?
False
Let x(o) = -o**3 + 2*o**2 + 3*o. Let g be x(3). Suppose 4*m + 0*m = g. Let a be (-72)/(-140) - 2/(-7). Does a = m?
False
Let d = -10 - -8.5. Let v = d + -0.5. Let x = 10 - 7. Are v and x unequal?
True
Let m be (6/5)/((-4)/(-10)). Let g be 1/(4/2 - m). Let r = 0 + g. Does r = 0.1?
False
Let g = -15 + 10.4. Let t = g - -0.6. Which is bigger: 0 or t?
0
Let s = -4 - -4.7. Let o = 0.8 + 0. Let l = s - o. Which is smaller: 0.1 or l?
l
Let t(a) = -4*a. Let o be t(-1). Suppose -4*l = h + o*h + 55, 4*h - 4*l + 8 = 0. Which is smaller: -8 or h?
-8
Suppose 16 - 1 = 5*f. Is f less than 5?
True
Let n(h) = 2*h**2 + 6*h - 4. Let j be n(-3). Let p(o) = -o**3 + 4*o**2 - 4*o + 3. Let b be p(3). Suppose -12 = 3*i - b. Is j less than or equal to i?
True
Let z be (3 - 24/9) + 1. Is z greater than or equal to 1?
True
Suppose 0 = 3*s - 0*s. Let v be (12/(-16))/((-2)/8). Let z be -1 + 1/(v/1). Are s and z equal?
False
Let w(r) = -r**3 + 6*r**2 - 6*r + 5. Let q be w(5). Suppose q = -2*d - 13 - 13. Is d greater than -12?
False
Suppose 4 = -2*v + 4*v. Are 5/2 and v non-equal?
True
Suppose -y - y = 6. Let j be 20/(-8)*167/(-70). Let m = -25/4 + j. Is m at most as big as y?
False
Let n = -18.8 + 18. Let c = -0.2 + n. Let d be 4/(-6)*6/10. Is d at least as big as c?
True
Let s(i) = -3*i**2 + 2*i + 2. Let x be s(3). Let k be x/(-7) - 4/(-14). Suppose 2*b = -2*b + 8. Which is greater: k or b?
k
Let m = -1.8 + 17.8. Is m less than -2/5?
False
Let s = 18 - 14. Suppose -5*m + s = -6. Is 2 greater than or equal to m?
True
Let o(n) = -n**3 + 5*n**2 + 7*n - 1. Let r be o(6). Suppose r*z - 2*z + 15 = 0. Which is greater: z or -4?
-4
Let f be (4/10)/(18/15). Suppose -y + 2*b = 4 - 12, -y - b - 4 = 0. Is y bigger than f?
False
Let d = 2 - -2. Which is greater: 2/7 or d?
d
Let r(n) = -3*n + 17. Let h be r(5). Which is smaller: h or 7/6?
7/6
Let p = -4.3 - -2.2. Let f = p - -2. Which is bigger: 7 or f?
7
Let y be 329/(-260) - (-2)/5. Let z = -8/13 - y. Let c = 3 + -1. Which is bigger: c or z?
c
Let x(i) = -i + 3. Let g be x(3). Let z(o) = -9*o - 1. Let k be z(4). Let b be 18/(-81) + k/(-45). Which is smaller: g or b?
g
Let g(l) = l**2 - 6*l + 5. Let y be g(6). Suppose y*z - 7 = -2*x, 30 = 2*z - 4*x + 8. Is 3 < z?
False
Suppose -7 = 3*l - 10. Does 7/3 = l?
False
Let n = -148 + 148. Is n bigger than 2/29?
False
Let l = -0.56 + 0.64. Is l < 0.9?
True
Let m = -2 - -5. Suppose 2*g = -3*k - 12, -m*k - 20 = -5*g + 2*k. Let w be 6/(-24)*(2 - g). Is w at least as big as 0.4?
False
Let m = 1 - -2. Let d be -3 - ((-6)/m - 1). Do -2/13 and d have the same value?
False
Let t = -773293/40397 - 3/5771. Is -19 less than or equal to t?
False
Let h = 54.71 + -0.71. Let y = h - 50.9. Let d = 3 - y. Which is bigger: 0.3 or d?
0.3
Let k = 1 + 0. Is k equal to -1.2?
False
Suppose 4*j = 2*z + 4, 2*j - 2 = -2*z + 6. Suppose -2*v + z = -2. Let c be -1*((v - 4) + 2). Is -1/8 <= c?
True
Let u = 5 - 9. Let r be -1*6/u*2. Suppose -p - r = 0, -3*n + 0 + 3 = -2*p. Is 0 <= n?
False
Suppose -4*q + 11 - 3 = 0. Let s = 4 - q. Suppose s*d = 7*d - f - 3, -5*d = -5*f - 15. Which is smaller: -1 or d?
-1
Let w be (-3)/(-2)*12/(-18). Which is bigger: 0.18 or w?
0.18
Let a(d) = -d**3 - 7*d**2 - 7*d - 5. Let n be a(-6). Let y be (n/(-1))/(-1)*0. Suppose -f - 2 = -k, 4*f - 10 = -2*k - y*k. Are 1 and f equal?
True
Suppose -x + 34 = -2*o, 8 = 3*o + 23. Is 24 < x?
False
Let m = -325/9 + 29593/819. Does -2 = m?
False
Let m = -11 - -6. Suppose 8*u = 3*u - 20. Which is smaller: m or u?
m
Let h(m) = -m. Let o be h(4). Let l = -48 + 49.32. Let c = l + -0.32. Which is smaller: c or o?
o
Suppose 0 = -6*p - 57 - 33. Which is greater: -13 or p?
-13
Suppose 2*r + 2 = 2*m, 0 = -5*r + 4*m - 3 - 1. Is r at least 5/8?
False
Let a be (-4 - 1 - -2) + 2. Let c be 4/2 - a - -1. Let y be (4/(-8))/((-2)/c). Is -1/6 bigger than y?
False
Suppose 2*z - 2*c + 4 = 0, 4 = -3*z + 5*c - 12. Which is smaller: 36/13 or z?
36/13
Suppose -z - 13 = -3*w, z + 5*w = 15 + 4. Is z less than -1/36?
True
Let v = 5 - 1. Suppose -5*r = v*d + 8, 4*d + 4*r = r. Let b be (4/(-6))/((-2)/d). Is 0 < b?
True
Let j(h) = h**3 + 5*h**2 - 2*h + 3. Let o be j(-4). Which is smaller: o or 26?
26
Let y = -11.2 + 12.2. Do -11/2 and y have the same value?
False
Let d = 0.023 + -0.123. Which is smaller: d or -0.005?
d
Let c = -3 - -5. Let p = 149/102 - -2/51. Is p greater than or equal to c?
False
Suppose 0*f - 8 = -2*f. Suppose 2 - 10 = f*g. Which is smaller: g or -3?
-3
Let l = 0.12 - -0.09. Let a = 0.09 + l. Let y = a - 0.4. Does 5 = y?
False
Let t be 0/(-1) + 1/3. Let j be (-3)/1 - (-2 + 1). Let l = j - -3. Which is greater: l or t?
l
Let d(r) = 2*r + 5. Let h be (-2)/3*(0 + 6). Let i be d(h). Let p be 2 - -3*3/i. Is p > -5/6?
False
Let q = -27.2 + 17.1. Let d = 10 + q. Is d at most -1.1?
False
Let r be -1*3522/1170 + 3. Is r <= 0?
True
Suppose 2 = 4*r - 6. Let q = 2 - 3. Let m = 4 + q. Is r at least as big as m?
False
Let d be 2*((-2)/1)/(-2). Suppose 3*j - 5*j - d = 0. Let a be (-3)/(j - (-2 + 2)). Is 5 equal to a?
False
Suppose 0 = 4*i - 2*z + 4, 0*z - 8 = -4*z. Is -3/4 greater than i?
False
Suppose -4*c - 2*p = -4*p + 26, 3*p - 3 = -3*c. Let f be (-6 - 0) + c + 2. Let a be f/20 + 2/5. Is a not equal to 1?
True
Let s be (-8)/10*(-1)/4. Suppose -3*g = -5*a + 25, 3*g + a + 3 = 8. Let f = g - 0. I