*s = -5*g - 110. Which is smaller: s or -64?
s
Let j be (2 + -3)*6*(-24)/16. Let m = j + -9. Is m less than -2/29?
False
Suppose 2*b = 8, 5*s + 0*b = -2*b - 27. Suppose g - 10 = -2*w, -2*w + w = -5*g + 17. Suppose 0 = -m - w*m - 24. Which is bigger: m or s?
m
Suppose 4*l - 59 - 1 = 0. Suppose 13*o - 10*o - l = 0. Suppose -5*z - 4 = o*b - 2*z, 5*b - 2*z - 11 = 0. Is 2 bigger than b?
True
Suppose 16*d = -d - 68. Suppose -5*z = -4*z + 3*x - 5, 4 = -4*z - 4*x. Is z < d?
False
Suppose -v - 4*u + 16 = 0, 3*u - 4 = -4*v + 8. Suppose v = -s + 4*n - 1, -2*s - 3*s + 3*n = 5. Let z be (1 - 0)*-1*s. Is z < 1?
False
Let o = 147 + -89. Let u = o - 35. Let a = u - 23.1. Is -9 at most a?
True
Let c(j) = 18*j**3 - 5*j**2 + j + 4. Let z be c(2). Is z at most as big as 129?
False
Let r = -149/2 + 77. Let w(a) = a**2 + 10*a + 20. Let z be w(-8). Suppose 2*h - 3*s = -2*h + 25, z*h + 2*s - 10 = 0. Which is bigger: r or h?
h
Let m = -178 + 197. Is m equal to 21?
False
Let t(k) = k**3 - 11*k**2 + 23*k - 38. Let c be t(9). Let d = 2.7 - 1.1. Let w = 0.4 + d. Which is smaller: c or w?
w
Suppose -h = -3*u + 51, u + 0*u = -h + 17. Let i = u - 16. Which is smaller: i or 2/17?
2/17
Let x = 857.23 + -846. Let r = x + -16.52. Let k = r - -0.29. Is 0.3 bigger than k?
True
Let n = -0.0522 + -0.0478. Which is greater: n or -2/1427?
-2/1427
Let i be -8*((-9)/12 + 2). Let z be -1 + (-2)/(-4) - 722/76. Do z and i have the same value?
True
Suppose 0 = -3*w + 4*w - 7. Let x(s) = s**3 + 21 - 6*s**2 - 25 - 8*s + 14. Let v be x(w). Which is bigger: v or 4?
4
Let z = 313 - 941/3. Which is smaller: z or -2?
-2
Let g = -3238/4035 + 2/807. Let s be (0 + (-4)/(-1))/(-2). Which is bigger: s or g?
g
Suppose -2*a + 5*a - 3*x - 3 = 0, -3*x + 7 = 2*a. Suppose 4*p = 2*d + 2, -4*p + d + 2*d = -1. Is a equal to p?
False
Suppose 140*i + 297 = 149*i. Is i less than 26?
False
Suppose 0 = k + 3*k - 60. Suppose -5*g - 2*s = -s - 5, -3*s + k = g. Let u = -2 - g. Does u = -3/5?
False
Suppose -3*u + u + 10 = -5*b, -u + 10 = -5*b. Which is greater: 7/71 or u?
7/71
Suppose 0 + 2 = 3*z + 2*t, 40 = 5*z - 4*t. Let q = 3 - z. Let p be (0 - q)/(4/(-8)). Which is smaller: p or -1?
p
Suppose 4*s - 5952 = 4*a, 82*a + 5*s = 83*a + 1500. Do a and -1484 have different values?
True
Let l be (-18 - -7 - -5)/(12/224). Is -112 at most l?
True
Let k = -7045 + 7050. Suppose -5*j + 28 = 4*a - 49, -j - 5*a + 28 = 0. Let p be j/18 - (-1)/(-2). Is p > k?
False
Let w(d) = 126*d**2 + 200*d - 2. Let p be w(-2). Which is bigger: 96 or p?
p
Suppose -n + 2 = -h, -n + 3*h - 3 - 3 = 0. Suppose 0 = -9*i + n + 3. Let b be ((-4)/66)/((-1)/3). Are b and i non-equal?
True
Suppose -3*v + 10 = 2*q - 6, q = -4*v + 28. Suppose 2*z - 2*t - 2 = t, 0 = -3*z - t - v. Let g be (z/6)/(2/(-30)). Is g <= 5?
True
Suppose 6 = 2*y, 5*z - 3*y = 2*z - 12. Let a be (z/3)/((-2)/18). Suppose -3*o - 15 = -a. Is o greater than -3?
False
Let o be (3/243)/((-37)/74). Is o at most as big as -1?
False
Let t = -0.935 - 0.155. Let p = 0.49 + t. Is p bigger than 7?
False
Let k = -710 - -708. Which is greater: -50 or k?
k
Let t = 94 + -101. Let m be 192/t + -2 + 68/28. Is 1 greater than or equal to m?
True
Suppose -25 = -5*f - 0*f. Let b be 4 - (f + 32/(-26)). Let k = 46 - 185/4. Which is greater: k or b?
b
Let t = -35/22 + 12/11. Suppose -10 = -4*y - 2*i + 2, 2*i + 12 = 2*y. Suppose -5*o + y = -4*s - 4, 4 = 5*o - 2*s. Is t not equal to o?
True
Suppose -6 = -4*w - 18. Let d(s) = -3*s**2 + 230*s - 812. Let q be d(73). Is q less than w?
True
Let w be -6*1*(-1)/3. Suppose w*b - 2 = 2. Let x be (-3 + (-6)/(-2))/b. Is x greater than or equal to 2/65?
False
Let p = 119 + -134. Suppose 14 = 4*f - 5*f + y, 2*y + 62 = -4*f. Is f > p?
False
Let t be -3 + 2 + (-50)/(-26). Let a = t - 73/65. Are 0 and a equal?
False
Let n = -3475 + 3381174/973. Which is smaller: -1 or n?
-1
Let l = 770.3 - 771. Suppose 4*c - 2*c = 0. Is c at most l?
False
Let y = -15244/3 + 5134. Which is greater: y or 52?
y
Let o be (-32)/(-12)*(-2)/4*-3. Is o < 27/5?
True
Let f be (6/7)/(1/7). Let m = -938 - -938. Is m < f?
True
Suppose 5*c = i - 0 + 20, 3*i - 8 = -2*c. Which is smaller: -8/33 or i?
-8/33
Suppose 0 = -3*p + 6, 2*n + 4*p + 98 = -16. Is n equal to -182/3?
False
Let q be (1/4)/((-6)/(-8)) - 1. Which is bigger: -7/26 or q?
-7/26
Suppose 5*c = q - 46, -2 - 97 = -2*q + 3*c. Let u be 138/q - (-6 - -3)/(-1). Which is smaller: 0 or u?
u
Let m = -104 - -172. Let v = 68.2 - m. Is v < -1/16?
False
Let z be 0 - ((-35)/42 + 1/3). Is -5.73 at most as big as z?
True
Let d(q) = q**2 + 6*q + 15. Let g be d(-11). Let c = g + -352/5. Let z be (16/6 - 1) + -1. Is z not equal to c?
True
Let i = -200 + 200. Do -8/123 and i have the same value?
False
Suppose 0 = 2*j + 5*c - 0*c + 25, 4*j - 5*c - 25 = 0. Which is greater: j or -6/35?
j
Suppose 91*s = 86*s - 485. Is -96 at most as big as s?
False
Suppose 2*l = -0*j - 3*j + 59, -84 = -3*l - 3*j. Let q = l + -33. Do q and -8 have the same value?
True
Let d(b) = b**2 - 5*b + 10. Let h be d(7). Let t be ((-36)/h)/(-8 + -1). Suppose 0*c - 2*c = 0. Is t less than c?
False
Let u be (-8)/12*(-574)/(-3). Let y be (2 - 1042/8) + (-54)/(-216). Let o = u - y. Which is greater: o or 0?
o
Suppose -5*r + 25 = 5*p, 5*p - 5 = 3*r + 4. Let u(v) = 4*v - 15 - 3*v**2 - 5*v**2 + 29 - 12 - 2*v**p. Let t be u(-4). Is -15 <= t?
True
Let d(k) = k**3 + 3*k**2 - 1. Let m be d(-2). Suppose 5*z + 4 - 9 = -h, 0 = -m*h - z - 13. Which is smaller: h or -4?
h
Let q = 379/456 + 1/456. Let t(p) = 6*p**2 - 2. Let d be t(-2). Let h = -21 + d. Which is bigger: q or h?
h
Let w = -1257 - -1079. Which is greater: w or -176?
-176
Let j = -64 - -148. Suppose -6*m = -9*m + j. Let k = m + -29. Is -4/13 greater than k?
True
Suppose 0 = -i + 2*m - 37, -20 = -4*i - m - 132. Which is smaller: i or -50?
-50
Let q = -14.2 + 13.9. Do -60 and q have different values?
True
Suppose -18 = 5*i - 2*z, -i + 5*i - 2*z + 16 = 0. Let k be (((-4)/i)/6)/((-15)/(-450)). Is k greater than or equal to 17/2?
True
Let k = 2695 - 1869. Let u be 8/10*35/k. Does u = -1?
False
Suppose 4*h = -4*w + 100, 4*h = w + 4 - 34. Suppose -2*b = 2*p + 28 - 96, -3*b = -p + w. Which is greater: p or 31?
p
Suppose 4*d - 1596 = -4*f, -4*f + 802 = -2*f + d. Is f less than or equal to 403?
True
Let k = 150 - 136. Is 83/6 equal to k?
False
Suppose -8 = 4*f - 0*f. Suppose -4*w + 6*w + 12 = 0, -3*c + 3*w + 3 = 0. Do c and f have the same value?
False
Let f be (2 + (-216)/110)/((-2)/300). Which is smaller: f or -4?
f
Let u = -51 - -11. Let k = u - -39.945. Which is smaller: k or 0?
k
Let p = -812/33 - -27628/1155. Let a = p + 2/105. Which is bigger: -3/10 or a?
-3/10
Let k = 21139 - 253831/12. Let p = k + 49/4. Does -4/3 = p?
True
Let v be -2*(-11 - (-3 + 6)). Suppose -p - 5*y - 14 = 0, y - v = 5*p - 10. Which is bigger: p or -11/4?
-11/4
Let m(x) = -5*x + 40. Let g be m(-18). Let w be (13/g)/(4/10). Which is greater: w or -8?
w
Suppose 28 + 7 = -7*r. Is -15 bigger than r?
False
Let a be 8 - 168/20 - (-12)/(-20). Which is greater: a or 2/2161?
2/2161
Let t be 3 + (2 - (-6)/2) - 829. Is t at least -820?
False
Let x be (-61116)/12216 + (-2 - -7). Which is bigger: x or -1?
x
Suppose -4 = 2*i + 2*f, -5*i + 4 = -2*f - 21. Let x be 1/((-1)/i + 0). Let s = -0.266 - -0.266. Is x > s?
False
Let f(o) = o**3 + o**2 - o. Let r(b) = -4*b**3 - 5*b**2 + 5*b. Let g(y) = 5*f(y) + r(y). Let a be g(1). Let x = -10 - -10. Which is smaller: a or x?
x
Let w(g) be the first derivative of 3*g**2/2 - 30*g - 6. Let m be w(21). Which is bigger: 0.2 or m?
m
Let q = 957 - 108. Which is greater: q or -0.1?
q
Let y be (3/(-2))/((-5)/(-10)). Let m(r) = -8*r - 6. Let v be m(y). Which is smaller: 20 or v?
v
Let r be (-1 - 12)*1*-1. Which is smaller: -1 or r?
-1
Suppose 3*u - 6*u = 0. Suppose 5*m - 86 - 15 = -4*h, u = 2*m - 2. Is h equal to 24?
True
Let d(y) = 2*y**2 + 29*y + 17. Let g be d(-14). Suppose g + 1 = -4*l. Is -1 equal to l?
True
Let t = 4 - 9. Let b = 4 + t. Suppose 0 = 4*d - d - 6. Is d less than or equal to b?
False
Let o = -2145 + 2143.7. Which is bigger: o or -105?
o
Suppose -2*j - 2 = 2*w, 0*w - 3*j = 2*w + 3. Is -1/92 at most as big as w?
True
Let p = -37 + 51. Let o = p - 10. Which is smaller: o or -0.06?
-0.06
Let z = 407 + -4479/11. Is z at most 1.68?
True
Let b be ((-1)/(-1