20 + (-4)/(-6). Suppose -2*u - 5 = -65. Is u less than d?
False
Suppose 0 = 4*r + 61 + 79. Let a = r - -34. Suppose 0 = -3*c - 2*c. Is c <= a?
False
Let u = 71/266 + -3/14. Is 1 not equal to u?
True
Let j = 90 + -723/8. Let b(h) = h + 7. Let x be b(-6). Is j greater than x?
False
Suppose m + 0 = 2. Suppose -3*h + 0*r - 13 = -2*r, -3*r = -m*h - 17. Which is smaller: h or 1?
h
Let i(o) = o**2 - o - 2. Let h = -9 - -7. Let z be i(h). Let q be 27/(-3) - (-3 + z). Are q and -11 unequal?
True
Let j(m) = 4*m - 13. Let p be j(4). Suppose 4*q + 8 = -p*h + 5*h, -h - 3 = 5*q. Is h equal to 6/5?
False
Suppose -2*t + o - 5 = -3, -5*o = t - 10. Suppose -27*k = -26*k - 4. Suppose 3*m + 7 = -k*m. Which is smaller: m or t?
m
Suppose 3 = 2*q + 7. Let w be q + ((-27)/18)/((-6)/11). Which is bigger: 2/7 or w?
w
Let v = 8.98 - 0.98. Which is smaller: 14 or v?
v
Suppose t - 5 = -v, 4*t = v - 4 - 1. Are t and 230/13 nonequal?
True
Let q(p) = 19*p - 7. Let l be q(3). Let a be 3 - 0 - 154/l. Which is smaller: a or 0?
a
Let b(x) = -x**3 + 7*x**2 + 13*x - 29. Let t be 32 + -26 + 2 + 0. Let k be b(t). Suppose 5*y = -3*a + 2, y + 41 = 4*a - 0*y. Which is greater: a or k?
k
Let f be (-4)/(-57)*1/2. Let s(q) = -5*q - 33. Let u be s(-7). Let i be 2*u - (8 + -4 + -1). Is f < i?
True
Let l = -1597019/99 + 117736/9. Let x = 3047 + l. Let u = x + 131/44. Is 2 bigger than u?
True
Let h = 8 - 18. Let n be (5 - (4 - 0)) + h*2. Are -18 and n unequal?
True
Let q(u) = -u**3 - 6*u**2 + u. Let r = 3 - 6. Let v be q(r). Let f be (8/v)/(162/(-15)). Which is greater: 0 or f?
f
Let l = 3232/5 - 646. Do l and -20 have different values?
True
Let i = 8 + -5. Let x be (264/55)/((-21)/(-20)) - 3. Which is smaller: i or x?
x
Let k = 4 + -1.2. Let h = k + -2.89. Which is greater: h or 0.1?
0.1
Let l(c) be the second derivative of c**5/20 - 2*c**4/3 + c**3/6 - 7*c**2/2 - 30*c. Suppose 0*f = f - 8. Let s be l(f). Which is greater: s or -0.06?
s
Suppose 3*y - 127 - 492 = -2*d, -4*y = d - 312. Suppose 4*b - 4*h + 0*h = -d, 0 = 4*b + 4*h + 340. Is b < -81?
False
Let w be 2*(-5)/4*2. Let q = 3799 - 3803. Is q less than or equal to w?
False
Suppose 0 = -12*w + 4*w - 64. Let p(l) = l**2 + 9*l + 7. Let d be p(w). Suppose 1 = -c - 2. Which is smaller: c or d?
c
Let d be (-12)/(-9)*12/8. Suppose -3*x - 11 = 2*l + 2*x, -3*l + 12 = -d*x. Let q be (l/(-14))/(-1)*-1. Which is greater: q or 0?
0
Suppose -2*n - 20 = 232*g - 228*g, 3*g + 15 = -2*n. Which is greater: g or 158?
158
Let z(w) = -7*w + 25. Let a be z(6). Suppose 18 + 4 = 2*d. Suppose -3*c - d = 40. Is c at least a?
True
Let f = -702 + 764.2. Let a = 62 - f. Which is smaller: a or -30?
-30
Let q = 16922 + -253714/15. Let c = q - 37/5. Which is smaller: 48/7 or c?
c
Let l(r) = r**2 + 4*r - 23. Let d be l(-8). Let x(k) = -4*k - 2. Let o be x(2). Let p = d + o. Which is smaller: 0 or p?
p
Suppose 0 = -286*c + 289*c - 6. Which is smaller: c or 15/8?
15/8
Let v = -0.0802 - -0.1202. Is 3.6 > v?
True
Suppose 6*o = 2*o + 3*v + 3, 3*v - 18 = -3*o. Let l be (-6)/(-14) - (-957)/609. Which is smaller: o or l?
l
Let d(y) = 2*y**3 + 2*y**2 - 4*y - 4. Let o be d(-4). Let h = -39 - o. Let i = 134/3 - h. Which is bigger: 2 or i?
2
Let j = 0.89 + 30.11. Let q = j + -30.8. Which is smaller: -11 or q?
-11
Let j(l) = 5*l**3 - 2*l**2 - l. Let c be j(-1). Let f be (-6)/4*(-812)/87. Suppose f*z = -14 - 70. Are c and z nonequal?
False
Suppose -7*t + 34 = 4*p - 5*t, p = 5*t + 3. Suppose -16 - 8 = -p*h. Which is smaller: h or 1?
1
Suppose 6*f - 300 = 3*f. Suppose -c + 6*c = f. Is 19 at most as big as c?
True
Let q(j) = 4*j - 2*j + j**2 + 13 - 3*j + 9*j. Let n be q(-5). Which is smaller: n or -13/5?
-13/5
Suppose -j = 1, -2*h = -5*j - 10 + 3. Which is greater: 5/348 or h?
h
Let m be (9*1/(-12))/((-415)/(-20)). Which is smaller: 2/7 or m?
m
Suppose -3*m = -3*u + 9, 13 = -m - u - 0. Let l be 432/56 + m - 4/(-14). Which is smaller: l or -2.5?
-2.5
Suppose i = -5*g + 7, -4*i - 5*g + 1 = -12. Suppose -4*x = -5*a + 21, x + i*a - 7 = 4. Which is smaller: x or 1/35?
1/35
Suppose 0 = -2*t - 3*x - 87, 0 = 3*x - x + 2. Which is bigger: t or -38?
-38
Let i = 161/2 + -829/10. Suppose b + 3*y - 4 = 0, 4*b + 3*y - 12 = 22. Suppose -3*m = -2*d + b, m = -d - 3*m - 17. Which is bigger: i or d?
d
Let p = -0.0157 - 359.9843. Is 1/4 at most p?
False
Let i(m) = -m**2 - 3*m + 2. Let t be i(-8). Let o be (-174)/33*(-70)/t. Let w = -108/11 - o. Which is greater: w or 0?
0
Suppose 3*b = -z + 97, -5*b - 2*z - 2*z = -157. Let c = b + -45. Is c greater than -13?
True
Let x = 150.18 + -150. Is -1 <= x?
True
Suppose 5*h - 7*q + 105 = -2*q, -3*h - 47 = 5*q. Let u(p) = -13*p - p**2 + 0 + 7 + 3. Let i be u(-15). Is i greater than or equal to h?
False
Suppose 2*k + 9*i = 6*i + 17, -4*k = 4*i - 24. Is 11 > k?
True
Suppose -5*w + 12 = -8. Suppose 0*i - w*i = -g - 3, 0 = 5*i + 5. Let f = -4 - 2. Is f <= g?
False
Suppose -3*o + 16 + 11 = 0. Suppose -4*y = a - o, 8*a + y = 3*a + 7. Let q be 2/a + -12 + 27. Is 18 greater than q?
True
Let r = -13 + 18. Let y(h) = h**3 - 4*h**2 - 4*h - 5. Let k be y(5). Suppose t - r*t + 8 = k. Which is smaller: t or 8/5?
8/5
Let z = 187 - 295. Do z and -320/3 have the same value?
False
Suppose -15 = -3*l + 3. Let u be ((4/3)/2)/(4/l). Do u and -0.032 have the same value?
False
Let u = -0.16 + 0.06. Let w = -2.35 - 0.65. Is w at most u?
True
Let q = 281.4 + -280.4. Which is smaller: q or 1755?
q
Suppose 23 - 1 = 2*i. Suppose -d = -r - 6*d - 22, 3*r + 4*d + i = 0. Suppose 0 = -x + r*x. Are 2/23 and x equal?
False
Suppose -7*a = -11*a - 28. Let x be (1 - 23/a) + -4. Which is smaller: 28 or x?
x
Let x = -2357/2 - -16757/14. Let h = x + -969/56. Is h greater than or equal to 2?
False
Let r be 4/(-90)*-3*-25. Suppose 21*o + 12 = 17*o. Is r <= o?
True
Let o be (-109)/((-3)/2*2/(-3)). Let n = o - -169. Which is bigger: n or 59?
n
Let w = -462 + 295. Let o = -114 - w. Which is greater: o or 1/4?
o
Let u = 86 + -85. Let i = 59/140 - 10027/23660. Let z = i - 809/15210. Are z and u equal?
False
Let u(c) = -3*c + 6. Let p be u(-5). Let y be (-26)/p - 4/(-24). Which is smaller: -2/3 or y?
y
Let g(h) = -h**3 - 10*h**2 - 2*h - 20. Let o be g(-10). Let x be -1 + (o - (-3 - -3)). Which is bigger: x or 4/29?
4/29
Let i = -0.3 - -0.21. Let r = -1341.91 - -1336. Let q = i + r. Are -0.1 and q unequal?
True
Suppose -7 + 3 = -d. Suppose -11 = -5*z + 5*g + d, g = -z + 5. Let b = 3 - z. Which is greater: b or 11?
11
Let n = -26 - -40. Let p = 33 + -18. Are n and p equal?
False
Let q be (((-165)/(-22))/15)/(2/(-210)). Is q <= -53?
False
Suppose 4*z + 3*d + 113 = 0, -3*z = 2*z - d + 165. Let i be 3/(4/z*-42). Which is bigger: i or 0?
i
Let t be 3/2*35*-2. Let m be ((-4)/30)/(t/(-10)). Let s = m + -19/35. Are s and -2 non-equal?
True
Let y(o) = 3*o - 10. Let l be y(4). Suppose v = -l - 2. Let b be (-6)/3 - 12/v. Do -2/17 and b have different values?
True
Suppose q - 45 = 19. Let c = q - 429/7. Is 3 equal to c?
False
Let i = -0.89 + 0.79. Which is smaller: -0.78 or i?
-0.78
Suppose -23*g + 21*g + 64 = 0. Suppose 36*x = g*x + 244. Is 62 < x?
False
Let d = -70 + 35. Is d equal to 0.2?
False
Let u(f) = -4*f + 3. Suppose -5*l - 1 = 3*d, 5*l - 6*d - 11 = -3*d. Let i be u(l). Which is smaller: i or -1/20?
i
Suppose -13 = 4*q - 5*s, -2*q + 4*s = 7 + 1. Suppose 0 = -17*m - 0*m - 17. Is m smaller than q?
False
Let l be 3/(15/(-2)) + 34/10. Suppose -2*w - 8 = -l*w. Is 28/3 less than or equal to w?
False
Let f be ((-37)/(-15) - 2) + -5. Is f not equal to -6?
True
Let m(d) = -11*d**2 + 14*d + 27. Let h(g) = 4*g**2 - 5*g - 9. Let p(i) = 8*h(i) + 3*m(i). Let z be p(4). Is -5/4 < z?
True
Let o = 86 - 96.5. Let p = o - -10.72. Is -2 > p?
False
Let c = -4 + 4.04. Let i = -1.08 + 1. Let l = c + i. Is l less than 0.2?
True
Suppose 20*j - 25*j - 30 = 0. Let z be 1*(4/j)/((-4)/(-6)). Let o(t) = t**3 + 7*t**2 - t - 7. Let f be o(-7). Which is smaller: z or f?
z
Let d = 24 + -25. Let z be d/(-2)*(2 - 20). Let b = -113/484 + -2/121. Which is smaller: z or b?
z
Suppose -4*h + 5*l = -0*l + 1, h = 5*l - 4. Let j = h - 1. Suppose j = -o - 4*o - 105. Is o bigger than -21?
False
Suppose -t - 3*r = 3, -6*t - r + 4 = -4*t. Suppose -4*w + y = 3, 15 = t*w - 4*w + 5*y. Is 4/11 != w?
True
Let o(a) = 2 + a + 0 - 6. Let m be o(6). Let k be (5*2/4)/m. 