8/35)/((-5)/275*1). Let o = 15 - -3. Let m be (-6)/2 - j/o. Are m and 0 non-equal?
True
Let g be ((-4)/(-8))/((3/(-4))/3). Let b be (1/g)/(1/4). Let u = 7 + -11. Which is greater: u or b?
b
Suppose 3*o - 18 = 4*g - 933, 4*g + 4*o - 908 = 0. Let t be g/312 + (-6)/4. Is t smaller than 0?
True
Let a = 134 + 14. Let z = 146 - a. Is z >= 0.3?
False
Let c = 6.93 - 6.89. Which is bigger: c or -0.4?
c
Let x be (-1765)/(-460) - 2/23. Let b be 2/(-3)*15/(-2). Is b greater than x?
True
Let c be ((-3)/4)/(((-88)/320)/11). Let j be (-1)/3*c/(-385). Which is bigger: 1 or j?
1
Let c(k) = -102*k + 90. Let o be c(1). Let z be 1 + (-1 - -1) + 5. Let p be (-23)/z - (-2)/o. Which is smaller: p or -6?
-6
Let d be 51/9 - -4*4/(-24). Let f = d - 21/4. Which is smaller: f or 13?
f
Let l = 254 + -244. Is 11 at least l?
True
Let w be (2/(-138))/(230/345). Which is smaller: w or -1?
-1
Let v be 1*(2 + -2) + 4. Let x(k) = 193 - 6*k - 180 + 0*k. Let b be x(2). Which is smaller: b or v?
b
Let l be ((-6)/9)/(1/(-3)). Suppose -3*d + l*q - 19 = 11, -3*q + 27 = -3*d. Are -11 and d equal?
False
Let o be 40/(-90) - (2 + (-319)/9). Suppose f + 34 = 2*f. Which is greater: o or f?
f
Let m be -3 + 8/(-4)*1. Let t(s) = s**3 + 3*s**2 - 11*s - 2. Let r be t(m). Let q be (4 - r)/((-22)/6). Is q bigger than 1?
False
Let f = 2557 + -12572/5. Which is smaller: 43 or f?
f
Let h = -168 - -174. Is h < -1/11?
False
Suppose -2*m = 7*g - 2*g - 25168, -10084 = -2*g - 5*m. Let l = g + -45346/9. Which is smaller: l or -7?
-7
Let l = 4006349/870 - 4605. Let q = l - -121/4350. Which is smaller: 1 or q?
q
Let z(l) be the second derivative of 0 + 2*l**2 + 1/4*l**4 - 1/2*l**3 - 10*l. Let f be z(3). Is 23 > f?
True
Let x be 150675/540 + 2/9. Is x at least 279?
True
Let q(j) = -37*j + 209. Let r be q(4). Is r greater than or equal to 62?
False
Let q(j) = -7*j + 53. Let s be q(7). Suppose -l = 4*t - 12, 21 - 18 = s*l + t. Are 22/19 and l nonequal?
True
Let i be (-6)/(-15) - (-1044)/15. Let y be ((-1)/4)/((-5)/i). Is 5 < y?
False
Suppose -2*v + 6*v - 5*d - 69 = 0, 2*d = -2*v + 12. Suppose 3*n - 13 + 6 = b, -4*b = n - v. Suppose b*q - q + 1 = 0. Which is greater: q or 1?
1
Let v be (-57)/(-18) + (-1)/2. Let k = v - 6. Let b be (60/75)/((-2)/5). Which is greater: k or b?
b
Suppose 0 = 7*k - 35. Suppose 33 + 19 = -4*w + k*l, -2*w - 3*l - 48 = 0. Is w at least -18?
True
Let o = -253 - -3545/14. Let d(y) = y - 1. Let s(x) = -4*x + 3. Let g(m) = -7*d(m) - 2*s(m). Let i be g(0). Is i >= o?
True
Let s = -64.4 + 66. Is 0.2 greater than s?
False
Let a(c) = c**2 - 18*c + 65. Let f be a(14). Is 0.01 <= f?
True
Suppose 0 = -28*g - 0*g + 672. Does g = 24?
True
Let r = 20915 + -355273/17. Let m = -7213/442 + r. Is m <= 1?
True
Let o be (-2)/(2/1) - 0. Let m = -468 + 476. Which is smaller: m or o?
o
Let p(j) = j + 4. Let t be p(0). Let z be ((-3)/4)/(7/t). Let u be 12/5 + -62 + 60. Is z > u?
False
Let t = -2 - -4. Let k(o) = 2*o - 3. Let y(g) = g - 3. Let i(h) = t*k(h) - 3*y(h). Let c be i(-3). Is c <= -2/31?
False
Let w = -0.751 - -0.431. Is w at most 10?
True
Let z be (384/(-20) - -18)*(-1)/15. Is z >= 8/5?
False
Suppose 44 + 28 = 6*v. Let s = 500 + -1468/3. Is v at most s?
False
Let c(u) = 2*u**2 + u. Let n = -21 - -20. Let i be c(n). Let o be 140/(-325) + (-4)/(-10). Is i at least o?
True
Let v = -531.17 - -534. Is v < -0.1?
False
Suppose 4*a - 4*l - 22 = 3*a, -5*a + l + 129 = 0. Is a <= 26?
True
Let h = -1.06 - -0.06. Let k be (8/(-6))/(3/(-45)). Suppose -4*f - k = f. Which is smaller: f or h?
f
Suppose 312 + 668 = -14*c. Is c equal to -70?
True
Let t(v) = -v**2 - 22*v - 22. Let o be t(10). Let r be (-6)/(-57) + 264/o. Is r equal to -1?
False
Let t(m) be the second derivative of m**3/6 - 9*m**2/2 + 9*m. Let b be t(11). Suppose 4*i + 10 = 2*q + i, -i - 2 = -b*q. Is -14/9 at least as big as q?
False
Let q be 3 + (-6 - -5) - (1 - -235). Let w be q/(-14) + (-6)/(-21). Which is greater: w or -1?
w
Suppose -2*m - 5*b + b = 0, -3*m = 2*b + 4. Do -17/12 and m have the same value?
False
Let t be (-1*1)/(3/(-12)*92). Is -1 > t?
False
Suppose -325 - 998 = -7*k. Is 189 <= k?
True
Suppose -57 = 3*w - 3*h, -31 = -5*w + h - 138. Let m = 22 + w. Is m less than -3?
False
Let i = 75 + -151. Let w = i + 58.8. Let z = w + 17. Which is smaller: 2 or z?
z
Suppose 4 = -4*k - 0*k, -2*i - 29 = k. Let u be (-68)/(-7) - 4/i. Suppose -3*m = -2*s - 3*s + 51, -5*s = -4*m - 48. Which is bigger: u or s?
s
Let y be ((-9)/(-2))/((-14)/(-28)). Let s be (32/(-156))/((-6)/y). Which is greater: 0 or s?
s
Let j = -15 + 18. Let s = 0.01 - 0.31. Is s at least as big as j?
False
Let j = 45217/23604 + 2/1967. Let w = j - 5/4. Which is smaller: 2 or w?
w
Let h = -80 - -76. Let j be (h - 336/(-75))/((-4)/(-30)). Which is smaller: 3 or j?
3
Suppose 3*p + 2*c = 6*p - 82, 0 = c - 4. Let n = 156 + -127. Which is smaller: n or p?
n
Let o be -2 + 4 - 12 - 2236/(-221). Let y be -2*2/(-8)*0. Is y bigger than o?
False
Let b = -194 - -155. Let i = b + 38.9. Which is bigger: 0.97 or i?
0.97
Let f(i) = 22*i + 27. Let t be f(5). Suppose t*h - 133*h + 128 = 0. Which is smaller: h or -30?
h
Suppose -3*o + 3 = -24. Let m be 4/(-16) + (o/(-12) - -1). Is m <= -8/19?
False
Suppose -9 = y - 4*h + 14, 85 = -3*y - 4*h. Let n be 9/(-36)*(y - 1). Suppose 12*a = n*a - 45. Is -10 bigger than a?
False
Let i = 3641.87 - 3659. Let a = i + 17. Let o = 3.13 + a. Is o less than -0.1?
False
Let h = -120 - -126. Let m = 14 + -12. Is m at least h?
False
Suppose 36*b - 40*b + 80 = 0. Which is smaller: 27 or b?
b
Let c = 0.024 - -0.176. Let j = 80 + -1358/17. Is j > c?
False
Let q = 7 + -14. Let p(g) = -5*g + 15. Let i(j) = -3*j + 10. Let d(c) = -8*i(c) + 5*p(c). Let f be d(q). Is 1 bigger than f?
False
Let s = -0.008 - 6.192. Let y = s - -1.7. Is 2/5 greater than or equal to y?
True
Let s = -0.08 + 0.78. Suppose 6*r - 5 = -11. Let i be 0/(1 + -4)*(r + 2). Which is greater: i or s?
s
Let m(c) = 2*c**2 - 3*c - 4. Let g be m(3). Suppose 0 = -g*n + 5 + 10. Let r = -4 + n. Which is greater: 4/9 or r?
4/9
Let k be -9 - -9 - (0 - (3 - 28)). Which is greater: k or -24?
-24
Let f = -4.6 - -0.6. Let r = -4 - f. Let a be -1 - (-3)/9*2. Is a smaller than r?
True
Suppose -q = 2*q + 3*s - 39, -82 = -4*q + 2*s. Let m = 27 - q. Let d be (-9 + m)/(2 - -1). Which is bigger: 2/13 or d?
2/13
Let h be 34/12*((-1 - -4) + (-90)/50). Suppose -14 = -4*s + 2. Are s and h nonequal?
True
Let v be 2/(-20) - (-2)/20. Suppose 2*i + v*g = -g + 22, 2*g = 3*i - 33. Suppose j + 3 = -q - 2, -2*q = -j - i. Which is bigger: -31/4 or j?
j
Let a = 8 - 8. Suppose 5*l + 4*m - 557 = 0, 3*l + a*m - 333 = -2*m. Let n = 543/5 - l. Which is bigger: 0 or n?
0
Suppose 3945 - 41 = -8*g. Which is smaller: g or -489?
-489
Suppose 71*k - 66*k = 425. Is 85 less than or equal to k?
True
Let o = -43 - -41. Let c be 72/(-1089)*o/4. Which is smaller: 0 or c?
0
Let q = 8 + -3. Suppose -2*p = p - 5*g - 27, g = -q*p + 17. Let v be ((-22)/6 - -3)/(-2*1). Which is bigger: v or p?
p
Let x = 0.5 + -0.1. Let g = -0.2 + x. Let c = -30.7 - -38.7. Which is greater: c or g?
c
Let n(v) be the third derivative of v**5/60 + v**4/12 - v**3/2 + 6*v**2. Let m be n(-9). Let t = m - 241/4. Which is smaller: 0 or t?
t
Suppose 2 = -y + 3*r - 1, -5*y = -4*r - 29. Suppose -2*o + 5*o = y, d - 2*o + 313 = 0. Let x = -3389/11 - d. Is x greater than or equal to 0?
False
Let s = -3 - -9. Suppose 2*l = s*l. Which is smaller: l or 1/50?
l
Suppose 7697 = -3*l + 8*l + p, p = -3*l + 4619. Let x = -7067/5 + l. Let u = -126 + x. Which is smaller: -1 or u?
-1
Let g = -0.2 - -0.2. Let r = g + 0.2. Suppose 71*a = -2*a + 73. Which is smaller: a or r?
r
Suppose 13*q - 67 + 210 = 0. Let k be 2*(-2)/2 - 9. Is q bigger than k?
False
Let k = -3 - 1. Is 22 at least as big as k?
True
Let b = 9 - 8.9. Is b greater than 83?
False
Let v(x) = -11 + x**3 - 2*x + x + 5*x**2 + 0*x**2. Suppose -5*q - 33 = 4*d, 2*d = -14 + 10. Let f be v(q). Which is bigger: f or -7?
f
Let r = -113 + 574/5. Is r equal to 2?
False
Suppose 6*j + 20 = j. Let y be ((-96)/(-40))/(j/(-10)). Suppose y = o - 0. Is o at least as big as 7?
False
Let g = -195175/89 - -2193. Suppose 5*p + 27 = -0*w + 2*w, 0 = p + 5. Is w at most g?
False
Let g = -1429/21 - -68. Let p(s) = -s**3 - 5*s**2 + 7*s + 6. Let c be p(-6). Is g less than or e