/11 + -13269. Let a = -0.02 + 3.02. Which is smaller: a or l?
l
Let w be 15486/(-29)*(1 + 8/(-7)). Let n = w + -76. Let g be ((-8)/10)/(-1 + 3). Is g greater than n?
False
Suppose 465 = -54*f + 59*f. Let u = 92 - f. Which is greater: u or 1/15?
1/15
Suppose -1632 - 428 = -3*f - 2*z, -2*z + 2 = 0. Which is smaller: 685 or f?
685
Suppose 4*g + 137 = o, 181 = -4*g + 5*o + 40. Is -30 at least g?
True
Let a = 1449 - 1451. Are a and -1/3 nonequal?
True
Let b be 21/((-6)/(-33) + (-6)/(-330)). Let v = -105 + b. Is v bigger than -10/7?
True
Let m be 15/35 + 0 + (-3260)/7084. Which is smaller: 0 or m?
m
Suppose 2*t + 5*r = 9*r - 2734, -4*r = -t - 1371. Which is bigger: -1362 or t?
-1362
Let y be (-8)/(-1) + -23 + (2 - -2). Which is greater: y or 5?
5
Let r = 36 + -27. Let q(k) = -3*k - 13. Let u be q(-9). Let y = u + -7. Which is smaller: y or r?
y
Let k be 2 + 1/(5/(-12)). Let l = 55 + -14. Let w = -41.11 + l. Which is smaller: w or k?
k
Let z = 392 - 538. Is -587/4 >= z?
False
Suppose -4*r + 11*r = 28. Let u be 4*r/56 + 0. Let d be ((-2)/4)/((-6)/(120/(-235))). Is d smaller than u?
True
Let f = 423 + 786. Is f < 1210?
True
Let v be (-5)/(-47)*((-6)/(-10) + -1). Let c(l) = -l**3 + 5*l**2 - 1. Let a be c(5). Which is smaller: v or a?
a
Suppose -5*t + 25 + 15 = 0. Suppose -5*v - 94 = -z, 9*v = t*v - z - 14. Does -56/3 = v?
False
Let y = -235 - -234. Which is greater: y or -20/11?
y
Let z be (30/(-9))/((-3)/(-18)). Let a = z + 21. Which is greater: a or 5/6?
a
Let m(s) = -s**3 - 12*s**2 - 12*s - 11. Let f be m(-11). Suppose 0 = 3*t - f*t - 36. Let o = 11 - t. Is o != -1/12?
True
Let z = 0 + -5. Let p(h) = -h**3 - 6*h**2 - 5*h + 3. Let s be p(z). Suppose 0 = 3*v + 2*j + 1, -5*v = -s*j + 2 + 6. Which is greater: v or 0?
0
Let m(w) = w**3 - 10*w**2 - 10*w + 2. Let p be m(11). Suppose -5*r + 2*y = 84, -3*r - 26 = -5*y + p. Is -19 smaller than r?
True
Suppose 0 = -4*h - 31 + 11. Let j = h + 5. Let n = -2/157 + 193/2826. Is n bigger than j?
True
Let a(j) = j**2 + j + 2. Let g be a(-2). Let q = 240216 - 35311369/147. Let s = 3/49 + q. Is g less than or equal to s?
False
Let w = -68 + 48. Let i be ((-48)/w)/(2/(-15)). Suppose -a + 98 = -5*n, 0 = 4*n + 4*a + 26 + 38. Which is bigger: i or n?
i
Let d = -3.35 + 2.6. Let a = d - -0.74. Is a >= -1?
True
Suppose 10 = -3*o - 2*p - 5, 0 = 3*o + 5*p + 6. Let n be (-11)/(2*(-1)/2). Let l be (n + 6/(-3))/(-1). Is o != l?
True
Let i be (75/(-50))/(1/(-48)). Which is smaller: 73 or i?
i
Suppose 6*y - 30 + 24 = 0. Is y not equal to -1/9?
True
Let b = -0.44 + 0.04. Let g = 1014 + -1015.006. Let l = -0.006 - g. Which is greater: l or b?
l
Let w = 22 + -27. Let m = -228 - -218. Which is smaller: w or m?
m
Let p = -58 + 104. Suppose 23 = 4*o - 4*n - 49, -3*o = -5*n - p. Let w be 8/o*9/(-12). Which is greater: w or 1?
1
Let t be 14/(-4)*(-12)/(-15). Let n = -0.0428 - -0.0428. Is n > t?
True
Let n = -67.28 - -67. Is n less than 1/4?
True
Let t(x) = 81*x**2 - x - 1. Let p be t(-1). Let a = p + -2027/25. Let r(u) = u + 4. Let n be r(-5). Which is smaller: a or n?
n
Let i be -5 + 2/3*(-106)/12. Is i equal to -12?
False
Let u be (0 - 2)/((-21)/27 - -1). Suppose -7 = -l - 22. Let t = 5 + l. Is u >= t?
True
Suppose l - 3*l = -4. Let f be 228/(0 - l) - 3. Let v be 12/f*9/6. Which is smaller: -1 or v?
-1
Let x(l) = 2*l + 19. Let h be x(-7). Suppose -s - h = o - 24, 5*s - 15 = 0. Which is smaller: o or 15?
15
Let a(s) be the third derivative of -s**6/120 - 11*s**5/60 - 11*s**4/24 - s**3/3 - 4*s**2. Let f = -27 - -17. Let b be a(f). Which is smaller: 9 or b?
b
Let y(l) = 86*l**3 + 2*l - 1. Let v be y(1). Let q = 86 - v. Which is bigger: q or -5?
q
Let d = 4 + -6. Let r = -6 - -1.5. Let m = 4.3 + r. Which is smaller: m or d?
d
Let q(l) = l**3 - 8*l**2 + 18*l - 78. Let g be q(7). Which is smaller: 38 or g?
g
Let n = -261 + 280. Which is smaller: 18 or n?
18
Let n(m) be the third derivative of -m**4/12 + m**3/6 - m**2. Let t be n(0). Which is smaller: -1/20 or t?
-1/20
Let n = -3.5 - -1.9. Let x = n + -17.4. Let h = x - -14. Which is smaller: h or -2/7?
h
Let l(m) = 2*m**3 - m**2 - 2*m. Let z be l(-1). Is z <= 2?
True
Suppose -3*d = 2*s + 166, -3*s + 0*d + 3*d = 279. Let m = s - -53. Let y be (20/m - 0)*2. Which is greater: y or -1?
-1
Let c(t) = -t**3 + t**2 + t - 9. Let o be c(0). Let a = -12 - o. Let l be (-1)/(2/(a - -1)). Which is smaller: -1/10 or l?
-1/10
Let j = 4.6 + -3.6. Is j <= -29?
False
Suppose -1 = 3*t + 2. Let h = -12 + 13. Let m be (-195)/60 + 2 + h. Which is greater: m or t?
m
Let r = 621 - 32295/52. Is 1/4 at least as big as r?
True
Let h = 249/14 - 23599/1330. Is h > -1?
True
Suppose 0*f = -4*f. Suppose -3*k + f*k = -9. Which is greater: 14/5 or k?
k
Suppose -17*g + 25*g + 592 = 0. Which is greater: g or -75?
g
Let o be (-3)/(-6) - 9/22. Which is smaller: 0.01 or o?
0.01
Let j = -4.93 - -0.93. Which is smaller: -10 or j?
-10
Let k(y) = -2*y**2 - 38*y - 23. Let j be k(-18). Suppose 2*a - 4*n = -4, -a = -5*n + n + 4. Suppose a = -2*w - 2*w + 56. Which is bigger: w or j?
w
Suppose p + 5*d + 18 = 0, -p - 3 = 8*d - 6*d. Let f(n) = -n + 8. Let s be f(0). Let h be 54/s - 1/(-4). Is h != p?
False
Let i = -31 - -27. Do i and -138/35 have the same value?
False
Suppose -b + 5 = -0. Suppose g = -g - 2*j, 4*j = b*g. Does g = -0.5?
False
Let x = -236 + 236. Which is bigger: -6/137 or x?
x
Let m = -1 + -3. Let n = -4 - m. Let f be 8/(-14)*(0 - 9/(-12)). Which is smaller: n or f?
f
Let i(m) = -m**2 + 3*m - 11. Let j = 48 - 48. Let v be i(j). Do v and -11 have the same value?
True
Suppose -6 = 3*z - 72. Let a = 58 - z. Which is bigger: a or 37?
37
Let w(b) = 750*b**3 - 1. Let k be w(-1). Let s be (k/498 - 14/28) + 2. Is 0 less than or equal to s?
False
Let p = -0.22 - -1.12. Let t = p + -0.9. Let o = -9/44 - -5/11. Which is smaller: t or o?
t
Let t be 6/(-10)*626/3. Suppose -5*w - 262 = -3*w + 5*p, 128 = -w - p. Let g = w - t. Which is greater: -1 or g?
g
Let x = -10 - -7. Let o = x - -11. Let m = 10 - o. Which is bigger: m or -0.1?
m
Let x = 39 + -39. Suppose x = 5*q - 2*c - 40, -5*c + 4 = q + 23. Are q and 6 equal?
True
Let b = 2/491 - -2387/16694. Is 1 bigger than b?
True
Let p(m) = m**2 - 16*m + 5. Let j be p(16). Suppose i + 2*i = 5*c + 7, -3*c - j*i + 23 = 0. Which is bigger: c or -4?
c
Let k be 10/(-4) + (-1196)/(-481). Which is bigger: 5 or k?
5
Let c be 27/(-6)*7580/(-26). Let r = 1313 - c. Which is greater: 1 or r?
r
Suppose -3*w - 18 = -4*w. Let t be (5/2)/(3/6). Suppose 7*q - w = t*q. Is q not equal to 9?
False
Suppose 0 = -j + 3*a, 14 = 4*j - 0*j - 5*a. Suppose j*w - 3*w = -6. Let r = -279 + 833/3. Is w bigger than r?
False
Let l(z) = 3*z**3 - 14*z**2 + 5*z - 8. Let d be l(4). Which is smaller: 2 or d?
d
Let v = 90 + 108. Suppose 7*k = k - v. Is -32 < k?
False
Let y = 67/4 + -101/6. Let i = -17/60 - y. Suppose -3*f = -2*c - 2*c - 12, -5*f + c = -3. Do f and i have different values?
True
Let r = 2.37 - 0.27. Let d = r + -2.2. Which is greater: -3 or d?
d
Let u be (-9)/(-1)*8/(-24) + 4. Suppose -2*m + u = -3*m. Is -2/47 equal to m?
False
Let u = -10/111 - -16/999. Let x = -11/27 - u. Is -1 equal to x?
False
Let c(r) = r**3 + 4*r**2 + 3*r. Let i be c(-2). Suppose -i + 8 = -g. Let x be (5 - 4)*(-4)/g. Is 0 != x?
True
Let x = -11 + 23. Let c = 0.03 - 0.03. Does x = c?
False
Let a = 0.44 - -2.76. Let q = a - 3.3. Which is greater: q or -0.3?
q
Let t = 486/11 + -221/5. Are t and -1 equal?
False
Let h = -3.2 - -3. Let l = 22 + -22.67. Let n = 0.77 + l. Is h >= n?
False
Let d(o) = -o - 2. Let q be d(5). Let x be 5*(-6)/q - 4. Is x != 3?
True
Let p = -0.5 - -0.2. Let c = -0.2 - p. Is c greater than or equal to 4?
False
Let v be 1518/5796 - 3/7. Suppose 4*x - 4*u = u - 5, -3*x = -u + 1. Which is smaller: v or x?
v
Suppose 3*o + 4*b - 1 = 0, 3*o - 19 = 4*b + b. Let n(h) = 6*h**2 - h. Let y be n(1). Suppose -5*s = y - 30. Which is smaller: s or o?
o
Suppose 5*z - 69 - 41 = 0. Let y = z + -22. Which is smaller: 3/26 or y?
y
Suppose -3*r - 10 = 2*r. Let x = r + -24. Is -28 >= x?
False
Let l(i) = i**2 - 2*i - 3. Let b be l(-1). Which is smaller: b or 2/169?
b
Let x(r) = 4 - 15 - 2*r - 1. Let z be x(-5). Let d be z/(-9) - (-39)/(-54). Is d >= -2?
True
Suppose -3*a = -3, a + a = 4*p + 6. Let g(c) = -c**3 - 6*c**2 + 7*c + 2. Let u be g(-7). Le