o w and n have different values?
True
Let l(z) = 2*z**3 - 20*z**2 + 18*z - 192. Let s be l(10). Which is smaller: s or -228/17?
-228/17
Let h be (3*1/(-2))/((-5045)/(-6054)). Which is bigger: h or 2/371?
2/371
Suppose j + 3185 = -2*l, 172*j - 2*l = 174*j + 6360. Which is smaller: -3176 or j?
-3176
Suppose 2*z = -2*z + 80. Let j(m) = -m + 73. Let o be j(35). Suppose z*g - 19*g = o. Which is greater: 39 or g?
39
Let z be ((-2)/3)/(60/90). Suppose 0 = -4*r - 2*l, 3*r - l = -4*l + 3. Let f be r/4 + (-15)/(-36). Is z less than or equal to f?
True
Let j = 15 + -10. Suppose j*f - 4 = -39. Let s(t) = -3*t - 5. Let b be s(f). Which is smaller: b or 15?
15
Suppose 257290 + 69300 = 113*f - 167898. Is 4377 >= f?
True
Let l(j) = -6*j + 4*j + 0*j - 25 + 3*j. Suppose -28 + 0 = 2*h. Let q be l(h). Are q and -40 equal?
False
Let p = -113822603108810888297346753643127/82072024342 - -1386862381199517559444. Let b = 1279/596458 + p. Let k = b + 1/1787. Which is smaller: -1 or k?
-1
Suppose 0 = 4*n - 8, 8*w - 54 = 3*w - 2*n. Let j be 2 - (-165)/w*4/(-30). Is 0 smaller than j?
False
Let d = 713 + -681.42. Let z = 32 - d. Let m = z - 0.42. Which is smaller: 24 or m?
m
Let x = -356/2625 + 2/875. Suppose -q - 4 = -3. Do x and q have different values?
True
Let q(x) = x**3 + 68*x**2 + 370*x + 142. Let r be q(-62). Is r greater than 263?
True
Let b = -972.01 + 972.06. Suppose -q - 64 = 3*q. Is q > b?
False
Suppose a = f - 2, -55*a + 52*a - 5*f + 18 = 0. Is a greater than 8/15?
True
Suppose 1803 - 651 = 12*s. Is s greater than 100?
False
Suppose 76*h + 23202 = 80*h - 5*w, -5*h + 28989 = -4*w. Do 5795 and h have the same value?
False
Suppose 2*f - 7*f - 2*x - 117 = 0, -4*x = 2*f + 34. Let y be 75/f + 4/2. Are y and 11/30 equal?
False
Let h be 4*3 - (-71953)/(-5586). Which is smaller: h or -2?
-2
Let n = 0 - 0. Let l(r) = -r**2 + 4*r + 1. Let d be l(n). Is 2 at least d?
True
Suppose 4*x = o - 1524, 5*x + 932 = 2*o - 976. Let q = 1174/3 + x. Let r = -2 + 14. Which is bigger: r or q?
r
Let v be (-27)/4*(-5244)/69. Let g = v - 342. Is 171 greater than or equal to g?
True
Let a(o) = o**3 - 30*o**2 - 14*o - 88. Let i be a(30). Let v be 4*1*68199/i. Do -536 and v have different values?
True
Let l = 16026/5 + -255759/80. Let v = 165/16 - l. Is v at least 3?
False
Suppose 48 = 7*t + 20. Suppose -n + 5 + 8 = t*i, -5*i = -5. Which is smaller: n or 46/5?
n
Suppose 0 = -3*g + 385 + 2. Suppose g = 6*i - 171. Which is smaller: 53 or i?
i
Let t = 2/289 - 371/11849. Let u(z) = z**2 - 3*z - 126. Let m be u(13). Suppose 5*r + 3 = -m*q - 2, 2*q = -r - 1. Which is greater: t or q?
q
Suppose -4*s + 8 = -2*t, 29 = 4*t + s - 0*s. Let k be (2/4)/(3/t). Let v be (-7)/154*((-23)/5 + 5). Are k and v non-equal?
True
Let i = -0.3041 - -0.3041. Is i < 453?
True
Suppose 2*f + 88 = -15*f - 27*f. Which is bigger: -81/110 or f?
-81/110
Let j(z) = z**3 + 3*z**2 - 201*z - 9. Let c be j(-18). Which is smaller: -1252 or c?
-1252
Let t = -626 - -591. Let s(f) = -17*f - 2. Let c be s(2). Let y = c - t. Is -15/8 at most as big as y?
True
Let o = 5117.6 + -5117. Let t = -0.1 - 0.4. Let n = 0.7 + t. Is n < o?
True
Let f(v) = 4*v**2 + 51*v + 160. Let j be f(-7). Is -1/87 less than j?
False
Let a = -3.8711 + -0.4289. Is a < -2/5?
True
Suppose 273 = -9*i + 12*i. Let t = 91 - i. Which is bigger: 2/13 or t?
2/13
Suppose -9*z + 18*z - 7*z - 11794 = 0. Does z = 5895?
False
Let l = -19419 - -30499. Let n = l + -2980524/269. Are -1 and n nonequal?
True
Suppose -32 = -4*z - 88. Suppose 0 = -2*g + 2*c + 4, 0*g = -2*g - 5*c - 24. Let a be (-75)/g*4/(-12). Is z smaller than a?
True
Let b be (-10)/15 + (-61138)/(-6). Suppose -2*a + 4*g + 2021 = -a, -b = -5*a - g. Let w be (4/(-6))/((-14)/a). Does w = 97?
True
Let r = 1047 - 683. Let p be ((-2)/(-12))/(7/r). Which is bigger: p or 8?
p
Suppose -4*a + 3 + 13 = 0. Let z = -701 - -890. Suppose -22*i + z = -i. Is a < i?
True
Let g = 3711 - 3710. Are g and 1/6390 nonequal?
True
Let s = -0.0759 - 1.5791. Let n = s + -0.045. Let v = -4 - -5. Which is smaller: n or v?
n
Suppose 3*j - 31 = 5*j - 33*j. Which is smaller: 3/10607 or j?
3/10607
Let n = 96 + -85. Suppose 8*i - 2*q = n*i - 14, -16 = -4*i - 2*q. Suppose i*x = -3*k + 5, 5*k - 3*k - 5 = -3*x. Is 13/9 > x?
True
Let t = -0.96 - -1. Let b = -842 - -16841/20. Which is smaller: t or b?
t
Let b = 0 + 0.4. Let u = -0.45 + b. Suppose 2 = 4*x - 2*t, t = x + 2*x - 4. Which is smaller: x or u?
u
Let p be (-1 + -1)/(6/(-27)). Let u be ((-792)/84)/(78 - 79). Which is greater: p or u?
u
Let i = 683.232 + -724.2. Let y = i - 0.032. Let s = 40 + y. Which is bigger: 0.6 or s?
0.6
Let m be 8*1*(-1328)/32 + 2*3. Which is greater: -5 or m?
-5
Suppose 6*m = -329 - 187. Let a = -185 - -102. Which is bigger: a or m?
a
Let p = 1.58 - -0.32. Let r = p - -0.9. Let x = 3.2 - r. Is 1/4 less than x?
True
Suppose -2*c = -3*i + 53, 4*i - 5*c = -0*i + 73. Suppose 22 = 5*b + i. Let z(f) = -2*f**3 + 2*f - 1. Let j be z(b). Which is bigger: 5/11 or j?
5/11
Let f(o) be the third derivative of -12*o**2 + 0*o + 0 + 1/12*o**4 - 5/3*o**3. Let s be f(6). Is 5 at most as big as s?
False
Let m be -4 - (6/27 - 11317242/3026295). Let t = -2/11595 + m. Which is smaller: t or 0.1?
t
Let i = -28 + -71. Let c = i - -193. Let v = c - 95. Which is smaller: 26 or v?
v
Let w be (-4)/18 + 7460/(-45). Suppose 0 = -2*g - 3*n - 315, 3 + 2 = n. Which is smaller: w or g?
w
Let v = 14526 + -14508. Which is bigger: v or 10?
v
Let x be 283/(-6) + ((-590)/60 - -10). Let h be (x - 21)*(3/2)/3. Is h < -33?
True
Suppose -f = -6*f + 2*l + 58, 3*l - 8 = -2*f. Suppose 0 = 5*m - f, 5*i - m - 43 = 0. Are 11 and i unequal?
True
Let t = 13/14934 - -30974771/4978. Let v = t - 6142. Let x = v + -4811/60. Is x smaller than 0?
False
Suppose 10*n + 671 = -409. Are -107 and n unequal?
True
Let j = -12.8 - -13. Let d = -10/103 + 1003/9270. Let w = d + 59/90. Which is smaller: w or j?
j
Let n be (1 + 1 - -7) + -7. Suppose -5*h - n*h = -h. Which is smaller: h or -16?
-16
Let g be (-2)/13 - -16*(-7)/(-728). Which is smaller: g or -2/19649?
-2/19649
Suppose 5*u + v = 77 + 103, u - 12 = -5*v. Suppose -3*x - z = -19, -4*x + 0*x + u = -z. Suppose 0 = 5*n - 15, -n + 5*n = 2*o - 8. Is o not equal to x?
True
Let t(s) = s**2 + 20*s - 2. Let h be t(-20). Let a = -10 + h. Let b(n) = -3*n - 1. Let x be b(4). Is x greater than a?
False
Let j(m) = -754*m**2 + 12*m + 9. Let r be j(-12). Let h = r - -8371179/77. Let t = h - 38/7. Is -4 <= t?
True
Suppose -4*a = 2*q - 68, -11*q + 305 = -6*q - 5*a. Suppose 2*h + 5*s - 3 = 0, h - 2 - 4 = -4*s. Which is smaller: h or q?
h
Let h = 403 - -126. Which is smaller: 526 or h?
526
Let a be -5 - 54/(-12) - (-118635)/66. Are a and -2/13 unequal?
True
Let p = 350 - 194. Let n be p/154 + (-6)/21. Suppose -4*x + 12 = -t, -4*t + 8 = -x + 11. Is n <= t?
False
Let h(m) = 5*m - 13. Let a be h(14). Let v = -75 + a. Is -16 at most v?
False
Let a(v) = -v**2 + 34*v - 88. Let r be a(31). Suppose -4*z + 24 = -x + 2*x, r*x = 2*z - 34. Which is smaller: z or 102/13?
z
Suppose -w = 5*s + 1 - 12, -w + 15 = 3*s. Suppose 22*i = w*i + 2. Suppose 8*g + i*g - 50 = 0. Which is smaller: 35/6 or g?
g
Let y be ((-1)/3 + 1)/(14/147). Let q(j) = -j**2 + 4*j - 10. Let t be q(y). Which is bigger: t or -34?
t
Suppose -2*r + l - l = l, -3*l = 0. Is -1337 < r?
True
Let a be -3*(5 - (-1605)/81). Let t = 9335/126 + a. Which is smaller: 0 or t?
t
Let i = 34 - 1057/31. Suppose 2*x - 9 = -n, 3*x + 4 - 23 = -2*n. Suppose n*c = -20*c. Which is smaller: c or i?
i
Let w be 6/(((-312)/481)/(-4)). Which is smaller: w or 15?
15
Let x(i) = i**2 - 7*i + 14. Let f be x(4). Suppose 0 = 5*u + 5*d + 275, 0 = 2*u - 3*u - f*d - 54. Which is smaller: u or -55?
u
Let n = -1/25 - 364/275. Let s = -73 - -71. Is s at most as big as n?
True
Let k = -12086 - -6906. Let a be k/225 + 4 - (-2)/15. Which is smaller: -20 or a?
-20
Suppose 0 = -12*c + 525 + 663. Let w = c - 94. Let y be -3 - (3 - (6 - w)). Which is greater: -2/3 or y?
-2/3
Suppose 19*q - 26*q = 21. Let y be (-134)/(-32) + -5 + q/(-8). Do y and 2 have the same value?
False
Suppose 20*i - 2 = -22. Let b be 2 - 6 - 5/i. Which is greater: b or 16/11?
16/11
Let a = -2006 + 2106. Do 104 and a have the same value?
False
Let h be (1/(-3))/(9/(-27)). Suppose 19 = 4*w - h. Suppose 0 = w*v + 15 -