 + 4.3. Let b = -0.5 + w. Let r be 43 + -38 - 86/18. Is r at least as big as b?
False
Let t = 1866 - 1905. Which is smaller: 9/7 or t?
t
Let s = -6 - -15. Let z(w) = -w + 19. Let x be z(s). Suppose 4*k = 2*u - 20, 3*u - 2*k + 0*k = x. Is u less than or equal to 1/3?
True
Let w(z) = -z**3 + 3*z**2 + 4*z - 5. Let f be w(3). Suppose 390 = -f*n - 3*n. Is -39 greater than n?
False
Let o = 110.9 + -111. Is o greater than 0.601?
False
Let b(i) = 7*i**2 + 93*i + 26. Let q be b(-13). Which is smaller: -4/269 or q?
-4/269
Suppose -2*t + 8 = 6. Suppose 2*h + 21 = 4*y + t, -4*h - 19 = -y. Do y and 0 have the same value?
False
Let x = 17 - 11. Let m(u) = 13*u - 45. Let p be m(x). Which is smaller: 35 or p?
p
Suppose 14*i - 34 = 36. Suppose 3*n = -4*a + 3*a + 5, 3*n = -i*a + 1. Which is greater: n or 18/13?
n
Let i = 7 + -1. Let l be (i/5)/(39/(-130)). Which is smaller: -20/7 or l?
l
Let v(r) = -23*r + 138. Let g be v(6). Which is smaller: -79 or g?
-79
Let r = -85.126 + 0.126. Let o = r - -85.03. Let d = -3 - -4. Is d >= o?
True
Let r be (1120/21)/8 + -7. Which is smaller: r or 127?
r
Let b(h) = 0*h - 3*h**2 - 1 - 3*h**3 + 0*h - h. Let g be b(-2). Let p = 464 - 465. Which is smaller: p or g?
p
Let s(m) = -m**3 - m**2 - m + 11. Let z be s(0). Do z and 26 have different values?
True
Let d(k) = 3*k**2 + 4*k + 4 - 3*k**2 - k**2. Let l be d(6). Let g(o) = o**3 - 128*o**2 - 524*o - 535. Let r be g(132). Is l > r?
False
Let a = 60449/75 + -806. Let y be 5/7 + (-2)/(-7). Which is greater: y or a?
y
Let h(z) = 30*z - 11. Let r be h(4). Let j = r - 108. Is 1/9 greater than j?
False
Let y(t) = 3*t + 29. Let n be y(9). Let w be 494/n + 1*(-5)/20. Is 8 equal to w?
False
Let p = 321 - 320. Is p at least as big as 0.5?
True
Let f(g) = g**2 - 3*g + 1. Suppose 4*s = s. Let z = 2 - s. Let d be f(z). Which is greater: d or -2/21?
-2/21
Let d = 1005 + -1006. Which is smaller: -383 or d?
-383
Suppose -192 - 280 = 4*h. Let i = h + 1060/9. Which is greater: 0 or i?
0
Suppose -7*a + 2*a = 0. Let u = -138399/14 - -9886. Does u = a?
False
Let s be ((4/6)/1)/(282/(-20322)). Let y = s + 48. Suppose 0 = -2*c + 5*c - 3. Is c at least as big as y?
True
Let j(b) be the third derivative of b**6/24 + b**5/60 - b**3/6 + 2*b**2. Let x be j(-1). Let m be (-32)/6 - 4/6. Which is smaller: x or m?
m
Let i = -215 + 394. Are 178 and i equal?
False
Let g be 15/25 + ((-1052)/220 - -6). Suppose n - 1 = -0. Which is bigger: n or g?
g
Let b be (11005/(-124))/(1*(-3)/12). Which is greater: 354 or b?
b
Let a = 48 + -8. Let x = a - 80. Is -38 at least x?
True
Suppose -5*z + 15 = 3*n - 8*n, 1 = -2*n + z. Suppose -12 = 5*o - 3*p, p - 2 = n. Let l = -387 - -771/2. Which is smaller: l or o?
l
Let d = 154 + -70. Is d > 84?
False
Let b be (-2)/5 + (-453)/(-120) + -3. Suppose r + 6 - 5 = 0. Which is smaller: b or r?
r
Let a(c) = -c**2 - 4*c + 7. Let m be a(-7). Let z be 32/m - (-20)/70. Is z < 2?
True
Let z = -141 - -307. Let o = z - 487/3. Is 3 > o?
False
Let t = 188 + 50. Which is greater: 239 or t?
239
Let h = -155 + 144. Let l(n) = 15*n**2 - n. Let k be l(-2). Suppose -k = 5*t - 2. Which is smaller: h or t?
t
Let u be 16/60*(-2 - -37). Which is bigger: u or 10?
10
Let f = 4.73 - -0.27. Let k = f + -4. Which is bigger: 2 or k?
2
Let p = 1137 + -7937/7. Which is greater: p or 4?
4
Suppose 3*l - 3*b = 2*b + 25, b + 5 = l. Suppose -9*x + 5*x + 4 = l. Let r = -1159/51 + 68/3. Which is smaller: r or x?
r
Let y = -209.9 - -210. Which is greater: 6 or y?
6
Let y = 0.2 + -1.2. Let v = y + 1.8. Let x be 4/6*(-12)/16. Is x not equal to v?
True
Let z be (1/(-3))/((-18)/(-12)). Which is bigger: z or 1.6?
1.6
Suppose 0 = -87*i + 86*i - 3*f - 617, 3*f - 2483 = 4*i. Are i and -618 nonequal?
True
Let u(n) = n - 6*n + 2*n + 4*n - 4. Let x be u(-9). Let c be (-2)/x + 30/(-26). Which is greater: c or 1/17?
1/17
Let r = -80 + 80. Suppose r*y + 123 = 3*y. Which is bigger: y or 43?
43
Let x(g) = -g**2 - 7*g + 3. Let d be x(-8). Suppose -15 = 3*b - 3*u - 0*u, 4*b - u + 20 = 0. Is b equal to d?
True
Let s = -4196 + 4196.11. Let l = 0.9 + 0.1. Which is smaller: l or s?
s
Let c be (-100)/40 + (1*-2)/(-1). Which is greater: 0.21 or c?
0.21
Suppose -f + 52 = -5*g, -g - 2*f = 3*g + 36. Let j = -15 + 4. Which is smaller: j or g?
j
Let q = -5452/5 + 1088. Let z be (1/3)/((-1)/3). Which is smaller: z or q?
q
Let n(i) = -4*i**2 - 2*i + 6. Let c be n(4). Let g be c/9 + (-3)/(-9). Let h be ((-2)/g)/((-45)/(-21)). Is -1 less than or equal to h?
True
Suppose -2*z + 4*t = 690, -1416 + 36 = 4*z + 3*t. Let r = z - -705/2. Do r and 9 have the same value?
False
Let k = 0.395 + -0.055. Which is greater: k or -0.02?
k
Let n = 23 - -57. Suppose 3*t + t = n. Let a = t - 12. Which is smaller: a or 7?
7
Suppose -5*p - 3*u + 225 = 2*u, 0 = 3*p - 2*u - 110. Let b be (-4)/p*1/2. Which is bigger: 0 or b?
0
Let j be 72/(-70) + -1 + 2. Suppose -56 = 38*t - 18. Are j and t equal?
False
Let p(t) = -40*t**2 + t + 18*t**2 + 21*t**2. Let m be p(0). Suppose 0 = -3*w + 4*l - 1, 3*w = 2*l + 1 - 0. Which is smaller: m or w?
m
Let q = -29.4 - -29.3. Let i be (-27)/36*1/3. Is i bigger than q?
False
Let c = -423 + 436. Which is greater: 49/4 or c?
c
Let o be (-57)/38*(-14)/306*7388. Let j = o - 507. Which is smaller: -1 or j?
-1
Suppose 4*q + 661 = 5*u, 0 = -u + 5*q - 0*q + 128. Are 0 and u non-equal?
True
Let q = 2161 + -2160.81. Do q and -0.04 have the same value?
False
Let a be (-1)/(8/10 - 1). Suppose -a = 5*b - 0. Is -1 equal to b?
True
Let c = -379 - -4930/13. Suppose 13*a - 9*a = 0. Suppose -1 + a = g. Which is smaller: g or c?
g
Let l = 47 + -42. Let m be -1*(-4 + 0 + l). Is -7/6 at most m?
True
Let t = -19.7 - -19.9. Which is smaller: -3 or t?
-3
Suppose 2 = -d + 7. Suppose -30 = -0*y + d*y. Let g = -11 + 3. Is y greater than g?
True
Let y = -0.03 + 9.03. Which is smaller: y or -0.2?
-0.2
Let o = 163 - 165. Which is smaller: 1/145 or o?
o
Let z = -1.411 - 80.589. Is z greater than or equal to -1?
False
Suppose 5 = 3*a + 86. Let j be (-12)/(-8) - (a/(-6) - 3). Let o = -4352/9 + 484. Is j less than or equal to o?
True
Let g = 8.74 + 4.16. Let z = -7 - 6. Let n = z + g. Is -3 greater than or equal to n?
False
Let s = -1/421 - -423/842. Let a = 0.12 - -5.88. Let x = a - 4. Is x < s?
False
Suppose u + 163 - 157 = 4*t, -2*u + t - 5 = 0. Are -36/41 and u non-equal?
True
Suppose x + 2*x - 4*o - 52 = 0, 0 = 4*o + 16. Let l(n) = -2*n**2 + 119*n - 896. Let i be l(9). Is i != x?
True
Let u be (-21)/(-14) + (-8)/12. Which is smaller: 7.9 or u?
u
Let i be (264/(-27))/((-60)/270). Is i not equal to 5?
True
Suppose -3*t + 0*t - 456 = 0. Which is smaller: -151 or t?
t
Let i(q) = -q**2 + 10*q + 2. Suppose 2*v + 4*v = 42. Let c be i(v). Let u = -344/15 + c. Is 0 at most as big as u?
True
Let t(u) = -2*u**3 - 8*u**2 - 11*u - 8. Let a be t(-3). Let q = 1.9 - -0.1. Is a equal to q?
False
Suppose 76 = 4*u + 80. Which is bigger: u or 181?
181
Let d = 3 + 3. Let a = -5 - -9. Let x = -5 + a. Which is greater: x or d?
d
Let f be 138/(-51) + 27/9. Do -1 and f have different values?
True
Let i = 3901 - 144325/37. Is i at least 1?
False
Suppose 7*k + 483 - 469 = 0. Is -0.0504 < k?
False
Let r = 335968/173 - 1942. Which is greater: -1 or r?
r
Let m be (1 - 1) + 3 + -16. Let f = -793/90 - 79/18. Is f bigger than m?
False
Let p be (-1*(-8)/(-1))/(-2). Let f = -0.2 - -5. Let y = 2.8 - f. Is y <= p?
True
Let l = 34 - 64. Let s = -1.0829 - -0.0829. Which is bigger: l or s?
s
Let u = 12 - 8. Let j = 529/56 - -3/56. Let y = j - 9. Which is smaller: u or y?
y
Suppose 240 = -7*u + 597. Is 151/3 at least u?
False
Suppose 0 = 3*h - 2*k - 325 - 414, -4*k + 482 = 2*h. Let q be (14/h)/(1/(-5)). Do -0.2 and q have the same value?
False
Let g(i) = -i**3 + 2*i**2 + i + 8. Let f be g(3). Suppose c = -5*j + 10, -c = -3*j + f*c + 6. Which is smaller: j or 3?
j
Let f = 115 - 194. Let o = -56 - f. Let x = -32 + o. Which is bigger: -0.1 or x?
-0.1
Let t = 203.8 - 207. Which is bigger: t or 10?
10
Suppose 8*h - 6*h + 4*z + 12 = 0, -4*z - 16 = 4*h. Is 138 != h?
True
Let y(v) = 4*v**2 + 3*v - 9. Let s be y(12). Let u = 7834/13 - s. Which is smaller: 0.1 or u?
u
Suppose 25 = -5*c - 0*i - 3*i, 0 = -4*c - 2*i - 22. Let o be 0*((-1)/1 - -2). Suppose o = -5*g - u + 5 - 43, -4*u - 32 = 5*g. Does c = g?
True
Let d(g) = -g*