 = o. Let u(z) = -51933*z - 675172. Let h be u(-13). Do h and c have different values?
True
Let d = -541 - -416. Let z = -124.9 - d. Which is bigger: z or -45?
z
Let l be (-47)/(11420/(-1140) - -10). Is 2682 > l?
True
Let n = -523/2499 + 1/294. Let h = -12/17 - n. Which is greater: h or -6/23?
-6/23
Suppose 0 = -0*v - 44*v + 968. Suppose -2*g = g - 3*i - 111, 5*i + 146 = 4*g. Let q = v - g. Are q and -17 equal?
True
Let p be 16 + (-200387)/50105*4. Which is greater: p or 1?
1
Let t = -449023/30 + 14970. Is t > 2?
True
Suppose 0 = 2*z + 56 - 66. Suppose -z*o - 10 = 5, -3*o + 205 = 2*p. Which is smaller: p or 110?
p
Suppose 5*v + 5*t + 260 = 0, 4*v - t - 217 = 8*v. Let r = -174 + 123. Is r at most as big as v?
False
Suppose -487 = -4*m - 5*n, 331 + 41 = 3*m - 3*n. Suppose 3*w + 2*w = -2*v + m, -5*w = 4*v - 231. Let g = 13 - v. Is -40 bigger than g?
True
Suppose -18*k - k = 190. Let f(a) = a**2 - 18*a - 71. Let n be f(k). Is 419/2 at most n?
False
Suppose -5*u + 5247 = 3*d, -u - 6*d = -3*d - 1047. Is 1052 > u?
True
Let g(u) be the second derivative of u**5/20 - 5*u**4/3 + 5*u**3/2 + 40*u**2 + 180*u + 2. Let m be g(19). Which is smaller: m or 11?
m
Let d = 7990 - 6520. Which is greater: 2939/2 or d?
d
Suppose -8 = -14*q - 64. Is q equal to 11/14?
False
Suppose -15245 = -64*k + 41*k - 2733. Is 5982/11 < k?
True
Let g be -6 - (-79)/2 - (-1)/(-2). Let q = 21 - g. Let k = -47/4 - q. Which is bigger: k or 0?
k
Let q(g) = g**3 + 8*g**2 - g + 1. Let n be q(-8). Let p be (-290)/7 + n/21. Let w be 0 + -39 - ((-27)/(-9))/3. Which is bigger: w or p?
w
Let y = -3.12 + 3.261. Let x = -7.4 - -7.6. Which is bigger: x or y?
x
Let s = -359 + 340. Let t = 764340855 - 1811487870407/2370. Let a = t + -5/474. Which is smaller: a or s?
s
Let q = -569 - -578. Suppose 0 = q*v - 3765 - 2310. Is v less than -1?
False
Let l be 174/754 + (-129100)/325. Suppose 0 = 3*m + 520 + 668. Is m at most as big as l?
False
Let z = -629/2 - -1903/6. Let w = 54 + -52. Which is smaller: w or z?
w
Let a = -135.9 - -221. Let q = -85 + a. Let n = q + 0. Which is bigger: n or 1/7?
1/7
Let c(m) = m + 1. Let k(v) = -2*v + 20. Suppose 8 = 5*b - 12. Let g(i) = b*c(i) + k(i). Let z be g(8). Is z less than 1?
False
Let x = 5/7728 - 22105/4304496. Which is smaller: 1 or x?
x
Suppose 3*d + 2*c = -0*c + 108, 3*c = -2*d + 77. Suppose 5*q - 11 = d. Suppose 2*a - 3*y = -6 - q, 4*a - 2*y = -10. Is a >= 2/63?
False
Let q be (-9)/(-393)*2/3. Suppose 233 = -9*v + 8*v. Let m = 234 + v. Are m and q equal?
False
Let a(g) = 2*g**3 - g**2 - g + 1. Let w(p) = 6*p**3 - 14*p**2 - 6*p. Let j(u) = -4*a(u) + w(u). Let y be j(-5). Is -2 < y?
True
Let b be ((-168)/(-3752))/(524/1670). Let u = b + 33/262. Is u equal to 1?
False
Let h(n) be the first derivative of -2*n**3/3 + 12*n**2 + 16*n - 52. Let m be h(11). Which is greater: m or 37?
m
Let r = 81.13 + 3261.87. Which is smaller: r or -1?
-1
Let o = -86269/16 + 5389. Which is greater: o or -3?
o
Let f = 2.142 - -0.098. Let j = f - 2.44. Which is bigger: 0.06 or j?
0.06
Let z = -361463/19 - -19029. Is z >= 4?
True
Suppose 0 = -22*d + 976 + 19990. Is 953 > d?
False
Let n be 25/58 + 4/(-8). Let a = 100 - 105. Let l = a - -6. Which is smaller: n or l?
n
Let k(w) = 13*w + 720. Let p be k(-64). Is p at least -115?
True
Suppose -620 = 8*p - 260. Let b be (-192)/p + (-11 - -5). Is b < -3?
False
Let t = -2709 - -2637. Which is bigger: -9 or t?
-9
Let p be (-30)/(-5) + (-10)/2. Which is greater: 51/26 or p?
51/26
Let y = 0.4532 - 109.4532. Which is smaller: y or -15?
y
Suppose 5*b - 15 = 4*d, -9*d = -7*d - 4*b + 12. Let s be (2 + -1 - 3) + d + 8. Is 5 > s?
False
Let d be ((-9)/6)/(9/(-12)). Suppose -b + d*w = 2, -w = 2*b + 2*b - 1. Which is bigger: b or 1/70?
1/70
Suppose 0 = 459*o - 454*o. Let n(u) = -u**3 - 7*u**2 + 3*u + 3. Let x be n(-7). Let d be (x/342)/(-1 + o). Are 1 and d unequal?
True
Let o(h) = 2*h**2 - 3*h - 3. Let i be o(5). Let b be i/(-176) + (-128)/44. Does -4 = b?
False
Let r = 38231045978/105 - 364102273. Let b = r + -63064/21. Let s = -489/7 - b. Is 5 not equal to s?
True
Suppose -4*j - 6 = 2*g, 2*g - 9 = -3*j + 5*g. Suppose j = -4*f + 116 + 200. Let l be 237/2*(247/(-57) + 5). Is f at least l?
True
Suppose 23*p = 167 + 109. Which is greater: 6 or p?
p
Let r = -175 + 303. Let j = -153 + r. Which is smaller: j or -30?
-30
Let q = -4676.6 + 4678. Which is smaller: q or -3.21?
-3.21
Let v be ((-1 + 2)/(29/87))/(-1). Let a(n) = 2*n**3 + 12*n + 18. Let b be a(v). Does -71 = b?
False
Let g be -5345*9/(-630) - (16/(-14))/8. Is g less than 78?
True
Let d = -436.4 - -303.5. Let f = d - -133. Is f at least 8.1?
False
Let r = -242468 + 242458. Let w(l) = l**2 - 3*l. Let d(n) = -2*n - 9. Let o be d(-6). Let i be w(o). Is i greater than r?
True
Let f = 0.004 - 0.033. Let y = -6.029 - f. Let h = 6.2 + y. Is -12/11 > h?
False
Suppose -5*f + f = -3*y - 17, f - 8 = 2*y. Suppose -2 = -2*s - 8, -5*v = -f*s - 361. Let t = 71 - v. Which is bigger: 5 or t?
5
Let j(a) = 144*a + 1703. Let n be j(7). Which is greater: 2710 or n?
n
Let h = -20 + 19. Let j be 7732/258*(-3)/18 + 5. Is h bigger than j?
False
Suppose 4*o + 4 = -4. Let i = 187.8 - 195. Let r = i + 7.1. Is r < o?
False
Let g = -2.356 - -3.156. Let r = -3.5 - -24.5. Which is smaller: g or r?
g
Suppose 0 = -i - 0*i - 9. Let x be 3/8*4/i. Suppose -s - 3 = -2. Is x < s?
False
Let z = 21054 + -21239. Which is bigger: -167 or z?
-167
Let s(z) = z**3 - 7*z**2 - 27*z - 21. Let h be s(10). Suppose h = -p - 64. Which is greater: p or -72?
-72
Suppose d - 21 = 3*s, -83 = -5*d + 40*s - 36*s. Let y be (-16 + d)*(-1)/9. Are y and 0 nonequal?
True
Suppose 4*m - 10*m = 144. Let o be m/(-10) + -2 - (-535)/(-275). Is o less than -3?
False
Let m = -110 - -110.028. Let s = 0.172 + m. Which is bigger: s or 0.079?
s
Suppose -3*f - 4 = 2*w, 3*f + 9 = 5*f - w. Let b be (-1 - -3)/((-2)/4) + 16. Which is bigger: f or b?
b
Let j(x) = -14*x**2 + 30*x - 30. Let f(c) = 3*c**2 - 6*c + 6. Let k(n) = 11*f(n) + 2*j(n). Let v be k(2). Let p be 34 + (-1 + -2 - (9 - v)). Is p > 35?
True
Let o = 81157939/1212 - 66962. Is o greater than or equal to 0?
False
Let j = 1901 + -5797/3. Let g = -33 - j. Suppose 3*p + 5 = -d, -3*p - 9 = -0*d + 3*d. Is p >= g?
True
Let k be (3/5*20/(-30))/(72/248790). Which is bigger: -1382 or k?
-1382
Let g = 439.369 - 440. Let j = g - 4.369. Are j and 0.01 non-equal?
True
Let c = -177 + 189. Let z = -11.6 + c. Which is smaller: -4 or z?
-4
Let w = 136/365 + -24958/37595. Is w smaller than -1?
False
Suppose 3*s + 4*g = -g + 16, -3*s + 4*g = -52. Let a be 62 - 9*4/s. Let x = 24 - a. Is x >= -36?
True
Let g = -2333924/109 - -21412. Which is smaller: 0 or g?
g
Suppose 173*g + 13 = 13. Is g not equal to 5/166?
True
Let c(k) = 30*k + 230. Let j be c(-7). Suppose -17*r + 127 = u - 15*r, -j = 5*r. Which is smaller: u or 132?
132
Let w = -42458 + 255455/6. Which is smaller: -2 or w?
-2
Suppose 0 = 22*v - 24*v - 8. Let u be v*-4*7/11536. Is 1 equal to u?
False
Let z(f) = -21*f**2 - 149*f - 129. Let l be z(11). Is l not equal to -4309?
False
Let d(y) = y**3 - 34*y**2 - 25*y - 1217. Let b be d(36). Which is bigger: -11 or b?
b
Let v(g) = -21*g + 2059. Let o be v(98). Is -29/170 at most as big as o?
True
Suppose -4*r - 153 - 98 = 3*x, -4*x - 79 = r. Suppose 42*k + 4*k + 724 + 1990 = 0. Is r less than k?
False
Let n(d) = -d**2 + 9*d + 10. Let y be n(10). Let r = -17.3821 + 0.0421. Let g = r + 0.34. Is g smaller than y?
True
Let s = 2033 - 2032. Which is smaller: s or -417?
-417
Suppose 4*t + 2*t - t = 0. Suppose 3*y - 2*y - 6 = t. Suppose 2*d = 2*d + y*d. Which is smaller: d or 1/5?
d
Let o = 9094.9 - 9052. Which is smaller: 2 or o?
2
Let k be 20/(-16) - (-18)/16*(-66)/(-9). Does 232/35 = k?
False
Suppose -3*y + m = -48, -y + 12 + 9 = -2*m. Let v be (8/6)/((-4390)/y). Which is greater: v or -1?
v
Let d be 4/18 + 516/27. Let t = -400/21 + d. Let r = -25143 - -25142.935. Are r and t equal?
False
Let c be 1 + -3 + 0 - (-59 - -3). Let d = -107/2 + c. Let t = -1/4 + d. Which is greater: t or 2/13?
t
Suppose -k - 6 + 3 = c, 6 = -3*c. Suppose 21*z - 6709 - 641 = 0. Let p be 121/z + (-36)/126 + 0. Is k bigger than p?
False
Let w = -0.1 - -0.9. Let j = w - -0.2. Let q = 2/61 + 56/2013. Do q and j have the same value?
False
Let u(z) = -2*z - 2. Let a be u