/4)/y). Is 0 smaller than o?
False
Let w(y) = 575*y**3 - 2*y**2 + 2*y + 3. Let g be w(-1). Let r be -115*(4 + 0 + -2 - -3). Is r smaller than g?
False
Let l be 5 - 12/(-16)*-4. Let h be (5 - 4 - -3)/l + 103. Let j be 3 + (-32)/10 + 141/h. Which is smaller: 0 or j?
0
Let b(l) = l**2 - 8*l + 3. Let t be b(7). Let y be -1*(-3 + 85/(-1))/(-2). Let i = -44 - y. Is t equal to i?
False
Suppose -15 = -3*a, 5*a - 182 = 2*g + 129. Which is smaller: g or -145?
-145
Let c = 285 + -280. Let q be c - ((19 - 2) + 3/(-3)). Is -162/13 less than or equal to q?
True
Let y = -0.187 + 0.187. Let x = 0.64 - 0.84. Which is greater: y or x?
y
Let o = 2128 + -2179. Let g = -53 - -145. Let p = 40 - g. Is o greater than or equal to p?
True
Let c be 377/390 + (-16 - 2512/(-160)). Suppose 0 = -0*i - 4*i - 216. Let m be (i - 2/(-1)) + 2. Which is greater: m or c?
c
Let m = 454 - 737. Let l = 2549/9 + m. Which is bigger: -0.22 or l?
l
Let p = 660 + -659. Which is greater: p or 1/2354?
p
Suppose d = 4*i + 102, -3*d - 2648 = -5*i - 2800. Let h = 13 - 7. Let w(s) = s**3 - 6*s**2 - 3*s - 4. Let a be w(h). Is a at most i?
True
Let q = 157 - 134. Let y = 29 - q. Is -77 at most as big as y?
True
Let c be 2 - (-66)/(-27) - (2648/(-18))/(-2). Is c at most -70?
True
Suppose -n = -7*n - 36. Let k = -92 - -37. Let g be k/(-90) - n/27. Are 0 and g equal?
False
Let b(t) = t + 4. Let h = 0 + -6. Let x be b(h). Let k be -5 + (-18)/132*418/(-33). Is k bigger than x?
False
Suppose 5*x + 5*b - 150 = 0, 5*x - b + 23 = 143. Let t(z) = 2*z**2 + 38*z + 61. Let q be t(-18). Are x and q nonequal?
False
Let j be 200/30*((-398)/332 + 1). Let m = 153299/249 + j. Let s = 623 - m. Is 8 > s?
False
Suppose -11*j + 7926 = 5*f - 15*j, 2*f + 4*j - 3148 = 0. Which is smaller: 1581 or f?
1581
Let k be (-4)/12*(3 + 75). Let f = k + 28. Let u be 6/(-9) - 87/(-63). Is f not equal to u?
True
Let f(r) = r**2 - 7*r. Let m be f(7). Suppose 4*t + 5*t - 72 = 0. Let s be ((-18)/4)/(4/t). Which is smaller: s or m?
s
Let d(n) = -3*n + 62. Let z be d(0). Let w = z - 67. Let q = 4 + w. Which is smaller: -4/21 or q?
q
Let d = 1617 - 1154. Which is smaller: 469 or d?
d
Let b be 4 + 2847/(-728) + 18/(-48). Which is smaller: b or 1.1616?
b
Let t be 4/6 + 2976/(-144). Suppose -2*k - 62 = -6. Is t less than k?
False
Suppose -71 = 5*y - 86. Suppose -2*d = 0, 3*d + 8 = 7*i - y*i. Let j be 1/4 - (-121)/220. Do j and i have the same value?
False
Let h(o) = -6*o**2 - 4 + 3*o**2 + 6*o + o. Let k be h(4). Let w be 10 + 0/(-3) - (11 - -5 - -19). Which is greater: k or w?
k
Let w be ((-448)/(-20) + (-2)/5)*-1. Let y = 25 + w. Let r be (-6)/(-28)*(-234)/(-27) - -1. Which is bigger: r or y?
y
Let g = -74 + 78. Suppose 0 = -4*h - 4*f + 9*f - 13, g*h + 37 = -3*f. Is -1 equal to h?
False
Let w be (4 + -11)/((-6)/(-336)). Are w and -382 equal?
False
Let b = 21693 + -21665. Which is greater: 25 or b?
b
Let o = -29.46466 - -29.52. Which is bigger: 2/5 or o?
2/5
Let f = 101 + 20. Let q = f - 101. Suppose -m - q = -5*l + 4*m, 3*m + 9 = 0. Is -1/69 != l?
True
Suppose -16*q = -5*q + 33. Let c be 11/12 + (0 - q)/(-12). Is 0.046 greater than c?
False
Let g be (-3)/(-8) + 1684/32. Suppose 37 = m + 2*y - 3, 2*m - g = 5*y. Let o = m - 35. Which is bigger: o or 3/19?
3/19
Let f = 39 + 408. Do f and 440 have different values?
True
Let u be (2*(-21)/(-28))/(9/(-14952)). Are -2494 and u equal?
False
Let j = -276918451/2308 - -119982. Are -1 and j non-equal?
True
Let r(j) = -3*j + 55. Let q be r(21). Let f(x) = -4*x**3 - 31*x**2 + 7*x - 9. Let y be f(q). Let i be (0 - -1)*y/1*-21. Is 24 >= i?
True
Let x(o) = -141*o**2 + 24. Let z be x(4). Let a be 16/(-40) - z/(-20). Is -110 bigger than a?
True
Let w be (2/(-4)*(2 + -4))/(-1). Let h be -1*(0 - -5) + (-28 - w). Is -32 != h?
False
Let y be 6/24*8/(-150). Let z = 53/20850 + y. Let x = z - 397/14734. Which is smaller: x or 0?
x
Suppose 0 = 337*u - 336*u - 310. Let f be 31/u + (-51)/310. Is f at most -2/9?
False
Let s = -150 - -228. Suppose l + s = 83. Suppose l*q + m = -4 + 5, -5*m = -5. Is q greater than or equal to -3/10?
True
Let p be -10*((-34)/8)/17. Is p smaller than -28?
False
Let n = -13 + 25. Let f = 41522 - 41519. Which is bigger: n or f?
n
Let k = -3.3595 - -84.3595. Which is smaller: k or -21/22?
-21/22
Let p = -7.044 + 6.544. Let s be -1 - 8 - (0 - 2). Are p and s equal?
False
Let h = 356 - 354.21. Let i = h - 1.69. Is 10/9 smaller than i?
False
Let l(u) be the third derivative of -u**6/120 - u**5/30 + u**4/12 + 7*u**3/6 + 9*u**2. Let f be l(3). Let n = -33 - f. Which is smaller: -2/5 or n?
n
Suppose -8*i + 13*i - 110 = 0. Suppose i = 5*o + 72. Let r be (3/42)/(o/(-40)). Is r smaller than -1?
False
Let y = 503 - 504. Let h be 6*(y - (-5 + 6)). Suppose -26 = 2*j - 6. Which is greater: h or j?
j
Suppose -k = -2*z, -919 = -4*k + z - 912. Let f be (-2)/(6/45) + 1. Let d be 4/f - 106/(-126). Is k <= d?
False
Suppose -3*t - 735 = -24*t. Let v be (4/(-10))/(t/(-8540)). Which is bigger: v or 98?
98
Suppose -2*g - 3*z = -14, 4*g - 6*z - 6 = -z. Let t(x) = x**2 - 27. Let d be t(-6). Suppose -3*o = -d*o + 6. Which is smaller: o or g?
o
Let o = -36477 + 36529. Suppose 3*n - n = 5*u + 8, -u = -5*n - 3. Let l be ((-12)/u)/3 - -49. Is l equal to o?
False
Suppose 1039232 = 1308*b - 1276*b. Which is smaller: b or 32475?
32475
Let s be (-9 - -3)/(1 - (-4 - -3)). Let p be (-12)/s + (-16 - 60). Which is smaller: p or -71?
p
Suppose -g - 4*d = -1, -3*d = -3*g - 0*g + 48. Let n(z) = -19*z**2 + 23*z**2 + 4*z - g - 3*z**2. Let t be n(-5). Which is greater: -96/11 or t?
t
Let b(q) = 210*q + 1 - 208*q + q**2 - 4. Let u be b(-3). Suppose -i - a - 15 = 0, -5*i + u*a = -5*a + 75. Which is bigger: i or -14?
-14
Let h = -30416/7 + 4338. Suppose -k - 426 = 5*i + 94, 0 = 5*k + 5*i + 2680. Let y be (-159)/23 + k/(-138) + -4. Do h and y have different values?
True
Let d(g) = g**2 + 12*g - 31. Let y = -8 + 35. Let i(r) = r**2 - 28*r + 14. Let l be i(y). Let n be d(l). Is n less than -15?
True
Let m = -591 + 357.5. Let s = -238 - m. Which is smaller: s or 3?
s
Let c be 92/(-654)*198/120 + (-7)/(-35). Is c <= 1?
True
Let t be (-50)/(-6)*(-3 - 0). Let w be -32*t/(-10) - 0. Suppose 2*n + 77 = b - 84, -5*n - b - 392 = 0. Is n less than w?
False
Let u be -40*(-5)/(-35) - 2/7. Let s be 5*u/60 + -8. Which is bigger: -8 or s?
-8
Let h(x) = -167*x**2 - 98*x + 15. Let m be h(-3). Which is smaller: m or -1192?
m
Let i = 6 - 3. Let l = -3.04 + i. Let j = 0.9184 - -0.0816. Do l and j have different values?
True
Let v = 3/490 - -5823/9310. Suppose -3*r = -r, 2*o - 8 = 3*r. Let d be -1 + -1 + 6/(o - 1). Is v less than d?
False
Let m = 219346/85 + -2580. Which is smaller: m or 0?
0
Let z(p) = p**3 - 5*p**2 - 16*p + 12. Let r(m) = -13*m + 46. Let h be r(3). Let y be z(h). Are -26/15 and y equal?
False
Let w be 3/(-18) - 38/(-12). Let r = 484 + -481. Suppose -6*l - w + r = 0. Is l equal to -2/5?
False
Let v be 429720/378000 + 20/(-18). Which is smaller: v or 1?
v
Let f = 724.5 - 772. Let c = -47.3 - f. Which is smaller: 24 or c?
c
Let n = -0.2 + 0.36. Suppose 26*t = 71*t - 180. Is n greater than or equal to t?
False
Let k = 209297563/3817 - 54833. Is 0 not equal to k?
True
Let i be 292*(-5)/(-490) - (-3 - -15). Which is bigger: -10 or i?
i
Let q(x) = x**3 + 13*x**2 - 7*x - 49. Let t be q(-12). Is 184 greater than or equal to t?
True
Let v = -25.3797 - 0.0003. Let r = v - -25. Let d = 0.62 - r. Which is smaller: 13 or d?
d
Let b(c) = c**3 - 8*c**2 + 2*c - 6. Let f be b(6). Let v = 6059.1 - 6059. Do v and f have the same value?
False
Let z be (48/(-32) + -4 + 2)*2. Which is smaller: z or -137/17?
-137/17
Let d(o) = o**2 + 5*o - 3. Let r(z) = -z**3 - 4*z**2 - z. Let h be r(-2). Let f be d(h). Let c = -0.0136 + -2.4864. Which is greater: f or c?
f
Let r = 16146 - 16316. Which is bigger: r or -152?
-152
Let r(j) = 872*j + 347. Let d be r(0). Do 345 and d have different values?
True
Let z(v) = -3*v**3 - 4*v**2 + 13*v + 4. Let i be z(4). Let x be (-2 + 200 + 1)/(-1). Which is bigger: x or i?
x
Let k be 3 - ((-1)/(-175))/((-14)/(-7385)). Let i = 29 + -24. Suppose -4*d + 5 = 3*j, -5*j + 5 = i*d - 5. Is d > k?
False
Let z(m) = 19*m**2 - 22*m + 4*m**3 + 52 - m**2 + 23*m - 3*m**3 + 9. Let h be z(-18). Suppose 4*y + 2*i - 197 = -3*i, -106 = -2*y - 4*i. Are h and 