-4). Let l be 128/42 + 28 + v. Is 1 > l?
False
Let k = 0.289 + -0.189. Which is smaller: k or -364?
-364
Let b(t) = 245*t**2 - 6*t + 17. Let s be b(3). Suppose -5*l = -l - s. Let a = l - 3866/7. Which is greater: a or -1?
-1
Let m = -408 - -412. Suppose 2*o - g = 7*o, m*g = 4*o. Is -1/340 at most as big as o?
True
Let i = 121 - 127. Let s be (-50)/30*-1 - (-2)/i. Does 1 = s?
False
Let y be 350/15*(-36138)/(-190). Which is smaller: y or 4436?
4436
Let s = -7649 - -7785. Is s bigger than -15?
True
Let h = 7925.9 + -7926. Are -722 and h equal?
False
Suppose -9 = 4*z + 3*i, -z + 3*i - 18 = -12. Let w be (-70)/(4 - 9) + 4. Let c be 1/(w/(-13) + 1). Is c <= z?
False
Let n(w) be the first derivative of -15*w**2/2 - 29*w + 12. Let v be n(-6). Let s = v + -76. Which is smaller: -17 or s?
-17
Let u(v) = -v**3 - 30*v**2 - 190*v - 16. Let r be u(-21). Which is smaller: 128 or r?
r
Let o = 0.49899 + -36.48199. Let n = 36 + o. Let h = -5.017 + n. Which is greater: h or -3/2?
-3/2
Let d(a) = -3*a - 80. Let k be d(-30). Let r(t) = -t**3 + 11*t**2 - 8*t - 20. Let p be r(k). Which is bigger: 12/55 or p?
12/55
Let w be (44/121)/(44 + -26). Is w at most as big as -19?
False
Suppose -18*y = 38 - 56. Suppose 3*j - 2*j + 39 = 3*w, -4*w = 4*j - 36. Let m be (-8)/w + 134/228. Which is smaller: m or y?
m
Let k(n) = -21*n**3 - 3*n**2 - 6*n + 7. Let s be k(2). Let d = s - -242. Are -3/4 and d equal?
False
Suppose 0 = -4*z + 3*p - 33468, 76*z = 72*z - 4*p - 33496. Which is bigger: z or -8368?
-8368
Let z = -244 + 243.8. Let w = -5.21 + 0.11. Let a = 5 + w. Which is greater: a or z?
a
Let q = 45 - 65. Suppose -2*f + 49 - 24 = 3*w, 31 = 5*f - 3*w. Let b be 7/(280/304) - f. Which is bigger: b or q?
b
Let g = 5.236 + -4.2842. Which is greater: -1/3 or g?
g
Let i(p) = -p**3 + 57*p**2 + 106*p - 153. Let u be i(59). Does -861 = u?
True
Let x = 6.338 - 6.538. Let z = 331 - 226. Which is smaller: z or x?
x
Let v be 417/(-378) + 1 + 1605/(-105) + 15. Let d be -1*(-3 + 5 + -2). Is d bigger than v?
True
Let n be (-2)/(-3) - 4/(-6) - (-79676)/(-59766). Is 0 at least n?
False
Let u(g) = 94*g + 37. Let r be u(-2). Let b = r + -24. Is b < -175?
False
Let b = -10847 + 11132.24. Let k = b + -285. Which is smaller: -6 or k?
-6
Let j = -4131.3 + 4216.3. Which is greater: 30 or j?
j
Suppose p = 3*y, -6*p + p - 17 = 2*y. Is y at most -2/1991?
True
Suppose 0 = -4*r + 2*j - 10, -2*r - 7*j - 1 = -4*j. Let y(q) = -q + 1. Let g be y(6). Let h be g + 6 + 1 + r. Is h > 2/45?
False
Let c be 12/(-8) - (441/(-14))/9. Suppose 0 = a - 3*f + c, 3*a + 170 = -3*f + 176. Let d be (-2)/(-3) + 52/(-6). Which is smaller: d or a?
d
Suppose y - 36 = -0*y. Let r = 26 - y. Let o be 16/260 - (-108)/(-234). Which is smaller: r or o?
r
Suppose 5*s - a + 3 = 0, 9 = -3*s - s + 3*a. Let u = -18331 + 18352. Does u = s?
False
Let m = 199 + -158. Let r = 201 + -151.3. Let u = m - r. Are 0.1 and u nonequal?
True
Let r = -2.3 + 2.9. Let c = 4.556 - 4.756. Is r smaller than c?
False
Let u = 711 + -714.09. Let f = 3.39 + u. Which is bigger: 1/14 or f?
f
Let r be (1 + -4)/(14/(-84)). Let o = 605557/34461 + -4/4923. Is r less than or equal to o?
False
Let k(x) = 11*x - 64. Let l be k(6). Let m be (-3*l/18)/(-1). Which is greater: 3/29 or m?
m
Let i = 27800 - 27738. Is 1298/21 greater than i?
False
Let z be 24/20 + (22919/(-14620) - (-4)/34). Let o = -13.5 + 1.5. Are z and o equal?
False
Let x = -4159/521394 + 2/3891. Is x > -1?
True
Let x be (-48)/36 - (-19)/57. Which is bigger: -29/146 or x?
-29/146
Let u be (234/4 - 1) + (-3)/2. Let s = u - 57. Let q = -204 + 2236/11. Which is smaller: s or q?
s
Let i = 9342 - 9342.15. Which is smaller: i or -512?
-512
Let y = 20240 + -20239.9. Which is smaller: 16807 or y?
y
Let g = -13.2 - -7. Let m = -6.3 - g. Are m and -79 nonequal?
True
Let i be 2/(-24) - (-1864)/7689. Let x = 0.01 + 0.09. Which is bigger: x or i?
i
Let v be ((-63)/28)/(6/16). Suppose -10 = 16*c + 38. Let z be ((-44)/10 - c) + 2 + -1. Is v at most z?
True
Let x = 0.1656 + 797.8344. Is x bigger than 0.1?
True
Let v = 1045/7 - 1030/7. Let c be (-2)/8*(-7 + 3). Which is smaller: c or v?
c
Let y = 35171/18 + -1954. Suppose 0 = -4*x + 20 - 4. Suppose 5*z - x = z. Is y != z?
True
Let a = 615 - 615.299. Let c = 434.5 - 434.5. Which is smaller: c or a?
a
Let p be 192/18 + 4/3. Let u be (-40)/p*(-1110)/25. Is 148 at most as big as u?
True
Let x be ((-58)/8)/((-12)/192). Let s = x - 215. Is s at least -99?
True
Let b(s) = s**3 - 61*s + 60. Let v be b(1). Let f = -138.526 - -138. Is v <= f?
False
Suppose -13*m + 20900 = 12*m. Let l = -841 + m. Are -3 and l equal?
False
Let r(g) = -2*g**2 - 5*g + 5. Let p be ((-10)/35)/((-2)/14). Let q be r(p). Let d(h) = h**2 + 16*h + 18. Let l be d(q). Are 1 and l non-equal?
True
Let w be -34*(-3)/27 + (-18)/(-81). Let m be ((2/(-1))/6)/(w/60). Let o be 10/(-3*m/(30/(-4))). Is -0.07 less than or equal to o?
False
Suppose 0 = 4*n - 4 + 12. Let k be (n + -4 - -2) + 1/(-2). Which is smaller: -4 or k?
k
Let w = -40.5236 + -0.0764. Let m = w - -41.1. Is m less than -31?
False
Let n = 2.77 - 2.87. Let d = -259 + 362. Which is smaller: n or d?
n
Let g be ((-1807)/(-52))/((-2)/8). Let k = g - -140. Let d be (240/(-63))/(-4) + -1. Are k and d non-equal?
True
Let b = -271/402 - -1/134. Does b = -22?
False
Let f(k) = 2*k**3 - 78*k**2 - 3*k + 129. Let t be f(39). Let x = 25155/7 - 3581. Which is greater: t or x?
x
Let p(y) = -y**3 - 17*y**2 - 40*y + 21. Let s be p(-4). Which is bigger: s or -134/5?
-134/5
Let i = 8902 - 35687/4. Suppose -30 - 10 = 2*l. Which is bigger: i or l?
i
Let i(m) = 46*m**3 + m. Let h be i(-1). Let q = 37 - 37. Which is smaller: h or q?
h
Suppose 3*t - 924 = -11*t. Let y(z) = -z**2 - z + 69. Let u be y(0). Let w = t - u. Are -9/5 and w unequal?
True
Let p be 1 + (-24)/4 + 55. Let m be (75/p)/(3/16*-2). Which is bigger: -45 or m?
m
Let n = 92700 - 92727. Let c = -8 - -28. Let r = -6 - c. Does n = r?
False
Let q = 14.407 - 14.397. Let r be 2 + (-22)/14 - 1. Is q less than r?
False
Let p = 3762 - 45167/12. Are p and 0.6 equal?
False
Let n = -24.06 + 0.06. Let z be -10 - ((-301)/645)/((-1)/(-5)) - -7. Is z at most as big as n?
False
Let a = 27 + -10. Let w(p) = 8*p - 56. Let g be w(7). Suppose -3*t + 5*t - 30 = g. Which is smaller: a or t?
t
Let o be 266/(-924) - (-18)/(-33) - -3. Which is greater: 0.86 or o?
o
Let b = -71 + 73. Let p be ((-40)/(-16)*(-1)/(-5))/b. Which is smaller: 2/17 or p?
2/17
Suppose 3*y - 12*i + 1485 = -14*i, -2475 = 5*y - 5*i. Is y equal to -498?
False
Let i = 6 + -6.25. Let s = 3.25 + i. Let a be -3 + (-2 - -3) - -1. Which is bigger: a or s?
s
Suppose -3*j - 840 = 4*a, 4*a + 22*j - 14*j = -860. Which is greater: a or 27?
27
Let t be 13/2 + 8/(-16). Let h(z) = 2*z**2 + 5*z - 67. Let u be h(5). Which is greater: u or t?
u
Let t = 244 + -166. Suppose 210 = -11*m + t. Is m less than or equal to -10?
True
Let m be 2 + (-1 - 0) + -48. Suppose -182*t - 3025 = 5529. Do m and t have the same value?
True
Let g(v) = v + 8. Let z(k) = k**2 - 2*k - 20. Let j be z(-4). Let y be g(j). Is -0.1 less than or equal to y?
True
Let r = -22014 - -30486. Which is greater: r or 8473?
8473
Let u be (7 - -110)/(-13) + -101. Which is bigger: -111 or u?
u
Let y = -16618/5 + 3261. Which is bigger: -64 or y?
y
Suppose 178 = 5*q + 18. Let u be (-157)/(-5) + (-200)/500. Which is smaller: q or u?
u
Suppose 3026 = 73*i - 90*i. Let c = i + 297. Which is bigger: 121 or c?
121
Suppose -1165*s = -1125*s - 614400. Which is smaller: s or 15359?
15359
Let v be (-6)/4*(294/(-378))/((-14)/12). Which is smaller: v or 12/161?
v
Let b = -124 - -47. Let x = b - -31. Let r = x - -41. Which is smaller: -4 or r?
r
Suppose -4*j + q = -79, -2*j - 5*q + 62 + 5 = 0. Suppose -3*h = -4*r + 87, 0 = 4*r + 14*h - 11*h - 105. Which is smaller: j or r?
j
Let l = 374.658788 + 0.051212. Let u = -375 + l. Is u greater than -5?
True
Suppose -5*c + 184 = c - 4*c. Is 97 greater than c?
True
Suppose 2*k - 23 = -2*k - h, 0 = 5*k - 4*h - 13. Suppose 5*t - 4*l = 23, -3*l + 8*l - k = -5*t. Let j(v) = 6*v - 7. Let r be j(t). Which is smaller: r or -0.3?
-0.3
Suppose 20*b - 22*b = 0. Suppose 4 = -b*z - 4*z. Let u = z - 3. Is 4 less than u?
False
Let i be (225/39 - 3)/((-1)/((-104)/16)). Let a(p) = 4*p**3 - p**2 - 3*p + 2. Let h be a(2)