r: s or -0.1?
s
Let c(x) = -82*x + 393. Let y be c(5). Which is greater: -196/11 or y?
y
Let h(m) = -100*m**2 + 4. Let b be h(2). Let i be (-2)/(-11) - ((-556)/b + -1). Let w = 0.99 - 1. Is i at most w?
True
Suppose -4*j = 272 - 276. Is 2/1263 greater than or equal to j?
False
Let z(w) = -3*w + 70. Let x be z(10). Is x equal to 37?
False
Let t = -81 - -43. Let r be 38/(-14) + t/133. Let d be (0 + r/(-9))*3. Is -1/16 greater than or equal to d?
False
Let d be 9/(-3 + -6)*2/(-1). Which is smaller: d or 12/23?
12/23
Suppose 5*a = -18 - 107. Let k(h) = -16*h + 1015. Let d be k(65). Is d < a?
False
Let h = -476 + 477. Which is bigger: 18/89 or h?
h
Let v = 27 + -27.052. Let r = -0.152 - v. Which is bigger: r or 24?
24
Let h = -1.3 + -14.7. Let x = 25 + h. Let v = -7 + x. Is -1 bigger than v?
False
Let j = -2252 - -2110. Does -573/4 = j?
False
Let f be ((-2)/4)/((-5)/50). Suppose -f*h + 6 = l, -4*l + 2*l - 4*h = -6. Is l at least 11?
False
Let f be (-84)/(-44) - 4/2. Let o = 250 - 249.9. Which is smaller: f or o?
f
Let g = 9777947834723/24310 + -402219162. Let u = g + -2/715. Is u != -1?
True
Let x = 1 - 1. Let y(c) = c**3 + 2*c**2 - 3*c. Let d be y(-4). Let i = -14 - d. Is x >= i?
False
Let n be (222/(-185))/((-3)/((-15)/2)). Which is smaller: 80 or n?
n
Let h = -1 - 0. Let r be 14/4*(12 + 7 + -15). Let a be (-5)/(-14) + (-6)/r. Is h at least as big as a?
False
Let q = 95 + -97.7. Let a = 9 - 7.3. Let v = a + q. Which is bigger: 1/3 or v?
1/3
Let h be (-22000)/99396 + (-4)/(-18). Is h <= 0?
False
Let v = 21 - 17. Let p = -0.49 + 0.59. Which is bigger: v or p?
v
Let c = -27495/4 - -6955. Which is greater: c or 81?
c
Let f = -70.7 - -61. Is 0.2 at least as big as f?
True
Let l = 62.81 + -56.8. Let f = l - 1.11. Which is greater: 1 or f?
f
Let g be (6/7)/(-1 - -21). Suppose -6*q + 9 = 3. Is q != g?
True
Let c = -122.6129 + 122.7. Are c and 2/3 unequal?
True
Let k = 12.26 - 12.56. Is k equal to -296?
False
Let g(i) = -8*i**3 - 48*i**2 - 3*i - 17. Let k be g(-6). Which is bigger: 2/3755 or k?
k
Let j = 6/109 + -295/3379. Suppose 6 = -5*f + 1. Which is smaller: j or f?
f
Let k be -4 + (-45)/(-6)*500/30. Which is smaller: 122 or k?
k
Let c be 5 + (-236)/(-16) + (-7)/(-28). Is c at most as big as 24?
True
Suppose w - 214 = 226. Suppose -w = 4*z + z. Which is bigger: -89 or z?
z
Let g = 71824/63 + -1140. Which is smaller: 1 or g?
g
Let q be (2/(-4))/((-9)/6). Let u = 440 - 441.6. Is u at most as big as q?
True
Suppose -4*i + 248 = 4*y, 2*y = 4*i - 323 + 87. Let h = -48 + i. Which is greater: h or 10?
h
Let y = 1226/3 + -401. Is 9 less than y?
False
Let x be 11684/(-20) + 1 + 2. Let a = 577 + x. Let h = 6 - 11. Which is greater: a or h?
a
Let c = 10/33 - 74/99. Let b = -4 + 4.3. Which is greater: b or c?
b
Let i = 18 + -31. Let x = -7 - i. Let k be (x/4)/((-3)/(-6)). Which is smaller: k or 2?
2
Let r = -8752/11 + 797. Is 1/5 at most r?
True
Suppose -2*m + 12 = 5*t - t, 17 = 3*m + 5*t. Let f = 7.429 - 4.429. Which is greater: m or f?
m
Let n be 4/1 - (-1 + 1). Let u(d) = d + 37. Let l be u(-33). Suppose y - 3*y + l = -x, 3*y = -n*x - 5. Is y > 3/10?
True
Let z be 507/(-90) + 1/(-6). Which is smaller: z or 1?
z
Let c = -73.1 + 96.1. Which is smaller: c or 5?
5
Let f be (-350)/(-63)*1*(-36)/(-16). Which is smaller: f or 14?
f
Let o(l) = 5*l**2 + 7*l + 6. Let n(x) = 9*x**2 + 14*x + 12. Let f(j) = 4*n(j) - 7*o(j). Let w be f(-5). Let s be 1*(2 + 2)/w. Which is smaller: -2/9 or s?
s
Let y = 450 + -294. Is 157 at least y?
True
Suppose -448 = -4*x - 28. Let r be 3/(-6) + (-1049)/10. Let d = r + x. Is 1 at least d?
True
Let n = 92 + -168. Let b = n - -83.6. Let i = -8 + b. Which is smaller: i or 0?
i
Let d(h) = -h - 4. Let w be d(-3). Let o be (-106)/66 - ((-25)/(-15) - 2). Are w and o unequal?
True
Suppose 3*m + 7 = -2*z, 2*m + 4 = m + z. Which is smaller: m or 58?
m
Let q be ((-15)/(-25))/((-6)/(-406)). Let w = -3456/85 + q. Is w smaller than 0?
True
Let h be (616515/19)/5*(-2)/(-771). Let d = -320/19 + h. Is d equal to 1?
False
Let x = 84 + -91. Let r(n) = -n - 1. Let k be r(7). Which is bigger: k or x?
x
Suppose -3*z + 48 = z. Let o = -9 + z. Let d be 2/5*o/12. Is 0 at most as big as d?
True
Let j = -0.05 - 0.25. Let u = 118.9 + -119. Is j smaller than u?
True
Let v = -75 - -77. Let x be (57/(-15) - -3)/v*20. Which is smaller: x or -3?
x
Let l = 34 + -11081/326. Which is greater: 1 or l?
1
Suppose 5*u - 50 - 38 = 4*i, -5*i = u - 6. Suppose 12*g - u*g = -4. Let j = -2 + 3. Is g at most as big as j?
True
Suppose -l = -4*p - 16, 7*p - 4*p = -5*l - 35. Let b(z) = z**2 + 6*z + 4. Let o be b(p). Let v = 230/21 + -76/7. Is o bigger than v?
False
Let s = -675/14 - -243/7. Let q = s - -889/66. Which is smaller: 1 or q?
q
Let y be (-18)/(-96)*22/12. Is 1 at most as big as y?
False
Let t be (1/2)/((-3)/2). Let b = 2.14 - 2.1. Let m = b + 0.26. Which is smaller: t or m?
t
Let y(q) = -2*q**3 - q**2 - q - 1. Suppose 0 = 5*j - 3*j - 4. Let m be y(j). Which is smaller: -22 or m?
m
Let u be (-144)/(-10) + 22/(-55). Suppose u*d = 226 + 96. Is d != -0.1?
True
Let j = -1322 + 1323. Is j less than or equal to 3/370?
False
Let v = 899 - 891. Is 17/2 smaller than v?
False
Let s = -89 - -85.3. Let p = -0.056 + -4.644. Let f = s - p. Which is smaller: -0.13 or f?
-0.13
Suppose 4 = -2*c - 4*y + 2, -4*y + 5 = c. Suppose 0 = -2*u + 6, q - 3*u + 3 = 2*q. Which is greater: q or c?
q
Let t be 34/(-273) + (-20)/(-260). Which is greater: 1 or t?
1
Let p = -910.7 - -911. Is -72 at most as big as p?
True
Let b(f) = -f - 10. Let a be b(-17). Is 0 greater than a?
False
Let l = 241 + -251. Is -9 at least l?
True
Let m be 0*(-3)/(-2 - -11). Suppose -2*z + 5*j = 2, -2*z + j = -m*j + 2. Is 1/11 smaller than z?
False
Let p = -1.1 - -5.5. Let j = -1.3 - -0.3. Is p < j?
False
Let z(p) = -6*p**3 - p**2 - 2*p - 1. Let n be z(-1). Suppose -2*h + n*h = 0. Let m be h/(-1 + 0 - -2). Which is greater: -1/8 or m?
m
Let y(k) = 7*k + 1. Let o be y(-1). Let w be ((-9)/(-54))/((-1)/o). Do w and -2/39 have the same value?
False
Let f = 892 - 892.2. Is f less than -72?
False
Let z be (-6)/(-21) - (-61)/7. Suppose 2*c + 4*w = -0*c + 20, -4*w + 30 = 3*c. Which is smaller: z or c?
z
Let q(y) = y**3 + 8*y**2 + 8*y + 8. Let v(g) = -g + 0*g + 14 - 5 - g. Let n be v(8). Let j be q(n). Is 1 at least as big as j?
True
Let n be -3 + (-3)/3*-13. Suppose 0 = 5*r - n*r. Let x be -2 + (-14)/(-3) + -2. Which is smaller: r or x?
r
Let l = -0.4 - -0.3. Let r = 25.933 - -4.067. Is l greater than r?
False
Let y be 10/22*(12 + 2). Which is bigger: 5 or y?
y
Let j(m) = 33*m - 15. Let k be j(11). Which is greater: 349 or k?
349
Let x = -138 + 549/4. Let u(f) = 49*f - 4. Let w be u(1). Let k = w + -46. Is k >= x?
False
Suppose 3*a = -8*a + 2*a. Which is smaller: -10/7 or a?
-10/7
Let z be (-1)/6*(-9)/2. Let j = -57 + 216. Let u = 160 - j. Is u less than or equal to z?
False
Let q = 0.099 + -0.099. Is q smaller than -57?
False
Let v be 4*2/((-4)/1). Let d be 5/15 + (-2)/6. Let i = d - 1. Is i less than v?
False
Let c be ((-42)/(-8))/(91/(-84) - -1). Suppose -5*v - 102 = 208. Is c greater than v?
False
Let d = 7 - 4. Suppose 3*a - 2*i - d = 7, -3*a = -4*i - 20. Suppose -2*h - 4*s = -6, 0 = -4*h - 2*s - a*s - 12. Is h <= -5?
True
Let a(x) = -8*x**2 + x + 4. Let f be a(-3). Let u = 70 + f. Which is greater: u or -1/8?
-1/8
Let y = -0.3 - -0.2. Let n be (-3)/8*14/(-21)*0. Suppose -4*j - 11*w + 6*w + 4 = n, 2*j = w - 12. Which is smaller: y or j?
j
Let o(x) = 2*x - 35. Let k be 20/60 + (100/6 - 0). Let w be o(k). Let z be -1 + 2 - (-49)/(-51). Is w <= z?
True
Let r be 22/11 + 6/3*-5. Is 0.15 less than r?
False
Let i = 375 + -373.8. Suppose 4*k - 6 = 2*k. Suppose -s = 2*s - k. Is i > s?
True
Let z be ((-11)/(1617/(-72)))/((-78)/(-21)). Which is smaller: z or 1?
z
Let b(q) = q**2 - 2*q - 2. Let a be b(4). Suppose 0 = -a*t + 6. Which is bigger: t or 0?
t
Let r(c) = -c + 1. Let d be r(0). Let w = -326 + 334. Is d >= w?
False
Let n be (-108)/10 - 6/(24/(-20)). Is -5 <= n?
False
Let v = -93 - -93. Suppose -5*d + 9 + 1 = v. Is d not equal to 3?
True
Let f = 6 - 16. Let c = -1.17 - -0.46. Let q = 0.29 - c. Which is smaller: q or f?
f
Let a = -159 - -158.88. Which is smaller: a or 3?
a
Let h = 494 - 522. Which is smaller: 7 or h?
h
Let s(a) = -4*a + 23