ger than o?
False
Let w = 0 - 2. Let d be 3/w*(-8)/12. Suppose 60*t + 92*t = -11*t. Which is smaller: d or t?
t
Let k be (-2)/5 - (1 - (-734)/(-10)). Let j be (-2)/(-8) + ((-26)/k)/13. Which is smaller: 0 or j?
0
Let t = -886 - -485. Which is greater: -402 or t?
t
Let b = 25 + -21. Let x = 8 + b. Does 0 = x?
False
Let c(z) = -z + 23. Suppose 2*k = -6, -2*k = -2*w - 5*k - 9. Let i be c(w). Which is bigger: i or 21?
i
Let t = 1598 + -1607. Let k = 4 + -3.9. Which is smaller: t or k?
t
Let f = -293 + 123. Which is bigger: -2 or f?
-2
Let m = 14.9 + -84.9. Let i = m + 82.6. Let n = i - 12. Which is smaller: -2 or n?
-2
Let w = -2565734/687 - -11204/3. Are 0 and w unequal?
True
Let t = 0.835 - 0.235. Is 7/3 at least as big as t?
True
Suppose 8*v + 73 + 127 = 0. Which is smaller: v or 1/11?
v
Let i = -139 - -127. Does 21 = i?
False
Let m be (-1258341)/(-315)*(-14)/(-18). Let p = 3107 - m. Which is smaller: p or -1?
-1
Let l be 15716/44 - -15 - 2/11. Which is greater: l or 0.3?
l
Suppose -z = -13 - 5. Suppose 2*l + 5*a - 19 = 0, -7*l + 5*a = -2*l + 5. Suppose -l*y - 28 = g - 2*g, 0 = -4*g - 3*y + 57. Is z smaller than g?
False
Let f = -46 - -44. Let x be (1/f)/(-3 + 141/48). Which is bigger: x or 22/3?
x
Let b = -245945/18 - -27489/2. Is b at least 0?
True
Let g be (-80)/(-684) + 2/(-9). Let b(h) = h**2 - 16*h + 14. Suppose d = -2*y - 2*y + 3, y = -3. Let p be b(d). Is p at most as big as g?
True
Let h be (-65)/(-154) + 4/(-14). Let u = h + 35/66. Suppose 8*c - 4 = 4*c. Which is bigger: u or c?
c
Let b = -0.94 + 0.9. Let r = -0.44 - b. Let i = -3.13 - -0.13. Is i > r?
False
Suppose -14*f + 8*f + 4*f = 0. Suppose 2*j = -5*z + 6*j + 45, j + 5 = f. Let m = -7.3 - -7. Does m = z?
False
Let c(f) = 37*f - 151. Let k be c(10). Do k and 221 have different values?
True
Let t = 64 - 44. Let g = -80 + t. Which is greater: g or -61?
g
Suppose c - 2970 = 56*c. Which is greater: -59 or c?
c
Let w = -140 - -142. Suppose 5*l = w*f - 40, 0 = -4*f - 4*l + 26 - 2. Suppose -2*z = 2*z. Is z at most f?
True
Let o(v) = 2*v**3 + 6*v**2 + 6*v + 4. Let a be o(-3). Let q be (-3)/(-6) + (-21)/a. Is 10/9 less than or equal to q?
True
Let i = -15 - -10. Let v = 73 - 67.9. Let h = i + v. Is 6 <= h?
False
Let l = -89/132 - -1/132. Let k(m) = -6*m + 2. Let a be k(5). Which is bigger: a or l?
l
Let h be 6/(-14) + (-134)/14. Let k = -6 - h. Which is smaller: k or 6?
k
Let f be (5 - 3)/(-8) - 3270/(-13064). Does f = -1?
False
Suppose 2*l - 5 = 5, -3*a - 5*l + 109 = 0. Let s be (24/(-28))/((-1)/a). Suppose -7 = 4*g - 3*u, -s = 3*g + 2*u + 2*u. Which is smaller: g or -3?
g
Let t(k) = -2*k**2 + 12*k - 3. Let v be t(4). Suppose -y + v - 15 = 0. Which is greater: 7 or y?
7
Let l be -1*1*6/153. Let f = -2190 - -2189. Is l at least f?
True
Let w = 432 - 401. Is w less than 225/7?
True
Let r = -12/41 + 478/1353. Let z be 10/45 + (-14)/(-18). Is z equal to r?
False
Let h = 1084 + -1052. Is h at least 35?
False
Suppose 24*h - i = 25*h + 25, -87 = 3*h - 3*i. Is h greater than or equal to -1.2?
False
Let b(h) = -h**3 - 5*h**2 - h + 15. Let w be b(-4). Let f(u) = u**3 - 7*u**2 + 2. Let q be f(7). Which is smaller: w or q?
q
Let l = 52.2 - 60. Let d = -1.7 - 6.3. Let z = l - d. Is z smaller than 0.1?
False
Let j be (-2)/(6/45) - 1. Let p = 29 + j. Suppose -2*n - p - 7 = 0. Are n and -9 nonequal?
True
Let d be -100 - -92 - 4*-2. Is d >= -1/413?
True
Let w = 473 + -354. Is w at most 120?
True
Let l = 0.452 - 0.552. Which is bigger: 0.6 or l?
0.6
Let f = 399 + -712. Is f less than -313?
False
Let t be (-10)/4 + 2/4. Let s be (-8)/(-52)*t/(-4). Let w = 2 - 1. Do s and w have different values?
True
Suppose 5*l + z + 9 = -7, 5*l + 3*z + 8 = 0. Let g(k) = k**3 + 5*k**2 + 6*k. Let i be g(l). Let f(m) = 3*m + 19. Let v be f(i). Which is smaller: v or 0.3?
v
Let g(j) = j + 1. Let c = -13 - -14. Let d be g(c). Let w be (-5 - -5)*1/d. Is -1/2 less than w?
True
Let j be 205/20 - 2/8. Suppose -2*p = g - 4, 2*g - 5*p = 6*g - j. Let f = -1855/24 + 233/3. Are g and f equal?
False
Let u(s) = s**3 + 7*s**2 - 9*s - 5. Let i be u(-8). Let a = i - 2. Suppose 3*k = -w + a, -3*w + 0*w - 5*k + 3 = 0. Is 2 less than w?
False
Suppose -9*v = 91*v + 15900. Which is smaller: -161 or v?
-161
Let w = -0.0247 - -1.6247. Is -1 not equal to w?
True
Let r be (5 - (-12 + 25)) + 37108/4638. Which is smaller: 1 or r?
r
Let t = 827 + -827. Which is smaller: t or -1510?
-1510
Let q = 1 + -1. Suppose -17 = l - 5*y, -l - 4*l - 4*y = -31. Suppose 5*n + l = 8. Which is bigger: q or n?
n
Let v = 2/393 - -119/2358. Which is smaller: -1/3 or v?
-1/3
Suppose -6*n + n = -50. Let k be (-48)/70 + n/25. Which is greater: 0 or k?
0
Suppose 0 = -2*i + 6*v + 86, 0 = -3*i - 2*v + 108 + 32. Are i and 32 nonequal?
True
Let p = 1611 - 9625/6. Which is smaller: 8 or p?
p
Let d be -3 - ((-24)/3 - 0). Let l(g) = -g**2 + 5*g + 2. Let p be l(d). Suppose p*x + 2*s = 2 + 4, -5*x + s = -3. Are x and 0 nonequal?
True
Suppose 8 = -v - 22. Let k = -29 - v. Which is smaller: -1/7 or k?
-1/7
Suppose 5*j = -0*j. Let w(p) = -p**2 - 65*p + 132. Let m be w(2). Which is smaller: j or m?
m
Let g = 8 + -6. Let h(x) = 2*x**2 - 5*x - 12. Let f be h(0). Is g not equal to f?
True
Let l = 979 + -982. Does -7 = l?
False
Suppose 4*b + 4*z - 72 = 0, -2*z - 44 = -4*b + 2*b. Suppose -102*r + 649 = -1187. Which is smaller: r or b?
r
Let o(x) be the first derivative of -2*x + 1/2*x**2 - 3 - 1/4*x**4 - 4/3*x**3. Let k be o(-4). Is k at most -6?
True
Suppose -5*d + 3*z = -1, 2*d - 2 - 14 = -4*z. Let s(b) = -14 + 9 + d*b + 0*b + 0*b. Let n be s(2). Is -3/17 equal to n?
False
Suppose -16 = -2*h - 9*b + 5*b, 2*h + 2*b - 6 = 0. Are -4 and h equal?
False
Let z be 742/(-16) - 6/(-16). Is -332/7 not equal to z?
True
Let b = -126 - -127. Which is greater: -13 or b?
b
Let p(u) = u**2 - 3*u - 6. Let l be p(5). Suppose 2 = 2*s - l. Suppose 6*h - 4*g = s*h - 1, -6 = -3*h - 3*g. Is 1/9 at least h?
False
Let q(k) = 26*k - 97. Let x be q(0). Is x not equal to -98?
True
Let j = 32.6 + -30. Let f = 2.7 - j. Let t be -2*((-5)/(-2))/5. Which is bigger: f or t?
f
Let h = 1623 - 1715. Are h and -96 unequal?
True
Suppose -2*m = -3*m - 13. Suppose -4*u = -26 - 26. Let s = u + m. Which is bigger: s or -2/7?
s
Let f be (-6 - -7)/(9/(-8)). Suppose 17 + 3 = -2*b - 4*l, -2*l - 10 = -b. Is f < b?
True
Let f be 9/2 - (1/(-2) + 0). Suppose 3*n = -5*v + 7*n - 85, 85 = -f*v - 3*n. Do -17 and v have the same value?
True
Let z be 2/10 + 194/(-5). Let s(x) = -x**3 + 8*x**2 + 11*x + 21. Let j be s(9). Let a = z + j. Which is smaller: a or 11?
a
Let o be (-2)/(-2)*1*31 + 1. Is o less than 125/4?
False
Let b be (-1)/((-11)/(-275))*2/9. Is b at least as big as -7?
True
Let y = 10.283 - 0.183. Let c = 569 + -579. Let g = y + c. Is g less than 4?
True
Let n be ((-2)/(-15))/((-5)/(-75620)). Let w = 411739/195 - n. Let s = 95 - w. Is 1 smaller than s?
False
Let t be ((-14)/8)/((-2)/8). Let o be (-12)/42 - (-1)/t. Let b be (-4)/3 + 77/33. Which is bigger: b or o?
b
Let j(u) = -u**3 - 4*u**2 + 3*u - 7. Let p be j(-5). Suppose -p*c - 4*v - 17 = 0, -3*v = 6*c - 2*c + 18. Let z = -699 + 2084/3. Which is smaller: z or c?
z
Let t(w) = w**3 - 6*w**2 - 2*w + 14. Let n be t(6). Suppose -4*h + 2*r = h + 11, r + n = 0. Is h greater than or equal to 0?
False
Suppose 6*x - 7*x + 2*r = -6, -5*x - 25 = r. Which is greater: x or -19?
x
Let l be 874/(-522) - (-5)/3. Which is smaller: l or -1?
-1
Suppose -10 = a - 0. Let u be (-3)/a*(-11)/(55/30). Are u and -2 unequal?
True
Let f = 4.47 - 3.67. Are f and -1.2 nonequal?
True
Let r be (12/(-18))/((-1)/3). Suppose -r = 2*q - s - 0*s, -2*q - 2*s + 10 = 0. Which is bigger: -3/7 or q?
q
Let s be 34*404/(-32) - 1/(-4). Let n = 26170/61 + s. Is n greater than 0?
True
Let d = -9.31 + -47.69. Is 2 smaller than d?
False
Let d = 635 - 68569/108. Is 1 at most as big as d?
False
Let f = 80 + -79.67. Let m = f - 2.33. Is -0.3 less than m?
False
Let a(q) = q**2 - 16*q + 2. Let d be a(-4). Let b = -80 + d. Is b less than or equal to 13/5?
True
Let z(x) = -7*x**3 - x**2 - 17*x - 8. Let l be z(-3). Which is smaller: l or 224?
l
Suppose 4*g = 2*g. Let y be -3 + (-805)/(-550) - (-3)/2. Which is smaller: g or y?
y
Let s(z) = -z**2 + 19*z - 24. Let b be s(17). Suppose -5*q = -2*t + b, -t - q + 6*q = -5. Let w be 30/9*12/