- 15 = 3*d + 5*o, -5*d + 210 = 2*o. Let m be d/30 - 262/201. Is m bigger than 0?
True
Let t = -22 - -22. Suppose t = 5*g + 4*g. Which is smaller: 3/17 or g?
g
Let f(a) = 5*a**3 - 2*a**2 + 2*a - 1. Let x be f(1). Suppose -2*q = -x*q. Let l be (-4)/(-2) + q/(-2). Do l and 2 have different values?
False
Let j be -8*(-78)/(-12) + 5. Is -48 <= j?
True
Let h = 145 + -146.23. Is 0 greater than or equal to h?
True
Let z = -319 - -291.8. Let y = 27 + z. Let x = -96/17 + 1406/255. Is y at most x?
True
Suppose 3*o + 9 = -q + 26, -q = -5*o - 17. Let f be -4*(-9)/(-12) + 50/q. Is -1 bigger than f?
False
Let m = -1406 + 804. Is -601 greater than or equal to m?
True
Suppose 3 = -3*c - 6. Suppose -5*w + 3 + 12 = 0. Let f = 4 - w. Is f greater than or equal to c?
True
Let f(x) = x**3 + 5*x**2 + 6*x + 8. Let k be f(-4). Suppose -5*n + 2*q = 4, q + k - 1 = 2*n. Which is greater: 4 or n?
4
Let c = -70213/6 + 8353787/714. Let m = c - -42/17. Let o = -13.9 - -2.9. Is o bigger than m?
False
Let r be (-1)/(-3)*4/6. Suppose 2*a - 2 = a. Suppose -2*o - 4 = 2*h - 10, -a*h - 6 = -o. Which is smaller: h or r?
h
Let s = -0.19 + 9.19. Let h = s - 9.2. Let l = 0.5 - h. Which is smaller: -0.1 or l?
-0.1
Let m(k) = 0*k**3 - 2*k**3 - 24*k + 0 + 5 + 21*k. Let d be m(2). Let h = d + 15. Which is bigger: -15/7 or h?
h
Let k = -15 - -8. Let g be 3 + 0 - (-19)/(-2). Let o = k - g. Which is smaller: o or 8?
o
Suppose -31 + 155 = -4*p. Suppose 3*q + 35*c = 38*c - 105, q - 2*c = -39. Is p less than q?
False
Let q = -308 + 386. Is q less than 82?
True
Let t = -0.14 - -0.2. Let i = -0.16 + t. Let w = -7 - -7.3. Which is smaller: i or w?
i
Let h be (1 - 0) + 1/(34/(-22)). Which is greater: h or 0?
h
Let c = -7079/302043 - -2/2271. Is c bigger than -1?
True
Suppose -i + 1 = -2*z, 4*i - 7 = 3*z + 2*z. Suppose i*q - 5 - 1 = 0, -3*r = -2*q + 7. Which is greater: -8/13 or r?
-8/13
Let r = 160 + -176.1. Let g = r - -16. Is g != 45?
True
Let w be -3 + (14/(-2) - 0). Let g be 5/(-7)*2*(-3)/w. Which is bigger: g or 0.2?
0.2
Let u(f) = -f - 13. Let w be u(-15). Suppose w*s - 2*c - 6 = 0, 0 = -0*s + 4*s + 3*c - 40. Let t be 1 + s/((-35)/2). Which is bigger: t or 1?
1
Suppose -73 = -3*q - 2*f, 2*q - 6*f + 2*f = 38. Suppose -3*i + 13 = -d - 0*i, i - q = 5*d. Which is smaller: -5 or d?
-5
Suppose 39*g = 53*g. Suppose -o - 4 = 4*k, -2 = 2*k - 0*o - 5*o. Which is smaller: k or g?
k
Suppose -4*z + 8 = 0, -5*l + 2*z - 135 = -3*z. Suppose -78 = o + 2*o. Which is bigger: o or l?
l
Suppose 2*z + 4 = -10*x + 8*x, -x - 2*z - 3 = 0. Let v be -1 + (-4)/((-200)/58). Is v at least as big as x?
True
Let n = 32.9 + -31. Let m = 0.0465 - 2.4465. Let k = n + m. Is -0.2 bigger than k?
True
Suppose 0 = -5*q + 13 - 113. Let m be (q/(-6))/((-10)/(-15)). Suppose 10*n = m*n. Which is bigger: n or 25?
25
Let y be 1/(-5) + (-66)/(-30). Let d = y - 1. Which is greater: d or -1?
d
Suppose 0*i + 3*i - 3 = 0. Let p be (-16)/64*i/4. Which is greater: 2/5 or p?
2/5
Suppose 2*a + 72 = 11*a. Suppose x = 5*o + 5, a = 2*o + 3*x - 7. Which is bigger: o or -24/17?
o
Let h = 60 - 57. Let g be (-14)/h + (-5 + 1)*-1. Let p be 2/6 + 4/(-6). Which is smaller: g or p?
g
Suppose 0 = -3*k - 51 - 9. Let s be (2/k)/(36/135). Do 1 and s have different values?
True
Let d(n) = n**2 - 6*n + 4. Let o be d(4). Let h be o + -11 + (3 - 1). Suppose 4*q = 5*a - 3*a + 20, a + 9 = 3*q. Is a at least h?
True
Let p(g) = -g**3 - 8*g**2 - 9*g - 3. Let n be p(-8). Let i be n/(-21) - 4*(-1)/14. Suppose -15 = -3*y + 8*y. Is y < i?
False
Let x = -569 - -533. Is -36 at most as big as x?
True
Suppose -2*c + 51 - 45 = 0. Suppose -3*h + 5*a = 4*a + 5, -c*h = a - 5. Let m be (3/(-15))/((-28)/5). Which is smaller: m or h?
h
Suppose -5*q - 15 + 120 = 4*x, 0 = q + x - 22. Which is bigger: 28 or q?
28
Suppose -4*k = -3*k + 23. Let i be (0 - 14)*k/46. Let o = -8 + i. Is -3/10 bigger than o?
True
Let c(v) = -v**3 + 9*v**2 + 4*v - 13. Let d be c(10). Is d at least -75?
True
Suppose -26*x - 70 = -3*z - 25*x, 3*x = -2*z + 32. Is z not equal to -10?
True
Let v = 11 - 13. Let d = -9 - -15. Which is bigger: d or v?
d
Let y(w) = 2*w**2 - 37*w + 208. Let r be y(7). Which is bigger: r or 430/9?
430/9
Suppose -5*i = -5*o + o + 109, -2*o = -2*i - 42. Let h = i + -41. Let l be 1*(h/21 + 3). Is 1 at least as big as l?
True
Let n(l) = 69*l**2 - 3*l - 1. Let k be n(2). Let q be k/(-90) + (-42)/(-14). Is -1 greater than or equal to q?
False
Let w(b) = -8*b**2 - 2*b + 13. Let f be w(3). Let y be ((-26)/f)/((-34)/10 - 0). Let k be (-1)/((2 - 1)/1). Which is smaller: y or k?
k
Let u(m) = -87*m + 872. Let a be u(10). Let c be ((-6)/27 - -1) + 0. Is a less than or equal to c?
False
Let t(w) = -5*w**2 - 2*w + 1. Let u be t(1). Let z be 112/(-105)*5/u. Let g = z + -43/18. Which is smaller: -1 or g?
g
Let t = 1405 + -1241.2. Let l = t - 156.79. Let w = l - 0.01. Which is smaller: 1/3 or w?
1/3
Let j(z) = 2*z**2 + z + 13. Let r be j(-5). Which is greater: r or 52?
r
Let r(g) = g. Let y(j) = j**2 - 9*j + 15. Let w(c) = 5*r(c) - y(c). Let z be w(12). Let a = z - 11. Is -1 smaller than a?
False
Let t = -14720 - -1000989/68. Let x = 3/17 - t. Which is greater: x or -1/3?
x
Let f = -60 - -53. Which is greater: 23 or f?
23
Let w = 14.578 + -0.278. Let c = w - 15. Let m = c - -1.7. Are m and 7 non-equal?
True
Let b be 2 + 22985/(-2920) + 4. Let n = b + 18/73. Which is smaller: n or -1?
n
Suppose -10 = -0*z - 5*z. Let x be (z/(-3))/(0 - -2). Let m = 2385 + -2386. Is m < x?
True
Let t be 82*(-2)/(-80) - 2. Let u = t + -49/180. Suppose -4 = s - 5. Is s at most as big as u?
False
Suppose -4*d + 14 = 2*i, 5*d = 2*i - i. Suppose -i*u - 3 = -2*u. Is -7/4 smaller than u?
True
Suppose 4*h + u = 973, 0 = 7*h - 0*h - 2*u - 1684. Is 242 bigger than h?
False
Let m(j) = j + 12. Let q be m(-13). Is 11/28 at least q?
True
Let x = 5 + -21. Let v = -13 - x. Suppose v*i + 7 = 2*d, 0*i + d = i + 3. Is i not equal to -1/5?
True
Let j = -32.64 + -0.36. Let c = -32.9 - j. Let d = 17/5 + -41/15. Is c != d?
True
Let n be 5/2*1/170. Let x = -1138 - -1139. Which is smaller: n or x?
n
Suppose -4*o + 384 = 48. Let i be (10/14)/(o/(-490)). Let k = -269/66 - i. Is k at most 0?
False
Let x(a) = -a**2 + 6*a. Suppose -5*y + 2*m - 5 = -2*m, 4*y = 3*m - 3. Let z be x(y). Let p = 0.06 - -0.04. Which is smaller: z or p?
p
Let g(r) = -r**2 - 10*r - 11. Let h be g(-8). Suppose -h - 1 = 2*d. Let u be (-4 - d)/(4/(-4)). Is u less than 1?
False
Let a(y) = 9*y**3 - 2*y**2 - 2*y. Let t be a(2). Let m = t - 125/2. Which is greater: m or 2?
2
Let c be (-21)/145 + (144/(-45) - -3). Is 1 < c?
False
Let v = 34 + -27. Suppose 0 = 7*r - v - 14. Which is greater: 1 or r?
r
Let l(t) = -7*t**2 - 4*t - 11. Let h be l(-2). Are h and -61/2 equal?
False
Let u = 126 - 134. Let x be 4 + u + 10/3. Is 0.018 > x?
True
Let j be 69/15 + -5 + (-118)/(-364). Let r = 4/35 + j. Are r and 1 unequal?
True
Suppose -95*g + 720 = -101*g. Which is bigger: -123 or g?
g
Let d be (-10)/(-4)*(-4)/20*2. Which is smaller: 4 or d?
d
Let h = -13.3 + 13. Let r = 0.378 - 0.558. Which is bigger: h or r?
r
Let z = 0.15 - 5.15. Let v = z - -22. Is -1 not equal to v?
True
Let l be -4*(1 + 67/(-4)). Let d be l/(-70)*4/15. Let i = d + 164/475. Are 0 and i unequal?
True
Let c be (-5 - 168/(-32))*36. Is c less than 14?
True
Let j be -2 + 3 + 2/(3 - 11). Which is bigger: j or 0.1?
j
Let f(z) = 14 + 12*z + 2 - 11*z. Let b be f(-15). Is b < 0?
False
Let w(f) = 1 + 0*f - f + 0*f. Let x be w(1). Suppose 2*q = -3*j - 0 + 3, x = 5*q + 5*j - 5. Is -3/10 less than or equal to q?
True
Let m be 671/(-66) - (-1)/2. Which is smaller: m or -11?
-11
Let f = -90 + 46. Let s = f + 43.9. Is -6 at least s?
False
Suppose 4*z = -4 - 0. Suppose -4*w = 2*p + 7 - 35, 0 = 5*w - p - 28. Let a(q) = -q**3 + 6*q**2 + q - 5. Let y be a(w). Is y >= z?
True
Let u = 741 + -784.7. Are -1 and u nonequal?
True
Let u be 4/(-5) - (-742)/265. Is u > 21/19?
True
Suppose 31*r - 13860 - 2446 = 0. Which is smaller: 1049/2 or r?
1049/2
Let p = 22 - 42. Let g = -19 - p. Let q(o) = o**3 + 7*o**2 - 8*o. Let k be q(-8). Is g at most as big as k?
False
Suppose -t + 4*a = 2*t - 83, -4*a = 8. Let w = 23 + -2. Let s = t - w. Which is smaller: s or 2?
2
Let h = -589/3 + 194. Which is smaller: -3 or h?
-3
Let a be 2 - (-2 + 0 - -2). Suppose -4*i = -2