m = 2*m + 6. Let x = 278/55555 + -4/271. Let z = x - 119/410. Which is smaller: r or z?
z
Let h = -31.6 - -33.6. Is 71 greater than or equal to h?
True
Suppose 44 = -n + 12*n. Suppose -11*l - n*l = 135. Is l greater than -9?
False
Let j = -27 - 129. Let v = j + 143. Is 1/3 less than v?
False
Let h = 212139/3682 - 3423486317/59324384. Let r = h - 1/1007. Is -1 at least r?
False
Let x = 0.19 + -25.19. Let n = -12821 + 12822. Which is greater: n or x?
n
Let a(k) = -k**2 - 6*k + 14. Let v be a(-9). Are -8 and v equal?
False
Let y = 155/273 + 9/91. Let x = 6.07 + -6. Which is smaller: y or x?
x
Let m = 22 - 22.24. Let o = -0.76 + m. Let r = 1.2 + o. Is 2 at least r?
True
Suppose 3*v = 5*v. Let x(r) = 8 + 2 + 2*r - 6 + v. Let d be x(2). Are d and 8 equal?
True
Let p be 4 - ((-417)/18 - 4/(-24)). Let o be (p/(-42))/((-12)/14). Suppose -2*q = -3*q + 2. Which is smaller: o or q?
o
Let i = 588 - 25272/43. Is -1 < i?
True
Let o(y) = -2*y + 13. Let m(f) = 5*f - 10. Let j be m(4). Let n be o(j). Let i = -10 - n. Is i >= -2?
False
Let n = -22 + 60. Let k = 12 - n. Which is smaller: k or -27?
-27
Let z(w) = -w. Let r be z(-5). Let j = 13 - 13. Suppose j = -u + r, 9*u = -n + 4*u + 39. Which is bigger: 0 or n?
n
Let n = 1086395/87 - 12487. Which is bigger: 0 or n?
n
Let d(h) = -h**2 + 12*h - 15. Let n be d(10). Let w be (-28)/n - 2/5. Let q be 4*(-3)/w*-2. Is -3 at least q?
True
Let n = -32 - -28. Let i be -1 + 42/n - 10/(-20). Which is bigger: -8 or i?
-8
Suppose 70 + 17 = -3*a. Suppose -29 = 3*j - 2*y + 64, -142 = 5*j + y. Does j = a?
True
Let u = 2.81 - -5.16. Let z = u - -0.03. Do 0.2 and z have the same value?
False
Let g be (4/((-24)/14))/((-2)/6). Suppose -5*s + 3*p - 8*p = 30, 5*s + 3*p = -30. Let a = s + g. Is 1 less than or equal to a?
True
Let k = 454 - 453. Is -1/354 not equal to k?
True
Let l = 42 - 40. Suppose 2 + 4 = l*f. Is 5 greater than f?
True
Let w(c) = -c**2 - 4*c + 2. Let u be w(-3). Suppose d + 3 + 36 = u*q, 5*q = 5*d + 35. Is 6 at most q?
True
Let r(i) = i**3 + 5*i**2 - 4*i + 8. Let p be r(-5). Suppose -p*n = -29*n + 34. Which is smaller: n or 33?
33
Let t be (4 + (-248)/48)*328/(-14). Is t greater than 27?
True
Let y(n) = -n + 3. Suppose -6*s - 1 = -7. Let o be y(s). Let v(j) = -2*j**3 - 2*j**2 + 1. Let h be v(-1). Is h >= o?
False
Let u = 90379/18536 + -2/2317. Does 4 = u?
False
Let t = 8 - -2. Suppose 5*y - 55 = -5*i, 5*i + 7*y = 5*y + 61. Which is greater: t or i?
i
Let t = 6.3 - 5. Let v = 1.4 - t. Let x = -0.3 + 0.2. Is v > x?
True
Let u = 23473/15367 - 185/121. Is 1 >= u?
True
Suppose 10*l - 543 = -153. Let x(f) = 3*f**2 + 5*f - 3. Let t be x(3). Are t and l unequal?
False
Let o = 143/3942 + -4/73. Which is greater: 0 or o?
0
Let i(h) = 94*h - 78. Let z be i(2). Do z and -1 have different values?
True
Suppose -14*y = -20*y + 21*y. Which is greater: -2/129 or y?
y
Let k be (-5665)/(-140) - (-3 - 19/(-7)). Which is greater: 40 or k?
k
Let v(d) = -5*d**3 + d**2 - 1. Let l be v(1). Let h be (-40 - -47)*(-12)/14. Is h smaller than l?
True
Let g be 3/9 - (-30)/18. Let d be 3/g*(-18)/27. Is 0 < d?
False
Let d be (-3)/2*(-44)/(-33). Let q be d/(-8) + 243/36. Suppose q = 5*l + 2. Which is smaller: l or 4?
l
Let g = 45 + -20. Suppose 0 = 4*y, u - g = -3*y - 9. Suppose 5*l + 3 = 5*w - 17, -4*l - u = 2*w. Are -1 and w nonequal?
True
Let z(u) = 28*u**2 - 1 + u - 27*u**2 + 2*u. Let m be z(-4). Suppose -4*w - 34 = m*a, 0*w - 5*w = 20. Which is smaller: -4 or a?
a
Suppose -5*b + 8 = -7. Suppose 4*v - s = 2*s - 247, 204 = -b*v - 4*s. Let u = 324/5 + v. Is u >= 2?
False
Let d = -2/2753 + -60520/63319. Which is greater: -2 or d?
d
Let i be (-10)/12 + (-725)/(-780). Which is bigger: i or -1?
i
Let t = 1560 + -4736/3. Are -18 and t equal?
False
Let r = 477 + -481. Suppose 5*w + 2*s + 0*s + 13 = 0, 4*w + 20 = -4*s. Which is smaller: r or w?
r
Let y be 5016/14 + 2/(-2). Let p = y - 358. Are 0 and p non-equal?
True
Let g(o) = o + 17. Let i(b) = -b - 18. Let d(s) = 7*g(s) + 6*i(s). Let z be d(-7). Let h = 19 - z. Is 15 less than h?
False
Let b(a) = 8*a + 89. Let o be b(-11). Let z = 0.13 + -0.143. Does z = o?
False
Let p = -4/159 - -353/20352. Which is greater: 1 or p?
1
Let m be (-11)/5*((-2300)/48)/(-23). Which is smaller: -5 or m?
-5
Let w = -55 - -55. Suppose w = 7*f - f. Is 3/22 at least as big as f?
True
Suppose 0 = 19*t - 32*t - 169. Is -77/6 smaller than t?
False
Let f(i) = 4*i + 11 - i - i - 3*i. Let a be f(5). Let z = a - 11. Is z less than or equal to -5?
True
Let o(d) = 4*d - 71. Let r be o(18). Let z = -4 + 8. Let c be (-1)/4 + 1/z. Which is greater: r or c?
r
Let s = -1051 + 1052. Which is bigger: -2/215 or s?
s
Let n = 567 + -546. Which is bigger: 87/4 or n?
87/4
Let o = -19 - -4. Let p be 2/5 - -128*(-3)/o. Is p at most 27?
True
Let a = -104/315 + 2/45. Let c = 5 + -3.3. Let m = c - 1.3. Are m and a non-equal?
True
Let c be (-4598)/77 - (-4)/(-14). Let f = -110 - c. Is f bigger than -51?
True
Let d be (-8 - -9)*(-2)/68. Let j = 43 + -38. Suppose 8 = j*u + 3*g, g - 4 = -2*u - u. Is u less than or equal to d?
False
Let t(q) = -3*q**2 + 2*q + 1. Let d be t(2). Let w be (3/9)/(3/(-99)). Let l = w - d. Which is smaller: -1 or l?
l
Let n be (-5)/(-15) + (-8)/42. Suppose -3*u + 10 = -2*u - 2*d, 16 = -2*u - 5*d. Suppose 4 = -3*i + 2*i - u*r, r = 4*i - 2. Which is greater: n or i?
n
Let r = -25.7 + 24. Let y = -7.9 + 6. Let g = r - y. Is -0.02 greater than or equal to g?
False
Let g be 230/(-4) + 5 - 3. Are -56 and g nonequal?
True
Let q = -650.7 + 717. Let l = q - 66. Are l and -2.2 equal?
False
Let x be ((-495)/(-22))/(-15)*(-124)/(-3). Are x and -64 nonequal?
True
Let j = -15 - -22. Suppose -10 = -4*a + 6*a + 3*g, 0 = 3*a + 5*g + 17. Let t be (-5 + a)*j/(-238). Which is greater: t or 1?
1
Let q = -358 + 358. Which is smaller: q or 96?
q
Let x = -16 + 11. Let c = 7 + x. Let s = 23.7 - 23.69. Is s at least c?
False
Let j(r) = r**2 + 4*r - 1. Let k be j(-4). Let z = -2803/6 - -401. Let f = -66 - z. Do k and f have different values?
True
Let g = 7.837 + -7.8. Is 0 less than or equal to g?
True
Let n be (-1 - (-42334)/(-63)) + -3. Let o = n + 676. Which is bigger: o or 1?
1
Let c = 52.35 + -52.35. Suppose 4*k = -0*k - 88. Let h = 199/9 + k. Which is smaller: c or h?
c
Let a = 1.561 + -0.251. Let t = a - 1.3. Let d = -0.59 - t. Which is greater: d or -0.1?
-0.1
Let i = -27 - -30. Let z be 2*(i + 183/(-2)). Let n = z + 2477/14. Are n and -1 non-equal?
True
Let u = -30 + 140. Is 113 greater than u?
True
Let y = 1040 - 2024. Is y not equal to -984?
False
Let i = 1656 + -2164. Are -509 and i nonequal?
True
Let o(h) = -12*h - 6. Let y be o(-5). Suppose -4*r + 10 = -y. Which is smaller: 17 or r?
r
Let h = -9 + 9. Suppose -2 = -b - h*b, -5*u = 5*b + 1110. Let g = u + 901/4. Is g greater than -0.2?
True
Let h = -90 + 110.7. Which is smaller: h or 1/5?
1/5
Suppose 90*s - 88*s = -36. Which is smaller: -16 or s?
s
Suppose 4*s = -0*s + 36. Let x be (-8)/6*s/(-6). Suppose -x = 5*u + 3. Which is bigger: u or 1?
1
Let q = 299 - 173. Is 125 less than q?
True
Let l be (-510)/(-332) + (-12)/8. Let x = l + 403/332. Which is smaller: x or 4?
x
Let p = 828 + -885.9. Let x = -58 - p. Let z = 0.1 + -0.04. Which is smaller: x or z?
x
Let s = -96 - -86. Let h be (-452)/227 + s + 12. Which is greater: h or 0?
h
Suppose -4*m + 6*m = u + 4, 24 = u + 5*m. Let p(h) = h. Let q(s) = 5*s. Let v(x) = u*p(x) - q(x). Let g be v(1). Which is greater: 0 or g?
0
Suppose -18 - 9 = -3*j. Let s be j/3 + 23/(-7). Let i = -1/21 + s. Does i = 3?
False
Let k = 64 + 331. Are 394 and k unequal?
True
Suppose 4*i + 11*t = 12*t - 210, 0 = -2*i + t - 106. Is -50 bigger than i?
True
Let y = -7 + 8. Let u = 50/11 - 1667/374. Which is greater: y or u?
y
Let f = -59 - -70. Let l(x) = x**3 - 3*x**2 - x. Let g be l(4). Let s = f - g. Is 3/10 >= s?
True
Let q be 2/8 - ((-49)/28 - -3). Is 2/2105 < q?
False
Let d = 43 - 55. Let x = -12 - d. Which is bigger: x or -2?
x
Let y = 15.06 - -7.54. Is 0.2 at least as big as y?
False
Let o = 2462282/355 + -6936. Let m = -2814/4615 - o. Is m less than -1?
False
Let w = 0.591 - -10.849. Let b = w + -11.2. Which is bigger: -2/5 or b?
b
Suppose 34*w - 28*w = 138. Suppose 24*j = w*j - 26. Which is bigger: -27 or j?
j
Let s = 0.749 - 0.81. Let m = 3.039 - s. Let u = m +