b or r?
b
Let v be 1/6 + ((-22173)/18)/(-19). Is v greater than or equal to 64?
True
Suppose -324 = -0*p + 3*p. Let i = -16 + 13. Let s be -1 - (p/(-20))/i. Which is greater: s or 0?
s
Let l be 424/(-28) + 2 + -6. Let c = l - -1728/91. Suppose -9 = -p + 4*z, -p - 4*z + 2*z = 3. Are p and c unequal?
True
Let a be -113*(30/25 - (-31)/(-5)). Is 566 less than or equal to a?
False
Suppose 0 = 2*y - 2*q - 140, -5*y + 2*q - 29 + 391 = 0. Let w be (-30)/(-20) - 294/(-4). Is y less than w?
True
Suppose -k - 3*k = 0. Suppose k = -6*l + 7*l - 15. Let x be 20/l - (-2)/(-12). Is x less than or equal to 1?
False
Let b = 38 - 38. Suppose 2*g - 2*i = b, 3*g + 15 = -0*i - 2*i. Which is bigger: -13/4 or g?
g
Suppose 0 = -n + 4*d + 42, 2*n - 3*d - 26 = 38. Suppose -n + 76 = -5*u. Do -10 and u have the same value?
True
Let r = -372 + 250. Let v = r - -119. Let w = -2.9 - 1.1. Is v <= w?
False
Suppose 3 + 37 = 2*m. Suppose 55*a - 59*a = -m. Which is smaller: a or 32/5?
a
Suppose -5 = -2*b + 3. Let z(s) = -6*s + 1. Let x be z(b). Let u be x/11 + -8 + 10. Which is greater: u or -1?
u
Let u be (-3)/21*-3 - 327/(-21). Is u greater than -0.32?
True
Let n = -1 + -6. Suppose 4*d - 7 + 23 = 0. Is d bigger than n?
True
Let z be (1/(-4))/((-12)/792). Suppose 7*d - 2*d - 90 = 0. Which is bigger: z or d?
d
Let r(d) = -21*d - 7. Let v be r(-2). Suppose 0 = 4*c - v + 7. Which is greater: 8 or c?
8
Let c(r) = r**3 - 4*r**2 + r + 3. Let a be c(3). Let y be a/(-1 - -7)*0. Let l(s) = 2*s**2 - 4*s - 49. Let v be l(6). Do v and y have the same value?
False
Let m be ((-4)/(-36))/((-12)/72)*6. Which is smaller: m or -60/19?
m
Let b(q) = -q**2 - 14*q - 3. Let u(n) = n**2 + 15*n + 2. Let i(s) = 6*b(s) + 5*u(s). Let v be i(-5). Let z be -1 + 1 + v/44. Is z smaller than 0?
False
Suppose -5*x - m = -26, -2*x - 4*m = -5*x + 11. Suppose -4*d + 9*d = -x. Let r = 9166/29 - 316. Which is smaller: r or d?
d
Let p(j) = j**3 - 4*j**2 + 2*j + 2. Let m be p(2). Let l be (-1482)/(-5005) + m/11. Which is greater: l or -1?
l
Suppose -4*c - m - 6 = -4, m + 2 = 5*c. Is -1/156 at least as big as c?
False
Let i be 1/(-1) + 16/1. Let l be 15/3 - (-182)/14. Let h = i - l. Are -4 and h equal?
False
Let r be 319/(-44) - 1*-7. Which is greater: 31 or r?
31
Let g = -244 - -243.96. Which is smaller: 6.9 or g?
g
Let i = -40519/144867 + -8/1123. Let g = i + -2/43. Let b = 0 + -1. Which is bigger: b or g?
g
Let z = -9000512511/14399 - -625079. Let t = z - -310407/287980. Let a = t + 6/35. Which is smaller: 1 or a?
1
Suppose -2*y = -7*y - 3*o - 106, 0 = -y - 4*o - 28. Let w = -18 - y. Suppose w*u + 7 = 1. Which is smaller: -6 or u?
-6
Let h be ((-1568)/(-490))/(3/45*3). Suppose 2*t = -4*k + 14, t - 55 = -3*t + k. Which is smaller: h or t?
t
Let s be ((-25)/(-50))/(2/36) - 5. Let f be (-2)/(-2) + 14/6. Which is smaller: s or f?
f
Let j = -380.07 + 380. Let a = -0.06 + 4.06. Is j greater than or equal to a?
False
Let k be 7*((-69)/(-21) - 3). Suppose -4*g = -4*z - 0*z + 64, -5*z + 74 = -k*g. Is 14 >= z?
True
Let i(s) = s**2 - 7*s + 6. Let v(y) = -2*y - 8. Let a be v(-9). Let n be i(a). Let w be (n/16)/(1/4). Is 10 greater than or equal to w?
True
Let x be 24/6 - (2 - 412/(-16)). Which is greater: x or -25?
x
Let g = -4.7 - -35.8. Let n = g + -31. Do n and -0.08 have the same value?
False
Let f(g) = -5*g - 2. Let a be f(1). Let h be 0 + 8/4 - a. Suppose -5*p - h = -4. Is -1/3 >= p?
True
Let b = 136 - 137. Let u(i) = -i**3 - 5*i**2 + 5*i - 5. Let z(v) = 3*v + 6. Let q be z(-4). Let g be u(q). Which is greater: g or b?
g
Let a = 343 + -344. Do -1/49 and a have the same value?
False
Let i be (-3)/(-6) + (3 - 268/64). Let d = -81/112 - i. Is d at most -1?
False
Let n(s) = -s**2 - 10*s - 8. Let y be n(-9). Let l = 0 - 0. Let i = l - y. Is -2/11 at least i?
True
Let o = 12 - 25. Let h = o + 14. Suppose 0 = 2*j - h - 5. Is j greater than 15/8?
True
Let s = -9 - -35. Let v = 26 - s. Suppose -2*c + 6 = 0, -3*f - 3*c + c + 15 = v. Which is greater: f or 4?
4
Let t(x) = x + 1. Let c = 24 + -28. Let o(v) = v**2 + 6*v + 5. Let b be o(c). Let n be t(b). Is -1 >= n?
True
Let a be 148/(-42) + (-4)/28. Let m = -48 - -45. Do m and a have the same value?
False
Let d(a) = -a**3 - 30. Let r be d(0). Let z be (r/(-25))/((-1)/(-5)). Let l = z - 6. Is 2/35 at least l?
True
Let n = 0.04 + -6.04. Let l = n - -5.9. Let w = -20 + 20.1. Which is smaller: l or w?
l
Suppose 624 = -3*s - 21*s. Is 1 at most as big as s?
False
Let i = -94 - -116. Is 2/3 at least i?
False
Suppose 34 = -l + 14. Let s be 74973/189 + l/35. Let c = -395 + s. Is 0 bigger than c?
False
Let y = 10 - 6. Let z be 80/35 + y/(-14). Let b be -4 + 5 - z/(-10). Is 0 less than b?
True
Let j = 0.0056 - -0.0344. Let h = 0.2 - 0.25. Do j and h have different values?
True
Let k be (-2)/18 + 3/(-27). Which is smaller: 51 or k?
k
Let d(t) = -2*t**3 - 9*t**2 + 14*t - 9. Let i be d(-8). Is i equal to 327?
True
Let u(y) = 3*y - 76. Let k be u(27). Let z = 2503/54 + -1/54. Let j = 46 - z. Is j less than or equal to k?
True
Let t be (-3)/4 - -3*235/780. Let g = -0.09 + 5.09. Which is smaller: g or t?
t
Let x = 15 - 13. Suppose -2*l = 2*q - 10, -3*q + 18 = -x*l + 3. Which is bigger: -1/21 or l?
l
Let z = 168 + -1850/11. Suppose 0 = -2*s + 2. Is z != s?
True
Suppose 3*z + 17 = -s, s = -4*z - 2 - 20. Let o be z*1*12/(-20). Suppose 5*v = -4*a + 4, 4*v = o*a - 5*a + 8. Which is bigger: v or 3?
v
Let o be ((-535)/75 - -7)/(2/(-2)). Let j(t) = t**3 - 7*t**2 + 5*t + 8. Let i be j(6). Is i > o?
True
Let k = -3499/3 - -1165. Are -61 and k equal?
False
Let r(j) = -j**3 - 1. Let l(o) = -14*o**3 + 2*o**2 - o - 3. Let w(p) = -l(p) + 3*r(p). Let i be w(1). Let g be 18/(-15)*i/(-4). Is 3 bigger than g?
False
Suppose -5*d - 204 = -19. Let x = d - -37. Let a(q) = q**2 + 2*q - 1. Let b be a(-3). Is b <= x?
False
Suppose -2*m - 3*m = x + 117, -3*m - 59 = -5*x. Suppose 0*d = -d + 4. Let s = d + -4. Is m < s?
True
Let l = 0.04 + -17.04. Is -2 less than l?
False
Let f(j) = 6*j**3 - 71*j**2 - 15*j. Let h be f(12). Is -36 less than or equal to h?
True
Suppose -2*g + 21 = 2*g + 3*x, 4*g = -x + 31. Let q be 58/(-26)*(-8 + g). Let a = q + 2. Which is bigger: -1 or a?
a
Let h be 9/(-36) - 13/(-4). Suppose -5*q - 4*t + 0*t = 3, -3*q - 3 = h*t. Suppose -5*i + 5 = -2*y - 3*y, 2*y - q = i. Which is smaller: y or 5/4?
5/4
Let u = 68 - 3. Which is smaller: u or 64?
64
Suppose -17 = -3*p + 22. Let c = 17 - p. Let q be (c/(-14))/(21/(-49)). Is q at least 1?
False
Let y be ((-4)/(-36))/((-39)/351). Let c be (-12)/9*2/(-6). Is y less than c?
True
Suppose v = -2*q - 8, -3*v - 4 = -q + 2*q. Suppose d = v, -d = -3*o + 3*d + 12. Suppose 5*n = 2*k - 8, -4*k = 4*n - 2 - 14. Are k and o equal?
True
Let k be (2/6)/(2/4). Let l = 11839/4 + -2959. Are l and k unequal?
True
Let a = 2329 + -426202/183. Which is bigger: 0 or a?
a
Let t be 29/(-22) + 10/(-55). Let a(z) = -16*z - 2. Let o be a(-2). Let f be 10/4*(-24)/o. Which is greater: f or t?
t
Let i = -5.82 - -6.89. Is i < -0.1?
False
Let f be (6/(-8))/((-34046)/232). Is f less than 1?
True
Let a = -2085 + 3220. Does 1135 = a?
True
Let q = -34 - -44. Which is bigger: q or 12?
12
Suppose -45 + 42 = -3*j. Which is smaller: j or 3/274?
3/274
Let k be ((-4)/16)/(2/(-1112)). Suppose -379 = -4*y - k. Let s = 182/3 - y. Is s less than or equal to -8?
False
Suppose -3*t + 20 = -8*t, 3*x - 27 = 3*t. Let l = -19 - x. Let a be 2*1 - (-12 + 37). Which is bigger: l or a?
a
Let i(u) = -u**3 - u**2 + 6*u + 5. Let d be i(-3). Suppose 77 = -3*w - a, -w + 6*w - d*a + 135 = 0. Does w = -27?
False
Let h(q) = 3*q**2 - 26*q + 17. Let r be h(8). Is -1/99 >= r?
False
Let l be (-368)/10 + (18 - -3)/(-7). Is l not equal to -40?
True
Suppose 2*i + 862 = 2*n, 480 - 49 = -i - 2*n. Is -431 equal to i?
True
Let f = 728/537 - 4/179. Is f bigger than -2/7?
True
Let x be -9*(-1 + 2/1). Let q(j) = -10*j - 6. Let t be q(x). Let n be (-4)/2 - (-192)/t. Which is bigger: 0 or n?
n
Let q = 6 + 0. Let o be ((-1)/(0 - 1))/(21/189). Suppose -j - 3*x - o = 8, -3*j = 4*x + 26. Which is smaller: q or j?
j
Suppose -3*o = -2*v + v, -2*v = 6. Let c be (-14 - -18) + (1 - -59). Let q be (-40)/c*(-3)/(-5). Which is greater: q or o?
q
Let w = 7.3 + -3.3. Let q be 1/((2 + 2)/(-2)). Is w > q?
True
Let q = -184/8697 - 1/223. Let s = q + -35/156.