0, 4*q + 8 = -15*g + 16*g. Suppose -3*l + 1 - 2 = -c, 3*l - 4 = 2*c. Does c = q?
False
Let t be (-96)/(-64)*68/3. Suppose 0 = 2*j - 0 - 30. Let b be t/j - (-24)/(-40) - 3. Are b and -1 nonequal?
True
Let m be 2712/16*(-128)/144. Let p be 8/(-12)*(6795/(-6))/(-5). Which is greater: m or p?
m
Suppose 2 = -3*m - 10. Let k be (-16)/210*(-1)/m. Is k >= 1?
False
Suppose 0 = -2*x - 12, 2171 - 843 = i + 5*x. Is i less than 2717/2?
True
Let w(y) = -y**2 + 31*y - 12. Let l = -116 - -125. Let j be w(l). Which is smaller: 187 or j?
j
Let l be (-8 - (-253)/33) + 2/(-3). Do -2/31043 and l have different values?
True
Let g be 3/9 - (-3)/(-9). Suppose g = 3*q - 6. Suppose -q*z + 6 = 4. Which is smaller: -4 or z?
-4
Let d be 43*(10/2 - 11). Let a = 260 + d. Which is bigger: a or 4?
4
Let p(c) = -23*c + 19*c + c + 31. Let z be p(8). Suppose 0 = -10*f + z*f - 15. Is -19/4 < f?
False
Let c = -2 - -2. Let b = 104127/125 - 833. Which is smaller: c or b?
c
Let i = -460 - -272. Let d = -4699/25 - i. Which is greater: -1 or d?
d
Suppose 0 = -2*w + 2*p - 7*p + 18, w - 4*p = 35. Suppose -j - 43*d = -41*d - w, 5*d + 90 = 3*j. Which is smaller: j or 30?
j
Let f be -17 + 21 + 80/(-8). Suppose -4*q + 0*q + n - 20 = 0, -16 = q - 3*n. Which is smaller: f or q?
f
Let o be (42/196)/(63/14). Is o at most as big as -8.1?
False
Suppose -6 = -0*p + 3*p. Let s be 113/(-7) - -6*(-11)/(-462). Let z = s - p. Which is smaller: -13 or z?
z
Suppose 2035 = -21*q + 76*q - 935. Suppose -138 = -t + 4*n, 2*t - 306 = 2*n - 18. Let c = -91 + t. Is q < c?
True
Let r(n) = 170*n - 35. Let p be r(-4). Is -718 at least as big as p?
False
Let a be (-1)/(-3)*(696/2030 + (-1)/7). Which is smaller: -35 or a?
-35
Let a be (2 + -2 + ((-1332)/8)/37)*634. Which is smaller: -2854 or a?
-2854
Let i be (-53)/(-14) + (1 - 3). Let u = -326749 - -326750. Is u < i?
True
Let p be 5/(-15) + (-5343)/(-153). Let b = p + -242/7. Suppose 91*l = 87*l. Which is greater: b or l?
b
Let q(g) = -g**3 - 90*g**2 + 92*g + 73. Let x be q(-91). Is -5 <= x?
False
Let q = 5163 + -5035. Which is smaller: 32 or q?
32
Let h = 69 - 129. Let l be ((-45)/40)/3 + 8874/(-144). Which is greater: h or l?
h
Let n be ((-75)/2 + 2)*2. Let a(x) = 80*x**2 - 483*x - 51. Let r be a(6). Which is greater: n or r?
r
Let o = 102 + -108. Let v be 1/(o/(-18))*2/(-18). Is -93/7 smaller than v?
True
Suppose 5*p = 230 + 225. Let a = p - 52. Let z be ((-5)/5)/(a/(-15)). Which is greater: -1 or z?
z
Let f(o) = -46*o - 60. Let c be f(8). Which is bigger: -2986/7 or c?
-2986/7
Let f = -2099 + 35699/17. Let b(v) = v**2 - 39*v + 338. Let w be b(26). Is w > f?
False
Let p = -23 + 26. Suppose i = -4*i - v + 19, -2*i + p*v + 11 = 0. Let q = 0.15 + -0.35. Which is smaller: q or i?
q
Suppose -3*g + 13249 = b, -2*g - 13274 = -21*b + 20*b. Let n be b/72 + (-1 - (-21)/27). Is 183 at least n?
False
Let b be 4/(-14) - 5101/252. Let f = -1501/44 + 147/11. Let m = b - f. Which is greater: m or 0.01?
m
Let j be (-624)/124*(5 - (-36)/(-16)). Is -15 >= j?
False
Let h = -5 + 5.6. Let m = 0.4 - h. Let r = 11039 + -11041. Which is bigger: r or m?
m
Suppose 5*q + 2*o = 61, -5*q = -6*o + 4*o - 49. Let z be 2/q - (-16)/(39072/(-510)). Are 1 and z equal?
False
Let w = -2.8977 + 3.2477. Suppose -5*u = -u - 16. Let o be 0/(u/(0 + 2)). Which is bigger: o or w?
w
Let c be (498/470 - 1)*(-47 + 22 + -5). Is c less than -1?
True
Let t = 2 - 433. Let a = -416 - t. Is a at least 15?
True
Suppose 0 = s - 5*j - 2629, -190*j = -2*s - 194*j + 5328. Which is greater: 2653 or s?
s
Let o be 95 + -65 + -29 + 0. Let s = -1927 - -53947/28. Which is greater: s or o?
o
Suppose 2*d + 236 = 5*b - 122, -4*d + 124 = 2*b. Is 2205/31 at most as big as b?
False
Let p = 0.203 + -138.203. Let h = 4082 - 4335. Let d = h - p. Is d at least as big as -0.1?
False
Let r(a) be the first derivative of 24*a + 24 - 6*a**2 + 1/3*a**3. Let o be r(10). Which is bigger: 2 or o?
o
Let p(g) = 3*g - 23. Let x(d) = d**3 + 5*d**2 + 4*d + 7. Let w be x(-4). Let u be p(w). Which is smaller: u or -26/9?
-26/9
Let p(k) = 1127*k + 85534. Let i be p(-76). Let a(l) = l**3 - 2*l**2 + 6*l + 2. Let x be a(-4). Is x bigger than i?
False
Let g = -471 - 235. Let a = g - -93899/133. Is 0 < a?
True
Let t = 0.25325 - 0.35325. Are -5.157 and t equal?
False
Let g(m) = 6*m - 80. Let n be g(14). Let i be 0 + n*(-1)/1 - -4. Is i greater than -2/109?
True
Suppose -30*u - 28*u = 108*u - 166. Let d be 4/(-10) + (-352)/(-830). Which is smaller: u or d?
d
Let h = -81/67 - -713/1809. Let f = 1195/1566 + h. Let j = -95/406 + f. Is -7 > j?
False
Let v be (-80)/(-12) + 20/(-30). Suppose u + 5*x = 15, -2*u + 5*x = 9*x - v. Suppose 0*l + 4*b = 2*l - 8, -4*l = -4*b. Which is bigger: l or u?
l
Let q = 19261/126 + -1745/14. Let l = -260/9 + q. Is l not equal to 0.012?
True
Suppose 0 = 2*r + 3*z - 30, -4*z = 2*r - 19 - 15. Suppose r*u - 3*u - 6 = 0. Suppose -u = 5*l + 24. Is l greater than 3?
False
Suppose 10*q + 82 = -2*y, 5*y + 10*q + 29 = 7*q. Which is bigger: -4/9601 or y?
-4/9601
Let m be (-4 - 4) + (1 - -2). Let o be (-3)/5 + m/(75/(-189)). Is o equal to 9?
False
Let z = -6656 + 6655.5. Let a = 19 + -17.4. Which is smaller: z or a?
z
Let h be (0 - 1)/((-85)/(-119)). Let q = 201413/30 + -6713. Let y = q - 7/6. Which is smaller: y or h?
h
Suppose -13*b - 2*n = -12*b - 15, 4*n - 4 = 0. Is -5/6 <= b?
True
Suppose -6*u + 68 = 74*u - 12*u. Is u at least as big as 2/1369?
True
Let p = -0.7 + -3.8. Suppose -4*n = -3*l - 6 + 26, -4*n + 6*l = 32. Are n and p unequal?
True
Let n = 38.97 - 40.97. Which is smaller: n or -0.071?
n
Suppose -3*d = -d. Let v = 79 + -77. Let q be v/2 + 9/84*4. Do d and q have the same value?
False
Let s(t) = t**2 + 14*t + 32. Let z be s(-12). Suppose -3*u = -4*b - 50 - z, 2*u = 3*b + 44. Which is smaller: -8 or b?
b
Let a be -5*24/9*((-51)/30 - -2). Let d = 3/229 - 2299/687. Which is smaller: a or d?
a
Let i = 3785 - 3782. Which is smaller: i or 1/266?
1/266
Let o = 0 + 7. Let c = -2 + o. Suppose 0 = 2*g + 4*t + 14, 4*g + 21 = -c*t - 10. Is g at least as big as -9?
True
Let g = 0.86 + 560.14. Let k = 563 - g. Which is smaller: k or 33?
k
Suppose 0 = -16*x + 21*x + m - 6986, 0 = -5*x + 4*m + 7006. Is 15370/11 equal to x?
False
Suppose -i = -5*i - 372. Let h(k) = -2*k**2 - 2*k - 69. Let d be h(3). Is i equal to d?
True
Suppose 58*n - 58 - 42 = 4*o + 62*n, 2*n = 0. Does -65 = o?
False
Let p = -16/7 + 169/77. Let x(t) = t**2 - 4*t - 5. Suppose -5*c - 5*w = 0, -5*w - 17 + 2 = 2*c. Let i be x(c). Which is smaller: i or p?
p
Let u = -238670 - -2611456/11. Let p = u + 1268. Is p smaller than -2?
False
Let u = 2322 + -3074. Is u greater than -752?
False
Let i be (8/(-42))/((-30)/(-45)) - (-69338)/246309. Which is bigger: i or -1?
i
Let m = 44.908 - -0.092. Let g = -68 - -16. Let p = m + g. Are -1/4 and p nonequal?
True
Let o(d) = -6*d**3 + 11*d**2 - 29*d + 19. Let f be o(2). Which is bigger: f or -468/11?
-468/11
Suppose 4*z - 749 - 913 = 2*y, -y - 1655 = -4*z. Are 410 and z nonequal?
True
Let p(x) = -x**3 + 4*x**2 + 7*x - 8. Let o be p(4). Let f be (-16)/(-40) + (-28)/o + -3. Is f less than or equal to -30?
False
Let p = -1 + 1. Suppose 5*s + 16*b - 131 = 15*b, 0 = 4*s - 5*b - 99. Let i be ((-351)/s - -13)/((-44)/2). Which is bigger: i or p?
i
Let f = -11171.4 + 11171. Suppose 4*i = 3*i - 54. Let n = i + 325/6. Which is smaller: f or n?
f
Let s = 1983/7358560 + 6/4181. Which is bigger: s or 1?
1
Let z(y) = 812*y + 1681. Let d be z(-2). Let p be 173/3 - 2/3. Is d smaller than p?
False
Let r = 42.01 - -1.99. Let q = 31 - r. Are q and 1 non-equal?
True
Suppose -8*f - 64 = 32. Let t = 112 - 112.09. Which is bigger: f or t?
t
Let x be (12/(-105))/(2/(-5)). Let r(t) = -t**2 - 23*t + 12. Let h be r(-24). Let j be (-9768)/(-8415) + h/10. Which is smaller: x or j?
j
Let v = 220 + -219. Let z be (-2)/v*189/54. Is -7 less than or equal to z?
True
Let r(o) = -o**3 - 6*o**2 + 8*o + 2. Let g be 2*2/((-4)/7). Let k be r(g). Let d be (16 - 0 - 16) + -5. Is k smaller than d?
False
Let m(b) = 8*b + 43. Let j be m(15). Suppose -9*a + 107 + j = 0. Let y be ((-2)/(-4))/((-3)/(-174)). Are y and a non-equal?
True
Let r = 0.10451 - -56.80549. Let k = 57 - r. Let u = -4 - -4. Is k less than or equal to u?
False
Let s = 1934 - 1940. Is 11 greater than s?
True
Let a = -14 + -1