 = -5*i + 10. Which is bigger: g or h?
h
Let b be (18/9)/(1/1). Suppose f + 3 + b = 0. Let o be (-2)/f - (-12)/30. Which is smaller: o or 2?
o
Suppose 5*w - 2315 = -4*t - t, -5*t + 911 = 2*w. Is 468 less than w?
False
Let x = 1088 + -1091. Is x smaller than 0.6?
True
Suppose 32*p - 3043 = 15*p. Is p at most as big as 180?
True
Suppose 0 = -3*q + 19*j - 15*j + 205, -4*q - 4*j = -236. Which is smaller: 65 or q?
q
Let i be 1/4 + 90/24. Let o be i/(-3 - 1) + 2 + 2. Does 14/9 = o?
False
Let z = -1.6 - -2.8. Let b = 10 + -11.1. Let k = b + z. Is 0.1 at least as big as k?
True
Let f be -4*(-4 - -6)*(-1)/4. Suppose -53 = -f*p - 2*q + 7*q, -4*q = -12. Is 35 at most p?
False
Suppose -4*q - 4*b - 85 = 35, 4*q - b + 95 = 0. Which is bigger: -9 or q?
-9
Let y(w) = -w**3 - 5*w**2 + 2. Let h = -22 + 17. Let z be y(h). Which is smaller: z or -0.4?
-0.4
Let s be (0 - (-1128)/(-9))*(-6 + 9). Is s less than or equal to 1/4?
True
Let w = -17 + 25.5. Let v = -12.6 - w. Let q = v - -21. Is q > 2/27?
False
Let y(q) = q**3 - 9*q**2 + q + 18. Let w be y(9). Suppose w*t + 4 = 31*t. Let j = 150 + -3152/21. Which is smaller: t or j?
j
Let a = 0.118 + -0.078. Are -0.1 and a non-equal?
True
Let j = 27199/13 - 2096. Let v = 2/18529 + 889366/240877. Let m = v + j. Which is smaller: m or -1?
-1
Let z(n) be the second derivative of n**4/6 - 2*n**3/3 + 3*n. Let g be z(-3). Suppose 2*q = -q - g. Is q greater than or equal to -9?
False
Let q be (-6 - -4) + (-61)/30. Let y = 23/6 + q. Is y less than or equal to 1?
True
Let f(w) = -w**3 - 14*w**2 + 14*w - 15. Let r be f(-15). Is r at least as big as 5/6?
False
Suppose 0 = -2*w - 3*w - 20. Suppose 14 = 4*h - 2*i, 15*h - 5*i + 31 = 16*h. Is w != h?
True
Let r = 632 + -632.024. Is r bigger than 0.8?
False
Let l(c) = 5*c + 21. Let n be l(-31). Let x = 132 + n. Is 1/8 bigger than x?
True
Let c be 6/6*-7 + -175. Is -184 at least c?
False
Let v be (-4)/(-18)*3*9. Suppose -2*w + 2*t - 7 = -17, 0 = 3*w + 2*t + 5. Let q be v/54 - (1 - w). Is q smaller than 1?
True
Let b = 288 - 271. Which is bigger: b or -18?
b
Suppose -3*n = -3*a - 39, -2*a - 20 - 24 = -4*n. Let y be 2 + -2 + n/1. Suppose 0 = -7*g + 12*g - 50. Is g bigger than y?
True
Let c = 29 - 9. Suppose -114*t + 103*t + 83 = -159. Is t at least as big as c?
True
Suppose 4*k + 3*x - 7*x - 48 = 0, 1 = 3*k + 4*x. Suppose -b + k + 9 = 0. Suppose -2*j - 10 = b. Which is smaller: j or -12?
j
Suppose 4*i = -4*y - 172, -20*y = -21*y - 5*i - 63. Is y > -39?
True
Let z be 2/12 + (-6)/(-9). Suppose -4*h + 5*c = -23, -5*h + 9 = -5*c - 16. Which is greater: z or h?
h
Let b = -0.2 - 0. Suppose -16 = 2*z + 3*o + o, 0 = -5*z - 2*o - 8. Let g(q) = q**2 + 5. Let y be g(z). Which is greater: b or y?
y
Let k = 215 + -212. Let h(o) = -o**3 + o**2 + o + 8. Let a be h(0). Suppose -f = -4*s + 19, -a*s + 3*s + 3*f = -29. Is k bigger than s?
False
Let o be (-69)/(-15) - 7/((-49)/7). Is o less than or equal to -2/3?
False
Let x = -0.5 + 0.86. Let b = x + -0.16. Let g = -1 + 1. Is g <= b?
True
Let u(s) = -7*s**2 + 4*s + 15. Let y be u(-4). Which is bigger: -115 or y?
y
Let n(y) = -7*y - 33. Let u be n(10). Is u smaller than -103?
False
Let z(c) = -c**2 + c - 2. Let w be z(2). Let b = 3 - 4. Let y = w - b. Is y at least -4?
True
Let o = 23 + -30. Let w = 7.1 + o. Which is smaller: -6 or w?
-6
Suppose 15*y - 49*y = 340. Is y smaller than -2?
True
Suppose 2*r + 4*u - 17 = 3*r, 0 = 3*r - 5*u + 23. Suppose -a = 2*w + 7, 2*a + 2*w = -a - 5. Which is smaller: a or r?
r
Let n = -268 - -267.9. Let h be 4/(-12) + 8/33. Is h greater than or equal to n?
True
Let n(x) = -x**2 - 5*x - 1. Let r be n(-5). Let h(a) = a - 59. Let g(q) = -29. Let f(c) = 5*g(c) - 2*h(c). Let t be f(-12). Which is smaller: t or r?
t
Suppose 3*b = -o + 3, 4*o - 5*b - 80 = -0*o. Suppose l = 4*i + 16, 2*i + 22 + 10 = 2*l. Which is smaller: l or o?
o
Let y(j) = j**2 + 4*j - 45. Let t be y(-9). Suppose -3*n - u = 58, 4*u - 125 = -t*n + 5*n. Which is smaller: n or -23?
-23
Let s be (-2)/(-17) - 2/34*-287. Is s at most as big as -0.003?
False
Suppose -338*f = -337*f + 1. Is f != 110?
True
Suppose -j + 11 = -5*y, -2*j + y - 10 = -y. Suppose 3*q + 3*r = 4 + 2, 3*q = -4*r + 9. Let i be q + (-1 - 15/j). Which is smaller: -1 or i?
-1
Suppose 0 = -3*k - 2*k. Let w be k*((-12)/8 - -1). Is -1/22 at least as big as w?
False
Suppose 2 - 11 = -3*o. Suppose -2*m + 3*c = -2*c + o, -3*m + 1 = -2*c. Let g be (3 - 6 - 0) + m. Which is bigger: -3 or g?
g
Let w = 7 + -73/10. Is w != -4/7?
True
Suppose 10 = y - 0. Suppose 0*q = -5*q - y. Is q equal to 0?
False
Let f(x) = x**2 - 10*x - 6*x**2 + 9 + 6*x**2 + 0. Let z be f(6). Let t = 12 + z. Is t smaller than -0.3?
True
Suppose 0 = a - 3*a. Suppose a = -4*t - 2 - 6. Let i be 195/51 + (-6 - t). Is i <= 1?
True
Let l(v) = -9*v + 7. Let i be l(1). Is 87 at most i?
False
Suppose -4*c + 9*c - 25 = 0. Suppose -16 = -v + 4*f, 0*f + 25 = -c*f. Is v != -2?
True
Let p be ((-4)/(-20))/((-6)/130). Which is smaller: p or -3?
p
Let o = -3 + 3.05. Let n = 924 + -923.97. Let v = n + o. Which is smaller: 2 or v?
v
Suppose -d - 5*r - 26 = 7, -3*d - r - 29 = 0. Let p be (-16)/300*(-3)/d. Which is bigger: p or -1?
p
Let k be (24/525)/((-12)/(-510)) + -2. Which is smaller: k or 3/2?
k
Let v = -1609883/10 + 160799. Let q = -372 + 561. Let o = q + v. Which is smaller: o or 1?
o
Let n = 1749 + -15683/9. Let j = -7285408/45 + 161905. Let u = n - j. Which is bigger: 0 or u?
0
Let y = -53.53 - -0.53. Let p = y + 62. Let g = 0.1 - 0. Which is greater: g or p?
p
Let g = 633/25 - 128/25. Which is smaller: g or 21?
g
Let o be (0 - -2)/(4/(-8)). Which is bigger: o or -7?
o
Let h = 15 + -11. Suppose -n = h*f - 4*n + 1, 0 = 2*n + 10. Let s = -119 - -115. Is f at most as big as s?
True
Let f be ((-5)/(-1))/(-10 + 11). Suppose 7 = f*t - 33. Let y be 7/12 + t/(-12). Is y smaller than 1?
True
Let k = -189 - -163. Is k smaller than -27?
False
Suppose -9*b = 9*b + 5886. Is -327 greater than or equal to b?
True
Let a be 4 - (-711 - (-35)/7). Is 711 != a?
True
Let m(j) = -j**3 + j**2 + 3*j - 2. Let d be m(2). Let q = -627.7 + 689. Let i = 61 - q. Which is bigger: i or d?
d
Let l = -11 - -16. Suppose 0 = -3*k - 5*u + u - 93, 4*k + l*u = -124. Is -31 bigger than k?
False
Let u be ((1 - -1)/2)/(12/(-36)). Suppose 5*t + 2 = 3*t. Which is smaller: t or u?
u
Let b be (-2)/6 - (-11)/((-165)/(-200)). Suppose -7 = -u + 4*h, -5*h - b - 12 = 0. Which is bigger: -11 or u?
-11
Suppose -206 = 2*l - 198. Which is bigger: -110/31 or l?
-110/31
Let p be -210*(-4)/544 + 35/(-28). Are p and 1 equal?
False
Let a = 699 - -335. Is a less than 1034?
False
Let p(n) = -5*n - 1. Let u be p(-1). Suppose 5*d = -3*w + 39, 4*w - 12 - 40 = u*d. Do 13 and w have different values?
False
Let l = -350.3 - -330.93. Let a = l - -0.37. Let m = a + 14. Is m at least -2/7?
False
Let z = -9 - -13. Suppose 14 = 5*d + l, z*l = -2*d + l + 16. Let j = 21.8 + -22. Which is greater: d or j?
d
Let l = 0.4 + -3.4. Let t = -2 + l. Let w = 6 + t. Which is greater: w or 0.3?
w
Suppose 0 = l - 6*l + 3*k - 64, 4*l + 41 = -k. Is -17 smaller than l?
True
Let k = -2596 - -2596.75. Is -0.1 < k?
True
Suppose -n = -5*j + j + 13, -25 = -3*n - 4*j. Let x(i) = 4*i - 6. Let z be x(n). Suppose 7*f - z*f = 5. Is f at most as big as 5?
True
Let d = -170 + 1701/10. Which is smaller: d or 0?
0
Let g = 582 + -582. Let j(m) = 6*m**2 + 1. Let z be j(-1). Let q be z/(-2) + (-6)/(-3). Is g less than q?
False
Suppose -167 = -31*c - 12. Is -4 > c?
False
Let i = -60.2 + 60. Let m(f) = -f**2 + 2*f + 1. Let p be m(5). Let c be (-6)/28*p/(-4). Which is greater: c or i?
i
Suppose -16*g + 7534 = 2382. Is 322 < g?
False
Suppose -4*c + 14 - 6 = 0. Suppose c - 4 = -2*d. Let j be 7/(1050/4)*5. Is d bigger than j?
True
Let x be 4/(24/(-228) - (-566)/(-38)). Are x and -0.1 equal?
False
Let g be (-2)/(-5) + 34/(-10). Let u = 34 - 22. Let t = u + -14. Is t at least g?
True
Let a be 2/3 - (-1)/3*7. Suppose -3*r = 7*v - 2*v + 85, 5*r - a = 2*v. Is -9 >= v?
True
Let i be 0/(-1 - -2 - 2). Let a(k) = k**3 + 5*k**2 - 5*k + 8. Let l be a(-6). Let r be (l - (6 - 3))/13. Which is greater: r or i?
i
Let w = 823/380 + -44/19. Which is greater: 0 or w?
0
Let p = -0.28 + 0.22. Let z = -0.13 + p. Let o = -0.29 - z. Is -2 at most as big as o?
True
Let p = 11/2 - 205/