e 0 = -5*d - 3*q - 34, -4*d - 18 - 17 = 5*q. Which is smaller: d or g?
d
Let b = -2132 + 2159. Which is smaller: 48 or b?
b
Let q be (6 - 4967634/413973) + 0 + 6. Which is bigger: 1 or q?
1
Let a(p) = 22*p - 131. Suppose 8*y + 3*y - 20*y = 0. Let u be a(y). Which is smaller: u or -132?
-132
Let w be 77/165*(-160)/(-224). Which is greater: -23.85 or w?
w
Let d be (6 + (-81)/12)*(0 - 4). Let r be (-2)/d*3/(-2)*-5. Let y be (3 + 0 - 54) + r + 5. Is -52 greater than y?
False
Suppose 3*f + 112 = 4*m, -3*f - 56 = -0*m - 2*m. Suppose -70 = 4*a + a. Let k = m + a. Which is bigger: k or 29/2?
29/2
Let u = -178 + 184. Let k be (1 - 88/10)/(33/(-30)). Which is smaller: k or u?
u
Suppose -v = 5*q - 4 - 22, 4*v - 14 = -2*q. Let l be (-8)/(-1) - 6 - v*-5. Suppose m + 11 = l. Do -0.4 and m have the same value?
False
Let y = 645 - 645. Let l be -114 + 8 - (-1 + 1). Is l less than or equal to y?
True
Suppose 22*u = 51*u + 232. Suppose 0 = -h + 4*h + 3, 0 = -2*l + 2*h + 20. Suppose l = -0*m - m. Is u at most as big as m?
False
Let s be (15469/124)/((-6)/8 - -1). Suppose -3*k - 463 = -s. Let r be ((-1)/3)/(3/(-99)). Is r less than k?
True
Let o = 140 - 138. Suppose 39 = -5*c + 2*r, -o*r = -0*c - 2*c - 12. Which is bigger: -0.07 or c?
-0.07
Suppose -s + 2*v = 9, 3*s - 6*s - 23 = -4*v. Suppose 0 = 3*m - y - 84, -3*y - 9 = -0*y. Suppose 4*p + 16 = 0, m - 1 = 3*l - 5*p. Is s != l?
True
Let o = 16132.827 + -16291.9. Let q = -159 - o. Which is bigger: -0.1 or q?
q
Let p(y) = y**2 + 329*y + 4095. Let n be p(-13). Let m(i) = -16*i**2 + 2*i - 1. Let g be m(1). Is g at most as big as n?
True
Let b = 1753/9 - 195. Let r be 3 + -2 - 2/18. Let n = r + b. Which is bigger: 2/7 or n?
n
Let h(k) = k**2 + 65*k - 3146. Let b be h(-95). Do b and 2.4 have different values?
True
Suppose 12 = 4*p + u, -1430*p + 4 = -1427*p + 2*u. Which is smaller: p or 13?
p
Let n(f) be the first derivative of 9*f**2/2 + 50*f + 369. Suppose 3*l = -5*c - 24, -3*l = -c + 3*c + 24. Let q be n(l). Is -20 at least as big as q?
True
Let p = -146.7 + 151.56. Which is bigger: p or -3?
p
Suppose 5*d - 22 = 3*d - 2*r, 0 = -2*d + 3*r + 2. Let s be d/1 + -70 - 0. Which is smaller: -5 or s?
s
Let n = 763 - 5352/7. Let g = -13/7 - n. Let i = -14.33 - -16.83. Which is greater: g or i?
i
Let l be 6/15 + 2/(-1170)*-6426421. Let s = l - 10986. Let u = -2/13 - s. Which is bigger: 0 or u?
u
Suppose 4*m - 52*v + 54*v = 14, 7 = -3*m + v. Let o be 45/(-59) + 4/6. Let n = 5/177 + o. Which is smaller: m or n?
n
Let v = -5832 - -5836. Suppose h = -3*h, 3*n - 3*h = 6. Suppose -n*u - v*l - 10 = -0*u, -u + 5*l = 19. Which is smaller: -7 or u?
u
Let f be (-1 - 2)*(-32)/(-24). Let t be f + 10/5 - 2. Let p be ((-3)/t)/(135/(-80)). Which is greater: 1 or p?
1
Let b = -21 + 28. Let q = 19 + b. Let m be 26 - (-4 + 2 - -2). Is m < q?
False
Let t = 2.2 - 2. Let i = -1093.452 - -1091.552. Is i bigger than t?
False
Suppose -5*b + 11 = -4*f, 0 = -2*b - 3*f + 4 + 5. Let j(p) = 2*p + 0 + b*p + 4 - 4*p**2 + 1. Let c be j(-2). Is c < -20?
True
Let h = -5 + 10. Let z(n) = 4*n + 26. Let x be z(-5). Suppose h*q - 66 = -x. Which is bigger: q or 59/5?
q
Let c be (-6)/8 - 3*1/(-4). Suppose 3*h - 31 - 53 = c. Suppose -23*f - 65 = -h*f. Is 12 > f?
False
Suppose -5*k = -5*h, -3*h + 122*k - 121*k = -6. Which is smaller: h or -3/256?
-3/256
Let m(s) = s**3 + 5*s + 8. Let p be m(0). Suppose p = -2*r, 3*d + 18 = -4*r + 2. Is 36 < d?
False
Suppose 0 = -0*l - 5*l + 31 + 109. Let r(z) = z**3 + z**2 - 3*z. Let q be r(3). Which is bigger: q or l?
l
Let b be 2/(-45)*-2*10/66. Let s = b - 614/1485. Which is smaller: 1.24 or s?
s
Let p be (-116)/63 - 2/(-14)*2. Let r = 19/645 - -17617/7740. Let i = p + r. Which is bigger: 2 or i?
2
Let d be (-22035)/2712 - (-2)/16. Which is greater: d or -5/159?
-5/159
Suppose -51*a + 2*a = 6*a + 3*a. Which is smaller: a or 2/3313?
a
Let q be (-4)/2*3*4/24. Let r be 1 - (2 - q - 5). Suppose -6 = -u - r*y - 2*y, y = -5*u + 30. Which is smaller: u or 4?
4
Suppose 27*q + 8*q = 160805 + 81045. Is q bigger than 6908?
True
Let l = 38 + -37.7. Let a = l - -0.3. Which is greater: a or -2/3?
a
Let v be 2/4 - (-6 + (-3480)/16). Suppose 961*s = 962*s - v. Which is smaller: s or 223?
223
Let a be 4/6 + (-34)/(-12). Let r = 1461 + -1456. Let j = r - a. Which is smaller: 1 or j?
1
Suppose -u - 15 = 13. Let w = u + 49. Let d = -3757 - -3777. Which is bigger: w or d?
w
Let d be (168/4)/6 + -2. Suppose 5*q - 2*f - 2 = 0, -4*f + d*f = -2*q - 1. Is -2/165 less than q?
True
Let v = -175481/1239060 - -76/535. Which is greater: 1 or v?
1
Suppose 2*s - 90 = 7*s. Let g be (60/(-45))/(4/s + 0). Suppose -18 = p - g. Which is smaller: -13 or p?
-13
Let n = -7.67 + 4.76. Let q = n - 0.09. Let b = -2.9 - q. Is 52 bigger than b?
True
Let p be (-8)/(-36) - 2980/(-36). Let u(z) = 3*z**2 - 7*z + 9. Let n be u(-4). Is n < p?
False
Suppose 4*c + 4 = -4*a, -11 = c - 5*a + 2. Let z(i) = 6*i**3 + 3*i**2 + i + 6. Let t be z(c). Which is greater: -1/4 or t?
-1/4
Let n = 3869/11 + -352. Suppose 121 = -h + 20. Let u = h - -102. Does u = n?
False
Let j = -4 - -5. Let y be (0 + j)/(-2 + (-396)/(-196)). Suppose y = 3*m - 5. Is 21 smaller than m?
False
Let c be -26 + (-1 - -3) - 50/25. Let t = 407/30 + -202/5. Which is smaller: c or t?
t
Let b be (-3132)/(-972) + -3 + 0. Which is bigger: b or 2066?
2066
Let f be (-7033)/2164 + (-6826)/(-2104). Which is smaller: f or 3/7?
f
Let g(n) = -3*n + 41. Let r be g(13). Suppose o + 4*o - 15 = 0, o = -r*p + 135. Let q be (2/(-63))/(p/(-21) - -1). Is q at most as big as -1?
False
Suppose 1284*i - 88816 = 1466*i. Which is greater: i or -487?
-487
Let o be 3 - -2 - 1 - 5. Are o and -1/315 non-equal?
True
Let g = 777 - 777. Suppose 16*v - 74*v + 7946 = g. Which is bigger: v or 138?
138
Let t = -2067 - -2068. Are 63/29 and t unequal?
True
Let h be 4/18*-3*12 - -2. Which is bigger: h or -60?
h
Suppose -6295 = -8*q - 591. Let c = q - 730. Which is greater: -73/4 or c?
c
Suppose 14*q - 3*q - 4*q = 0. Let w = -225881/104 + 2172. Is q < w?
True
Let g be (-380)/440 - ((-3)/2 + 1). Let h be (-4)/(-5)*45/(-9). Let b be (-2)/4 - 6/h. Which is smaller: b or g?
g
Let h = 3377 - 361. Suppose 8*s - h = -5*s. Which is smaller: s or 233?
s
Suppose -7*u + 1386 = -10*u. Let k = 463 + u. Which is bigger: k or 1/686?
k
Let g be (-53)/(-21)*-1 - -3. Let o = g + 172/21. Let z = 2779/321 - o. Is z bigger than 0?
False
Let s = -13 - -13.1. Which is bigger: s or -1177?
s
Let p = 17114180/141 + -121378. Is p > -1?
True
Suppose -14907 = -5*u - 5*y + 26733, u - 8338 = -6*y. Are 8327 and u nonequal?
True
Let q = 125.139 - 119.79. Let g = -5.35 + q. Which is bigger: -5/4 or g?
g
Let r = 1821 + -1843.5. Do -1/3 and r have the same value?
False
Suppose -2*v - 80 = -216. Let l = v - 474/7. Let c = 90 - 92. Is l bigger than c?
True
Let f be (402/(-27))/(((-1040)/(-35))/2). Let a = f - -10/117. Is 0 equal to a?
False
Let h = 2785 + -2778. Is h less than or equal to -254?
False
Let w(h) = -5*h**2 - 11*h - 2. Let z be w(-2). Suppose x = a - 0*a + 8, z = -4*x - a + 12. Is 0.17 not equal to x?
True
Let r = 40.6 - -33.4. Let l(o) be the second derivative of o**4/12 - 4*o**3/3 + o**2/2 + o. Let a be l(8). Which is smaller: a or r?
a
Let w = 12617/60970 + 22/469. Is w bigger than 1?
False
Let f = 284 - 191. Let l = f - 102. Which is greater: l or -0.06?
-0.06
Suppose 18*c = -13284 + 6390. Which is smaller: 0.19 or c?
c
Suppose -j - 2*f + 7*f - 10 = 0, 2*j - 25 = -5*f. Suppose -4*v - 4*c - 24 = 0, -2*c - 10 = -j*v + 6*v. Let g(o) = -3*o - 2. Let y be g(-1). Is v != y?
True
Let p = -71 + 84. Suppose 0 = 10*q - 17 - p. Which is smaller: 1 or q?
1
Suppose 9*c = -11*c + 320. Let p be c/30 - 2/15. Is p not equal to 0.102?
True
Suppose 5*y - 2723 = -4*u, 397*y - 394*y = 4*u - 2699. Which is bigger: u or 0.2?
u
Let z = -229 + 250. Let o = z + 26. Is 42 > o?
False
Let a = -895 + 20592/23. Let j be (11/((-66)/(-48)))/2 - (-1 + 5). Is a < j?
False
Let j(l) = 9*l**2 + 19*l - 2. Let s be j(7). Let n be (2/(-6))/(-8 + s/72). Let x be (3 + (-15)/n)*14. Which is smaller: 10 or x?
x
Let r = 2904 + -2960. Which is bigger: -49 or r?
-49
Let s(h) = -15*h**3 + 3*h**2 - 2*h + 1. Let i be s(2). Let z = -111 - i. Is z less than 1/359?
True
Let p(x) = 2*x**3 - 5*x**2 + 14*x - 10. Let b be p(5). Suppose