hich is bigger: m or 21?
m
Let t = 33.38 + -1.58. Let g = -32 + t. Is -4 greater than g?
False
Let w = 25 - -90. Suppose 3*h = 5*b - w, -5*b + 7*b = -2*h + 30. Which is bigger: 3 or b?
b
Let n be (-1)/8 + (-150)/(-48). Suppose 5*c + 81 = -n*x, -4*x - 1 = c + 22. Let g be ((-2)/c)/(115/25). Is g > -1?
True
Suppose -1092 = 25*h + 433. Which is smaller: -63 or h?
-63
Let q(t) = t**2 - 42*t + 397. Let c be q(13). Which is smaller: 32 or c?
c
Let n be 2 + (0 + 11 - 0). Which is greater: n or 0.052?
n
Let u be ((-77)/(-14) + -1)*26. Is u <= 118?
True
Let h = 1974/2455 - 2/491. Suppose -2*z = -v + 11, 11 = -5*v + 4*z + 48. Let r(k) = -k + 7. Let n be r(v). Which is smaller: n or h?
h
Suppose 5*u = 4*q - 922, -6*u + 10*u - 5*q = -734. Which is smaller: -185 or u?
u
Suppose 84 = -91*i + 77*i. Which is greater: -49 or i?
i
Let q be 15/(-770)*4/9*3. Is q at most -1?
False
Let i = 8.1 + -0.3. Let z = 8 - i. Which is smaller: -5 or z?
-5
Let i be (975/(-154))/15 + (-1)/(-2). Is 0 bigger than i?
False
Let k = 46 - 19. Let f(m) = -3*m**3 - m**2 + 14*m + 33. Let u be f(-2). Which is smaller: u or k?
u
Let x be (-2)/88*(0 + (2 - 5)). Is 0 less than or equal to x?
True
Let p be (-79)/123 - 6/(-9). Let u = 1026 + -1025. Are p and u unequal?
True
Let c = -34 - -35.4. Let o = c + -1.6. Which is bigger: o or 8?
8
Suppose 0 = -2*h, 3*l - 4*h = 4*l + 5. Suppose 0*p - 21 = -3*o + 5*p, -4*o + 2 = 2*p. Suppose z = -2*m - 2*m + 6, 2*z - 2 = o*m. Which is smaller: l or m?
l
Suppose 0 = -3*h + 5*r - 2, 3*h - 4*r + 0 = -4. Let z be -366*(9/(-2) - h). Let v = z - 922/5. Which is bigger: -2 or v?
v
Suppose 0 = -2*i + 5*i + f + 543, -2*f = -2*i - 362. Is i >= -178?
False
Let x = 228 - 1277. Which is smaller: -1050 or x?
-1050
Let b = -31 - -38. Let m(t) = t**3 - 9*t**2 + 14*t + 1. Let o be m(b). Is -3/17 at least as big as o?
False
Let h = -12.048 - -12. Let f = -0.48 - -0.58. Is f > h?
True
Let u = -95 + 170. Which is smaller: u or 227/3?
u
Let s = 2142/23 + -93. Let g(r) = -r**2 + 3*r + 3. Let c be g(4). Is s equal to c?
False
Let k be (-10)/(-3) + (-6)/(-9). Suppose -5*r + 2*c - 10 = 0, -k*c - 3 = -4*r + 1. Suppose -5*y - 14 = 2*z, -41 + 9 = 5*y - 4*z. Does y = r?
True
Suppose 2 = 29*a - 27*a. Is a bigger than 3/244?
True
Suppose -v + 6 = -2*c, 5*c - 1 = -3*v - 16. Let z be 1 - (6 + v) - (-6 - -5). Suppose 5*p = s, 0*p = p - 5*s + 24. Which is smaller: z or p?
z
Let y be -1 + 1708/(-12) - -3. Let k = y - -142. Let x = 37/15 - k. Is x at least as big as 2?
False
Let q = -119 + 175. Let v = -41 + q. Let n = 34 - 20. Which is bigger: v or n?
v
Let a be 35/5 - 0 - 0. Which is smaller: a or 9?
a
Suppose 0 = -484*p + 486*p. Which is smaller: p or 5/23?
p
Let b = -508 + 491. Which is smaller: 0 or b?
b
Suppose 0 = -2*m - 2 + 8. Suppose 3*p - 24 = -m*l, 6*l - 4*p - 32 = 2*l. Is l less than 0?
False
Suppose -12*c = -88 + 28. Suppose -h + 2*y - 100 = 2*h, -192 = c*h + 3*y. Which is smaller: h or -35?
h
Let p be 26/(-56)*-1 + 450/(-600). Which is smaller: p or -201?
-201
Suppose 0 = -4*h - 5*l - 129 - 532, -3*l + 817 = -5*h. Is h bigger than -0.1?
False
Suppose n = 26*j - 28*j - 31, -4 = 4*j. Let v = -51 + 22. Is n at least as big as v?
True
Let t(g) = 45*g - 54. Let i be t(-3). Which is smaller: i or -188?
i
Let r be (24/(-360))/((-14)/(-10) + -2). Which is smaller: r or 4?
r
Suppose 0*h - 10*h - 24940 = 0. Let b = h + 336688/135. Do b and 0 have the same value?
False
Let a be 1 - 2/((-4)/10). Suppose -2*t + a = 4*j, 0*j + 15 = -5*j. Let k be (-2)/(-9) + 7/t. Which is smaller: k or -4?
-4
Let n = -0.1 - 0.06. Let c = 2.16 + n. Which is smaller: c or -18?
-18
Suppose 67 = 4*n - 77. Let s be ((-6)/21)/((2/(-1))/(-262)). Let a = n + s. Which is smaller: 0 or a?
a
Let q(a) = -a**3 + 2*a**2 - a + 5. Let s be q(3). Let r(g) = -3*g + 3. Let f be r(2). Let z = f + -5. Which is greater: z or s?
s
Suppose -19*j + 14*j = -z - 501, 1038 = -2*z + j. Which is smaller: -522 or z?
-522
Let w(c) = 18*c - 29. Let o be w(5). Is 59 bigger than o?
False
Suppose 2*r + 0*o = -2*o - 48, 0 = 5*r - 2*o + 120. Let n be r - -10 - -2*1. Is -12 <= n?
True
Let l be (2/6)/(-1) + (-478)/(-1326). Let r = l - -1069/1326. Which is greater: 1 or r?
1
Let o = -149 - -273. Which is smaller: -1 or o?
-1
Let g = 1152/5 + -230. Which is greater: g or 1?
1
Let m = -12.7 + 15. Let d = 2.3 - m. Which is greater: -44 or d?
d
Suppose n + 3*n = -b + 27, -n + 54 = 2*b. Suppose -p = -4*p - b. Let y = -11 - p. Which is smaller: -1 or y?
y
Let t = 79 + -99. Let c be (2/(t/(-15)))/(2/(-28)). Is c <= -22?
False
Let n be ((-10)/(-404))/(-1)*(-282)/235. Which is bigger: 0 or n?
n
Let k be (-1442)/(-21) - 2/(-6). Let h = -203/3 + k. Are 0.09 and h unequal?
True
Let r(s) = 30*s + 1250. Let a be r(-41). Let g be (-4)/2 + (0 - -23). Is a at least g?
False
Suppose -3*v + 7*v = -12. Suppose -14*u + 1 = -13. Is v >= u?
False
Let m = 654/7 + -2242/21. Suppose g - 2*c = -2*g - 38, -c = 4*g + 58. Which is greater: g or m?
m
Suppose 0 = f - 5*o + 11, -27 = 4*f - 0*o - 3*o. Suppose -2*a = 9 - 5. Which is bigger: a or f?
a
Let w = 0.02993 + 20.70007. Let p = w - -0.27. Let f = 20.9 - p. Which is smaller: f or -5/2?
-5/2
Let n = 557 - 624. Is 1/3 less than or equal to n?
False
Suppose 9*g - 12*g + 15 = 0. Let q be 7*g/30*(-4)/35. Let d = 74/3 - 24. Which is greater: d or q?
d
Let j be -1*3 - (-160)/40. Suppose 5*o = 8*o - 171. Is o equal to j?
False
Let o = -57 + 63. Suppose -b - 2*t + 2 = -0*t, 3*t = -o. Is 6 at most b?
True
Let v be (2/4 - 0)*-10. Let w be (-6)/((30/21)/v). Is w bigger than 22?
False
Let j(i) = -7*i**2 + i - 1 - 2*i + i**3 - 2*i**3. Let w be j(-7). Suppose 0 = 56*m - 110 - 170. Is m at most as big as w?
True
Let b be (4/(-2))/((-7)/(-35)). Let s be (8/6)/((-8)/12). Let c be (s/4)/(b/(-20)). Which is smaller: c or -1/15?
c
Suppose 2*m + 24 = 22. Which is smaller: m or -1/776?
m
Let l = 1813 - 1779. Are 22 and l non-equal?
True
Let y(c) = 2 - c**2 + 5*c**2 + 4 - 5. Let i be y(-1). Suppose 4*w + i = -19. Is -6 at most as big as w?
True
Let n = 48 + -29. Let q(j) = -j**3 + 62*j**2 - 878*j - 26. Let g be q(22). Is g less than n?
True
Let o be 58/198 - (-30)/(-165). Let w = o + 2/9. Is 2/21 at least as big as w?
False
Let b = 556 + 1169. Is 1724 not equal to b?
True
Let q = 117 + -56. Suppose 3*m + m - 12 = 0, 2*z - 5*m = -q. Do -24 and z have different values?
True
Let b = 893 + -1102. Which is smaller: b or -208?
b
Suppose m = 4, m = 2*p + 5*m - 80. Suppose 4*d = 64 + p. Is 24 smaller than d?
False
Let l be 8/2 + (-225)/20. Are l and -7 equal?
False
Suppose k = -3*u - 8, -6 = 2*k + 3*u + 16. Let c = -67/5 - k. Is c >= 2?
False
Let p be (-4)/19*-1*30/(-90). Does -1 = p?
False
Suppose 7*y - 6*y = -5*b - 20, -5*b - 2*y - 25 = 0. Which is smaller: b or -7?
-7
Let i(p) = p**3 + 11*p**2 + 49*p + 16. Let l be i(-7). Are l and -138 non-equal?
True
Suppose -10*f = -270 - 120. Let r be -1*(-8)/4*19. Which is smaller: f or r?
r
Let q be (-7)/(-2) + 3/2. Suppose 0 = q*i - 7*i - 8. Which is greater: -18/7 or i?
-18/7
Let s be (-20)/18*15 - (-15)/(-45). Let k = 6 + -23. Is k smaller than s?
False
Let b = 283.1 - 283. Do 98 and b have the same value?
False
Let m be (4/(-10) - (-1351)/15) + 1. Let u = m + -91. Let j = -2.6 + -7.4. Is u bigger than j?
True
Let y = -57 - -57.33. Let a = y + -2.33. Which is smaller: -2/7 or a?
a
Let j = -74923/3 + 25189. Which is greater: 214 or j?
j
Let w = 261.3 + -261.4. Is w >= -926?
True
Suppose -4*i + 46 = -2*r, -3*r + 2*i = 5*i + 24. Let m = r + 21. Let f = 18 - 11. Which is smaller: f or m?
f
Let k be (-24)/(-14) - (-2 + (-60)/(-35)). Suppose 0 = -2*h - 3*l + 11, -2*h + k*l = 16 - 2. Which is smaller: -1 or h?
h
Let p(b) = -64*b**3 + b**2 - 2*b + 2. Let l be p(1). Let w = l - -251/4. Which is bigger: w or 0.14?
0.14
Let d = -47/390 - 111809/195. Which is bigger: d or -573?
-573
Let i be (-20 + 1)*2/28. Let u = 3/2 + i. Suppose -4*o - 3*l = 17, 35 = -62*l + 57*l. Which is smaller: u or o?
u
Suppose 17*k + 79 - 62 = 0. Which is bigger: -1/265 or k?
-1/265
Suppose 5*b = 1 + 9. Suppose -2*a - 2 = -0*a. Let h = b - a. Which is greater: 1 or h?
h
Let t = -2053/28809 + -3/1067. Which is smaller: t or 0?
t
Let q(i) = 2*i**2 + i. Suppose 3*k = -5*d + 6, -3*k - 2*k = 3*d - 10. Let j be q(k). Suppose -2*r = -j - 4. Is r 