t s = 35.06 + k. Which is smaller: -3 or s?
-3
Let q = -630 + 487. Which is smaller: -142 or q?
q
Let v = -2 + -7. Let r = -986.8 + 987. Which is greater: v or r?
r
Let c = -131 - -126. Suppose 3*v + 4*p = 3*p - 13, -4*v - 5*p = 10. Is c at most as big as v?
True
Let y be (3 - 120/42)*(-2 + 5). Suppose -5*x - 3*u + 10 = 2*u, 6 = -x - 5*u. Suppose 5*i - 1 = x*i. Is y != i?
True
Let o = -8.62 - -8.52. Let r = 0.3 + -0.55. Is r >= o?
False
Let v = 102.043 + -102. Let y = v - 0.243. Which is smaller: y or -12?
-12
Let s = 113/56 + -15/8. Let p = -185 + 184.9. Is p at least s?
False
Let w(x) = -5*x - 26. Let c = -60 + 55. Let o be w(c). Do -2/173 and o have the same value?
False
Let o = -0.5 + 0. Let r be (-4)/((-1*8)/(-4)). Let x be (3 + -5)/((-10)/r). Which is smaller: o or x?
o
Suppose v - 3*q = 12, q - 2 = 4*v - q. Let y be -8 - (v - (-4 - -3)). Is -90/13 >= y?
False
Suppose 0*r - 2*r + 8 = 0. Let d be (112/r)/(2 + 0). Let l = 15 - d. Is l greater than 0?
True
Suppose 4*b - 273 = 5*i, -3*i - 3*b - 2*b - 186 = 0. Let g = i - -83. Is 26 greater than or equal to g?
True
Suppose -39*a = -41*a + 48. Is a != 30?
True
Let i = -16.324 + 0.224. Let p = 5 - 21. Let f = i - p. Are 15 and f unequal?
True
Suppose -3*l + 54 = -6*l - 2*u, 6 = -2*u. Let b be (1 + 0)/(4/l). Let c be 1*(0 + b + 3). Is c >= -2/3?
False
Let x be 5/(-15) - -2*4/18. Let b = 0.4 + -2.4. Is x less than or equal to b?
False
Let s = 15905/11 + -1446. Suppose 0 = 4*t - 4. Which is smaller: t or s?
s
Suppose 249 = 4*c + 25. Let l = c - 18. Let z = 55 - l. Is 18 > z?
True
Suppose -8 = -3*h + 22. Let w(u) = u**3 - 10*u**2 - 2*u. Let d be w(h). Which is greater: -21 or d?
d
Let j = -52.7 - -52.2. Which is greater: 3 or j?
3
Let d = -25 + 24. Let r = 883406 + -22077952/25. Let o = 288 - r. Which is bigger: o or d?
o
Suppose -46*s + 34 = -44*s. Suppose -2*x - n = -19 - 14, -81 = -5*x - 2*n. Is s greater than x?
True
Suppose 4*v = 3*l - 143 + 1043, 2*v + 5*l - 450 = 0. Do v and 225 have the same value?
True
Let i be (-4*(-3)/21)/(-2). Let v be ((-16)/(-28))/((-4)/(-14)). Suppose -v*g + 5 = 3*g. Do i and g have different values?
True
Let k be 0/((-35)/(-5))*-1. Are k and 15/31 equal?
False
Suppose 4*t + 14 = -5*u, 4*t - 11 - 11 = u. Is -3 < u?
False
Let p be (11 + -6)/25 - (-9)/5. Suppose -4*w + 6 = l, 0 = 4*w + 2 - 6. Suppose 2*a - 5*a = -l*u - 28, 0 = 5*u + 3*a + 28. Which is greater: p or u?
p
Let a be ((15/20)/(3/8))/(-2). Let z = -27 + -24. Let r be z/207 + (-1)/(-3). Which is smaller: r or a?
a
Let h be 16/(-6)*(-9)/4. Suppose h*n - 7*n = 1. Is -4/7 > n?
True
Let q be 5/(0 - -10)*10*11. Which is bigger: q or 56?
56
Let u be 457056/848 + (-10)/2. Let c = u - 534. Suppose 3*b + n + 6 - 1 = 0, b + 9 = -4*n. Which is bigger: b or c?
c
Let d = 1387 + -1386.93. Is -1/2 equal to d?
False
Let f(v) be the second derivative of v**4/12 + 7*v**3/6 + 5*v**2/2 - 8*v. Let n be f(-7). Let z be 3 - (275/20)/n. Which is smaller: 1/13 or z?
1/13
Let g(a) = 70*a - 272. Let k be g(4). Is k bigger than 14?
False
Suppose 3*i - 2 = -n, 0 = -9*i + 8*i - 4*n - 14. Which is smaller: i or 9/13?
9/13
Let v = -192 + 191. Is 63 at most v?
False
Let y = 67.974 + -68. Let r = y - -2.026. Let p = -0.44 - -0.04. Which is bigger: p or r?
r
Let v(w) = -15*w + 3. Let k(d) = -2*d**2 + 13*d + 8. Let a be k(7). Let b be v(a). Is b != -5?
True
Suppose -y = -5 + 1. Suppose -17 = 3*k + o - 0*o, 0 = -2*k + y*o + 12. Suppose 0 = 3*p - 3, -4 = -2*x + 6*x + 4*p. Which is greater: k or x?
x
Let f(t) be the second derivative of -t**2 + 10*t + 0 + 13/12*t**4 - 7/3*t**3 + 1/20*t**5. Let o be f(-14). Are o and -2 equal?
True
Let t be 3*((-316)/(-156) + -2). Which is greater: t or 0.1?
0.1
Let y = 13 - 9. Let x be ((-64)/10)/(y/(-10)). Suppose 0 = 4*m - 5*z + 6, 5*z + 6 = x. Is m greater than 0?
True
Suppose -63*n + 336 = -51*n. Is 26 > n?
False
Suppose 0 = 2*q - 9*q + 4193. Let z = 96 - q. Let f = z - -3512/7. Which is smaller: f or 0?
f
Let h = 24 + -22. Let u be 60/9*3/h. Let g be (2/u)/((-9)/15). Is g less than or equal to -4?
False
Let w = -18 + 10. Let h be (-8 - w) + 1/4. Suppose -2*p = 4*c - 2, 2*c + 2 = p + p. Is h bigger than c?
True
Let q = 71 - -826. Let i be (6/(-2) + 0)*(-260)/q. Is i at most as big as 1?
True
Let i be -4 + 24/13 - -1. Suppose z + 6 = -2*z. Which is smaller: z or i?
z
Let u(j) = j**2 + 3*j - 4. Let p be u(7). Let h = p + -329/5. Let x(m) = -m**3 + 3*m**2 - m + 4. Let d be x(3). Which is smaller: h or d?
h
Let x be (4 - (-6)/(-9))*3. Let g = x + -12. Is g at least -2?
True
Let b(x) = -x**3 + 4*x**2 - x + 2. Let n be b(2). Suppose 0 = 5*p - 7 - n. Suppose -1 = t + p. Which is smaller: t or -2/3?
t
Let c = -246 + 246.3. Which is smaller: c or -22?
-22
Let n be -4 - (-110)/25 - 777/5. Which is bigger: n or 3?
3
Suppose 0 = -4*g - 2*w - 165 + 15, -2*g + 3*w - 63 = 0. Let p = g - -20. Do -14 and p have different values?
True
Let j(r) = -2*r**2 - 3*r + 2. Let p(w) = 2*w**2 + 3*w - 3. Let k(f) = -4*j(f) - 3*p(f). Let y be k(-3). Which is greater: y or 11?
11
Let m be ((-3)/(-9))/(11/(-363)). Which is bigger: 0 or m?
0
Let p = -4886 + 3288280/673. Which is greater: p or -1?
p
Let i(u) = -u - 10. Let z be i(-9). Let a be 0/(-1) - (z - -3). Let k be ((-27)/(-6))/(a/4). Is -8 < k?
False
Let i(o) = -o - 19. Suppose 0 = -11*z + 14*z + 12. Let w = -2 + z. Let c be i(w). Which is smaller: -12 or c?
c
Let d = 549 - 647. Which is smaller: 2 or d?
d
Let b = -78699 + 23924455/304. Let i = b + -1/19. Which is bigger: 1 or i?
1
Let h be ((12/(-16))/((-15)/(-40)))/(-4). Is -194 smaller than h?
True
Suppose -39 = -41*i + 2. Suppose -z - 3 - 5 = -4*g, 4*g + z = 0. Let l be g/(-6)*(-6)/(-4). Is l bigger than i?
False
Let h(m) = 187*m - 76. Let q be h(2). Is -2 bigger than q?
False
Let j(y) = y**2 + 8*y - 26. Let d be j(-12). Suppose d + 4 = -2*g. Let a = 11 + -23. Which is bigger: a or g?
a
Let h be ((-18)/5)/((-18)/120). Is 2 equal to h?
False
Suppose -2*u - 6*f - 7 = -3*f, 2*f = 2*u - 8. Which is greater: -2/9 or u?
u
Suppose -12 - 1 = -g. Suppose p - q + g = 3*q, 4*p - 2*q - 4 = 0. Suppose 0 = -p*h + 26 - 2. Is 9 < h?
False
Suppose -s + 4*s = 12. Suppose 16 = 4*q + s*x, -4*q + 8 + 16 = -4*x. Suppose -4*d + q*h + 12 + 13 = 0, 5*d + 4*h = -20. Is d < 1/6?
True
Let s = -0.05 + -0.05. Let n = 246 + -728/3. Which is smaller: n or s?
s
Let i be (6/15)/1 + 1484/(-35). Let v be (-1)/6 - 49/i. Which is greater: 1/4 or v?
v
Suppose 5*i + 3*l = 2*l + 128, -62 = -2*i + 5*l. Is 0.7 smaller than i?
True
Let w be 734/2422 + 28/(-98). Are 1 and w non-equal?
True
Let w(z) = 2*z**2 + 2*z - 24. Let c be w(0). Let m be -8*7*(-4)/c. Do -9 and m have the same value?
False
Let u = -29/42 + 33/14. Which is bigger: 23 or u?
23
Let p(w) = 5*w**2 - 14*w + 2. Let t be p(4). Let b be (-3 + 1 - -5)*10/t. Is 0 bigger than b?
False
Let b = -0.678 - -1.258. Is b less than or equal to -2?
False
Suppose 4*u - 4*l = 52, 4*l + 28 = -14*u + 15*u. Which is greater: 112/17 or u?
u
Suppose -2*g = -4 - 8. Let n be 25/g + (-2)/12. Let l = -4 + n. Which is greater: 1/14 or l?
1/14
Let r = 206 + -205. Are r and 2/129 unequal?
True
Let s be (43/129)/(1/6). Let g be (-1792)/(-936) - 4/18. Is g bigger than s?
False
Let t = 928/9 - 102. Let w = -568 - -570. Is w less than or equal to t?
False
Let t be (-5)/(-275)*-5*(-1 - 1). Which is bigger: t or 85?
85
Let z be 6/(-9) + 85/51. Is -4 >= z?
False
Let n = 14984759/30 - 499384. Let b = n + -108. Which is greater: 1 or b?
1
Let n = 2.017 + -2. Let p = n - 0.757. Let t = p + -0.26. Are t and -6 equal?
False
Let x = -0.24 + 2.24. Let n = -0.4 + -6.6. Let m = -3 - n. Which is smaller: x or m?
x
Let s = 20.5 - 22.7. Is 0.1 < s?
False
Let w = 615 + -743. Which is greater: -126 or w?
-126
Let w(k) = k**2 + 12*k + 26. Let v be w(-6). Let o(p) = p**2 + p. Let b be o(6). Let q be v/(-6)*(-14)/b. Which is bigger: 0 or q?
0
Let j be (-5)/(-1)*(-21)/(-35). Suppose -c = -2*z - 6, -15 = -0*z + j*z. Let q be -1*2/(-42 + c). Which is smaller: q or 0?
0
Suppose 0 = -9*r + 5*r - 8, 4*r + 8 = -2*a. Is -2/337 at most a?
True
Let c(j) = 8*j**3 + 5*j**2 + 5*j + 1. Let l be c(-3). Which is smaller: -739/4 or l?
l
Let f = -1836 + 1806.14. Let d = f + 30. Is 1 less than or equal to d?
False
Suppose 0 = h - 2*m + 2 - 5, 0 = 3*h + 4*m - 9. Suppose 42 = -0*g