 or d?
16/11
Suppose -4*g = 2*h + 46, -4*h + 9*h = g + 39. Let l be -2*(20/3)/1. Let m = g - l. Which is smaller: -1 or m?
-1
Let p be (-7)/8 + (-1)/(-2). Suppose m + 9 = -2*m. Let d be -2*m/(-90)*5. Is d equal to p?
False
Let a = 829 + -8903/11. Which is bigger: 20 or a?
20
Suppose 4*o = -4*r + 8*o - 88, -5*o = -3*r - 58. Suppose -50 = 5*x + 85. Which is smaller: r or x?
x
Let z = 316 + -319.147. Let s = -0.047 - z. Let w = 3.2 - s. Which is bigger: w or -1/3?
w
Let i = 9 + -15. Let y be 1/(5/(-3)*3). Is i >= y?
False
Let y = -36 + 38. Suppose y*z = 5*u + 98, -86 = 3*u + 5*z - 21. Does u = -20?
True
Let q = 2 - 4. Let x = 0.16 + -0.05. Let b = 3.11 - x. Is b less than or equal to q?
False
Suppose 139*h + 560 = 143*h. Let b be (-10)/(-62)*(-7)/(h/8). Is b at least -1/2?
True
Let n be 5715/25*10/(-3). Are n and -762 unequal?
False
Let a be (-489)/(-9) - (-1 + (-6)/9). Which is smaller: a or 49?
49
Let s(q) = 120*q**2 + q + 1. Let v be s(-1). Let l be (135/v)/(42/8). Let f(p) = -p**2 - 15*p + 15. Let h be f(-16). Is h smaller than l?
True
Suppose 5*h - t + 0 - 13 = 0, -8 = -4*h + 2*t. Suppose r - h*r - 30 = 0. Is r greater than or equal to -14?
False
Let s(v) = 2*v - 8. Let k be s(4). Suppose 0 = -5*u - 3*o - 9, 5*u + 22 = u + 5*o. Is k >= u?
True
Let n = 25 + -12. Let a = n + -70/3. Do -10 and a have the same value?
False
Let x = -1810 - -2671. Is x at least as big as 861?
True
Let b be (-4 - (0 + -2))*1. Let m be 80/44 + b + (-20)/11. Do m and -3 have the same value?
False
Let s be 5*(-88)/120*3. Which is smaller: s or -16?
-16
Let n = -79925/77 + 1038. Which is greater: n or 0?
n
Let h = -9.5 + 2.6. Let m = 7 + h. Let v(o) = o**3 - 7*o**2 + 5*o + 8. Let b be v(6). Is b smaller than m?
False
Let j(l) = 5*l + l - l**2 - 4 + 16 + 0*l**2. Let r be j(8). Which is smaller: -5 or r?
-5
Suppose 9*c - 36 = -3*c. Suppose 0 = 3*h - h. Suppose -5*o = -d + 11, h = c*d + o + 13 + 2. Is d equal to -1?
False
Let i be -1 - (-26)/(-34) - (7 - 9). Are -0.02 and i equal?
False
Suppose 6*s = 8*s + 58. Let f be 4/(-8) - s/2. Let v be (-4)/f + (-6)/(-21). Is v at least as big as 2/3?
False
Let q(r) = -r**3 + 2*r**2 + 2*r - 1. Let a be q(-1). Is 2/419 less than or equal to a?
False
Suppose -4*i + 2*n - 400 = 0, -75*n = -3*i - 71*n - 290. Is -3 < i?
False
Let g be (30/9 - 4)*-12. Suppose 163 = g*i - 45. Suppose 4*b - i = -14. Which is smaller: 5/2 or b?
5/2
Let a be ((-4)/3*17/(-34))/35. Which is greater: a or -3?
a
Let s = 24 + -27. Let y be -1*(s + 3 - 1). Let u = -803/40 - -101/5. Which is smaller: y or u?
u
Let s = -2 + 2.2. Let j = 0.3 - s. Let m be 107 - 109 - (1 - (-12)/(-9)). Is m less than or equal to j?
True
Let h be (0 - -2)*(-3)/((-6)/(-5)). Let p = 12 - h. Is p greater than 2/7?
True
Suppose 6*c - c = -2*y + 15, 5*y = -5*c + 30. Let a be c/((-5)/(-50)) + -4. Let m(k) = k**3 - 2*k**2 - 2. Let f be m(3). Are a and f equal?
False
Let o(n) be the third derivative of 1/60*n**5 - 5*n**2 + 0 + 0*n + 0*n**3 + 1/20*n**6 - 1/24*n**4. Let s be o(1). Are 0.1 and s non-equal?
True
Suppose 4*x - 28 = -p - 0*p, -p = -5*x + 17. Suppose -5 - 3 = -p*q. Is 3/91 greater than q?
False
Let a = 2242 + -109854/49. Which is bigger: 0 or a?
a
Let q = 5.34 + -2.34. Let v be ((-2)/(-12))/((-10)/496). Let u = v - -26/3. Is q at most u?
False
Let c(j) = -j - 8. Let z be c(-7). Let q(y) = -y - 3. Let a be q(-5). Suppose 3*g - 4 = i - 2*g, 0 = i + a*g - 3. Which is smaller: i or z?
z
Let a(t) be the second derivative of -t**5/20 - 4*t**4/3 - 8*t**3/3 - 15*t**2/2 - 12*t. Let x be a(-15). Which is bigger: x or -2?
x
Let p = -0.6 + 1.6. Let o be (66/4)/(6*1). Let b = o - 9/4. Is b greater than or equal to p?
False
Let p(m) = -m**3 + 2*m**2 + 2*m + 3. Let a be p(3). Let k = -48 + 28. Let b = -30 - k. Is b at least as big as a?
False
Let p = 548659/29 + -18914. Which is greater: 5 or p?
p
Suppose 10*c + 420 = 24*c. Let r = c - 44. Which is greater: -17 or r?
r
Suppose -3*g = -2*g + 5, -3*v = -4*g - 2. Let o be 6*((-2)/v + -2). Is o at least as big as -49/5?
False
Let b = -63.8 - 0.2. Let q = b + 70. Which is smaller: q or -6?
-6
Let m = 11 - 18. Let o(u) = -4*u**3 + u - 14*u - 9 + 11*u**2 + 4*u + 3*u**3. Let n be o(10). Which is bigger: m or n?
n
Let c = 5 - 4.5. Let u = 0.5 - c. Let w = -8 + 5. Are w and u non-equal?
True
Let a = 25 - 23.86. Let y = 18.14 - 18. Let l = a - y. Are -2/9 and l equal?
False
Let s(j) = -11*j + 7. Let w be s(7). Let a = w - -68. Let y = -2 + 4. Is y less than a?
False
Let b = -1297/7 + 185. Let d be -2*(-1 - (-161)/182)/(-3). Is d at least b?
True
Let o = 2.2 + 122.8. Let t = -112 + o. Let c(s) = -s**2 - s - 1. Let q be c(0). Which is smaller: q or t?
q
Let i(u) = -11*u**3 + 1. Let h be i(1). Let g(r) = -r**2 - 2*r + 2. Let n be g(-4). Let j be n/h*(-4)/(-6). Which is smaller: 0.3 or j?
0.3
Suppose 2*u = -0*u. Suppose -4*i + j + 55 = u, i - j = j + 5. Let p = -12 + i. Which is smaller: 1 or p?
1
Suppose g + 4*b + 0*b = 28, -3*b - 24 = -3*g. Let z = 12615 + -12605. Which is smaller: g or z?
z
Let s(z) = 3*z**2 + 7*z + 19. Let i(a) = -10*a**2 - 20*a - 58. Let h(q) = -2*i(q) - 7*s(q). Let g be h(-6). Let v = 6/47 + 111/235. Is v smaller than g?
True
Suppose -7*q = -9 - 5. Let a be q/6 + (-318)/9. Let y = 69/2 + a. Which is smaller: -0.2 or y?
y
Let v = 910 - -177. Is v less than 1087?
False
Let t be (44/(-33))/(-1 + 22/18). Is -6 <= t?
True
Suppose 3*z + 5*y = -2, -4*y = 5*z - 0 - 1. Which is smaller: 4/51 or z?
4/51
Let g(m) = m**3 - 3*m**2 - 5*m - 3. Let z be g(5). Let j be 4/22 - 202/z. Let u be (3 + -3 + -1)/j. Is -1 greater than or equal to u?
False
Suppose 33 = -4*h + 25. Suppose -60 = 3*z + 4*u, -3*u - 21 = 4*z + 66. Do h and z have different values?
True
Let d = 103 - 93. Suppose 5*g - 2*p - 49 = d*g, 0 = -3*g + 5*p - 17. Which is greater: -44/5 or g?
-44/5
Let j = -110.8659 + -0.1341. Which is smaller: -1/2 or j?
j
Let h = -9455/3 + 3108. Is -44 less than h?
True
Let c(v) = -6*v**2 + 4. Let h be c(2). Is -21 greater than h?
False
Let k = -28 + 27. Which is greater: k or -3/539?
-3/539
Let b(x) = -5*x + 10. Let y be b(4). Let c be y*2/3*8. Let d = 1591/30 + c. Is d < 1?
True
Let m = 5/36 + 1/9. Let y be ((-8)/70)/((-16)/(-40)). Is m at most y?
False
Let m(g) = g**3 - 9*g**2 + 7*g + 9. Let d be m(8). Let w = d + -4. Let p be (-1)/(-2) - w/2. Are p and 3 unequal?
True
Suppose 4*o - 5*o = -23. Suppose 4*r - 80 = 8. Is o less than or equal to r?
False
Suppose 3 = -17*c + 20. Suppose -y = -4*y. Let t be 1/(18/4) - y. Which is smaller: t or c?
t
Let w(q) = -q**3 - 9*q**2 + 11*q + 8. Let h be w(-10). Let b be 4/(-14) + 36/(-21). Is b smaller than h?
False
Suppose -j - 3*t + 23 = 0, 8*t - 6*t = 10. Suppose 0 = q + q + 3*y - 28, -20 = -2*q + y. Which is greater: j or q?
q
Let b(r) = -r**3 - r**2 - 2*r - 5. Let w be b(-4). Which is greater: 48 or w?
w
Suppose -1804 = -10*u - 12564. Which is smaller: u or -1075?
u
Let n = 9.1 + -12. Let d = n + 3. Let p = 0 + d. Are 2/7 and p unequal?
True
Suppose m = 5 + 4. Suppose -x - 3*x + 3*s + 9 = 0, 3*s = -4*x + 15. Let n be x/m*12/4. Are 1/4 and n nonequal?
True
Let w be ((-120)/32)/((-6)/16). Suppose -7*x = -w*x + 114. Let h be ((-12)/36)/(x/(-9)). Which is smaller: 0 or h?
0
Suppose 19*w - 16*w = -3. Is 2/311 <= w?
False
Suppose -2*m - 1 = -3. Let k be 8/44 - 13/11. Which is smaller: k or m?
k
Let f = 1.2528 + 0.7472. Let v = -3.04 + 3. Is v smaller than f?
True
Let b(l) = -l**3 - 4*l**2 - 3*l. Let g be b(-5). Let u be 50/60*3/g. Which is smaller: 1 or u?
u
Let z(u) = -2*u**2 + 39 + 3*u**2 - 2*u**2 + 62*u - 63*u. Let m be z(5). Is m < 10?
True
Suppose 3*z + 4*i + 7 + 25 = 0, -z = 2*i + 14. Which is smaller: z or -53/20?
z
Let i be 80/(-280) - (1485/21 - 0). Let n = -151 - -81. Is i >= n?
False
Let h(n) = n**3 - 5*n**2 + 5*n - 7. Let j be h(3). Let l be 1/j*-11 - 1. Suppose 3 = 4*w - 1, 0 = -5*t + w - 6. Which is smaller: l or t?
t
Let k = 177.93 - 138.93. Let d(y) = y**2 + 4*y - 5. Let z be d(-5). Which is greater: k or z?
k
Suppose 0 = 4*z - 197 - 87. Suppose 4*r - j - z = -r, 42 = 2*r + 3*j. Suppose -3*n = 2*n - 3*i + 15, 3*n = -3*i + r. Is n > 5/8?
False
Let v = -5 - -1. Let i = -13 - v. Let w = 37/4 + i. Which is smaller: -1/4 or w?
-1/4
Let t = 20 - 15. Which is smaller: -2.3 or t?
-2.3
Let h(s) = s**2 + 13*s - 12.