. Is -6/7 bigger than b?
True
Let o(m) = m + 13. Let f be o(2). Is f bigger than 13?
True
Let w be ((-3)/42)/(106/1855). Which is greater: w or 0.023?
0.023
Suppose -3*g - 7 = -3*w + 5*w, -4*g = -3*w - 19. Is g <= 4/83?
False
Let d = -4 + 6. Suppose d*l + 22 = 4*p, -5*p = -p + 4*l - 40. Let s be (-14 - -10) + 30/p. Is 0 >= s?
False
Let v be (-98142)/114 + (-2)/19 + 2. Is -860 smaller than v?
True
Let r = -206 - -107. Let q = r - -99. Is -3/2 >= q?
False
Suppose -37 = 7*x + 26. Is -0.4 greater than or equal to x?
True
Suppose -g + 5*t - 7 = 0, -4*g + 4*t + 43 = -5*g. Are -29 and g non-equal?
True
Let n = 321/5 - 66111/1030. Let v = n + 361/3502. Is v at least 0.4?
False
Let l = 2846/99 + -268/9. Is l less than -2?
False
Let u be (10/(-4))/((-1)/(-2)). Let y = 370 - 372. Is u <= y?
True
Suppose 0 = -q - 4*h - 41 + 23, 3*q - 5*h = 31. Let b = 2404/33 + -145/11. Let f = -57 + b. Is q not equal to f?
True
Let a = 12 - 16. Let n = 6 - a. Let j = -10.1 + n. Is j not equal to -2/13?
True
Let z be (7/4)/(1/(-16)). Let w = 18 + -9. Let t be 6/z*12/w. Which is smaller: 1 or t?
t
Let s be 4*(-14 + 0/1). Which is smaller: s or -54?
s
Let j = -659 + 658. Which is smaller: j or -325?
-325
Let w = 16 - 26. Let f(i) = i**2 + 3*i. Let p be f(-3). Suppose p = -0*l - 4*l - 40. Is l < w?
False
Let z = -1/500 - -11753/1500. Which is smaller: -0.1 or z?
-0.1
Suppose q = -3 + 7. Suppose -r = -q + 2. Which is bigger: r or -0.14?
r
Let l = -32143394 + 8132266724/253. Let a = 518/11 + l. Are a and 1 nonequal?
True
Suppose -6 + 3 = 3*x. Suppose -2*u + 0*u + 4*l - 34 = 0, 3*l = -2*u - 20. Let i = 11 + u. Is x <= i?
False
Let o = 78 + -140. Let y = 109 + o. Is 0 smaller than y?
True
Let i(v) = -v**2 + 14*v - 34. Let s(g) = -g. Let l(q) = -i(q) + 4*s(q). Let m be l(14). Is m at least -24?
True
Let w be (-2)/16 - 171/(-152). Which is bigger: -4/1071 or w?
w
Let v = 13 + 9. Suppose 4*m - 4*z - 28 = 0, 4*m + z + z - v = 0. Are m and 6 non-equal?
False
Let p be 4 + (3 + 3)/(-2). Let w be 4/18*-6*-15*p. Is 20 > w?
False
Suppose 0 = -0*l + 7*l - 14. Let i be (l/(-12))/((-2)/8). Which is greater: i or 8?
8
Let w = 137 - 159. Are -21 and w unequal?
True
Suppose -2*r + 5*n + 176 = 0, -2*n + 64 = r - 24. Suppose s = 5*s + r. Let k be 159/33 + (-4)/s. Is 5 greater than or equal to k?
True
Let n be 54/(-170) + 54/459. Suppose -2*u - 2*t + 22 = 0, 2*u - 6*t = -3*t + 17. Suppose -x + 3*x + 20 = 4*r, 4*x + u = 2*r. Which is smaller: n or x?
n
Suppose -2*q - 5*h - 1 + 89 = 0, -h + 2 = 0. Which is smaller: 42 or q?
q
Let f be 8*((-15)/(-12) - -4). Let u be 8/(-14) + (-18)/f. Let z be (-2)/(2 + u) + 3. Which is bigger: z or 3?
3
Let n = -62 - -175. Are 113 and n nonequal?
False
Let j be 80793/(-32054) - 2/(-11) - -2. Which is smaller: j or 0?
j
Suppose -m + 2 = 5*h, 5*h = m - 0*m - 12. Let u = m - 10. Which is smaller: 7 or u?
u
Let j = 5.1 + -37. Let t = j + 32. Is t not equal to 1/3?
True
Let s be (9/(-12))/(0 + 189/1248). Which is greater: s or -5?
s
Let q(n) = -n**2 + 5. Let i be q(4). Is i less than or equal to -13?
False
Let a(t) = -t**2 + 5*t - 4. Let v be a(3). Suppose v*u = j - 7, 2*j - 2 = -2*u - 6. Let w be (1 + (-3 - u))*1. Which is smaller: w or 7/3?
w
Suppose -z - 2*w + 6 = 0, 11 = -5*z + 5*w - 4. Suppose -11*k + 7 + 4 = z. Is k != 7?
True
Let z = -0.168 - 16.732. Let t = z + 19. Does -1 = t?
False
Let g = -488892198/297235 - -14/59447. Let u = g + 1652. Suppose -15 = -3*l + 9. Which is smaller: u or l?
u
Let c = 41 - 41. Let l = -18.2 - -18. Let s = -0.8 + l. Is s < c?
True
Let n = -0.17534 - 11.81566. Let s = n - 0.009. Let b = -43/6 - -15/2. Which is smaller: s or b?
s
Let g = 4 + -21. Let y = 66 - 20. Let h = y - 63. Is g less than h?
False
Suppose -19*v + 120 = -13. Suppose 0 = 3*l - 2*n + 6*n - 14, 2*l + 2*n = 8. Suppose a = -l*a. Which is bigger: v or a?
v
Let f = 19.84 - 19.94. Are f and -0.13 non-equal?
True
Let j be (-2 + 1)*6/(-15). Let h = 3872 + -3869. Is j equal to h?
False
Suppose 0 = p - 3*p + 180. Let c be 22/(-99) + (-10564)/p. Let b = 118 + c. Are 1 and b nonequal?
True
Let q = 17/15 + -4/3. Which is smaller: 9 or q?
q
Let p be ((-132)/16)/(9/(-24)). Suppose x + 4*f - 56 = 4*x, 2*f - p = x. Which is greater: x or -13?
x
Let x be (-2 + 1)*8/(-2). Suppose -10*r + 2 = -8*r. Suppose -5*z - r = -x*z. Do z and 3/8 have the same value?
False
Let l = -1 - -1. Let t = -29 - -28.8. Let h = l - t. Is 0.2 less than h?
False
Let g be (-8)/((-64)/(-12)) - 1354/4. Let x be 2/20*g/(-16). Which is smaller: x or 3?
x
Let j = -1119 - -1092. Is j equal to -2/41?
False
Let n(j) = 3*j**2 + 7*j - 2. Let u(r) = r**2 - r. Let k(m) = n(m) - 2*u(m). Let s be k(-3). Are -20 and s unequal?
False
Suppose -27*a = -28*a + 38. Let k(z) = -z**2 + z + 1. Let b be k(0). Which is smaller: a or b?
b
Let u(j) = -2*j**2 + 10*j + 92. Let q be u(10). Let t = 6 - 10. Let o be t/(-10) - (-17)/(-5). Which is bigger: q or o?
o
Let m be (2 - -1)*2*6/(-3). Let x be 85/(-4)*(-3)/(-5). Which is bigger: m or x?
m
Suppose 3*l - 24 = 9. Let b = 18 - l. Suppose 3*w + 4 - b = 0. Which is bigger: w or 5?
5
Suppose 2*a = 2*r - 8, -3*a - 7 = -5*a - 3*r. Which is greater: -82 or a?
a
Let o = -1.1 - -1. Let h = -3.9 - -4.21. Let b = 0.36 - h. Which is smaller: b or o?
o
Let f = -5/661 + -1307/1983. Is f smaller than -82?
False
Suppose -353*t = -350*t - 63. Is 104/5 > t?
False
Let u be 2*(-9)/7*1568/(-64). Are u and 67 non-equal?
True
Let o be 3*11/(-27) + 2/9. Which is greater: 2/409 or o?
2/409
Let l be 0 + 1/(-3)*0. Let k be 3 - (-1)/(-2)*(-2414)/(-391). Which is greater: k or l?
l
Let l = 0.2 - 0.1. Let w = 0.3 - l. Let q(n) = n + 21. Let h be q(-23). Is h >= w?
False
Let o be ((-572)/(-39))/((-7)/3 - -2). Which is greater: o or -46?
o
Let u = -139.67 - -139. Which is smaller: u or -2/5?
u
Suppose -16*j + 17*j + 3*z + 19 = 0, 2*z - 34 = 4*j. Is 52 >= j?
True
Let v = 977/2 - 4801/10. Let h = v + -183/20. Suppose m - 4*m = 0. Is m bigger than h?
True
Suppose 10 = -5*d - 5*z - 0*z, 27 = 4*d - 3*z. Let r be (-2)/(-3) + (2 - d). Which is greater: -1 or r?
r
Suppose 2*g - 213 = -b, -b = -4*g + 133 - 376. Which is smaller: 222 or b?
222
Let j = 850 + -1412. Is j less than or equal to 0?
True
Let a be (-52)/(-260) + (-24)/125. Which is smaller: a or 1?
a
Let f = -40/27 - -1826/1269. Let r be 2 - 1 - (2 + -1). Which is smaller: f or r?
f
Let s = 424 + -424.1. Let j = 0.11 + 6.89. Which is greater: j or s?
j
Suppose -z = -5*x - 5*z - 42, -2*z - 16 = 2*x. Let j(d) = -9*d + 6 - 11*d**2 + 4 + 0 - d**3. Let o be j(x). Which is smaller: o or -2/15?
-2/15
Suppose 4*j = -5*f + 676, -3*f + 4*j + 141 + 239 = 0. Suppose -3*r - 141 = -f. Which is greater: -5 or r?
r
Let l(z) = -z**3 - z**2 + 5*z + 5. Suppose 0 = -5*r - 10, -5*q + 3*r - 7 = -r. Let w be l(q). Is w greater than 7?
True
Let n = 160 - 120. Let w = n - 30. Is w smaller than 11?
True
Let o be (6/10)/(1/(-5)). Let n(m) = 2*m + 7. Let z be n(o). Let h be (-13)/17 - -2 - z. Is h not equal to 0?
True
Suppose -3*k + 143 = -10. Let w = 253/12 - 83/4. Which is smaller: w or k?
w
Suppose 5*t = -4*i - 62, -5*i - 9 - 75 = 3*t. Are 0.01 and i nonequal?
True
Suppose -20*n - 1328 + 88 = 0. Is n greater than or equal to -61?
False
Suppose 0 = -q - 3*c + 6, 2*q + 4*c - 7*c = -6. Suppose -2*j - 5*g + 8*g - 6 = q, 5*j - 2*g = -4. Is j less than or equal to 10?
True
Let o be (2/(-152))/((-1666)/(-1660) - 1). Let a = -1/38 + o. Which is bigger: -5 or a?
a
Suppose 171*y = 51*y. Is y at most 291?
True
Suppose -4*c - 53 = -v - 88, -2*c - 50 = 4*v. Is 3 >= v?
True
Let g = -530 + 532. Is -0.151 greater than or equal to g?
False
Let v be (-7)/(462/(-117)) - 0. Let j = 9/154 - v. Let f = -8 - -6. Which is smaller: j or f?
f
Let o = 9 - 6. Let g = o + -6. Suppose 6*q = 2*q - 4. Is g not equal to q?
True
Let y = -282223331 + 1098131060044/3891. Let a = -2/1297 + y. Is a >= 20?
True
Let o(r) = -r - 5. Let k be o(-9). Suppose 44 = -l + 4*b, k*b + 3 + 1 = -l. Which is bigger: -1/2 or l?
-1/2
Suppose 2*t - 38 - 101 = g, -g + 1 = 0. Which is greater: t or 67?
t
Let b = 0.6 - 5.7. Let g = -2.54 + -2.46. Let t = g - b. Is t at least as big as -1?
True
Suppose -21 = 5*d - c - 71, 0 = -c. Suppose 6*q - q + 10 = 0, 5*b + q = -62. Let u = b + d. Which is bigger: u or -8/3?
u
Suppose 2*b - 3*g - 3 = 5*b, -4*b