e (-16)/(-3)*(18 - 15). Let f be (g/92)/(1 + -3 + 0). Let i(q) = -q - 3. Let j be i(-2). Which is greater: f or j?
f
Let u = -0.1 + 1.1. Let x = 652749073/348 + -1875717. Let b = x - -2/87. Which is smaller: b or u?
b
Let d be (-10)/(-2) - 3/3. Suppose 304*x - 28 = 311*x. Let h be x - ((-16)/(-4) - d). Are -3 and h unequal?
True
Suppose 8*z - 25 = -41. Let p(w) = w**3 + 4*w**2 - 7*w + 8. Let l be p(-6). Let g be (-4)/z + l/5. Which is smaller: -3 or g?
-3
Let f be ((-12)/(-27))/2*(-7 + 37). Let j = -14 - -22. Which is smaller: j or f?
f
Let k(c) = -c + 11. Let a(q) = -3*q + 32. Let l(p) = 6*a(p) - 17*k(p). Let x be l(5). Let b be 0/3 - x - -2. Does 1 = b?
False
Suppose 18 = -2*b - b. Let y = 9 + b. Suppose 2*w - h = y*h - 22, -3*h = -3*w - 27. Is w <= -7?
True
Let s = 41 + -48.5. Let m = s + 8.5. Is m at least as big as 2/9?
True
Let a be 24/(1*(2 - 1)). Let v = -15 + a. Which is smaller: 10 or v?
v
Suppose -2*o = 2*o + 8. Let v be (-3 - -5)/(o/(-18)). Suppose 10*h - 8*h + 3*y - 31 = 0, h - 21 = 4*y. Which is smaller: v or h?
h
Let v be 35/(-300)*1348/(-56). Let m = 17/6 - v. Is m less than 0?
False
Let w be 25/55*(-3)/(-5). Let f(b) = -b**3 + 4*b**2 + 3*b + 3. Let v be f(5). Let s = v - -8. Does s = w?
False
Let b(o) = -o**3 + 5*o + 1. Suppose 0*j - 3*j - 9 = 0. Let m be b(j). Let d = -22 + m. Is -10 greater than or equal to d?
False
Let z = -64 - -178. Which is smaller: z or 111?
111
Let w = -45 + 71. Which is greater: 80/3 or w?
80/3
Suppose -a + 254 = 3*u, 3*a + 68 = 6*u - 5*u. Which is bigger: 84 or u?
84
Let l = 41.6 + -42. Is l less than -0.28?
True
Let l be (-388)/(-16)*(-24)/66 + 7. Which is smaller: l or 2/7?
l
Suppose -12 = -o - 2*o. Suppose d = c - 1, 1 = o*c - 2*d - 1. Which is smaller: 8.8 or c?
c
Let j = 1/121 + -123/242. Which is bigger: -1.2 or j?
j
Let n = -1432 + 1074. Which is greater: n or -360?
n
Let z = -6 - 4. Let j = -10 - z. Let a = -13 + 13. Is a bigger than j?
False
Let b(f) = -f**3 + f + 6. Let a be b(0). Suppose -a*k + 2 = -4*k. Which is smaller: -2/5 or k?
-2/5
Suppose 5*h = 4*h - 14. Let j(n) = n**3 + 15*n**2 + 13*n - 4. Let b be j(h). Suppose 2*w - 3*w - z = b, -3*w - 35 = 4*z. Which is smaller: -19/3 or w?
-19/3
Let c be (3/12)/((-1)/(-12)). Suppose 3*s = -c*v, -2*s - 3*s + v - 30 = 0. Which is bigger: s or 2/11?
2/11
Suppose y = s - 12, y - 30 = -3*s + 3*y. Let p = 3563/4 - 885. Which is greater: s or p?
s
Suppose -3*c - 4*j - 398 = -5*c, -j = 4*c - 823. Is c at least 205?
True
Suppose -2*b = b + 5*b. Let k be b + 295/(-35) + (-12)/(-28). Which is greater: -39/5 or k?
-39/5
Let c = 633/11 + -57. Let t = -1 - 1. Let i be ((1 - -3) + t)/2. Which is smaller: c or i?
c
Let m = 206/555 - 8/15. Is m less than or equal to -1/2?
False
Let h = -63 + 41. Which is greater: -20 or h?
-20
Let z be (0 + -1)/((-1)/3). Suppose 0 = -w + 3 - z. Is w < -6?
False
Let w = -210762/2095 - -503/5. Which is smaller: 1 or w?
w
Let f(g) = -4*g**3 + 39*g**2 - 2*g + 20. Let z be f(11). Which is greater: z or -606?
-606
Let m be -35*(-27)/15*12/36. Is 182/9 equal to m?
False
Suppose -7*r - 20*r - 81 = 0. Let k be (-3)/(-12) - (-17)/(-4). Is k equal to r?
False
Let o = -0.21 - 3.19. Let c = 1.61 + 1.39. Let y = o + c. Is 1/4 less than y?
False
Let i = -121/3 + 40. Let k = -36 + 17. Let t = -16 - k. Is t >= i?
True
Let q = 569811 + -13112758/23. Let j = q + 309. Is 0 bigger than j?
False
Suppose -2*a + 3 = 9. Let z = a - -9. Let w be (-2 + 5)*2/z. Which is smaller: -1 or w?
-1
Suppose 0 = -2*i - 4*g - 18, 2*i - 3*g = -2*g - 33. Let o be (2/6)/(5/i). Let y be 2/12*(-6 + 2). Is y at least as big as o?
True
Let m = 1/118 + -359/590. Let r = -11 + 14. Suppose -2*k = 2*h - r*k + 1, -12 = 4*k. Which is smaller: m or h?
h
Let k = -2.57 + 3.57. Let z(y) = y**3 + 5*y**2 + 4*y. Let p be z(-4). Suppose 5*d - 2*d = p. Is k equal to d?
False
Suppose r - 10 + 5 = 0. Suppose r*h - 175 = 3*d + 2*d, -2*d = 3*h + 85. Is -37 smaller than d?
False
Suppose -210 - 206 = 4*b. Let z be -9 + -102 + -5 + 9 - -4. Is b bigger than z?
False
Let b(c) = c**3 - 26*c**2 - 27*c - 3. Let h(w) = 27*w**2 + 3*w + 3. Let s be h(-1). Let d be b(s). Suppose 4*o - 3 = 1. Are d and o unequal?
True
Let b = 1035 - 7249/7. Is b smaller than 3?
True
Suppose -5 = 5*b + 4*f, -3*b + 55*f = 53*f + 3. Let d be (4/18 - 0)/2. Is d at most b?
False
Let u(r) = -r - 1. Let z be u(-5). Suppose j + a - 4 = 0, -7*j = -2*j + 2*a - 8. Let n be (j - 0/(-3))*-1. Which is smaller: z or n?
n
Let x = 30 + -38. Let w be 2/((x/(-60))/(-1)). Let y be (-128)/9 + 4/18. Which is bigger: w or y?
y
Let j be 2/4*(4 + 0)*4. Which is smaller: j or 0?
0
Let a be 3828/27 + (1 - 1). Let g = a - 142. Is -3 greater than or equal to g?
False
Let b = -0.3 - -0.6. Let w = -0.2 - b. Let s = -24 - -49/2. Does w = s?
False
Suppose -15 = 2*a + 15. Let c(z) = z**2 + 14*z - 15. Let n be c(a). Let t = 0 + n. Is 0 less than or equal to t?
True
Suppose -f = 3*f. Let z = -1559 + 4705. Let o be (-4)/5 - z/(-4095). Is f equal to o?
False
Let k = 1536 + -1534. Which is smaller: 0.12 or k?
0.12
Let x = 0.2446 + -0.1446. Which is smaller: x or 264?
x
Let h = 284 - 284.2. Is h <= -4.5?
False
Suppose 5*m - 22 = f + 54, 5*m - 280 = 5*f. Let n = 52 + f. Is n > 9/10?
True
Suppose -5*r + 89 = 34. Suppose 5 = f - 2*j + j, 0 = -4*f - 4*j + 12. Which is bigger: r or f?
r
Suppose 2*g - 5 = -3*g. Let m = -63 - -33. Let a be 24/(-36) - 32/m. Which is bigger: g or a?
g
Let o be 1 + (-1 + 4 - 2). Let m be 24/9 + o + 4 + -7. Are m and 1 unequal?
True
Let t(v) = v - 9. Let u = 31 - 24. Let b be t(u). Which is greater: -2/3 or b?
-2/3
Let n be (16/16)/(-1*2/100). Is n smaller than -3?
True
Suppose -5*i + 30 = -3*i + 5*b, 54 = 5*i + 2*b. Let v be 4/66*45/i. Is v < 1?
True
Let h = -11/89 + 5929/445. Are 14 and h unequal?
True
Let i be 138/9*(-1 + 4). Suppose 4*v + 5*x = 54, -4*v + 2*x - 3*x + i = 0. Is 12 smaller than v?
False
Let r = 0.361 - 0.031. Let v = -0.42 + r. Do v and -1 have different values?
True
Let q = -290 + 408. Let l = q + -141. Is l <= -23?
True
Let y(s) = s**3 + 16*s**2 + 12*s - 41. Let c be y(-15). Let p = -17.7 + 18. Are p and c equal?
False
Suppose -5*g + 3*z - 17 - 5 = 0, 16 = 2*g + 5*z. Suppose 8 = 8*l - 0*l. Which is bigger: g or l?
l
Let a be 10/(-6)*-1*(80 + 7). Is 145 < a?
False
Suppose 5*x = -5*h + 2*x + 14, 3*h + 5*x - 2 = 0. Suppose 3*p = h*p + 3*p. Which is smaller: p or -6/29?
-6/29
Let d = -221 + 329. Is d greater than 106?
True
Let j be ((0/(-3))/(-5 - -6))/(-3). Is -9/10 at least as big as j?
False
Let d be 78/21 - (3 + 0). Let z = -29/21 + d. Which is greater: z or -1?
z
Let p = 33 - 25. Let f be (-65)/(-20) - 2/p. Suppose -2*x + 84 = -4*b, -b + 2*x - 15 = f*x. Is -19 at most as big as b?
True
Let t(h) = -h**3 + 18*h**2 - 4*h - 7. Let n be t(17). Is n greater than 213?
True
Suppose 0*n = -5*r + 3*n + 35, -2*r = -2*n - 18. Let f = 0.17 - -0.23. Let t = f + -0.4. Is r smaller than t?
False
Let t be (-50)/60 - 290/(-300). Suppose 0*p - 4*p - h + 1 = 0, h + 3 = 0. Which is bigger: t or p?
p
Let x(w) = -83*w + 167. Let d be x(2). Is d bigger than 1/635?
True
Suppose -67*n + 64*n + 498 = 0. Is n at least 165?
True
Let x(q) = -326*q**3 + 8*q + 8. Let c be x(-1). Which is smaller: c or 327?
c
Let a(p) = 161*p**2 - p - 1. Let b be a(-1). Let v = 1331471/9 - 148102. Let l = v + b. Is -11 < l?
True
Suppose 4*d + 5 = q, 48*d - 49*d - 2*q + 1 = 0. Is d less than or equal to -1/10?
True
Suppose 22*f + 9867 = -11*f. Is -301 greater than f?
False
Let j = 68 - 74. Let m be (-52)/(-5) - j/10. Suppose 0*i + 3*i + 30 = 3*r, 0 = 4*r + 3*i - 54. Do m and r have the same value?
False
Let o = -35.4 - -35.33. Which is smaller: -24 or o?
-24
Let d = 15704/251655 - -2/2649. Which is smaller: d or 0?
0
Let a be ((-15)/6 + 4)/((-4)/8). Does -20/7 = a?
False
Suppose -4 = -7*s + 17. Let q = s - 0. Let g(o) = -o**3 + 3*o**2 + 4. Let l be g(q). Which is bigger: l or -2?
l
Let j be (0 + 4)*(-2)/(4 - 2). Which is bigger: j or -32?
j
Suppose -f + 33 = 32. Which is greater: f or -7/25?
f
Let v = -104.31 + 105. Let m = v + 0.31. Which is greater: -2/3 or m?
m
Let o(f) = f**3 + 5*f**2 - 9*f - 4. Let y be o(-6). Suppose 0 = -3*m - 4*c - 0*c + 19, y = 3*m - c. Let t be (8/m)/((-4)/10). Is -4 at least as big as t?
True
Suppose -o = 5, o + 5934 - 2033 = -4*k. 