hich is smaller: z or -22?
z
Let n = 291 + -291.02. Let u = 0.05 - n. Which is greater: -1/3 or u?
u
Suppose 2*c = -4*f - 6, 3*c - 5*f - 76 + 63 = 0. Is 6/1483 < c?
True
Let j = 380 - 378. Suppose j = 25*k + 2. Which is greater: -2/37 or k?
k
Let l = 3 - 3. Let w = -69214/1435 - 48/287. Let d = -7487/155 - w. Do l and d have the same value?
False
Let t = -19800.06 - -19800. Which is bigger: t or -327?
t
Let b be 8/(-20) - 130566/(-190). Let t = 687 - b. Suppose 7 = -3*f - 2, 0 = 4*v - 3*f - 9. Which is bigger: t or v?
t
Suppose 0 = 5*l + 4*q + q - 15275, 4*q = 5*l - 15311. Suppose 44*k = 63*k + l. Which is smaller: -160 or k?
k
Suppose -19550 = -346*u + 80473 - 13177. Let g(y) = -250*y + 1. Let h be g(-1). Is h bigger than u?
False
Let m be (-24)/(-81)*15/140. Suppose 3*u + 5*j - 89 = 0, -5*u + 2*j + 3*j + 175 = 0. Suppose -u*f + 27*f = 0. Is f at least as big as m?
False
Suppose -191*b + 1256 = -34*b. Is 2/49 less than or equal to b?
True
Let d(u) = 2*u**2 + 29*u + 28. Let c be d(-14). Suppose 10 = -c*l + 220. Is 12 not equal to l?
True
Let h = 569.71 - -11.29. Let m = 580.8 - h. Which is greater: -3/4 or m?
m
Let y = -7.781 - -5.481. Which is greater: y or -0.05?
-0.05
Let s = 20931/7 - 2999. Suppose 4*g + 880 = -3*u + 807, g = -3*u - 43. Do s and g have different values?
True
Let u be (21/(-9))/(6/(-18)). Suppose -13 = 3*x - u. Is x equal to -9/8?
False
Let u be 14/(-63) - (192/(-240) + 10966/18990). Which is smaller: u or -1?
-1
Suppose -4*i + 44 = -6*i. Let m(l) = 442*l - 1. Let f be m(2). Let h = f - 905. Do i and h have the same value?
True
Let w(n) = 2*n + 9. Let h be w(-9). Let d be 12/8*(-3)/(h/4). Suppose 0 = -4*k + y + 5, -3*k + 3 - 2 = d*y. Is k equal to 1?
True
Let k = -13.6 + 3.7. Let s = 47 + -57. Let g = s - k. Which is bigger: g or 2/21?
2/21
Let r(g) = g**2 + 86*g + 1291. Let u be r(-19). Which is greater: u or -0.153?
u
Suppose 16*h - 659 = -9*h - 84. Let z(y) be the second derivative of 2*y**4 + y**3/6 - 2*y. Let m be z(-1). Is m != h?
False
Let i be ((-2)/10)/((-183)/6405). Which is greater: 85 or i?
85
Let y = -39 - -17. Suppose -127*o + 150*o = 1288. Let h = o - 75. Which is greater: y or h?
h
Let k(x) = -6*x**3 + 2*x**2 - 2*x. Let p = 573 - 572. Let l be k(p). Suppose 30 = 3*b - 6*b + 3*s, -2*s = 3*b + 20. Which is smaller: b or l?
b
Let q be ((-4)/42 - 50/(-525))/6. Which is greater: q or 963?
963
Let y be ((-12)/9)/((-50)/67950). Does 1811 = y?
False
Let f(c) = -c**3 + 7*c**2 + 21*c - 20. Let p be f(9). Let m(g) = 3*g**2 - 21*g. Let s be m(p). Which is smaller: s or -21/22?
-21/22
Let t = 2144 + -2204. Which is greater: -117 or t?
t
Let w = 17005 - 16875.67. Let h = w + 1.67. Which is smaller: 1 or h?
1
Let j = 497 - 321. Let n = j - 1230/7. Let i = -3.04 + 0.04. Which is greater: n or i?
n
Let i = 113.22 + -46. Let h = -67 + i. Which is smaller: h or -1?
-1
Let b be (2/(-12))/((-1)/8). Let i = -1494.23 - -1504. Let v = i - 7.77. Which is bigger: v or b?
v
Let h be (-1)/(3 - 20/6). Let m = h + -2. Let g be (240/6732)/(-5)*15/10. Which is smaller: m or g?
g
Suppose 35*u = -741 + 3101 + 965. Which is bigger: u or 4?
u
Let j = -8.95 + 1906.95. Let w = 1793.81 - j. Let d = w - -104. Is d greater than -2?
True
Let u = -1694.6 + 1712. Which is greater: 2/11 or u?
u
Let o = 132 + -123. Let i(a) = 3*a + 0 - 4*a + 7. Let q be i(7). Is o at least q?
True
Let l(h) = h**3 - h**2 - 7*h - 23. Let n be l(-5). Let a = -964/7 - n. Which is smaller: a or 5.6?
a
Let t(l) = 280*l - 2803. Let u be t(10). Let j = 1 + -1. Let r(h) = h**3 - h - 4. Let v be r(j). Is v at least as big as u?
False
Let k(l) = -21*l - 29. Let z(q) = -5*q + 1. Let c(w) = -4*k(w) + 20*z(w). Let x be c(8). Is x >= 3?
True
Suppose 24*r + 2*d - 498 = 25*r, -5*d = -r - 510. Which is greater: r or -489?
-489
Let u = 78.7 - 5086.7. Which is smaller: 0 or u?
u
Suppose 0 = -4*l - 5*b - 4, -3*l + 4*b + 15 = -13. Suppose -2*d = l*j - d + 245, 4*j + 4*d = -248. Which is smaller: -59 or j?
j
Let t = 8 + 0. Let b = -29.45 - 13.55. Let s = t + b. Which is greater: s or -0.1?
-0.1
Let v = 16.97 - 10.84. Let u = 266 + -266.13. Let l = u + v. Is -2/37 >= l?
False
Let j(c) be the first derivative of 5*c**2/2 - 29*c - 54. Let n be j(5). Is n greater than -9?
True
Let k be (-6)/(0 - (0 - -2)). Suppose 192 = -k*v + 21. Suppose -386*t - 13932 + 3574 - 12030 = 0. Which is bigger: t or v?
v
Let r = -12931 - -12935. Is r at least as big as 0.399?
True
Let k = -14494 + 161586/11. Is k at most as big as 196?
True
Suppose -a - 72 = -5*a - 4*x, 0 = a - 2*x - 12. Suppose -5*c - 45 = 3*b, 4*c - 11*b + a*b = -49. Is c < -8?
False
Let k = 39 + -22. Suppose -3*o = j - 49, 3*o - 23 = -3*j + 28. Suppose 4*u = 2*c + o, 10*u - 6*u + 2*c - 16 = 0. Is k at least as big as u?
True
Suppose w + 4 = x, 6*x + 3 = -13*w + 10*w. Which is smaller: x or 2/2353?
2/2353
Let z be -12 - -14 - (-1 - (22 + -1)). Suppose -6*v = 2*v - z. Suppose -4 = 2*c + 6, 4*f + 257 = v*c. Is -69 greater than or equal to f?
False
Let f = 0.443 + -6.664. Let r = f + 6.2. Let z = r - -20.021. Is z less than or equal to 0?
False
Let t = 15563 - 15547. Let y = -209/4 - -52. Is y less than t?
True
Suppose 19*l - 2502 + 2540 = 0. Let t(z) be the first derivative of z**2/2 + z - 1. Let f be t(l). Which is greater: f or -6/31?
-6/31
Let p = -19.553 - 12526.447. Which is bigger: p or -2?
-2
Let a = 97.8 - 97.74. Let b = 2.701 - -0.099. Which is greater: b or a?
b
Let d = -34 - -30. Let x be (0 - (-3)/12)*d. Let v = 8075/23 + -351. Which is smaller: x or v?
x
Let u = 8 + -11.4. Let z = -16.6 - 112.4. Let s = z + 131. Which is smaller: s or u?
u
Let s = -4.7 - 0.5. Let m = s + 5.361. Let y = m - 0.001. Is -1/4 at most as big as y?
True
Suppose 2*a - 156 = -a. Suppose 3*h = -6, -2*k - 2*h + h = -a. Let f(g) = -610*g**2 - 1228*g + 11. Let m be f(-2). Is m bigger than k?
False
Let o(x) = -x - 12. Let w be o(0). Suppose 0 = -26*m + 21*m - 15, 4*j + 5*m - 61 = 0. Suppose 9 = 18*h - j*h. Which is smaller: w or h?
w
Let a(z) = 2*z**2 + 10*z + 2. Let c be a(-5). Let w be (-15 + 12)*c/6. Which is smaller: 2/25 or w?
w
Let d = -7066/9 - -786. Let n = 36 + -36. Suppose 15*t = 2*p + 12*t - 12, -4*t - 16 = n. Is d at most p?
False
Let g be (-858)/(-117) - (-3)/(-42)*-4*-14. Which is greater: 1.7 or g?
g
Let o = -3835 + 3835. Which is greater: o or 1506?
1506
Let i be (1/(-12))/((-10)/229165). Let w = 1910 - i. Is 0 equal to w?
False
Let q(o) = 2322*o + 5355. Let v be q(-5). Are v and -6258 unequal?
True
Let c = -834.054 + 0.054. Let k = -800 - c. Let y = 1465/9 - 163. Which is smaller: k or y?
y
Let j = -704 - -668. Let r = 1/42 + 37/14. Is j at most as big as r?
True
Let w be (384/98)/((-437)/(-874)). Are 8 and w non-equal?
True
Suppose -3*f + 84 = -5*f. Suppose -2*p + 5*g = -0*g + 630, -3*p + 4*g - 959 = 0. Let a = p - -282. Is f > a?
True
Suppose x + 16 = 42. Let q = x - 18. Suppose -25890*i - 3*z - 6 = -25888*i, -5*i + z = -70. Is q less than or equal to i?
True
Let c be (24/(-168)*14/36)/(8/32). Which is greater: 0.03 or c?
0.03
Let p = -332.7 + 328.6. Is p bigger than -2?
False
Suppose 4*k + 2*n - 88 = 0, 4*n = -0*k + 2*k - 64. Let x(r) = 9*r - 141. Let j be x(k). Do 229/3 and j have different values?
True
Let d = 389 - 381. Let q be d*8/(-8) - -3. Which is smaller: q or -2?
q
Let p = 2.92 - 3.037. Let u = p + 1.817. Which is smaller: -2 or u?
-2
Let m = 1970.7 + -1978.7. Let u be 30/(-12)*(-4)/(-5). Let x be u + 7 - (-9)/(-3). Does m = x?
False
Let g be (-2)/29 + (-10045)/(-580). Which is smaller: g or 10?
10
Suppose 0 = -32*r + r - 930. Let b be (8/10)/(r/(-300)). Is b < -3/5?
False
Let i be (-4519)/(-5) - 22*(-16)/(-440). Is i != -0.2?
True
Suppose -22*n + 444 - 428 = -6*n. Which is greater: 1/11591 or n?
n
Let s = -3913 + 3868. Let y be (3/(-2))/((-2)/4). Suppose z + y*a = 7, z + a - 2 - 1 = 0. Which is smaller: z or s?
s
Let o = 0.119 - 0.139. Let c be ((-16)/3 + (-7 - -11))/(-4). Is o equal to c?
False
Let n(q) = -1018*q + 3584. Let p be n(8). Which is smaller: p or -4561?
-4561
Let z = -847/10 + 167/2. Is -2 != z?
True
Let f = -9130.6 + 9131. Is -26.6 at most f?
True
Suppose -3*f + 6*f = -5*i - 56, 0 = 4*i + 2*f + 46. Is -11 not equal to i?
True
Let i(z) = -3*z**2 - 9*z**2 + 11*z**2 + 13 - 6*z. Let g be i(-10). Let d = -51 + 23. Which is g