ter: b or l?
l
Let h = 25/2 + -11. Let d(t) = t**3 - 8*t**2 - 20*t - 7. Let r be d(10). Let k be 1 + 0 + (3 + r - -4). Which is smaller: h or k?
k
Suppose -36 = -o - 5*o. Suppose 537 = o*p + 159. Is 63 greater than p?
False
Let g = -489 + -51. Let a be ((-4)/(-30))/(g/300). Which is smaller: a or -2?
-2
Let v(c) = -c**2 + 3*c + 3. Let l be v(3). Suppose -45 = -5*r + 5*d, -17 = -1428*r + 1425*r + d. Is l <= r?
True
Suppose -38 = -2*i + 2*g, -i + 142*g - 138*g + 37 = 0. Is 58/5 less than or equal to i?
True
Suppose v = 5*s, -6*v + v = -3*s + 44. Let r be (6620/(-100))/(966/v). Let c = r + 2/69. Is c at most -2/5?
False
Let u be (7/12)/((-735)/2352). Let o be -1 + 9/7 - 0. Which is bigger: o or u?
o
Let k(g) = 3*g + 23. Let o(b) = b + 22. Let c be o(-17). Suppose c*h + 27 = -2*s + 4*s, -s = 4. Let f be k(h). Which is smaller: f or 14/11?
14/11
Let j be 5/10 - 135/262. Let s(i) = -i**2 - 3*i - 3. Let h = -69 + 67. Let t be s(h). Which is smaller: j or t?
t
Let n = -48441/574 - -591/7. Let j(p) = -p**3 + 2*p**2 - p. Let g be j(1). Are g and n nonequal?
True
Let s = 43 + -38. Suppose 0 = 10*o - 11*o + s. Let g be 5/o - 3/(-3). Is 24 >= g?
True
Let j(a) = 121*a**2 + 366*a - 3. Let m be j(-3). Which is smaller: m or -5/176?
m
Let t = 73729472/2509 + -29386. Are -1 and t nonequal?
True
Let x(h) = -5*h + 181. Let r be (3/24)/((-2)/(-16))*37. Let g be x(r). Is -3 < g?
False
Let k be ((-12)/(-70))/((-108)/(-177930)). Let n = -283 + k. Is n at most 4/3?
True
Let y be (-2)/(1 + (-172)/48). Let j = -5179 + 5180. Which is smaller: j or y?
y
Let t = -9/5015 + 11369041/20060. Are 568 and t nonequal?
True
Let t = -1093 - -2380. Is 1288 not equal to t?
True
Let r = 18 - 16. Suppose 0 = 8*n - r*n + 60. Let x be -18 - (4 + n)/(2*1). Does -16 = x?
False
Let m(a) = -a**3 + 17*a**2 + 637*a + 4. Let d be m(35). Is 315 smaller than d?
False
Suppose -7*p - 1389 - 431 = 0. Let s = 260 + p. Are s and -7/5 unequal?
True
Let f = -289 + 303. Let q be (-1 + 21/f)*(2 + 0). Is q > 32?
False
Let g(z) = -4*z**3 - 67*z**2 + 83*z + 1117. Let l be g(-17). Let a = 749/5 + -156. Is l less than a?
False
Suppose 90 = a + 2*r, 0*r + 474 = 5*a + 2*r. Suppose 130*q + 5208 - 17616 = -2*q. Which is bigger: q or a?
a
Let g = 4.7121 - -0.1879. Suppose -4*r - 5*w - 104 = -0*w, -16 = 4*w. Let n = -22 - r. Are g and n nonequal?
True
Let h(z) = -4*z**2 - 20*z + 2. Let l be h(-5). Suppose 0 = l*r - 5*v - 51, -v - 3*v = 4. Let a be 46/((3 - 4 - 0)*-2). Do r and a have the same value?
True
Let u be (-43653)/(-204) - (-1 - 0 - -1). Let i = -214 + u. Which is smaller: -1 or i?
-1
Let x = 2105/8 - 22147/88. Let d = 40 + -30. Is x at most d?
False
Suppose -4*k - 9 = -w, -k = -4*w - 2 + 23. Let u be (0 - -1)*6/6*-50. Let c be (-60)/20 - u/6. Is w at most as big as c?
True
Let l = 33955/32 - 1061. Suppose 12*f - 14*f + 6 = 4*u, -4*u = -2*f + 6. Which is greater: u or l?
l
Let v = -162.5 + 162.481. Is 0.035 smaller than v?
False
Let g = -416 + 717. Let m = 302 - g. Do m and 0 have the same value?
False
Let v(q) = -q**3 + 4*q**2 - 6. Let w be v(2). Let u be -16 + w/4*-2. Let h be 8/(-64)*(u - 1). Which is smaller: 3 or h?
h
Let q = 65970 + -328682/5. Let r = q - 234. Is 0.1 < r?
False
Suppose 0*w + 3*w + 3 = 0. Let x be (-8)/(2/w)*17/2. Let p = 28 + 7. Which is bigger: p or x?
p
Let w(k) = 3*k - 1. Let g be w(1). Suppose -8 = -g*f - 6. Let i = 115 + -116. Which is smaller: f or i?
i
Let u = -263 + 382. Let l be (4956/112)/((-114)/(-304)). Is u < l?
False
Let l(j) = -12*j**2 - 242*j + 29. Let c be l(-20). Which is smaller: c or 71?
c
Let h = -9 - -5. Let s be 22*50*h/(-16). Suppose 0 = -2*v - 5*u + s, 6*v - 4*u = 7*v - 136. Which is smaller: v or 139?
139
Let i(o) = 4*o**2 - o + 2. Let j be i(-2). Let s be ((-1)/(-2))/((-1)/j). Suppose -54*m + 2159 = 2699. Is s greater than m?
False
Let v = -2.5512 - -1.7312. Let p = -0.05 + 0.05. Is p bigger than v?
True
Let r = -48 - -5. Let j = 73 - 31. Let v = r + j. Which is smaller: -8/21 or v?
v
Let i = -15522.9 - -15523. Which is greater: i or -56.77?
i
Suppose 0 = 5*d + 20, 0 = -x - 2*d + d. Suppose 8*u = 3*u + 2*n - 12, -5*n - 4 = -x*u. Let b be (20 + -20)/(u/2). Is b < -2/73?
False
Suppose 0 = -4*g + 5*g + 25. Let r = -12 - g. Suppose 0 = 227*n - 229*n - 6, 4*n = 2*y - 38. Is r greater than or equal to y?
True
Let k be (-3 + (-12572)/(-4192))*-2. Let j = k - 657/1048. Let z be (8/6)/(-2)*(1 - -2). Is z greater than j?
False
Suppose 2*a - 4*o + 28 + 132 = 0, -a + 4*o - 88 = 0. Let w = a - -76. Let h be w/30 + 11/55. Which is smaller: 3/16 or h?
3/16
Let m = -70326 + 942860684/13407. Which is greater: m or 1?
1
Let l(z) = -26 - 7*z - 51 + 20 + 54*z + 9*z. Let o be l(7). Are 336 and o equal?
False
Suppose -3*y + 2*t - 118 = 0, t = -0*t - 1. Suppose v = 3*q + 1, 0*q + 4*q + 4 = 4*v. Let h be q - 76/y - 1. Is h <= 1?
True
Let i = -8 - -5. Let o = -1.1363 + 0.0863. Let l = 10.05 + o. Which is greater: l or i?
l
Let q(o) = o**3 + 16*o**2 + 15*o - 2. Suppose -2*f - 29 - 1 = 0. Let k be q(f). Is k greater than or equal to 27?
False
Let y(n) = 7*n + 15. Let q be y(-1). Suppose -5*v + 11*a - 6*a = -30, -2*v - 2*a - q = 0. Does 16/21 = v?
False
Let j be 8517/8670 + (-1 + 3)*2/(-4). Let l = -0.8 + 0.9. Which is smaller: l or j?
j
Let a be -4*(-1 - (-14)/(-4)). Suppose -q + 178 + 346 = -5*y, 3*y + 311 = 4*q. Let u = y + 122. Are u and a nonequal?
True
Let h be 4 + (3 - (-118)/(-18)). Suppose -39*x - 560 = -67*x. Is x < h?
False
Let g = 554 + -630. Let b = g - -60. Which is smaller: -49/3 or b?
-49/3
Let a = 60767/55 - 1104. Let r = -5/11 + a. Is 58 equal to r?
False
Suppose -3*r + 20 = 4*i, 2*i + 2*i + 5*r = 20. Suppose 0*k = -k, -5*u - i*k = 210. Let o = 45 + u. Is -2 less than o?
True
Suppose f - 4*t = 5, 9 = 4*t - t. Suppose x + 1216 = f*x. Let r = 20 - x. Does r = -57?
False
Suppose 13 + 2 = 5*f. Suppose 0 = -f*x - 7*x - 250. Let k = 58 + x. Is 34 smaller than k?
False
Suppose -3*q + 3*m - 969 = -273, 2*m - 226 = q. Is -240 at most q?
True
Suppose -18*y - 47 - 7 = 0. Which is bigger: y or -63/20?
y
Let l = -8666 + 9956. Which is smaller: -3 or l?
-3
Let w(q) = -q**3 - 13*q**2 + q + 7. Let b be w(-13). Let n be ((-87)/18)/(2 - 30/18). Let o = -19 - n. Which is smaller: b or o?
b
Let h be 2 - (596/(-28) + (-4)/(-14)). Let f = 2 - 22. Let r be f/(-50) - (-226)/10. Is r greater than or equal to h?
True
Let a be (-384)/(-2)*12/24. Suppose a*d - 92*d = 748. Is 185 != d?
True
Let f = 0.87 + -1. Let h = f + 0.04. Let k = -1896 + 1892. Is k at most as big as h?
True
Suppose -10*s - 29524 = 70*s + 42*s. Is s > -2/7?
False
Let f(o) = 94*o - 2385. Let x be f(19). Which is bigger: -598 or x?
-598
Suppose 5 = -b - 2*m, 10*b - m = 12*b + 10. Let z = b - -1. Let w = -8 + -3. Is z greater than w?
True
Suppose -b = y + 5, b + 3*b + 20 = -3*y. Suppose 2*h = -y - 44. Let x be (-42)/2 + (1 - 2). Is h less than or equal to x?
True
Let d = -658 - -686. Let y = -0.317 + -0.709. Let a = -0.026 - y. Which is bigger: d or a?
d
Let r = 5802.4 - 5802. Is -162 != r?
True
Let g = -4858.53 - -4859. Is g <= -3/2?
False
Let s = 8 - 0. Suppose -s*b + 78 = 14. Let k be ((-9)/((-1170)/4))/(b/(-10)). Is 1 bigger than k?
True
Suppose 3*y + y = 5*z + 20, -4*y + 4*z = -24. Let f = y + 2. Is 11 at most f?
True
Let u = 2.1449 + -2.2309. Are 0.01 and u nonequal?
True
Let n = -569 - -569.11. Suppose -77 = 5*r + 2*r. Which is bigger: n or r?
n
Suppose 20*g - 112 = 908. Let j be (-198)/(-4) - (-2)/4. Let l = g - j. Which is bigger: l or -3/44?
l
Let s be (12/(-16) - -1)*-1. Let n be 12 + -12 + 94/(-8). Let z = n - -12. Which is greater: s or z?
z
Let z = -0.198 - -0.18. Let s = z + 9.018. Let f = s + -7. Which is bigger: f or 1?
f
Suppose 0 = -3*r + 3*x + 1005, -r - x + 1675 = 4*r. Let h be (-7 - r/(-50))*8/(-6). Is h less than -6/11?
False
Suppose 15*v - 388 = 1208 - 66. Is v < 11?
False
Let j be ((-27)/5 - -1)*(-5)/1. Suppose 3*p + 22 = -5*m - 26, 3*m + j = 5*p. Let n(k) = -k**2 + k + 75. Let f be n(m). Do 0 and f have the same value?
False
Let i(l) = 4*l**2 + 21*l + 79. Let k be i(-5). Let r = k + -130. Which is smaller: r or -2?
r
Let n be 0 + 4 + -6 + 5. Suppose n*r + 0 - 3 = 0. Is r at least as big as -1/268?
True
Suppose d - 3 = 146. Suppose -3*m - d = -5. Is m not equal to -50?
True
Let j = -7.08 + 6.08. Let 