-6/11 or b?
b
Let l = -1 + 0. Suppose 0 = 5*u + 3*v + 26 - 4, 2*u = -3*v - 7. Let y be (9/(-6))/(u/(-2)). Which is bigger: l or y?
y
Suppose 5*o + 5*q - 10 = 0, 4*o - 2*q - 13 = -q. Let d be (-4)/(o + 2 + -4). Let t(r) = r + 5. Let b be t(d). Is b less than or equal to 2?
True
Let d = -175 - -183. Let b = 15.2 - -2.8. Let p = b - d. Are p and -0.1 unequal?
True
Let q = 6/11 + -41/55. Let k be (25/(-5))/((-1)/(-2)). Let h = k + 9. Which is greater: q or h?
q
Let h = 50 - 41. Let g be 12/(-1 - -4) - h. Is -7 at most g?
True
Suppose 3*m + 6 = 5*a - 9, 4*m = -2*a - 20. Is a at most as big as -1/1743?
False
Let h(x) = -x**3 - x**2 + 3*x + 1. Let s be h(-4). Let z = 55 - 18. Let a = s - z. Is 0 > a?
False
Suppose 4*y = 4*j - 1616, 2*y + j + 847 = 33. Is y at least -404?
False
Let z(l) = -l**2 + 5*l - 3. Let b be z(1). Which is greater: b or -3/136?
b
Let c be ((-60)/110)/(45/(-66)). Which is bigger: c or 67?
67
Suppose -2*n - k + 507 = 0, 4*k = -5*n - k + 1270. Let r = n + -1774/7. Do -1 and r have different values?
True
Let n = 24224160 - 104599922321/4318. Let b = -3/254 + n. Do b and -1 have the same value?
False
Suppose 2*f - 4 = 3*g + 1, 0 = -3*f + 5*g + 7. Suppose 6*c + 2 = f*c. Let a = 1 + -1. Is c greater than a?
False
Suppose -g - 6*h + 2*h - 10 = 0, 3*g - 3*h = 0. Is 500 > g?
True
Let l(c) = c**2 + 2*c + 1. Let n be l(-1). Let p = 1532/583 - 120/53. Which is smaller: p or n?
n
Suppose 2*p - 5 = -4*r - 9, p + 3*r + 3 = 0. Let m = -43/70 + 3/14. Which is bigger: m or p?
p
Let q = -19.4 + 20. Let b(j) = j**3 - j**2 + 2*j - 1. Let c be b(1). Suppose -d = -2*d + c. Is q >= d?
False
Let z be 2/(-15)*(-9)/(-75). Let j(u) = u**2 - 6*u - 8. Let h be j(7). Are h and z unequal?
True
Let h be 9/((-9)/3) - (1 + -452). Let t be -4 + 1 + h/150. Is 1 smaller than t?
False
Let l be (1 - -2) + (0 - 2). Let u be 10/(-2*(-8)/(-25)). Let i = 1253/72 + u. Is i at most as big as l?
False
Suppose 0 = -2*x + n - 3, 4*n - 1 + 0 = -3*x. Suppose 5 = m - 3*s, -4*m = 2*s + 2 + 48. Let w be m/5 - 3/x. Are 0 and w non-equal?
True
Let d(a) = a**2. Let q be d(-2). Let z be (-3)/(-15)*q/26. Let w(m) = m**3 - 3*m**2 - 6*m + 8. Let l be w(4). Is z less than or equal to l?
False
Let k(p) = 2*p**2 + 3*p + 2. Let z be k(-1). Let t = z + 5. Let r be 4/t + (-30)/(-9). Is -1 less than or equal to r?
True
Suppose 0 = -6*b + b + 2*m + 56, -4*b + 4*m + 52 = 0. Suppose 0 = 4*u - s, 4*u - b = 2*u + 3*s. Is -3/19 greater than u?
True
Let k be 74/6 - 2/(-3). Let o be (-4 - 608/(-156))/(4/54). Let z = o - -23/26. Is z < k?
True
Let s = 564 - 507. Which is smaller: s or -1?
-1
Let q be (-2*12/(-20))/(-4). Let c = 76 + -73. Is q less than c?
True
Let l be 32*(-2 - 12/(-8)). Let w = l - -21. Suppose -w*d + 22 = v, -7*v - 5 = -2*v + 2*d. Which is smaller: v or -11/4?
v
Let p be 2/6 + (-12)/18*2. Which is smaller: p or -0.0951?
p
Let x = -3 - -7. Let m be (-1)/x*6/5. Let c = 243 - 244. Which is bigger: m or c?
m
Suppose 2*w + 2 = -q, 3*q - 4*w = -19 + 3. Let c(z) = -2*z + 6. Let f be c(q). Let l be 24/6 + (1 - -10). Is f at most l?
True
Let h = -1176.684 - -1177. Is h at least -2?
True
Let t = 4 - 5. Let d be ((-2)/(-4))/(51*(-16)/(-24)). Is d != t?
True
Suppose m + 47 = -63. Which is smaller: -111 or m?
-111
Suppose -4*d + 4 = -5*r, 6*d - d - 3*r - 5 = 0. Which is greater: -4/29 or d?
d
Let a(k) = 3*k + 1. Let m be a(-2). Let v = -9 - m. Suppose -l + 27 - 2 = -5*z, -25 = 2*l + 5*z. Which is smaller: l or v?
v
Let v(c) = 2*c**3 - 7*c**2 + 5*c - 7. Let g be v(3). Is g bigger than 1/123?
False
Suppose 47*u - 1944 = 38*u. Which is smaller: u or 215?
215
Let q = 8 - 6. Suppose 0 = 4*r - 2*t - 260, -q*r = -5*t - 87 - 43. Is 65 < r?
False
Let p be 36/(-2043)*(-7)/(-2). Is 1 greater than or equal to p?
True
Let u = 7 - 1. Let p be (5 - 26/u)*(1 + 68). Is p bigger than 46?
False
Let j(i) = -14*i**3 + i**2 - 2*i - 3. Let t(r) = -r**3 - r**2 + 5*r - 4. Let u be t(-3). Let k be j(u). Is k at most 15?
True
Let x(p) = p**2 + 3*p - 12. Let t be x(-9). Is t greater than or equal to 42?
True
Let n be 1/(-4) + 2386/(-24). Let d = n + 102. Let z(b) = 156*b - 310. Let g be z(2). Are g and d equal?
False
Suppose 15 = -3*c - 3. Let m be (-3)/c - (-205)/(-2). Let p be (12/6)/(m/(-3)). Is p greater than 1?
False
Let o = 496 - 6454/13. Let y(j) = -j**2 - 16*j + 18. Let a be y(-17). Let q be (-1)/a*(-2)/(-2)*-1. Do o and q have different values?
True
Suppose 16*m - 12*m = 0. Does m = -16/15?
False
Let m = -1 + 1. Let g = 20 + 36. Let c = g + -56.01. Which is greater: m or c?
m
Let w = -301 - -312. Which is bigger: 7 or w?
w
Let n be (-1)/(-1 + 2)*-3. Suppose 3*b - 1 + 10 = n*o, 2*b + 2*o + 14 = 0. Let d(x) = x - 6. Let j be d(5). Is b greater than or equal to j?
False
Let s = -821 + 818. Is s less than or equal to -2/9?
True
Let d = 97 + -75. Suppose 56 = -d*k + 26*k. Which is greater: k or 16?
16
Let w = -3.43 + 3.23. Let j = -18 - -18.55. Let y = j - 0.5. Does w = y?
False
Suppose -5*j - 104 = 8*j. Let m = j - -2. Let u(d) = -d + 1. Let s be u(5). Is s greater than m?
True
Let j be -3 - 4*(-1)/2*-7. Let a(i) = 3*i + 52. Let t be a(j). Is t not equal to -3/11?
True
Let w(g) = -g**2 + g + 2. Let q be w(2). Let j be -28*((-5)/(-12) - 2/3). Suppose -4*y = -2*n - 2, 4*y - 5 = j*n - 2*n. Is n equal to q?
False
Let m be 1/(12/(-9)) - 11/(-4). Is 32 < m?
False
Let w be ((-96)/28)/((-10)/(-385)). Let u = w + 143. Is u != 4?
True
Let p = 12 + -3. Suppose p = 2*z - 15. Let y = z - 5. Are 8 and y non-equal?
True
Suppose x + 82 = 5*x - 2*p, -2*x + 46 = 4*p. Suppose 5*c - 14 - x = 0. Let o(y) = y**2 - 8*y. Let k be o(c). Is -7 not equal to k?
False
Suppose 10 = -o + 3*o - 2*a, 0 = o + 5*a + 7. Suppose 6*g = 3*g + o. Let v be (g - 2) + -4*2. Is v greater than -9?
False
Let m be 0 + 9/6 + -1. Let b = 0.7 - 1.8. Let z = b - -1. Is z != m?
True
Suppose -4*m + 24 = -4*j, 0 = 4*j - m + 17 + 13. Let k be j/100*-5 - 1. Which is smaller: 1/8 or k?
k
Let y = 46.4 - 47.4. Which is smaller: y or -6.7?
-6.7
Suppose -3*q + 3 = -6*q. Let r = -317 - -22189/70. Is q <= r?
True
Let i = 643/12 - 8629/156. Which is smaller: -2 or i?
-2
Suppose 5*v - 15 = 2*a, -6*a = 2*v - a + 23. Let z be 2/142*(-1 + 3). Which is smaller: v or z?
z
Let f = 36005/21 - 1715. Which is bigger: 0 or f?
0
Suppose -2*h - 2 = -4*p, h - 16 = -4*h + 3*p. Let k = -329 - -329. Suppose k = v - h*v. Is v bigger than 1/2?
False
Let a(h) = -4*h**2 + 3*h + 29. Let i be a(6). Let k = -96 - i. Which is smaller: 7/9 or k?
7/9
Let v = 38097638/9 + -2783709665/657. Let n = v - -3930. Let x = n - -399/1460. Which is smaller: -1 or x?
-1
Let o = 582 - 262. Let p = 182 - o. Let j be 2/5 - p/30. Is 7 greater than j?
True
Let t = 96 - 86. Let w be t/(-12)*112/(-700). Let d = 1 - 0.9. Which is smaller: d or w?
d
Let u = -5.7 + 0.69. Let p = 0.01 + u. Let d = -5.2 - p. Is 2 at least d?
True
Let v be 27/6*24700/(-78). Is v equal to -1?
False
Let n(u) = 3*u + 10. Let s(j) = -j + 1. Let i(r) = n(r) - s(r). Let p be i(-4). Let k(a) = a**2 + 6*a + 1. Let o be k(-5). Is o at most p?
False
Suppose 36 = 5*n + 2*l, n - 2 - 10 = 2*l. Let b = -9 + n. Let o = -2/211 + -179/3376. Is b at least as big as o?
False
Let n = 70.22 - -21.83. Let l = n + -112. Let f = 20 + l. Which is greater: 0 or f?
f
Let s(t) = 14*t + 14. Let h be s(-2). Is h bigger than -14?
False
Let n(d) = d**3 - d**2 + 11*d + 24. Let l be n(-3). Is l greater than -0.2?
False
Let s(v) = 3*v + 5. Let d be s(4). Suppose -4*x + 3 + d = 0. Which is smaller: 3 or x?
3
Suppose 16*q + 36 = 12*q. Let m(d) = d**2 + 8*d - 1. Let v be m(-7). Let c = q - v. Which is bigger: c or -9/4?
c
Let g be (27848362588/(-50))/((-1332)/(-95)). Let p = g + 39723640. Let o = p + 21/74. Which is smaller: o or 1?
o
Let b = -22 + 27. Suppose 10 = -3*h - 2*i, 0*h - 20 = -b*h + 4*i. Which is bigger: 2/11 or h?
2/11
Suppose 5*g - 3*m + 4 = 19, 2*m = -4*g - 10. Suppose -2*k - 3 + 5 = g. Which is bigger: 11 or k?
11
Let z(m) = -2*m**2 - 10*m - 4. Let l be z(-3). Let i(u) = 2*u**2 + u**2 - 10 - 7*u - 2*u**2. Let c be i(l). Which is smaller: c or -1?
c
Let z = 80 + -73. Suppose -2*m = 3*m + 3*d + 87, 5*m - d = -71. Let p be m/z*(-2)/3. Is 0 < p?
True
Suppose -115 = 5*g + 95. Let s be (-1)/2 - g/12. Suppose -5*v - 4*r + 10 = 0, 7*v = 2*v + 5*r + 10. Which is smaller: s or v