 Let a be 1/(-2) + (-4310)/1992. Let o = a + -1/332. Is l smaller than o?
False
Let s = -1133 + 7929/7. Is -121 greater than or equal to s?
False
Let b(x) = 6*x**2 - x + 2. Let l be b(-2). Let t = 0 + l. Let c = -30 + t. Which is smaller: 2 or c?
c
Let j = 279 + -279. Which is smaller: j or -24/31?
-24/31
Suppose -4*q - 3 - 105 = 0. Let a be ((-87)/(-6))/((-1)/2). Is q at most as big as a?
False
Let d = -0.038 + 27.038. Let l = -402 - -427. Let y = l - d. Are -6 and y unequal?
True
Let d = 873 + -175. Are d and 698 nonequal?
False
Suppose 0 = f + 4*z + 27, -2*f = 3*z - 7*z + 102. Let c = f + 26. Which is greater: c or -18?
c
Let t = 0.128 + -2.128. Is t at most -3/5?
True
Let y = 85 - 95. Let f be ((-8)/(-32))/(((-3)/(-38))/(-3)). Which is bigger: f or y?
f
Suppose -5 = -4*j + 47. Suppose -413*i - 144 = -425*i. Which is smaller: i or j?
i
Let c = 955 - 956. Is 2/4371 at most as big as c?
False
Let m(l) = 7*l + 36. Let u be m(-5). Which is smaller: u or 10/23?
10/23
Let c be (-4)/(-2) + 44/(-11). Let w be (-54)/(-4)*c/(-30). Is 0 smaller than w?
True
Let s(a) = 12*a**2 + a + 1. Let o be s(1). Suppose o*n = 1221 + 11. Is n equal to 2/3?
False
Suppose 2*n - 36 = -4. Let k be ((-12)/16)/((-4)/n). Suppose 0 = -w + k, 18 = 5*h + w - 0*w. Are h and -1 non-equal?
True
Suppose 6*y + 110 = -5*y. Suppose 0 = 3*x - 0*x. Suppose 2*w = -x*w - 22. Which is greater: w or y?
y
Let o(g) = 2*g**2 - 9. Let j be o(7). Are j and 92 unequal?
True
Let x = -10.22 - -10.5. Is -3 greater than x?
False
Let n(g) = g**2 - 26*g + 74. Let i be n(17). Is i at most -80?
False
Let f = 4/43 + -434/3741. Suppose 7*x - 14 = -0*x. Suppose 5*g + x = 7*g. Which is greater: g or f?
g
Let s(h) = -36*h - 98. Let n be s(0). Which is smaller: -290/3 or n?
n
Let y = 621 + -1555. Which is smaller: -935 or y?
-935
Suppose 0 = 5*h - h + 264. Let n be (-202)/h - (-9)/(-3). Suppose 2*c = 3*c + 1. Which is smaller: n or c?
c
Suppose 0 = 3*p - 6*p - 5*q - 23, -19 = -p + 5*q. Is 2/5803 not equal to p?
True
Let y = -111 - -107.4. Are y and -3 unequal?
True
Let p = 865 + -847.1. Does 3 = p?
False
Let v = -2337.13 + 2358. Let p = 0.13 + v. Let y = 9 - p. Are 0.2 and y nonequal?
True
Let y be (-1 + 2)/(13/26). Suppose y*a + 5*t = -31, -5*a + 3*t - 11 - 20 = 0. Let c(k) = -k**2 - 7*k + 8. Let d be c(a). Is 2/57 smaller than d?
False
Let f = 93.7 + -83. Is -3 > f?
False
Let q be (-17 - 0/(-1))*(-18 - -17). Is 19 > q?
True
Let n(t) = t**2 + 2*t. Let p be n(-2). Suppose -2*j + 4*h + h + 16 = p, -j - 4*h = -8. Let q be 4/10 - 0/j. Which is smaller: 0 or q?
0
Let b be -40*(12/(-15) + 0). Suppose -12*h + 8*h = -b. Let q be 5/(((-3)/(-6))/1 + 0). Which is bigger: q or h?
q
Suppose -j = -3 + 12. Suppose -23 = 8*g + 25. Is j bigger than g?
False
Suppose -11 = -5*n + 4. Suppose 2*j = -n*j + 5. Let a be 3 + -3 + 1/(-3). Which is smaller: j or a?
a
Let d be (-2)/(-9) + 425/153. Suppose -8 = -d*f + 7. Which is bigger: f or 4?
f
Let n(c) be the second derivative of -7*c**3 + 3*c**2/2 + 8*c + 2. Let u be n(1). Which is smaller: u or -38?
u
Let t be (-1182)/(-230) - (-140)/(-100). Is 4 at most as big as t?
False
Let m be (-2590)/12 + (-8)/48. Do m and -216 have different values?
False
Let r = 155 - -48. Is 203 not equal to r?
False
Suppose 3*b = -3*x - 9720, 0*b - 12972 = 4*b + x. Let h = 1404650/433 + b. Let f = -3021/2165 + h. Is 0 less than or equal to f?
False
Let a be (-3 - (-102)/36)*(-575 - 4). Are 97 and a equal?
False
Let s = -561 + 557. Is s at least as big as 17.4?
False
Let o(h) = -h**2 - 7*h - 16. Let t be o(-7). Let u = -6 - t. Is 12 <= u?
False
Let q(v) = v + 14. Let u be q(-10). Suppose -5*i + 3 = -u*i. Let x be 3 - (i + -1) - 3. Which is smaller: 4 or x?
x
Let r be 27/2*8/12. Let i be (-510)/(-65) + (-2)/13*-1. Is i at most as big as r?
True
Suppose -5*l + p = 216, 271 = -4*l - p + 100. Let u = 44 + l. Suppose 5*x - c = -3, -x = -6*x - c + 3. Which is greater: u or x?
u
Let u = -1934 - -9702/5. Let q = u + -6. Is q at most -3?
False
Let c = -652 - -649. Which is smaller: -22 or c?
-22
Let u = -136/3 - -45. Suppose 7 = -2*s + 25. Suppose -5*d - 4 = -s. Is d at least u?
True
Let l = 197 + -3351/17. Let q be 3 - -1 - 3 - -10. Suppose -2*n + 13 = -n + 4*z, 5*z = 4*n + q. Which is bigger: n or l?
n
Let l(m) = 4*m**2 + 11*m - 154. Let i be l(14). Which is bigger: 783 or i?
i
Let t be 0 - ((-2)/4)/(2/32). Which is smaller: t or 7?
7
Let b = -17.3 + 21. Let z = 3.94 - b. Is 0 less than z?
True
Suppose -1287 = -32*a - 4903. Is -111 < a?
False
Suppose 4*x + 2 = 2*x. Let t be 13 + -15 - (3 + (-106)/22). Which is smaller: x or t?
x
Suppose 0*t = 2*t + 4*j - 14, -2*j = -2*t - 10. Let o = -58528/63 + 929. Which is greater: o or t?
o
Suppose 0 = -6*g + 7*g. Suppose 0 = -2*p, g = 3*d + d - 3*p. Is d >= -4/9?
True
Let i be 22/(-121) + (-150)/22. Let r be (i + 8)/((-1)/2). Is -7 less than r?
True
Let b = -2753 + 2756. Which is bigger: b or 45/13?
45/13
Let y = 80 + -78. Which is smaller: y or 10/3?
y
Suppose 146*r = 149*r - 1668. Is r not equal to 555?
True
Let z = 36.92 + 0.08. Let q = 62 - z. Let p be 2/7 - (-2)/42. Which is smaller: p or q?
p
Let c = -132 - -9. Which is smaller: -124 or c?
-124
Suppose 3*h = 9, -3*f - 3*h + 8 = -13. Suppose -4*b = 2*o, -4*b + 3 = f*o + 7. Let w be (6/9)/(o/(-3)). Is w at least as big as 0?
True
Suppose -2*u = 4*u + 48. Suppose 0*x = -2*x - 20. Are x and u non-equal?
True
Let b = -1256.9 + 1193. Let k = -64 - b. Is k bigger than -0.02?
False
Let u be 4 - (1/3 + 323/87). Is 0 smaller than u?
False
Let x(s) = 9*s + 112. Let v be x(-14). Let i(w) = 8*w + 2. Let r be i(-2). Let c = r - v. Which is bigger: c or 4/11?
4/11
Let v = -96 + 385/4. Is -7 less than or equal to v?
True
Let a(t) = -t + 35. Let k be a(16). Let d = -3/20 - -29/60. Which is bigger: k or d?
k
Let q = -2 + 0. Let g = 30 - 20. Let r = 7 - g. Which is smaller: q or r?
r
Let k(i) be the second derivative of -i**3 - 3*i**2 - 2*i. Let w be k(-1). Which is smaller: -2/53 or w?
-2/53
Suppose 0 = 14*o - 10*o - 20. Suppose 0 = -4*t + 2*h, -3*t + o*t + h = 0. Suppose 0 = m + 3 - 2. Which is bigger: m or t?
t
Let o = -8 + 16. Let x = o - 5. Suppose -x = -t - 4. Is t bigger than -1/4?
False
Suppose 0*z = 6*z + 24. Let m be z - (-3)/3 - -3. Let u be 1 + 0 + (-6)/4. Is u at most as big as m?
True
Let s be -11*(-3)/9*(2 + -11). Let q = s - -34. Is q smaller than 1?
False
Suppose -3*u - 3 = 3*a, -4*a + 6 = 2*u - 3*u. Which is smaller: a or 42/23?
a
Let b(v) be the first derivative of -3*v**4/2 + v**3/3 + v**2/2 - 2*v - 6. Let g be b(1). Let w(d) = 2*d - 9. Let u be w(g). Is -21 at least u?
True
Suppose -o + 5*o = 0, 5*f + 5*o = 5. Let i = 0 - f. Do 2/11 and i have different values?
True
Let c be -2 + 0 + (-3810)/(-418). Let m = c - 80/11. Let u = 4 + -4. Which is smaller: u or m?
m
Let q = 13/243 + 15461/1701. Which is greater: q or 0.3?
q
Let t be 2/18 - 21/189. Is t greater than or equal to -3?
True
Let x = -372 - -372.1. Which is bigger: -204 or x?
x
Suppose -4*f + 3*t = -11, -f + 6*t - 2*t + 6 = 0. Which is greater: f or 15?
15
Let w be 8/(-68) - 130624/(-544). Is w equal to 242?
False
Let o(l) = 4*l**2 + l - 3*l + l**3 - 9 - 5*l + 0*l**3. Let z be o(-5). Which is greater: 2/3 or z?
z
Suppose 2*l - w - 4 = -3*w, 0 = -4*l - w + 2. Let p(x) = x + 0*x**2 + 1 - 4*x + l*x - 3*x**2. Let q be p(-3). Is q smaller than -17?
False
Suppose -185*f - 2*v - 173 = -188*f, 3*v = -5*f + 301. Is 52 greater than f?
False
Suppose 0 = 91*g - 66*g - 175. Which is bigger: 20 or g?
20
Let q be (-8712)/(-14) - ((-133)/49 + 3). Are q and 622 nonequal?
False
Let h = 117 - 122. Let w = -6.1 - -6. Which is smaller: w or h?
h
Let j(y) = y**3 - 4*y**2 - 17*y + 27. Let o be j(6). Let w(z) = -z**3 - 4*z**2 - 3*z. Let i be w(o). Are -15/4 and i unequal?
True
Suppose 2*k + 2 = -0*k. Let l be 1 - -5 - (7 - 377/429). Which is smaller: l or k?
k
Let d(c) = -2*c + 19. Let r(q) = q - 19. Let u(o) = -4*d(o) - 3*r(o). Let f be u(3). Which is bigger: f or -2?
-2
Let a = -10.14 - -11.2. Let d = a + -0.06. Let s = -0.2 - 0.8. Is s > d?
False
Let w be ((-6)/540)/(3*2/(-10)). Which is bigger: 1 or w?
1
Let z = -17 - -5. Let b be (3 + -8 - 5)/((-4)/(-6)). Which is smaller: z or b?
b
Suppose -3*p - 3*o + 24 = -6, 0 = 2*p - 4*o - 14. Let s be -2 + (-3*1 - 492/(-16)). Let a =