 r?
False
Let u = 515 + -756. Let r = -240.6 - u. Let l = -0.46 - -0.06. Which is greater: l or r?
r
Let g(b) = 13*b - 53. Let x be g(4). Is x greater than 7/39?
False
Let a(w) = 10*w - 29. Let x be a(2). Are -0.7 and x non-equal?
True
Let d(v) = -v**2 + 8*v + 4. Let s be d(7). Suppose 0 = 2*x + 6, 4*y - 2*x + 3*x + s = 0. Let w be y/4 + 70/(-100). Is -1 at least w?
True
Suppose 12*f = 11*f + 159. Which is greater: 158 or f?
f
Let g = 1450/257971 - -16/959. Which is smaller: g or 1?
g
Let x = -10 + 15. Let r = x + 3. Suppose 5*i - 3*i = -r. Is -7 <= i?
True
Suppose -308 = 2*h - p, h = -6*p + 4*p - 164. Which is bigger: h or 2?
2
Let c(u) = u**3 + 6*u**2 + 4*u - 3. Let s be c(-5). Suppose -s = y, m + 5*y = -4 - 14. Is -8 equal to m?
True
Let h be 1163/77 + 10/55 + 4. Which is greater: h or 20?
20
Let x(j) = -52*j - 28. Let b be x(4). Let h = 947/4 + b. Let y = 3.1 - 3. Which is smaller: h or y?
y
Let c(v) = v + 22. Let b be c(-7). Is 125/8 >= b?
True
Let x(d) = d + 10. Let n(v) = v**2 + 7*v - 8. Let p be n(-8). Let c be x(p). Let r be c/(-4)*6/10. Are -2 and r non-equal?
True
Let c = 1322 + -1322. Which is smaller: 215 or c?
c
Let u = -0.131 + -0.479. Let p = 42.69 - 43. Let j = u - p. Which is bigger: 0 or j?
0
Let m = -0.349 + 0.27. Which is greater: -0.1 or m?
m
Let z = 20 - -2. Suppose -4*o - 2*w = z, 0*w = -2*o - 5*w - 15. Suppose 0 = 3*g - 2*p + 14, 2 = -g - 2*p - 0*p. Is g < o?
False
Let t(h) = 4*h**2 + 14*h + 8. Let z be t(-5). Let m = -1441 - -4210/3. Let j = m + z. Do j and -1 have different values?
True
Suppose 546 = -0*g + 2*g. Let o be ((-14)/g)/(11/3). Let i = o - -439/715. Which is greater: i or 1?
1
Let h be 2*4/16*2*-19. Let w = h + 13. Which is greater: w or 3?
3
Suppose 5 = 4*b - 4*g + 1, -g = b + 5. Let a be b/(2/(5 + -3)). Are -1 and a nonequal?
True
Let c = 2.16 - -20.94. Let l = c - 23. Which is smaller: l or -2/9?
-2/9
Let j = 18283/18 + -2015/2. Let v = j - 10721/1305. Which is smaller: -1 or v?
-1
Suppose c + 6 = -3*o, -6 = -3*c + 2*o - 2. Which is smaller: c or 1?
c
Let w be (-8)/(-1) + 40319/(-5037). Is w not equal to 0?
True
Let y = -3 + 3. Suppose -4*r = -y*r - 52. Suppose -45*l - 51 = -3*i - 48*l, 4*l = -5*i + 81. Is r < i?
False
Let q be (-2)/(-4)*-2 + 25. Let r = 63 + -63.1. Which is smaller: r or q?
r
Let i = -0.2038 + 34.2038. Which is bigger: -27 or i?
i
Suppose 2*i + 6 = 28. Let u = i - 16. Let x = u - -19/4. Which is bigger: x or 1?
1
Let p be 2/(-15) - -7*(-4)/(-210). Which is smaller: p or 0.149?
p
Let u = 42 + -40. Suppose 0 = -5*p - 5*b, p - 4*b - 9 = u*p. Let q(o) = o**3 - 2*o**2 - o - 3. Let g be q(3). Is g >= p?
True
Let k = -1.13 - 22.87. Let x = k + 22. Which is smaller: -5/3 or x?
x
Suppose -34 = -5*y - 2*i - 1, -4*y + 28 = 2*i. Suppose -y*p - 5 = -35. Let c be 10/15*p/4. Is 1/3 at least c?
False
Let x = 7701 - 15401/2. Let w(p) = 3*p**2 + 2*p. Let o be w(-2). Let g be 2/o + (-2)/8. Is g bigger than x?
False
Let n(i) be the third derivative of i**5/60 + i**4/6 + i**3/3 - 9*i**2. Let s be n(-6). Suppose 6 = 5*y - s. Which is smaller: y or 3?
3
Let b = -1107/40 + 287/8. Let p = -311/30 + b. Which is smaller: -3 or p?
-3
Suppose -m - 183 + 61 = 4*i, 84 = -3*i + 3*m. Let l be (-55)/i + 3/(-6)*4. Is l equal to -1?
False
Let y = 1 + -0.96. Let j = 0.06 + y. Which is smaller: j or -18?
-18
Suppose d = f - 5, d = -5*f - 6 - 17. Let v(g) = -g**2 + 5. Let r be v(-3). Let k be 9/r - 2/d. Is k not equal to -3?
True
Let r = -4.9465 + -0.0535. Which is bigger: -8 or r?
r
Suppose 5*i - 285 = 3*h, -2*h + 123 = 4*i - 127. Are 3 and i unequal?
True
Let l be (-47)/(-5) - (-33)/55. Let s be 104/(-40) + (-4)/l. Suppose -3*q - 6*t + t = 4, -2 = -q - 5*t. Are s and q non-equal?
False
Let a be -1*((-4)/14 - 64/952). Suppose q + 3 = -2*q. Do q and a have different values?
True
Let p = 165442/163 - 1015. Is -1 at least p?
False
Let h(g) = -42*g - 82. Let b be h(-43). Is b < 1723?
False
Let p(y) = y**2 + 4*y - 2. Let v be p(-5). Suppose -20 = -4*u - u, -5*d + v*u - 17 = 0. Let m be (-6)/(-6)*2/(-22). Which is greater: m or d?
m
Suppose 4*y = 5*g - 62, 8*y = 3*g + 7*y - 40. Which is bigger: g or 15?
15
Let y = 11 + -5.4. Let m = y - 6. Let j = 4/15 - 3/5. Which is greater: j or m?
j
Let m be 2/(-24) - (-5)/(-20). Let x = -6.08 + -3.92. Which is smaller: x or m?
x
Let p(v) = v - 13. Let x be p(12). Let d be (-8)/(381/(-117) - -3). Let n = d - 1117/35. Does n = x?
False
Suppose 3*d - 33 + 27 = 0. Which is greater: d or -11?
d
Let k be (3 - 4)*(1 - -6). Let y(f) = -f**2 - 3*f + 13. Let z be y(k). Let g be z/21*(-8)/(-10). Which is bigger: 0 or g?
0
Let j(y) = 5*y + 16. Let l be j(6). Let v = 45 - l. Let p = 29/15 + -7/3. Which is smaller: p or v?
v
Let p be (-4232)/(-1472) + (-1)/(-8). Are 0 and p equal?
False
Let l = -2788 - -164490/59. Which is bigger: -3/7 or l?
l
Suppose 0 = g + 2*g - 12. Let b = -3 + g. Let f be (174 - 164) + 2*-6 - 14/(-8). Which is smaller: f or b?
f
Let j = -387596/267 - -4354/3. Is j greater than or equal to 0?
False
Suppose -2*h - 4*i + 252 = 0, -2*h + 255 = 108*i - 103*i. Is h > 113?
True
Let t be 12/56*(-8)/(-9). Let g be 0/2 + 407/(-924). Let l = g + t. Is l >= -0.5?
True
Let f = -1.78 - 14.22. Let d = 0.01 - 11.01. Let c = d - f. Is c greater than or equal to -1?
True
Let j = 25/16 + -907/560. Let z = -3 + 3. Is z greater than j?
True
Let v = 2.18 - -0.82. Which is greater: v or -5?
v
Suppose 20*f = -15 - 25. Let p be 2/5*(-2 - 3). Let t be ((-8)/48)/(p/(-8)). Which is bigger: t or f?
t
Suppose -34*s = -36*s + 4. Which is greater: s or 58?
58
Let z(y) be the second derivative of y**4/12 + y**3/3 + y. Let a be z(-1). Which is smaller: 0.6 or a?
a
Suppose -3*s + 12 = 13*x - 16*x, 5*s + 20 = -3*x. Which is greater: s or 1/113?
1/113
Suppose -5*d - 2*i - 2444 = 2*i, 0 = 4*d - 5*i + 1947. Which is smaller: 0 or d?
d
Let q = 241 - 495. Let c = -8892/35 - q. Which is greater: c or -1?
c
Let b(k) = -24*k**2 - k. Let f be b(1). Let r = -146 - -121. Is r greater than or equal to f?
True
Suppose 9*h = 7*h - 5*m, 4*m = 3*h. Are h and -1/56 equal?
False
Let h = 5.19 + -4.19. Let p = 3 + -1. Which is smaller: h or p?
h
Let l = 1.4 - 1.44. Let b = 1.36 - l. Let s = b - 0.8. Does -0.1 = s?
False
Let v be 4/6 + 0 + 4329/27. Is 161 less than or equal to v?
True
Let z = -14 - -8. Let i be -28 + 0*(-4)/20. Let m be (52/i + 1)*7. Is m less than or equal to z?
True
Let u = 0.1 + -0.26. Let q = 7.84 - u. Let b(k) = -k**3 + 5*k**2 + 7*k - 5. Let f be b(6). Which is smaller: f or q?
f
Let p = 1568 + -1573. Which is smaller: p or -25/6?
p
Let v be 2 + -1 + 3/(-3). Suppose v = -7*r + 3*r + 20. Suppose 0 = 2*a - r*i + 2*i + 4, -5*a - 10 = -5*i. Does -4 = a?
False
Suppose 0 = l - 116 + 11. Which is smaller: l or 108?
l
Suppose 0 = 3*k + 2*k. Let o(x) = -x**2 + 9*x + 2. Let m be o(9). Let l be (-6)/(-9) + m/6. Are k and l non-equal?
True
Let l(a) = 2*a**2 + 7*a - 3. Let v be l(-6). Let c be (-18)/v*(-1 + 4). Suppose 2*j - 6*j - 4*t - 28 = 0, -2*j + 2 = -2*t. Is c > j?
True
Let q = -52 + 49. Let v be 0 - (0 + 6/q). Is 2 less than v?
False
Let u = -21.038 + 0.038. Let w = 21 + u. Is w bigger than -31?
True
Let h = -228.1 + 228. Is -0.09 > h?
True
Suppose 4*q - u + 3 = -2, 0 = 2*q - 2*u + 10. Let a(h) = -h**2 - 14*h - 30. Let p be a(-12). Let d be p/(-32)*(-8)/(-12). Is q at least as big as d?
False
Let n be (387/3)/((-1)/((-1)/1)). Suppose n - 31 = 7*q. Is q less than 15?
True
Suppose -127*c + 130*c = 1353. Is c greater than 451?
False
Let t be 6/((-3)/(-6) - -1) + -3. Let h be (-13)/(-3) + -2 + 0. Which is smaller: t or h?
t
Let f = -1079 + 1090. Is 1/37 at least f?
False
Let t(z) = z - 7. Let q be 14/14*((-24)/2)/1. Let f be t(q). Which is smaller: f or -18?
f
Let b = 11228427/80 - 140363. Let h = b - -38/5. Which is greater: h or 0.1?
0.1
Let a be 27/(-21) + 5/(-35). Which is smaller: -2 or a?
-2
Let x(z) be the second derivative of z**3/3 + z**2 - 8*z. Let c be x(3). Let k be 15/(-20) - (-94)/c. Which is greater: k or 10?
k
Suppose -2*x = -2*v - v + 3, 4*x + 1 = v. Let m be (0 + -1 - -2)*x. Which is greater: -1/35 or m?
m
Suppose 2*d - 1 = p, 4*d - 13 = 2*d - 3*p. Let w be d*((-1)/(-2) - 1). Which is smaller: w or 1/7?
w
Let q = -52 - -36. Let h(b) = -b**3 - 8*b**2 - 14*b - 12. Let a be h(-5). Which is smaller: q or a?
