 - m. Suppose 5*z - 3*v + 0*v = -1, -3*z + 5*v = 7. Does z = k?
False
Let x = -2.2 - -2.1. Let u = 254 - 253.842. Which is smaller: x or u?
x
Let t = 953.3828 - -4.5672. Let f = t + -958. Let l = 4 - 3. Which is smaller: l or f?
f
Let p be (-11)/((-198)/(-24))*(-9)/(-2). Let y be 4 + (18/9)/(4/p). Let b = -24/11 + 299/132. Is b at least y?
False
Let t be (3 + 10)/(-7 - -8). Suppose 222 + 857 = -t*r. Is -83 greater than r?
False
Suppose 171 + 195 = 3*x. Suppose -a + 4*h = -166, 2*h = 36 - 58. Is x at least a?
True
Let s = 0.862 - 491.862. Let i = s + 501. Is i at most as big as 3?
False
Suppose 0 = -2*f - 2*b + 186, -4*b = -2*f + b + 186. Let x be (-12)/(-21) + f/21. Is 5 >= x?
True
Let j = 531 + -528. Suppose -j*m = 5*b - 0*b - 20, 0 = -3*b + 5*m - 22. Which is smaller: b or -1/41?
-1/41
Let h = -3950 + 3949. Is h <= -6/323?
True
Let y(o) = o - 8. Suppose -8*f + 11*f = 51. Let i = -11 + f. Let z be y(i). Do -6/5 and z have different values?
True
Let f be 67/(-13) + 6/39. Let k = f + 6. Let v be (0 - -3) + 226*(-4)/296. Is v >= k?
False
Suppose -2*x - 2576 = -4*l, 4*x + 55 = 47. Which is smaller: l or 647?
l
Let c be ((2/(-2))/(24/90096))/10. Let f = -375 - c. Which is smaller: 18 or f?
f
Let r be (-14 - -15)*(45 - -2). Let o = -53 + r. Which is greater: o or -4?
-4
Suppose -4006 + 19558 = -48*t. Is 12 at least as big as t?
True
Let n be 72/(-63)*7 + (-241704)/(-24170) + -2. Are 1 and n equal?
False
Let n be -2 - ((-270)/(-274) + -3). Let p be (3/(-1233))/((-15)/(-321)). Let c = n - p. Is 1 at most as big as c?
False
Suppose 2*d + 2*d - 3*c - 323 = 0, 3*d - 3*c = 246. Suppose 119 = d*z - 70*z. Is 12 > z?
False
Suppose 19 + 149 = 4*y. Let o(v) = -v - 41*v**3 - v + 1 + y*v**3. Let i be o(1). Which is smaller: -7/5 or i?
-7/5
Let b be 6/8 - (-575)/(-756). Let d(r) = 4 - 20 + 131*r**2 - 130*r**2 + 11*r - 10. Let i be d(-13). Is b at most i?
True
Let d = 3169.33 + -3169. Which is smaller: d or 0?
0
Let r = -1072.4 - -1070.4. Is r greater than or equal to -2169?
True
Suppose -47*o = o - 15587 + 54179. Which is smaller: -801 or o?
o
Let p = -0.0413 + 449.0413. Let o = p + -451.03. Let y = 0.03 + o. Is y less than or equal to -4/3?
True
Let y(l) = -7*l + 21. Let v be y(2). Let k be ((-385)/(-18))/7 - 21/v. Is k bigger than 0?
True
Suppose 2*o = 2*h - 208, 7*h - 6 = 4*h. Let d = -139 - o. Which is smaller: d or -36?
d
Let m = -3368 + 3376. Suppose 37 = 3*y + 5*o, -3*y + 32 = 6*o - 2*o. Is y at least m?
False
Let i = 0.07 - -0.03. Suppose 38 = -n - 5*s, 11*s - 2658 = -n - 2714. Which is greater: i or n?
i
Let q be 1 - 5 - 52/(-18). Let a(t) = -t**2 + 14*t - 28. Let j be a(10). Suppose s + j = -0*i - 3*i, -12 = 3*i. Which is greater: s or q?
s
Suppose -227*k - 784567 = 101*k + 19*k. Is -2265 at least as big as k?
False
Let m = -58 - -59. Let l = -10949/301 - -253/7. Is m smaller than l?
False
Let i(k) = 108*k - 1105. Let p(t) = -36*t + 369. Let h(a) = -3*i(a) - 8*p(a). Let o be h(14). Which is smaller: -144 or o?
-144
Let u be (-13 + 13)/(1 - (6 + -6)). Does -4/563 = u?
False
Let p = -0.138 + 9.838. Let r = p + -6. Suppose -2*j - 6 = -2*q, -126*q - 21 = -133*q. Which is smaller: j or r?
j
Let v = 0.436 - 0.24. Let w = -8.196 + v. Which is greater: w or -4?
-4
Let j = 0.12 + -3.12. Which is smaller: j or -69.5?
-69.5
Suppose -3*h - 102 = -4*i + 324, 0 = 3*i + 9. Let u = -92 - h. Suppose 0 = -4*t - 4*o + 228, 0*t - 3*o = 4*t - 225. Is u at least t?
True
Let g(w) = 40*w + 1447. Let k be g(-41). Which is smaller: -192 or k?
k
Suppose 41 = 32*k - 55. Suppose -k*i = -9*i - 144. Suppose 5*q + 24 = -96. Is q less than i?
False
Suppose -f + 74 = -u, 294 = -3*u + 2*f + 75. Let r be -6 + (1 - -2) + (1 - u). Let d = -88 + r. Which is smaller: -16 or d?
d
Let r = 865 - 951. Is -12 smaller than r?
False
Let x = 380 + -353. Let d = -62 + 91. Do x and d have different values?
True
Let a be (-6)/(-2) - (5 - -37). Let v = 40 + a. Let u be 51/(-45) - (-2 + v). Is u bigger than 1?
False
Suppose -115 = -5*c + 5*m, 55*m - 143 = -7*c + 53*m. Which is bigger: 238/11 or c?
238/11
Let q = -31 - 42. Let l = 46 + q. Let u = 27 + l. Is -0.1 < u?
True
Let o be -6 + 2 - (-12 + 10). Let y be (-1 + 21/(-3))*1/o. Suppose y*r = -x - 32, -x - 5*r + 85 = -6*x. Which is smaller: -18 or x?
x
Suppose -5*o - 1035 = 2190. Is -645 equal to o?
True
Let v = 225 + -225.7. Which is smaller: v or -55?
-55
Let t(d) be the first derivative of 3*d**2/2 - 3*d + 22. Let w be t(2). Let c be 1/(-6)*w/(-36). Is 1 at least c?
True
Let u be ((-20829)/6939 - -3)/((154/99)/(-7)). Is -30 equal to u?
False
Let y = -566 + 435. Let x = y - -149. Let p be (-2)/7 + 4/14. Which is greater: p or x?
x
Let m = -260 - -258. Let p be m - -6 - 2029/507. Which is bigger: p or 0?
0
Suppose -19*f + 18*f = -3*x + 48, f - 5*x = -54. Which is greater: -537/14 or f?
-537/14
Let w(u) = -10*u - 11. Let a be w(-3). Suppose d = 5*f + 199, 5*f + 179 + a = 2*d. Which is greater: f or -39?
-39
Suppose 3*o = 6, -1108 = 7*n - 3*o + 634. Which is greater: n or -252?
n
Let w = 545 + -235. Which is greater: 308 or w?
w
Let f = 8/59 - 9/59. Suppose 0 = 5*y - 3*u + 176, 2*y - y - 3*u = -40. Let v = -34 - y. Which is smaller: f or v?
f
Let r(b) be the second derivative of b**5/20 - b**4/4 - 7*b**3/6 + 6*b**2 - 27*b. Let l be r(4). Let q be -2 + (-2 - -3) - l. Which is bigger: q or -4/11?
-4/11
Let f = -21 + -3. Let d = -120 + 119.8. Is f > d?
False
Let i = 21.38 + -21.48. Is i > -71/36?
True
Let c be 80 + 0 + (-21)/(-7). Let j = c + -81. Suppose -3*r = j*a + a - 6, -5*r = 4*a - 9. Which is smaller: -2/121 or a?
-2/121
Let i(o) = 239*o**2 - 78*o + 254. Let w be i(3). Which is smaller: 1/3 or w?
1/3
Suppose 3*b - 3*x - 240 = -882, 0 = 3*b - 2*x + 640. Let p = b - -8055/38. Let y = -27.1 - -27. Which is smaller: p or y?
y
Suppose 148*l + 8 = 149*l. Let n be 7 - 32229*l/36840. Which is smaller: 0 or n?
0
Let j be (-4)/14 - (-22137)/329. Suppose -j*c = -68*c - 19. Which is greater: c or -22?
c
Let j = -790 - -810. Let s(y) = -y**3 + 20*y**2. Let w be s(j). Let q be 129/153 - 2/(-6). Which is smaller: w or q?
w
Let w be (6/5)/(60/(-375)*(-3)/6). Which is greater: 14 or w?
w
Let w = 1135 + -1652. Let o be 8/21 - (-7 - w/77). Which is greater: o or 221?
221
Let b be 2/7 + (-33)/(-7). Let s(n) = n**3 - 115*n**2 + 76*n + 4327. Let h be s(114). Is h less than b?
True
Let w(b) be the third derivative of 0*b - 3/2*b**3 + 1/24*b**4 - 34*b**2 + 0. Let i be w(10). Which is bigger: i or 8/13?
i
Let n be 18/1*40/16. Let u(i) = i**3 - 10*i**2 - 10*i + 12. Let r be u(11). Let m be r*5*((-54)/15 + 4). Which is greater: m or n?
m
Let c = 68869/21 - 7075/3. Is 920 >= c?
False
Suppose -6*n + u = -5*n + 83, u + 357 = -4*n. Let s = n + 139. Does 51 = s?
True
Let h = -9 - -13. Suppose 5*z + 15 = -b, 2*b = -8*z + 5*z - 9. Suppose b = w - 3*p - 6, -3*w - 24 = h*p - 3. Is w smaller than -1?
True
Suppose 0 = 17*t + 6690 - 17672. Is 646 at least as big as t?
True
Let i(y) = -2*y + 48 - 5*y + y + 2*y. Let c be i(-11). Is c > 92?
False
Suppose -6732 = 508*x - 490*x. Is -372 > x?
True
Suppose 2*r + 56 = 58. Let l = -493/7 + 180445/2562. Which is smaller: l or r?
l
Let f be (-1827)/(-165) - -5 - (173 + -157). Let a be 1/(-4) + (-21)/(-4). Suppose z + 4 = -h, 2*z = a*h - 3*h + 12. Is z at least f?
True
Let t be 70 - 8*-2*(-3)/12. Let c = -62 + t. Let z be (-1205)/75 + (c/(-30))/1. Which is smaller: -16 or z?
z
Let x = -35.4 - -35.2. Which is smaller: x or -1924?
-1924
Let q = -30 - -15. Let v = 13 + q. Let d(l) = 5*l - 34. Let g be d(6). Which is smaller: v or g?
g
Let w = -74 - -208. Which is smaller: 133 or w?
133
Let x be 5 + (-1)/(-2 - -3). Let a be x/(-22) + (-6)/(-33). Suppose -62*q = 291*q + 353. Which is smaller: q or a?
q
Let c be (76/6)/((-1)/(-3)). Let p(d) = d**3 + 18*d**2 + 32*d + 6. Let w be p(-16). Suppose 3*n = w*x - x + 92, -2*n + 88 = 2*x. Are n and c unequal?
True
Let d be (15444/(-1720))/9 - -1. Let s = d - 1303/5590. Is 1 bigger than s?
True
Let p = -0.046 - -113.046. Let m = -109.6 + p. Is m <= -1?
False
Suppose 5*s - 5*f = -81 - 39, -5*f - 123 = 4*s. Which is greater: -39 or s?
s
Let v = -130.15 + 121.15. Is -27 less than or equal to v?
True
Let a = 88221/235 - 1873/5. Is -0.1 bigger than a?
False
Suppose 850*d - 852*d = -6, 6 = -4*i + 2*d. Do 2/739 and i h