be (6/9)/((-9)/(-3165)*10). Which is bigger: 23 or o?
o
Let r = 8/219 + -27/73. Are r and -1/36 nonequal?
True
Suppose 5*b - 5*n = -110, -3*n - 64 = 3*b - 16. Let p = 44 - 64. Let z = b - p. Is 2 equal to z?
False
Let d be (-3300)/156 + 4/26. Is d < -21?
False
Let y = -944 + 951. Let d(m) = m**3 - 5*m**2 - 13*m - 10. Let l(f) = f**3 - 5*f**2 - 13*f - 11. Let v(p) = 5*d(p) - 4*l(p). Let i be v(y). Is i smaller than 1?
False
Let f = 0.946 - 0.87. Let a = -0.004 - f. Is a >= -5?
True
Let s(k) = -5*k - 6. Let v be s(-4). Suppose 0 = -q - 4*m + v, 4*q - 4*m = m + 14. Suppose -27*n = -24*n + q. Which is greater: n or -7/8?
-7/8
Suppose -2*u = -9 + 25. Which is smaller: -3 or u?
u
Suppose 10 = -2*m - 0*m. Is m > -2?
False
Suppose 6*l + 22 = -m + l, m - 3*l = 2. Suppose 6*w + 12 = -0*w. Let r(b) = 8*b + 7. Let g be r(w). Are g and m nonequal?
True
Let l(h) = h**3 - 9*h**2 + 11*h - 21. Let w be l(6). Is -64 < w?
True
Let o(p) = p**3 - 10*p**2 - 9*p - 14. Suppose -5*h = -4*h - 11. Let k be o(h). Let v = k - 23/3. Are v and 3 nonequal?
True
Let u = 3378853543/531910 - 165/53191. Let l = u - 6347. Let d = l + -24/5. Which is smaller: d or -0.1?
-0.1
Let o(k) = 10*k**2 - 6*k + 21. Let s be o(4). Is 156 at most as big as s?
True
Let s = -53 + 66. Let q be (88/s)/(-2) - (2 + -4). Is -2 < q?
True
Let o = -73 + 71. Let n = -3/92 + -439/644. Which is smaller: o or n?
o
Suppose -1020 = 469*g - 481*g. Is g not equal to 257/3?
True
Suppose -66*l + 59*l = 2023. Is -0.1 at most as big as l?
False
Suppose 223 = -78*m + 2563. Which is smaller: 10 or m?
10
Let j = 2 - 1.7. Is 59 at least as big as j?
True
Let q be 381/(-12) + (-81)/(-108). Let f(a) = 17*a + 3. Let o be f(-2). Do q and o have different values?
False
Let u = -2886.914 - -2892. Let h = -0.086 + u. Is h <= 1/6?
False
Suppose 61*p - 77 = -45*p + 29. Let r(n) = n**2 - 8*n - 1. Let q be r(8). Which is greater: q or p?
p
Let r = -0.13 - -1.73. Let h = r - 2.4. Let x = 0.4 + h. Which is bigger: x or -2?
x
Let s = -12 + 32. Let a = s - 13. Let u be (-2)/(-1) - 15/a. Is u less than or equal to 0?
True
Suppose 7*b = 9*b + 4*u, 0 = -4*b - 4*u. Let w be ((-4)/6)/(48/27). Is b != w?
True
Let l = -104 - -112. Suppose -2 = -6*x - l. Which is bigger: x or 3/101?
3/101
Let x = 7.03 - 13.74. Is 1 at most x?
False
Let h be ((-1430)/(-168))/(34/595). Let u = h + -149. Is -1 < u?
True
Let p(r) be the third derivative of r**5/60 - r**4/12 - r**3/6 + r**2. Let u be p(3). Suppose -2*f - 2 = -q, -u*f = 3*q - f + 1. Is q at least -2?
True
Let b be (-320)/1200*(-5)/2. Which is bigger: b or 528?
528
Suppose 72*l - 77*l = -30. Let b be (l/4)/(6/(-60)) + -3. Do b and -12 have different values?
True
Let x = 6.9 + -7.9. Which is smaller: x or -54?
-54
Let z = 2881 - 331317/115. Is z less than 0?
True
Let j = 11.027 - 0.027. Let r = 10 + j. Which is bigger: 2 or r?
r
Suppose -5*a + 2 + 8 = 0. Let y be (-6)/(-2) + -1 + a. Suppose -4*w + y = -0*w. Is 9/4 at least w?
True
Let g(j) = -7 + 0 - 5 + 24 + 3*j. Suppose r - 1 = -6. Let z be g(r). Do z and -3 have the same value?
True
Let k = 1056 - 1037. Let v = 34 - 15. Is v > k?
False
Let i be (-12)/(-8)*(-6)/(-9) - 2. Let n be i + 3 + -2 - (4 + -7). Which is smaller: n or 0?
0
Let d be ((-2)/1940)/(5/(-20)). Let h be ((-19978)/105)/(8148/(-9)). Let u = h + d. Which is smaller: u or -1?
-1
Let g = -0.01 - 9.49. Let y = g + 9.48. Which is bigger: y or -3?
y
Suppose 0 = -0*n + 10*n - 20. Suppose 18 = -4*r + 2*k + n, 0 = k + 2. Do r and 4 have different values?
True
Let q be (14/4)/((486/60)/(-9)). Which is smaller: q or -4?
-4
Let k = -295.8 - -76.8. Which is greater: 0 or k?
0
Suppose 0 = -3*v + 16*s - 12*s - 13, -v + 13 = 3*s. Is v > 5/16?
True
Let o = 1624 + -42227/26. Suppose -8*h = -4*h - 5*s + 29, h - 14 = -3*s. Do h and o have the same value?
False
Let b = 296 - 296. Which is bigger: b or -2/87?
b
Let p = -15581/4 - -206761/52. Suppose -2*f = 2*d + 158, 5*f - 22*d + 23*d = -403. Let k = p + f. Which is smaller: 1 or k?
k
Let f = -2.74 + -52.26. Which is greater: f or 0.2?
0.2
Let g = 98 + -35. Is g at least as big as 40?
True
Suppose 21*l = 170 - 821. Is -31 greater than or equal to l?
True
Let i(v) = -4*v - 1. Let b be i(-1). Suppose -181 - 94 = -5*y. Suppose y = -8*u + b*u. Is u greater than -9?
False
Suppose 0 = -8*c + 4*c + 72. Suppose -15 = -13*q + c*q. Is q at least as big as 0?
False
Let z be 2/16*(-90874)/105. Let q = 421/4 + z. Let i = q + 269/90. Which is smaller: 1 or i?
i
Let b(h) = 2*h + h**3 + 7*h**2 - 9 + 15 + 0. Let k be b(-6). Let z = 24 - k. Is -13/2 at most z?
True
Let h = -545 - -540.5. Is 0 at most as big as h?
False
Suppose 76 = 4*l - 188. Let k = 68 - l. Let u = -3 - 1. Is u bigger than k?
False
Let o be (-5067)/21*-4*1/(-3). Let r = o + 321. Which is smaller: r or 1/3?
r
Let j be (-1)/2*((-7)/1 + 3). Suppose -j*o + 0*o - 12 = 0. Is o less than or equal to -3?
True
Let k = 81 - 81.1. Let u = -0.7 - -0.1. Which is smaller: k or u?
u
Let n = 752 + -760. Is n greater than or equal to -87/10?
True
Let y = 12 + -8. Let v = 0 - 12. Let m = y + v. Which is greater: 0 or m?
0
Suppose 3*r + 3*u = 15, -2*r - u + 6 = -1. Let h be 2*(-1)/4*r. Let c = -5 - h. Do -3 and c have different values?
True
Let o(c) = 2*c**2 + 4*c - 5. Let k be o(2). Let w = k - 9. Suppose -w*j = 1 + 7. Is j at least -4?
True
Let x = 748592902/63 + -11882825. Let l = x + 398. Let q = l - -37/315. Is q at least as big as 0?
True
Suppose -v = -5*q + 24, -2*v - 17 = -5*q + 6. Is v greater than -6/49?
True
Let u(x) = -x**2 - 32*x + 6. Let r be u(-52). Which is smaller: -1035 or r?
-1035
Let d(b) = 5*b**2 + 5 + 15*b**3 - 31*b**3 + 9*b + 17*b**3. Let m be d(-3). Is -1 less than m?
False
Suppose 3*t + 2*m - 3*m + 351 = 0, -4*m = -4*t - 460. Which is bigger: -117 or t?
-117
Suppose h - 2*i - 2 = -7, 0 = 2*i - 10. Let j(b) = -b - 9. Let v be j(-13). Which is smaller: v or h?
v
Suppose -c = -2*c + l + 6, 3*l = -2*c - 13. Let i be 6/(-14) + 8558/39732 + (-4)/(-24). Are i and c non-equal?
True
Let n = 61 - 61. Is -1.57 at most as big as n?
True
Let f = 0.1 - -0.045. Let o = f - -0.055. Is o greater than 22?
False
Let r = -41 - -48.1. Let x = r - 0.3. Let y = x + -7. Is y at least -1?
True
Let v = -19 + 11. Let d be 4/(-3)*12/v. Suppose d*n - i = 4, -8 = 4*n + i + i. Which is bigger: 1 or n?
1
Let d = 212 - 395/2. Is d greater than 15?
False
Let v be -2*4/8*-6. Suppose -5*q + 2 = -v*q. Is 2 > q?
True
Let z = -22.66 + 24.36. Is z < -54?
False
Let d(s) = -s**3 + 4*s**2 + 6*s + 17*s + 7 - 12*s. Let v be d(6). Which is greater: -2/57 or v?
v
Let r = -53 + 59. Suppose 64 - 58 = -r*p. Let g = -231 + 3001/13. Which is bigger: g or p?
g
Suppose 2*n = -2*n + 60. Suppose 0 = -z + 6*z + n. Let c be -15 - -16 - 4/1. Is c smaller than z?
False
Suppose -2*l + 0*l + y = 6, -2*l - y + 2 = 0. Let f = 3.7 - 5.42. Let p = 1.5 + f. Is l > p?
False
Let t = 1 + -2. Let q = t + 1.08. Let a = q + 0.12. Which is smaller: a or 2?
a
Suppose 5*v + 3*n - 34 = 0, 4*n + 13 = -6*v + 11*v. Let x = -7 - -11. Which is greater: x or v?
v
Let h = -11.13 - -11. Let s = -673 + 674. Which is greater: h or s?
s
Let h be 6*-1*(-3)/(-6). Let q(a) = -a**2 + 9*a - 5. Let l be q(8). Suppose 3*f + l = -0. Is h at most f?
True
Let k = 1597.1 + -16.1. Is k equal to 0?
False
Let b = 0.4 - 0.3. Let f = -30.1 - 41.1. Let g = -71 - f. Which is greater: g or b?
g
Let b(a) = -a**3 + a + 3. Let q be b(0). Let i be (-18)/4*5/(-6). Which is bigger: q or i?
i
Let d = -30.027 + 30. Let w = d - 2.973. Are -0.09 and w unequal?
True
Suppose 0*p - p + 3*u - 5 = 0, 5*p - u = 17. Suppose 1 = -c + p. Let w = c - 8. Is -3 greater than or equal to w?
True
Let g be (-91)/(-65) - 2108/1420. Is -1 not equal to g?
True
Suppose -5*b = 3*q + 126, -7 + 19 = 4*q. Let k = b + 95. Is k equal to 68?
True
Let z be 1/4 - (-123)/164. Is z at least as big as 3/394?
True
Let j = 2610 - 2990. Is j greater than -378?
False
Suppose -21*p = -20*p - 4. Suppose 1 = -5*a - p*y, -5*a - 2*y + 0*y = -7. Let u be 2/((-28)/12 + a). Which is smaller: 12/5 or u?
12/5
Let p = -2 + 4. Suppose -p*t = -t. Let x be 0/(1 + t) - 0. Is 0 bigger than x?
False
Suppose 17*d + 245 + 10 = 0. Which is smaller: d or -396/25?
-396/25
Let w(t) = 6*t - 12. Let l be (-2)/(2/(2 - 4)). Let i be w(l). Let x = 2/75 + -89/525. Are x 