-13*w + 9. Let h be t(5). Let x = -54 - h. Which is smaller: -0.05 or x?
-0.05
Suppose -2*v - 2*y = -4*v + 6, 3*v - 4*y - 8 = 0. Suppose -2 = -v*z + 6. Let u be ((-12)/50)/(6/30) - -2. Is z > u?
True
Suppose 10*x - 24*x - 11*x - 75 = 0. Let l = -8/3 - 5/6. Which is smaller: l or x?
l
Let g(i) = i**2 + 2*i + 1. Let q be g(-1). Which is bigger: 2/35 or q?
2/35
Let q be (0 - -1)/(9/171). Suppose 4*z - q = -z - 4*g, 4*z - 14 = -2*g. Let o be 14/6 + 6/9. Does z = o?
True
Let w = -27 - -56. Let p = -59 + w. Let j = -103 - -72. Is j greater than p?
False
Let r(i) = -100*i + 900. Let t be r(8). Which is greater: 104 or t?
104
Let m = 13/5 - 408/155. Which is smaller: 1 or m?
m
Suppose 5160 = 18*t - 14136. Is 1072 != t?
False
Let t = -6 + 12. Let d be (-63)/t*14/9. Let o = d + 389/24. Is o bigger than -1/2?
True
Let m = -668 + 689. Is 138/7 greater than or equal to m?
False
Let g = 0.02502 + 17.88098. Let u = -0.094 - g. Which is greater: u or -1?
-1
Let c = -74/269 - -9722/47075. Is c at least 1?
False
Suppose -1432 = -36*v + 35*v. Let n be (v/(-356) - -4)/(-1 - -2). Is 2/5 equal to n?
False
Let r = -7.985 - 0.015. Let c = -11 - r. Is -2/5 greater than or equal to c?
True
Let j(i) = -i**3 - 9*i**2 + 7*i + 10. Let o be j(-10). Let w be 4/(-20) - (-13)/o. Which is smaller: w or -1?
-1
Suppose 0 = 5*u + 3*n - 452 + 1146, -3*u - 405 = -2*n. Is -2 at most as big as u?
False
Let u be -24*(-232)/28688 - (-2)/(-11). Let w be (-13)/11 + 18/99. Which is bigger: u or w?
u
Suppose 0*o - 5*y = 5*o - 45, 0 = y + 5. Let x(a) = a**3 - 13*a**2 - 12*a - 30. Let k be x(o). Let m = -3 - -2. Which is smaller: k or m?
k
Let h(x) = 2*x + 1. Let w be h(-7). Let i = w + 13. Let k be (-4 + i)*7/4. Which is smaller: -8 or k?
-8
Suppose 3*x = -2*z + 8, -5*x + 6 = 3*z - 7*z. Is -37 >= z?
False
Suppose -17*p - 385 = -10*p. Which is bigger: p or -57?
p
Let d = -229 - -2289/10. Which is smaller: d or -7?
-7
Suppose 0 = -3*x + 4*w + 66, -4*x = 5*w - 21 - 67. Suppose x*m = 25*m - 6. Suppose 3*y - 7 = s - 21, 42 = 5*s - y. Are m and s nonequal?
True
Let h be 67 - ((-22)/(-6) + 15/(-9)). Which is bigger: 67 or h?
67
Let h be 0 + 1 + 693/(-14). Is h bigger than -50?
True
Let d be 310 + 6*(-3)/(-6). Are d and 316 equal?
False
Suppose 2*w - 4 = -4*x + 3*w, 2*x + 12 = 4*w. Suppose -x = a + 4. Are a and -4 non-equal?
True
Let t = 10.6 + 3.4. Let v = t - 9. Is 0 smaller than v?
True
Let a(w) = w**3 + 12*w**2 + 13*w + 8. Let n be a(-11). Let m = n + 28. Which is bigger: 13 or m?
m
Let i = 4 - 2. Let b be ((-2)/(-12))/(1/(-3))*2. Which is bigger: i or b?
i
Let m be -40 - 18 - (0 - -1)*-4. Which is greater: -53 or m?
-53
Let h be 5/(-40)*((1 - 4) + 2). Which is smaller: 21 or h?
h
Let t be (-499)/(-4) + 9/(-12). Suppose 3*o = -5*j - 0*o - 138, o = 4*j + t. Let w be 18/j + (-22)/(-70). Is w at least 1/4?
False
Suppose 5*f + 2*a = -3*a + 15, 4*f = -3*a + 13. Suppose 5*l - 38 = -2*r, 0*r + f*l - 71 = -3*r. Is r bigger than 0?
True
Let d be (-6)/33 - (-46)/11. Suppose 12 = -d*r - 0. Suppose 27*a + 120 = -13*a. Is a >= r?
True
Let x = 10.8 - 11.8. Is 134 at most as big as x?
False
Let r(a) = 14*a + 52. Let i be r(-5). Which is bigger: i or 3/8?
3/8
Suppose 0 = -s - 2*o - 3, 38 + 47 = -5*s + 4*o. Let t be (-2)/8 - 81/12. Let m = t + -5. Is s at least as big as m?
False
Let x = 0.82 + 3.18. Do 8 and x have the same value?
False
Let v = -688701/43 + 16017. Is 2 less than or equal to v?
False
Suppose 9*u - 3 = 4*n + 6*u, -27 = 4*n + 5*u. Let b be n/(-3) + -13*(-2)/(-18). Which is bigger: b or -1?
b
Let s be (-212)/(-5)*35/(-14). Let w = 100 + s. Which is greater: w or -14/3?
-14/3
Let s be ((-2)/(-4))/(2/(-4)). Let i be s/(-3) + -1 - -1. Let l = -155.7 - -156. Which is smaller: i or l?
l
Let h = -6 + 8. Let t be (8/10)/((-12)/(-360)). Suppose 5*y - t + 9 = 0. Is h <= y?
True
Let y = 15 + -11. Suppose -y*f = f + 30. Let x(r) = -r**2 - 3*r + 3. Let j be x(f). Is j at most -15?
True
Suppose -2*j - 12 = 2*k, k + 5*j + 1 = -25. Let s(f) = 2*f**2 - f - 3. Let v be s(-5). Suppose 5*t - 3*n = 82, t + 2*t = -n + v. Which is smaller: t or k?
k
Let l = -12/29 + 283/754. Suppose 0*t = -4*t + 2*f + 10, -13 = -4*t + 3*f. Which is smaller: l or t?
l
Let f(m) = 9*m**2 - 1. Let r = 16 + -14. Suppose 0 = -3*l - 3*s + 8 + 1, -s = r*l - 4. Let v be f(l). Which is smaller: v or 9?
v
Let c = -30711/56 + 4137/8. Which is bigger: c or -32?
c
Let a be (-4)/6 - (-64)/(-12). Let w(v) = 13 - 6 - 3*v - 1 - v**2. Let t be w(-5). Is t != a?
True
Suppose 5*x = 86 - 71. Suppose 0*u + 2*u + 7 = x*o, 5*o - 2*u - 5 = 0. Is o greater than -2/21?
False
Let b be ((-12)/48)/(81/(-384)). Is 0 less than b?
True
Suppose -4*b - i - 2*i - 60 = 0, 0 = -b - i - 14. Let x be (b/42)/(3/4). Let q = -31 + 91/3. Which is greater: q or x?
x
Suppose 70 = -5*z - 4*v, 3*v - 78 = 5*z + 27. Which is greater: z or -14?
-14
Suppose 0*u = -2*n - 5*u - 6, -2*u - 12 = 4*n. Let f(q) = -q**2 + 8*q + 6. Let t be f(8). Let g be 10/n*t/4. Which is smaller: g or -3?
g
Let q(u) be the third derivative of u**6/120 + u**5/20 - u**4/4 - 7*u**3/6 - 11*u**2. Let r be q(-4). Is 2/69 < r?
True
Let z = 3.08 - 0.08. Let u be (1/(-2))/(10/(-12)). Which is greater: z or u?
z
Let z = 861 + -847. Are -2.8 and z nonequal?
True
Let g(a) be the third derivative of -a**6/120 - a**5/20 + a**4/4 + 5*a**3/6 - a**2. Suppose -52*t = -27*t + 100. Let v be g(t). Does v = -3?
True
Let z(n) = 4*n**2 - 1. Let y be z(-1). Suppose 5*s - x - 16 = 0, -4*s + 2*s = y*x - 20. Suppose 5*i + 5*b = 2 + 3, 0 = -s*i - 3*b + 1. Is -2/11 <= i?
False
Let u be 1014/(-1040) - (-9)/24. Are u and 5 unequal?
True
Suppose 0 = 3*c - x - 15, 5*x = 3*c + 8 - 23. Let f be c/15 + 3/(-144). Does f = 0?
False
Let m = 246 + -268.1. Let r = 22 + m. Which is smaller: r or -1?
-1
Let b be 7/7 - (-13)/1. Let q = b - 32. Is -19 > q?
False
Let r be 1*0/1 + -2. Let w = r + 5. Suppose w = 3*n - 0. Which is greater: n or -1?
n
Let l be 5/(-2) + (-1)/(-2). Let f = 109 - 99. Let u be (-16)/f*1/l. Which is smaller: u or 0.1?
0.1
Let b = -73 - -85.6. Let o = 1.6 - b. Let n = o + 10.6. Which is smaller: n or 2?
n
Let v be 1 + 0 + (-12)/4. Let t be (-4 + v/(-2))/(3/2). Is -3/4 less than t?
False
Let m(k) = -k**3 + 4*k**2 - 7*k + 21. Let v be m(4). Which is greater: v or 1.9?
1.9
Let s = 184 - 185. Do 1/12 and s have the same value?
False
Let w = 5 + -13. Let p be -3*(-3 + (1 - -3)). Let s = -14 - p. Which is greater: w or s?
w
Suppose -3*r - w + 64 = 0, 164 = 5*r + 4*w + 62. Let s = 1940/3 + -624. Is s at most r?
False
Suppose -2*c - 3*a + 7 = 0, 0*c - c + 16 = 4*a. Is c at least as big as -11/3?
False
Let q(x) = 2*x**3 - 26*x**2 + x - 13. Let p be q(13). Which is smaller: 2/37 or p?
p
Suppose 7*q - 2157 = -2304. Which is bigger: q or 17?
17
Let z be (-2)/((-9 - -10)*(3 - 1)). Is 4/11 at most z?
False
Let j(o) = 2*o + 19. Let b(l) = 9*l**2 + 1 - l**3 - 2*l**2 + l + 4 - 14*l. Let f be b(5). Let i be j(f). Which is bigger: -10/9 or i?
i
Let l be 2*57/18*3. Let n = -19 + l. Is -1/27 not equal to n?
True
Let p = -98 - -200. Suppose -10 = -5*q + 20. Suppose 18 = -q*h - p. Which is smaller: h or -21?
-21
Suppose -7*l + 24 = l. Let v be l/((-6)/(-27) + (-31)/18). Do -2 and v have different values?
False
Let o = -2.3 + 3.4. Let x = o + -0.3. Is 1 >= x?
True
Let n = 18040/31 - 582. Let u(g) = -g**2 + 10*g - 1. Suppose -b - 5 + 13 = 2*w, -2*b + 24 = -4*w. Let j be u(b). Which is smaller: j or n?
j
Let n = -106.9 + 106.4. Let w = 41/2 + -21. Is n > w?
False
Let h(g) = g**2 - g - 74. Let f be h(0). Let o = 129 + f. Let u = o + -271/5. Which is smaller: u or 0?
0
Let m = -1/2 + 13/22. Let z = -875 - -876. Are z and m equal?
False
Let c be ((-4)/(-5967))/(740/60 - 13). Is c greater than -1?
True
Let i be (-5)/14*((-3444)/35 - 0). Is i at least as big as 36?
False
Suppose 15 = -5*z, 0*g + 5*g - 5*z = 90. Let t be 51/4 + (-4)/(-16). Is t at least as big as g?
False
Let q(b) = 2*b + 3. Let y be q(0). Let r = 2 - y. Let k = -7 - -2. Are k and r equal?
False
Let d = -5053901/6 + 217548677/258. Let h = d + -895. Is 1 greater than h?
True
Suppose -2*q + 6 = 26. Let a be (3/q)/((-42)/(-1435)). Let n = 177/20 + a. Is -1 at most n?
False
Suppose -205*a = -197*a + 480. Which is greater: -412/7 or a?
-412/7
Suppose 2 = s - 0*s. Suppose 3*c - 2*k - 12 = k, -s*c - 