k = -17 + 21. Which is greater: 8/3 or k?
k
Let s = -0.86 + 4.76. Which is greater: -2/7 or s?
s
Let o be (-7)/(28/(-8)) - 3. Let a be 0 + (-1)/(o + 4). Is -0.1 greater than a?
True
Let i be (-80)/(-96)*1*(-4)/10. Let p = -69/308 - 2/77. Which is greater: p or i?
p
Let r(j) be the third derivative of -j**6/120 + j**5/15 + j**4/24 - 5*j**3/6 - 8*j**2. Let h be r(4). Is 2/71 smaller than h?
False
Let d be 0 + (-4)/(-2) - 0. Suppose -6 = 2*m, 15 = -5*y - 3*m - 4. Let w be (0/(1 + 1))/y. Is w != d?
True
Suppose -2*h - 4*i - 178 = -i, -h = 3*i + 83. Let j be 10/(-4)*(-76)/h. Is j != -2?
False
Suppose 0 = -2*n - o - 1436, -3*n + 3*o - 2152 = 5*o. Let m be 2/9 - (-115)/n. Is m at least as big as -1?
True
Let x be (1 + -1)*2/4. Which is greater: 1/4 or x?
1/4
Let x = -2.9 - -4. Let u = 0.6 - x. Which is bigger: 2/5 or u?
2/5
Let r = 4/9 + -25/36. Let l = 2501/90 - 233/9. Let a = -7/5 + l. Is r smaller than a?
True
Let p(o) = -2*o**2 - 10*o. Let x be p(-7). Let v be x/16*2 + -4. Which is smaller: -8 or v?
-8
Let u(n) = 2*n**2 + 2*n - 5. Let t be u(-4). Let c = -7 + t. Suppose -c = -5*b + 4*l, 0 + 6 = -2*b - 2*l. Is 2/15 smaller than b?
False
Let g = 0.958 - -0.042. Is g equal to 2/3?
False
Let d(w) = -w**2 - 3*w - 2. Let n be d(-3). Is -3/5 at most as big as n?
False
Let s be (52/(-28) + 1)/(-3). Are 3 and s non-equal?
True
Let k(a) = a**2 - 8*a + 4. Let c be k(8). Suppose 2*n + 14 = -4*y, c*y + 3*n - 5 = -24. Are y and -1/2 non-equal?
True
Suppose -3*d + d = -3*h - 7, 3*h = 4*d - 17. Which is bigger: h or 2/41?
h
Let v = 51 + -51. Which is bigger: v or -3?
v
Let v = -19628/769 - 40751905/19994. Let p = -2064 - v. Let x = p + -3/13. Which is smaller: x or 0?
x
Let n = -29/55 - 1/55. Let l = -40/33 - n. Let o = 0 - -0.1. Is l at most o?
True
Let g be (-9)/(-6)*4/2. Let q be (1 - -3) + -1 - g. Which is smaller: q or -1/4?
-1/4
Suppose 0 = 5*q - q - 52. Is q at most 13?
True
Let v be 2/(-12) - 14/(-21). Is v greater than 1.3?
False
Let v(n) = 5*n**3 - n**2 + n - 1. Let k be v(-4). Let d = k + 1696/5. Which is greater: d or -1?
-1
Let m(z) = 3*z + 6*z + 16*z**2 - 8*z - z**3 - 16. Let b be m(16). Is b >= 3/14?
False
Let q(b) = -1 + 3 + 2*b**2 - 1 - b. Let r be q(1). Suppose -3*j + v + 7 = 0, -2 = -5*j + 5*v + 13. Is r bigger than j?
False
Let i = 29 - 30. Is i not equal to -18/11?
True
Suppose t = -2*d + 8 + 6, 40 = 5*t + 4*d. Let o be (-1 - (0 - 4))/1. Is t not equal to o?
True
Let h = -23 + 36. Which is smaller: 40/3 or h?
h
Let y = 0.311 + -7.231. Let s = 7 + y. Is s at least 0.1?
False
Let u = 198 - 128. Let v = 631/9 - u. Are 1 and v nonequal?
True
Suppose -3*h = -4*r - 6, 0 = -r - r - h + 2. Do -2/71 and r have different values?
True
Let t = -16 + 63/4. Is 12 less than t?
False
Let d be (-6)/((-3)/(-1)) + 2. Are d and -2/47 equal?
False
Let i = -32421122/59019 + 6/19673. Let y = i + 541. Is y greater than -2/3?
False
Suppose 3*m + 19 = -5*q, m = -2*q - 0 - 7. Let z(l) = l + 7. Let p be z(m). Which is greater: 0 or p?
p
Let f = 35/4 + -293/28. Let h be (3/((-30)/(-4)))/(2/10). Let o = h + f. Is o equal to 1?
False
Suppose 2*s = 3*s - 1. Let c = 6 + -8. Let l be (18/(-8) - c)*-1. Which is smaller: l or s?
l
Let d = -5 - -8. Let f = -1.04 + 0.04. Let q = f + d. Does -2/3 = q?
False
Let q(a) = 3*a**2 - 6*a + 3. Let p(j) = 10*j**2 - 17*j + 8. Let n(o) = 2*p(o) - 7*q(o). Let y be n(7). Suppose -y = -k - 4. Do k and -3 have different values?
True
Let o = 2.05 - 0.05. Let n = 2.6 + -4.8. Let b = o + n. Is b bigger than -2/7?
True
Let t = 6 + -12. Which is smaller: t or -3/10?
t
Suppose 12 = -z + 3*a, -3*z = 3*a + 2 - 14. Suppose -5*l + 6 - 21 = z. Which is greater: -5 or l?
l
Let l be 1 - 3/(-1 - -4). Suppose -4*b - 4 = -4*h, 0 = -5*h - 0*h + 2*b + 17. Suppose h*w = o - 16 - 9, -5*o + 25 = -5*w. Is l at most as big as o?
True
Let m = 0 + 6. Let n be (-4)/(-7)*21/m. Suppose -3*u + 6 = -2*l, -2*l = -2*u - 0 + 2. Is l at least as big as n?
True
Let y = -18 + 18.7. Is y at most -2/3?
False
Let m = 25 + -24.5. Let k = -0.5 + 1. Let c = m - k. Which is bigger: 0.3 or c?
0.3
Let u(t) = -2*t**2 - t + 2. Let a be u(-2). Which is greater: a or -7/2?
-7/2
Let b be 6/(-4)*8/(-6). Suppose b*z - 5*n - 15 = z, 2*z = -n - 3. Which is smaller: 2/5 or z?
z
Let c = -53/19 + 2635/931. Are -1 and c nonequal?
True
Let y be (-3)/(-90)*678/8. Let c = y + -27/10. Is c less than 1?
True
Let p be ((-6)/4)/((-9)/6). Let s be (-2)/((-14)/(-1) + p). Is s <= -1?
False
Suppose 5*r + 27 = 4*z, -4*z = r - 5*r - 24. Suppose 4*q = z - 31. Let j = -8 - q. Is j <= -3?
False
Let a(p) = -p - 3. Let r(z) = -z. Let s(j) = -a(j) - r(j). Let d be s(-2). Is -0.4 bigger than d?
True
Let g be (-2)/(-12) - (-310)/(-60). Which is smaller: -2 or g?
g
Suppose 3*d = 4*a, -a = 4*d - 3*a. Let k be (d - (-2)/136)*-29. Let i = -3/17 - k. Is i at least as big as 0?
True
Let m(a) = a**2 + 6*a + 2. Let n be m(-6). Let c = -7 + 6. Which is smaller: c or n?
c
Let w = 160 + -92. Is w <= 67?
False
Let z = -2 + 0. Let b = 28 - 29. Is z < b?
True
Let g be (-2)/(-7) - (-3)/(-35). Is g bigger than 0?
True
Let f = 0 - 0. Suppose 0 = -f*t + t - 12. Let d be t/14*(-14)/(-8). Is 1 < d?
True
Let n(m) = -m + 22. Let d be n(-26). Is 48 greater than or equal to d?
True
Let g = 2 - 4. Let q = 10/21 - -4/21. Is g equal to q?
False
Let a = -7 + 6. Let r be (1/(-9))/((-4)/8). Does a = r?
False
Let o be 0 + (-22748)/60 + 0. Let k = o - -379. Which is greater: k or 0?
0
Let z = -225 - -223. Which is greater: -45 or z?
z
Let z(n) = 2*n + 52. Let u be z(-21). Is u < 12?
True
Suppose -4*z = q + 3, q - 3 = z + z. Let l = -18 + 4. Let b be -1 + 0 + (-16)/l. Which is smaller: b or q?
b
Let j = 5.8 - 5. Let n = -0.5 + j. Let d = n + -0.4. Which is bigger: d or 3?
3
Suppose l + 3 = 2*l. Let z = -2 + -1. Let c be 1/(2/z - -1). Is c at least as big as l?
True
Let s = -2/197 + 205/788. Is 1.6 <= s?
False
Let q be (-18)/70 - (-2)/5. Which is greater: q or 1?
1
Let j(q) = q**2 + 3*q - 4. Let v be j(-3). Let y be (6/(-2 - 1))/2. Let a be (2/5)/(y/10). Is v equal to a?
True
Suppose -2*g + 41 = 3*f, -19 - 5 = -4*f + 5*g. Which is greater: -0.1 or f?
f
Let k = -81/7 + 342/35. Are k and -0.1 non-equal?
True
Let y = -7/17 + 89/51. Is y at most 2?
True
Let w(n) = -n**2 - 4*n - 2. Let o be w(-4). Suppose 4*z = -3 - 1. Is z less than o?
False
Let a = -3 + 1. Which is smaller: -5 or a?
-5
Let f = -11364/247 - -594/13. Does 1 = f?
False
Suppose 0 = -v - 7 + 2. Let l = 3 + v. Suppose -3*z + u - 4 = -z, 0 = 3*u. Is l >= z?
True
Let i be (-2)/(-1) - (0 + 0). Suppose 3*t - i = t. Which is bigger: -2/11 or t?
t
Suppose -2 = -2*o + 4. Let j = 15 + -8. Suppose -4*l - m + j = 2*m, -m - 23 = -5*l. Is o at least l?
False
Let o be 3 + 1 + -3 + 6. Let r(x) = -x**2 + 7*x - 3. Let m be r(o). Which is smaller: m or -2?
m
Let u be (4/3)/((-5)/(-90)). Suppose 5*v + 1 = -2*k - 29, -4*v - 4*k - 12 = 0. Let a be u/(-14) - v/4. Is 0 less than or equal to a?
True
Let v = -0.02 + -0.98. Let a = 1/154 - 317/1386. Do v and a have different values?
True
Suppose -3*t = -2*a + 76, -t + 4*a - 20 = -8. Is -27 != t?
True
Let u(x) = -x**3 + 2*x + 1. Let c be u(-1). Let s = -92 + 641/7. Is c != s?
True
Let u = 45.8 + -58.74. Let b = 13 + u. Which is bigger: b or -0.2?
b
Let n = -3/166 + 537/2158. Is 1 at most n?
False
Suppose 79 = -5*p + f, 0*p - 14 = 2*p + 4*f. Let q be (3/p*0)/1. Suppose 2*a = -2 - 0. Is q smaller than a?
False
Let m = -78 - -77. Are m and 1/51 non-equal?
True
Let p = -11 + 6. Let h(i) = i**3 + 5*i**2 + 2*i + 4. Let m be h(p). Let k be m/(-9)*3/(-5). Is k <= -1?
False
Suppose y - 4*y + 3 = 0. Suppose 0 = -4*z + 5*c + 5, 0*z + c = -2*z - y. Let b be 0 + 1 + 1 + z. Is 2 less than or equal to b?
True
Let o = -4175/13 - -321. Are 0 and o non-equal?
True
Let f = 8 - -9. Let q = -17.2 + f. Which is smaller: q or -5?
-5
Let c(i) be the first derivative of 2*i - 2*i**2 - 2/3*i**3 + 1 + 1/4*i**4. Let r be c(3). Which is smaller: r or -2/7?
r
Let b be (-4)/6 + 48/18. Let v(u) = -2*u - 6. Let z be v(-4). Let j = z - 1. Which is bigger: b or j?
b
Let h = 1176/11 - 107. Suppose -t = 2*t. Which is bigger: h or t?
t
Let p(q) = -4*q**2 - 2*q + 1. Let u be p(-2). Let z = -21 - u. Let d = 7 + z. Do d and -3 have different values?
False
Let j be (-741)/260 - (-9)/15. Is j less than or equa