ose 1 + 3 = d. Is q < d?
True
Let k be ((-1)/8)/((-4)/((-33536)/48)). Is -23 at least as big as k?
False
Let o(h) = -81*h - 627. Let l be o(-7). Is -58 < l?
False
Let x(l) = -l**2 + 2*l + 3. Let f be x(-2). Suppose -47*o + 4 = -48*o. Which is smaller: f or o?
f
Let h = -3 - -7. Let v be -5 + h + 16/2. Let a = 222 - 214. Is a smaller than v?
False
Let y(c) = 2 - 3 - 7*c + 4 + 0. Let z be y(2). Let f be 0/(-1) + z/(-165). Is f < -1?
False
Let n = -0.1 + -0.3. Let x = n + 0.34. Let i = 652 - 653. Which is smaller: x or i?
i
Let t(r) = r**3 - r + 2. Let d be t(-2). Let v be d/(-10) + 376/(-40). Which is smaller: -1/3 or v?
v
Let s = 42 + -76. Let o(d) = -d**3 - 33*d**2 - 32*d - 33. Let b be o(-32). Is s < b?
True
Let u = -2418/5 + 118542/245. Is 1 at most as big as u?
False
Let b = 1948 - 1949. Is b < 6/13?
True
Let z = 28 + -45. Let w = -7 + z. Is -24 greater than or equal to w?
True
Let r = -637 - -635. Which is smaller: -29/11 or r?
-29/11
Suppose -2*b - 4*x + 36 = 3*b, -2*b - 3*x + 20 = 0. Suppose -b*s + 102 = 2*r - 2*s, -5*s - 45 = -r. Is -0.2 smaller than r?
True
Suppose -2*h - 7 = 5. Do h and -50/9 have the same value?
False
Suppose 71*h = 234*h + 1467. Suppose -15 = 3*d - v + 7, 3*v = -15. Is d <= h?
True
Let c = -4 + 14. Let m be (200/(-12))/((12/(-9))/4). Suppose -l = 39 - m. Which is greater: l or c?
l
Let g be ((-40)/240)/((-1)/(-9)). Which is bigger: -6 or g?
g
Suppose 0 = -5*c + n + 5 + 2, 2*n - 14 = -4*c. Is c greater than 36/41?
True
Suppose 4*k + u - 377 = 0, -3*k - 2*u = -19 - 270. Suppose 0 = -4*j + 5*d - 43, -4*j + 2*d = 7*d + k. Is -15 at least j?
True
Let f(l) = -l + 3. Let n be (-1 - -3) + 3 + -3. Let s be f(n). Suppose 5*d + 0 = 5. Is d greater than s?
False
Let p = -7.99 - 0.01. Let z = -17.3 - -3.3. Let s = p - z. Which is smaller: 0 or s?
0
Suppose -112 = 33*x - 49*x. Which is smaller: x or 6?
6
Let i = 2.06 + -0.06. Let p be (-10)/4*60/(-1350). Which is smaller: p or i?
p
Let m be (-2)/14 + 314*(-9)/63. Are -45 and m unequal?
False
Let o = -19/15 + 3/5. Let k be 0/(-2 + -2)*-1. Let b = k + 1/6. Which is smaller: b or o?
o
Let u = -10 - -10. Let v = 212/3 - 70. Which is bigger: u or v?
v
Let p be (-4692)/119*22/8. Is -109 at most as big as p?
True
Let x = 27989405656/395 + -70859335. Let q = x - -401/5. Is q smaller than 1?
True
Let u = 26 + 244. Is 270 not equal to u?
False
Let h be (-338)/(-39)*(4 - 1). Is h bigger than 27?
False
Let l(k) = 1 + 0 - k + 1 + 14. Let n be l(16). Suppose 2*p + 0*f - 3*f = -7, 5*f = 15. Are p and n non-equal?
True
Suppose 2*s - 2 = 4*w, -w + 0*s + 1 = s. Suppose w*n = n + 3. Let j be (3/(-45))/(n - -4). Are j and 0 non-equal?
True
Let x(y) = y**3 + 15*y**2 - 16*y + 3. Let j be x(-16). Suppose -75 = -5*k + j*i, -3*k - 5*i + 45 = -0*k. Is k >= 12?
True
Let q be ((-1)/(-15))/((-11)/4521). Which is smaller: -26 or q?
q
Let j = -921 + 920.9784. Is -2 < j?
True
Let x(o) = -2*o**2 - 10*o - 1. Let n be x(-6). Let y = n - -15. Let i be -2 + -3*(1 + -2). Is i greater than or equal to y?
False
Let r = -11132/5 + 2226. Let u(l) = l**2 + 11*l + 10. Let z be u(-10). Is z smaller than r?
False
Suppose -g + k - 3 = 0, 0 - 6 = 2*g + 5*k. Is -5 bigger than g?
False
Let p(m) be the second derivative of -m**5/20 - m**4/2 + m**3 - 3*m**2 - 4*m. Let h be p(-7). Let k = 42/17 - 151/68. Is k equal to h?
False
Suppose -4*h = 5*b - 22, 5*b + 5*h = b + 23. Suppose -3*g - 72 = -3*q, -g - b*q + 4*q - 27 = 0. Is g smaller than -20?
True
Let i be (-1)/(-4) + (-387)/(-4). Let a = i + -98. Which is smaller: -1/15 or a?
a
Suppose -5*k + 4*k - 5 = 0. Let h = k + 14/3. Let g = 31 + -32. Is h at least g?
True
Let q = -0.27 - -0.12. Let r = q - -32.15. Let t = r + -31. Is 6 at least as big as t?
True
Let u be (-15)/10*(-184)/6. Suppose u*o - 41*o = -150. Is -30 bigger than o?
False
Let q be ((-2)/(-38))/((-77)/(-385)). Do q and 1 have the same value?
False
Suppose w = 4*w - 12. Suppose -w + 3 = -s. Is s greater than or equal to -0.1?
True
Let f = -3461 - -2883015/833. Is f >= -1?
True
Let d = 8 + -9. Let b be -1*1*42/(-3). Suppose 4*k - 30 = 3*a, 4*k - b = a + 4. Which is smaller: a or d?
a
Suppose 0 = -5*x - 62 + 12. Let a be 12/x*5/23. Let q be (-7)/6 - (-125)/750. Which is greater: a or q?
a
Let j = -0.14 - 0.86. Let l = -13 - j. Let n = 13 + l. Which is smaller: 3 or n?
n
Suppose z + p - 29 = 6*p, 0 = 2*p + 10. Suppose -z*w = -3*w + 9. Suppose 0 = -2*v - 0*v - 18. Is v != w?
False
Let m(r) = -r**3 - r**2 + 8*r - 4. Let u be m(0). Is u less than or equal to 3/10?
True
Let s(n) = n**3 - 9*n**2 + 11. Let q be s(9). Suppose q*t = 8*t + 45. Suppose 6*l = l + t. Which is bigger: l or 2?
l
Let o = -4.73 - -4.63. Is o greater than or equal to -7?
True
Let b = -0.1 - -0.3. Let f = 1.97 + -2.13. Let m = b + f. Which is smaller: -0.2 or m?
-0.2
Suppose 0 = 2*g + 6*u - 11*u - 953, 4*u + 1447 = 3*g. Is g at most as big as 490?
True
Suppose 84 = -302*y + 295*y. Is y at least as big as -10?
False
Let g(d) = -5*d + 13 + 2*d - 21*d**2 + 0*d - d**3 + 12*d**2. Let o be g(-9). Suppose -3*k + o = 2*k. Is k > 3?
True
Let g = 334 - 339. Is g greater than or equal to -3?
False
Let g = 28 + -30. Let s be ((-3)/6 + 4/7)/g. Is s at most -1?
False
Let g(j) = 223*j + 8. Let d be g(-1). Which is smaller: -214 or d?
d
Let o be (5/(-1))/((-55)/44) - 4. Let z be 2/(-6) + 14/46. Which is bigger: z or o?
o
Let u(r) = -47*r + 2. Let l be u(1). Let c = l + 40. Is -7 bigger than c?
False
Suppose 2*p + 2*q = 36, -2*p + 0 = -3*q - 21. Suppose -c = 4*t + p, -3*c - t = -1 + 2. Do c and -0.04 have the same value?
False
Let g = -61 + 63. Suppose g*c - 2*y - 8 = 0, -4*c - 3*y - 1 = 4. Is c at most 1?
True
Suppose -26*z - 1 = -27*z. Is 1/27 equal to z?
False
Let l(a) = 20*a + 272. Let h be l(-26). Does -250 = h?
False
Suppose -81*v = -63*v + 18. Which is bigger: v or -3/58?
-3/58
Let n be 2154/39 + (-2)/2 + -2. Let c = n - 52. Let d be (1/2*0)/(-1). Which is smaller: d or c?
d
Let o = 0.19 + 28.81. Let q = -25 + o. Which is bigger: q or -2/5?
q
Let z be -4*((-114)/(-36) + 2/(-12)). Let w = 19 + z. Let l = 15 - 7. Do w and l have the same value?
False
Suppose -12*o + 16*o - 12 = 0. Suppose -3*w = x - w - 3, -2*x - o*w + 10 = 0. Let l be (2/3)/(1/18). Is l at least as big as x?
True
Let n = -0.03 + 36.03. Let z = 41.6 - n. Which is bigger: 0 or z?
z
Let o = -128.8 - -116. Let w = o - 3.2. Which is smaller: -1/6 or w?
w
Let j(q) = -q + 9. Let b be j(4). Suppose 10 = -5*w + x + 4*x, -b*w - 4 = -2*x. Which is smaller: 2/35 or w?
w
Let k = -0.2 + 11.2. Let c = -470 - -484. Let w = k - c. Which is smaller: w or 4?
w
Suppose 39 = -23*z + 26*z. Which is bigger: -8 or z?
z
Let b = 38 - 9. Let s = 67 - 46. Let n = b - s. Is 0.1 >= n?
False
Let o be (-2)/6 + ((-1)/(-1) - 0). Let f = 8 + -3. Let s be 2 + f/(15/(-6)). Which is smaller: s or o?
s
Let d(b) = 2*b**3 + 18*b**2 + 4*b + 20. Let u be d(-9). Which is greater: -97/6 or u?
u
Let k = -16 - -15.63. Let m = 9.63 - k. Is -3 != m?
True
Let y = 3683/220 - 15/44. Is 0.2 equal to y?
False
Let b = -14 + 25. Suppose y + 8*y - 36 = 0. Suppose -y*h + 72 = 24. Is b less than or equal to h?
True
Suppose 239 + 13 = 14*f. Suppose -f*h - 36 = -14*h. Let c = 0 + 2. Are c and h equal?
False
Suppose 72 = z + 202. Is -129 smaller than z?
False
Let w = -0.05 - -2.05. Let i = -395/6 + 202/3. Which is greater: w or i?
w
Suppose 5*j = 1422 + 268. Let v = 2257820 - 76777371/34. Let w = v + j. Which is smaller: -1 or w?
-1
Let f = 17.2 - 17. Let h be 1/(-3) + (55/15 - 7). Which is smaller: h or f?
h
Let t(d) = d + 15. Let c be t(-9). Suppose -2*k + c = -k. Suppose k = -2*i - 14. Which is greater: -11 or i?
i
Let v = -62 + 67. Let p be 2 + 7 - (-4 + 2). Suppose -4 = v*c + p. Which is greater: c or -2?
-2
Let f = 29 + -25. Let w be f + (-842)/211 + 0. Which is greater: w or 1?
1
Let l = 39 - 275/7. Is 32 < l?
False
Let i = 66 + -112. Let w = 44 + i. Is 1/6 greater than w?
True
Let p = 21 - 5. Let y be p/(-10)*(0 - -5). Let f = y - -13. Is f < 5?
False
Let k(l) = -5*l - 152. Let c be k(-30). Which is bigger: -13/7 or c?
-13/7
Let w = 113/56371 + -68919043/732823. Let i = 682/7 + w. Which is greater: 3 or i?
i
Let l = 627 + -10662/17. Is 1 greater than or equal to l?
True
Let v = -579 - -845. Is 267 less than v?
False
Let r = -34 + 32. Let b = -21 + 2