 k(a) = -4*a + 11. Let r(s) = 6*d(s) - 26*k(s). Let z be r(11). Let b = -609 + 597. Is z smaller than b?
False
Let y be 33/(-1 + 0 + 0). Suppose 5*r - 106 = 4*s, 5*s + 89 = 2*s - r. Let i = y - s. Which is smaller: 0 or i?
i
Let o = -0.19 - -2.09. Let x = 0.091 + 0.809. Let t = x - o. Is 54 greater than or equal to t?
True
Suppose -349 = 7*h + 4299. Is h greater than -681?
True
Let i be 10/4*24/(-52). Suppose t = 306*n - 309*n - 7, -4*t = -3*n + 28. Which is smaller: n or i?
i
Let p = 32 - 33. Let h = 3263981/2145 + -4565/3. Which is smaller: p or h?
p
Let r = 1092407235/3947 + -276769. Is -1 less than r?
True
Suppose -5*a + 2*d = -2*d - 33, 4*a + 4*d - 12 = 0. Suppose -a*t + t = -400. Let j = t - 100. Is -0.072 bigger than j?
False
Suppose 0 = 8*s - 5*s - 5*q - 61, -3*s + 4*q = -65. Which is greater: -4 or s?
s
Let j = 151 + -258. Let n = 178 + j. Which is smaller: n or 1/4?
1/4
Let z be 18*(-1 + (-7463)/(-7480)). Which is bigger: z or -1?
z
Let o(t) = 32*t + 383. Suppose -36 = 3*l - 3*n, -43*l + 42*l + 3*n = 12. Let v be o(l). Let u be (1/3)/(20/(-25)). Which is bigger: v or u?
u
Let x = -8/2993 - 4130284/20951. Let j = -1679077159 - -1845305581067/1099. Let t = x - j. Which is bigger: -1 or t?
t
Suppose -14 = 5*y - 0*z - 2*z, -3*y - 12 = -3*z. Let a be y/4 + 1 - 1. Let l = 276.47 + -262.47. Is l smaller than a?
False
Let a(l) = -4*l + 9. Suppose 0 = -8*h + 6*h + 6. Let j be a(h). Let g = 43 + -43.1. Is j smaller than g?
True
Let u = 58 - 57.8. Let g = -20.3 - -4.3. Which is smaller: g or u?
g
Let m = 314 + -318. Let s be 372/(-119) - 74/259. Which is bigger: m or s?
s
Suppose -2*x = 30 - 570. Let j be 6/27 - 30147/x. Let a = j + 331/3. Is -2 greater than a?
False
Let z = 2309796083181/832005604 + 24640/1162019. Let v = z - 11105/4. Let r = v - 7079/1611. Is r > -4?
False
Suppose -38*k + 20*k = 8280. Let p = k + 507. Which is smaller: 45 or p?
45
Let y = -2/13865 + -5629088/707115. Which is bigger: -9 or y?
y
Suppose -14 = 2*k - 4*n, -5*k - 261*n - 2 = -260*n. Is k at least -29/465?
False
Let v = -2126.022 + 2126. Which is smaller: v or 5?
v
Suppose 62*f = 50*f + 3540. Suppose 4*t + 3*x = 1149 + 107, 0 = t - 4*x - f. Which is smaller: 312 or t?
t
Suppose i + 3*c - 531 = -2*c, -985 = -2*i + c. Are i and 489 nonequal?
True
Let l be (-14)/(-3)*-6*(-10)/(-70)*26. Which is greater: l or -117?
l
Suppose 14 = 3*r - 2*x, -2*r - 4*x = -8*x - 20. Suppose r*j - 37 = -2*q + 5*q, 3*j - 15 = 0. Let v be q - (-8)/2*5/20. Is v != 0?
True
Let x be 2052/133*(-21)/(-82). Is x at least as big as 3?
True
Suppose 2*n + 251 = -n - 4*x, 2*n = -5*x - 172. Suppose -4*o = 1003*m - 1005*m - 128, -4*m - 326 = 2*o. Is m != n?
True
Let p be 82/102 - (-1)/(-3). Suppose -24*f + 11 = 11. Let a be f/(10/(80/(-56))). Is p != a?
True
Let m(x) = x**2 - x. Let a(c) = 7*c**2 - 2*c - 1. Let q(i) = -a(i) + 5*m(i). Suppose -6*n + 3*n = -0*n. Let r be q(n). Which is smaller: r or -2?
-2
Let f(n) = -23*n**2 + 3*n + 13. Let q(v) = v**2 - 3*v - 58. Let z be q(9). Let s be f(z). Is -367 greater than or equal to s?
True
Let v(o) = 19*o + 139. Let q(h) = h**3 - 8*h**2 + 9*h + 23. Let m be q(5). Let g be v(m). Is -2 smaller than g?
True
Let u = 3004 - 3003. Which is smaller: u or 857?
u
Let l = -152 + 187. Let u = l - 57. Is u smaller than 0?
True
Let m = 8056.89 - 8096. Let r = m - -39. Does r = -0.04?
False
Let w = 144.983 + 0.017. Let t = w + -145. Is -3 less than t?
True
Suppose -3*n - 7*u + 9*u = 10, -3*n - 5*u + 25 = 0. Do n and 12/211 have the same value?
False
Let q be 254/(-9) - 4/(-18). Let t = 1499 - 1529. Is q <= t?
False
Let x be (-2)/(-10) + 688/10. Suppose -22*r + 669 = -937. Is r greater than x?
True
Let y be (9/24)/((-13)/12). Let d be ((-28)/(-10 - -38))/(-1). Which is bigger: y or d?
d
Let k be -7 + 118/14 - (-54452)/(-14). Which is smaller: k or -3889?
-3889
Let j = 43754/3 - 14463. Let t be (((-266)/20)/7)/(156/(-9992)). Let d = t - j. Which is smaller: d or -1?
-1
Suppose 18 = 2*w - 0*w. Let n be (3/w)/((-1)/(-3)). Are 1/216 and n equal?
False
Let j be (24/156)/(-2 - (-56)/2). Suppose 0 = -4*l + 5*f - 9, 2 = 2*l + 6*f - 2*f. Is j greater than or equal to l?
True
Let f be 68/(-30) + 104/39. Let z be 3/(-53) - 0/(-17). Is z >= f?
False
Let l = 1.96 - 2. Let x = -376.793 - -377. Let u = x - 0.107. Is u bigger than l?
True
Suppose -y + 12 - 3 = h, 0 = h + 5*y - 29. Suppose 28 = 3*b + h*b. Is b at most as big as 7?
True
Suppose -29 = 14*b - 113. Let g be (-8)/b*(-21)/(-63). Do g and -1 have the same value?
False
Let q(h) = h**3 + 2*h**2 - 2*h - 3. Suppose 0*b - 4*b = 8. Let m be q(b). Let c be (2808/(-45))/8 + 8. Which is smaller: m or c?
c
Let d(k) be the first derivative of 56*k**3/3 + k**2 + 2*k + 1. Let g = 678 - 679. Let z be d(g). Is 55 greater than z?
False
Let v be (1*2)/(((-165)/132)/((-10)/16)). Is v greater than 7395?
False
Let y(q) = q**3 + 24*q**2 + 5. Let n be y(-24). Let f be (-22794)/(-4284) - n - 3/7. Let u = f - 1457/204. Which is smaller: u or -6?
u
Suppose -5*c - w + 9304 = 0, -3708 = -2*c - 31*w + 34*w. Which is greater: c or -0.2?
c
Let j = 156 - 145. Suppose -j = 2*a + 4*n + 7, 0 = 3*a - n - 1. Is -16/13 != a?
True
Let c be 4*145/20 + (1 - 2). Let f = c - 28. Is f < 3/55?
True
Let l = -92.93 - -94. Let q = -1.17 + l. Which is greater: q or 1?
1
Let i = -2294 + 2688. Which is bigger: i or 0.1?
i
Let o = 5 + -2. Let b(x) = -x**3 + 8*x**2 + 18*x + 2. Let r be b(8). Let u = 144 - r. Which is smaller: u or o?
u
Let o = -156 + 89. Let b = o - -1409/21. Let t = -29 + 29. Which is smaller: t or b?
t
Let t = -210 + -56. Let r = -253 - t. Is r greater than or equal to 25?
False
Let r = 250.4 - 41.4. Let x = 208 - r. Which is greater: x or 59/2?
59/2
Let z(k) = 5 + 11 + 4 - 61 - 18*k. Let i be z(7). Do i and -168 have the same value?
False
Let c = 13/10 - 283/210. Let p be (0/(-139))/((-2)/(3 + -1)). Which is bigger: c or p?
p
Let c = 51 - 39. Let r = 11 - c. Let g = -69/14 + 9/2. Is g > r?
True
Let l = 5956 - 5959. Which is smaller: -118/31 or l?
-118/31
Let q be -18 + (-398 + -1)/(-21). Do q and -14/3253 have the same value?
False
Let b = -258.29 + -8.71. Let v = b + 269. Is v less than or equal to 203?
True
Let f = 3693881/72648647 + 2/1231333. Let s = 7 + -5. Suppose -s = y + i, -4*y + 3*y - 4*i - 11 = 0. Is f greater than or equal to y?
False
Let c(t) be the third derivative of t**6/120 - 7*t**5/60 - t**4/8 - 3*t**3 - 18*t**2. Let n be c(8). Suppose 2*u + n = -0. Which is greater: u or -8?
-8
Suppose -5*f + 5*i = -25, 2*f + 8*i = 6*i + 6. Suppose -5*q + f*k = -325, -37 = -q + 3*k + 39. Is 63 greater than or equal to q?
True
Suppose h = -9*h - 360. Let s be h/(-16)*7 - (-6)/(-4). Is s at least as big as 14?
True
Let u be (-23660)/(-126) - 2/(-9). Suppose -50 = 5*t + m + 132, -u = 5*t + 4*m. Which is greater: t or -35?
-35
Let a(c) = 86*c + 3. Let u be a(-18). Let k be (-2)/5 + (u/(-175) - 8). Does k = -0.6?
False
Let l = -54 - -4. Let o be 1/(-6 + (-679)/(-113)). Let f = o - 163. Is f != l?
False
Suppose -2*j + 10 = -j. Suppose 2*b = j*b - 248. Let i be 2/(1 - 5) + b/124. Which is smaller: 1.8 or i?
i
Let w(u) = u**2 + 7*u + 10. Let v be w(-5). Suppose -2*d - 107 - 493 = v. Let l be d/(-18) - 2 - 1*-3. Is l smaller than 18?
True
Let x = 3451.87 + -3422. Let w = 30 - x. Let g = w - 0.11. Which is smaller: g or 2/3?
g
Let s(g) = -2*g**2 + 49*g + 14. Let n be s(12). Is 310 at most as big as n?
True
Let d = 0.015 + -0.058. Let o = d - 0.057. Let b = -25 - -24.78. Which is greater: o or b?
o
Let i = -8204 - -7973. Is i bigger than 15?
False
Let o = -3318 - -3256. Which is smaller: 0.9 or o?
o
Let v = 41 + 149. Let a = 23357 + -23357. Which is bigger: a or v?
v
Let v = -0.1 - -0.2. Let u = -0.3 + v. Let m = -58825 + 3941273/67. Are u and m equal?
False
Let b(g) = -3*g**3 + 2*g**2 - 14*g + 83. Let l be b(9). Is l less than or equal to -2069?
False
Let l = -19691/14472800 + 2/18091. Do l and 1 have different values?
True
Let c = 867.8 + 114.2. Let q = c - 983. Is q greater than or equal to 29?
False
Suppose -72 = o - 67. Let n be 8 + o - (-1 - -2)*-7. Let r = 10 - 0. Do n and r have different values?
False
Let o be (-2)/12*-4 + 110/12. Let b be (-8)/(-18) - 10578/(-1107). Are b and o equal?
False
Let i = -58 + 35. Let x = 24 + i. Let m = x - 0. Which is greater: