gger: t or -4/7?
t
Suppose -5*y = 4*z - 5, 0 = -5*y + 6*z - 2*z + 45. Suppose 14*g = 9*g - y. Let w be 2 + 8/(-10) - g. Which is smaller: 2 or w?
2
Let b be (28/35)/((-2)/(-10)). Suppose g + 9 = b*g. Suppose 0 = 6*t - 3*t + g. Which is greater: t or 2/7?
2/7
Let b be (1/78)/(25/200). Which is bigger: b or -1?
b
Let l be (15/(-9))/((-1)/(-3)) - 4. Is l bigger than -19/2?
True
Let m be 1 + (-163)/(-40) + (-10)/2. Is m equal to 0?
False
Let v be (-25723)/2 - 7/14. Let s be 16/(-56) - v/(-112). Let h = 115 + s. Which is smaller: h or 1?
h
Suppose 2*z = -2*x + 40, -5*z - 4*x = 16 - 114. Suppose -3*d = -6*d + z. Let j be (-31 - -24)*(-16)/28. Is j greater than d?
False
Let l = -3/89 + 94/5429. Is -1 at least as big as l?
False
Let b(q) = -q**3 - 8*q**2 - 16*q - 25. Let r be b(-6). Let y be (5/11)/(-1 + 0). Is r equal to y?
False
Suppose -1 = -j + 6. Suppose -s - 4*s = 4*g - 12, -3*s + 4*g + 20 = 0. Suppose -4*n = -5*x + 28, -s*n - 22 = -2*x - 6*n. Is x less than j?
False
Let b = -998 + 1036. Is b less than 13?
False
Suppose -6*r = -2*r - 20. Let h(m) = -m**2 - 6*m - 3. Let s(j) = -j**3 - j. Let d be s(1). Let g be h(d). Do r and g have different values?
False
Suppose 0*f = g + 3*f - 14, 3*g - 50 = -f. Let t be ((-25823)/(-2982))/g - (-1)/(-2). Which is greater: t or 0?
t
Let k(v) = v - 2. Let h be k(7). Let f(g) = 3*g + 2. Let t be f(h). Let z be ((-18)/(-45))/(2/95) + -3. Is t equal to z?
False
Suppose 0 = -u + 3*t + 34, -104 = -4*u + 4*t - 0*t. Let p = u + -133/6. Are p and 0.1 unequal?
True
Suppose 14*t = 10*t + a + 1001, 269 = t - 4*a. Which is greater: t or 248?
t
Suppose 9 + 1 = 5*i. Let d be (((-36)/(-15))/i)/(2/5). Is 2 <= d?
True
Suppose 0 + 2 = -2*z. Let p = -34987/193453 + 55/299. Let r = -1212/26527 - p. Is z >= r?
False
Suppose -3*n = -9 - 12. Suppose -n = g - 5. Let h be g/(-4)*(-4)/4. Which is smaller: 9 or h?
h
Let c be (-8)/28 + 16/7. Suppose -8*x + c*x = -276. Is 45 at least x?
False
Let l = 0.775 - 0.86. Let y = l + -0.015. Which is bigger: y or -17?
y
Let o = -528/7 + 75. Let i = 3131 + -3135. Are i and o unequal?
True
Suppose -3*c = -3*o + 654, 10 = -12*c + 7*c. Which is bigger: o or -1?
o
Let t be (-2938)/15*6/8. Let z = t - -147. Is 2 at most z?
False
Suppose -576 = -3*p - 5*y - 210, 3*y + 488 = 4*p. Let o = -237/2 + p. Are 4 and o equal?
False
Let z = -93048/49 + 1899. Let u = z + -38/49. Which is smaller: u or 2?
u
Let a(q) = -2*q + 6. Let g be a(-5). Suppose -5*b + g = -3*b. Which is greater: b or 11?
11
Suppose 0 = -14*b + 23*b - 1044. Which is smaller: 0 or b?
0
Suppose 6*s = -0*s + 1008. Suppose -10*g - s = 2*g. Suppose c - 2*c = 14. Is c < g?
False
Let x = 0.0459 + 0.0121. Which is smaller: x or 5?
x
Let i(u) = u**3 + 2. Let y be i(0). Let m = 15 + -11. Suppose d + 13 - y = 3*j, 3*j = -m*d + 16. Does d = 2/5?
False
Let f(c) = -c**3 - c**2 + 2*c - 1. Let y be f(1). Let x be (175/20)/7*y/(-3). Suppose -2*b - 1 = -3. Which is greater: x or b?
b
Let s = -3.97 + -0.23. Let f be 45/(-18)*(-12)/30. Is s less than f?
True
Let m(j) = 2*j**2 + 17*j + 5. Suppose 5*y + 35 = -5. Let i be m(y). Is i != -3?
False
Suppose -m + 72 = 3*w, w + w - 248 = -4*m. Let s be 3/m + (-5)/(-20). Is 0 bigger than s?
False
Let n(a) = a**2 - 3*a + 3. Let s be n(3). Let m(q) = -q**3 - 2*q**2 - 6*q - 18. Let z be m(-3). Let p = z - s. Is p != 6?
False
Let u = -49 + 244/5. Let r be (8/(-12))/(2/(-6)). Suppose 1 = p + r. Which is bigger: p or u?
u
Let u = 2.4 - 2.08. Let t = u - 0.02. Is 3/10 >= t?
True
Suppose q + 10 = 6*q. Suppose -3 - 1 = 2*f + l, q*l = 8. Let u be 17/f - (-12)/16. Is 1 at least u?
True
Let j be ((-708)/48)/(1/(-4)). Let r = 35 - j. Let h be (-2)/(-16)*r/18. Which is smaller: h or -1?
-1
Let q be (5 + 0/(-2))/(-4). Let l = 38 - 36. Let g be ((-8)/(-56))/(1/l). Is g >= q?
True
Let q be 72/48 + 670/(-444). Which is smaller: q or 1?
q
Let b = 2191/30 - 546/5. Which is greater: b or -35?
-35
Let s be (-1630)/(-2) + 1 + (-5 - 1). Is s bigger than 809?
True
Let x = -59 + 76.5. Is -2 equal to x?
False
Let j = -173.25 + 231.2. Let x = j - 58. Let d(g) = g**2 + 2. Let o be d(0). Do o and x have the same value?
False
Let w = -852 + 50267/59. Let p = 62/177 + w. Which is bigger: -35 or p?
p
Suppose -w + 3*w = 8. Suppose -2*s + s + w = 0. Suppose 3 = -3*q + 4*q - 2*g, 0 = s*q - g - 33. Which is smaller: -2 or q?
-2
Let m be (749/(-42) + 17)*128/45. Which is smaller: -2 or m?
m
Suppose -39 = -5*y - 4*c - 1, 0 = 3*y - 4*c - 10. Let a(b) = -3*b**2 - 6 - 21737*b - 2*b**2 - 1 + b**3 + 21734*b. Let k be a(y). Is k < 12?
True
Let p = -163 - -49. Which is greater: -116 or p?
p
Let s be 0 - ((-4)/(-5715))/(14/(-35)). Is s != 1?
True
Let u(z) = z**3 + 3*z**2 - 2*z. Let j be u(-4). Let d be (-2)/2 + j + 2. Let p(v) = -13*v - 112. Let a be p(-8). Is d greater than or equal to a?
True
Let a(t) = -t**3 - 28*t**2 - 55*t - 72. Let n be a(-26). Let f(h) = 5 + 15 - 2 - 3*h. Let u be f(n). Is -6/7 at most u?
True
Suppose 64 = -10*v + 44. Let p(m) = -m**3 - 2*m**2 - 3. Let s be p(v). Which is bigger: s or -0.01?
-0.01
Let s = -1597 - -1307. Is s greater than -290?
False
Suppose -26 = -2*v - 28. Let z = 8630 + -3167208/367. Which is smaller: z or v?
v
Let r(j) = -j**2 + 7*j - 4. Let i be r(7). Let q be (i - -2)*2 + 4. Which is smaller: q or 3/23?
q
Suppose -5*h = 4*b + 463, h + 202 = -2*b - 31. Let t = 110 + b. Is -25/3 < t?
True
Let t be 3/(11 + -2) - (-11124)/(-81). Which is bigger: -0.3 or t?
-0.3
Let y = -4111 + 4107. Let a = -22 + 8. Let f = 9 + a. Does y = f?
False
Let o = -10 - -13. Suppose -3*f = 2*f + 40. Let c be 27/12*f/o. Which is smaller: -7 or c?
-7
Suppose 0 = f - 4*f + 2*b + 29, 2*f = -5*b + 51. Let a be 3 + 0 - (-7 + f). Let q be 1*-1 + (-5 - a). Is q >= -1?
False
Suppose 19*s - 14*s - 4*v = -16, 2*s = 5*v - 20. Which is smaller: s or -2/359?
-2/359
Let o be ((-980)/6 + (-3)/9)*-3. Which is bigger: o or 492?
492
Let t = 0.94 - 6.04. Let z = t - -5.078. Is 0 less than or equal to z?
False
Let y = -112666/61 - -1847. Which is bigger: y or 0?
y
Let r be (-3)/6 + (-145)/(-10). Let x(k) = -k**3 + 12*k**2 + 29*k - 13. Let l be x(r). Which is smaller: l or 5?
l
Let u be (145/210)/1 - 1. Let n = u - -1/7. Let h = 0.3 - 0.2. Is h smaller than n?
False
Let t = -6.96 + -0.04. Let u = -7.5 - t. Is -0.7 equal to u?
False
Suppose 3*a + 13 = 1, -4*v - 56 = 5*a. Let k = -9 - v. Let r be 2/2*(-3)/13. Is r greater than k?
False
Let b(w) = -4*w - 2. Let d be b(-4). Let t = 430 + -436. Let u = d - t. Are 19 and u non-equal?
True
Let d = 360 - 327.9. Let w = -32 + d. Is -1 at least w?
False
Let c be (2/(-6))/(57512/(-14376) - -4). Is 599 bigger than c?
False
Let s(p) = -p**3 + 3*p**2 + 2. Let o be s(3). Let u = 98 - 98. Is u > o?
False
Suppose 5*w - 71 = 64. Which is greater: w or 29?
29
Let p(r) = -r**2 + 12*r - 9. Let y be p(9). Suppose 64 = 10*m - 6*m. Does m = y?
False
Suppose -4*a + 0*a + 140 = 0. Let k = a + -141/4. Is k equal to 0.033?
False
Let f be 20/6 + (-20)/(-30). Suppose 4*u + d - 1 = 0, 3*d = -6*u + u - f. Suppose 0 = -2*a - 4*g - 12, -3*g = -a - u - 0. Is a greater than -4?
False
Let i be 2/477*((-5)/1 - -4). Let j = i + 2069/477. Which is bigger: j or 4?
j
Let l = 1468 - 811. Which is bigger: 656 or l?
l
Let f be (-2 + 11/5)*(-5 - 283). Let s = -58 - f. Which is smaller: 0.4 or s?
s
Let f(n) = -16*n - 616. Let z be f(-39). Suppose -5*k = -2*k - 33. Which is greater: k or z?
k
Let x = -264 - -210. Do x and -54 have different values?
False
Suppose -4*g - 5*x + 136 = -6*g, 0 = 3*g + x + 238. Let a = g + 80. Which is smaller: a or 17/6?
a
Let j = 16 + -23. Let d = -14 - j. Let u = -11 - d. Is 0 <= u?
False
Let b = 4326 + -4317. Let q be (10/1)/2*1. Suppose 0 = q*d - 4*d - 10. Which is smaller: b or d?
b
Suppose 3*a = 3*v + 12, a - 2 = 2*a + v. Let l be (-14)/(-28) - (-158)/(-4). Let q be (-6)/l + 0/(-7). Which is smaller: q or a?
q
Let j = -0.3 - 0.7. Let w = -0.004 + 4.104. Let d = w + -4.2. Which is smaller: j or d?
j
Let f = -205 - -217. Is f smaller than 45/4?
False
Let g be ((-3)/9)/((-1)/45). Let f be g + -2 + 2/(-2). Let z = -266 + 277. Is z equal to f?
False
Let t = 43 - 40. Suppose 0 = y + t*n, 4*y + 4*n = y - 5. Is -4 < y?
True
Let q = 4.14 + -3.9. Let j = q - 0.14. Which is smaller: j or 0.27?
j
Suppose 0 = -3*j - 27 + 78. Let m(q) = -q**2 - 3