Which is smaller: -973 or k?
k
Suppose 70 - 10 = 4*v - 3*g, 2*g = -2*v + 30. Let k be 4/10*v/(-18). Which is smaller: k or 0.33?
k
Suppose -3*s + s = -16. Let w be (-13)/(65/(-35)) + 3 + -1. Which is smaller: w or s?
s
Suppose 0 = -4*y - 6 + 2. Let l be ((-1246)/(-25))/((-12)/40). Let s = l + 166. Do y and s have different values?
True
Let t(j) = -2*j**3 + 6*j**2 - 6*j + 5. Let m be t(2). Which is smaller: m or -26?
-26
Suppose -3*x + 4 = 1. Let z = 498139/7 + -71353. Let w = 190 + z. Is w not equal to x?
True
Let l(z) = z**2 + 17*z + 21. Let d be l(-16). Suppose d - 4 = t + 4*m, 3*t + 3*m = 39. Is t smaller than 0?
False
Let f = -164 + 170. Is 13 less than or equal to f?
False
Let f be 8/(-4) + 5 - 5. Let v be 2/(-8) - 3/f. Let r = -3/4 + v. Which is smaller: 2 or r?
r
Let u = 280 - 258. Which is smaller: 14 or u?
14
Suppose -3982 = 23*b - b. Is -183 smaller than b?
True
Let c be 9045/(-15792) + (-16)/(-28). Which is smaller: c or -1?
-1
Let w(p) = 67*p. Let v be w(2). Let q = -141 + v. Is -8 less than q?
True
Let h be (-12)/10*(-20)/6. Suppose -h*p - p = -10. Let r(x) = -5*x**2 + 19*x + 4. Let t be r(4). Which is bigger: p or t?
p
Let v = -41.791 + 40.07. Let i = v + 0.021. Which is smaller: i or 0?
i
Let w(s) be the first derivative of -s**4/4 + 7*s**3/3 - 15*s**2/2 - 10*s + 26. Let i be w(5). Which is bigger: i or -34?
-34
Let a(w) = -2 + 0 + 10 + 0*w + 7*w + w**2. Let k be a(-6). Let g be -2 + k - 4/(-14). Which is smaller: 1 or g?
g
Let h(u) = 4*u + 74. Let x be h(-18). Let o = 12 - 5. Suppose -9 = x*g + o. Is g greater than -7?
False
Let a(k) = -133*k**3 + 2*k**2 + 3*k + 1. Let g be a(-1). Suppose -3*x = -g - 65. Is 66 smaller than x?
False
Let u(m) = -10*m - 5. Suppose 6*s + s + 7 = 0. Let t be u(s). Which is smaller: -0.4 or t?
-0.4
Let d(n) = -n**2 - 6*n - 3. Let r be d(-2). Suppose r = 4*w - 2*w + 3*j, -2*w = j - 15. Let q be w/(-75)*(-7 + 2). Is -2/7 smaller than q?
True
Let q = -2352 + 2448. Are q and 92 nonequal?
True
Let f = 2/625 + -324/23125. Suppose 3*y = 2*y - 2*g + 1, 5*y = -g - 4. Which is smaller: y or f?
y
Let g be 15 + 2 + (0 - 0). Let t be g/(-34) + -1 + 6/4. Is t < -2/43?
False
Suppose -c + 13 = 3*d, -2*d + 7 + 20 = -3*c. Suppose 9 - 3 = -d*t. Let z be (1 - 4)/(-3)*0. Which is smaller: z or t?
t
Let s = 28 + -16. Suppose 2*r + 2 = s. Suppose r*q + 0 = -5. Which is bigger: q or 1/4?
1/4
Let r = -8434 + 210802/25. Which is bigger: r or -1?
-1
Let n be 11 - 12 - 213/(-3). Let r = 79 - n. Which is bigger: 11 or r?
11
Let z be 41968/387 - (9 + 6/(-2)). Is z bigger than 103?
False
Let j = -90359/7 - -12829. Which is greater: -80 or j?
j
Let h be (-3)/15 - (-14)/(-30). Let d = 5.48 - 0.28. Let u = 4.6 - d. Do h and u have the same value?
False
Let n be (-16)/10*80/32. Let g be 12/(-8) - 6/n. Which is bigger: g or -2/63?
g
Let v = 7.24 + -6.5. Let t = v + -0.04. Let l = -1.7 + t. Do l and -0.3 have the same value?
False
Suppose -6*z + 13*z - 693 = 0. Let y = z + -61. Which is greater: 36 or y?
y
Let x be (-12)/(-4 + (-4 - -4)). Let s(g) = g - 3. Let o be s(3). Suppose 3*l - l = -4*j + 2, 4*j + 5*l + 1 = o. Which is bigger: x or j?
x
Let m(y) = 2*y - 13. Let q be m(10). Let v = 7 - q. Let h = 167/4 + -41. Which is smaller: v or h?
v
Let l = 17.9 - -6.1. Let h = l - 22. Which is smaller: h or 3/14?
3/14
Suppose 2*r + 0*r + 5*q = -58, 0 = -5*r - q - 145. Let v = r + 38. Is 8 >= v?
False
Let n(k) = -k**3 + 11*k - 26. Let f be n(3). Is -132/7 <= f?
False
Let c be (7 - -8)*(-2)/(-6). Suppose 2*r - 10 = -c*m, 2*m + 2*r - 6 = -2*m. Suppose 0 = -4*b - 3*i - 59, -2*i = -m*b - i - 71. Is -16 at least b?
True
Let m(a) = -a**2 - 7*a - 1. Let y be 4/14 - (-7 + (-500)/(-35)). Let z be m(y). Are -2/217 and z unequal?
True
Let s = -0.026 - 0.674. Let m = 0.3 + -0.2. Which is greater: s or m?
m
Let u = 10/331 - 1099/47333. Is -1 greater than u?
False
Let f = -6 - -4. Let x be 8/1 - -1*(f + 1). Which is smaller: x or 8?
x
Suppose -4*h - 5*m + m = -20, 2*m + 2 = 4*h. Suppose 3*i + h = i. Which is bigger: i or -2?
i
Let x(c) = -10*c**2 - 8*c - 6. Let g be x(-4). Let o = -131 - g. Suppose 4*z + j = 2*j - 8, -8 = 2*j. Is z < o?
True
Let r = 607707/28 + -21710. Let t = -25/4 - r. Let p = -7 + 6. Which is bigger: t or p?
t
Let x = 38 + -33. Let z(y) = y**3 - 4*y**2 + y - 5. Suppose 0*i + 3*i = 5*t + 32, 4*t = i - 20. Let g be z(i). Which is bigger: x or g?
x
Suppose 0*j = -4*r - 2*j - 34, -3*r + 3*j - 3 = 0. Let p = r - -9. Suppose p*g = -0*g - 5*u + 25, 2*g + 5*u = 20. Is 5 at least as big as g?
True
Let n = -10 - -23. Suppose -b = 4*b + 3*t + 37, 2*t = -b - n. Let i be 9/6*22/(-6). Is i smaller than b?
True
Let a = 200 + -95. Let i be (-2035)/(-20) + (3 - -1). Let g = a - i. Are -2 and g non-equal?
True
Suppose f = 2, -5*s - 7 = -f + 30. Let v = 5 + 5. Suppose 0 = 2*r - 2*c + v, 2*r + 2*r + 38 = -2*c. Does r = s?
False
Let b(q) = 9*q + 45. Let n be b(-5). Let m = 25.78 - -0.22. Is m less than n?
False
Let z be (-146)/(-219)*(-1 - 49/(-40)). Which is greater: -18 or z?
z
Let k = 190 + -191. Let i be (-3 + 1)*3/(-198). Which is bigger: i or k?
i
Suppose 8*f - 6*f - 86 = 5*r, -108 = -3*f - 3*r. Which is smaller: f or 40?
f
Let u(t) = -t**2 + 23*t + 21. Let k be u(21). Let g be 1/3 + 42/k. Which is greater: g or 1/51?
g
Let h(y) = 2*y**2 - 33*y + 19. Let w be h(16). Let s be 54/(-28)*14/(-12). Which is greater: w or s?
w
Let v be ((-6)/(-48))/(189/14316). Let i = v - 82/9. Which is smaller: 1 or i?
i
Suppose 4*n + 59 = -5*y, -4*y + 46 = -3*n - 6*y. Which is greater: -15 or n?
-15
Let l(p) = -4*p + 75. Let m be l(11). Which is smaller: 36 or m?
m
Let p = -16 + 20. Let k be (3/(-2))/((-3)/p). Which is greater: 8/3 or k?
8/3
Let r be 3 - 1 - 8/7. Let x = 1421/3 - 8119/15. Let c = x + 68. Which is smaller: c or r?
c
Let m be (28/49)/((-60)/(-2478)). Which is bigger: 25 or m?
25
Let k(x) = -6*x + x - 10*x**2 + x**3 - 6*x. Suppose -4*v - 55 = -9*v. Let q be k(v). Is 2 bigger than q?
True
Suppose 0 = 41*b - 42*b - 12. Which is smaller: b or -10?
b
Let r = 299 + -295. Is -1/10 < r?
True
Let p = 20 + -18. Let j be 1/p*102/119. Which is smaller: j or 0?
0
Let u = -0.1 + 0. Let p = 0.1594 - -31.8406. Is p greater than u?
True
Suppose s - 12 = -3*j, 2*s + 0*j - 16 = 2*j. Suppose -5*k + v - 5*v = -41, 4*k + 5*v - 31 = 0. Is s < k?
False
Let z(l) = -l + 1. Let v be z(0). Let c be 2/6 - (-42)/(-126). Is v >= c?
True
Suppose 5*g + f = -1 - 13, -4*f = 16. Let w = -34 - -32. Is w smaller than g?
False
Let x be (-119)/(-9) - 12/54. Let h = 20 - x. Is 7 <= h?
True
Suppose 5*g + 53 = -w, 3*g - w = -30 - 5. Is g less than 13?
True
Let q be 1*4/6*39/(-26). Is q at least as big as -16/11?
True
Suppose -3 - 25 = -7*u. Suppose -6 = -u*w + 2. Which is bigger: -1/2 or w?
w
Let r(m) = -m**2 - 14*m - 25. Let h be r(-13). Which is bigger: h or -9?
-9
Let z = -81 - -57. Which is greater: z or -36?
z
Let c be 2/(6 + -356 - 6). Are 1 and c unequal?
True
Let n be 15/(585/6) + (-7560)/(-39). Is n less than or equal to 193?
False
Let g(s) = s**2 - s - 2. Let d be g(3). Let q be (75/d)/5 + -3. Suppose 2*p - 4*p = 0. Which is smaller: q or p?
p
Let b be 0/(-2 - (-2 - -2)). Let x = b + 4. Suppose -x*u = -2*u. Which is smaller: -2/7 or u?
-2/7
Let y be 4/8 + (-9)/2. Suppose 11 = 8*s - 13. Let k be ((-2)/(-4))/(s + (-125)/40). Are k and y equal?
True
Let b = 5614/13 - 432. Is b >= -6?
True
Let a(s) be the third derivative of s**6/120 + s**3/3 + 20*s**2. Let g be a(0). Is g less than 3/4?
False
Suppose 5*k - 5*o + 335 = 0, 6*k - 3*k + 217 = -o. Is 3 equal to k?
False
Let b = -20 + 17. Let f be b - 37/(-11) - (0 - 0). Which is smaller: f or 0?
0
Let o = 214.2 - 153. Let h = o + -58. Is h at least 2/3?
True
Let d = -173 + 457. Is 283 at least d?
False
Suppose 7*o - 4*o - 888 = 0. Let x be (2/o)/(15/(-10)). Let z = x - -893/1110. Is z at least as big as 2?
False
Let l be (20/58)/((-3)/(-2) - 2). Which is greater: -1 or l?
l
Let s(m) = m**2 - m - 14. Let t be s(-6). Suppose -20 = -t*k + 33*k. Is -5 bigger than k?
False
Let v = 0.2 + -1.2. Suppose -4*w + 2 = 4*o - 10, 0 = 4*w - o + 8. Is v less than w?
False
Let s = 23.41 - 23. Let k = s - -3.79. Let t = -4 + k. Which is smaller: 6 or t?
t
Suppose 2*i = -i. Let q = 7100/17 - 418. Is i at most as big as q?
False
Let k = -576 + 609. Is 33 not equ