et y = -8 - 3. Let w = y - -7. Which is greater: -2/5 or w?
-2/5
Let g = -1114 - -12268/11. Let i = g + -188/165. Let q = 1 + 0. Which is smaller: q or i?
i
Let o(z) = -z**2 + 12*z + 17. Let q be o(13). Let x(n) = 3*n - 12. Let m be x(q). Let p = 577/7 + -83. Are p and m non-equal?
True
Suppose -4*h - 4*i = -40, 0 = 3*h - 4*i - i + 10. Suppose -2*b - 2*t = -2, 0 = -h*b - 4*t - 4 + 7. Let y = 26/23 - 280/207. Is y less than b?
False
Let o be 2 - 8 - (-4 - -3). Let a = o + 10. Suppose 3*v = -h + 15, 2*v + 3*v = 4*h - 9. Do h and a have the same value?
False
Let p = 6/37 - -247/74. Which is bigger: 4 or p?
4
Let j = -6 + 6. Is j less than -1/56?
False
Let a be 7/5 + (0 - 1). Let t = 5479/22 - 497/2. Let y = -8/55 + t. Is y equal to a?
True
Let a = 10 + -11. Let v = 1.5 - 2.3. Which is bigger: v or a?
v
Let j be (5/(-15))/1*6. Which is smaller: j or -13/7?
j
Let p = 1/351 - -124/79677. Let z = p - 471/3859. Which is greater: 0 or z?
0
Let r = -2.2 - -2. Is r >= -3?
True
Let r be (1107/12)/(-9)*-4. Are r and 40 nonequal?
True
Suppose 0 = 2*m + n + 7 - 5, -2*m = -3*n + 10. Is m >= -2?
True
Let t = -1/19 - -23/76. Let z = -10 + 12. Suppose -4*m - 7*u + 9 = -z*u, -5*m = -5*u. Is m bigger than t?
True
Let g be ((-16)/(-10))/(6/15). Let k = 4 + -7. Let r = g + k. Which is smaller: r or 2/7?
2/7
Let b be (-272)/1062 + 2/9. Let j = b - 167/295. Which is greater: -1 or j?
j
Let w = 7 - 3. Which is bigger: 5 or w?
5
Let z be (-92)/90 - (-2)/9. Let d(q) = q - 1. Let n be d(9). Let u = -9 + n. Which is smaller: u or z?
u
Let t = -4 - -3. Let p(i) = i**3 + 7*i**2 + 7*i. Let o be p(-6). Which is bigger: t or o?
t
Let r = 0 - 3. Let a(s) = -s**3 + 12*s**2 - 11*s - 1. Let k be a(11). Do r and k have different values?
True
Let r(u) = -u**3 + 14*u**2 + 15*u - 1. Let w be r(15). Let n be (-3)/(1 - 3 - w). Is 5 at most n?
False
Let a = 2/619 - 1252/4333. Let d = 1 + -6. Is a smaller than d?
False
Let z be 2/10 - (-55)/(-25). Which is smaller: 5 or z?
z
Suppose 13 = -3*o + 4*p, -42 = 2*o - 0*o + 4*p. Is -9 equal to o?
False
Let j = 5.78 + 0.22. Let m = -9 + j. Which is smaller: m or -1?
m
Let m = -23 - -24. Let h = 68 + -146. Let u be (-1)/2 - 3/h. Do m and u have different values?
True
Let s(r) = -r + 5. Let n(u) = -u**3 + 5*u**2 - 2*u - 2. Let g be n(4). Let z be s(g). Is z at least as big as -10/11?
False
Let z = -9.42 + 0.42. Which is bigger: z or -2/7?
-2/7
Let d be (-1)/2 - 515/150. Let x = d - -23/5. Suppose 3*r - 3 = 3*k, 4*r + 4 = -0*r - 4*k. Which is smaller: r or x?
r
Let a = 2 - 4.6. Let h = a - 0.4. Let f = 4 + h. Which is greater: f or 2?
2
Let j = -21 - -21.11. Let r = -0.09 - j. Is 0.9 greater than or equal to r?
True
Let z be (-20)/12*(-3)/1. Suppose 2*c + 0*c = 0, 2*l - z*c = 0. Which is bigger: l or 3/4?
3/4
Let z = -303/5 + 61. Suppose -2*n + 2 = -0*n. Let k = 2 - n. Is z smaller than k?
True
Let y = 60 + -57. Which is bigger: 7/3 or y?
y
Let p be 2/(-6)*-3*1. Let u be (-1 - 3)/(-2 + 4). Let d be u/7 - (-4)/63. Which is greater: d or p?
p
Let v = -13 - -11.8. Let i = -1 - v. Which is smaller: i or 1/2?
i
Suppose 3*j = 2*j + 1. Let x = -5 - -8. Let l(i) = -i + 2. Let v be l(x). Is v bigger than j?
False
Let t be -3*(2/(-11) - 176/363). Suppose 5*a - 28 + 97 = 3*n, 0 = 5*a + 3*n + 81. Let k be (-3)/t*20/a. Which is greater: k or 3/2?
k
Let j be (-4)/(-3) + 85/15. Is j > -1?
True
Let x = -3 - -5. Let k = 0 + x. Is 2/13 smaller than k?
True
Suppose 3*y = 5*r + 5, -y - 3 = 3*r - 0. Suppose y*f + 3*f = -30. Let m = -7 - f. Which is smaller: m or -1?
-1
Suppose z - 33 = 57. Is z greater than or equal to 90?
True
Suppose 2*a = 46 - 208. Is -81 at least as big as a?
True
Suppose 4*m = 5*m. Is m greater than 2/5?
False
Suppose 4*y + 3*n = -8, 2 = -3*n - 10. Is 1/11 <= y?
True
Suppose -4*u = 20, 0 = 3*j - 3*u + 8 - 32. Suppose 0 = 3*o - 3*v + 3, 2*o - v = j*v - 6. Is o at least 1?
True
Suppose -3*a - 4*x = -2*x, -a + 2*x + 8 = 0. Let p = a - 10. Let v be ((-25)/20)/((-2)/p). Is v bigger than -6?
True
Let y = -0.8 - -0.6. Which is bigger: y or 4?
4
Let a = 15.3 - 16. Which is smaller: -0.2 or a?
a
Let l be ((-9)/6)/(1/(-2)). Let v be ((-8)/l)/(1/3). Let w = -5 - v. Which is smaller: w or 1?
1
Let z = -1403451 - -37887589/27. Let r = 205021/945 + z. Let p = -69/7 + r. Which is smaller: p or 1?
p
Suppose -j = -3*u + 1, 0 = 4*j - 5*j + 2*u. Suppose j + 6 = -r. Are r and -8 non-equal?
False
Suppose -3*y + 8 - 11 = 0. Let p = -3 + 2. Is y at most as big as p?
True
Let j(z) = -z - z**2 + 2 + 4 - 4 - 4*z. Let t be j(-5). Is t less than or equal to 0?
False
Suppose -2*o - 3*o + 15 = 0. Let r(j) = -j**2 + 4*j - 3. Let q be r(o). Is q > -0.1?
True
Let o = -3 - -4. Let j = -4 + -12. Let a = -13 - j. Is o at least a?
False
Let n = 40 - 19. Suppose -n*q + 24 = -17*q. Which is greater: q or 3?
q
Let z(l) = -l**3 - 9*l**2 - 12*l + 14. Let w be z(-7). Is w smaller than -2/173?
False
Let n = 11 + -11.07. Let l = 0.07 + n. Is l bigger than 2?
False
Let o = -3 + 2. Let r be 14/16 - (-2)/(-4). Which is bigger: r or o?
r
Let i(l) = -l**2 - 2*l - 1. Let a be i(-2). Suppose 2*y - 1 = -3. Let r be 5/(a + 1 + y). Which is bigger: -6 or r?
r
Let z be 14/3 - (-1)/3. Suppose z*g + 0*v = 2*v, -2*v + 12 = g. Let j be (2 - g)/3 + -1. Are j and -1 non-equal?
False
Let f = 1 - -3. Suppose 3*h + h = f. Let k = -1 + 0.8. Which is smaller: h or k?
k
Suppose -5*g - 3*f = -11, -g - f = 3*g - 6. Suppose 2*r - 4 = 4*m, -5 + 1 = 4*m + r. Which is smaller: m or g?
m
Let b = 66 + -67. Which is bigger: -2/3 or b?
-2/3
Let z(t) = -343*t**3 + t**2 - t + 1. Let b be z(1). Let d = 2388/7 + b. Which is bigger: d or 2/3?
2/3
Suppose 7*u = 2*u + 20. Let l(r) = 5*r + 5 - 2*r + u*r + r**2. Let v be l(-6). Which is smaller: 1/3 or v?
v
Let u = 16 - 15. Which is smaller: u or 1.5?
u
Let o = 0.0545 + 5.9555. Let k = 6 - o. Let q = -0.11 - k. Are -1 and q non-equal?
True
Let z = 34 - 135/4. Is z at most as big as 3.6?
True
Let c = 0 + 10. Is c less than 2?
False
Let m = -22 + 37. Suppose -5*i = -2*i - m. Let o = 5 - i. Is o < 1/4?
True
Suppose 5*n - 14 = 16. Let u be (-6 + 3)*2/n. Let m be (-20)/(-72)*(-4)/10. Is u at most m?
True
Let d = -2/71 - -217/142. Which is smaller: d or 1.4?
1.4
Let b = 0 - 3. Let v be 3/9 - (-10)/6. Suppose 0 = v*o - 3 + 7. Is o bigger than b?
True
Let b(y) = -y**3 + 7*y**2 + 7*y + 5. Let a be b(8). Which is greater: a or 0?
0
Let f = -3.3 + -0.7. Let c = -3.8 - f. Is -0.5 at most as big as c?
True
Suppose 3 = c - 1. Suppose -9 + 25 = -c*y. Let n be (-8)/12 - y/15. Is 0 greater than n?
True
Let h = -63 - -24. Let i = h + 15. Let j be 1/i + 3/(-9). Which is smaller: j or 0?
j
Suppose 0*r = -4*r - 28. Let n = -8 - r. Do n and -2/7 have the same value?
False
Let a = 41/117 + -2/117. Suppose 0 = 4*u + 3*q - 10 + 3, 5*u = -4*q + 9. Is u >= a?
True
Let r be 44/20 + (-18)/(-15)*-1. Let s = -1 + 4. Let d be 32/30*s/2. Is d greater than r?
True
Suppose 6 = -0*q - 3*q. Let b be q + 3 + 337/(-333). Let y = 250/2331 + b. Which is smaller: 1 or y?
y
Suppose 120 = -5*n - 5*u, -5*u + 4*u = -1. Let y be 2/8 + n/(-140). Suppose -2*o = -o. Are y and o equal?
False
Let q = 2.7 + -2. Let h = 0.69 - q. Which is greater: 0.1 or h?
0.1
Suppose -8*g = -4*g - j, 2*j = 4*g. Suppose -2*c - c - 9 = g. Is -3 at least as big as c?
True
Suppose -p + 3*p = 0. Let s be p*(-1 + 0) + -1. Let f be -2 + (3 + -2 - 0). Are s and f unequal?
False
Let i = 4487/4 - 1116. Let m = i + -5. Do m and 1 have the same value?
False
Suppose 0 = -t + 5*q + 14, 12*q - 15 = 3*t + 16*q. Suppose -4*i + 1 - 5 = 0. Are i and t equal?
True
Let u = 36.3 + -38. Let i = 0.3 - u. Is -1 less than or equal to i?
True
Let t be 40/18 - (-24)/(-108). Which is bigger: 0.35 or t?
t
Let w = -1.96 - 0.04. Let r = -0.04 + -0.36. Let n = r - -0.7. Which is bigger: w or n?
n
Let y = -0.1 - -0.09. Let m = 0.01 + y. Let j = -1 + 2. Which is smaller: j or m?
m
Let s be (-1 + 6/4)*6. Suppose -s*v = -3*x, 0 = 4*x + v + v. Suppose -f + x + 3 = 0. Is 3 < f?
False
Let w be 0/(-3) - 2/(-1). Let f be (-40)/(-18) + 2/(-9). Are w and f equal?
True
Let q be 2 - (10 - 2/(-1)). Let n(a) be the first derivative of -a**2/2 - 12*a + 6. Let f be n(q). Are f and -4/5 equal?
False
Suppose 0 = -2*o + 43 - 7. Suppose 7*p + 123 = o. Is -15 at least p?
True
Let u = -8 - -12. Let h =