-46)/(-92). Is t bigger than -197?
True
Let f = 5823 - 5847.79. Are f and 1 nonequal?
True
Let d be (4 - (-648)/180)*1/(22/(-70)). Which is smaller: -24 or d?
d
Let f = 101 + -110.6. Let d = -40 + 49.1. Let b = f + d. Is 5 not equal to b?
True
Let t = 0.243 + -0.296. Let m = -0.023 - t. Let z be 2/(-2) + 2/3. Is z != m?
True
Suppose -3*v - 6 = 2*n, -5*n - 1 = 4*v + 14. Suppose -y - 3*y = v. Let d be 45/(-108) - 1/4. Does y = d?
False
Let m be 1220/(-18) - ((-43)/9 - -5). Let r = m - -66. Let l be -1*-1*4 + (-164)/r. Which is bigger: l or 0?
l
Suppose 12*j - 256 = 16*j. Let n = -62 - j. Suppose -b = n*b - b. Which is greater: -1/43 or b?
b
Let z(l) be the first derivative of l**4/4 + l**3/3 - l**2 + l - 1. Let f be z(1). Let w be 202/(-84) + (-95)/(-38). Is w less than f?
True
Let h(s) = s - 34. Let x be h(38). Let w(o) = -13*o**2 + 45*o + 9. Let z be w(x). Is -21 less than or equal to z?
True
Let p = 15589 - 18079. Which is smaller: p or -2493?
-2493
Let p = 283.3 - 283. Let q = 12 + -11.8. Let c = q - 0.4. Which is smaller: c or p?
c
Let s(h) = 6*h + 3. Let b be s(-2). Let g = -134557/7 + 19213. Which is smaller: b or g?
g
Let z = 0.0688 + 42.0312. Let m = -42 + z. Let i = 128/3 - 41. Is m equal to i?
False
Let k(t) = -10*t + 9. Let f(u) = 11*u - 8. Let b be ((-4)/3 - -1)/(15/(-270)). Let q(o) = b*f(o) + 7*k(o). Let j be q(4). Which is greater: j or 2/53?
2/53
Let t = -5146/15 - -1577/5. Let r(k) = -12*k + 8. Let y be r(3). Which is bigger: y or t?
t
Suppose -2*u - 35136 = -4*z, 111*z = -5*u + 118*z - 87846. Which is bigger: u or -17573?
u
Let l = 203 - 161. Let z = -27 + l. Which is smaller: 14 or z?
14
Suppose -d = -7*d - 66. Let t be -4*15/(-20)*(-170)/(-6). Suppose 15 = -2*b + m - 14, -5*b + 5*m - t = 0. Which is smaller: d or b?
b
Let s(a) be the second derivative of 9*a**3/2 - 131*a**2/2 + 232*a. Let i be s(5). Which is greater: i or 8?
8
Let j(m) = 2*m**3 - 89*m**2 + 45*m - 93. Let c be j(44). Let k be c/(-4) - 84/7. Let r = 2/11 - 8/165. Which is smaller: k or r?
r
Let x(g) = -624*g - 625*g + 49 + 1251*g. Suppose -3*j + a + 4 = 0, -3*a + a = -j + 8. Let p be x(j). Are p and 49 unequal?
False
Suppose 4*h + 2620 = 3*o - 445, 1538 = -2*h - 4*o. Let r = h + 507. Which is smaller: -261 or r?
-261
Suppose -8*s + 5*s = -2*b + 2500, 0 = -2*s - 5*b - 1654. Let j = 2498/3 + s. Which is greater: 6/19 or j?
j
Let m = 100/67 - 10036/6365. Is -1 < m?
True
Let q be 32358/280 - 118/(-3304). Is 116 at least as big as q?
True
Let j = -326/9 - -2383/72. Suppose 330*l + 15 = 325*l. Is l < j?
False
Let n(y) = -y**3 - 5*y**2 - 5*y - 21. Let f be n(-5). Suppose g = f*c + 2*g - 896, -211 = -c + 3*g. Is 220 at most c?
True
Let k = -24 - -28. Suppose -1201 = k*j - 45. Let b = -2887/10 - j. Which is smaller: 0 or b?
0
Let w = -1737 - -1728. Is -197/22 at least as big as w?
True
Let a = 6553 - 6545. Which is bigger: a or 284/35?
284/35
Let a = -3.641 - -3.641. Which is bigger: 1186 or a?
1186
Let j = -9809 + 9832. Let a = -20 + 19.8. Is j at most a?
False
Suppose 20*z + 43*z - 48573 = 0. Let i = z + -829. Which is smaller: -59 or i?
-59
Let t = 2871 - 2226. Which is bigger: -1 or t?
t
Let x = -25.7 - -43.1. Let t = 17.79 - x. Which is bigger: t or 1?
1
Suppose -4*f = 10*u - 14*u - 4, -14 = 4*f + 5*u. Let m be (-3 + (-30)/(-24))/(f + 0). Which is greater: m or -1/3?
m
Suppose -5*x + 2*i - 7*i - 190 = 0, -i + 162 = -4*x. Suppose 15*u - 62*u - 994 = 839. Is u bigger than x?
True
Let g = -7488 + 7580. Let a(k) = k**3 + k**2 - 90. Let z be a(0). Let j = z + g. Which is smaller: j or 3/4?
3/4
Let h = -166/69 - -2/345. Let f(b) = -b**3 + 3*b**2 + b - 2. Let p be f(3). Let w = p + -4. Is h <= w?
False
Let g = -3/7 - -5/7. Is 68 not equal to g?
True
Suppose 42 + 929 = 9*w - 532. Is 172 equal to w?
False
Let c(g) be the third derivative of g**5/60 + g**4/4 - 37*g**3/6 + g**2. Let h be c(-10). Which is greater: h or -0.07?
h
Let u be 0*(-3)/9 + 84. Let l be (7*1/u)/(50/(-16)). Let o = 33 - 33. Which is smaller: l or o?
l
Let r = -1287 + 1291. Suppose r*v + 16 = -4*n, 0 = 10*n - 12*n + 2*v. Let x = -39 - -27. Are x and n equal?
False
Suppose -5*l - 10 = 13*z - 16*z, -3*z = 4*l - 19. Let t be 4*l - 16153/4031. Suppose 1 = v - 2*v. Which is smaller: t or v?
v
Let t = -1.019 + 2.019. Do t and 0.1863 have the same value?
False
Let w = 16/479 - 5063/22513. Which is bigger: -1 or w?
w
Suppose 7041 + 39955 = -4*c. Is c <= -11749?
True
Let h = 3201 - 3179. Which is smaller: h or 23?
h
Suppose 3*y = 3*p - 945, -1557 = 5*y - 2*p + 3*p. Let x be (2 + 0)/(12/y). Which is bigger: -51 or x?
-51
Let l(d) = -4*d + 30. Let s be l(7). Let g be 78/15 - (6 - 4)/2. Let c = 6 - g. Which is greater: c or s?
s
Let w(v) = 3*v - 1. Suppose 0*r = -4*r + 4. Let c be w(r). Suppose -8*p = 20*p + 56. Which is greater: c or p?
c
Let a(k) = -374*k + 168. Let c be a(-1). Is c equal to 542?
True
Let i = 2374 + -2373.82. Which is greater: i or -0.085?
i
Suppose -y + 3 = 2*r, 1117*r = 1112*r + 10. Which is smaller: y or 17/317?
y
Suppose -5*v = 5*x - 7849 - 1271, 4*x - 7311 = -v. Let c = -2352095/1286 + x. Is 1 bigger than c?
True
Let a be 65/13*(1 - 0). Suppose -9*u - 46 = 4*f - 7*u, 2*u = a*f + 80. Suppose 39 = -4*l - 21. Is f equal to l?
False
Suppose 3*c - 729 = -2*f + 5*f, 3*f + 724 = 4*c. Let v be ((-83)/(-2))/((225/54)/(-25)). Is f smaller than v?
False
Let n = -1.6 + -5.32. Let d = n + -0.08. Let f = -99 + 99. Is f < d?
False
Let c(f) be the first derivative of f**4/2 + 2*f**3/3 - f**2 + f + 1. Let a be 1/(8/6 + 2/(-6)). Let y be c(a). Is -7 less than y?
True
Let s = 34.3 + -34.2983. Let h = 0.9983 + s. Which is greater: h or 0.073?
h
Let r(d) = 613*d - 11772. Let b be r(19). Suppose 278 = -2*a - 4*v, a - 2*v = -a - 248. Which is greater: a or b?
b
Let l be (-96)/102 - 2/(-2). Suppose 14*q = 21*q + 336. Let i be (-12)/(-20) + q/80. Is i less than or equal to l?
True
Suppose -12*l = -17*l + 15. Suppose -5*z + 1 = l*p, p + 4*z - 3 = z. Which is greater: p or 1?
1
Suppose 5*b = -731 - 509. Let x = b + 240. Suppose -4*n - 2 = 18. Is n >= x?
True
Let a be 2293/240 - 38/(-285). Do 10 and a have the same value?
False
Let s(m) = -14*m**2 + 2*m - 6. Let o be s(8). Let n = o + 3477/4. Let x be ((-75)/6 + 12)*(6 - -28). Is n smaller than x?
False
Let t be ((3/(-12))/(5/(-11090)))/(8/16). Is t at most 1110?
True
Let l = 195683265/3086 - 63410. Which is greater: l or -1?
l
Let s = -24.2 - -24.175. Let z = -1.43 + 1.13. Do s and z have different values?
True
Let l = -210 - -164. Let h be ((-54)/12 + 5)*l. Are -23 and h equal?
True
Let z be (2 - -4) + -50 + 43. Which is greater: -3/616 or z?
-3/616
Let x = 0.5111 - 2.5111. Which is smaller: 1/145 or x?
x
Suppose -345 = 3*b - 294. Suppose i + 11 + 23 = -2*v, 3*v + 77 = 5*i. Which is smaller: b or v?
v
Let o(j) be the second derivative of -j**4/12 - j**3 + 123*j**2 - 18*j + 6. Let s be o(-17). Is s < 60?
True
Let y = -989.3 - -1048. Let z = y + -59.9. Which is smaller: z or -0.07?
z
Let t = -36 + 50. Let x be 5 + -1 + 5 + -9. Suppose x = b - t - 8. Is b bigger than 22?
False
Let s be (-298102)/98 + -4 - 3/21. Is s greater than or equal to -3043?
False
Suppose 0 = 46*d + 46*d - 85*d - 15995. Is 2285 at most d?
True
Let n(m) = 91*m + 6915. Let i be n(-76). Which is bigger: 3/31721 or i?
3/31721
Let r = -996 - -953. Let f be (-172)/r + (-7)/(2/(-2)). Suppose 4*s = 43 + 9. Is s >= f?
True
Suppose 0 = 5*a - 4*g + 2836, 4*a + 782 = -2*g - 1466. Which is greater: -562 or a?
-562
Let c = -45 + 53. Suppose -c*y + 3*y + 135 = 0. Let v = -46 + y. Which is greater: v or -20?
v
Suppose 8*j = 15*j - 406. Let d = 0.099 - -0.001. Which is greater: j or d?
j
Suppose 3*k = 4 + 2. Let q = -661303/7 + 94145. Let o = q - -328. Is k at most o?
False
Let q be -2 - 1 - 285/11211*-118. Is q greater than 1?
False
Let i be (1 + 1)/((-10)/(-20)). Suppose -20 = -i*f - 4*r - 0, -3*f = -4*r - 50. Let h be 5/(25/f) + 2. Which is smaller: 5 or h?
h
Let h be 34/(-255) + (-116)/10380. Is 0 != h?
True
Let d = -10 - -9. Let r(n) = -5*n - 3. Let l be r(d). Suppose -2*z + z - l = 0. Do z and -4 have the same value?
False
Let r be (-14)/(-4)*(-8)/4*-1. Suppose 3*x + r = 25. Suppose x*j + 8 = -h + 2*j, -3*h + 4*j + 8 = 0. Which is smaller: -7/5 or h?
-7/5
Let s(l) = 2*l**2 - 15*l - 23. Let x be s(9). Let