l to w?
True
Suppose -g - 60 = -25. Let k(z) = -5*z**2 + 7*z. Let t be k(-2). Is g greater than or equal to t?
False
Suppose -h + t - 17 = -2*t, -h = 2*t + 27. Let g be 1 + 0 + 0 - (2 - h). Are -26 and g non-equal?
True
Let o be -6 + (7 - 2) + 28. Is o not equal to 27?
False
Let o = -233/5 - -47. Let a = 1 + -1.1. Let d = a + 0.1. Which is bigger: o or d?
o
Suppose 4*r - r - m - 13 = 0, -5*m - 5 = 0. Let a be (-4)/(-40)*5*(2 - r). Is -2/137 at least as big as a?
True
Let m be -1 - ((-64)/66 + 0). Let p = 2392 - 2392. Which is smaller: m or p?
m
Let x be (-9)/7 - 2/(-7). Let b be (-3748)/336 - (-1)/(-6). Let i = b + 47/4. Is i greater than x?
True
Let g = -0.22 - -0.02. Let f = g - 0.6. Is -2/7 != f?
True
Suppose -m = 185 + 31. Let d be ((-54)/m)/(0 + (-10)/8). Which is smaller: d or -11/7?
-11/7
Let h = -7 + 1. Let i = -7173 + 7173. Which is bigger: i or h?
i
Let q be 7 + 3/(390/290). Which is greater: 8 or q?
q
Let v = 0.9 + -64.9. Let r = v + 58.94. Let y = -0.06 - r. Which is smaller: y or 4?
4
Suppose -5*f = 2*v + 5 - 30, 10 = 2*v. Suppose f*x - 5 = -a - 0*x, 0 = 3*x - 6. Let i = -249 + 1733/7. Which is bigger: i or a?
a
Suppose r - 3*m - 27 = 0, -r - 4*m + 20 = -0*r. Let v be (r/9)/4*12/212. Which is smaller: 0 or v?
0
Let o be (-1299)/315*3 + 2/(-10). Let q = o - -4671/371. Which is bigger: q or 1?
1
Let f = -1058 + 566. Is f not equal to -491?
True
Let l = 554 - 437. Is l > 115?
True
Suppose -3*p - 1 = -0*p - 2*g, -2*p = -5*g + 19. Suppose -4*w + p*w = 0. Which is greater: 1 or w?
1
Let x(c) = 3*c - 3. Let t(z) = 2*z**2 + 2*z - 2. Let d be t(-2). Let j be x(d). Is j at most as big as 1?
False
Let c = 13637/1540 + 33/140. Let b = c + -13289/1463. Is b at least -1?
True
Let d = 1309 + -1308. Which is bigger: 3/40 or d?
d
Let f = -292 + 291. Is f bigger than -29?
True
Let w = -5 - -5.1. Suppose 6*p - 5 = p. Let o be ((-4)/(-8) + p)*-8. Which is smaller: w or o?
o
Let b = 16 + 9. Let c = -26 + b. Which is smaller: c or 1/5?
c
Let m = -6.32 - -41.42. Let o = m - 35. Which is smaller: o or 13?
o
Suppose -4*h + 10 + 10 = 0. Suppose 0*l - h*n - 44 = -2*l, l - 27 = 5*n. Suppose -3 = 4*m + l. Are 3 and m nonequal?
True
Let i = 575 - 931. Is 1 greater than i?
True
Let p = 17221/8 + -2158. Which is bigger: p or -5?
-5
Suppose 19 = 4*z + 3. Let v be (-1)/(-3) - z/(-6). Let m = 154/93 - 10/31. Is m >= v?
True
Let r = -29 + 13. Let s(g) = 46*g**2 + 45*g**2 + g - 92*g**2 + 25. Let x be s(7). Is r less than or equal to x?
False
Let r = -14 + 14. Let l be (((-12)/(-128))/3)/(-1). Is r < l?
False
Let d = 122/9 - 12191/900. Is -1 at least as big as d?
False
Suppose -18*g - 8 + 44 = 0. Is -35 < g?
True
Let w(n) = -33*n**3 - 9*n**2 + 5*n + 1. Let t be w(1). Which is bigger: t or -40?
t
Suppose -2*x - g = 1890, -4*g = -3*x - 2744 - 91. Are x and -943 unequal?
True
Suppose -3 + 15 = 3*j. Suppose -j*b - 33 = -3*o, b - 6*b = -5*o + 35. Let d = -41 + 29. Are d and b unequal?
False
Let r(q) = -q**3 - 14*q**2 - q - 3. Let y be r(-14). Let h = y + -9. Let w = 8 - h. Do w and 17/3 have the same value?
False
Let v(x) = 23*x + 398. Let g be v(-8). Which is greater: g or 216?
216
Let i be (-3)/((12/(-18))/(4/18)). Let u be 4*(i - 4 - (-3 + 4)). Suppose 5*s + 85 = l, -5*s - 17 - 38 = 5*l. Is s < u?
False
Suppose -2*h + 3*t = -18 - 16, 3*h - 41 = 2*t. Suppose h*k + 18 = 14*k. Is 6 at most as big as k?
True
Suppose z - 120 = -4*z + 5*u, -4*u = -12. Is z at most -1?
False
Let f = 4.03 + 27.97. Is 1/11 at least as big as f?
False
Let w = -0.1657 - -0.0657. Is -1/199 equal to w?
False
Suppose -12 = 742*p - 736*p. Let o(t) = -t**2 + 4*t - 2. Let k be o(3). Which is greater: k or p?
k
Let b be 144/180 - (-2022)/10. Is b at most as big as 203?
True
Let x be ((-42)/(-28))/((-18)/(-4) + -3). Is x >= 2/57?
True
Suppose 0 = 3*j - j. Let s = 53.49 - 66.49. Is s > j?
False
Let l be 2/3 + (-1112)/(-78). Let s = l - 15. Let k = 195 + -196. Which is smaller: s or k?
k
Let d be 0/1*8/(-16). Let m be (0 + 0/1)/(d + -2). Is m <= -2/37?
False
Let s be -19 + (5 - 10) - -2. Which is bigger: -24 or s?
s
Let i(c) = -c**3 - 31*c**2 - 18*c + 88. Let o be i(-30). Which is smaller: o or -271?
o
Let b be 1/(-2)*(-196)/154. Let r(g) = 6*g - 94. Let i be r(16). Is i smaller than b?
False
Let w be 5 + (-2 - -11)/(-3). Let y be w/6*(-21)/(-1). Suppose y*t - 3*t = 0. Which is smaller: 1 or t?
t
Let j be (4 + 1 + 5)/(-3 + 1). Let c be (26 + j)*1/(-1). Which is bigger: c or -19?
-19
Let g = 109/88 + -51/40. Suppose -17*k + 16*k - 125 = 0. Let v = k - -126. Is v equal to g?
False
Let w = 23.5 + -25. Let k = w - -4.5. Let h = 0.08 + -0.38. Which is smaller: k or h?
h
Suppose 6*v - 3*v = 5*s + 17, -5*v - 5*s = 25. Suppose 1677 = 18*l - 21*l. Let t = l - -11741/21. Is t greater than v?
True
Let r(k) = -k**2 + 6. Let o be r(-3). Let x be (o/(-99))/((-3)/(-9)). Which is smaller: 1 or x?
x
Suppose 0 = 4*r + 4*s - s - 10, -3*s + 14 = 5*r. Is r greater than 4?
False
Suppose -8*k + 13 + 19 = 0. Suppose 0 = -k*u + u - 3. Which is greater: u or 30?
30
Suppose -9 = -2*k + 13. Let r(o) = -16*o**3 - o**2 - o. Let j be r(-1). Let l = k - j. Is l less than or equal to -6?
False
Suppose 29 - 10 = 19*s. Which is smaller: 22 or s?
s
Let q = 12 + -17. Let n = -137 - -547/4. Which is bigger: n or q?
n
Let z = -10 - 1. Let h = 13 + z. Let j be (-6)/9*h/4. Is -1 greater than or equal to j?
False
Let p be ((-1)/(-8)*1)/((-66)/36). Which is greater: 0 or p?
0
Let c(w) be the second derivative of -w**3/6 + 13*w**2/2 + 12*w. Let p be c(8). Suppose -2*v + 3 = 1. Which is bigger: v or p?
p
Let v be 4/2 - (-86)/(-2). Let d(o) = -o**2 + 36*o - 222. Let i be d(6). Do v and i have the same value?
False
Let t = 55 + -27. Let l = t - 28.7. Is 0.1 <= l?
False
Let l = 0 + 0.2. Let b = 4499 - 4479. Are l and b non-equal?
True
Suppose -2*t - 145 = 2*j + j, 0 = j + 3. Is t at most as big as -67?
True
Suppose 0*l = l + 5*t - 13, 5*l = -4*t + 44. Let n(b) = -b**3 + 7*b**2 + 13*b + 1. Let p be n(l). Is p != 40?
True
Let d = 2/33131 + 96295/51319919. Which is smaller: d or 0?
0
Let k(v) = v**2 + 5*v + 3. Let n be k(-3). Let c = -239 + 238. Which is bigger: n or c?
c
Let d = 10.2 - 8.2. Let x(c) = -4*c**3 - 4*c**2 - c + 1. Let w(l) = -l**3 - l - 1. Let s(z) = -3*w(z) + x(z). Let u be s(-4). Which is smaller: u or d?
u
Let j(c) be the first derivative of -c**3/3 - 5*c**2 - 7*c - 4. Suppose a + 2*a = -27. Let h be j(a). Which is smaller: 0 or h?
0
Suppose -z - 11 = 11. Let v = 10 + z. Let a be 2 - (v/(-10) - -1). Which is bigger: a or 0?
0
Let g(i) = -i + 11. Let b be g(9). Suppose 4 - 2 = b*c. Let r be c + (-2)/(4/6). Is -7/6 > r?
True
Suppose -5*q = -0*i + 5*i - 330, 4*q - 5*i - 282 = 0. Suppose -3*g = -2*u - 199, -2*g + 101 + 85 = 12*u. Which is smaller: q or g?
q
Let a(d) = -15*d + 33*d + 65 - 12*d. Let v be a(-22). Is v less than -67?
False
Suppose -4*b - y = -2*y + 9, 0 = 5*y - 5. Let w be b/(-3)*(1 - -8). Let g = 4482 + -4479. Which is greater: g or w?
w
Let t = 0.9 - -0.1. Let i = -8 - -7.3. Let a = t + i. Which is bigger: a or 2/7?
a
Let g = 11 + -6. Suppose -3*p = -5*m - 6, p + 2*p + g*m = 6. Let c be (4 - (p + 2))*-1. Which is smaller: c or -6/11?
-6/11
Let s = 444 + -281. Suppose 4*n - s + 56 = -3*x, n - 31 = -5*x. Which is smaller: 28 or n?
n
Let a be 125/7 + (-3)/(-21). Suppose -a*h + 13*h = 60. Let o be h/(-9) + (-2 - -1). Which is greater: o or -0.4?
o
Suppose r + 65 = -2*o + 19, 5*r + 20 = 0. Suppose -13*t - 38 - 170 = 65. Is t smaller than o?
False
Let m(x) = -x**3 - 5*x**2 + 4*x - 5. Let l be m(-4). Suppose 250 + 16 = -7*n. Is n bigger than l?
False
Let d = -3 - -1. Let w(f) = 9*f + 42. Let b be w(-5). Are b and d equal?
False
Suppose 2*i - 3*i + 9 = 0. Let x be ((-3)/i)/(3/(-18)). Let q be (-42)/(-36) - x/4. Which is smaller: -2/11 or q?
-2/11
Let v = 18.7 - 36.3. Let n = v - -18. Let t = -6.4 + n. Which is smaller: 0 or t?
t
Suppose 5 - 1 = 4*j. Let h be ((-539)/112 - -7) + -2. Which is smaller: j or h?
h
Suppose 4*h + 40 = 5*h. Let g = h - 74. Is -33 equal to g?
False
Let i(r) = -r**3 + 7*r**2 - 7*r + 8. Let n be i(6). Suppose j - 18 = 3*s, 4*s - 3*j = -n*j - 23. Is s != -5?
False
Let o = 50 + -35. Suppose -o = 5*m - t, 0 = m - 4*t + t - 11. Let p = -7 + 10. Is m != p?
True
Let u = 0.087 + -0.1458. Which is bigger: 2/9 or u?
2/