08 = g*l. Which is greater: l or -110?
l
Suppose -4*x + 89 = 9. Suppose -3*k = -v + x, 0 = -v + 6*k - k + 28. Let y(r) = -r**2 + 9*r + 44. Let p be y(12). Do v and p have the same value?
True
Let y = 9 + -8. Let q = 0.9 - y. Let t = -1.8 - -8.8. Which is greater: q or t?
t
Suppose 0 = -0*s - 2*s - 2, -5*j + 345 = 5*s. Let y be (-48)/30*j/(-3). Let l = y + -1238/33. Do 0 and l have different values?
True
Let u = 4.96 + 0.04. Let g = 5.06 - u. Let m = g - 1.06. Which is smaller: m or 14?
m
Suppose -5*v - 168 = -12*v. Let j be 8/(-6)*v/(-16). Is j greater than or equal to 2/3?
True
Let l be (-2 - (6 + 0)) + 1216/1064. Which is smaller: -6 or l?
l
Let j(x) = -6*x**3 - 6*x**2 - 3*x + 3. Let a(p) = -13*p**3 - 11*p**2 - 6*p + 6. Let w(t) = -4*a(t) + 9*j(t). Let c be w(-4). Are -16 and c unequal?
True
Let a = -172821/76 - -2274. Let h = a + -227/1900. Is 0.1 less than h?
False
Let l be -12*(5 + 44/(-8)). Let t be l/12*(1/(-1) - 1). Which is bigger: t or -37?
t
Let p = 25 + -24.4. Let h = 3.3 - p. Let x = -6.7 + h. Is 1 at most x?
False
Let o be (-189)/36*256/(-6). Suppose n = 2*b - 154, -4*b = 2*n - o - 92. Let z be b/21 - 9/3. Which is bigger: z or -0.1?
z
Let w = -12479/5771 + 63/29. Let c(g) = -g + 9. Let z be c(10). Which is greater: w or z?
w
Let i be (1 + (-75)/9)/((-28)/(-564)). Let j = 192 + -340. Let b = j - i. Is b equal to -3/2?
False
Let l = 74 - 73.996. Let t = l + -23.004. Which is smaller: -1/2 or t?
t
Let a = -115 - -133. Which is greater: a or 226/13?
a
Let t = 678 - 677. Are t and 4/159 equal?
False
Suppose -3*y - 88 = -4*s, -3*s + 3*y - 44 = -110. Suppose 5*h - q + 6 = 3*q, -3*h - 4*q = -s. Are h and 10/13 nonequal?
True
Suppose 1 = 5*q + 6. Let s(i) = -i**3 + i. Let c be s(q). Is c bigger than 2/61?
False
Let g = -0.887 - -0.177. Let s = 0.31 + g. Is 1/3 > s?
True
Suppose b - 27 - 63 = 0. Suppose -n + b = n. Suppose -n = -7*l + 12*l. Is l at least -8?
False
Let t be (-7)/12*-2*2. Suppose 0 = 3*x - 0*x - 12. Suppose l + 10 = -x*l + 4*g, -2*l = 4*g - 24. Which is smaller: t or l?
l
Let p = -36 - 126. Let g be (3/p)/(2/32). Is g at least 0?
False
Let t = -2.3 - -1.2. Let l = 17.6 + -19.2. Let f = t - l. Which is smaller: 0.2 or f?
0.2
Suppose -16 = -6*k + 10*k. Let v = 4 + k. Let b = 17/12 - 161/108. Which is greater: v or b?
v
Let z be (-5)/((-20)/16) + 1. Let r = -128 + 137. Does z = r?
False
Let o = -7/1870 + 4792/156145. Let b = o - 1631/35738. Which is bigger: b or -1?
b
Let s = 34 + -25. Suppose s = 3*c - 3. Let h be (-1)/(-2) + 2/c. Which is bigger: 2/3 or h?
h
Let j = 319 + -317. Do 29 and j have different values?
True
Let j(n) be the first derivative of 35*n - 35*n - 5 + 3*n**2. Let q be j(-1). Is -7 equal to q?
False
Suppose 0 = l + 2*p - 4*p - 10, 0 = 3*l + 2*p + 10. Suppose -54 = -5*n + q, -3*q = -4*n + 36 + 16. Let a be (2/25)/(2/n). Which is greater: l or a?
a
Suppose 3600 - 3640 = 4*n. Which is smaller: n or 19?
n
Let d = -49 - -76. Let b = -25 + d. Suppose 0*u = -3*u + 6. Is u less than b?
False
Let a be 10/(-4)*32/(-10). Suppose x = -2*x + 5*y - a, -3*x = 2*y + 1. Let k = 21 + -21.3. Is k <= x?
False
Let d = 0.44 - -21.56. Let n = -21 + d. Let l = n + 5. Is -2/7 bigger than l?
False
Let k be 3*((-7)/(-1) + -2). Let r be (-42)/k + 2/(-10). Let s(o) = -o**3 - 3*o**2 + 2*o + 3. Let l be s(-3). Is r greater than l?
False
Let q be 133/8 - (-21)/56. Let b = q + -35/2. Are b and -29 equal?
False
Suppose 165 - 25 = 5*m. Suppose -2*j + 42 = 3*r, 0 = 3*r + r + 16. Is m smaller than j?
False
Let a = -39 - -72. Let z = 32.74 - a. Which is bigger: -1 or z?
z
Let s be (-8 + 13 - 4)*(1 + 0). Is 3/437 < s?
True
Suppose 2*q - 3*f = 106 - 95, -2*f - 1 = 5*q. Which is bigger: q or 1/235?
q
Suppose 5*t = -7*r + 2*r, 0 = -4*r - 3*t. Which is smaller: r or -4/545?
-4/545
Let h = -1678 - -966. Is -710 not equal to h?
True
Let s be (-76)/2*(2 - 12). Suppose -4*l - s - 306 = -x, -4*l - 696 = 4*x. Let z = l + 693/4. Which is greater: z or 1?
z
Suppose 242 + 149 + 29 = 30*h. Suppose 44 - 9 = s. Let b = -20 + s. Is h at most as big as b?
True
Let y = -1002 - -984. Which is smaller: -0.08 or y?
y
Let m be -4*2/(-6) + 2. Let x = 1.997 - -0.003. Which is smaller: m or x?
x
Let k be (-7 + (-58)/(-14))*2. Which is smaller: k or -6?
-6
Suppose 3*q = 3*n + 159, 4*q + 7 = -1. Suppose 2*y + 108 = -2*w - 2*w, -5*y - 2*w - 270 = 0. Is y > n?
True
Suppose 3*o = -3*b - 45, 2*b - 8*o + 16 = -3*o. Let s = -3 - b. Suppose s*l + 12 = 8*l. Which is bigger: l or -5?
-5
Let l = 6.069 + -6.1. Is l <= 2?
True
Let r = 148 + -154. Which is greater: -0.01 or r?
-0.01
Let k be (4 - 51/15)*20. Suppose -15 = 9*t - k*t. Which is bigger: t or 2?
t
Suppose 4*a - 317 = j + 108, 0 = 5*j + 5. Which is smaller: a or 107?
a
Let m = 28 + -27.89. Let q = 0.08 + m. Which is bigger: q or 1/3?
1/3
Let d = -0.0871 - -0.0071. Which is smaller: 44 or d?
d
Let p(z) = 3*z**3 + 38*z**2 + 14*z - 34. Let r be p(-12). Is r greater than 11?
True
Suppose -j = g, 0 = 3*g - 8*g + j - 6. Suppose 5*d + 3*l = -25, -d + 3*d - 5*l = 21. Is d < g?
True
Let o(y) = y - 7. Let c be o(6). Let z(a) be the first derivative of -a**4/2 + a**2/2 - 9. Let b be z(c). Which is smaller: 2/17 or b?
2/17
Suppose -3*b - 10 = 2*b - 5*w, -5*b - 4*w - 1 = 0. Let m be b + (4/(-6) - -3). Is 0 >= m?
False
Suppose 8*b - 4*b = 124. Let v(q) = 2*q**2 + 3*q - 3. Let y be v(-5). Which is greater: y or b?
y
Let w = -420 + 6725/16. Let o = -3/16 - w. Let z be 2/8 - 3/12. Are z and o non-equal?
True
Let z(v) = -4*v - 12. Let m(d) = 17*d + 49. Let s(l) = 2*m(l) + 9*z(l). Let f be s(-10). Do 10 and f have different values?
False
Let h = -5 - -5. Let n be 4/(-8)*(2 + -1)*h. Is 2 at most as big as n?
False
Suppose -9*i + 13*i = 0. Suppose i = -2*m + 3*c + 2*c - 23, -2*m - 2*c = 2. Is m at least as big as -26/9?
False
Suppose 43 = -n - 3*r - 34, -n - 67 = r. Do -62 and n have the same value?
True
Let v be 4/42 - 7106/(-357). Is v greater than or equal to 20?
True
Let q = -612 - -611. Let o = 212 + -1481/7. Which is bigger: o or q?
o
Let l be -12 - -14 - 9/6*2. Which is smaller: l or -116?
-116
Let c be ((-2)/4)/(16/128) - 1. Which is smaller: c or 0?
c
Let h(n) = n**2 + 4*n + 2. Let a be h(-5). Suppose 2*w - 4*v - 18 = 0, -a*v + 3*v - 16 = -4*w. Is w < 2/51?
True
Suppose -3*v = 3*x - 6, 0 = v - 0*x - 2*x - 8. Suppose h - 4 = -m, 0 = -v*m - 0*h - 5*h + 18. Are m and 4 equal?
False
Let f = 1187 - 1188. Let b = 152/9269 + 2/2015. Which is greater: f or b?
b
Let t = 2595 + -2612. Which is smaller: t or -121/7?
-121/7
Let r = 11 - 35. Let a = r + 11. Let j = -11 - a. Is j < -1/7?
False
Let i = 0.5 - -2.5. Let a = 7 + i. Let s = -13 + a. Which is bigger: s or 0?
0
Let n = -5.1 + 4.8. Are n and -18 unequal?
True
Suppose 0 = -18*q - 253 + 37. Which is greater: -10 or q?
-10
Suppose 109 = -s + 2*s + 3*i, -311 = -3*s - 5*i. Which is smaller: 96 or s?
96
Let g(x) = -3*x**3 + x**2 + 1. Let d be g(1). Let w = 14 + -20. Is d >= w?
True
Let f be 2/(-24) - (-221)/204. Which is greater: -4/327 or f?
f
Let f = -1 + 6. Suppose -2*w + f*w = 3. Let x be (-18)/(-90) - 7/(-15). Are x and w nonequal?
True
Let j be (-51)/68 - (-28)/16. Which is smaller: -1/803 or j?
-1/803
Let p(t) = -14*t**2 + 4*t**2 + t**3 + 5 + 2 - 2*t. Let v be p(10). Let u = v + 12. Which is smaller: -2 or u?
-2
Let c = 236 - 236.1. Is -0.15 != c?
True
Let r(n) = n**2 - 3*n + 2. Let x be r(2). Let w = 929 + -926. Are w and x non-equal?
True
Suppose 2*k - 5*a - 339 = 0, 0*k - 2*a = k - 192. Let o be k/49 + 2/7. Suppose -p = -2*x + 15, o*p - 5*x + 51 = 6. Which is greater: -7 or p?
p
Suppose -2*d + 3 = -5*d. Let w be 0/(-4)*6/(-18). Is d less than or equal to w?
True
Let r = -372844/21 + 53614/3. Let t = r - 117. Suppose -2 = -5*n - 3*w - 5, 3*n = w + 1. Which is smaller: n or t?
t
Let g be 629/(-185) - (0 - 2/5). Which is greater: g or -116?
g
Let o be -2 - (-4)/(12/621). Let m = -340 - o. Let g = -14713/27 - m. Is -1 at least g?
False
Let o(k) = -k**3 - 6*k**2 + 3. Let v be o(-6). Let n be v + -1 + (-138)/75. Let z = n - -38/75. Which is smaller: z or 9?
z
Let y = 18 + -11. Let b be (-4)/y*182/(-4). Is 27 >= b?
True
Let g be 13 + -1 - (-2 - -2). Let v(d) = d**3 - 12*d**2 - 9. Let k be v(g). Let b be 9*(-2 + (-24)/k). Which is smaller: 4 or b?
4
Let x be 4/(-14) - 48/(-70). Let q(u) = -u