 Which is smaller: s or d?
s
Let x = 13.61 - 15.61. Does x = -46?
False
Let l = 68 + -73. Let b(w) = -w - 4. Let s be b(l). Let m = -242 - -2176/9. Which is smaller: s or m?
m
Suppose d + 5 = 2*x, 2*x = -2*d - 0 + 2. Suppose b - x*b - 2*t = 10, 4*b - 2*t + 40 = 0. Let j be b/8 + 20/10. Which is smaller: j or 0?
0
Let k = -3 + 5. Suppose -4*n - 3*o - 3 + k = 0, 2*o = -5*n + 4. Suppose -4*x = -g + 3, -g - 13 = n*x + 2*x. Is -5 bigger than g?
False
Let g = 409 + -441. Is -36 less than g?
True
Let k be ((-32)/12)/(8/(-36)). Suppose -k = 6*v + 18. Is v less than -4?
True
Let z(i) = -11*i - 52. Let w be z(-5). Suppose -w = -2*t - 101. Are t and -50 equal?
False
Suppose -3*n + 28 = -5*l, -4*n - 12*l + 28 = -14*l. Is n greater than 76?
False
Suppose -4*j - 14*v + 17*v = 242, 3*v - 118 = 2*j. Which is smaller: j or -11?
j
Let b = 1 - 1. Let g be ((-132)/30)/(-11) + (-246)/640. Which is greater: g or b?
g
Suppose 0 = 2*c + 2*c + 12. Let k be (-2 - -3)/(c/(-12)). Suppose -5*t = -b + 45, -2*t - 2*t - 60 = k*b. Which is smaller: t or -9?
t
Suppose x = 0, 243 + 302 = -5*u + 2*x. Do -108 and u have different values?
True
Let m(h) = -6*h - 63. Let v be m(-5). Which is smaller: -1 or v?
v
Let c = 21.2 - 14.2. Is c < -10?
False
Let m = -265 + 266. Which is greater: -6/13 or m?
m
Suppose 0 = 2*g + 3*g - 55. Suppose 5*s - 12 + 2 = 0. Let o be 64/6 - s/3. Which is smaller: o or g?
o
Let b be (65 - 75)/(0 + 1). Are -1/12 and b non-equal?
True
Let d be (-132)/(-28) + (-4)/(-14). Let f(b) = -5*b - 4 + 1 + d + 2*b. Let h be f(-2). Is 6 less than h?
True
Let z = 0.311 + -0.381. Is -1/5 at least z?
False
Let h = 9.31 - 9.21. Which is smaller: h or -6?
-6
Let t be 10 - (-5 - 3/(-3)). Let y = 1 + t. Let f be (-10)/4*y/(-90). Which is bigger: 0 or f?
f
Let r be (-3 + 5)/(-2) + -9. Let o(t) = -t**2 - 13*t - 23. Let f be o(r). Let m(d) = d + 10. Let p be m(-5). Is p <= f?
True
Let u = -625 + 626. Is -140 greater than or equal to u?
False
Let u = 436 + -438. Let q = -137/3 - -45. Which is greater: u or q?
q
Let y = -66 - -70. Let g be (-3 + y)/(2/26). Let u = 23 - 10. Are g and u nonequal?
False
Let a be ((-21)/4)/(-1 - 764/(-768)). Which is smaller: 1009 or a?
a
Let t be (-42)/(-70) - (-36)/(-10). Let l be 17/(-34)*(0 - 0). Suppose l = 3*b - y + 8, -5*y - 29 = 5*b - 9. Is t greater than or equal to b?
True
Let z = 0.47 + -0.19. Let s = -0.72 - z. Are 6 and s non-equal?
True
Suppose 2*h + 13 = 5*l - 7, 0 = -3*h + 3*l - 12. Let x be h*(-5)/15 + 18. Is 18 at least x?
True
Let z be (-14)/(-7) + 2*1. Let y be 0 + (-1 - (-3)/z). Suppose 0*m + 3 = -3*m. Is m at least y?
False
Let m = 1.84 + -0.4. Let j = m - 0.41. Which is smaller: 0.1 or j?
0.1
Let h = 6 + 26. Let y = h + -17. Suppose -4*d + 9 = -o + 2, -2*d - 7 = 3*o. Are d and y non-equal?
True
Let o = -28 - -31. Let m(i) = -2*i**2 + 2*i - 3*i**3 - i**o + 5*i + 6 + 3*i**3. Let z be m(-4). Is z < 0?
False
Let w(o) = 4*o - 33. Let f(k) = -k + 11. Let u(t) = -7*f(t) - 2*w(t). Let m be u(-11). Does -5/6 = m?
False
Let y = -198643/23032 - 1/2879. Which is smaller: -10 or y?
-10
Let v(s) = -s**2 + 11*s - 6. Let y be v(10). Suppose 3*b + 4 = -i, 4*b = -2*i - 10 + 2. Suppose 3*t + b*c - 4 = -5*c, -7 = -3*t - 2*c. Which is smaller: t or y?
t
Suppose -28*f - 180 = -31*f. Suppose -27*o + 23*o + f = 0. Is 15 > o?
False
Let k(i) = -22*i - 13. Let r be k(-2). Suppose -3*v + 2*x + 29 + 66 = 0, 150 = 5*v + 5*x. Are r and v unequal?
False
Let n = 30.14 - 15.14. Which is greater: -17 or n?
n
Let p be (-47)/2*(2 + (-32)/12). Which is smaller: p or 0?
0
Suppose 2*t - 8 = 0, 6*m - m + 2*t - 163 = 0. Let i be 1 + 2 + -2 + 3. Suppose -i*u - 9 = -5*w, -5*w = 4*u - 0*u - 1. Which is smaller: m or w?
w
Suppose 9*p = 42 - 6. Is 1 at least as big as p?
False
Let o(m) = -m**3 + 2*m**2 - 3*m - 4. Let j be o(3). Let z = 16 + j. Let q = 10 - 16. Is q at least z?
True
Let r = 21 + -15. Suppose -2*j + a - 107 = -r*j, 5*j - 145 = -5*a. Which is smaller: j or 27?
j
Suppose -16*p + 8 = -14*p. Suppose -2*j + 40 = -2*t - 10, p*j - 124 = -2*t. Which is smaller: 31 or j?
j
Let l = -0.19 - -3.49. Let n = 6.3 - l. Is 1 smaller than n?
True
Let m = -6.9 - -2.9. Let c = 2.8 + m. Which is bigger: c or -1/2?
-1/2
Let b be 8/16 + (-3)/(-2). Suppose 44 + 6 = b*p. Suppose 3*a - v + 4 = 3, -5*v = p. Is a smaller than -1/2?
True
Let t be (2*-5)/(-2) - 1. Suppose 12 = -3*h - 5*l, 8*h + 3*l = 3*h - t. Let j be (h - (0 - 0))*-1. Which is smaller: j or 2/7?
j
Let r = 0.882 - -0.108. Let h = 0.94 - r. Which is smaller: -1 or h?
-1
Suppose 3 = t - w, 3*t - 7*t + 6 = -w. Let p = 44675/3 - 15075. Let u = p + 185. Is t != u?
True
Let o = 24.3 - 24.3. Is -41 bigger than o?
False
Let o = -1 - -11. Let a be (-10)/40 - o/(-8). Is a greater than -2/11?
True
Let f(z) = -4*z**2 - 48*z - 29. Let t be f(-11). Which is smaller: 23 or t?
t
Let r = -1077 + 913. Which is smaller: r or -166?
-166
Let k = 3 - -2. Suppose 5 = b, -3*j + k*b - 100 = -0*j. Let l be j*(16/(-140))/(-2). Which is greater: -1 or l?
-1
Let o = -28 - -28.7. Let p = -0.6 + o. Let z = 25 - 17. Which is smaller: z or p?
p
Suppose 0 = z - 11 - 4. Which is greater: -0.2 or z?
z
Let a = -13.1 - -13.159. Which is smaller: -2/5 or a?
-2/5
Let b(y) be the first derivative of -4*y**2 + 11*y - 20. Let u be b(4). Which is smaller: u or -23?
-23
Let y(b) = b**2 + b - 1. Let g be y(-3). Suppose 2*o + 2*v - v = -7, g*v = 2*o + 1. Let l be (o + 5)/4*-2. Is l at most as big as -3?
False
Let q = -137.73 - -138. Is 0.04 >= q?
False
Let w be 2/21*15/(-5390)*-7. Is w >= 0?
True
Let w(x) = x**3 - 13*x**2 + 31*x + 11. Let f be w(9). Is -28 != f?
True
Suppose -2*u + 4*u = 4. Is u greater than 15/13?
True
Let i = -438 - -541. Are 101 and i non-equal?
True
Let k(m) = m**3 + m + 1. Let a(z) = 2*z**3 + z**2 - 6*z - 7. Let b(w) = -a(w) - 6*k(w). Let c be b(-1). Which is smaller: 42/5 or c?
c
Let q(i) = -7 + 10*i - i**2 - 9 - 16. Let k be q(6). Is -11 smaller than k?
True
Suppose 2*s - 32 = -2*s. Let z = -7 + s. Suppose -3*b = -0*b. Is z less than or equal to b?
False
Let f(z) = 2*z**2 - 5. Let i(q) = 5*q**2 - q - 14. Let y(r) = 8*f(r) - 3*i(r). Let d be y(-6). Let j be 16 + (-12 - 0)/(-4). Is j != d?
True
Let s = 5.4 + -5.3. Which is bigger: s or 8.3?
8.3
Let w = 3761/2 - 20087/10. Is w at least -127?
False
Let p be ((-1)/8)/((-6)/(432/4)). Suppose 5*q = 2*f + q - 16, -3*f - q + 3 = 0. Which is smaller: p or f?
f
Suppose -19*u = -15*u - 2104. Let i be u/(-10) + 21/35. Is i smaller than -52?
False
Let c = -166.937 - -167. Let x = 0.137 + c. Which is smaller: 2/3 or x?
x
Let g be -3 - (0 + 7 + 672/(-68)). Which is greater: 6/23 or g?
6/23
Let a be (-6*(-20)/9)/(11/66). Let j = 195 - 114. Which is greater: a or j?
j
Let z(g) = 16*g + 153. Let t be z(-12). Does -41 = t?
False
Let w = -40.923 + 1.983. Let u = w + 39. Which is smaller: 0.2 or u?
u
Let s be 10/(-15) + 1/(-3). Let o be (3 - (-2)/s)*-23. Let u = -15 - o. Are u and 7 unequal?
True
Suppose 3*q + 15 = 3*a - 6, 4*q - 7 = -a. Suppose -a = 3*x - 5*o + 5, o - 20 = 5*x. Let k be (x/(-6))/((-24)/(-9)). Does -1 = k?
False
Let w(q) = -q + 17. Let i be w(13). Let l be (i/12)/((-57)/(-2)). Is 0 smaller than l?
True
Let g = -0.966 + 1.08. Let x = g + -0.079. Which is greater: -1/4 or x?
x
Let t = 4.008 + -0.008. Suppose v = -4*k - 7 - 15, -3*v - 4*k = 26. Let r be v + (-3)/(-30)*18. Does r = t?
False
Suppose -61 = 5*c + 2*v, -60*v + 10 = -55*v. Which is smaller: -9 or c?
c
Let s = -266 - -348. Which is greater: s or 81?
s
Suppose h + 4*g - 188 = 3*h, 0 = -5*h - g - 492. Is h != -97?
True
Let z = 71 - 72. Let v = 8 + -6. Let j be (z - -1) + (-6)/v. Which is smaller: -4 or j?
-4
Suppose 6*b = b + 10. Suppose -b*v = -11 - 17. Let g be 7 - ((-44)/(-11) + 1*-22)/2. Is v at least g?
False
Suppose 3*i = -4*u + 29, -6*i + 2*i - 2*u = -42. Let l be (208/40)/((-2)/(-5)). Which is smaller: i or l?
i
Let r be 92/(-38)*7/(-70). Let b = r + -2/5. Which is bigger: b or 0?
0
Let y(j) = j**3 + 3*j**2 - 2. Let p be -8*((-3)/(-6) + 0). Let k be (p/(-6))/((-2)/6). Let w be y(k). Is w bigger than 0?
True
Let t(c) = 10*c + 105. Let w be t(-11). Is w bigger than 10?
False
Suppose -2*v + 4 = -3*v + 2*o, 5*o = -4*v - 42. Let q = 89 + -100. Which is smaller: q or v?
q
Suppose 14*z = 109 + 297. Let r = z - -79. Is r greater than 108?
F