). Let n = x - -1153/11. Suppose -2*t = -6*t. Which is bigger: t or n?
t
Suppose 4*f + 4 = 0, 3*x + 4*f = x - 10. Let w be (x/9)/(1/(-3)). Which is smaller: 8/5 or w?
w
Let o(c) = 2*c + 4. Let p be o(-7). Let a be (-2)/p - (-18)/135. Is a >= 0?
True
Let y be 144/(-112) + 4/14. Which is greater: y or -15/11?
y
Let p be ((-6)/(-57))/(-2)*2. Which is greater: 0 or p?
0
Let i = 9 - 4. Let v be i/(-15) - 2/(-42). Which is greater: v or -14?
v
Let n = 3 + -7. Let z = n + 5. Let a = z - 1. Are 2/7 and a nonequal?
True
Let u be 24/9*(-27)/(-12). Which is smaller: 8 or u?
u
Let u = -5.1 + 5.2. Let p = 0 + -0.3. Let f = p + 0.5. Is u less than or equal to f?
True
Let l be (-58)/(-18) - 7/((-504)/(-16)). Is l smaller than 21/5?
True
Suppose -4*q + 3*f + 0 + 9 = 0, 12 = -2*q - 4*f. Which is bigger: 1/48 or q?
1/48
Let p = 2 - 3. Let x = 131/1199 + -2/109. Is p greater than or equal to x?
False
Let o = -1 + 1.09. Let a = o - 0.15. Which is smaller: a or 1?
a
Let o be 2/5 + 48/80. Let y be o*-1 - (-10)/10. Which is smaller: y or 1?
y
Suppose -11 = -p - 3*x - 0, 0 = p + 5*x - 13. Let v = p - 0. Is 9 less than or equal to v?
False
Let z(k) be the third derivative of k**6/120 - k**5/60 + k**4/24 + 4*k**3/3 - 2*k**2. Let g be z(0). Is g smaller than 6?
False
Suppose 4*j - 5*u - 2 = 3*j, -2*j + 4 = 4*u. Let g be (0 - 2 - -2)*1. Is g bigger than j?
False
Suppose 4*o - 33 + 29 = 0. Are o and 1 nonequal?
False
Suppose v + 9 = 2*n, 0 - 1 = 2*n + v. Which is smaller: 4/7 or n?
4/7
Let h(n) = n**3 + 10*n**2 + 9*n. Let w be h(-9). Is w at least as big as 0?
True
Suppose 3*h = 0, -5*h = -4*m - h + 16. Suppose -90 = -m*k + 5*x, -3*k + 2*x = -3*x - 70. Does k = 1?
False
Let u = 4.9 - 0.9. Let z = u + -4.2. Which is greater: 4 or z?
4
Suppose 32 = 4*v + 4*w, -6*w + 10 = v - 7*w. Do v and 9 have different values?
False
Let t(d) = d - 3. Let b be t(4). Let h = 2.222 + -0.222. Which is bigger: h or b?
h
Let r be (-2)/(-4)*(-7 - -3). Let q be -1 + 0/(0 + r). Is 3/7 less than q?
False
Let q be -2 - (-5)/(-20)*-9. Which is bigger: q or 56?
56
Let l(g) = -g + 1. Suppose -2*q + 4*q = 0. Let u be l(q). Which is smaller: u or -9?
-9
Let m be (8 - 4)*2/8. Suppose -m - 2 = 3*z. Is z equal to 0?
False
Let r = 81.1 + -76.17. Let w = -0.07 - r. Let d = -7 - w. Is -0.4 greater than or equal to d?
True
Let r be 1/(-1)*-5 + -1. Suppose 5*v - r*v = -3. Which is smaller: v or -2?
v
Let v be 3/2 + 2/4. Suppose 0*g - 10 = -v*w - 2*g, -3*w + 5 = -2*g. Which is bigger: 0.2 or w?
w
Let o = -0.01 - 2.99. Let a = 4 - 6. Let w = o - a. Is w bigger than -2/5?
False
Let h(x) = -3*x - 3. Let v be h(-5). Let s = v - 10. Does s = 2/7?
False
Let w = -1 + 0. Suppose -7*a + 2*a = 0. Suppose a = 4*q + 4. Do w and q have the same value?
True
Suppose -4*z - 6 = -3*z + r, 4 = z - r. Are 2/13 and z non-equal?
True
Let g(f) = f**2 + 5*f + 4. Let p be g(-5). Let o(u) = -u**3 + 4*u**2 + 2*u - 4. Let z be o(p). Suppose 0*s + 15 = 5*s. Which is greater: s or z?
z
Let q = 33 - 19. Let o be ((-21)/q)/(1/(-4)). Let y be 0 + 3/o*0. Is y > 0?
False
Let p = -22 - -23.3. Is 0 <= p?
True
Let a be 21/(-3) + -1 - 0. Let b be -2 - (a + (-4)/4). Which is smaller: b or 2?
2
Let l = 14.5 - 15. Let h = -0.3 - l. Which is smaller: h or -0.1?
-0.1
Suppose 19*d + 362 = 2129. Which is smaller: d or 92?
92
Let k be (-156)/(-10) + (-2)/(-5). Let g = 3237 - 12885/4. Let v = k - g. Is v != 1?
True
Let n be (1 - 2)/(-1) - (-755)/(-745). Which is bigger: n or -1?
n
Let m = 1 - 7/6. Let o = 1/3 - m. Which is smaller: 3 or o?
o
Let t = 58 + -56.85. Let g = t - 0.15. Which is greater: g or -1?
g
Let m(n) = 2*n. Let g be m(7). Let d = g - 9. Suppose -d*w = t - 3, -3*t + w + 1 = -4*t. Is t at most as big as -1/2?
True
Suppose -4*u + 0*u + 4 = 0, -5*u = -t - 8. Is t not equal to -3?
False
Let l = 19 + -4. Suppose l*n - 14*n = -3. Suppose 5*i - 3*j - 6 = 2*i, 4*i - j + 7 = 0. Is n less than i?
False
Suppose -q + 4*q = -9. Let t = q - 0. Let d be t/(-12) + 30/8. Do d and 2 have the same value?
False
Let z be (-1)/(-3) - 0/(-2). Suppose -2*k + 25 - 3 = 0. Let v = -11 + k. Which is smaller: v or z?
v
Let v be (-2)/(-3) + (-20)/3. Let s(h) = h**2 + 5*h - 6. Let u be s(v). Let p = u - 2. Is p equal to 0.1?
False
Let p = -15 - -18. Suppose 3*o - 2*d + 9 = d, -p = 5*o - 2*d. Which is greater: 2/5 or o?
o
Let g be (-2)/(-4) - 171/18. Are -8 and g nonequal?
True
Let t = 23.2 - 23. Which is greater: t or 41?
41
Let c be (-14)/(-42) - 1/12. Let w = 417/5 - 83. Are c and w non-equal?
True
Let d be (1/3)/((-2)/(-6)). Let n(k) = -5 + 3*k - 3*k - k. Let c be n(-5). Which is smaller: c or d?
c
Let z = 0.81 - 0.71. Is z at most 2?
True
Suppose 40 = -3*m - m. Is -10 bigger than m?
False
Suppose r + 0*r + 5 = 0. Suppose 3 - 7 = k. Which is bigger: r or k?
k
Let y = -35/3 + 12. Let o(t) = t**3 + 7*t**2 + t + 9. Let n be o(-7). Suppose -7 = -3*u - 2*p, 0 = 2*p + n*p - 8. Which is bigger: u or y?
u
Let w be -2 - 3/12 - -2. Which is bigger: w or 5?
5
Let l(i) = -i**3 - 14*i**2 + 13*i - 31. Let u be l(-15). Is 2 at most as big as u?
False
Suppose 0 = c + 15 - 2. Let d = -15 - c. Let p be -2 + 2/1 + -1. Which is smaller: d or p?
d
Suppose 4*v - 294 = 38. Is 83 > v?
False
Let f(d) = -2*d + 2*d**2 - 3*d**2 - d - 4 - 2*d. Let m be f(-3). Suppose g + 2*p - 12 = -p, -4*g = -m*p + 8. Which is smaller: g or -1?
-1
Let y = -23 - -21. Is -4/5 at most y?
False
Let u = -25/33 - -1/11. Is u at least -4?
True
Suppose -3*i + 8*i = 25. Is -5 > i?
False
Let h(w) = w**3 + 8*w**2 - 9*w. Let j be h(-9). Let y be j + (1 + 1 - 3). Which is smaller: -1/3 or y?
y
Let d = -0.7 - -0.5. Is 1 != d?
True
Let p = 37 + -52. Let n = p - -10. Is -5 at most as big as n?
True
Suppose -5*p + 0 + 20 = 0. Suppose -4*t - 4 = -64. Let w = t - 11. Is w less than p?
False
Let s = 3 - 3.1. Let y = -0.1 - s. Suppose -6*u - 7 - 11 = 0. Is y at most as big as u?
False
Let q(l) = l**2 + 9*l + 8. Suppose 16 = -0*f - 2*f. Let o be q(f). Which is greater: o or -1/2?
o
Suppose -8*g + 8 = -4*g. Let f(k) = 5*k + 0*k**2 - 2*k**2 + k**g + 6. Let b be f(6). Are b and 1 non-equal?
True
Let p be (-21)/(-6) - 2/(-4). Suppose -34 = 3*g + 2*n, 0 = -p*n + 4 - 0. Let q be -2 - -1 - g/21. Are q and 1 nonequal?
True
Let d be -4 + 2 - -3 - -1. Suppose d*k + 4 = -8. Are k and -5 non-equal?
True
Let o(g) = 2*g**3 + 9*g**2 + 2*g - 1. Let y be o(-5). Is -73/2 less than or equal to y?
True
Let g = -74 + 39. Which is bigger: g or -71/2?
g
Let g be ((-698)/20 - -2) + 0. Let n = -187/5 - g. Let u = -13/4 - n. Which is smaller: 1 or u?
1
Suppose -1 + 3 = r. Suppose -v + 3 = 0, 0 = -3*h + 3*v - 59 + r. Let d be (-6)/15 + h/10. Which is smaller: -1 or d?
d
Let w(m) = 2*m + 0*m - m + 6. Let p = 4 + -10. Let s be w(p). Which is greater: -2/5 or s?
s
Let x(w) = -w**2 + 7*w + 7. Let l be x(7). Suppose -25 + l = 3*i. Is i less than -6?
False
Let f = -91/3 - -30. Suppose 2*i + 4*b = 2, -3*b = b - 4. Which is bigger: i or f?
f
Let d(q) = -q**3 - 13*q**2 - q - 12. Let r be d(-13). Which is bigger: 3/26 or r?
r
Let t = 0.028 - 0.428. Is 0.4 >= t?
True
Let b = -41 + 23. Let c = b + 24. Is 0 smaller than c?
True
Let h = 19 + -11. Let w = -8.7 + h. Let j = w + -0.3. Which is smaller: j or 2/7?
j
Let u(b) = -2*b + 19. Let p be u(8). Let j be (0 + -1)*(-1 + 1). Let l = j - -3. Do p and l have the same value?
True
Let p = 26.57 + -27. Let j = -0.03 - p. Let h = j - -2.6. Is -0.1 at least h?
False
Suppose -11*r - 273 = 222. Are -47 and r equal?
False
Let p be (90/(-75))/(4/(-70)). Suppose 3*a + p = -a - 5*n, -4*a + 5*n + 29 = 0. Which is bigger: 9/5 or a?
9/5
Suppose 5*r - 6 = 2*r. Let z be (-10)/5*(-3)/r. Let n(s) = s**2 - 3*s. Let q be n(z). Which is bigger: -1/5 or q?
q
Let n be (-1 - -19)/(4*(-5)/20). Which is smaller: -37/2 or n?
-37/2
Let p be ((-6)/(-12))/(2/4). Suppose -p = 4*c - 5, n + 5 = 4*c. Is 1/5 less than or equal to n?
False
Let l = 7 + -6. Let y = l + -4. Which is greater: -1 or y?
-1
Let k = -0.2 + 0.2. Let l = -0.1 + k. Let n be 2*(3 + (-32)/12). Is n > l?
True
Let a be 5 + (9/(-3))/3. Let o = 1 - a. Let k be -3*(-2)/o - 0. Which is bigger: k or -3?
k
Let i(v) = -2*v**2 - 14*v + 19. Let u be i(-8). Which is smaller: 2 or u?
2
Let v = -1.6 + 1.5. Which is greater: v or -0.15?
v
Let k = 13 + -5. Let o be ((-4)/(-8))/(2/k). Which is smaller: 1