 or -0.5?
-0.5
Suppose 3*w = -5*t - 91, 3*w - 14 = t + 5*w. Let i = -0.5 - -0.6. Which is smaller: i or t?
t
Suppose -2*m - m - 8*m = 0. Is -8/7 at least m?
False
Let r = -359 - -163. Which is greater: -197 or r?
r
Let v = -6.3 + 6.17. Let z = 376.87 - 375. Let h = z - v. Is -2/3 smaller than h?
True
Let l be 11/4 - 9/(-36). Suppose -3*f = -5*m + 3, 3*f - m + l*m = 18. Suppose -f = 2*w - 6. Which is smaller: 2/29 or w?
2/29
Suppose -2*m - 37 + 349 = 0. Let s = m - 156. Is 4/37 at most as big as s?
False
Suppose -2*k + 3*k + 3 = -4*g, 5*g = -2*k - 3. Let x be 6/(-48)*477/1. Let u = x + 60. Which is smaller: u or k?
u
Let z be ((-46)/(-4))/(19/(-38)). Let h = z - -23. Which is greater: -9 or h?
h
Suppose -10*f - 49 = 11. Is -6 equal to f?
True
Let d be -74*3*(-2 + 1). Is 0.1 < d?
True
Suppose -o - 4*c + 48 = o, -o - 5*c = -33. Let m(y) = -23*y - 1. Let f be m(1). Let q be 4/o + f/108. Is -2/11 at most q?
True
Let z(y) = y**3 - 5*y**2 + 2*y - 4. Let c be z(5). Let r = 0.633 + -0.433. Which is smaller: r or c?
r
Let y be ((-1)/3*-1)/((-4)/72). Are -5 and y nonequal?
True
Suppose -5 = -5*q, -5*h + 74 = -2*q + q. Let l be h/(-25) - (-343)/455. Suppose -28 = 2*t - 4*g - 6, -3*t = 3*g - 12. Which is smaller: l or t?
t
Suppose 0 = 4*b - 1 - 15, -35 = -5*i - 5*b. Let l(n) = -2*n - 2*n + 4 - 3 - n**2 - i*n. Let o be l(-7). Is -4/11 at least as big as o?
False
Let j be (2 - -2)*(-3)/402. Suppose 10 - 13 = -3*v. Are j and v nonequal?
True
Suppose 0 = 56*r - 55*r. Which is bigger: r or -4/61?
r
Let n = 32 - 32. Let i = 29 + -19. Let y = 5 - i. Do n and y have the same value?
False
Let n = -5 + 8. Suppose 5*h - 17 = 8. Let q be -1 + h - 0 - n. Is 3/7 >= q?
False
Suppose -f = -0*f - 8. Let r = f - -3. Suppose 0 = -4*a + 20, -5*j = -4*a + a - 45. Are j and r non-equal?
True
Let a = -1.1 + 0.4. Let i = a - -0.6. Let x = 20 - 14. Do i and x have the same value?
False
Let c = 368 + -367.6. Which is smaller: -0.021 or c?
-0.021
Let m be (1 - (2 - 3))/2. Let p be m*(-12)/4 - -6. Let g be 0/(-7 + p - -3). Which is greater: g or -2/43?
g
Let v be (0/1)/((-1)/(-1)). Let m = -1717 + 53226/31. Is v bigger than m?
True
Let q(w) = w**3 + 7*w**2 + 13*w + 4. Let y be q(-4). Is y at most -0.052?
False
Let f = -5836 + 5782. Let r = -133 + 78. Are r and f equal?
False
Let i = -208/11 - -1654/77. Let t = 110578 + -6966562/63. Let w = i + t. Are w and 2/3 unequal?
True
Let i = -35 + 33. Let b = 3 + i. Let f = 12 + -13.7. Which is greater: f or b?
b
Suppose 0 = -4*l - 3*d + 23, 3 = 3*l + l - d. Let x be (l/3)/((-2)/(-12)). Suppose x*k = 3*y - 17, 1 = -k - 4. Are y and 1 equal?
False
Let g(k) = -10*k - 110*k**2 + 108*k**2 + 9*k - 45 - 20*k. Let m be g(-11). Which is bigger: -57 or m?
m
Let h be -5 + 11 + -124 - -3*1. Which is greater: h or -110?
-110
Let r = 2.42 + -1.42. Let z(d) = d - 2. Let q be z(2). Is r not equal to q?
True
Let d(v) be the third derivative of -v**6/120 + 2*v**5/15 - 7*v**4/24 + 7*v**3/6 + 10*v**2. Let l be d(8). Let b be 28/l*14/4. Is b != 3?
True
Let b(l) = -l**2 + 4*l - 2. Let y be b(3). Suppose -2*p = -p - y. Let r = -47/3 - -16. Which is smaller: r or p?
r
Suppose w - 8*w = 56. Let r = 13 + -7. Suppose 16 = -r*b + 4*b. Do b and w have the same value?
True
Let q = -727/34 + 43/2. Let p(r) = 0 - 1 + 5 + r. Let a be p(-5). Which is bigger: q or a?
q
Let d = 24.639 - 23.57. Let b = d + -0.069. Which is bigger: -9 or b?
b
Let r = 2193/4 + -552. Let t be (-10)/(-4)*(-18)/15*1. Which is smaller: t or r?
r
Let i(w) = w**2 + 14*w + 23. Let z(q) = -q**2 + 13*q - 42. Let r be z(10). Let j be i(r). Do 20 and j have different values?
True
Let i be (-1)/9 + (-41)/(-369). Is i equal to -2/347?
False
Let p be (-20 + 34)/(2/8). Let y be ((-26)/p)/(4/16). Let v = -285/161 - y. Is v <= 1?
True
Let r be (-5 - -6)/(2/10). Suppose 4*c - 4*o = 13 + 7, -r*o - 15 = 0. Suppose -c*k + 5 - 7 = 0. Which is greater: k or -4/11?
-4/11
Let r = 4148/11 - -27949/22. Let u = r - 1708. Let x = u + 59. Is -2 smaller than x?
True
Let l be (-5234)/(-5460) - (-2)/(-5). Let o be (-34)/130*((-7)/(-14) + -3). Let c = o - l. Which is greater: c or -1?
c
Let g be 4/2 + 15/3. Let c = g - 8. Let i be 50/72 + 1/(-4). Which is greater: c or i?
i
Let n be (-5938)/(-72) - ((-204)/54 + 4). Let h = n - 82. Suppose i - 1 = -0*i. Does h = i?
False
Let w = 4929/10093370 + 2/7589. Which is smaller: 1 or w?
w
Let g = 27 - -1. Let f = -32 + g. Is f at least as big as 1?
False
Let c(u) = 2*u**2 + 34*u + 52. Let d be c(-21). Is 218 <= d?
True
Let s = 180 + -1262/7. Let x be (-2)/(-15) + (-2016)/1350*5/6. Which is bigger: s or x?
s
Let w be (24/168)/((-1)/2243). Let k = 321 + w. Is 1 > k?
True
Let j be -1 - (-1 - (2 - -1)). Suppose j*q = -5*q - q. Let b = -148/7 + 442/21. Which is bigger: q or b?
q
Let g be (124/(-8) + 3/3)*22. Which is smaller: g or 1/2?
g
Suppose c - 2*w = -3*c - 174, -w - 97 = 2*c. Let n = 136/3 + c. Let a = -24 - -13. Is n greater than or equal to a?
True
Let d be 1369/18 + (-8)/(-48). Let l = d + -76. Suppose -3*p + 2*m = m - 2, p = 5*m + 24. Is l bigger than p?
True
Let p = 529/119 + -75/17. Which is smaller: 0 or p?
0
Let w = 412 - 418. Are w and 1/6 equal?
False
Let o = -14/333 - -102634/1665. Let u = o - 62. Is -1 > u?
False
Let g(d) = 7*d**3 - 7*d**2 - 3*d - 19. Let n be g(3). Which is bigger: 0.04 or n?
n
Suppose 96*c = 85*c + 693. Are 62 and c non-equal?
True
Let f = 28/155 - 40552/1395. Do -29 and f have the same value?
False
Let x = -2.4 - 5.6. Let o = x - -7.9. Let i be ((-15)/(-20))/((-2)/(-8)). Is o greater than or equal to i?
False
Let t(k) = 63*k**2 - k. Let l be t(1). Let m be 5 - ((39/15 - 3) + 3336/(-60)). Is l at most m?
False
Suppose 13*o + 1388 = -770. Is -164 >= o?
True
Let z = 559.2 + -559. Which is bigger: z or -36?
z
Let q = -26 - -25. Let t be q + -1 + (-30)/(-40). Let i = 2 + -4. Is t at least as big as i?
True
Let j = 30 + -24. Suppose -7 = o - 4*o + x, 2*o - j = x. Which is smaller: 0.4 or o?
0.4
Let o be (-3887)/(-2604) + (-20)/16. Let s be (-24)/93*(-2)/(-12). Let c = o - s. Which is smaller: 17 or c?
c
Let u = -34 + -45. Let p = u + 76. Which is smaller: p or 3?
p
Let o(g) = 5*g - 2. Let y be o(4). Suppose -2*u + y = -2*r, -2*r - 10 = -u + 1. Let q be (-1)/(-3*(-4)/(-84)). Is q >= u?
True
Suppose 0 = -2*o - 4, 8 = -4*l - o - 6. Let n(m) = 10 + 8*m - 6*m - 26 - 3*m. Let q be n(-13). Is q at most l?
True
Let b(k) = k**3 - 2. Let u be b(0). Suppose 4*o = 5*r + 3, 4*o + 2*r = -r + 11. Let f be 1/((-3)/o - -1). Are u and f unequal?
False
Let i(u) = u**2 - 2*u - 13. Let r be i(5). Suppose 0 = -4*b + r*k, -4*b + 0*k = k. Is 5 less than b?
False
Let p = 86/297 - -2/27. Is p <= 6?
True
Suppose z + 34 = -5*l, -4*z - 4*l - 3 - 85 = 0. Which is smaller: z or -14?
z
Let m = -68860 + 481141/7. Let p = -125 - m. Let x = 4 - 4.1. Do p and x have different values?
True
Let l = 101 + -61. Let h = -4 - l. Does -1/3 = h?
False
Let s = -43 - -139. Let c = -96.36 + s. Which is bigger: c or -2/5?
c
Suppose 8*r - 10 - 6 = 0. Let s be r/6 + (-3)/9. Which is greater: 1.6 or s?
1.6
Let b = 8 - 7.8. Let n = -237 + 234. Which is bigger: b or n?
b
Let w = -9.5 - -9. Let c = w + -4.5. Let y = c + 5.1. Are -4 and y nonequal?
True
Let j = 25.7 + -25.7. Is 2 less than j?
False
Let k = -100 + 75. Let f be (99/(-55))/(3/k). Which is smaller: f or 17?
f
Let i = 17.07 - 17. Let m = 44.03 + -44.2. Let u = i + m. Is u less than or equal to 1?
True
Let b(d) = -3*d**2 + 43*d - 16. Let q be b(15). Is -45 < q?
False
Let x = -5 + 8. Let h = 1 - x. Let z = -7.9 + 8. Which is smaller: h or z?
h
Let v(l) = 17*l**2 + l**3 - 3*l + 4*l - 17 - 34*l**2. Let t = 58 + -41. Let q be v(t). Which is bigger: 2/57 or q?
2/57
Suppose n + b = 6*b + 13, 28 = 4*n + 4*b. Suppose 0*y + 4*y = n. Suppose 0 = -4*g + y*k + 2, 2*g = g + k - 2. Is g smaller than 0.2?
False
Let t = -12 - 12. Let q = t + 16. Which is bigger: q or 4?
4
Let o be (-4)/(-8)*1*0. Let s be 1*(-8 - (-2 - o)). Let y be ((-1)/7)/(s/35). Is y greater than 2?
False
Let q be (7/((-14)/(-4)))/(1/6). Let y be q/(-20) + (-86)/(-10). Are y and 8 non-equal?
False
Let n = -5.03 + 5. Let q = n + 0.03. Let t(k) = -k + 22. Let y be t(13). Which is smaller: q or y?
q
Let p be -3*(-2 + (-10)/(-6)). Let b = 47 - 67. Are b and p non-equal?
True
Suppose -g = -2*g + 9. Let 