o/(-4 - 490/(-125)). Which is bigger: 51 or x?
51
Let k(t) = t**2 - 16*t - 20. Suppose 0 = 5*c - 33 - 52. Let w be k(c). Is -4 greater than w?
False
Suppose -3*t = o + 11, 3*o - 3*t + t = -33. Let x = o - -12. Is x at least 6/11?
True
Let s(g) = 12*g - 12. Let o be s(-4). Let d = 56 + o. Which is bigger: d or -5/2?
-5/2
Suppose -d + 0*d = -50. Suppose 7*n + d = 2*n. Let t = 12 + n. Which is smaller: t or 3?
t
Let y(a) = 4*a - 16. Let n be y(5). Suppose z - 5*z = -n. Let l be ((-13)/(-39))/(z/21). Which is smaller: 17/3 or l?
17/3
Suppose -5*p - 52 = -3*m, 7*m - 6*m - 36 = 4*p. Let l be -2 - 0 - 32/(-4). Let q(z) = z**3 - 7*z**2 + 6*z - 7. Let d be q(l). Which is bigger: d or p?
d
Let z = -0.1 + 0.2. Let l = -55.2 + 62. Let n = l + -6.3. Is n > z?
True
Let q be (36/(-3270))/3*(-10)/8. Let f = q + -461/5450. Which is smaller: f or 1?
f
Let u be 0 - (1 - 2) - 9. Let p be 4 + -1 - (-96)/u. Let i = 0 - p. Is i != -0.2?
True
Let x(f) be the second derivative of 0 - 8*f + 1/12*f**4 + 8*f**2 - 4/3*f**3. Let y be x(8). Which is bigger: y or 15?
y
Suppose -a - 5*s = -s - 10, 2 = -4*a - 2*s. Let i = -0.0607 + -0.8393. Is i greater than a?
True
Let j(x) = x**2 - 12*x. Let f be j(12). Let n be (-8352)/(-90) + (-1)/(-5). Let a be n/(-33) + 4/(-22). Which is smaller: f or a?
a
Let n(t) = 2 + 6*t - 31 - 34 + 14. Let s be n(8). Let a = -2093/99 + 224/11. Which is greater: s or a?
a
Let z = -21 - -35. Let y be -2 + (-7)/(z/(-92)). Let d be (-4)/(-22) + (-272)/y. Which is smaller: d or -7?
-7
Let b be (0 + 2/22)/1. Let h be -4*((1 - (-55)/20) + (-24)/6). Are b and h nonequal?
True
Let r = 9050 + -3810046/421. Is 1 > r?
True
Let j = -4.9 + 7.9. Which is bigger: -2/17 or j?
j
Let v = 149/120 + -1/24. Let t(d) = d**2 + 6*d + 3. Let p be t(-5). Let k be 3 + (p - (1 + -1)). Does k = v?
False
Suppose 2*p - 5*p = 4*s - 92, 3*s + 3*p - 72 = 0. Let c = s - -15. Let r be 4/(-8) + c/110. Which is bigger: r or -0.1?
-0.1
Suppose -4*r + 2 = 5*f, 3*r = -850*f + 846*f + 2. Let o be 1/1*(-6)/57. Which is greater: o or f?
f
Let s(u) = u**3 + 8*u**2 - 10*u - 7. Let c be s(-9). Suppose -4*a + 16 = -c*a. Is a at most 8?
True
Let w be 90/(5 - 15)*-1. Let f be (-24)/45 + 1/3. Which is smaller: f or w?
f
Let k = 2003/97 - 180809/7469. Let n be 238/66 + 3/(-9). Let p = k + n. Which is bigger: p or 2/3?
2/3
Suppose 34*g = -8*g - 126. Is g equal to -0.13?
False
Let d be (-6)/(-4)*(-14)/(-21). Suppose 5*j = r - 8, d = -r + 3*j + 5. Let a be -1 + (-3 - r) - -3. Which is bigger: -1/5 or a?
a
Let x be (6/5)/((0 - -3)/45). Let d be (1 + 0)*(-1 + 19). Is x less than or equal to d?
True
Suppose -5*f + 95 = -205. Let s be (-5)/3 - f/(-90). Let x be (-9)/39*(-2)/6. Is x <= s?
False
Suppose -5*a + 24 = -2*x, -2*a - 100 = 4*x + a. Let t be (-5)/(-135)*6/x. Is 0 at least as big as t?
True
Let i = 0.21 + -0.203. Which is smaller: i or 0.1?
i
Let a = -30 + 46.1. Let q = -16 + a. Let c = 5.1 - q. Which is greater: 1/3 or c?
c
Let f = -369 + 367. Is -88 at least f?
False
Suppose 0 = 5*l - l - 24. Suppose 3*y + 21 = -l. Let i be 38/9 - (-2)/y. Is i > 5?
False
Let i = -79 + 78.911. Let m = i - 0.191. Is m < 2/3?
True
Let q = 23.8 + -31. Let o = -39.8 + q. Which is smaller: o or -0.1?
o
Suppose -c + 5*h - 3 = 4*h, 1 = 5*c - h. Let y be (-1253)/(-5236) - 1/4. Which is smaller: y or c?
y
Let o(b) = b**2 + 17*b + 11. Let a be o(-17). Let i(f) = -f + 17. Let n be i(a). Let p be (11*-2)/(-1*4). Is n < p?
False
Let x(m) = -36*m**3 - 2*m**2 + 20*m - 19. Let a be x(1). Suppose -3*q + 178 = -5*y, 4 = -2*q + q. Is y <= a?
True
Let d be (-12)/(-16) + (-225)/12. Suppose 149 + 3 = -8*y. Is d <= y?
False
Suppose 4*i - 4*p = -344, 7*p + 353 = -4*i + 2*p. Let l = -42 - i. Does 0 = l?
False
Let q = 1.68 - -1.6. Let t = 0.013 - 0.293. Let a = t + q. Which is greater: 1 or a?
a
Let s be 24/3 + (-3 - 3). Which is bigger: 18/7 or s?
18/7
Suppose 4*z = -t - 2, -z - 24 = -5*t - 76. Is t at most 1?
True
Let j be 0*((-8)/(-6) + -1)*-1. Suppose j = -5*r - 50 + 10. Which is smaller: -7 or r?
r
Let n be 40/6*(-216)/(-15). Which is smaller: 100 or n?
n
Suppose -16 = 3*h + 14*a - 9*a, 3*a = -2*h - 12. Which is greater: -0.2 or h?
-0.2
Let u be (-21)/(-4) - (-4)/(-16). Let k(z) = z**2 - 8*z + 4. Let t be k(u). Let o = -179 - -169. Which is smaller: t or o?
t
Let h(q) = -q**3 - 3*q**2 - 5*q - 14. Let a be h(-3). Which is bigger: 14 or a?
14
Let p = 26 - 15. Suppose 56 - p = -5*a. Let r be (-3)/(-6) + a/12. Are r and 2 non-equal?
True
Let o be (-1)/(-28) + (-21)/28 + 1. Is o <= 0.008?
False
Let o = 22/101 + -1575/6767. Is 1 greater than o?
True
Let o = -342 + 469. Is o at most 128?
True
Let k(o) = -o + 7. Let v be k(7). Let g(i) = -i**2 - 26*i + 26. Let d be g(-27). Let b be (-12)/8*(16/(-30))/d. Are b and v nonequal?
True
Let v = 6 + -5. Let k be v - ((-32)/10 + 5). Which is smaller: k or -4?
-4
Let x be -298*-2*(-8)/32. Which is smaller: -148 or x?
x
Suppose -74*s = -58*s - 2128. Does s = 131?
False
Let q = 136 + -131. Suppose -q*m = -i - 4*i - 10, 5*i = -m - 4. Which is smaller: m or 3/74?
3/74
Let l = 6.4 - 1.8. Which is bigger: l or 2/3?
l
Suppose -9*y - 157 = -13. Let g(c) = c**3 - 7*c**2 + 7*c - 2. Let l be g(5). Does l = y?
False
Let m be 0/(-3) + 3 + -5. Let u be m/(-12)*(-6)/(-3). Let v = 0.7 + -0.6. Which is smaller: u or v?
v
Suppose 2*d + 14 = -3*o, -d + 0*d - 21 = -2*o. Let a be 32/(-3) - (-9)/(-27). Which is smaller: a or d?
d
Let u(k) = -k**3 - 11*k**2 + k + 11. Let h be (-132)/(-36)*(-1 - 2). Let o be u(h). Suppose 5*w - 18 + 3 = o. Is w at least as big as 0?
True
Let i = -28 + -16. Let y = i - -48. Which is smaller: y or 2?
2
Suppose m - 2*l - 24 + 54 = 0, l = -3*m - 76. Is m at least as big as 6?
False
Let r = 648.7 - 649. Is r at most 1.65?
True
Let q(o) = 27*o**2 - 4*o - 2. Let g be q(-1). Which is bigger: 111/4 or g?
g
Suppose -15 = 3*c - 8*c. Suppose x - r + 0 = -3, -c*r = -4*x - 10. Which is greater: x or -2/53?
-2/53
Let g be 0 - -17*(-1)/(-4). Let o be -3 + 24/(-22)*(-11 - 88/(-16)). Which is greater: o or g?
g
Let g = 125/24 + -17/3. Is g greater than -1?
True
Let v = 0.5 + -2.34. Let h = 0.93 + v. Let j = 0.09 - h. Which is smaller: j or 2/21?
2/21
Suppose -3*r = -3*i + 7*i + 201, 0 = -r - 2*i - 69. Is r at least as big as -63?
True
Suppose 4*t - 7 = p - 1, 4*t = -2*p. Let o = 5/13 - 61/91. Do o and t have the same value?
False
Let t = -80.7 + 91.7. Which is greater: t or 48?
48
Suppose -5*h - 4*q + 469 = 0, h - 5*q + 2*q = 109. Let w = h - 96. Which is smaller: -100 or w?
-100
Let n(s) = -s**2 - 61*s - 588. Let j be n(-12). Which is smaller: j or -2/187?
-2/187
Suppose 2*s - 4*s = -2*d, 36 = -5*s - 4*d. Are s and 79 unequal?
True
Suppose v + 5*z = 20, -12 = 4*v + z - 4*z. Do v and 12/59 have the same value?
False
Let y = 325/4 - 15917/196. Which is smaller: 1 or y?
y
Suppose 0*z + 4*u - 455 = -5*z, -85 = -z - 2*u. Suppose -5*i + 57 + 18 = -3*p, -5*i = p - z. Let d = i - 17. Do d and -2 have the same value?
False
Let m = 400 - 471. Is m at least as big as -70?
False
Let n be ((-12)/(-3280 + -8))/((-2)/16). Is 0 equal to n?
False
Suppose 0 = -b + 4*o - 3*o + 7, b - 8 = 2*o. Suppose 5*s + 39 = 139. Let l be s/b*12/(-5). Does l = -7?
False
Suppose 0 = -5*h + 4*o - 159, 0 = 5*h + 3*o - 2*o + 154. Which is bigger: -30 or h?
-30
Let j be (-27 + 31)/((-4)/(-2)). Let p be 45*(14/5 - j). Suppose -p = -5*b - 31. Does 1 = b?
True
Let s = 110.9 + -103. Let c = s - 0.9. Is c at least -0.9?
True
Let x be 2/(1 - -5) + 66/99. Suppose -3*v = 2*v + 4*f + 3, v = -4*f + 9. Let i be (-134)/284 - v/6. Is x < i?
False
Suppose -5*v + 24 - 4 = 0. Let t be 69/9 - v/6. Let c(o) = -6*o**3 + 2*o**2 - o - 2. Let h be c(-1). Is h smaller than t?
False
Let m be ((-67)/(-5))/((-235)/94). Which is smaller: m or -6?
-6
Let j = 44.1 + -100.1. Which is smaller: -12 or j?
j
Let y = -106 + 38. Which is bigger: y or -73?
y
Let f = -50921/35 + 1455. Let j be 4 - ((-10)/14 - -4). Let t = j - f. Which is smaller: 0 or t?
0
Let s = -40/3 + 77/6. Let y be 1/(-3) + (-4)/6. Is y > s?
False
Suppose -2*v + 4*k = 10, 0 = 5*v - 5*k + 16 - 6. Is -3/65 equal to v?
False
Suppose -19 = 2*h - 3*q, -5*h - 4*q + 0 - 13 = 0. Which is smaller: -17/3 or h?
-17/3
Let h = 83.93 - 51.2. Let o = h - 0.73. Is 2 at most o?
True
Suppose -3*s = -8*s - 30. Let g = 5 + s. Let