 + 37. Let p be 1*-27 + (-6)/(-2). Let r be k(p). Is r at least 0?
False
Let v = 1582 - 6333/4. Is -7/3 at most v?
True
Let m(c) = 2*c**3 + 19*c**2 + 42*c - 8. Let f be m(-5). Which is smaller: 127/15 or f?
f
Let q(o) = -o**2 - 1. Suppose 4*x - 15 = -31. Let p be q(x). Which is smaller: -16 or p?
p
Let m = -16 - -35. Let o = m - 15. Suppose 0 = -o*r + 6*r - 2. Which is bigger: r or -2/21?
r
Suppose -2*r + 0*r + o - 3 = 0, -4*o = -4*r - 12. Which is smaller: 7/67 or r?
r
Let n be (-3 - -9)/(-2)*4/(-3). Suppose 4 = -2*y - n. Do -3 and y have different values?
True
Let q(d) = 12*d**2 - 67*d + 36. Let n be q(5). Let p = -163/120 + 1/40. Is n greater than p?
True
Suppose 11 - 36 = 5*q, -2*w + 5*q = -41. Let v be 16/5 - w/(-10). Is v at least as big as 0?
True
Let z be 5/7*10/(-8125). Let k = z - -6917/104650. Is 1 smaller than k?
False
Let u be -1 - (-1 + (-4 - 1)*-1). Let z(v) = 2*v**3 + 12*v**2 - v - 4. Let l be z(u). Do 51 and l have different values?
False
Let x = -4 - 0. Let j be ((-2)/x)/(2/(-20)). Let t be (-21)/14*(1 - j). Is t > -10?
True
Let u = -8812517142744550/77 - -74633255707188709945/652113. Let i = -73645649 + u. Let m = i - -1/941. Which is bigger: m or 1?
1
Let i = 213243 - 2348106/11. Let x = -221 - i. Which is bigger: x or 2/3?
2/3
Let g = -164 + 163. Which is greater: -2/1021 or g?
-2/1021
Let a(v) = 30*v - 343. Let h be a(13). Let z = 26 - -19. Which is smaller: h or z?
z
Let x = 1045 - 1045. Which is smaller: -1/2385 or x?
-1/2385
Suppose 0 = -12*r + 9*r. Let s be 19/(-35) + -3*8/40. Which is smaller: r or s?
s
Let h = -671 - -673. Which is greater: -9.4 or h?
h
Suppose -6*h = -2*h - 228. Suppose 4*s - 2*m + h = -31, 4*m = 0. Let o be 4/s - (-128)/(-22). Which is smaller: -8 or o?
-8
Suppose y + 3 = 2. Let r = 55/168 - -1/21. Is y at most as big as r?
True
Let t = -0.023 - -42.023. Let z = -49.9 + 50. Which is smaller: t or z?
z
Let x = -5756/715 - -266/33. Which is smaller: x or -1?
-1
Suppose -4*k + 2*a - 4 = 0, -437*k + 4*a - 14 = -435*k. Is k bigger than 1/2796?
True
Suppose -x = -0*x + 1. Let d = -3364688/355 + 9478. Is d greater than x?
True
Let l(m) = -6*m. Let o be l(5). Let f be ((-1)/(-7))/(o/35). Let z be -3 - -6 - 8/4. Which is smaller: f or z?
f
Let p be (-5067)/(-18) + -8 - (-1)/(-4). Which is smaller: p or 274?
p
Suppose 1833 = -9*g + 1842. Which is smaller: g or 812?
g
Suppose 0 = -i + 2 - 9. Let n be (i/105)/((-3)/5). Suppose 5*t + 7 = h, 2*t - 5*h + 14 = 2. Do t and n have different values?
True
Let d be 1*2*(-30)/12. Let m(t) = t + 5. Let k be m(d). Let j be 356/208 - 10/8. Which is greater: k or j?
j
Let a = -8.8 - 5.2. Which is greater: a or 2/5?
2/5
Let x = 47 + -45. Suppose 0 = 2*t + 3*t. Suppose -p + 2*p + 3 = t. Which is smaller: x or p?
p
Let a be -6*(-2 - 187/(-99)). Let t be -2 + (-2)/10*-12. Is a > t?
True
Let w be ((-4)/32)/((-3)/(-3090))*4. Let z be 8/(-9)*2315/4. Let r = w - z. Is -1 at least r?
False
Suppose 114*c - 36 = 116*c. Let o be (1 + 33/c)*-2*-3. Do o and -5 have different values?
False
Let h = 0.311 - 0.411. Is -1.15 greater than h?
False
Let g = 4596.47 - 4615. Let s = -0.47 + g. Let n = s + 19.1. Is 12 at most n?
False
Let h = -47 - -38. Let v = h + 0. Is -9 not equal to v?
False
Suppose -5*n = 3*x + 2, -16*x - 4 = 4*n - 13*x. Which is greater: n or 29/52?
n
Let a = -0.008 + 4.708. Let y = a + -5.7. Is y bigger than 16?
False
Let q = 51 - 35. Let y(x) = -3*x**2 + 3*x + 19 + 0*x**2 - q + 5*x**2. Let d be y(-2). Which is smaller: 6 or d?
d
Let v = 75 + -76. Let u be (-15)/(-35)*((-8)/(-10) + v). Which is bigger: 1 or u?
1
Suppose -113 = 22*t - 17*t - 7*o, 101 = -5*t + 4*o. Is t != -122/7?
True
Let d be (-70)/(-6) + 10/30. Let j(b) = b**3 - 13*b**2 + 11*b + 7. Let h be j(d). Is h < 0?
True
Suppose 3*h = -0*h - 36. Let i(c) = -10*c + 21. Let n be i(2). Let o be (h/90)/(n/(-3)). Which is smaller: o or -6/17?
-6/17
Let k = -16 - -36. Let n be (-6)/8*k/12. Is n at most as big as 0?
True
Suppose -628*q + 631*q = 3. Do -2/1397 and q have different values?
True
Let k be (-5)/(-2 - 3/6). Suppose 5*c = -4*x + 62, -k*x - 3*c + 28 + 4 = 0. Suppose -j = x - 9. Are -3 and j equal?
False
Suppose 2*b - 8480 = 472. Let w be (-8)/b*1*(6 - 3). Which is smaller: w or 1?
w
Suppose 0 = -18*x - 1921 - 25907. Are x and -1546 unequal?
False
Let v = -148 - -146. Let x(d) = 103*d - 1. Let s be x(1). Let l = s + -209/2. Which is greater: l or v?
v
Let o be 1 + (-6)/(6/1). Suppose 4*h - 10*h + 192 = o. Which is greater: h or 31?
h
Let h be ((-11)/3 + 3)*-6. Suppose 4*r + 5*j = 24, -5*j = -h*r - 0 - 16. Let k be r/7 + (-30)/14. Is 5 > k?
True
Let r = -91 - -65. Let s = 26.1 + r. Which is smaller: s or -17?
-17
Let z be (1*(-42)/7)/(-3). Which is smaller: z or 17/25?
17/25
Let c(a) = 17 - 14*a - 16*a + 31*a. Let u be c(-16). Let h = 0 + -2. Is h < u?
True
Suppose -5*b - 25 = -2*u, -4*u - 5*b + 10 = u. Let a = u - 1. Suppose 1 = m - 3. Is a at least as big as m?
True
Let w = -177 - -382. Let c = 2 + -1. Let n be w/215 + -2 + c. Which is smaller: 0 or n?
n
Suppose 2 = 4*r - 2*l, -2*l + 8 = r - l. Suppose -r*s - s = 4*c + 28, -3*s = 4*c + 29. Let y be 11/(-33) - c/6. Which is smaller: y or 0?
0
Let s = 23.065 - 23. Let x = 2.065 - s. Are x and -2/17 non-equal?
True
Let h = 22 + -20. Suppose -4*f = 20, 2*z - 4*z = 3*f + 15. Suppose z = -4*v + 2*x + 2, -v = -x - 0 + 2. Is v smaller than h?
False
Let y = -77566/39 - -1989. Let h = -6/13 + y. Which is greater: h or -5?
h
Let x = -3/553 - -2287/13825. Which is smaller: 0 or x?
0
Let m be 17/(-12) + -1 + 2. Let n = -1077 - -1078. Which is smaller: m or n?
m
Let z(h) = -3*h**3 - h**2 + 11*h - 24. Let p be z(4). Is 0 equal to p?
False
Let x = 2.191 + -2.2. Is x > 0.1?
False
Suppose -1 = -3*v + 5, -8 = 4*t - 4*v. Let m = t - -4. Suppose -3*g + 22 = 4. Is g at most m?
False
Let s = -14 + 28. Suppose 0 = 2*w + 5*o - 62, o + 2*o = 5*w - 62. Which is smaller: s or w?
s
Let r be ((-8)/(-50))/(-7 + (-264)/(-40)). Does r = 0.094?
False
Let f be 2*3/(-6)*3. Let g be 2*(2/4 - f). Suppose 0 = 3*a - a - 14. Is g at most as big as a?
True
Let h be 21/3 - (10 - 3). Is h less than -2/603?
False
Let m be 4/(-12) - (-8)/(-3). Let d(i) = -i**2 - 5*i + 1. Let w be d(m). Which is smaller: w or 10?
w
Let p(q) = q - 13. Let i = 39 - 28. Let l be p(i). Which is smaller: l or -3?
-3
Let n be ((3 + -3)/(-2))/1. Suppose -5*v - 2*j + 1 = 2*j, -2*v + 5 = -3*j. Let y be n - -1 - (v + 1). Which is bigger: -4/7 or y?
-4/7
Let o = 4/305 + 269/2745. Is o smaller than 18/7?
True
Suppose -2*p + 30 = p - 5*s, -5*p + 31 = -2*s. Suppose p*k - 4*x + 109 = -x, 31 = -2*k - 3*x. Let a = -16 - k. Are a and 0.3 equal?
False
Let m(l) be the third derivative of -l**6/120 - l**5/5 + l**4/24 + 5*l**3/2 - 4*l**2. Let h be m(-12). Suppose h*i + 1 = 2*i. Which is smaller: i or -1/13?
i
Let x = 42 - 47. Is x at most as big as 11?
True
Suppose -2*d + 4*d - 30 = 0. Let u be (6/(-153))/((-35)/d). Is -1 equal to u?
False
Let f(i) = i + 1. Let n be f(3). Suppose n*p + 16 = -4*d - 0*d, -25 = 5*d. Is p > 2?
False
Let r be 1/(-9) - 4/18. Let w = -42 - -40.4. Is r at most w?
False
Let r = 0.1461 - 5.1461. Suppose 5*m = 4*s + 13, -3*s = m - 2*m - 4. Let c = -5 + s. Which is bigger: c or r?
c
Let y = 46.1 + -47. Let l = -2.1 + y. Is 2 at least l?
True
Let j = -8 + 8. Suppose -u + 24 + 12 = 0. Which is bigger: u or j?
u
Let y = -2249/12 + 563/3. Let x = 1786/5 - 1599/5. Let t = x + -37. Is t greater than y?
True
Let l(f) = -f**3 + 4*f**2 - 4*f - 1. Let b be l(3). Let m be b - (0/7 - (1 - -3)). Which is bigger: 2/83 or m?
2/83
Let b be ((-76)/14 - -2)*(-10)/40. Let q = 1 - 3. Is q < b?
True
Suppose 0 = p + 4*a + 2 + 36, -5*p = -5*a + 65. Let i be (2 - p/(-5))*(-315)/(-462). Is -1 greater than i?
True
Let d be (-585)/(-35) - 4/(-14). Let n be (18 - 1)*(5 + 12 + -16). Is d at least as big as n?
True
Let u = 1425 - 1453. Is u != -6?
True
Let c(u) = u**3 - 4*u**2 + 2*u + 1. Let j be c(3). Let a(r) = -r**2 - 17*r - 18. Let t be a(-16). Is j smaller than t?
False
Let n be 8/44 + (-4 - 2576/(-594)). Which is smaller: 1 or n?
n
Let y be -11*(3 - 7 - -8). Let r be (-3)/((-237)/48 - -5) - -3. Which is bigger: y or r?
y
Suppose 2*s = 2*n + 346, -2*n - s + 0*s = 343. Let b = 509/3 + n. Which is greater: -2/9 or b?
-2/9
Let u(k) = k**3 + 8*k**2 +