, -3*s = -3*f + 46 + 350. Which is smaller: -135 or s?
-135
Let r(v) = v**2 - 7. Let u be r(0). Let j be 1 - (-9)/3 - 2. Let s be 0 + j + 12/(-4). Is u less than s?
True
Let j = 0.1 - 3.1. Let v = 11 + -1.1. Let w = v - 10. Which is greater: j or w?
w
Suppose 279 = 5*p - 2*b - 76, 0 = -4*p + 4*b + 284. Which is greater: p or 427/6?
427/6
Let c(h) = 2*h + 18 - 7 - 9*h - 9. Let f be c(3). Are f and -20 nonequal?
True
Let m(p) = 102*p**3 - 12*p**2 - 13*p - 2. Let h be m(-1). Let g = 151 - 255. Which is bigger: g or h?
h
Suppose -z + 2*u + 6 = 0, -4*u = -4*z - 0*u + 12. Let v be 18/(-339)*(-6)/(-18). Is z less than or equal to v?
False
Let o = 611.13 - 608. Let j = 0.13 - o. Let h be (87/(-63) - -2) + (-2)/7. Are h and j non-equal?
True
Let i = 1.952 - 0.212. Let q = -1.26 - i. Let k = -189 + 1325/7. Which is smaller: q or k?
q
Let h be 199/(-12) - 18/27. Is -16 less than or equal to h?
False
Suppose f = 7 + 14. Let v = f + -41/2. Which is greater: v or 1/15?
v
Let m be 1 - -6*(-4)/6. Let o be (-29)/2 + m/2. Let r = o - -82/5. Is r > 5?
False
Let a(g) = -80*g - 148. Let n be a(-5). Which is smaller: n or 253?
n
Let o = 524/63 + -111/14. Let p = 8270/9 - 918. Let l = p - o. Which is smaller: 2 or l?
l
Let a(d) = -d**2 - 8*d + 1. Suppose -4*r + 2*y - 3*y - 194 = 0, 4*y - 184 = 4*r. Let u be (r/10)/(-3)*-5. Let z be a(u). Is z equal to 3?
False
Suppose -2*r - 3*r - 5*m - 220 = 0, 161 = -4*r - m. Let a = 79/2 + r. Which is smaller: a or -0.07?
-0.07
Let d be ((-8)/6)/(6/(-63)). Suppose 2*m + d = m. Let t = 22 + m. Which is bigger: 6 or t?
t
Let p be -9 - (-2 + (-1 - -3)). Let d be p/2*14/21. Let y be d + 2 + 6/14. Is -1 at most y?
True
Let n = -180.3 + 177.3. Which is smaller: n or -1/30?
n
Suppose -f + f = f. Which is greater: f or -2/301?
f
Let m(s) = -s**2 - 9*s - 6. Let t be m(-8). Suppose -t*u - 2*u = -5*i + 19, -4*u + 30 = 2*i. Let c be (i/(-3) - -2)*-3. Is c at most as big as 4?
True
Let c = 434 + -431. Which is greater: c or 38/11?
38/11
Suppose -2*g - 45 = -9. Suppose 2*f - 42 = 2*w, 66*w - 68*w + 4*f - 44 = 0. Is g greater than w?
True
Let z be 3/24 - (-13)/(-72). Is z greater than -2?
True
Let y(m) = m**3 - 6*m**2 - 4*m - 17. Let d be y(7). Suppose 2*g - 2 = d*g. Let s be ((-3)/(-30)*2)/(-1). Is s greater than g?
True
Let g be -6 + -4 + 5 + 14. Do g and 9 have different values?
False
Let p = 3 - 12. Let w be (-718)/468 - p/6. Let o = -319/936 + w. Is o at least -1?
True
Let b be 0*2*3/12. Suppose -11 = -i + 17. Suppose b = -2*z - 8 + i. Is z <= 11?
True
Suppose 3*l = 8*l - 5. Which is smaller: l or 2/47?
2/47
Suppose -10 = r - 3*r. Suppose -3*n = -r*n + 8. Let c be ((-1)/n)/((-3)/12). Which is bigger: c or -1/32?
c
Let l(f) = -f**3 - 3*f**2 + 3*f - 3. Let o be l(-4). Suppose -2*u = 9 - o. Let k be ((-14)/(-63))/(u/6). Is 4 < k?
False
Let n be (((-55814)/4)/11)/(15/(-2)). Suppose -3*i + 3*z + 519 = 0, 0 = -i + 4*i + 3*z - 495. Let t = n - i. Which is bigger: t or 0?
t
Suppose 0 = -3*q - 43 + 1. Let x(g) = g**3 + 9*g**2 + 17. Let n be x(-9). Let z = q + n. Which is smaller: -1/3 or z?
-1/3
Let y(q) = q**3 - 35*q**2 - 32*q - 77. Let v be y(36). Which is smaller: 2 or v?
2
Let i = 1/410 + -2477/6970. Suppose 4*o - 3*s - 26 = 0, -3*s = 4*o - s - 16. Suppose -4*w + o*t = 9, -4*w = -0*w - 2*t + 6. Is i at least w?
True
Let h be (-1 + (-6)/(-4))*(-28 + 27). Which is smaller: h or 9.9?
h
Suppose -a + 4*a - 15 = 0, 5*v - 2*a = -455. Let b = v - -891/10. Is b at most -1?
False
Let l = -45 - -47. Is l at least as big as 190?
False
Let i = 21 + -19. Let o be (-5)/i*(-56)/20. Suppose 8 = -z + o. Which is smaller: 1 or z?
z
Let f be (4 - 7) + (-155 - (-9)/3). Which is bigger: -153 or f?
-153
Let z = 11/56 + -533/1288. Is z <= 0?
True
Let d be (0 - -3 - 4)/(1/(-1)). Let c be ((-2 + 25)*-1)/(d + -2). Is c equal to 24?
False
Let o = 3.97 - 4. Let x = -0.97 + o. Let t = -2.436 - -1.436. Is t at most as big as x?
True
Suppose -2*m - g + 4 = 2*g, 0 = -m - 4*g + 2. Suppose 8 = m*n + c - 3, -c = -3*n + 9. Which is smaller: 2 or n?
2
Let h = 1309/8 + -9691/56. Which is bigger: -9 or h?
-9
Suppose -15 = 2*w - 5*w. Suppose -v + 4 - w = 0. Suppose 0 = b + 6 - 4. Which is greater: b or v?
v
Let i be 1/3*-4 - (-141967)/(-3570). Which is greater: i or -41?
-41
Let d = -95 - -87. Let o be 132/355 - (d/5)/(-4). Which is smaller: o or -1?
-1
Let o = 6500/19 + -342. Let s(k) = k + 3. Let l be s(-3). Is o greater than l?
True
Let q be 3/2*(-28)/(-42). Let p be ((-20)/(-5) + 1)*q. Let z be (-21)/(-9)*3/p. Is 0 at most z?
True
Let z(v) = -8 - v**3 - 7*v**2 + 0*v**3 - 146*v + 145*v. Suppose 5*f = -2 - 33. Let q be z(f). Which is bigger: q or 2/39?
2/39
Let w be (1 - -1)/((-24)/10). Suppose -5*g = 4*l + 7 + 5, -5*g = -5*l - 15. Let j be l + 20/8 + (-6)/4. Is w at most as big as j?
False
Let q(u) = -u - 17. Let r be q(-18). Let k = -14 + 88. Let l = k + -1706/23. Which is greater: l or r?
r
Suppose -a + 4*i = -66, -6*a - 5*i - 147 = -8*a. Is a at most 84?
False
Let u = 24 + -27. Let f be 2/(-1) + 0*u/6. Which is greater: 1 or f?
1
Let r(m) = m**2 - 42*m - 133. Let y be r(35). Which is greater: y or 2/7?
2/7
Let w(u) = 4*u**2 - 83 + 27 + 17 + 23 + 17*u - u**3. Let h be w(6). Which is smaller: 16 or h?
h
Let t be (-7)/(-35) + (-1 - (-238)/295). Is t <= -1?
False
Suppose -h + 2*d = -0*d + 23, 2*h + 50 = 5*d. Let q = 59 - 73. Do h and q have different values?
True
Let t = 126 + -130.4. Let l = t - -2.4. Let q = 0.35 + -0.4. Is q at most as big as l?
False
Let s be (-28)/(-14) + 322/(-6). Let r = -51 - s. Let i = 0.52 + 0.08. Which is greater: r or i?
r
Let d = 10.23 + -12.23. Let a = 2.1 + -2. Let v = a + -1.1. Is v at least as big as d?
True
Let k(w) = w - 4. Let s = 13 + -21. Let o = -3 - s. Let l be k(o). Which is smaller: l or 2/5?
2/5
Suppose -58*m + 682 = -36*m. Are 606/19 and m non-equal?
True
Suppose -5*y = -10*y + c + 5, -23 = -4*y - 3*c. Suppose 2*k + y*r + 184 = 5*k, -k + 38 = 4*r. Is 57 greater than or equal to k?
False
Let x = -12.24 - -0.24. Let g = 217.05 - 229. Let a = x - g. Is a less than -2?
False
Let i(y) = 3*y**3 + 70*y**2 + 23*y. Let o be i(-23). Are 20/53 and o non-equal?
True
Let w(m) = 2*m + 14. Let v(r) be the second derivative of -r**5/20 + 7*r**4/12 - 11*r**3/6 - 7*r**2/2 + 5*r. Let l be v(5). Let j be w(l). Is 0 bigger than j?
True
Let a(r) = -r**3 + r - 3. Let s be a(-3). Suppose 333*g - 335*g = -44. Is s greater than or equal to g?
False
Let k = 0 + 0. Let g be (1/(-2))/((33/84)/11). Let d = -241/17 - g. Which is greater: d or k?
k
Let j = -7/477 - -593/105417. Do j and 1 have the same value?
False
Let j(m) = 47*m - 255. Let o be j(6). Let q = -27 - -55. Is q >= o?
True
Let f = -0.0676 + 38.3676. Let y = 41 - f. Let w = y - 2.2. Which is bigger: 1 or w?
1
Let r be -2 + 1 + 8/(-12). Suppose 0 = -b - 2*n - 2, 3*n + 3 = b + 5. Which is bigger: r or b?
r
Let a = 24 - 26. Let d = -6 - -1. Which is smaller: d or a?
d
Let b = -57 + 25. Let x = 20 + b. Let v = x - -13. Are -0.01 and v unequal?
True
Let i = -110.9 + 111. Which is smaller: i or -1.71?
-1.71
Let t be (-87)/15 + (-2)/10. Let u be (6/9)/(4/t). Let w = -1 + u. Which is bigger: w or -3?
w
Let q be 1/3 + 1225/(-3513). Let p = q + -30357/81970. Let b = -2/7 - p. Are b and 1 nonequal?
True
Let z(d) be the third derivative of -d**4/24 - 3*d**3/2 - 14*d**2. Let m be z(-10). Which is smaller: m or 2/89?
2/89
Let a(b) = 3*b**2. Let f be a(-1). Suppose -f*l - 4*s + 9 = 0, -2*l + 6*l = -4*s + 8. Let v = 3351/17 + -197. Which is smaller: l or v?
l
Let k(c) = 74*c - 13. Let j be k(1). Which is smaller: 3 or j?
3
Let l be (2/(-2))/((-2)/34). Let p = -88 + 92. Suppose p*q + 12 - 84 = 0. Which is bigger: l or q?
q
Let s be (-1 - 3/5)/(6/(-10)). Which is smaller: s or 2?
2
Let p = 33 - 29. Suppose p*n = 11*n. Which is smaller: n or -5/6?
-5/6
Let o(p) = 4*p**3 - 6*p**2 - p - 4. Let q(x) = -3*x**3 + 5*x**2 + 2*x + 4. Let c(r) = 2*o(r) + 3*q(r). Let l be c(4). Which is greater: l or 1/3?
l
Suppose -8 = -25*x + 23*x. Suppose 5*w = 3*i + 7, x*w = w + 6. Is i equal to 12/7?
False
Let c = -394 + 394.7. Is 6 < c?
False
Let h be 8/2 - ((6 - 1) + 22). Let y = 39 - 62. Is h at most y?
True
Suppose 2*o - o = -3. Let u be 4/(-6) - (3 + o). Let i = -14501 - -14501.1. Is i smaller than u?
False
Let d = 188.968 - 189. Which i