et u = -3.6714 + 371.6714. Which is bigger: u or 12?
u
Let y be (-16)/10*(-21 + 1). Let x be (-32)/(-18) + 2*(5 - 6). Which is smaller: x or y?
x
Suppose 10*f - 3420 = -9*f. Suppose 4*v + f = -3*s, v - 268 = 4*s - 3*v. Is s at least -63?
False
Suppose 4*u = -210*z + 212*z - 1456, 4*z - 2912 = 4*u. Which is smaller: 0.4 or z?
0.4
Let a = -324 - -553. Let c = 14426/63 - a. Which is smaller: c or 2/17?
c
Suppose -20 + 34 = 7*a. Suppose 0 = a*o + 24*o + 988. Which is greater: -36 or o?
-36
Let i be 5 + 21/(-3) + -3 + 5. Suppose 5*x + 5*b + 90 = 2*b, i = -4*x + 4*b - 40. Which is greater: x or -2?
-2
Let i be 1*(-2 + 1 + -2). Let s be (-34)/(-8) - i/6. Let l be 26/(-52) - (-129)/86. Which is smaller: s or l?
l
Let o = 602620072 - 57401972339367/95254. Let v = 1/982 + o. Which is bigger: v or 0?
0
Suppose 2*h + 568 = -2*l, 280 = -10*h + 9*h + 3*l. Let r be 4*(-4)/8*h. Which is bigger: r or -1?
r
Let v = 14.5 + -20.5. Let s be ((-45)/6)/((-5)/10). Suppose -3*m = s - 9. Which is greater: m or v?
m
Let n be -17 + 37/2 - 626/420. Let q = 26 - 25. Which is smaller: n or q?
n
Suppose 8*z - 5*z = -5*d - 16662, 3*d + 4*z = -10006. Let r be 2/(-10) + (-576)/d. Which is smaller: 0 or r?
r
Suppose 7*i - 22*i = -3030. Let j = i + -201. Which is smaller: 12/7 or j?
j
Let n(g) = 1. Let d(w) = -3*w + 14. Suppose 14*c + 0 = 42. Let m(q) = c*n(q) - d(q). Let l be m(3). Is l equal to -3/4?
False
Suppose 5*r = 7*r + 90. Let w be 24/(-48)*0/(-3) + -45. Is w >= r?
True
Let f = 10 - 10. Let w = -1388 + 1332. Is w smaller than f?
True
Let b = 0.095 - 5.095. Is b <= 713?
True
Let t(f) = f + 31. Let u be t(-2). Suppose 5 = -5*x - 5*l, -u*x + 31*x = 2*l + 6. Are -1/5 and x equal?
False
Let f = -44802 - -44795. Let q = -61/296 + 3/37. Which is bigger: q or f?
q
Let f = -3 - -7. Suppose y + 9 = 2*u - 3, -2*y - 9 = -u. Which is smaller: f or y?
y
Suppose 4*c = 3*r - 5 - 14, 3*r = 5*c + 23. Suppose -71*o + 77*o - 18 = 0. Suppose -2*j - u - 2 = 0, 0 = o*j + 11*u - 7*u + 8. Which is smaller: j or r?
j
Let k(v) = -v**2 + 34*v - 108. Let y be k(30). Is 43 >= y?
True
Let y be (-556)/(-70) - 112/(-1960). Let k = -51 - -73. Suppose -5*a - k - y = 0. Is a equal to -9?
False
Let s be ((-116)/(-204))/(53/(-3) + 18). Is 3 <= s?
False
Let j = 2 + 4. Let i = j + -6.1. Let h = 4118 + -4126. Which is bigger: h or i?
i
Let c(u) = u**3 - 4*u**2 - 16*u + 5. Let l be c(7). Suppose -26*n = -25*n + l. Let h = n + 40. Which is smaller: 2/141 or h?
h
Let p(r) = r**3 - 2*r + 2. Let i(w) = -5*w**3 + 30*w**2 + 36*w + 25. Let d(u) = i(u) + 4*p(u). Let a be d(31). Which is smaller: a or -57?
a
Let s be (-2*(-19)/(-57))/(8/157452). Which is smaller: s or -13120?
s
Let l = -26.9 - 22.7. Let k = l + 8.6. Let h = 41 + k. Which is bigger: -9 or h?
h
Let t be -10*((-55)/10 + 5). Suppose 0 = -5*v + t*y - 15, -3*v - 7 = -2*v - 3*y. Is v at least as big as -0.16?
False
Suppose -5*f = 3*s - 8, -64*f + 2*s = -62*f + 16. Let i(k) = -k - 3. Let y(v) = -v - 3. Let n(x) = -3*i(x) + 2*y(x). Let g be n(-7). Which is greater: f or g?
f
Let o = -5524 + 5523.8. Which is bigger: o or 14.47?
14.47
Let p(m) = -6*m**2 + 45*m + 149. Let v be p(10). Which is greater: 1/10252 or v?
1/10252
Let j be (-17 + -16)*(18 - -4). Which is smaller: j or -5078/7?
j
Suppose 0 = 4*b + 5*s - 44 - 11, -5*s = 2*b - 35. Suppose b*w + 981 = -1649. Which is bigger: 2 or w?
2
Let m(j) = 15*j - 90. Let n be m(6). Let r be (-65)/(-2)*(-9420)/925. Let z = 331 + r. Which is bigger: z or n?
z
Let b = -172 - -196. Suppose -10*o + 8*o + 54 = 0. Which is smaller: o or b?
b
Let c be 125467/11406 + (-1 - (-10 - -20)). Is c smaller than 0?
False
Let j be (2 + 2)*(-8)/(-80) - 29/(-290). Are -0.04229 and j non-equal?
True
Let g be 29/(580/140) + 1 + -8. Which is smaller: g or 12/427?
g
Suppose 7*m = 2*m - 55. Let i(h) = -h - 9. Let a be i(-6). Let g(y) = -4*y - 9. Let q be g(a). Which is smaller: q or m?
m
Let d = 26891 + -19561. Is d < 7332?
True
Let z be (22/(308/42) - 401)/(17/(-2)). Which is greater: 48 or z?
48
Let w(n) = -n**2 + 50*n - 596. Let h be w(35). Which is smaller: -0.19 or h?
h
Let l(y) = 2*y**2 - 14*y + 30. Let p be l(10). Suppose -4*v - v - p = 0. Let w be (-14)/6 + (-54)/v. Do 1 and w have the same value?
False
Let u = -200697 + 200651.0094. Let o = 0.0094 - u. Which is smaller: -0.06 or o?
-0.06
Let n(u) = -u**3 + 3*u**2 + 2*u - 7. Let x be n(3). Let f = -2122 + 29675/14. Which is smaller: x or f?
f
Suppose c + 4*c - 55 = 0. Let i(u) = -3*u**3 + 297*u + 2*u**3 - 15*u**2 - 21 - 283*u. Let b be i(-16). Is b smaller than c?
False
Let b = -3466489603/64 - -54162513. Let n = -1387 - b. Does n = 0?
False
Let m(y) = y**3 - 74*y**2 - 168*y + 1230. Let k be m(76). Let u be ((-39)/9)/(1/(-3)). Is k at least as big as u?
True
Let q = 1494 - 422. Let m = q - 965.3. Let g = m + -107. Is g less than 0.05?
True
Let s = -0.9 - -1. Suppose -130 = -11*k + k. Let h(f) = 2*f**2 - 25*f - 8. Let m be h(k). Is m greater than or equal to s?
True
Let a(p) be the second derivative of 2*p**3 - 219*p**2/2 - 245*p. Let i be a(21). Which is bigger: i or 172/5?
172/5
Suppose 177*i + 102*i - 29574 = 0. Is 89 equal to i?
False
Let l(u) = -1643*u + 3302. Let z be l(2). Is -20/37 not equal to z?
True
Let k be 5/(30/(-8))*(-135)/18. Let j be (-30)/(-105) + k/14. Let a be j + -1 - (-9 + 7). Which is smaller: 1 or a?
1
Let j = -5.22439 - 203.78661. Let o = j + 209. Which is smaller: 2/5 or o?
o
Let a = -23/2 - -95/6. Suppose -d + 10 = 76*i - 72*i, 5*d = 4*i - 22. Which is bigger: a or i?
a
Let i = 158 + -639/4. Let q = 267/4 - i. Is 70 at least q?
True
Let j(t) = -t**3 + 3*t**2 + t + 12. Let k be j(0). Suppose 7 = k*o - 5. Which is bigger: o or 11?
11
Let b be (8/(-8))/((-2541)/121). Let o = -2 - -3. Which is greater: b or o?
o
Let w be (-2 - -5) + 21/(-7). Suppose 0 = -4*u + 4 + 4. Suppose q - 2*l + 3 = w, 8 = -u*q - 3*q + 3*l. Which is greater: q or -7/5?
q
Suppose -214*y = -22*y + 192. Which is bigger: 1/6812 or y?
1/6812
Let k be (3*2/30)/(-3 + 117/30). Let g = -38.3 + 41. Which is smaller: k or g?
k
Let z = -431.41 + -20.59. Do 2 and z have different values?
True
Suppose -5*p - 2*n - 35 = 0, -4*p - 9*n + 6*n - 35 = 0. Let m be 38 + 6 + p/1. Which is greater: m or -3?
m
Let z = -0.174 + -120.826. Let k = z + 120. Let x = -12 - -14. Which is bigger: k or x?
x
Let v be (7 + -31)*(-4)/8. Let k be 156 - (0 - -4) - -2. Suppose -k = -5*i - 6*i. Do i and v have different values?
True
Suppose 95*k + 8*k + 103 = 0. Are k and -43/41 equal?
False
Suppose -11 + 29 = 2*b, -b = 4*v + 31. Do -475/43 and v have the same value?
False
Suppose 194 = 2*j - 116. Let b(f) = -f**3 - 12*f**2 - 26*f - 9. Let x be b(-11). Which is smaller: j or x?
j
Let f = 3977.019 + -3979. Let o = f - 0.019. Are o and 12 equal?
False
Let q = -11568 - -6373. Is -5195 < q?
False
Let s = 190/29 + -8663/406. Which is bigger: 0 or s?
0
Suppose -1384*b - 154 = -1377*b. Which is smaller: 42 or b?
b
Let c(r) = -r - 10. Let v be c(6). Suppose -3*p + 76 = -7*p. Let h = v - p. Is h at least 3?
True
Suppose -3*b + 136766 = -5*t, -25*t = -23*t - 3*b + 54692. Is -27357 <= t?
False
Let k be 8*((-101)/(-4) - -3) - 2. Suppose t + 3*t = -k. Let q = 66 + t. Which is smaller: 9 or q?
9
Let p = 723 - 20247/28. Let h = p - -205/84. Let r = 34 + -33. Are r and h equal?
False
Let n be (43 + 5)/((-52)/312 + (1 - 1)). Do -4 and n have the same value?
False
Let v be -1*(0 + (0 - (9 + -2))). Suppose o + r + v = -2*o, 2*o = -3*r - 14. Let j be ((-1)/(-236)*-2)/o. Which is bigger: -1 or j?
j
Let u(c) = -c**2 + 3. Let i be u(-6). Let m be (6/9)/((-1)/i). Let n be 2/(-26) - (-6171)/286. Which is bigger: m or n?
m
Let a = -1838/29 - -5543/87. Which is greater: 0.1661 or a?
a
Suppose 40 = -0*w - 5*w. Let u = 24624 + -24633. Is u greater than or equal to w?
False
Let m = -2393824762/73 + 32793520. Let c = m - 1400. Which is greater: c or 1?
1
Suppose 6*w - w + 2*z = 0, w + z = 0. Suppose 7*g = 9*g - 2, w = -4*d + 4*g. Is d bigger than 9/25?
True
Let r be ((-30)/18)/(1/678). Let n = -80228/71 - r. Suppose v - 6*v = 5. Is v greater than or equal to n?
False
Let s = -164 - -162.71. Let z = s - 0.71. Let f = -4.2 + 3.1. Which is smaller: f or z?
z
Let b = -23/203 + -5/29. Let x be 18/57*25/105. Let v = x + b. Is v at least 0?
False
Let q = 315 - 313. S