(-8))/((-75)/4 + -1). Which is greater: w or o?
w
Let i = 7856/13 + -604. Which is smaller: 14/5 or i?
i
Suppose -2*c = 5*p - 7*c - 65, 4*p - 2*c = 58. Let f = 29 - 12. Which is smaller: p or f?
p
Let d = 157 - 158.06. Let p = -0.08 - -0.02. Let l = d - p. Is l > 0?
False
Let z(k) = k**3 + 2*k**2 - 2*k - 2. Let r be z(2). Suppose 0 = -4*y - r + 22. Let p be (-2*y)/(6/(-3)). Which is smaller: 4 or p?
p
Suppose -4*r = 5*z + 12, 2*r - 3*r + 6 = -z. Let i be r*4/8*-29. Let g be -2 - (i/8 + 2). Which is smaller: g or 0?
g
Let n = 3241/382 + 3/191. Is n not equal to 10?
True
Let m = -71.4 - -68. Let j = -3.2 - m. Are -11 and j unequal?
True
Let o = 0 + -5. Let s = -112 + 75. Let m = s - -35. Which is bigger: o or m?
m
Let c = -0.0561 - 4.9439. Are c and 12 equal?
False
Suppose 5*y - 35 = -u + 47, 2*y = -5*u + 19. Suppose 4*v = -2*z + 7*v + 49, -5*v - 25 = 0. Is z >= y?
True
Let u be (-111)/(-35) + (-4)/(-10). Is 5 not equal to u?
True
Suppose -f + 10 = -2*k, -5 = 3*k + 1. Suppose f*b + 7 - 7 = 0. Which is smaller: -108 or b?
-108
Let l be ((-5)/(-10))/(1/24). Let o(w) = w**3 - 4*w**2 - w - 3. Let u be o(4). Let x = u + l. Which is greater: 0.1 or x?
x
Let p be 1196/(-10) - 102/255. Which is smaller: p or -121?
-121
Suppose -2*w + 5*t + 18 = 47, -4*w + 5*t - 33 = 0. Let s = -1 + 2. Let q = -3 + s. Is q < w?
False
Let j be 35/(3/(-6)*(4 - 2)). Are j and -34 non-equal?
True
Let f = 32 + -17. Let c = 83 - 97.8. Let o = c + f. Is o greater than or equal to 5/6?
False
Let b be ((-2)/76)/(3/(-12)). Suppose 0 = g - 3*y - 2, -2 = -3*g + 8*g - 3*y. Which is smaller: g or b?
g
Let f = 39 + 1. Suppose 2*a - 4*a = 4*r - f, -5*a - 10 = 0. Which is bigger: 0 or r?
r
Suppose -3*b + 3*p + 108 = 0, -4*b - b - 5*p + 140 = 0. Let w be (180/(-6))/((-1)/1). Let f = b - w. Which is smaller: 0 or f?
0
Let w(j) = -j**3 - 3*j**2 + 5*j - 6. Let a be w(-5). Let l = a + -19. Is -3/10 smaller than l?
True
Let i = 26 - 15. Let y = -10 + i. Let d be (-4)/(-10) + (-8)/30. Which is smaller: y or d?
d
Suppose -i - 2*r - 172 = -174, 2 = -3*i + 2*r. Let h be 1 + -3 - (-32)/13. Is i smaller than h?
True
Suppose 0 = 2*q - 5*w - 18, 3*w + 2*w = -3*q + 27. Suppose -6*o + q = 3*o. Do o and -8 have the same value?
False
Let v = -361/2 - -9041/50. Which is bigger: v or -1?
v
Let m = -6/17 + 19/102. Which is smaller: 7.5 or m?
m
Let o = 6.951 - 7. Let u = 21.049 + o. Let q = u + -23. Which is smaller: 2/3 or q?
q
Let h = 12 + -8. Let o = -0.0384 + 0.0484. Which is bigger: h or o?
h
Suppose -2*v = 3*v - 5. Let f = -6.88 - 2.12. Which is smaller: v or f?
f
Let s = 1 - -4. Let w = s - 4.9. Which is bigger: -0.2 or w?
w
Let x = 55822/395 + -58358444/14615. Let d = x + 3852. Which is greater: d or 0?
d
Let c(d) be the first derivative of d**3/3 + 7*d**2 - 2*d + 1. Let g be c(-14). Let t be 1*2*(g - -3). Which is smaller: t or 0?
0
Let r be 2/(-7 - 5120/(-735)). Which is greater: r or -59?
r
Suppose 7*j + 3*i + 8 = 2*j, 4*i - 16 = 0. Let a be ((-6)/1)/(j/6). Let w = 389/3 + -130. Which is bigger: w or a?
a
Let g(i) = -i**2 + 11*i + 15. Let x(p) = -p**2 + 22*p + 31. Let b(f) = -5*g(f) + 2*x(f). Let o be b(5). Which is smaller: 57/8 or o?
o
Let y be (-42)/(-48) - (2 - (-17)/(-8)). Which is smaller: 2/113 or y?
2/113
Let v be 38/9 - 2/9. Let t(d) = -9*d - 500. Let z be t(-56). Is v at most as big as z?
True
Suppose -2*w = -0*w. Let s be ((-4)/5)/(2/(-5)). Suppose 2 = s*g + 4. Is g <= w?
True
Let h(t) = -2*t - 41. Let w be h(-21). Suppose 2*v = 4*j - 16, v = -2*j - 2*j + 22. Let d be -1 - ((4 - v) + -2). Which is smaller: d or w?
d
Let j = -22 - -26. Let w = -2 - -2. Suppose -j*q + q = w. Which is smaller: q or -1/2?
-1/2
Let x = -15/34 - 647/17. Is -40 > x?
False
Let u = 1270 + -1368. Which is bigger: u or -103?
u
Let x = -1/405 - 156323/2835. Let f = -118 + 63. Let s = x - f. Which is smaller: s or 0?
s
Let q(g) = 5*g - 95. Let n be q(19). Let a = -709/11063 - -3/299. Which is greater: a or n?
n
Let c be 12/9 + (-594)/4212. Is 1 at least as big as c?
False
Let l be (1 - (-9)/(-4)) + 20010/15720. Which is bigger: l or 1?
1
Let r = -6659/5 + 1344. Let x = 37/3 - r. Which is smaller: x or -1?
-1
Let w = -122 + 116. Let z be (-6 + -3)*2/(-3). Suppose z*u - u = -10. Which is smaller: w or u?
w
Suppose 2*t + 5*g - 17 = 0, -4*t + 17*g = 13*g + 8. Is 3/634 != t?
True
Let t be (-5)/(4/8*2). Let l = -78 - -78.1. Which is smaller: t or l?
t
Let l be (-10)/(-978)*(-62)/(-155). Which is bigger: l or 1?
1
Let p = 25 + -34. Let u = p - -11. Do 10 and u have the same value?
False
Let i = -7863 - -967165/123. Are -1 and i non-equal?
True
Let z(h) be the second derivative of 1/3*h**3 + 0 + 0*h**2 - 1/12*h**4 - 5*h. Let x be z(0). Is x equal to -7/6?
False
Let q be 3*((-308)/(-12) - 3). Let b = q - 341/5. Let h be (-2)/6 + -2 + (-12)/(-9). Which is bigger: b or h?
b
Let m = 3 + -6. Suppose -5*g + 35 = 2*g. Suppose g*i + 2 = -3*z, 3 + 13 = -2*z + 4*i. Which is smaller: m or z?
z
Let z be 1*4/6*-3. Let t be ((-9)/(-6))/(-3 - (-27)/12). Let q be (t/(-6) - 85/561)/(-1). Which is smaller: z or q?
z
Suppose 4*x - 4*y = -7 + 71, y = -4*x + 79. Which is greater: 25 or x?
25
Let v = 202 - -174. Which is greater: v or 0?
v
Let o(w) be the second derivative of w**5/20 + w**4/4 - 2*w**3/3 - 3*w**2/2 + 7*w. Let b be o(-3). Which is greater: 11 or b?
11
Suppose 0 = 5*b + 2*z - 1, 0 = 3*b + z - 0 - 1. Is b less than -20/137?
False
Let k = -233 + 234. Is k <= 2?
True
Let w = -3.7 + -17.3. Let y = 29.084 + -0.084. Let q = w + y. Which is bigger: 1 or q?
q
Let f = 98.1 + -98. Let t = f + 0.9. Is t > 4?
False
Let i be (1/2)/((-130)/(-45) - 3). Suppose 5*h - 19 + 49 = 0. Is h at most i?
True
Let p be 2/10 - (-3538)/35. Let i = 101 - p. Let j = -79 + 78. Which is smaller: i or j?
j
Let x be (-63)/12*20/(-5). Suppose 4*p + 23 = -x. Let l be 72/(-7) - (-2)/7. Is p greater than l?
False
Let x = -57 - -32. Let a = -21 - x. Let g = 4.4 - a. Which is greater: -3 or g?
g
Let k(z) be the third derivative of -z**4/12 + z**3/3 + 10*z**2. Let f be k(1). Suppose 0*x + 6*x + 6 = f. Which is bigger: x or 0.3?
0.3
Let i(w) = -w - 4. Let c be i(-4). Suppose -27*b + 31*b = -16. Let v be ((-153)/(-27) + -8)*b/(-266). Which is greater: v or c?
c
Suppose -2*q = z - 3, q + 0*z = -z + 1. Suppose -5*w = 3*a - 43, 4*a + q*w = 3*a + 15. Which is smaller: a or 13?
a
Let z(k) = 5*k - 16. Let t be z(4). Suppose -4 = t*y - 8. Is y greater than 10/23?
True
Let z = 3823/14 + -273. Is 1 smaller than z?
False
Let a be (24/(-42))/((-2)/7). Which is greater: a or 26/11?
26/11
Suppose 0 = 3*f + w - 0*w + 29, 2*f + w + 19 = 0. Is -9 greater than or equal to f?
True
Let t be 2*(-3 + 13/2). Suppose 5*b + 52 = -4*o, 2*o - 2*b + t*b = -36. Let q be 2/o + 28/(-80). Which is bigger: 0 or q?
0
Let z = -1527.1 + 1546. Do z and 2 have different values?
True
Let h(c) = 2*c + 13. Let r be h(8). Let q = r + -35. Is q at least as big as -3?
False
Let g = 211 + -416. Which is smaller: -204 or g?
g
Let u = -140 - 183. Is -322 not equal to u?
True
Let v be ((-4025)/42)/(-25) + (-2)/(-12). Which is smaller: v or 64/15?
v
Let f(p) = -p**3 + 20*p**2 - 19*p - 4. Let a be f(19). Let j be a/18 + (-5368)/(-99). Which is bigger: 55 or j?
55
Let v = -511 + 16865/33. Suppose -27*r = -34*r - 7. Which is greater: v or r?
v
Let z(w) be the first derivative of -3*w**4/2 - w**3/3 - w**2/2 - w - 1. Let n be z(-1). Let p be (-4)/(-6)*n/2. Which is smaller: 2 or p?
p
Let x = 0.61 + -0.45. Let v = 0.04 - x. Which is smaller: v or 1?
v
Let a be (-258)/495 + 4/2. Let b be (-56)/(-630)*21/2. Let d = a - b. Is d <= 1?
True
Let d = -2.67 + 2.97. Let b = -0.1 + 0.2. Which is smaller: d or b?
b
Let w = 346 - 4849/14. Do w and -1 have the same value?
False
Let g = -72 + 87. Let h be 7/7 + 13 + 1. Is h equal to g?
True
Suppose -3*u = -0*u + 5*p - 7, -p = 3*u + 13. Let s = u + 1. Let a be (2/6)/(s/12). Is a > 2?
False
Let f = 29 - -32. Let q = -361/6 + f. Do 1 and q have the same value?
False
Let u = 15.453 + -15.5. Which is greater: 3 or u?
3
Suppose -5*s = -s. Let r be -3 + s + (-1 - -3). Let t = -0.1 + -0.1. Which is greater: r or t?
t
Let l = 16847109074/153 - 110109683. Let m = -2141 + l. Let a = 4/17 - m. Is 1 greater than a?
True
Let b be 2 + 244/(-143) + -3. Let g = -34/13 - b. Let m be 22/(-18) - 2/(-9). Is