b = 18 - u. Is b bigger than -1?
True
Let q be (2*-3)/((-6)/32). Suppose 9 = 4*o - o + 2*c, -5*c - 20 = -o. Suppose -o*s + 3*r = -10 - q, 3*r + 12 = 0. Which is bigger: s or 1?
s
Let c = -12 + 19. Let k be (22/c)/((-6)/(-42)). Suppose 2*f = 4*b + k, 0*b + 4*b - 4*f = -28. Is -4 not equal to b?
False
Let h = -30 - -31. Let s = 0.964 - h. Is 0.1 equal to s?
False
Let l = 0.39 - -0.17. Let g = 0.66 - l. Which is smaller: -45 or g?
-45
Let o = 55 + -23. Is 32 greater than o?
False
Let q = -717 - -717. Do q and -251 have the same value?
False
Suppose 3*j - 7*j + 39200 = 0. Let d = j + -205699/21. Let i = d + -29/7. Which is smaller: i or 1/2?
1/2
Let r be (-26)/(-10) - 10/(-25). Let f(g) = 27*g - 4 - 28*g - r. Let l be f(3). Is l at most as big as -11?
False
Let a(g) = g**2 + 4*g + 3. Let n be a(-3). Suppose 3*z - 11 = 4*p + 109, 0 = 3*p + 2*z + 73. Let m be (-46)/(-198) - ((-75)/p - 3). Is m at most n?
False
Suppose -6*v + 0*v - 228 = 0. Let x = v + 18. Which is smaller: -19 or x?
x
Let g be (-288)/(-20)*(-40)/6. Do g and -95 have different values?
True
Suppose o - 7 = -j + 2*o, 0 = j + 3*o + 9. Suppose 3*w - 3*r = -9, 0*r + j*r = 2*w + 3. Let a be (-3)/(-3)*6/(-1). Is a not equal to w?
False
Let c(g) = 7*g - 22. Let w be c(-5). Let d = 33 + w. Is -24 > d?
False
Suppose -2 = 2*q - 4*j, q - 3*j = -8*j + 6. Let d be ((2 - 4)*q)/(-2). Let m = -4142 + 4141. Is d < m?
False
Let d be 552/(-7)*(24/(-36))/(-1). Which is smaller: d or -53?
-53
Suppose 0 = 4*v + 6*v - 1050. Does v = 107?
False
Suppose 4*a + 91 = -5. Does -23 = a?
False
Let q(v) = 29*v**2 - 27*v - 109. Let s be q(-3). Which is smaller: s or 230?
230
Let h = -2139/196265 - 2/2309. Let r = 1.8 - 2. Is h <= r?
False
Let b = -17/26 + 413/234. Which is greater: 4/5 or b?
b
Let i(n) = n - 6. Let c be i(3). Let g = c + 5. Let q be -1*((-21)/12 + g). Which is smaller: q or -1?
-1
Suppose 0 = v - 4*v. Let r = 0 + v. Let f = -2.2 - -1.9. Which is bigger: f or r?
r
Let o = -12.99 - -13. Let s = -1.01 + o. Is 0.005 bigger than s?
True
Let k be (-6 - (-10 + 4))*1. Is 4/5 < k?
False
Let a be (-2)/18 - (-572)/(-117) - -8. Which is smaller: 49/11 or a?
a
Let f = -160 + 236. Which is greater: 0 or f?
f
Let j be 6 - 2*2/(-2). Suppose 4*x = -j - 0. Let f be (-437)/114 - (-35)/42. Which is smaller: x or f?
f
Let y be (-1)/2 + (-47)/(-2). Let r be (-3)/15 - y/(-65). Let t be 15/10*2/(-3). Which is smaller: r or t?
t
Let o = 126 + -89. Which is smaller: 33 or o?
33
Suppose 3*z - 10 = 2*d, 2*d + d = 5*z - 15. Suppose z + 16 = 2*q. Let y be (10/20)/(22/q). Which is smaller: y or 0.03?
0.03
Let g = 0.3 - 1.4. Let v be 1/(-2 - (-10 - -11)). Which is greater: g or v?
v
Let i = -29 - -23. Let x = 5 + i. Is 8 greater than x?
True
Let k be 0 - (14/7 - 9). Is -5/22 bigger than k?
False
Let t = 437 + -334. Which is smaller: 105 or t?
t
Suppose 0 = -2*f + 79*m - 74*m + 12, -3*f + 9 = -3*m. Which is greater: f or 22/45?
f
Let h be 6/(-2) - (-388)/(-20). Let p = h + 904/35. Which is greater: 3 or p?
p
Suppose 18 - 6 = 3*g. Suppose -32 = -g*c - 96. Does c = -17?
False
Suppose 0 = g + 4*t + 4, g = 5*t + 23. Which is smaller: 46/5 or g?
g
Let p be (-12)/(-9)*(-18)/12. Let q be p - 6*(-8)/18. Is q equal to 1/10?
False
Let b = 265.4 + -261.4. Which is smaller: b or -35?
-35
Let q = 7244337/787 - 9205. Is 0 equal to q?
False
Let r = -4654 - -2657432/571. Is r greater than 1?
False
Let m = -4.6 + -0.4. Are 0.1 and m unequal?
True
Suppose -4*l + 5*s + 7 = 0, -s - 11 = -4*l - 0*s. Let i be (-140)/15 + (-2)/l. Which is greater: i or -4?
-4
Let r = -3669360015347/1139 + 3221562497. Let i = r + -11125/67. Let v = i - -457. Do v and 0 have the same value?
False
Let y = 193 + -194. Is y less than -1/191?
True
Let f(p) = p**3 - 5*p**2 + 2*p - 5. Let u be f(5). Suppose -2*t = m - 7, -u*t = 4*m - m - 19. Let o = 58 + -57. Which is bigger: o or t?
t
Let p = 2667/52 + -969/13. Do -23 and p have the same value?
False
Suppose -2 = -6*n - 56. Which is bigger: n or 0?
0
Suppose 0 = 4*m - h, 55 = -4*m - 5*h + 7. Let t = -10 - -7. Is m at most t?
False
Let a = -792 - -591. Is a > -199?
False
Let v = -33 + 12. Let s = v - -20.68. Let x = s - -0.22. Which is smaller: -7/5 or x?
-7/5
Let k be -6*1*4/(-12). Let z = 103/84 - -3/28. Which is greater: k or z?
k
Let t(p) be the second derivative of p**4/12 - p**3/2 - 19*p**2/2 - 35*p. Suppose 15 - 1 = 2*c. Let q be t(c). Is q equal to 7?
False
Let r(w) = -90*w - 29. Let v be r(7). Is v at least -660?
True
Let s(g) = -4*g + 1. Let c be s(-1). Suppose d + 8 = c*d. Let a be d - 3*88/12. Is -20 <= a?
True
Suppose -3*o - 49 + 286 = 0. Let a be (1/(-6) - 2375/(-30))/1. Is a > o?
False
Let a be (-72)/105 + 4/10. Let b = -22 - -35. Let z = b - 8. Are a and z equal?
False
Let l = 15.46 + 0.54. Let b = 24 - l. Let j = 1 + -1.1. Is j at least b?
False
Suppose 0 = 5*j + 25, -3*y - 2*j - 30 = -8. Is -27/7 >= y?
True
Suppose -2417 - 2012 = 43*s. Which is smaller: -5 or s?
s
Let r(m) = 8*m + 16. Let h be r(-2). Let a = 7/24 - -3/8. Which is smaller: a or h?
h
Let m = -1.59 + 1.79. Is m greater than -83/3?
True
Let f = 29 + -25. Let b = f - 4.1. Which is bigger: b or -1?
b
Suppose 13*f = -28 + 15. Which is greater: f or -3/7?
-3/7
Suppose -2*c = 3*n - n - 4, n + 5*c = 2. Suppose -4*p = -2*d - n*d - 52, 5*p = -4*d + 20. Is p less than or equal to -1/3?
False
Suppose 4 = m - u, m + u = -21 + 15. Which is smaller: 2/407 or m?
m
Let a(z) be the first derivative of -2*z**2 - 33*z - 9. Let u be a(-9). Is 6 at least as big as u?
True
Let m(r) = 5*r + 18. Suppose 0 = -2*a - 8. Let s be m(a). Let c be 0 + 1 + (-1)/1. Is s < c?
True
Suppose -6 - 6 = 2*f. Let c = 99 + -265/3. Let r = -11 + c. Is f at most as big as r?
True
Let y(j) be the second derivative of -j**3/6 + 2*j**2 + j. Let p be y(4). Let h(z) = -z**2 - 35*z - 97. Let m be h(-32). Is p at most as big as m?
False
Suppose 4*l - 132 = 6*l - 5*g, 320 = -4*l - 4*g. Is -374/5 less than or equal to l?
False
Let x = -6 - -11. Suppose -2450 = -7*i - 7*i. Let p = i + -167. Is p equal to x?
False
Suppose c - 2*s + 9 = -30, -c - 31 = 2*s. Which is smaller: -0.3 or c?
c
Let b = -18 - -7. Let z = -390 - -380. Is b less than or equal to z?
True
Let a be (7/(-16))/(50/(-1500)). Is a at most as big as 14?
True
Let k(t) = t + 1. Let l(g) = -7*g + 2. Let n(i) = 6*k(i) + l(i). Let q be n(7). Let f be 1*1/(2 - (-3)/(-3)). Is q less than f?
False
Let a = 0.18 + -0.224. Let x = a - 0.056. Which is greater: x or 28?
28
Let f = 552 + -382. Is 0.04 bigger than f?
False
Let q(s) = 45*s + 21. Let g be q(-6). Let v = g + 509/2. Suppose -4*b + 13 = -7. Which is smaller: v or b?
b
Let t = 1 - -1. Suppose 2 = t*l, 5*w + 6 - 28 = 3*l. Let f = -1.7 - -1.5. Which is smaller: w or f?
f
Let h = -1.18 + 1.7. Let w = -0.42 + h. Let v = -0.1 - 0.2. Is w less than or equal to v?
False
Let c(u) be the first derivative of -u**2/2 + 11*u - 1. Let d be c(5). Suppose -102*y = -321 - 291. Is y equal to d?
True
Let s(k) = -k**3 - 2*k**2 + 4. Let a be s(2). Let c be -1 + 3*a/9. Let t(d) = 4*d + 14. Let h be t(c). Are -1 and h unequal?
True
Let r = -1330 - -1329.9. Let t = 3.1 - 3.27. Let i = 0 - t. Is i >= r?
True
Let i = -456 - -1366/3. Which is greater: i or -710?
i
Let t = 2/27 - -368/135. Let l be 2*1/4 + (-295)/(-150). Let x = l - t. Is x != 1?
True
Let m be (-8)/60 - (-4256)/(-30). Is m <= -142?
True
Let l(a) = -2*a**3 + 5*a**2 - 15*a + 18. Let x be l(10). Let n = 6407/4 + x. Which is bigger: n or -31?
n
Let o be 1955/184 - (8 - 2). Which is smaller: o or 6?
o
Let h = -30 + 86. Let l be (72/(-28) + 2)/((-36)/h). Is l greater than 2?
False
Let u be (8/(-12))/((-4)/12). Suppose 4*v = 4*p - 44, -u*v - 4*p = v + 19. Let j be (v/3 - -1) + 1. Which is greater: j or -3?
j
Let t = 79 + -551/7. Let x = 14 - 14. Which is greater: x or t?
t
Let b = 30 + -17. Let p = 11.6 - b. Let g = p + 1.4. Which is bigger: g or 5?
5
Let g(u) = -3*u**2 + 9*u + 4. Let l be 4 + 0/(2 - 5). Let v be g(l). Which is bigger: -6 or v?
-6
Let m = 682/2265 + 1735373/63420. Let u = 194/7 - m. Which is smaller: u or 1?
u
Let n = -228 + 5251/23. Which is greater: n or -2?
n
Let y = -40/23 + 348/253. Suppose 5*w + 2*d - 7 + 1 = 0, -d = -4*w + 10. Suppose -6 = 8*j + w. Which is greater: y or j?
y
Let m = 990 + -990. Let a = -12.86 + 13. Which is small