. Let w be y/15*-572 + 33/(-165). Do w and 342 have different values?
True
Let q be (-1)/((-28)/156) + 33/77. Let y(k) = -k + 5. Suppose -2*s - 5 = 3. Let p be y(s). Which is greater: p or q?
p
Let a = 6160 - 6160. Is -6/5405 greater than a?
False
Suppose 2*t + 5*t = -91. Let i be (-26 + -6 + 12)*(-9)/(-2). Let c = i + 77. Is c greater than or equal to t?
True
Let u = -0.04224 + 0.04224. Is u less than or equal to -548?
False
Let i = -14265 + 14264. Is 82 smaller than i?
False
Let y be ((-1320)/72 + 24)*(519 + 0). Is 2941 at least y?
True
Let p be 56/6*(-45)/10. Let v be 10/(1400/p)*8/(-6). Is 32 at most v?
False
Suppose 4*m = h + 3*h + 2720, -2*m = 2*h - 1360. Suppose -2*o - 768 = 5*d - 88, -5*d + 2*o - m = 0. Which is greater: -273/2 or d?
d
Let l = -4417 + 4418. Which is smaller: l or 8/837?
8/837
Suppose -4*i = -3*y + 12, -2*y + 3*i = y - 9. Suppose y = 2*f - r - 105, f + 3*f - 225 = -3*r. Which is greater: f or 53?
f
Suppose 18205 = -702*x + 705*x - 4*d, 0 = -3*x - 2*d + 18181. Which is bigger: x or 6065?
6065
Let l = -292/967423 - 190002823015/71589302. Let w = -2654 - l. Are w and 1 unequal?
True
Let u be 1/(-3) + (-11)/(-15). Let n = -107259 + 106944. Which is smaller: n or u?
n
Suppose 5*r - r - 27 = -3*q, 4*r = -q + 1. Suppose -21 = l - 5*d, 5*d - 7 - q = 0. Let t be (4 - -7)/(l/(-2)). Which is greater: t or 43/2?
t
Let m = -2498 - -2499. Let s = 2/1231 + 24478/87401. Let l = 388/639 + s. Which is bigger: m or l?
m
Suppose -10*z = -9*z - 5*q + 10, -3*z - 8 = -4*q. Let a be (15/(-1325))/(2/5). Which is smaller: z or a?
a
Let j(s) = -5*s + 57. Let l be j(5). Let x be (-204)/(-101) - l/16. Which is bigger: 1 or x?
1
Let l(f) = 16 - f + 0*f + 18 + 4*f. Let h be l(-6). Suppose 5*k + 2*m = -12, -3*k + 3*m - h = 2*m. Which is greater: 2 or k?
2
Let i = -0.048 - -1.548. Let w = 491 + -1965/4. Is i less than or equal to w?
False
Suppose 3*u + 3*p = 5*p + 732, -u = p - 239. Is 242 != u?
False
Let c be ((-2870)/(-60))/(-41) - (-5 + 4 - -9). Is 0.3 less than c?
False
Suppose 25 = 2*g + 7. Suppose -g*m + 71 = 62. Which is greater: m or -12/83?
m
Let a = 4956 + -4945. Which is smaller: a or 86?
a
Suppose -3*i = -3*w - 873 - 396, 2*i + 2*w = 826. Let a = 419 - i. Let h(s) = 16*s**2 - s. Let c be h(-1). Which is bigger: a or c?
c
Suppose 7*a - 13*a + 12 = 0. Let u = -17 + -28. Let k be ((a - 1)*2)/((-6)/u). Which is smaller: k or 18?
k
Let d be ((-3)/(-26))/((-1467)/(-12)). Which is smaller: -0.1 or d?
-0.1
Let r(n) = 18*n + 667. Let j be r(-37). Let w be (12/(-3610))/(4/(-10)). Which is smaller: w or j?
w
Let x = -54.257 + 54. Let l = x - -0.157. Do l and 0.148 have different values?
True
Let t = -63025 + 63065.369. Let z = t + -0.369. Which is greater: 5 or z?
z
Let y be 1/(16/124)*168/(-231) - -6. Let j = -44 - -175/4. Which is smaller: y or j?
j
Let i be (-16 + 170/11)/(-9). Does -13 = i?
False
Let q(f) = -37*f**3 - 2 - 1 + 4 + 616*f**3 - 2*f. Let a be q(1). Let k = a - 5195/9. Is k bigger than 1?
False
Suppose -4*c - 5*q = -21, 0 = -5*c - 4*q + 6*q - 15. Which is smaller: c or 1?
c
Let s = 4072/17175 - -2/687. Let q be (-2)/(-3)*(-5 - 1). Let h be (q - -4) + 4 - 4. Which is smaller: s or h?
h
Let f = 370.3 + -393. Let w = f + 23.7. Which is smaller: -0.49 or w?
-0.49
Let m = -3/16261 - -1252115/97566. Let j(b) = -b**2 - 8*b - 3. Let d be j(-5). Which is smaller: d or m?
d
Suppose 4*n + 20 = 2*s, n + 19*s + 23 = 24*s. Let k be 2886/4860 - n/(-5). Which is bigger: k or 1?
1
Let o = 2/73239 - 57272912/512673. Which is smaller: o or -112?
-112
Let u be 2 - (-76)/18 - (-6)/(-27). Suppose -f = -q, q - 4*f = -u*f. Suppose -9 = 2*o - 3*r, q*r - 3 = 4*o - r. Is 3 at most as big as o?
False
Let d = -0.41 - -0.11. Let t = d - 0.7. Let g be 1 - 52 - 7/14*6. Which is smaller: t or g?
g
Suppose -2*d - 16 = 5*p, -5*p - 3*d + 7*d + 2 = 0. Let k = 12 + p. Which is smaller: 13 or k?
k
Let d be (156/9)/(-13)*11/968. Which is smaller: d or -12?
-12
Let n = 24722/117 - 2874/13. Which is bigger: n or -2/3?
-2/3
Let t = 9104 - 9101. Which is smaller: 90/47 or t?
90/47
Let q(n) = -n**2 - 32*n + 31. Suppose 0 = 8*d - 47*d - 1287. Let c be q(d). Is c less than -18?
False
Let i = -146.577 - -0.577. Let c = i + 148. Which is smaller: -7.8 or c?
-7.8
Let v = -44784/7 + 6348. Let h = v - -50. Is -76 at least h?
False
Suppose 5*r = 2*t - 38, -11 = -5*t - 0*t + 2*r. Let u be 4/(-6) - 28/(-33). Are u and t nonequal?
True
Let p = -1214 - -527. Is p not equal to 5?
True
Let j = -1206514/45 + 26812. Is -1/11 greater than j?
False
Let i = 0.098 + 245.902. Let c = 243 - i. Let j = 0.18 - -0.12. Which is smaller: j or c?
c
Let g be (((-2)/(-11))/((-32)/(-1072)))/1. Let a = g + -1205/198. Is a bigger than 0?
True
Let j(u) = -132*u**3 + 3*u**2 - 3*u - 5. Let z be j(-3). Let a = 557223/155 - z. Is 0.1 less than or equal to a?
False
Let x = -8500 - -8428. Is x greater than -19?
False
Suppose -5*c = 2*o - 1212, 500 = 2*c - 6*o + 3*o. Suppose -2*m = 4*n + 384, 3*n + 53 = 3*m - c. Is n smaller than 2/9?
True
Let p = -3744 - -3742. Which is greater: -37/46 or p?
-37/46
Let v be (0 + 0)*1 - (3 + 14). Let n = 21 + v. Let z(d) = -d**3 - 2*d**2 + 4*d + 4. Let u be z(0). Is n less than or equal to u?
True
Let k = 20666 + -20731. Which is bigger: -255/4 or k?
-255/4
Let m be ((-207)/(-1610)*110/(-156))/(-12). Which is greater: 1 or m?
1
Let u(d) be the first derivative of -d**4/4 + 2*d**3/3 + 5*d**2/2 + 11*d - 65. Let a be u(-4). Is a at least 87?
True
Let o = 0.79 - 0.615. Let h = -0.075 + o. Which is greater: h or -9.1?
h
Suppose 215 = 5*a - 5*s, 0 = a - 2*a + 5*s + 51. Let n(l) = -48*l**3 + 2*l**2 - 4*l. Let i be n(1). Let g = a + i. Which is smaller: 0.1 or g?
g
Let k(s) = -791*s - 4193. Let o be k(-5). Which is bigger: -248 or o?
o
Suppose -209*t + 211*t + 20 = 0. Let r(x) = 51*x + 27. Let n be r(t). Let y = n + 22219/46. Is 1 smaller than y?
False
Suppose 2*q = 3*z + 25, -5*z - 3*q = -3*z + 8. Let d = 16 - z. Let b = -23 + d. Is b greater than 2/79?
False
Let j be (-6)/(-63) + 4/(-42). Let x be (j - -7) + -5 + -2 - -3. Let k be (-2)/(-2)*34/14. Is x less than k?
False
Let w be (-1040)/(-39)*15*(-3)/4. Let m be -2 - ((-3 - w/(-55)) + 2). Does m = 5?
False
Suppose 6 - 6 = 7*r. Let m be -134*(-2 - r)*2/(-8). Let u = 29 + m. Is -38 bigger than u?
False
Suppose -39*h + 34*h = -270. Let r be h/(-126) + -3 + 264/63. Which is greater: r or 1?
1
Let g = -2/263 + 821/4208. Suppose 0 = -3*s - 936 + 372. Let r = 1314/7 + s. Which is bigger: r or g?
g
Let h(t) = 14*t**2 + t. Let z be h(-1). Let y be 2/(-6)*5700/(-8)*-1. Let f = y - -249. Which is smaller: z or f?
f
Let l be -1 + 5/7 + 688536/252. Which is smaller: l or 2731?
2731
Let h(k) = -6*k**2 - k + 9. Let u be h(4). Let d = -11 - u. Let t = d - 83. Is t at least as big as -1?
False
Suppose 102*j - 99*j - 3 = -h, 2 = -5*h + 2*j. Is 7/169 at most as big as h?
False
Suppose -3853 = 33*x - 11*x - 12807. Which is bigger: x or 411?
411
Let m = -3420 + 3413. Is m <= -90?
False
Let p be (-184)/(-18) + (-6)/27. Suppose 0*m = -3*i - m - 1334, 3*m = -2*i - 880. Let h = -871/2 - i. Which is bigger: h or p?
h
Let n = -91.004 + 91. Let q = 0.196 - n. Which is smaller: -0.14 or q?
-0.14
Suppose -8 = d - 3*d. Let s(i) be the second derivative of -11*i**3/6 + 22*i**2 - 213*i - 9. Let z be s(d). Is -9/13 at most as big as z?
True
Let t = 64 + -125. Let c = -75 - t. Suppose 10 = -z - 2*l - 6, -4*z = 3*l + 59. Is z > c?
False
Let p = -2652 - -345. Let s be -7 + p/(-2301) + 6. Is -1 bigger than s?
False
Suppose 0 = b - 4*j + 25, -4*b = 6*j - 3*j + 5. Let k = b + 2. Let i be (-10)/30*(-1 - 58/(-10)). Which is greater: k or i?
i
Let r = 1 - 2. Let k(i) = -2*i**3 + i**2 + 2*i. Let w = -62 - -61. Let n be k(w). Is n less than or equal to r?
False
Let m = -211 - -214. Let n be (5 - -1)/(2/(-3)). Let u be (3 - (-3 - (m + n))) + 81. Does 81 = u?
True
Let n = 2 - 3. Let r(f) = 2*f**2 + 9*f - 9. Let x be r(-7). Let p = x - 601/23. Does n = p?
False
Suppose -213*w - 180 = -233*w. Is 242/31 equal to w?
False
Suppose -52338 = -60*f + 82*f. Let k = -116567/49 - f. Which is smaller: k or -2?
-2
Let o = -0.01088 - 0.03912. Is o not equal to -2/353?
True
Let m = 87282717/28 - 3118024. Let u = 784 + m. Which is smaller: u or 0?
u
Let x = 28610 + -27799. Is x less than 801?
False
