
Let f = -210 - -201. Let d = f - -31/3. Which is smaller: d or -0.02?
-0.02
Let c = -14562215/33713214 + 3/158278. Which is bigger: c or 1?
1
Suppose 57*f - 59*f = -3*k + 58, 2*k = 4*f + 28. Suppose -s - 4*s - g + 5 = 0, s - 10 = -2*g. Let p = k - s. Is p equal to 21?
False
Suppose 40*k = -118 + 78. Do k and -4665 have different values?
True
Suppose -32*r - 8 = -24*r. Let l be (-1)/(r*1/10). Is l at most 53/5?
True
Suppose -7*v = r - 4*v - 34, -5*r + 5*v + 170 = 0. Which is smaller: r or 131/4?
131/4
Let g be 3 + 30/((-45)/9). Suppose -4*i = -6*i - 8. Which is smaller: i or g?
i
Let z be 2/3 - (-680)/(-7140). Which is smaller: z or 2/457?
2/457
Let c = -153.38 - -153.28. Which is bigger: c or -10452?
c
Let c = -17.49 - -15.49. Is c at least as big as -545/6?
True
Let d = -44.9 - -5.9. Which is greater: d or -0.14?
-0.14
Let o = 13 + -12.85. Let w = o + 0.85. Let t = 566 + -553. Which is smaller: w or t?
w
Suppose -4*u - 12 = 0, 4*d - 3*u = u + 24. Suppose -21 + 6 = -d*s. Suppose -16 = t + s. Which is smaller: t or -22?
-22
Let y(j) = -90*j + 703. Let w be y(8). Do w and -17 have the same value?
True
Let q be 6 + 1*(-3941)/(-14). Let u = q + -287. Let c(l) = l - 7. Let g be c(8). Is u bigger than g?
False
Let v be (-7 + 3)*(-2 - (-3)/3). Suppose -19 = -v*s + s - 2*t, 5*t = 4*s - 33. Which is bigger: 8 or s?
8
Suppose 2*f - f = 77. Suppose 61*u = 96*u - 84 - 56. Suppose 8 + 76 = 5*m - u*i, -5*m + f = 3*i. Is 16 at least as big as m?
True
Let j(c) = c**2 + 11*c + 9. Let w be j(-10). Let s be (w - (59129/8618)/(-7)) + 0. Let h = 5/139 + s. Is -2/7 at most h?
True
Suppose 72*k = -2*r + 71*k - 10, 3*r + 29 = -5*k. Is -81/52 greater than or equal to r?
True
Let n(w) = -w**3 + w + 2. Suppose 4*p - 9 = 3. Let m be n(p). Let g = m + 27. Is 5 at most as big as g?
True
Suppose -32 + 36 = -2*b - 4*p, b + 4*p = 0. Let i be 5892/(-8811) - (b - 20/(-6)). Is -1 at most i?
True
Let g = -4197 + 5058. Is 0 != g?
True
Let h(c) = 4*c**3 - 8*c**2 + 7*c + 11. Let j(f) = -25 - 25 + 20*f**2 + 18 - 21*f + 3*f**2 - 11*f**3. Let p(b) = -17*h(b) - 6*j(b). Let d be p(-2). Is d > 1/78?
False
Let p(s) = -5*s - 95. Let w be p(-38). Suppose -2*b + 6*b + 564 = 0. Let x = w + b. Is x at least -46?
True
Suppose 7*y = -385 - 742. Let m = y - -174. Are m and 23/2 non-equal?
True
Let n = 3.9 + -4. Let q = -9694/7 - -1454009/1050. Let j = 2/25 - q. Is j not equal to n?
True
Let u(l) = l**3 - 2*l**2 + l - 16. Let g be u(0). Let a = g - -20. Let b = -2/97 + 2540/873. Is a > b?
True
Let r = 9951 + -11090. Which is smaller: -2/9 or r?
r
Suppose -5*n - 9 - 7 = b, -4*b + 2*n = 64. Let k be b/12*(-3)/(-42). Is k not equal to -1?
True
Let q be (-67)/402*(1 + 61075/(-4)). Let b = 2565 - q. Is b less than 19?
False
Let h = -56 - -57. Let x = 1316 + -1340. Which is smaller: x or h?
x
Let x = 319/202 - 3832381/2427030. Which is bigger: 0 or x?
x
Let m be 804/(-8) - (4 + (-9)/2). Let k be (8/10)/((-10)/m). Does -11 = k?
False
Suppose -18*f + 17 - 38 = -3. Is f smaller than 35/418?
True
Let a be -17*(-500)/(-11050)*(-2)/628. Is a less than -1?
False
Suppose 12 = -3*a, 3*r = -3*a + 12 - 3. Suppose -4*k = r - 31. Suppose -x = x + 6, -4*g + k = -2*x. Which is greater: -9/8 or g?
g
Let a = -30.9 + 27. Let q = 0.1 - a. Is q greater than or equal to 2/35?
True
Let g be (-2)/20 + 11/((-1760)/646544). Which is smaller: g or -4039?
g
Suppose -290*d - 12968 = -298*d. Is 1614 at most d?
True
Let f(c) = -2*c**2 - 97*c + 378. Let v be f(-55). Is -339 equal to v?
False
Let t = 4/1311 + 64219/6555. Let f = 779/80 - t. Which is greater: f or 0?
0
Let p = 14 - 20. Let z(g) = -g**2 - 8*g + 1. Let i be z(p). Suppose 3*q + 41 = -4*l + i, 0 = 3*l + 3*q + 21. Which is greater: 2/9 or l?
2/9
Suppose -4*t - 336 = 2*t. Let q(d) = 17*d**2 - 597*d + 17. Let c be q(35). Which is greater: c or t?
c
Let g(z) = z**2 - 5*z + 2. Let r be g(7). Let d be 32*-1 - (296 + -352). Is d greater than or equal to r?
True
Suppose -2*q + 24 = k, -5*q = -5*k + 24 + 21. Suppose -k*d + 150 = -270. Suppose -20*f + d = -17*f. Which is greater: 11 or f?
11
Let h = 34219/310 - 552/5. Let c(x) be the third derivative of -x**6/120 - 3*x**5/20 - 3*x**4/4 - 7*x**3/6 + 331*x**2. Let d be c(-2). Is h < d?
True
Let f = 8008/236079 + -12/1543. Let o = 439/765 + f. Let v = 1.9966 + 0.0034. Is v less than o?
False
Suppose 5*i - 43 = 117. Let q = 468 + -237. Let f = 231 - q. Is i < f?
False
Let c = -1112 - -3448/3. Let w(s) = s**2 - 2224*s - 20060. Let v be w(-9). Which is smaller: v or c?
v
Let z = 0 - -3. Suppose -y + z = 4*t, -4*y + 5*t + 26 = -y. Which is greater: y or 4?
y
Let r = 7.4 + -1.4. Let x = r - -2. Let u = -0.2541 - 0.0459. Is x less than u?
False
Suppose z = -3*z - 12. Let h = -188 + 270. Suppose -23*v = 10 + h. Which is bigger: v or z?
z
Let n(r) = r**3 - 27*r**2 - 32*r + 241. Let o be n(28). Is 138 bigger than o?
True
Let p = -57579/475 + 2462/19. Which is bigger: p or 8?
p
Let o = 48697/3 + -243479/15. Let x = -50 + -20. Let h = x - -118. Which is smaller: o or h?
o
Let o = 7584 + -6323. Is o at least 5/2?
True
Let b = -4892/23 + 638/3. Is -58 <= b?
True
Let p = 247 + -3213/13. Let c = -284 - -261.6. Let u = -21.4 - c. Which is smaller: p or u?
p
Let t = 5556 - 5567. Which is smaller: t or -9?
t
Let x(t) = 25*t**2 - 14*t + 44. Let g(y) = -y**2 + 2*y - 2. Let i(u) = -6*g(u) - x(u). Let n be i(4). Is n equal to -1?
False
Suppose -40*h = -60*h + 93*h + 14527. Which is smaller: h or -206?
-206
Let d = -270/469 - -92355/148204. Which is smaller: -2/7 or d?
-2/7
Suppose 24948 = -36*j + 9*j. Let k be (-10)/(-6) + j/9. Is k bigger than -102?
True
Let g = 16/9 - 119/72. Suppose 4*z - 18 = -4*r + 54, -3*r + 2*z = -44. Let q be r/(-24)*(-21)/(-14). Is g greater than q?
True
Let m be 3 - (-60 + 0 + 6). Suppose -64*g - 196 = -m*g. Is -146/5 not equal to g?
True
Let t be (-8)/(-12) - (-8)/(-12)*-2. Suppose k = o - 2, 6 = 4*k - t*o + 5*o. Suppose k = -2*r + r - h - 6, 3*h = -15. Is r bigger than -6/13?
False
Suppose -56*s - 4393 = -305. Let l be 20/(-6)*174/8. Let a = s - l. Which is smaller: a or -2?
-2
Suppose 2*o - f - 8 = 0, 5*f = -3*o + 6 + 6. Let d be (-3)/(-24)*o*-21*2. Let t = -27 - d. Does -8 = t?
False
Let w be (3 - 113)/11 + 4. Suppose -4*b = 82 + 14. Let h = b - -14. Which is greater: w or h?
w
Let d be (-14)/((-84)/(-9)) - 38. Which is greater: -3 or d?
-3
Let n = 61778 - 192685584/3119. Which is smaller: n or 1?
n
Let v = -1.61 - 53.39. Let w = -68 - -11. Let l = w - v. Do 0.32 and l have the same value?
False
Let z = 56 - 71.3. Let n = z + 15.4. Which is greater: -0.15 or n?
n
Suppose -1611 - 2739 = 5*z. Let x be ((-1 + 17)/(-2))/(z/(-30)). Is 0 at most as big as x?
False
Let v = -66 + 198. Let k be 1*(-2)/4*66/v. Which is bigger: k or -3/32?
-3/32
Let f = -27 - -26.996. Let i = f + 0.004. Let w be (-6)/(-126) - (12/9 + -1). Is w at least as big as i?
False
Let g be (3/(-2))/(6/(-8)). Let f be (-1 + 231/213)/g. Let w(d) = 2*d**3 - 122*d**2 + 761*d - 35. Let n be w(7). Which is bigger: f or n?
f
Let b = 11295197/49071 + 5/4461. Which is smaller: 229 or b?
229
Let j = -32.1 + 28.1. Let d = 8 + -5. Let a = d + j. Which is greater: a or 0?
0
Let l(r) = -r**2 + 30*r + 59. Suppose -o - 75 = -3*o - 5*u, 2*u - 126 = -4*o. Let f be l(o). Which is smaller: f or 415/7?
f
Suppose 4*g = -a + 6, 0 = -5*a - g - 10 + 78. Let z be (a - (0 - 5)) + (-1)/1. Let q = -20 + z. Which is smaller: -8/5 or q?
q
Let l = 116 + -308. Let v = l + 190. Which is smaller: v or 36?
v
Let q = -9740 + 9739.6. Which is greater: -7/11 or q?
q
Suppose 0 = 20*a - 35*a - 255. Let o be (-10)/66 + a/(2618/28). Which is smaller: o or 253?
o
Let j = -0.287 - 25.313. Let l = 96.9 - 73.9. Let f = l + j. Is -0.2 bigger than f?
True
Let g = 3 - -28. Let x be (-10)/((-360)/52)*21. Which is smaller: x or g?
x
Suppose -15*p + 691 = -0*p + 2146. Which is smaller: p or -105?
-105
Let n = 287 - 22. Let t = -265.1 + n. Which is smaller: 0.074 or t?
t
Let q be 249/(-63) - (-2)/3. Let i be (-55)/(-66)*(-242)/(-60). Let n = i + -28/9. Which is greater: n or q?
n
Suppose 52*x + 38*x = 3426 + 6564. Which is bigger: 29 or x?
x
Let p = -105316414/60819 + 19048/11. Does 1 = p?
False
Let h = -0.7907 - 87.2093. Let b = 1207 + -1295.05. Let j = h - b. Which is bigger: -1/5 or j?
j
Let g be (-1699)/2549