-140) + 4/14. Let u = 2.9 + -3. Let n = u - -0.1. Are d and n equal?
False
Suppose -m - 3 = -4*t, 5*t - 12 = t + 4*m. Let y(x) = -x**2 - 2*x + 1. Let n be y(-3). Let l be 2 + n - 4 - -2. Does l = t?
False
Let o be (-1)/(-10) + 848/1120. Let r be 2/7 + 6/(-21). Which is bigger: o or r?
o
Let q = 2 - -3. Suppose -y - 8 - 4 = -2*x, -23 = -y - q*x. Which is smaller: y or -4/7?
y
Let o = 1367/1806 + -23/42. Is o greater than or equal to 1?
False
Let u be (-135)/4 - 231/(-132). Is u not equal to -44?
True
Suppose -d - 3*l - 39 = d, 4*l = -4*d - 68. Let t = -13 - d. Is 4/11 less than or equal to t?
False
Suppose -5*i + 116 = -209. Suppose -15 = 5*q - i. Let z = 37 - 26. Is z less than q?
False
Suppose 5 = 5*r, -2*g = -6*r + 5*r + 15. Suppose 3*i + 4*n = 53, 0 = 3*i + 2*n - 6 - 37. Let b = i + g. Which is smaller: b or 8/3?
8/3
Suppose 4*q - 9 = -3*g, 3*q = 5*g + 2*q - 15. Suppose -177 = -g*o + l + 203, -4*o - 4*l = -528. Let j be ((-8)/o)/(2/4). Are -1 and j equal?
False
Let v be 16/1368*(-1)/(-3). Let f = v - 1040/3591. Let i be (-5 + 6)*1 - 4/(-6). Is i != f?
True
Let t be (7 - 8)/(1/(-4)). Suppose 2*p - 4*i = 20, -3*p = -t*p - 2*i - 10. Which is smaller: p or -2/27?
-2/27
Suppose -2*x - 2*x = 88. Let w = 79/399 + 5/57. Are w and x non-equal?
True
Let n = 431 - 4746/11. Which is smaller: n or 0.2?
n
Let o be -85*((-4)/20)/((-4)/8). Is o at most as big as -35?
False
Let r = 779 + -779. Which is smaller: r or 2/1295?
r
Let p(w) be the first derivative of -w**4/4 + 8*w**3/3 - w**2 + 16*w - 31. Let d be p(8). Which is smaller: d or 1/47?
d
Let j = 28 - 75. Let h = 43 - 71. Let c = j - h. Is c < -19?
False
Let w = -162847 + 2769404/17. Let m = w + -59. Let l be (1 - 0)*(-2)/(-2). Are l and m equal?
False
Let a = 6 - 5.92. Let w = 110 - 7. Let z = -105 + w. Is z at most a?
True
Let r be (-14063)/18676 + 9/12. Let y = r - 27/667. Suppose b = 4*j + 13, b + 3*j + 7 = -b. Are b and y unequal?
True
Let z be -203 - 42/(-4 + -3). Is z at most as big as -197?
True
Suppose 19*n + 177 = 1982. Which is bigger: n or 98?
98
Let y = 0.1747 - 0.205. Is 1 less than y?
False
Suppose 3*t = -t. Suppose -13*h + 295 + 108 = 0. Which is greater: h or t?
h
Let j be 7/5 - (-2)/(-5). Let t(n) = -n**2 - 2*n + 16. Let l be t(3). Are j and l non-equal?
False
Let m be ((-5)/(-310))/(2/20). Let u = m + -117/341. Let t = -0.061 - 0.039. Is u bigger than t?
False
Let t = -767 - -767. Let u(a) = a**3 + 6*a**2 + a + 8. Let h be u(-6). Let q be h/14*(0 - -2). Which is smaller: t or q?
t
Let p = 12 - 13.2. Let i = 0.1 - p. Let a = 0.3 - i. Is a < -8?
False
Let p(t) = t**3 + 3*t**2 - 1. Suppose -3*d + 15 = -8*d. Let z be p(d). Let x be ((-8)/588*(7 + -1))/((-18)/7). Which is smaller: x or z?
z
Suppose 5*b = -3*d + 15, d + b = -4*d + 3. Is d >= 3/10?
False
Let o be (-28)/(-10)*2610/72. Let z = o + -575/6. Let k(i) = i**2 + 8*i - 14. Let y be k(-10). Which is smaller: y or z?
z
Let x(s) = -s**2 - s + 4. Let j be x(0). Let d(q) = -q**3 + 6*q**2 + 10. Let o be d(6). Let y be 5*(12/o - 44/55). Is j bigger than y?
True
Let u = -451 - -237. Is -214 < u?
False
Let l(q) = 8*q + 15. Let d be l(4). Suppose 6*y - 241 = y + 3*u, -2*y + 5*u + 104 = 0. Does y = d?
True
Suppose -22 = -5*a + w, -w + 6 = -4*w. Let d be (1 - 2)/(-1)*a. Suppose -d - 8 = -3*p. Which is smaller: 13/4 or p?
13/4
Let d = 13 - 105. Let m = d + 181. Which is bigger: m or 88?
m
Let o(f) = -f**2 - 28*f - 35. Let t be o(-13). Suppose -24*h = -19*h + t. Is -31 <= h?
False
Let v(w) = 5*w**3 - w**2 + 1. Let o be v(-1). Let b = -2 - o. Suppose 4*t - t + b = 0. Which is bigger: 2/11 or t?
2/11
Let h be (-5)/(-15) + (-1)/3. Suppose h = 7*d - 3*d - 120. Let z be (-57)/d - (-2 - 0). Which is greater: z or 1?
1
Let c(g) = 50*g - 262. Let j be c(4). Which is bigger: j or 1/4?
1/4
Let z = -5 + 6. Let v(q) = 6*q + 12. Let a be v(-6). Let m = a - -26. Are z and m nonequal?
True
Let w = -11 + 9. Let o = -7 + 4. Let n = -2 + o. Is n less than w?
True
Suppose 31 = 3*s - 5*v, -2*s + v + 1 = -4*s. Suppose -s*p + 0 = 2. Let m be (-3)/9 - (-2)/24. Which is smaller: p or m?
p
Let j be (-82)/(-56) + (-2)/(-7). Let i be (-72)/12*13/(-6). Let h = i - 10. Is h less than or equal to j?
False
Let z = 25.06 + -25. Let r = -0.2 - z. Let b = r - -0.26. Which is smaller: 0.2 or b?
b
Suppose 5*o + 8 + 24 = -4*d, o - 11 = 5*d. Let m be 2*-3 - 1 - d. Is m > -4?
False
Let k = 91 - 108. Let z = k + 19. Which is smaller: -34 or z?
-34
Let m be 10/36*(-12)/(-75). Suppose 0 = -2*c - 2*a - 6, 4*a + 18 = -3*c + 5. Which is smaller: m or c?
m
Let s(k) = k**3 + 5*k**2 - 8*k + 14. Let h be s(-7). Let m = 76 - 105. Is m less than h?
True
Let i = -0.7 - -1. Let n = 98 + -58. Let s = n + -41. Which is bigger: s or i?
i
Let h be 1/(-28)*2*36/45. Suppose 75*c + 3 = 78*c. Is c at least as big as h?
True
Let c = 1.681 + -1.72. Let l = c - 0.461. Which is bigger: -1 or l?
l
Let a(d) = d**2 - 7*d + 17. Let c be a(4). Suppose -3*o - 5*x + 45 = 0, -43 = -c*o + 5*x - 8. Which is greater: 8 or o?
o
Let l be 1011/(-13140) - (1496/(-165) + 9). Which is smaller: l or 1?
l
Suppose 65 = -38*m + 33*m. Let x(p) = p**2 + 9*p - 38. Let v be x(m). Suppose 2*r - 12 = 18. Which is smaller: v or r?
v
Let i = 738 + -120293/163. Are i and 0 non-equal?
True
Let a be (12/(-42))/(45/2583). Let n(t) = t**2 - 8*t - 5. Let i be n(6). Is a at most i?
False
Suppose -2*t = 101 - 15. Let x = -44 - t. Let y = 0 - 0. Is x greater than or equal to y?
False
Let b be ((-8)/22)/(-4) - 10/20. Is 1 > b?
True
Suppose -j + 378 = 26*j. Is j bigger than 16?
False
Let t = -4498.945 + 4469. Let h = -0.055 + t. Which is smaller: -0.2 or h?
h
Let s = -0.133 + -9.967. Let z = 10.1 + s. Which is bigger: -7/3 or z?
z
Let p = 0.351 - -0.019. Let g = p + -0.67. Is g equal to -3?
False
Let o(g) = -2*g**2 - 8*g - 15. Let c(n) = -5*n**2 - 24*n - 45. Let u(z) = -3*c(z) + 8*o(z). Let a be u(11). Let m = a + 19. Which is greater: 0.1 or m?
m
Let c be (-2)/(-6) + 4060/87. Is 47 at least as big as c?
True
Let w be 16/12*((-1565)/1880 + 1). Which is bigger: w or -1?
w
Let c be 20*((-34)/(-10) - 3). Suppose 0 = -3*p + w + 12, -4*w + c = -p + 3*p. Let l = -13 - -17. Is l < p?
False
Suppose 28 = 5*y + 2*y. Suppose 4*c = 3*c + 3*j + 11, -5*c + 1 = 3*j. Which is bigger: y or c?
y
Let c = 25.957 + 0.043. Let i = c + -23.9. Which is bigger: i or 0.1?
i
Suppose 2*r - 3 - 1 = 2*h, -2*r - 2 = -4*h. Let l(g) = -5*g + g**2 + g**2 + 0*g + h*g + 3. Let z be l(2). Which is smaller: -1 or z?
-1
Let i = -100 + 99.7. Which is smaller: i or -47?
-47
Let i be 1/(-5) - 1014/30. Let q = i + 74. Is 40 less than or equal to q?
True
Let h be 501/18 - -1 - 8/(-48). Let d = h + -49. Which is smaller: -18 or d?
d
Let s(t) = t**2 + 6*t + 102. Let r be s(-9). Which is greater: r or 130?
130
Let d be 6/9 + 5/(-3). Suppose 5*k + 20 = 0, -2*z - 3*z = -k - 1329. Let r = z + -1852/7. Which is bigger: d or r?
r
Let s be ((-930)/(-1240))/(0 - (-66)/32). Is 2/45 greater than or equal to s?
False
Suppose 6*r = 249 + 75. Let z = 4048/75 - r. Let o(l) = -l + 7. Let p be o(7). Which is bigger: p or z?
p
Let s be ((-9)/12)/((-289)/34). Which is greater: s or 1/4?
1/4
Suppose -75*x - 5400 = -35*x. Is -136 != x?
True
Suppose 145 = k - 4*g, 0 = 10*k - 7*k + 2*g - 505. Let u be (-4)/(-26) - k/650. Which is greater: u or -2/7?
u
Suppose 3*c + 210 = -4*b, c - 1 = 2*b - 81. Is -224/3 > c?
False
Let y(h) = -h. Suppose 20*n = 1 + 19. Let s be y(n). Is -5/14 >= s?
True
Let u be (-10)/(-50) - 5/(50/(-28)). Which is smaller: u or 69/19?
u
Suppose -2*o + l = -108, 38 + 70 = 2*o + 5*l. Suppose -4*u - 14 = -o. Which is bigger: 7 or u?
u
Let h be ((-2)/(-4))/(4/24). Suppose 2*f = v - 41, 0*f - 3*v - 57 = h*f. Let g be f/3*(-12)/10. Which is bigger: g or 6?
g
Let o be 2*(0 - 1) - -6. Suppose 2*v = 3*p - 45, -p + v + 2*v + 22 = 0. Suppose -o*g - p = 23. Is -9 at most as big as g?
True
Let b = 41/1235 + -9/65. Which is bigger: b or 0?
0
Let i = -36.933 + 37. Let u = i - 0.267. Which is smaller: u or 9?
u
Let v = -1507 + 657. Let r be 26/(-221) + (-236)/v. Let j(n) = -n**2 - 7*n + 8. Let y be j(-8). Which is greater: r or y?
r
Suppose -33*o = -28*o + 3*l - 57, 4*l + 28 = 2*o. Let x(t) = -8*t + 1 + 20*t + t**3 - 13*t**2 + 3. Let g be x(o). Is g > 4?
False
Let o be 1 + -2*(-87)/(-54). Suppose -2*q = b - 