36)/(-50))*(-24)/15. Suppose 3*l = 7*l - 8. Suppose 15 = -l*w + 1. Which is smaller: r or w?
w
Let n(r) = -r**3 - 9*r**2 - r + 10. Let o = 3 - 10. Let h be n(o). Let a be (-12)/(h/(-6)*-1). Is 2 less than or equal to a?
False
Let k = -1337 + 1123. Is k at most -217?
False
Suppose 0 = -4*a + 9 + 3. Let o be ((-12)/(-63))/((-68)/(-561)). Is a <= o?
False
Let n(c) = -3*c**3 - 3*c**2 - 3*c - 3. Let s be n(-2). Suppose 3*u = 4*u - 5*a + s, -4*u + 24 = a. Suppose u = l + 2. Is 0 at least as big as l?
False
Let t = 73 + -73. Let m = -35014/37 - -946. Which is smaller: m or t?
m
Let t = -22 - -10. Let s = -134 + 134. Which is greater: t or s?
s
Let w = 304 - 249. Which is smaller: w or 2?
2
Let l(z) = z**2 - 5. Let g be l(3). Suppose 32 = -n + 2*s, -3*n - g*s = 21 + 25. Do -1 and n have different values?
True
Let v(q) = q**3 - 4*q + 3. Let o be 2*(2 + 0) - -2. Let p be (-4)/o - (-8)/3. Let x be v(p). Is 4 >= x?
True
Let x = 31 - 35. Let n = 3.22 + x. Let h = n + 0.28. Which is smaller: h or -3?
-3
Let j = 17963/4 + -4490. Let p(h) = -h**3 - 3*h**2 - h - 3. Let o be p(-3). Which is smaller: j or o?
o
Let k(o) = -2*o**2 + o**2 - 5*o - 3 + 2*o. Let n be k(-2). Suppose 5*v - 10 = -15. Is n less than or equal to v?
True
Let p = -5357/5 + 1075. Let t = 31/10 - p. Let g = -0.6 + 0.3. Is g at most t?
False
Suppose -81 = 4*f + 175. Let z be (-2)/(-26)*2498/(-3). Let j = z - f. Which is bigger: 0 or j?
0
Let t(p) = -2*p**3 - p**2 - 5. Let n be t(2). Which is greater: n or -23?
-23
Let a be (-1)/6*-2*1. Let k = 0.0187 - 17.0187. Is a at least as big as k?
True
Let y be (40/2300)/(2/(-220)). Which is smaller: -1 or y?
y
Let z be (-1044)/(-78) - 54/(-9). Which is greater: 19 or z?
z
Suppose 4449 = 18*o - 3309. Which is smaller: 430 or o?
430
Let t(d) = 5*d**2 - 29*d - 25. Let r be t(11). Is r <= 261?
True
Let m be 1 + (-12)/9*-3. Suppose m = 5*d - 0. Let w = -101 + 101. Which is smaller: d or w?
w
Let j(b) = -b**2 + 16*b + 27. Let y be j(13). Let d be (-1)/(-3 - y/(-21)). Suppose 4*q = x - 3, -2*q + q = x + 7. Is q greater than d?
True
Suppose 4*c + 11 = 9*y - 4*y, -y = -c - 2. Is -18/91 <= c?
True
Suppose -2*q + 0*q = 0. Let c = -21743241 + 67512762589/3105. Let m = -18/115 - c. Are q and m equal?
False
Suppose -13*u - 18 = 34. Let w be ((-3)/u)/((-1)/((-48)/234)). Is -3/5 greater than or equal to w?
False
Let u be ((-2244)/504 - 6/(-21)) + -5. Which is smaller: -8 or u?
u
Let a be (-9)/7 + 12/42. Which is greater: -4/9 or a?
-4/9
Let b = -3.5 - -3. Suppose 6 = -2*j + o, 7*o = 5*o - 4. Which is smaller: b or j?
j
Let d(w) = w + 7. Let m be d(-6). Let o = 7 - 60. Let t = 53.1 + o. Is t at least as big as m?
False
Let y = -16 - 1. Are 2/3 and y equal?
False
Let u = 0.097 + -0.097. Let l = -0.35 + 0.05. Let j = 0.4 + l. Which is bigger: u or j?
j
Suppose 20 = -5*r, -w - 2 = -4*w + 2*r. Let a be -5 - w - (0 - 3). Let s be (-1)/(-3) + (-23)/42. Is a smaller than s?
False
Let b(p) = -5*p. Let c be b(-1). Suppose 0 = c*o + 2*v - 30, -3*v = 5*o - 29 - 6. Suppose -5*x + x - 24 = -4*u, -o*u = -2*x - 20. Which is smaller: u or 3?
3
Suppose -6 - 6 = 4*w. Let h be -2 + (-2)/w*12. Suppose -4*r = 2 - h. Which is greater: 1/6 or r?
r
Suppose 4*i + 136 = -4*o, 4*i + 5*o = 10*o - 136. Is i bigger than -33?
False
Let p(f) = -6*f - 163. Let w be p(-11). Are 3 and w equal?
False
Let n = -4 - 4. Let l be (-1)/((-20)/n + -3). Suppose 0 = z + l*z. Which is smaller: z or -1?
-1
Suppose -s - 56 = -66. Do 11 and s have the same value?
False
Suppose -3*r + 1 = -5. Let x be (r/6)/(4 + 798/(-198)). Is x bigger than -1?
False
Let l be 120/(-33)*24/(-16). Which is smaller: l or 1?
1
Let v(y) = 5*y + 11 - y + 7 - 13. Let g be v(17). Is g < 72?
False
Let y = -6 + 5.6. Let j be 6/(-8) - 6110/(-520). Which is greater: j or y?
j
Let o = 237319/208802 + -2/9491. Let t = 50560/7 + -1112275/154. Let z = o + t. Is z at least as big as 0?
True
Let c = -4 - -9. Suppose 0 = -5*v + 20, t - c*t - 2*v = -32. Suppose 0*s - 2*s + 6 = 0, -2*o + 3*s + 3 = 0. Is o < t?
False
Let v = 6346946/123 + -51598. Let x be (18/4)/((-246)/8). Let o = x - v. Is o smaller than -2?
True
Let s = -18 + 51. Let x be 21/(-42) + s/14. Are x and 2 non-equal?
True
Suppose 3*s - 4*m + 10 = 0, m - 1 + 0 = 0. Is -40/19 smaller than s?
True
Let j(d) = 8*d + 96. Let i be j(-12). Which is smaller: 7/86 or i?
i
Suppose 3*t - 5*t - 24 = w, 4*t + 48 = 3*w. Let p be t*(13/(-3) - -3). Let c be (p + -13)/(3/(-2)). Which is bigger: -5/6 or c?
-5/6
Let z(y) = -3*y - 30. Let c be z(-12). Let k be (-10)/c*(-56)/55. Let m = -15/11 + k. Which is bigger: m or -0.1?
m
Let g be 3 - ((1 - -2) + 32). Let p(x) = x**3 - 13*x**2 - 2*x - 8. Let v be p(13). Which is smaller: g or v?
v
Let n(h) = h + 11. Let a be n(-7). Suppose 0 = -5*m + 14 - a. Suppose -5*o = -4*y - 2 - 4, y = m*o. Is o at least as big as -1/2?
False
Suppose 4*x - 13*h = -11*h - 266, -5*x = 2*h + 337. Which is greater: 3 or x?
3
Let k = 1086632/69 + -15748. Is k less than 0?
False
Let g be -2*(-4 - 4/(-8)). Suppose 3*c = -g - 2. Let q be 5/c + 8/12. Does q = 2/55?
False
Let f be (-8)/(-16) + (-13341)/4230. Let g = f - 3/235. Which is smaller: -4 or g?
-4
Let d = -334 + 334. Which is smaller: d or 1/194?
d
Let f be 34/306*(-8)/20. Suppose 0 = 4*s - 0*s. Is s equal to f?
False
Let v = -73 - -73. Suppose v = -2*y - 4 + 34. Which is smaller: y or 17?
y
Let n = -3111.97 - -3135. Let o = 23 - n. Which is bigger: 0 or o?
0
Let p = -47 + 48.9. Let z = 1.5 - p. Which is bigger: z or -0.2?
-0.2
Let f be (2*-39)/(48/264). Which is bigger: -430 or f?
f
Let x = 285356/33 - 8648. Is x smaller than -2?
False
Let x(i) = -i - 4. Let l be x(-2). Let n be (l/(-6))/(8/120). Suppose 6*k - n*k = 0. Are k and -2/27 nonequal?
True
Suppose -1435*z = -1430*z + 890. Are z and -178 non-equal?
False
Let l(o) = -8*o**3 - 569*o**2 - 72*o + 39. Let w be l(-71). Suppose 0 = 5*f - b - 514 - 40, 0 = 3*f + 4*b - 314. Is w greater than f?
False
Let n = -20/11 + 202/99. Suppose 5*r = -5*w + 20, -3*w - 5*r + 20 = -7*w. Are w and n equal?
False
Let i(p) = -2*p + 34. Let f(d) = -d**3 - 3*d**2 - 5*d - 4. Let l be f(-3). Let b be i(l). Are 10 and b equal?
False
Let v(m) = 29*m**3 + m**2 + m - 1. Let r be ((-1)/(-3))/(7/21). Let z be v(r). Suppose 0*l - 3*l - 4*g - z = 0, -4*l = -5*g + 40. Which is greater: 0.1 or l?
0.1
Suppose -6*a = -238 + 736. Let v = 143 + a. Is v < 62?
True
Let f(r) = 8*r + 11. Let m(d) = 7*d + 13. Let s(y) = -3*f(y) + 4*m(y). Let l be s(-2). Are 16 and l non-equal?
True
Let d(j) = 45*j**3 + j + 2. Let n be d(-1). Let l = -39 - n. Which is smaller: l or 4?
4
Let k be 4/(-10) + 33/70. Suppose -2*f - 3*f = -10. Suppose p + p = -f. Which is greater: p or k?
k
Let c = -437 + 438. Do -44 and c have the same value?
False
Let o(a) = a**3 + 25*a**2 - 24*a + 16. Let y be o(-26). Let x = 35 + y. Which is smaller: x or 4/49?
x
Let b be (32/12 - 4)*-3. Suppose b*v - 3*v + 3*v = 0. Which is smaller: 7/11 or v?
v
Suppose 6*k - 80 = -14. Let w be 3/(-10)*k/((-1386)/12). Is -1 < w?
True
Suppose 7*k = 22 + 76. Let q = k - 7. Does q = 1?
False
Let g be 3/(-4)*((-368)/69)/(-4). Let q = -211/119 - -12/7. Is g != q?
True
Let t(n) = 15*n - 11. Let d be t(1). Suppose -d*z = 1 + 3. Which is smaller: -2/189 or z?
z
Suppose -3*v = -4*n - 11, v - 4*v + 1 = n. Suppose 0 = 5*q + 16 - v, -5*q = 2*l + 11. Suppose 4*t = 5*k - 27, 3*k - 2 = l*t + 13. Which is bigger: -10/3 or t?
t
Let k = 11 + -19. Let u = k + 7. Let w = -20 - -20.01. Is w not equal to u?
True
Suppose 2*j - 3907 = -3083. Which is smaller: 411 or j?
411
Let l = -21248/1179 + 32/131. Which is bigger: l or -17?
-17
Suppose -2*a + a - 2*a = 0. Suppose 10*h = 90 - a. Is 9 greater than h?
False
Let h = -504 - -511. Let t be 1/(1*(2 + -1)). Which is greater: h or t?
h
Let i be (-16)/8*1/(-11). Is -0.046 greater than i?
False
Let z be (-442)/(-8) - ((-30)/8 - -3). Let j be 32/z*(-42)/(-4). Is j != 4?
True
Suppose 4 = -4*c + 36. Suppose 7 + c = -5*x. Do -11 and x have the same value?
False
Let c be (-2387)/(-1815) + (32/6)/(-4). Let k = -34/55 + c. Which is greater: -1 or k?
k
Let q = -14 + 13.94. Let y = -0.03 - -0.07. Let b = y - q. Which is bigger: b or 1/3?
1/3
Let b = 26.48 - -2.52. Are b and -0.2 unequal?
True
Suppose 3*t - 10*t = 84. Let f(d) = d + 11. Let c be f(t). Is 2/91 le