). Is -38 at least g?
True
Let m = 276.46 - 293. Let u = -16.5 - m. Which is bigger: u or 0.5?
0.5
Let z = -37 - 33. Let p = z - -68. Let k = 9559/48 - 598/3. Do p and k have different values?
True
Let a be ((-36)/(-10))/((-62)/(-17360)). Let u = -867 + a. Is u less than 141?
False
Suppose -23 = 2*u - 2*v - 57, -61 = -3*u + 5*v. Suppose 5*x + 23 + u = 0. Which is smaller: x or -14?
-14
Let o = -355 - -1421. Suppose o - 1065 = -x. Let k = -310 + 5893/19. Is x at least as big as k?
False
Let h = 0.1 + 0.9. Let c be ((-1)/5)/(21/(-2) - (-27 - -20)). Are c and h unequal?
True
Let d = 11653 + -11653.12. Which is greater: -26 or d?
d
Suppose -3*g - 3*m = -3, 4*m - 2*m + 7 = -5*g. Let f(d) = 3*d**2 + 9*d + 19. Let w be f(g). Is w at most 19?
True
Let g = -5/1683 + 5549/1683. Let p = g - 1383/425. Is -1 >= p?
False
Let h(i) = i**2 - i + 1. Let o(m) = 2*m - 2. Suppose -12 = -4*a + 2*c, 2*a - a - 4*c = 17. Let l(b) = a*o(b) + h(b). Let v be l(3). Does 8 = v?
False
Let v = 242 - 41. Suppose -31 = -g + 3*q + 38, -3*g + 3*q + v = 0. Let j = g - 67. Which is bigger: -1/3 or j?
-1/3
Let v(a) = -48*a - 1899. Let y be v(-50). Suppose -3*p = -2*q + 1003, 0*q - p = -3*q + 1501. Which is greater: q or y?
y
Suppose -139*n + 146*n - 35 = 0. Suppose f = -6 + 2, 0 = 3*q - n*f - 14. Does q = -10/17?
False
Let c be (-8 - -9)/(2/2) + 0. Let f be c*((-6)/12 - (-21)/(-6)). Is -35/8 at least f?
False
Let h be 12*(-5)/(15/2). Let z = -1509 + 1502. Let d = z - h. Is d > 15/13?
False
Let o = 0.4 - 0.4. Suppose 3*l = 0, 2*b - 4*l - 1 - 1 = 0. Suppose 0 = -4*j + b - 5. Which is smaller: o or j?
j
Let i = 130 - 129.05. Let t = i - 1.15. Is t less than or equal to 0.16?
True
Let n be (2057/77)/((-12)/84). Are -208 and n unequal?
True
Let v(a) = a**3 - 9*a**2 - 13*a - 17. Let d be v(10). Let i = d + 5. Which is bigger: i or -43?
i
Let r = 70.4 + 429.2. Let g = -480 + r. Which is smaller: g or 0?
0
Suppose -19 = -q - t + 5*t, 0 = -4*q - t + 25. Suppose -5*h = 4*j - 70, -3*h = 2*h - 3*j - 105. Suppose 0*n = -3*n + h. Which is smaller: n or q?
n
Let f(p) = 2*p**3 + 21*p**2 - 25*p - 174. Let q be f(-11). Which is bigger: -60 or q?
q
Suppose 4*s + 0*s - 36 = 0. Suppose 33*o = -5*o. Let m be 60/s*((-12)/(-5) - o). Is 47/3 > m?
False
Let j be 6/4 - ((-26210)/(-4036) - 5). Let b = -11958/25225 - j. Is b less than or equal to 1?
True
Let g be ((0*(-2)/16)/1)/(-6). Which is smaller: -14/151 or g?
-14/151
Let x = 23279 + -23142. Is 684/5 bigger than x?
False
Let g be 252/3072*(-10)/(-345). Is -1 less than or equal to g?
True
Let k(m) = 39*m - 377. Let h be k(10). Let v(i) be the second derivative of -i**4/12 + 13*i**3/6 + 3*i**2/2 + i. Let q be v(h). Which is smaller: q or -0.4?
-0.4
Let i be 4/(-32) + -3 - (6 + -9). Which is greater: i or -12?
i
Suppose -4*f - 4342 = f + 3*p, 2*f = 3*p - 1720. Let z = -866 - f. Which is smaller: z or 88?
z
Let s(o) = -2*o + 9. Let b = -11 + 16. Suppose w + b + 5 = 0. Let v be s(w). Is 29 bigger than v?
False
Let z be (-156)/306 - 64/24*(-4)/32. Is z < -0.16?
True
Suppose 0 = -3*i + 2*z + 292, 1987*z + 15 = 1984*z. Is i >= 284/3?
False
Let s = 479/20775 + 1/277. Let t = -1305 + 1304. Is s at least as big as t?
True
Let w be (2/4)/(6/(-24)) - (-5 - -2). Which is smaller: w or -0.841?
-0.841
Suppose 17*f = -51508 + 52188. Let b(d) = d**3 - 4*d**2 + 2*d + 5. Let y be b(5). Is y greater than or equal to f?
True
Let c(u) = -u**3 + 14*u**2 - 6*u - 17. Let o be c(14). Let b = o + 126. Which is greater: b or 21?
b
Let c be (-2)/(-78)*-466*9. Let b = c - -3909/65. Which is smaller: b or -1/4?
b
Let r = -4.87 - 0.13. Let v = 0.37 + -13.37. Let n = -13.3 - v. Do n and r have the same value?
False
Let m(w) = -12*w - 100. Let f be m(-8). Let a be f/10 + 84/(-90). Is -1/3 <= a?
False
Suppose -7*w = 4*f - 4*w + 2701, -5*f - 5*w - 3375 = 0. Let i be 4 + (-1 - -3) + 4043/f. Is 0 less than i?
True
Suppose -8*s + 5*s = -f - 30, -4*s - f = -33. Suppose -5*o - 2 = j - o, -2*j = 4*o - 4. Let w be 4/(j/(-3)) + 8. Which is bigger: w or s?
s
Suppose -2*i + 226 = -2*a, 4*i = 22*a - 25*a + 487. Which is bigger: 116 or i?
i
Let h(r) = 7*r - 11. Let m = 86 - -5. Let l = 95 - m. Let v be h(l). Is 16 at most as big as v?
True
Suppose 77*j = 30*j - 282. Which is smaller: j or -93/13?
-93/13
Let n = 88.8 + -87. Let d = -69.8 + n. Let h = -69 - d. Is 18 equal to h?
False
Let j be -3 - (-6 + 0)*-49. Let x be 132/j + (-245)/(-558) + 0. Which is bigger: x or -1?
x
Suppose -4*l = 5*w - 2596, -3*l = -5*l + 4*w + 1298. Let z = -648 + l. Which is greater: z or 5/73?
z
Let f be (-82)/72 - 1475/3540. Is f < 13?
True
Let n(p) = 2*p**2 - 2*p. Let f be n(-2). Suppose -m + 5 = -4*i, -10 = -f*i + 7*i. Let o be m/104 - (-542)/16. Is 33 bigger than o?
False
Suppose -13*o + 87*t - 89*t = 1, -3*o - 3*t = 18. Which is smaller: o or -11/1220?
-11/1220
Let z be (-2)/3*333/(-222). Are 12/2707 and z equal?
False
Let t = -206/13 - -16. Is t >= -1/21?
True
Let b be (5424/400)/((-1)/5). Let g = 1758/35 + b. Is g not equal to -18?
True
Suppose 2*w + 4*d - 7 = 5*d, -5*w = -d - 13. Let i be (-108)/441 - w/(-7) - 0. Is 2/9 > i?
True
Let l(y) = -2248*y - 86. Let v be l(-2). Is v >= 4409?
True
Let g = -44 - -43. Suppose f = -4*i + 5*i + 10, 4*f - 52 = i. Let t = f + -13. Which is greater: g or t?
t
Suppose 5*j + 331 = -4*k - 828, -2*k = -8*j - 1888. Which is smaller: -243 or j?
-243
Let i be 0*(-3)/12 + -129. Let j = -110 - i. Let k be (j - -1)*-4*(-1)/8. Does k = 0.5?
False
Suppose b - 10 - 6 = 0. Let p(j) = j**2 + 3*j - 91. Let k be p(b). Is 212 <= k?
True
Suppose -13*m = -176 + 124. Let v = -2 - -1. Let o(x) = 5*x**2 + x + 1. Let q be o(v). Is m at least q?
False
Let u = -11 + -1.5. Let f = u + 8.5. Is f at most as big as -2?
True
Let h be ((-74)/92)/((-2 - -8)/24). Let o be (-423)/235 + ((-8)/10)/4. Which is bigger: o or h?
o
Let q(c) = -2*c**3 + 6*c**2 - 27*c + 34. Let l be q(6). Which is bigger: l or -347?
l
Let f(v) = 9*v**2 + 38*v - 34. Suppose 0 = 6*w + 166 - 136. Let q be f(w). Let t be 1 + (-6)/(-38) + -1. Which is greater: t or q?
q
Let k(x) = x**2 - x - 22. Let b(u) = -u - 13. Let i be b(-11). Let z be i - -4 - (3 - -4). Let s be k(z). Is s bigger than 7?
True
Let u be (0/(-1*(-8)/(-4)))/1. Suppose -2*k - h + u*h + 26 = 0, 2*k - 26 = -2*h. Suppose t + 3*x - 14 = -t, t - k = -3*x. Is 8/5 greater than or equal to t?
True
Suppose 0 = 45*i - 10530 + 2790. Which is smaller: 171 or i?
171
Let j be 1002/(-42) + (4 + -9)/5. Let x = j + 7531/301. Which is smaller: 0 or x?
0
Let j(w) be the second derivative of w**5/20 + w**4/4 + w**3/6 - 3*w**2/2 - 29*w. Let q be j(-2). Let z be (-3)/q*13/3. Which is smaller: 25/2 or z?
25/2
Let u be ((-5)/90*3)/(1/284). Let l = 1904 + -1951. Which is smaller: u or l?
u
Let h = 18 + 57. Let i = h + -75.15. Let z = -6.15 - i. Is z greater than -4?
False
Let a(q) = q - 4. Let h be a(4). Suppose 3*v + 42 + 135 = h. Let b = -26 - v. Which is smaller: 35 or b?
b
Let p be (-148)/(-2) + (-4 - -1). Let c = p - 73. Let j be 3/c - 4/(-8). Which is greater: -7/17 or j?
-7/17
Let l = -0.0317 + 0.1647. Let p = l + 0.067. Is p >= -0.2?
True
Let w be (6/(-22))/(18/16). Let i(t) = 29*t + 203. Let f be i(-7). Is f greater than or equal to w?
True
Let k = 1828746/14665 - -27/2095. Let g = k + -125. Suppose 0*n = 2*n + 50. Which is smaller: g or n?
n
Let y = 244 - 204. Suppose v + y - 39 = 0. Which is smaller: v or -1/207?
v
Let m = 8.388 - 8.488. Does m = -0.00066?
False
Let n(q) = -q**2 - 4*q + 2. Let z be n(-5). Let u = -183 + 91. Let t = 77 + u. Is z > t?
True
Let t be (167/(-2) - (-2)/(-2))/(284/(-568)). Which is smaller: 165 or t?
165
Let h be (0 - -3) + -15 + -1*(-335 - -8). Is h less than 299?
False
Let y be (21/(-70))/(5/((-20)/(-34))). Let n = 263/2635 + y. Is -20 > n?
False
Let f = 6/125 - 5887/250. Let q = f + 23. Let p = -195 - -194.6. Which is bigger: p or q?
p
Let t = -102 - -100. Let w be (-2 - (-1 - -3)) + (-18)/t. Let i be (-11)/55 + (-269)/w. Are i and -55 equal?
False
Let y be -1*(-9)/12*-4. Let k = 6 + y. Suppose -i = k*j + 4*i + 66, -j - i = 20. Which is smaller: j or -19?
-19
Let s = -140 + 150. Let v(y) = -48*y**3 - 11*y - 3*y + 47*y**3 + 24 + 11*y**2. Let x be v(s). Is x at most -16?
True
Suppose 3*z = 5*t - 5, -3*t + 2*z = 5*z + 21. Let a be -1 + 1 + 26 + t. Suppose -116*i 