4*o - 6*o. Which is bigger: 2/89 or w?
w
Let g = -745 + 1681. Do 933 and g have the same value?
False
Let o = 811 - 1063. Let h = 168 + o. Which is bigger: h or -85?
h
Let s(g) = -10*g - 44. Suppose -9*q + 11*q = -16. Let w be s(q). Suppose -6 = 3*j + 3*c + w, 0 = -4*c - 8. Which is greater: -10 or j?
-10
Let r be (((-420)/98)/(-15))/(10/49). Does 4/7 = r?
False
Suppose -90*c = -81*c - 43362. Suppose 13*q + c = -876. Which is greater: 0.1 or q?
0.1
Let u = -4188 - -3030. Are u and -1158 equal?
True
Let g be (-1 + 1*1660/(-8))/(87/522). Is -1251 < g?
False
Let m be (150/9)/((-4)/330). Let c = 1207667601/52 + -23225752. Let s = m - c. Which is greater: -1 or s?
s
Let g be 1*24 - 1/1. Let f = 12.4 - -0.2. Let o = 11.6 - f. Which is bigger: g or o?
g
Suppose 2*l = s + 7, s + 2*l + 0*l - 5 = 0. Let d be (-114 - (-1252992)/11008)*(-8)/5. Is s < d?
True
Let t = 12339 + -123369/10. Let a(z) = 2*z - 10. Let c be a(6). Which is smaller: c or t?
c
Suppose -119*z + 179*z = 52920. Is z < 883?
True
Let d = 12713/105 + -2696/35. Let n = -278/7 + d. Which is greater: 3 or n?
n
Suppose 21*d + 16699 = 18421. Which is greater: d or 81?
d
Let d = 27015 - 38550. Are d and -11534 unequal?
True
Let y = 4743/5 - 949. Let v = 3.8 + -4. Let g = -0.2 - v. Do g and y have the same value?
False
Suppose -4*c = -5*h + 13, -18 = -c - 0*c - 3*h. Suppose -3*r - c = b + 6, -6 = -4*b + 2*r. Which is smaller: b or -10/7?
-10/7
Suppose 4*k - 198 = -l, 2*l = 6*l - 5*k - 855. Let g be (-163413)/(-777) - 16/56. Let h = g - l. Is h != 0?
True
Let a(b) = -23*b**2 + 83*b + 67. Let t be a(-11). Is -3629 greater than t?
False
Suppose -16*t + 9 = -19*t. Let l be t/(-5 - -11) - (-1)/2. Suppose -a - n + 2 = a, l = -2*n. Which is smaller: 9 or a?
a
Let o be 1/(3/(-114)*-2). Let i = -424 - -63. Let g = i - -379. Which is greater: o or g?
o
Let c(b) = -3*b**2 + 7*b + 491. Let l be c(14). Let y = -8343 - -458877/55. Which is greater: y or l?
l
Let y be 1 - (-10)/(-12) - (-165)/90. Suppose 0 = -4*r - 2*l + 10, y*r + 0*r = -4*l + 2. Is r bigger than 3?
False
Let o = -7687/276 + 425/12. Is o greater than 9?
False
Let n = 35.4197 - 0.3097. Let r = 34.931 - -0.069. Let a = n - r. Which is smaller: 1 or a?
a
Suppose 33 = h + 5*c, 5*c - 8*c + 7 = -h. Suppose -2*s + 3 = -7. Suppose 12 + h = s*x. Which is bigger: x or 7?
7
Let k = -116 + 141. Let x = -52 + k. Let z = x - -31. Is 21/8 bigger than z?
False
Suppose -13*s + 1182 - 1583 - 1887 = 0. Which is greater: -1240/7 or s?
s
Let a = 0.073 - -17.927. Let s = a - 17.64. Let r = -0.26 + s. Which is greater: -1 or r?
r
Let w(j) = j**2 + 7*j + 63. Let r be w(-7). Let l be -6 + r/7 + -2. Which is greater: l or -3?
l
Suppose -210 = 753*i - 31*i + 1234. Let z be 82/(-154) + (-2)/7. Which is bigger: i or z?
z
Let m = -90 - -74. Let q = -551 + 558. Which is bigger: m or q?
q
Let t(j) be the first derivative of -2*j**3/3 - 46*j**2 + 130*j + 49. Let v be t(-45). Is v less than 219?
False
Let b(y) be the third derivative of y**5/30 - 31*y**4/24 - 46*y**2. Let z be b(10). Are -110 and z non-equal?
False
Let b be ((-68)/198)/((-4)/(-6)). Let w = 2/11 + b. Let t be (-2)/(-4) + 6/(-18). Which is bigger: t or w?
t
Let o = 0.8 + 22.2. Let s = -11499 + 11499.06. Is o less than or equal to s?
False
Let j(g) = 71*g - 1555. Let m be j(15). Is m less than -490?
False
Let b = -79.975 - -80. Let k = b - -13.975. Let w = -11 + k. Which is smaller: w or -18?
-18
Let d be (13/(-26))/((462/12)/(-7)). Does 0.6 = d?
False
Let t(r) = 13*r + 581. Let a be t(-45). Let z be (7/1155*-5)/(a/(-36)). Let d = 17/30 - 1/6. Which is greater: z or d?
d
Let a be 28 - (2 - -10 - 8). Which is smaller: 525/22 or a?
525/22
Suppose -2*x + 297 = 31*x. Let r be (-3705)/411 + 4 + x + -4. Let w(j) = -j**3 + 2*j**2 + 3*j. Let k be w(3). Which is smaller: k or r?
r
Let q = 4978 - 4995. Suppose -3*l - 56 = l. Which is smaller: q or l?
q
Suppose 4*y + 3*l - 1776 = 0, 0 = -16*l + 17*l - 4. Which is smaller: y or 443?
y
Suppose -7*t = -2*t - 1055. Let a = 205 - t. Which is greater: a or -52/9?
-52/9
Let d = 202 - 192. Suppose -d*w = -9*w + 50. Is -50 >= w?
True
Let k be (-4)/(-6) - (14/(-6) - -1). Suppose y = -y - 4*s + k, 2*s + 5 = 5*y. Let i = -19 - -17.6. Is i bigger than y?
False
Let r = -67 - -67.54. Let p = 5.58 + -5.14. Let s = p - r. Do -0.003 and s have different values?
True
Let r(j) = j**3 - 5*j**2 - 13*j - 11. Let k be r(7). Let x(p) = 5*p + 20. Let n be x(k). Let q = 80.1 + -84. Is n at least as big as q?
True
Let d be (-11)/(-33)*(1096/1 + -4). Is d greater than 394?
False
Suppose -4742*o - 37 = -4741*o. Are 1/4 and o unequal?
True
Suppose 23 - 35 = 6*l. Which is bigger: l or -17/20?
-17/20
Let c = -15874 - -111381/7. Let k = 21822/581 - c. Which is bigger: k or -3?
k
Let l = -4840 + 4839.8. Which is greater: -1353/8 or l?
l
Suppose -438*w = -174*w. Is -2/21805 > w?
False
Let h = 4137.341 + -4137. Which is smaller: 3 or h?
h
Let x = -11299 - -10945. Which is greater: x or -343?
-343
Let q be (12 - (-850)/(-70))*(-4 - -2). Is q at most as big as 145?
True
Let x be (2/(-1))/((-8)/76). Let b = 305 - 314. Let i be ((-1408)/(-66))/((-10)/b). Does x = i?
False
Let a be 640 - (-4)/(1 - 0). Let q be ((-5)/2)/((-14)/a). Suppose 0 = 4*c + q + 77. Is -48 greater than c?
False
Let s be (-12)/27 + (0 - 16/(-36)). Which is greater: s or 1/6391?
1/6391
Let g = 3069 - 1512. Is g > 1556?
True
Let w = 72/11 - 321/44. Let q = 3218 + -3241. Is q at least w?
False
Let y = 40/274429411 - 265433066124398/520043733845. Let i = y - -2552/5. Is i less than 1?
True
Suppose 6*r + 9*r = -600. Let d be 7/(-6) - r/24. Which is bigger: -81 or d?
d
Let i be (12/320*16)/((-14)/(-60)). Which is smaller: i or 4?
i
Let s = -335 - -335.043. Let l = s + -0.343. Which is greater: l or -0.12?
-0.12
Let i = 1 - 0. Let g = 11142 - 11142. Which is greater: g or i?
i
Suppose 3*j - 3*q + 193 = -653, -2*j - 3*q - 569 = 0. Let z = j - -292. Which is greater: 28/3 or z?
28/3
Let x be 31/(-11) + 2 - (-94)/(-517). Let n(s) = -6*s - 8. Let v be n(x). Which is smaller: -41/17 or v?
-41/17
Let h(f) = -38*f + 233. Let u be h(6). Suppose 16 = -2*g - 2*k - 2*k, 0 = 5*k + u. Is g greater than -2/53?
False
Let a be 4/6*(-1739)/94. Let m be (-9 - -9) + (-10 - (3 - 2)). Is m at most as big as a?
False
Suppose 21492 = -30*o + 8*o - 16524. Is o at least as big as -1727?
False
Let f be 2464/(-741) - 12/((-24)/6). Let m = 2/247 - f. Are m and 0 equal?
False
Let r = 178 + -172. Let z(c) = c**3 - 4*c**2 + 5*c - 3. Let u be z(3). Suppose 2*k + r = 4*l, 0 = -4*l + u + 1. Which is bigger: -2 or k?
k
Let j = -2 - 11. Let i be (-4)/6 + j/78. Let q = 1.809 - 10.809. Which is greater: i or q?
i
Suppose -j = 3*d - 8*d + 15, 5*d = 20. Suppose -2*r - 2*q + 15 = j, 0 = 5*r - 3*q + 15. Let x be (30 + 0)*(r - 2/3). Does -20 = x?
True
Let d be -3*((-2)/(-3) - 2). Suppose -1000*u = -1063*u. Suppose u = d*b - 5 - 7. Is b at least as big as -2?
True
Let d = -6616 - -26465/4. Is -0.3594 <= d?
True
Let r(t) = -t**2 + 2*t - 1. Let b be r(1). Let n be ((-200)/68 + 3)/((-11)/(-44946)). Let j = 240 - n. Which is bigger: j or b?
b
Suppose 0*o - 160 = 4*o. Let q be o/(-12)*(-54)/(-30). Suppose 4*m - 7 = 2*c + 5, 0 = c + 2*m - q. Which is smaller: c or 7?
c
Let b(w) be the second derivative of w**5/20 + w**4/2 + w**3/2 - 3*w**2/2 + 5*w + 2. Let o be b(-5). Let p = 13 + -7. Is o less than p?
False
Let k = -178.2 - -179.756. Does -0.1 = k?
False
Let n be -5 - ((-5121260)/129880 - 1/2). Let l = 594/17 - n. Which is bigger: -1 or l?
l
Let g be (-258570)/(-22737) + ((-153)/33 - -5). Which is smaller: 13 or g?
g
Let v(j) = -19*j**2 + 3*j - 2. Let o be v(1). Let u be (-260)/(-31)*981/o. Let h = -457 - u. Is h < -1?
False
Suppose 2*z + 1 = w - 10, -w - 4*z - 7 = 0. Let v(n) = 4*n**2 + w*n + 9 - 5*n**2 - 7*n. Let s be v(2). Is -4/7 smaller than s?
True
Let g(k) = k**3 + 24*k**2 - 56*k - 74. Let m be g(-26). Suppose 4*f - 26 = -m. Is -7/8 smaller than f?
False
Let s = 0.0356 + -245.0356. Let m = 244 + s. Is 0.2 not equal to m?
True
Let x = 13121 - 13189. Is -48 at least x?
True
Let b(p) = -21*p - 2. Let g be b(10). Let a(h) = h**3 - 74*h**2 - 154*h - 61. Let j be a(76). Are j and g non-equal?
True
Let h = 196.284675 + 0.177325. Let b = -0.462 + h. Is -1 less than or equal to b?
True
Let p(f) =