 - 112. Let j(c) = -12*s(c) - 5*z(c). Let i be j(-10). Is i greater than q?
True
Let r = -91/40 + 71657/31480. Which is smaller: r or 1?
r
Suppose -g = -g - 18*g. Is g greater than 2/803?
False
Let m(h) = -h**3 - 6*h**2 - 1. Let s be m(-6). Let v be s - ((-3)/(-1))/3. Suppose 3*a = -2*i + 9, 0 = i - 6*i - 3*a. Which is greater: i or v?
v
Suppose -153 = 35*h - 86*h. Which is bigger: 220 or h?
220
Let q(u) = u**2 + 4*u + 6. Let a be q(-3). Let n be 1*3/a + 1. Let g be 0/(-2) - 3*-1. Is n at most as big as g?
True
Let u = 970 - 1638. Let v be (-4)/(-26) - u/52. Which is smaller: v or 11?
11
Suppose -4*l - 107 = 3*f, f + 102 = -4*l - f. Is l >= -18?
False
Let s be ((-6)/12*3)/(12/8). Which is smaller: s or 1/323?
s
Let a = 147 + -147.1. Which is greater: a or 48/17?
48/17
Let j = -277/574 + -112/41. Let p = j + 43/70. Is p equal to -2?
False
Let l = 1/2310 - -719/117810. Which is bigger: -1 or l?
l
Let s = -57 + 55. Let g be (-2 - 4/(4 + -5))/s. Are g and 1/41 unequal?
True
Let k = -79 + 78.894. Let x = k + -16.894. Is 1 greater than or equal to x?
True
Let u = -642007/52 + 12345. Let b = u - -20/13. Which is greater: b or -1?
b
Let g = 1.981 + 0.069. Let j = -1.3 + g. Let r = 0.05 - j. Which is smaller: r or 0.1?
r
Let i = 20 + 34. Do 54 and i have different values?
False
Let g be (360/(-28))/(6/(-28)). Is -2 at most g?
True
Let b = 4311/1398970 - 2/3515. Are 1 and b unequal?
True
Suppose 3*u - 3*p - 102 = 0, 5*u - 63 - 105 = 3*p. Let w be (-9)/(324/(-8)) + u/(-270). Is -1 less than w?
True
Suppose -13 = -c - 67. Let x = 39 + c. Is x bigger than -14?
False
Let u(c) = c**3 - 9*c**2 - 11*c + 15. Let h be u(10). Let n be ((-15)/27)/h*(-2 - -3). Which is greater: n or -2?
n
Suppose 5*g = 6*g - 3. Let w be (-3)/(-1) + -1 + g. Suppose -w = -5*c - 0*c. Is c smaller than 1/5?
False
Let t = 1532/21 + -73. Which is smaller: t or 0?
t
Let j = 0.2 - -5.1. Let p = -5.57 + j. Let s = -0.16 - p. Is -1 bigger than s?
False
Suppose 0 = -6*v + 23 - 41. Is -9 < v?
True
Let p(l) = -3*l + 27. Let y be p(9). Let o(f) = f + 2. Let d be o(y). Is 2 <= d?
True
Suppose 3*n + 5*p + 7 = 3*p, 4*p = 16. Let a be ((-3)/(-2)*4)/(-1). Let m = a + n. Is m != -11?
False
Let j(s) = -24*s + 66. Let c be j(3). Which is smaller: -27.5 or c?
-27.5
Suppose 5*q + w + 594 = 0, 4*w - 9*w = -5. Is q at most as big as -121?
False
Suppose 9*f = 15*f + 12. Let m be f/15 - (-6)/45. Let v = 825 + -9069/11. Is m not equal to v?
True
Let z = 965 - 927. Which is bigger: z or 37?
z
Suppose -p - 33 = 32. Let x be ((-1)/p)/(4 - 5). Are -1 and x equal?
False
Let a(i) = -i**2 - 6*i - 2. Let u be a(-4). Let m = 2 - u. Let s(p) = -p**2 - 4*p. Let l be s(m). Is -1 >= l?
False
Suppose 9 - 9 = -5*g. Are g and 7/10 unequal?
True
Let y(k) = -764*k - 3086. Let g be y(-4). Let c be (1/(1/30))/(-1). Is g smaller than c?
False
Let o = 78 + 47. Let y = o - 125.67. Let z = y - -0.6. Is -0.1 less than or equal to z?
True
Let f be (-4*(-21)/(-46))/(-10 - -15). Is f equal to 1?
False
Let v(r) = r**2 - 15*r - 1. Let x be v(14). Let b = 1 + x. Is -13 > b?
True
Let p(s) = s**3 - 6*s**2 + 6*s + 18. Let u be p(6). Let w = -215/4 + u. Let x = 0 + -1. Is x at least w?
False
Let a = 85 + -155. Let l = a + 70. Is 3/26 at least as big as l?
True
Suppose -4*f + 20 = 0, 2*y + f + 46 = -f. Let q be (-4)/3*7/(y/30). Let h = 1 - -8. Is h <= q?
True
Let a(x) = -2*x**2 + 18*x - 20. Let b(h) = -h**3 - 6*h**2 - 6*h - 27. Let k be b(-6). Let l be a(k). Is l bigger than -39/2?
False
Let p(z) = z - 8. Let u be p(9). Let o be -1 - -3 - 8*6. Let l be ((-10)/20)/(o/4). Is l bigger than u?
False
Let c = 570.335 - 570. Which is smaller: c or -1?
-1
Let t be (-3 - (8 + -8))/(182/8). Is t at most 0?
True
Let u be (0*(-3)/18 - -1)/1. Do 27/17 and u have different values?
True
Let j = -22 - -31. Suppose j = 3*d + 12. Is -1 at most as big as d?
True
Suppose 0 = -7*p + 5*p. Suppose -2*n + 17 = n - 5*h, p = h - 2. Suppose 0 = -2*v - 3 + n. Is v > 3?
False
Suppose 2*p = -p. Let l = 330833/18 + -18433. Let s = -107/2 - l. Which is bigger: p or s?
p
Let a(z) = 5*z + 1. Let j(r) = -4*r - 1. Let v(s) = -2*a(s) - 3*j(s). Let b be v(3). Suppose -b*n = -5*n + 4. Is n at most 9?
True
Let m(t) = t**2 - t. Let a be m(0). Is a < 9/110?
True
Suppose 0 = -q - 4*l - 28, 3*l = -3*q - 120. Are q and -23 non-equal?
True
Let u = -1/2789 + 337478/25101. Which is smaller: 13 or u?
13
Let k(c) = c**3 - 17*c**2 + 29*c + 14. Let m be k(15). Which is bigger: m or -1/20?
-1/20
Let o = 260 - 258.7. Is -3.4 at least o?
False
Let d be (-24)/(-15) + (-4)/(-10). Let u = 176 + -195. Which is smaller: u or d?
u
Let f(x) = 6*x. Let g(v) = 15*v. Let p(z) = -12*f(z) + 5*g(z). Suppose 3*r + 13 = 4. Let s be p(r). Is -9 at most as big as s?
True
Let p be 2/(-6) - 10/(-12). Suppose 0 = 4*b - 3*b - 5*h + 10, 0 = -h + 2. Suppose b = -m + 3*f + 6, m + 1 + 1 = -f. Is m at most p?
True
Suppose -6*r + 2*r + 5 = -5*z, -5*z = 4*r - 35. Suppose 3*q + z - 6 = 0. Is q at least 4?
False
Let o be 1 + 74 + 0 + 0. Let u = 1663799/22560 - -1/22560. Let c = u - o. Is c bigger than 0?
False
Let j = 1.3 - 0.78. Let c = j - -0.08. Let w = c - 6.6. Which is bigger: 2 or w?
2
Let o(l) = l**2 - l - 7. Let k be o(4). Let b = -5 + k. Is b > -10/7?
True
Let t be (56/12)/((-1)/28). Let d = 132 + t. Let w be 0 + 2 + (0 - 0). Which is smaller: w or d?
d
Let r = -0.012 + 0.212. Let o = -3 + 0. Let w be ((-64)/(-6))/(-4) - o. Is r greater than w?
False
Let u(g) = -15*g**2 + 4*g + 5. Let d be u(4). Let q = -447/2 - d. Let w be -1*3 - 4/2. Are q and w non-equal?
True
Let a = 11 - 3. Let i(v) be the first derivative of v**4/4 - 3*v**3 + 4*v**2 - v + 16. Let p be i(a). Is 4/15 != p?
True
Let y = 76 + -214. Let a be (-1679)/y + (-1)/6. Suppose 6 = -6*r + r - 4*j, 0 = -4*r + 4*j - a. Which is bigger: -1 or r?
-1
Let n be (3*(-1824)/126)/2. Is -22 at most n?
True
Let s be 40*5*(-44)/80. Are -445/4 and s nonequal?
True
Let o be ((-16)/12)/(16/(-12)). Which is smaller: 4/3 or o?
o
Let v = -220 - -205.1. Let b = v - -13.9. Let d be (1 - 12/10)/1. Which is smaller: b or d?
b
Let v = -32/3 - -5. Which is greater: -6 or v?
v
Let i = -0.1 + -1.9. Let b = -45.6 + 45. Which is greater: b or i?
b
Suppose 2*w + 2*g = 3*w - 5, 3*w + 5*g - 26 = 0. Let n be -1*(1*-2)/1. Is w < n?
False
Let l be (-127)/11 + -3 - -5. Which is smaller: l or -9?
l
Let w(d) = 32*d**3 + 4*d**2 - d - 4. Let f be w(2). Let b = 1874/7 - f. Which is smaller: b or -0.1?
-0.1
Let u(c) = c - c - c + 0. Let s be u(0). Let q be 4/16*s - -2. Which is greater: 1 or q?
q
Let f = -200 - -236. Is 37 less than or equal to f?
False
Let c be (-10)/(-1*1)*(-306)/(-14994). Which is smaller: c or 1?
c
Let p = 14822/11121 + 2/3707. Is 26 smaller than p?
False
Suppose 445 = -60*s - 935. Which is smaller: s or -219/10?
s
Suppose 0 = 5*l - 10, -3*h - 3*l + 455 = l. Is h != 149?
False
Suppose a + 3 = 4*a. Suppose 0 = -3*d - v - a + 4, -4*d + 12 = 4*v. Let o be 2*((-4)/(-3) + -2). Is o bigger than d?
False
Let v = 7 - 2. Let g = 28 + -5. Let f = g + -19. Is v bigger than f?
True
Let h be 13/(91/(-4))*7/(-2). Let c be (-1 + 6)/(-3 + h). Is 5 <= c?
False
Let q = 155 + -155.03. Let l = 0.01 + q. Which is bigger: -0.2 or l?
l
Suppose 16*a - 4008 - 248 = 0. Which is smaller: 267 or a?
a
Let a = -0.203 + 0.303. Let u = 0.38 + 0.02. Let s = u - -2.6. Which is smaller: a or s?
a
Let v be (3 + -5)/((-15)/9 + 1). Suppose 71 = v*l + y, -2*y = -14 + 4. Are l and 23 nonequal?
True
Let m = 119 - 70. Suppose 33*v - 212 = 1372. Which is smaller: m or v?
v
Let f = -0.025 + -0.075. Let t be (-3)/18*(-6)/4. Which is smaller: f or t?
f
Let p = 1502/5 + -287. Which is bigger: 12 or p?
p
Let o be (-39)/(-52) - (-6)/(-8). Suppose o = -w + 4. Is 15/4 != w?
True
Let m(h) = 2*h**3 + 20*h**2 - 10*h + 137. Let o be m(-11). Which is greater: -1 or o?
o
Let p be 8526/(-145) - 2/10. Which is smaller: -60 or p?
-60
Let x(q) = -q**3 - 6*q**2 + 10*q + 10. Let o be x(-7). Suppose c + 4*g + 30 = 0, 3*c = 2*g - 0*g - 20. Which is smaller: c or o?
o
Let c = -82 + 84.3. Let q = -3.3 + c. Which is bigger: q or -2.8?
q
Let j = -865 + 868. Is j < -65?
False
Let d be -208 - (0 + 8 + -14). Which is smaller: d or -201?
d
Let g(v) = v + 32. Let m be g(13). Suppose -44*s = -m*s - 46. Is s greater than -46?
False
Let i = -632 + 3178