w - d*m. Are w and -8/7 non-equal?
True
Suppose -62*j + 12 = 74. Is 635 at least j?
True
Let z = 27107/44660 - -2/11165. Let x = 6/7 - z. Does 3 = x?
False
Let y = -43 - -97. Suppose -4*c = 5*b - 3*b - y, 4*b = 20. Let d be ((-10)/(-8))/(1/8). Which is greater: c or d?
c
Let w(p) = -8*p + 32. Let j(g) = g**2 - 9*g - 18. Let m be j(11). Let b be w(m). Is -2/157 >= b?
False
Let o = 0.022 + 21.978. Let r = o - 22. Which is smaller: r or -5?
-5
Let l = 42 + -44. Let y be (l*9/4)/((-10)/4). Which is bigger: y or 1?
y
Let q = 27.24 - 27. Let w = q - 0.24. Which is smaller: w or 18?
w
Let i be (-32)/4 + 47 + 1 + 2. Which is bigger: i or 39?
i
Suppose 2*f + 0*i - 16 = -2*i, 3*f + 5*i - 22 = 0. Let m be (-162)/f*(-2)/6. Suppose -5*h = -m + 1. Is h less than 2?
True
Let i be (-14)/(-372)*(-37)/(-259). Is -2/3 bigger than i?
False
Let b = -12 + 12. Which is bigger: b or -2/241?
b
Suppose 2*c = 2*z + 24, -z = -2*z + 1. Let g be c - 13 - 2/(-47). Which is smaller: g or 0?
0
Let k = -7 - -15. Let d = 2 - -2. Let x(n) = -n**2 + 5*n - 3. Let p be x(d). Which is smaller: p or k?
p
Let c = 0.6 - 0.6. Let p = -174/5 - -172/5. Which is smaller: c or p?
p
Let t = 4 - 6. Let s be ((-380)/(-44) + -9)/((-2)/(-5)). Is s != t?
True
Let f = -9.9 + 9.993. Let j = f - -0.907. Is j less than -0.01?
False
Let g = -8/919 + -35785/6433. Let z = 34/7 + g. Which is smaller: 0 or z?
z
Let c = -1191/188 + 98/47. Is c greater than -3?
False
Let u be 1*9 + -2 + 1. Let z be (-10 + 554)/17 - 19. Is z smaller than u?
False
Let h(i) be the first derivative of -i**3/3 - i**2 + 2*i + 6. Let s be h(-3). Let k(u) = 2*u**2. Let f be k(s). Is f greater than 1?
True
Suppose 4*q - 35 = 13. Let j = 11 - q. Is j greater than -3?
True
Suppose -47163 = 132*r + 156381. Which is smaller: 0 or r?
r
Suppose -6*q - 16 = -94. Is q greater than or equal to 5?
True
Let p = -1666 + 1652. Which is smaller: 0.3 or p?
p
Let r(g) = g**2 - g + 49. Let a be r(-11). Is 180 <= a?
True
Let u be (-2 + 7)/(-146 - (10 + 1)). Which is bigger: u or -1?
u
Let r be (-1 + 1*27)/(64 - 63). Suppose 3*n + 3 = -6, 0 = 5*p + n - 117. Is r < p?
False
Let g = -30.5 + -14.5. Let d = -46 - g. Is 0.3 not equal to d?
True
Let y = -24.86 + 26. Let k = y - 1.36. Is -1/4 != k?
True
Let u(f) = 28*f + 1136. Let i be u(-27). Which is smaller: 383 or i?
i
Let i(m) = m**3 - 5*m**2 + 3*m + 5. Let q be i(3). Let k be ((-10)/3 + 3)/(q/(-10)). Is k bigger than -1?
True
Let i = -1.547 - 0.213. Does i = 0?
False
Let t be (-6 - -2) + (4 - 6/(-27)). Let q be -2 - ((-26)/(-1) - 2). Is t greater than or equal to q?
True
Let m be 0 + -5*4/(-150). Let j = 14 - 13. Let t be (-11 - -9) + j + 0. Is t > m?
False
Let s = 2.69 + -1.69. Which is smaller: s or 51/5?
s
Let f(a) = -3*a + 26. Let n be f(6). Let k = -3 + n. Is 5 greater than k?
False
Let f be ((-8)/(-10))/((-7)/(-35)). Let v be 1/((-5 + f)*-1). Let i(k) = -2*k - 5. Let b be i(-4). Which is smaller: b or v?
v
Suppose -r = 151 - 8. Let t = r - -98. Is -44 != t?
True
Suppose -55 = 2*k + 15. Let y be 15/k + (-11)/7. Let v be 3 + y/((-2)/(-3)). Does 2/27 = v?
False
Suppose -g - 2*g = -30. Let s(t) = -3 - 10*t**3 + g*t**2 + 9*t**3 + t - t. Let w be s(10). Is w < 2?
True
Let l = 40.8 + -41. Is 0.053 > l?
True
Suppose 2 + 2 = 4*y. Which is smaller: y or 14/9?
y
Let x(d) = 6*d**3 - 7*d + 6 - 4*d**3 - 4*d**2 - d**3. Let n be x(5). Let b = 8 + n. Is b less than or equal to 2?
False
Suppose -3*q + 5*i = -2*q + 58, 2*q + 4*i = -46. Are -32 and q unequal?
True
Let l be ((-12)/(-266))/(5251/2632 - 2). Let i = l + 129/13. Which is greater: i or 1?
1
Suppose -4*t - 34 = 22. Let n be (-4 - -2)*(-7 - 21/(-2) - -3). Which is smaller: t or n?
t
Let f = -2378 - -2389. Let r be (-6)/(-4)*20/3. Is f not equal to r?
True
Let r(z) = 9*z. Let d be r(-2). Let c be 6*((-6)/d + 10/(-6)). Which is bigger: -11 or c?
c
Let z = -45/67 + 31321/46833. Which is smaller: z or 0?
z
Let p be 5 + -4 - (2 - 0). Let r = p + -42. Is -43 less than r?
False
Let z = -1.6 - 8.4. Let t = z + 25. Let x = 15.1 - t. Are x and -0.01 non-equal?
True
Suppose 190 = w - 238. Suppose 3*q - 4*b - 320 = 0, -5*b = 2*q - 6*q + w. Suppose y - 5*y + q = 0. Is 29 != y?
True
Let d = -8667/5 + 1740. Let f = d + -683/105. Suppose -5*j + 2 = -3*j. Which is smaller: f or j?
f
Let p be ((-65)/39)/((-402)/(-68)). Let n = p + 4/67. Is -1/6 > n?
True
Let o(j) = -j**3 + 5*j**2 + j - 3. Let l(c) = 2*c - 9. Let u be l(7). Let b be o(u). Suppose -7 = -4*i + 7*i - 4*x, -2*i = 4*x - b. Which is smaller: -1/4 or i?
i
Let w = -1730 - -1724.7. Which is smaller: w or -0.2?
w
Let p be (-3)/(-2)*8/(-12). Let m be -2*(-3)/(-366)*1. Let c = 135/793 + m. Which is smaller: p or c?
p
Let q be 10 + -2 + -3 + 1. Suppose 0 = -3*c - 5*n + 15, -3*c - 4*n + 6 = -q. Is -60 smaller than c?
True
Let x be 1 + (-3 - -8)/(-5). Let m be (-56)/301*-32 + -6. Which is bigger: m or x?
x
Let n(r) = -4*r**3 - 2*r**2 + r - 6. Let l be n(2). Which is greater: -43 or l?
-43
Let f be (-3)/3*(-1)/1. Is 5/23 less than or equal to f?
True
Let b be 7/1 + -3 + (-220)/50. Which is smaller: -29/15 or b?
-29/15
Suppose 9*d - 6*d - 3 = 0. Is d equal to 166?
False
Let t(h) be the third derivative of -h**6/120 + h**5/60 + h**4/24 + 4*h**2. Let l be t(2). Let o = l - -1. Is 1/5 > o?
True
Let s = -10.34 + 2.34. Which is smaller: s or -6?
s
Let y be (-2 - -3)/(1/(-18)). Let j = 696 + -713. Which is greater: j or y?
j
Let z(x) = -29*x. Let a be z(6). Let h be (72/21)/(-6) + a/14. Is -13 at most as big as h?
True
Let s = -67/3 + 26. Suppose 0 = d - 4. Which is bigger: d or s?
d
Suppose 112 - 108 = 4*b. Let g be (4*3/1644)/b. Which is smaller: g or 0?
0
Let s(i) = 1. Let z(o) = -o - 11. Let a(v) = 5*s(v) + z(v). Let j be a(-6). Let b = 2822/31 - 91. Which is smaller: b or j?
j
Suppose 3*b + 166 = 2*d, 40*d = 38*d - b + 158. Is 2/5 < d?
True
Let j(p) = 6*p - 2. Let s be j(2). Suppose 0 = 5*m + 1197*g - 1193*g - 52, -5*g = -4*m + 17. Which is greater: m or s?
s
Suppose s + 0*s = -1. Suppose 48 = 2*a + 56. Let d be 3 + (-3 - (-5)/a). Is s at least d?
True
Suppose 0 = g - 2*b - b - 16, -2*g = b - 67. Let s = -30 + g. Are 0 and s equal?
False
Let l be (-15)/(-6)*16/20. Suppose -1 = 3*v - x - 2, -l*x = -5*v + 2. Is v >= -2/9?
True
Let r = 0.235 - 0.635. Is r bigger than 213?
False
Suppose -9 = -10*t + 13*t + 5*m, -3*t + 2*m = -12. Let c be ((-2)/10)/(-1 + 3). Is c >= t?
False
Let a be (20/16)/((-10)/(-4)). Which is smaller: a or 4/23?
4/23
Let k(q) = -2*q**3 + 4*q**2 - q + 1. Let u be k(-3). Let p = -660/7 + u. Suppose c = -4*c. Which is smaller: p or c?
p
Let m = 8 - -4. Let v = m + -12. Let o = v - 0.8. Which is bigger: 0.1 or o?
0.1
Suppose -5*v + 22 = -8. Let n be (5 - 1)/(v/(-9)). Let b(f) = -f**2 - 6*f + 1. Let r be b(n). Which is bigger: -3/11 or r?
r
Suppose -38*y + 16 = -42*y, -9 = -5*c - 4*y. Suppose b + 1 = -0*b. Let l be (4/(-5))/(b/5). Is c bigger than l?
True
Suppose 0 = 5*m - 5*b - 145, -83 = 2*m - 5*m + 4*b. Let u = m - 28. Is u <= 1?
False
Suppose -4*o = -9*o - 5, 5*o + 7 = -2*v. Is v <= 9/49?
True
Let a = -5 - -7. Let f be 15/20*40/a. Suppose 4*x = f + 5. Is x equal to 4?
False
Suppose 20*n + 4 = -16. Which is bigger: -3/139 or n?
-3/139
Let p = 0.01 - 0.11. Let b(y) = -y**3 + 14*y**2 - 15*y + 2. Let f be b(13). Let o = f + 26. Is p greater than or equal to o?
False
Let g = 34560 + -8467188/245. Is 0 not equal to g?
True
Let c(i) = 2*i**2 + 2*i + 8. Let w be c(-7). Suppose 2*j - w = 6*j - 4*m, -4*j = -m + 104. Let l be (-6)/j*6/4. Is l at least as big as 1?
False
Suppose 20*n = 24 + 96. Is 15 at least n?
True
Let b = 2.7 - 1.07. Let f = b - 0.43. Does f = -4?
False
Let k = -1544 + 4709/3. Which is greater: 25 or k?
k
Let v(r) = 13*r - 6. Let l be v(-3). Let d = l + 87/2. Suppose 18 = -5*a + 2*j, -4*j + 20 = -4*a + 2*a. Is a <= d?
True
Let c be (-6)/(-15)*(-5 + 0). Let q(v) = v**3 - 7*v**2 + 11*v - 6. Let m(u) = 5*u**3 - u**2 + u. Let y be m(1). Let w be q(y). Is w bigger than c?
True
Let o = 36794/1735 - 12/1735. Which is smaller: o or 21?
21
Let n(c) = c**2 + c - 19. Let p be n(5). Is -7 > p?
False
Let u = 17 - 16. Let m be (-1131)/(-2535) - 6/10. Which is smaller: m or u?
m
Suppose 3*y + 31 = 10. Let d = y - -10. Let t be (d/(-9))/(20/12). Which is smaller: t or 0?
t
Suppose -5*p + 2*p - 2 = t, 5*t = p - 10.