-10/67?
j
Let h(d) = -d**2 - 1 + 2*d + 6*d - 1. Let f be h(7). Suppose -27*v - 40 = -37*v. Which is smaller: f or v?
v
Let j = 58 + -59.72. Let m = j - -1.6. Which is greater: m or -1/3?
m
Let m = -2368 + 2362. Which is bigger: -32/7 or m?
-32/7
Let i = -3647 - -3645. Let s = -11.8 + -0.2. Which is smaller: s or i?
s
Let x be 8 - 2/(14/119). Is -2/21 < x?
False
Let r = -6495 - -26169/4. Which is bigger: r or 48?
48
Let n = -950 + 1179. Which is smaller: n or 231?
n
Let o = -95.04 + 111.162. Let n = 0.022 - o. Let k = 16 + n. Which is greater: k or -3?
k
Suppose 4*j = 4*v + 7*j - 293, 0 = j + 5. Let i = v - 386/5. Are -0.1 and i nonequal?
True
Let v = -11 - -13. Suppose v*d + 2*d + 2*z = -12, 4*z = -2*d - 12. Suppose -u = -0 - 5. Is u bigger than d?
True
Let b = 114 - -50. Let g = b - 163. Which is smaller: g or -2/357?
-2/357
Let f(k) = 2*k**2 - 25*k + 53. Let o be f(10). Which is bigger: 51/14 or o?
51/14
Let b(s) = 2*s - 4. Let h be b(2). Suppose -2*d + 112 = 3*d + 2*o, h = 4*d - 2*o - 86. Which is smaller: 21 or d?
21
Let u be (21/6 - 4)*(-640)/(-56). Let z = 2 - 7. Is u less than z?
True
Let y be (13 + 13)/((-1)/(-2))*-4. Which is smaller: 2/3 or y?
y
Let r = 22.8 - -78.2. Which is bigger: r or -1?
r
Let q be 5 - -3*(-198)/114. Let b be (2/5)/(2/(-10)). Let z(i) = -i**2 - 2*i. Let s be z(b). Is q >= s?
False
Let i = -13.54 + -0.46. Let h = 7 + i. Let k be 2 + 68/(-16) + 3. Which is smaller: k or h?
h
Let m = 2 - 2. Let q be (-24)/(-108) - (-784)/(-45). Let j = 18 + q. Which is smaller: j or m?
m
Suppose -312 = -1147*v + 1150*v. Which is bigger: -106 or v?
v
Let l be ((-6)/19)/1 - -1. Let w be 7956/(-1520) + (-4)/20 + 2. Let d = l + w. Is -3 smaller than d?
True
Let i = 493.705 - 494. Which is smaller: i or -0.1?
i
Let s(j) be the third derivative of -j**4/24 + 3*j**3/2 - 3*j**2. Let r be s(9). Let m = -205/104 - -24/13. Are r and m nonequal?
True
Let d be (-4)/3*150/(-20). Let o = -21 + d. Suppose 0 = -0*m - 2*m - 18. Which is bigger: m or o?
m
Let v(m) = 5*m**2 - 4*m - 4. Let b be v(4). Let u be b/33 + (-2)/(-11). Suppose 3 + u = 5*c. Is -2 equal to c?
False
Let d = 512 - 539. Is -27 > d?
False
Let z(h) = -h**3 + 3 - 2 - 1102*h**2 - 4 + 1127*h**2. Let g be z(25). Is g less than 5?
True
Let w be 12/(-7) + 1 - 2/7. Let u be ((-10)/(-4) + w)*(-8)/(-18). Which is smaller: u or 1/6?
1/6
Let y = -1 + 1. Suppose 6*a = 3*a - 2*d - 98, 2*a = -3*d - 57. Let w = -36 - a. Do y and w have the same value?
True
Suppose 83*g - 61*g = 5214. Do g and 237 have the same value?
True
Let w = 38 + -25. Let h = 11 + 2. Is h equal to w?
True
Let q = -1031 + 1055. Are 298/13 and q non-equal?
True
Let p be (-51)/99 + 6/33. Suppose -n - 2 = -12. Let d be n/8 + 5/(-20). Is p < d?
True
Suppose 0 = -3*b + 2*d + 24, -b + 3 = 2*d - d. Let w be (-6)/4*(-28)/b. Suppose 193*f - 212*f = -114. Is w greater than f?
True
Suppose 0 = 2*h + h + 3, 5*p + 158 = -3*h. Is p bigger than -25?
False
Let l be (-4)/(-48)*-16*1515/(-2). Are 1011 and l equal?
False
Let q(f) = -2*f + 18. Let u be q(8). Suppose x = u*x. Which is bigger: x or 2/11?
2/11
Let r be (-1)/((-2)/1 - 3337/(-1692)). Let j = 7853/210 + -13/210. Is r > j?
False
Let a = 1 + -5. Let d = -2 + 18. Let o be d/(-12)*(-4)/16. Is a < o?
True
Let u = 46 + -27. Let c = -17.9 - 0.1. Let r = u + c. Which is smaller: r or 2/11?
2/11
Let x = -3.41 + 36.11. Let y = x + -31. Let z = y - 1.5. Are z and 3 equal?
False
Let r = -7.06 + 7.16. Is 0.075 at most r?
True
Let u = -0.55 + 0.3. Let b = u - -0.35. Which is bigger: 5 or b?
5
Let s = -0.118 - -0.218. Is s smaller than -1405?
False
Suppose 5*i + 5*n = 8*n + 455, 3*n = 2*i - 173. Which is smaller: i or 89?
89
Let g = -965/3 - -2430829/7557. Is 1 >= g?
True
Let b(v) = -5*v. Let m be b(1). Let w(z) = z**3 + 6*z**2 + 4*z - 1. Let n be w(m). Suppose n*t + 0 = 2*g + 4, 2 = 5*t - g. Is 1 bigger than t?
True
Let z = -20 - -14. Let a be (2/z)/(4/(-36)). Suppose d - a = -2*d. Is 2 bigger than d?
True
Suppose 0 = 18*y + 18*y - 720. Which is smaller: 115/6 or y?
115/6
Let y = -369974985449/2566 - -144183517. Let p = -1/1283 + y. Let l = p - -32. Are -0.26 and l equal?
False
Let k = 6191/949 - 246/73. Which is smaller: 4 or k?
k
Suppose 0 = -h + 8*h - 112. Suppose f - 5*f - 4*r = h, -2*r - 24 = 4*f. Which is greater: -6 or f?
-6
Let t = 10/31 + -332/837. Let f be (-14)/10 - (-2)/5. Does t = f?
False
Let z = 30.87 - 31. Let x = -0.2 - z. Let w = 0.27 + x. Is w equal to 2?
False
Suppose 71 = 2*i - 17. Let d = -44 + i. Is 0 greater than or equal to d?
True
Let w be 10/(5 - 3) - 0. Do w and 73/18 have the same value?
False
Suppose 3*o = -o + 8. Suppose -16 = 2*i + o*i. Let r be -4 + (-6)/(i + 1). Is -1 smaller than r?
False
Let q = 0.45 - 8.65. Let n = q + -8.8. Does n = -3?
False
Let t = 2 - 1.7. Let d = 0.1 - t. Let i be 3/1 + 0 - 4. Which is bigger: d or i?
d
Let d = -1191 + 13103/11. Which is greater: 19 or d?
19
Let u = 9 + -17. Suppose -18*g + 21*g - 78 = 0. Suppose g*j = 16*j - 90. Is u equal to j?
False
Let t = 101 - 189. Let l = 91.9 + t. Let k = 4 - l. Is -16 > k?
False
Let m(k) = 2*k**3 + 13*k**2 - 26*k - 34. Let g be m(-10). Do g and -945/2 have the same value?
False
Let l be 9/42*6/(-9). Let g(p) be the first derivative of p**4/4 - 4*p**3 - p**2/2 + 12*p + 4. Let w be g(12). Is w < l?
False
Let n = 0.6 + -0.8. Let f = n + 0. Let a = 229 + -226. Which is smaller: f or a?
f
Let d be 29/(-145) + (-6)/(-10). Are d and 6.6 equal?
False
Suppose -4*b = -7*b + 9. Let r be b - ((2 - 1) + -1). Suppose 12 = -3*s, -2*s = 3*l + r*s + 38. Does -6 = l?
True
Let g = 11.84 + 0.16. Let t = -38.9 - -26.8. Let d = t + g. Which is bigger: -2 or d?
d
Let l = -545 - -1009. Let y = -6956/15 + l. Which is smaller: y or 0?
0
Let a = 0.02 + 0.08. Let x = -3 - -7. Let m be (-45)/10 - (-2)/x. Are m and a unequal?
True
Let h = 494 + -693. Is -1 greater than or equal to h?
True
Let v be (-1)/400*(-4 - (2 + -8)). Which is smaller: v or 0?
v
Let b be (-1 - (1 - 60/57)) + 1. Let c(m) = -4 - m + 2 - 4. Let o be c(-7). Is b not equal to o?
True
Let w(b) be the first derivative of b**2/2 + 6*b + 2. Let k be w(-7). Let v = -491/14 + 35. Which is smaller: v or k?
k
Let i be -7 + -10 + 321/6. Which is greater: 1/3 or i?
i
Let s = -14.9505 - 0.0495. Which is smaller: -0.02 or s?
s
Let h be 1/(-3)*1 - 2050/450. Is -4 != h?
True
Let x = -66 + 65. Let q be (-3)/(-12) - x/(-4). Which is smaller: q or 12/11?
q
Let y = -394/65 - -58/13. Let r(p) = p**2 - 182*p + 358. Let m be r(2). Which is smaller: m or y?
m
Let x = -1155 - -1164. Are x and 196/25 nonequal?
True
Let c(o) = -5*o + 2. Let u be c(3). Let s = -12793 + 12778. Is u bigger than s?
True
Let v(x) = -4*x - 8. Let m(p) = p**2 + 12*p + 6. Let f be m(-11). Let s be v(f). Let y be ((-26)/3)/((-10)/15). Is y <= s?
False
Let p = -19.9 + 19. Let r = 1 + p. Let a = 0.3371 - 0.2571. Which is bigger: r or a?
r
Let l = 645/7 - 5749/63. Let q = l - 25/18. Which is smaller: q or -1?
-1
Let b = -2.12 + 0.12. Let q = 1.2 + b. Let w = -3.2 + q. Which is smaller: 2/5 or w?
w
Suppose l = -l + 26. Suppose -8*h = -l*h. Let p be (h - 0) + (24 - 14). Is p at most as big as 9?
False
Let f = 215 - 286. Is f bigger than -70?
False
Let x be (-16 + 26)/((-1 - -2) + 0). Suppose -14 = -2*i - 5*b, -2*i + x = 3*b + b. Which is smaller: i or -2?
i
Let r = -176 + 175.7. Is 1/11 >= r?
True
Let y(c) = -c**3 + 17*c**2 + c - 15. Let j be y(17). Let h be 3 + 1 + -6 + j. Is 0 equal to h?
True
Let k = -29/2 + 15. Let j = -35 - -20. Let r = 10 + j. Is k greater than or equal to r?
True
Let j(x) = -9*x**3 - x**2 - 6*x. Let b be j(5). Let h be (-4)/(-26) + b/65. Which is smaller: h or -19?
-19
Let f be (-372)/99 + 3 + 13/(-39). Is -1 at least f?
True
Let u = -304 + 199. Let h be (-10)/(-125)*5 - (-44)/u. Is -1 at least as big as h?
False
Suppose 2*z = 6, d + 2*z - 39 = 5*z. Suppose d = -l + 7*l. Which is smaller: l or 6?
6
Suppose 0 = -4*n - 2*x - 71 + 11, -n = -2*x + 20. Let m be 3/((-12)/n) + -1. Is 1 bigger than m?
False
Let q(l) = l**3 + 7*l**2 + 6*l + 10. Let m be q(-6). Suppose 8*s - m*s - 2 = 0. Let i be (-16)/(-234) - 2/9. Which is smaller: i or s?
s
Suppose 88 = 4*g - 0*g. Let i = -20 + g. Let t be (2 - 1) + -2 + 3. Are t and i non-equal?
False
Let l = -0.4 - -0.3. Let x = -632.1 - -671. Let m = x - 39. I