3*i + 2*u, -i + 2*u = 1532. Is i smaller than -1518?
True
Let q be (2/2 - (-2)/4)*20. Suppose -d = 17 - q. Let l be (2 - 1)/(1/11). Are l and d equal?
False
Let o = 361 - 257. Let a = o - 27. Let d(z) = z**3 - 18*z**2 - 36*z - 2. Let j be d(20). Are a and j nonequal?
True
Let a be (-1094)/(-9) + ((-20)/(-45))/1. Let i = a - 131. Is i > 0?
False
Let o = 163 - 283. Suppose d + 2*z + 147 = -z, 5*z = 3*d + 315. Is d > o?
False
Let z = -4.335 + 4.741. Which is smaller: z or -7/2?
-7/2
Suppose 43 + 12 = 5*v. Suppose 0 = -5*d + 5, -2*d = -3*y + 27 + 7. Suppose y = -3*c - 0. Which is bigger: c or v?
v
Let r = 3802 + -4234. Is -0.21 greater than or equal to r?
True
Let p = -2406/12055 - 1/2411. Does p = -111?
False
Let x = -2636/35 + 530/7. Is -10892 equal to x?
False
Suppose -22*p + 10545 = -7*p. Let x = 603 - p. Is x less than or equal to -98?
True
Let t(r) = -5*r**2 - 22*r - 21. Let j(d) = -4*d**2 - 20*d - 21. Let w(b) = -4*j(b) + 3*t(b). Let n be w(-4). Are n and -53/3 unequal?
True
Let m = -14211/182 - -1287/14. Do m and 14 have different values?
True
Suppose 5*n = -7*b + 3*b + 16, -5*n + 8 = 2*b. Let g = 31214957/152 + -205405. Let s = 345/8 + g. Is s less than n?
True
Let l(z) = z**3 + 36*z**2 + 71*z + 51. Let q be l(-34). Is -360/7 equal to q?
False
Let h be 0 - 1*(0 - 2). Suppose 3*t + h*t + 35 = 0. Suppose -19 + 25 = -n. Is t bigger than n?
False
Let j = 1643 - 1118. Suppose -859 = 8*x + j. Is -172 > x?
True
Let j(a) = -a**3 + 5*a**2 - 2*a - 8. Let q be j(4). Is 1/19021 greater than or equal to q?
True
Let u be ((-77)/(-21) - 7)/(1/(-6)). Let z = u + -21. Is -9 greater than z?
False
Let o = 6610 - 257758/39. Is 0 greater than o?
False
Let o be (-18 + 28)*(4 - 156/40). Which is smaller: o or 9/125?
9/125
Suppose -3*o = 2*u + 2*o - 69, -2*o + 2 = 0. Suppose 0 = 36*m - u*m + 504. Is 0.1 less than or equal to m?
False
Let f be (-1)/2*(-120 - -4 - 2). Let w be f/((-123)/(-12) - (-5)/(-20)). Are w and 6 equal?
False
Let p = 0.21 - -4.79. Let f = -82 + 216. Let t = f - 133. Do t and p have different values?
True
Let z(i) = -2*i**3 - 45*i**2 + 17*i - 20. Let q be z(-23). Suppose s - 109 + q = 0. Which is smaller: s or -7?
s
Let r = -3669 + 3668. Which is greater: r or 5/18?
5/18
Let f(u) = 14*u - 11. Let d = -44 - -46. Let o be f(d). Let a = 30 + -16. Which is bigger: o or a?
o
Let k(t) = -8*t - 3. Suppose -60 = 18*m - 13*m. Let l = -14 - m. Let v be k(l). Is 14 at most as big as v?
False
Let l = 2585.15 + -2585. Is l at least as big as -4/67?
True
Let n be (-53)/(-583) + (-136)/(-132)*-3. Is n at most as big as -212/129?
True
Let p = 61 - -8982. Is 9042 not equal to p?
True
Let a = -191 - -191.73. Let w = a + -0.67. Are 26 and w equal?
False
Let o = -4306 + 4301.22. Which is bigger: -2 or o?
-2
Let s = 8 - -3. Let y be (-7)/(-1) + 80/(-20). Suppose 0 = -9*c - y + 30. Is c != s?
True
Let t(p) be the third derivative of p**6/120 - p**5/12 - 7*p**4/24 - 2*p**3 - 19*p**2. Let u be t(7). Let w = -36 + u. Which is smaller: -1/62 or w?
-1/62
Let c = 4090 + -1062. Is 3028 equal to c?
True
Let j be 14896/(-108) + (-126)/1701. Which is smaller: -140 or j?
-140
Let z = -28020 + 28016. Are z and 161.9 nonequal?
True
Let k be (4/(-22))/1 - 6810/(-66). Let o = k + -97. Suppose -27 = -o*n + 81. Is n greater than 18?
False
Let c be -2 + -4 + 21 + 4/(-2). Let y be 2*(c/10 - 7/(-14)). Which is smaller: y or 0?
0
Let n = 189 + -203.3. Let o = n + 68.3. Are o and 2 unequal?
True
Let y be 82 - 86 - (0 - 3 - 2)/(-1). Let x be 10/(-25) + (-176)/10. Is y <= x?
False
Let k = -46 - -46. Suppose k = 3*m - 8 + 5. Let h be m*((-1)/6 - 35/150). Which is smaller: 2 or h?
h
Let k be (-1*2/(-26) - (-704)/11128)/(-4). Is k smaller than 1?
True
Let f = -31834 + 35311. Is f at least as big as 3477?
True
Let x(c) = -37*c**2 - 7*c + 7. Let f be x(1). Suppose 4*z = l, -7*z = -2*l - 9*z. Suppose y + 28 + 8 = l. Is f at most as big as y?
True
Let o(x) = 3*x**3 - 45*x**2 - x + 18. Let a be o(15). Let d be (1/(-15))/((-7)/2 + a). Are 9 and d equal?
False
Let z = -37.083 - -1.083. Which is bigger: -0.2 or z?
-0.2
Suppose 5*h = 59*h + 54. Is -3/3355 >= h?
True
Let u be (-6)/(-10) + ((-11781)/(-35))/(-11). Let h = -60 - u. Let z be (-2)/(-5) + (-138)/h. Which is smaller: 12 or z?
z
Let o(b) = -172*b**2 - 145*b - 1166. Let v be o(-8). Is v greater than -11016?
True
Let v(m) = 4*m + 32. Suppose 5*y = 13 + 7. Let l be (4 - y - 3)/((-6)/(-16)). Let z be v(l). Which is greater: z or -8/21?
z
Let m = -85618/7 - -455059698/37205. Which is bigger: 1 or m?
1
Suppose 231 = -k - 2*s, s + 459 = k - 3*k. Let q = k - -247. Which is smaller: 73/4 or q?
q
Let q = -2578.97756 - 0.02244. Which is bigger: -2/7 or q?
-2/7
Let f = 2.6 + 0.4. Let l = f + -2. Let v = 12.6114 - -5.3886. Which is bigger: v or l?
v
Let j be (7 + -9 - -1)*(1 + -55). Let z = 510 + -456. Is j <= z?
True
Suppose -h = -3, -2*c - 2*h = -7*c + 14. Suppose -c*s + 5 = -3. Suppose 0 = -s*m - 2 + 6. Which is greater: 1/2 or m?
m
Let i(w) be the second derivative of w**5/20 + w**4/6 + w**3/3 + w**2/2 - 53*w. Let l be i(5). Is 187 equal to l?
False
Let x(m) = -5*m - 2. Let w be x(-2). Let v = -279 + -477. Let z = -744 - v. Are z and w unequal?
True
Let y(u) = u**2 - 7*u - 18. Suppose -22*v - 40 = -26*v. Let c be y(v). Is c greater than 14?
False
Let f = -10 - -186. Which is bigger: f or 178?
178
Let c = 2/27 + 7/27. Let k be ((-1)/4)/(1443/5180). Let s = k - c. Which is greater: 0 or s?
0
Let y be (-20 - -19)*(-2)/(-6). Let z be (70/28)/(0 + 2). Which is smaller: z or y?
y
Suppose 0 = -16*g + 11*g - 155. Suppose -14*s - 1086 = -638. Is s greater than g?
False
Let p(f) = -22*f - 9. Let j be p(5). Let g = 19685 - 99019/5. Let o = g - j. Which is bigger: o or 12?
12
Let n = -23919185/318140834 - -2/379643. Which is bigger: 1 or n?
1
Let k = -260 + 1. Let g be -1 + -4 - (17 + k). Is g at least 238?
False
Let r(p) = p - 10. Suppose 58 = 3*m + a, 4*a = -m - 0*m + 34. Let y be r(m). Suppose 6 = -i + y. Which is bigger: 1 or i?
i
Let a = -72 - -85. Let r = 28 + -15.6. Let h = r - a. Is h not equal to 0.2?
True
Let v be (33/(-12) + 3)/(1/4). Let y = -7 + v. Is y greater than -2?
False
Let q be 30/(-136)*((-12798)/1280 - -10). Are -1 and q unequal?
True
Let q be -2*-1*2/(-90). Let s be (26/6)/((-3)/(-531)). Suppose 768 = y + s. Is y at most as big as q?
False
Let j = 4436 - 4425. Suppose 3*z + z = -40. Let w = j + z. Is 4/17 equal to w?
False
Let r be 27/70 - (1572/120 + -13). Is -129/10 bigger than r?
False
Let y(l) = 66*l - 374. Let u be y(4). Is u less than 2/9?
True
Let d be ((-68725)/16172 - -4) + 11 + 129/(-12). Is -1 less than or equal to d?
True
Let o = 7/4 - 2. Let u be 6*((-25)/(-15) - 2) - 0. Let v be 2 - (-6 + u - 4). Which is bigger: v or o?
v
Let r = -422 - -870. Let q = 810 - r. Is q greater than 362?
False
Suppose -5*q = -4*q + 3*k - 97, 4*q = 4*k + 324. Suppose 5*n + a = -a + 65, -5*n + q = -2*a. Let b be (-213)/n - (-2)/10. Is -13 >= b?
True
Let t be (-1)/(-5) + (-3)/(-15). Suppose -8 + 13 = -v. Let n = v + 8/3. Is n at most t?
True
Let w be (-62 - 1) + (-2 - 0). Suppose -17*i - 317 = 746 + 42. Is w at most i?
True
Let m = 5703 + -5072. Which is greater: 633 or m?
633
Let c = 985 + -117. Suppose -c + 68 = -10*w. Let o be w/(-110)*(10/8 + 0). Is -2 at most o?
True
Let u = -39 - -33. Let p(y) = 2*y**2 + 14*y + 7. Let b be p(u). Let t = -0.52 - -0.12. Which is greater: b or t?
t
Let a = -109/6 - -35/2. Let o = 0.066 - -30.934. Let p = -31.05 + o. Is a > p?
False
Suppose -269*l + 273*l = -16, 5*d - 4*l = 56. Is d at least as big as 831?
False
Let j be ((-1)/25)/((357/(-17))/42). Let d(s) = s**2 + s + 8. Let i be d(0). Let k be -1 + 2*4/i. Which is greater: j or k?
j
Let d = -45156 - -1354529/30. Which is smaller: d or -6?
-6
Suppose -374*o + 114 = -431*o. Let w = 67/7 - 72/7. Is w <= o?
False
Let x = -9 - -26. Let b = 183103/28 - 29135/7. Let c = 2394 - b. Is c greater than or equal to x?
False
Let d = 1628 + -1624.8. Let k = -1 - 2.2. Let u = k + d. Are -36 and u equal?
False
Let y be 39/(-39)*(-22 + 2 + -2). Which is smaller: -4 or y?
-4
Let f = -5728 - -5593. Is 9 greater than f?
True
Let q = -2/4259 + -489773/25554. Let n = q + 809/42. Is 0 < n?
True
Suppose 3*x + 16 = 2*f, 0*f + 4*f - 10 = -5*x. Let h(d) be the first derivative of -2*d