3*(0 + -6)/(-6). Which is greater: b or -87?
b
Let o be ((-9)/18 - 6)*(-114)/(-1). Is o != -741?
False
Let m = -110 + 114. Is m smaller than -23?
False
Suppose 4*y = 3*a + 1, -y + 6*y - 10 = -5*a. Is -5/113 at least as big as a?
False
Let a be (-16)/18 - 6/(-9). Let b = 237 + -4261/18. Let l = b - a. Which is smaller: 2 or l?
l
Let l = -375 - -403. Which is greater: 27 or l?
l
Suppose -24*n = 32*n - 68880. Is n at most as big as 1229?
False
Let n be (23/(-1449))/(1/6). Are 28 and n equal?
False
Suppose -146 = -7*b - 13. Let v = b + -24. Let a = -5 - -3. Is a smaller than v?
False
Suppose 17*r + 58 = -4*j + 12*r, -2*j = 4*r + 26. Which is greater: j or -22?
j
Let a = 2.049 + 133.851. Let f = a - 136. Is -27 > f?
False
Let a = 1 + -1. Let o = 44 + -44. Let x be 45/60 - (10/8 + o). Is a < x?
False
Suppose -15*y = -18*y - 18. Is -7 less than y?
True
Let z be 1/5 + (-1014)/(-30). Let c be (-4)/176*(-96)/z. Let l = c - -2/17. Which is greater: l or 1?
1
Let h(q) = -q + 11. Let f be h(7). Suppose -f*n + 0*n + 40 = 0. Let l be (-1 - (-14)/n)*-5. Is 0 at least l?
True
Let j = -424 + 426. Let q = 1 - 2. Let i be 1/(q - (-1)/j). Which is greater: -6/11 or i?
-6/11
Let u = -388/39 - 4035/13. Which is bigger: u or -320?
-320
Let o = 1/1986 + -11959/85398. Let d = o + 140/387. Suppose 0*j - 1 = -j. Which is bigger: d or j?
j
Let j(m) = 23*m - 1. Let d be j(6). Suppose -3*n + d = -523. Let k be (16/n)/(8/20). Which is bigger: 0 or k?
k
Let u = -27.4 - 100.6. Does -1 = u?
False
Let n be (166/(-24))/(((-77)/(-28))/(-11)). Which is greater: 28 or n?
28
Suppose -22*b + 4*b = 3240. Which is greater: b or -179?
-179
Let u be 6 + 9/(-3) - 275/91. Which is bigger: 1 or u?
1
Let k(v) = 2*v**3 - 13*v**2 - 3*v - 12. Let u be k(7). Which is smaller: -1 or u?
-1
Let d = -5 + 1. Let p(g) = g**2 + 5*g + 1. Let i be p(d). Let o = i + -3. Which is greater: o or -5?
-5
Let r = 1421 + -1420. Is 26/43 at most r?
True
Let u be (-1206)/(-15) - (-4)/(-10). Let y be (-10)/4*u/50. Is -3 equal to y?
False
Let c = 992/7 - 141. Is 1 less than c?
False
Let n be (3/12)/((-1)/(-4)). Suppose -3*o + 2 = -n. Let d(g) = 2*g**2 + g - 1. Let x be d(1). Is o greater than x?
False
Let i = -14.2 + 121.2. Let o = i - 106.89. Is 3 > o?
True
Let o = -106.2 - -106.2. Are -14 and o nonequal?
True
Let b = -130 + 185. Suppose -k - 4*k + b = 0. Which is bigger: k or 10?
k
Let y = -5681/77771 + 12/937. Which is bigger: 1 or y?
1
Let i = 110 + -111. Which is smaller: i or -6/83?
i
Let k = 146/105 + -2/35. Which is smaller: k or 4?
k
Let b = 278 + -68. Let a be (-3 + b/77)*4/(-6). Is a at most as big as 5/6?
True
Let n = 4643/582435 + -3/1849. Let h = 928 - 929. Is n bigger than h?
True
Suppose -i - 5*q = -13, -q = -2*i + 4*q - 4. Is 4 less than i?
False
Let z(b) = -b**3 - 14*b**2 - 11*b + 29. Let l be z(-13). Suppose d = 4*x + 31, 0 = 2*x - l*d - d + 12. Are x and -7 equal?
False
Let z be 3*4/36 + (-2)/(-3). Let k be 272/2208 + z/(-6). Is -1 > k?
False
Let o(p) = -p**3 + 4*p**2 - 6. Let a be o(4). Let u be a*1/(-8)*12. Suppose 5*b - 16 = -g, 5*g - u = -4*b + 8. Is g < 2/57?
False
Let c(b) = -b**3 - 10*b**2 - 10*b - 6. Let i be c(-7). Let n = -83 - i. Are n and 1/6 nonequal?
True
Let h be 12 - 8/(3 - -1). Suppose 0 = 5*q - 0*q - 145. Suppose -3*j - y = -q, y + y - h = 0. Is 8 <= j?
True
Let k = -36 + 17. Let j(n) = -6*n**2 - 2*n + 2. Let g be j(-2). Let w = g - k. Does -1 = w?
False
Let k = 567 + -567. Which is smaller: 29/21 or k?
k
Let k be (78/65)/(6/260). Suppose -4*l - 2*c = 24, -4*l + 8 - k = -3*c. Suppose -40 = -0*b + 5*b. Is l bigger than b?
False
Let o be -2*9/(-12)*-6. Let t = -14 + 14. Let j = t - o. Is 9 greater than or equal to j?
True
Let y = 403 + -369.8. Let b = y + -33. Which is smaller: 1 or b?
b
Let w = 34 + -32. Let a be 4/6 - (-4)/12. Which is greater: w or a?
w
Let s = 287313/875 + -2298/7. Is s at most as big as -1?
False
Let k be (-33)/38*4/12. Which is smaller: k or -1?
-1
Let w = 1/201 - 409/1407. Let y(i) = i**2 - 7*i + 3. Let a be y(3). Let z(s) = -2*s - 17. Let x be z(a). Which is smaller: w or x?
w
Suppose -5*y - 5*a = 6 - 1, -3*y + a = -5. Let o be (y/2)/((-5)/20). Let s be (-4)/3*(-1 - o). Which is smaller: -1 or s?
s
Let n be 34/(-6) + 17 + -12. Which is bigger: n or 113?
113
Let o(q) = q**3 + 7*q**2 + 7*q + 7. Suppose 0 = -3*y + 8 + 7. Let g = y + -11. Let u be o(g). Is 1 smaller than u?
False
Let h = -33 + 48. Let y = -41 + 25. Let s = y + h. Which is smaller: 0 or s?
s
Suppose -19*i - 3 + 3 = 0. Is i at most as big as 9/50?
True
Let t be (-11)/(-66)*12/(-8). Is 142 < t?
False
Let a(j) = 29*j + 406. Let p be a(-14). Which is smaller: -4/117 or p?
-4/117
Let t = -14 - -14.07. Let m = -7.93 - t. Let k = -8.2 - m. Which is greater: k or 1/4?
1/4
Let v be (-4 - (5 - 14)) + -18. Let l(p) = -p**3 - 13*p**2 - p - 11. Let i be l(v). Which is bigger: i or 3?
3
Let a be -14 + 1352/72 + 1/(-1). Which is smaller: a or 3?
3
Let a = 6 + 2. Suppose 48*o - 40 = 44*o. Which is smaller: a or o?
a
Suppose 8*c - 3*c + 5*l = 75, -4*l = 5*c - 73. Let m be 26/(-91) + 186/14. Is c less than m?
False
Let h = -518.39 - -519. Is -1 not equal to h?
True
Let j = -0.32 + -32.68. Let q = j + 33.5. Is q greater than -0.1?
True
Let u = -72 + 75. Suppose -4*g - 4 = 2*c, c + 2 = u*g - g. Which is smaller: g or 9/14?
g
Let s(c) = -c**3 - 14*c**2 + 52*c + 26. Let x be s(-17). Is x less than or equal to -12?
False
Let u = -156.6 - -158. Which is smaller: u or 0?
0
Let u = 462 + -461. Is -10/99 not equal to u?
True
Suppose -14 = 5*j + 6. Let a(c) = 3*c + 6. Let n be ((-6)/2 - -5)*1*-2. Let r be a(n). Is r bigger than j?
False
Let c(m) = 3*m**2 - 3*m + 1. Let u be c(2). Suppose 2*n + 31 = s - 104, 0 = -3*n - 2*s - 220. Let x be (u/n)/((-2)/8). Which is smaller: x or 6?
x
Let j be 4/(-14) - 741/(-21). Suppose -7*f + 12*f = j. Is f > 8?
False
Let m = -1 + 1. Let i(x) = x**2 - 16*x - 1. Let a be i(11). Let h be 30/a + (-8)/(-28). Which is bigger: h or m?
m
Suppose 4*d + 14 = -46. Let y = 10 + d. Suppose -11 = z + 3*r, 5 = 4*z - r + 10. Is z <= y?
False
Let t = 637 + -3188/5. Is 2/113 less than or equal to t?
False
Suppose -f = -2*f. Let h be (f + -3)/(-6)*0. Suppose -2 = -w - 3. Does h = w?
False
Let l(w) = -w**2 + 5*w + 4. Let n be l(5). Suppose 0 = -9*a + 11*a. Suppose -2*i - 2 + 4 = a, -3*q + 9 = 3*i. Which is smaller: n or q?
q
Let d = 3.62 + -4.1. Let b = d + 6.48. Is -4 bigger than b?
False
Let a(q) = 10*q + 6. Suppose 3*j = -0*j - 9. Let y be a(j). Let v be (-10)/5 + (-46)/y. Is v >= 1?
False
Let f(j) = -j**2 - 16*j + 43. Let g be f(-17). Let t(u) = u**3 - u + 25. Let p be t(0). Is g less than p?
False
Let v(p) = -p**2 + 9*p - 9. Let g be v(9). Let b be (-596)/g - (-4)/(-72)*4. Which is smaller: b or 65?
65
Suppose -133*o + 4 = -134*o. Let h be (-2)/(-72)*o*9/(-2). Let b = -1829/9 + 203. Which is bigger: b or h?
h
Let p = -3.2 + 3. Let m = p + 0.22. Which is bigger: -2/7 or m?
m
Let g = 0.0682 - 0.0422. Is g equal to 2/9?
False
Suppose -5*m - 5*z + 10*z = 215, 0 = -4*m - 5*z - 154. Let b = 41 + m. Is b less than -1/36?
False
Suppose 5*q - 64 = -m + 10, 5*m - 34 = -q. Is q at least as big as 51/4?
True
Suppose -4 = y + 5*j, -3*y + 11 = 5*j - 7. Let m = -67/6 + y. Is 1 != m?
True
Let m be (-7)/(35/(-25)) + -744. Is -0.1 > m?
True
Let r be 45/(-27) - 740/(-12). Which is bigger: r or 538/9?
r
Let q = 0.14 + -2.14. Let k = 12.2 - 10. Is k < q?
False
Suppose -68*p - 92 - 792 = 0. Which is smaller: -2 or p?
p
Suppose 5*j - 4*j - 1 = 0. Let r be 32924/14 - (-60)/210. Let d be 4*2/36 + r/(-9612). Is j bigger than d?
True
Let p be -4 + (-1 - -3) + -3. Let i be (-4 - -48) + p - 3. Is 34 equal to i?
False
Suppose -6*u + 107 = 359. Let b = u - -42. Which is smaller: b or -2?
-2
Let n = 422701/116 - 3644. Which is bigger: n or 0?
0
Suppose 4*a = -5*j + 5, j - 4*a - 5 = -4*j. Suppose g = 13 - j. Is 11 greater than g?
False
Let k be ((-29)/(-8))/(270/40). Let q = k + -1/27. Is q greater than 1?
False
Let w = -30 + 29. Is w equal to -30?
False
Let x(c) = 9*c + 149. Let g be x(-17). Do -4 and g have different values?
False
Suppose -18 = -q + 4*g, -12 = -2*q - 2*g + 4*g. Which is smaller: -2 or q?
-2
Let b(h) = -3*h + 11. Let k(g) = g**2 + 3*g + 2. Let f be k(-5). Let y be b(f). Let z be 6/(-15) - 85/y. Are 8/3 and z equal