ppose -4*m - 224 = 4*g, 3*g - 189 = 3*m - 33. Let p be (-3)/m*(4 - -24). Which is bigger: 3 or p?
3
Let n be (-14)/(-4) + (-55 - -11)/11. Let m = 40 + -40.037. Are n and m non-equal?
True
Suppose -11 = -3*h + b, 5*b - 8 + 35 = h. Let i be (-1 + h)/(2/(-4)). Let x = 716 - 715.9. Which is greater: i or x?
x
Let a = 63/62 + -127/186. Is 61 <= a?
False
Let x(n) = -n**2 + 2*n - 13. Let a = 38 + -38. Let h be x(a). Is h at least -12?
False
Let i = -214 - -216. Let x be (-40)/(-80) + 17/i. Let y be 8 - -2 - (0 + -1). Is y greater than or equal to x?
True
Suppose 6*y = -4*g + 8 + 104, 2*y = -2*g + 54. Are g and -1 nonequal?
True
Let t = -196 + 983/5. Let g = 0.04 + -0.64. Is g smaller than t?
True
Let q(k) = -4*k**3 + 5*k**2 - 3*k. Let x be q(2). Is x at least -12?
False
Let b = 86.3 + -13.3. Let f = -107 + 64. Let z = b + f. Is -1 > z?
False
Suppose z + 3*u - 13 = 0, -5*u + 0*u = -4*z + 69. Suppose -16 - z = -4*c. Is c equal to 7?
False
Suppose -16*o - 10 = -21*o. Suppose -2 = -3*j - 3*c + 5*c, 4*j + 3*c = -20. Let p = -1 + j. Which is bigger: o or p?
o
Suppose 1019*m - 936*m = 83. Suppose 6 = 5*b - 4*h, -5*b - 14 = -h + 2*h. Let n be -2 + 2 - b/12. Which is bigger: m or n?
m
Suppose -4*w = 3*t + 8, 0*t + 6 = -2*t - 3*w. Let j = -6346/3 + 2116. Which is greater: j or t?
j
Let o be ((-5)/4)/(((-462)/(-24))/7). Which is smaller: o or -1?
-1
Let x = 1.849 + 3.501. Do 3 and x have the same value?
False
Let i be (-28)/(-875)*(-690)/12. Is -2 > i?
False
Suppose 0*d + 5*d = -205. Let x = -29 - d. Is x >= 10?
True
Let n = 3097 - 836189/270. Which is bigger: 0 or n?
n
Let d be 2 - (3 + -2) - 3. Let l be 3*d/(-12)*22. Let r = 4 - l. Which is greater: r or -8?
r
Let b(y) = y**2 + 16*y + 2. Let h be b(-16). Let m be ((-1)/h)/(5 - 14/4). Let j(l) = l**2 - 6*l + 6. Let k be j(4). Which is bigger: k or m?
m
Suppose 5*m + 10 + 3 = 2*h, 3*m - 9 = 0. Suppose 5*c = -2*g + 2*c + 24, -4*c - h = -5*g. Let o = -7 + 10. Is o not equal to g?
True
Let v = 0.719 + -0.509. Is v at most -5?
False
Let o(g) = -g**3 - 6*g**2 + 3*g - 3. Let s(v) = -v**3 + 12*v**2 - 13*v + 6. Let m be s(9). Let k be (-4)/10 + m/(-20). Let x be o(k). Is x != 24?
True
Let m be 116/203 - (-865)/(-7). Do m and -123 have different values?
False
Let a = -2.52 - -2.52. Is -48 bigger than a?
False
Let q(c) = -37*c - 370. Let o be q(-10). Let w be (6/310)/((-3)/2). Is w >= o?
False
Let q(c) = 64*c + 1. Let n(t) = 63*t + 1. Let a(f) = 3*n(f) - 2*q(f). Let g be a(-1). Is -60 >= g?
True
Let a be (12/(-10))/((-12)/30). Suppose d - a*b = -7 - 0, 0 = -d - 4*b + 14. Let h = 12 - d. Which is greater: h or 9?
h
Let s(y) = -5*y + 1. Let b be s(-3). Suppose 14 + b = 3*h. Let p be 2/h + (-42)/110. Are 1/2 and p equal?
False
Let j = 14.1 + -0.1. Let z = 14 - j. Is z <= -5/9?
False
Let m = 337 - 349. Let t be (30/(-2) - -1) + 2. Is m > t?
False
Suppose 138 + 54 = 12*q. Does q = -5?
False
Let q be 2/(7 + 501/(-69)). Which is smaller: -8 or q?
-8
Let o be (24/(-18))/((-38)/72921). Let y = -2558 + o. Is 1 greater than y?
True
Suppose 7*t - 9 = 16*t. Let f be 1 + 0 + 1 + -1. Let i be (f/(-9))/(5/6). Which is smaller: i or t?
t
Let u be 4 - (-3*20)/(-4). Is -1 at least u?
True
Let p(g) = -g**3 - 10*g**2 + 3. Let a be p(-10). Suppose 4*j - 2*d - 6 = 0, 2*j - 3*j + a*d + 14 = 0. Which is greater: j or -2/61?
-2/61
Let v be -2*47/8 + (-6)/24. Is -105/8 >= v?
False
Let p(w) = -5*w**2 + 2*w - 23. Let n(x) = 4*x**2 - 2*x + 23. Let v(d) = -6*n(d) - 5*p(d). Let o be v(-6). Which is bigger: 6 or o?
6
Let h be (245/(-7) - 4) + 6 + -7. Which is bigger: h or -39?
-39
Let f be ((-249)/(-3))/(17/(-17)). Is f less than -81?
True
Let v = 17 + -58. Which is smaller: -38 or v?
v
Let i be (-102)/4*(-32)/(-18). Let q = -45 - i. Let m be (-3)/(-15)*140/42. Is q less than m?
True
Let y(d) = 4*d. Let u be y(-2). Let o be u/(-2)*(-4 + 2). Let q = -19 - -10. Which is bigger: q or o?
o
Suppose 0 = -3*l - 5*j + 350 - 55, 5*j = 10. Which is smaller: 93 or l?
93
Let s = -131 + 119. Let y = -1 - -4. Which is smaller: s or y?
s
Let k = -0.07 + -0.03. Let x = -0.9 + k. Let s be (-46)/(-8) + 3 + -9. Which is smaller: s or x?
x
Suppose 3*b - 4*b - 12 = -2*g, -3*b - 32 = -5*g. Suppose g*f = 3*x - 22, 3*f + 2*x + 2*x = -4. Suppose -3*l = -6*l + m - 31, -5*l - m - 41 = 0. Is l >= f?
False
Let c be (18/(-20) - -1) + (-292378)/580. Do c and -505 have different values?
True
Let p(g) be the third derivative of -g**4/8 + 8*g**3/3 + 13*g**2. Let u be p(-8). Which is smaller: 41 or u?
u
Let w = -559 + 1041/2. Let y = -283 - -320. Let o = w + y. Is o greater than or equal to -1?
False
Let s be -33*(-7)/4 - 0. Let v = -58 + s. Let d be (-9)/21*4/(-3). Which is smaller: d or v?
v
Let v = -56 + 63.8. Let m = -29.2 - v. Let s = m + 37.1. Does s = -15?
False
Suppose 4*m - 8 = 2*r, -4*m + 0*m = -5*r + 4. Let k be 37*2/(-30) - (-7 + m). Is k at least 2?
False
Let n = 50529 - 183521329/3632. Which is greater: n or 0?
0
Suppose -4*x + 8 = -0*x. Let v be ((-5)/(-26 + 1))/((-54)/(-115)). Let p = 2/27 + v. Which is smaller: p or x?
p
Let q be (-11)/33 + 4/30. Let r = 45 - 43. Which is bigger: q or r?
r
Let l be 6 - (10503/189 - (-3)/7). Is -50 greater than or equal to l?
True
Let o = 15 - 16. Let r = 16 + -18.4. Let q = r + 3. Which is bigger: o or q?
q
Let w = -999 - -893. Which is smaller: -524/5 or w?
w
Let s = -1 - 0. Let q = 0.81 + -6.21. Let o = q + 2.4. Which is smaller: s or o?
o
Suppose -9*g + 49 = 31. Which is bigger: 7 or g?
7
Let x = -272.892 - -273. Which is bigger: 2 or x?
2
Let j = 328 + -325. Is 10 at most j?
False
Let u = -12 - -11.983. Let y = 30.017 + u. Let a = y - 19. Is a > -1?
True
Let w(m) = -m + 1. Let f be w(6). Let r be (5/(f/(-41)))/((-2)/1). Is r equal to -21?
False
Let s = -88 + 434/5. Let u = s + 29/20. Is 6 at most u?
False
Suppose 5 = 3*l - 4. Let c = -2350/3 + 816. Let y = -31 + c. Which is smaller: l or y?
y
Let n = -36 + 35. Suppose -3*t - 2*f = -0*f + 11, 0 = 2*f - 4. Let z = t + n. Which is smaller: -4 or z?
z
Let a be ((-21)/(-21))/(1 + 5). Let x = -1/3 - a. Which is smaller: x or 1?
x
Let u = 939/23 - 16447/253. Do -25 and u have different values?
True
Let u = 694034/119 + -10726484799/1839145. Let o = u - 184/843. Let s = o + 4/33. Is 3 greater than s?
True
Suppose -2*d + 16 = -4*d. Let p be (5/d)/((-1)/(-4)) - -3. Let y(s) = -4*s**2 + s + 1. Let k be y(-1). Which is smaller: k or p?
k
Let b = 0.39 - -65.61. Let r = 69 - b. Is 11 >= r?
True
Let z(c) = -15*c - 90. Let j be z(-6). Is j bigger than -2/75?
True
Suppose 0*l - 5*l = 0. Let y be 9/(-420)*1/(-3). Let r = -557/420 - y. Is r smaller than l?
True
Let b = 44 - 41. Let r(g) = g**2 + 2*g + 3. Let w be r(-2). Let u be (-28)/(-8) - w/2. Which is smaller: b or u?
u
Suppose -o + 14 = 11. Suppose 3*y - b = 0, -y = o*y + 4*b - 16. Which is smaller: 1/30 or y?
1/30
Let v = -207122/41 - -5052. Which is smaller: v or 0?
0
Let t = 1389 + -1443. Let g = 119 + -85. Let m = t + g. Which is smaller: 0 or m?
m
Let n = 15 + -13. Suppose 6 = 4*c - n*c + 4*l, -1 = 2*c - 3*l. Which is bigger: 1/19 or c?
c
Let p be (7 - 4 - (-74)/(-8))*-4. Is p greater than or equal to -1?
True
Let l be (-1)/(-3) - (-21)/(-9). Let m = 0.04 + -0.17. Is l greater than or equal to m?
False
Let i be 8/28 - (-3)/21. Let g = -218 + 218. Which is greater: i or g?
i
Let z = -10 - -13. Let b be 9*(-1 + 1/z). Let o be b/(-33)*3/2. Which is bigger: o or 1?
1
Suppose -2*o = 5*a - 118, 2*a - 6*a + 99 = -3*o. Let f be 3*1*625/75. Which is smaller: a or f?
a
Suppose 5 + 0 = -5*s. Let g(y) = 3394*y**2 - 28 - 3395*y**2 + y + 8*y. Let r be g(5). Which is smaller: r or s?
r
Let d be (-2 - 17)/(4 + (-15)/3). Is d > 19?
False
Let i be (0 - (-1)/3)/((-8)/(-624)). Suppose 4*y - 6*a = -11*a + 58, 2*y - i = -a. Which is smaller: 11 or y?
11
Let o be (-3)/(-1 - (1 + -3 + 2)). Let j be (-36)/(-10) + (-2)/(-5). Suppose -o*m = m + j. Is m greater than -2?
True
Let o(n) = -2*n - 23. Let r be o(-8). Which is smaller: 1 or r?
r
Let f be (-3)/4 - 3927/(-68). Suppose 2*u = -3*c + 38, 3*u - f = -4*c - 0*c. Which is smaller: u or 20?
u
Suppose 4*k - 2*h - 40 = 8, 5*k - 78 = -2*h. Let b = 15 - k. Let j = 0 - b. Are j and -1/22 equal?
False
Let i = 9.1 - 9. Let m be ((-136)/80 - -2)*-4. Is m >= i?
False
Suppose -w = 2*o + 6, -2*w - 3*o = -0*w + 7. Suppose -2*