1*r - 862*r. Let a be ((-72)/(-6))/(22/(-7)). Which is greater: r or a?
r
Let m be (-172)/(-7) - 4/(-7)*-1. Suppose 3*u + m = 9. Which is smaller: -19/3 or u?
-19/3
Let y = 128/381 - 1/381. Which is smaller: y or -1.1?
-1.1
Let g = -1.1 + -3.9. Let r = g - 24. Let o = r + 15. Is o != -1/2?
True
Suppose 6*q - 5*p = 4*q - 4, 4*p = 0. Which is greater: -20/9 or q?
q
Let t(w) = -w**3 + 7*w**2 - w + 12. Let d be t(7). Let p = -14 + d. Let h be (-2)/p + (-150)/(-54). Is 0 less than or equal to h?
True
Let n be 24*(2/6)/((-4)/6). Which is smaller: 11 or n?
n
Let n = -52.165 + 0.065. Let p = n + 52. Which is smaller: 1/9 or p?
p
Let q = 24/17 - 3037/68. Let f = -43 - q. Let x = 0.0726 + -0.0126. Which is greater: f or x?
f
Let q be (1 - 34)*16/24. Let s = 1217 + -5977/5. Let a = q + s. Are a and -8 unequal?
True
Let y = -36476 + 36493.919. Let d = -0.081 - y. Is d smaller than 3?
True
Let q = -264 - -265. Do q and 62 have the same value?
False
Let n(s) = -s**2 + 4. Suppose 4*z - 212 = -204. Let r be n(z). Which is smaller: r or -3/79?
-3/79
Let q(r) = -r - 6. Let n be q(-5). Let g be (-370)/25 - n/(-5). Let f = 15 + g. Which is bigger: -2/13 or f?
f
Let c(b) be the second derivative of -b**3/6 + 4*b**2 + 10*b. Let z be c(6). Let x = -821/7 - -118. Which is smaller: z or x?
x
Let i(d) = d**3 - 5*d**2 + 3. Let q be (-67)/(-13) - (-14)/(-91). Let u be i(q). Suppose u*k - 1 + 7 = 0. Is k < -5?
False
Let x = -0.62 + 50.62. Let g = 51 - x. Is g at most -0.17?
False
Let b = -0.242 + -0.048. Let u = -0.167 - -0.067. Is b less than or equal to u?
True
Suppose 2*i + 1 = 9. Suppose -170 = -4*j - 5*v, j + j = i*v + 98. Let n be (-6)/j + 46/45. Which is smaller: 1 or n?
n
Let g = -1109 + 515. Is g smaller than 0?
True
Let b = 1 - 1. Let w be (-8)/9 + 0 + b. Suppose s + 8 = 4*p, 0*s + 5*p - 10 = 4*s. Is w not equal to s?
True
Let f be 11/((-1870)/150) + 2/(-17). Which is bigger: -1/1821 or f?
-1/1821
Let j(d) = -d**2 + 4*d - 3. Let u be j(5). Let f be 1/4 + (-70)/u. Suppose -27*m + 11*m + 160 = 0. Is f less than m?
True
Suppose -b = -5*b + 20. Suppose 5*d - b*p = -p + 15, -p = -5. Let q = 0.2 - 0.1. Is d greater than q?
True
Let x = -2 + -23. Suppose -2*n - 73 = 4*h + 23, 72 = -3*h + 4*n. Which is greater: x or h?
h
Suppose 3 = 4*p - p. Suppose -t = -2*j + p - 3, 2*t - 4 = -5*j. Does j = -3/7?
False
Suppose -2*x = -4*x - 18. Let v = x + 11. Suppose -v*a = -a. Is a at least 1/22?
False
Suppose 4*r - 4*i = -297 + 313, -27 = 2*r + 5*i. Which is bigger: 9/253 or r?
9/253
Let w be ((-30)/9)/((-6)/9). Let l(s) = s**2 + 16*s + 3. Let y be l(0). Is y >= w?
False
Let y = 0.12 + 0.73. Let w = 0.25 - y. Let x = -0.7 - w. Is x at most 0.5?
True
Let k = 560817/5720 + -3899/40. Let b = k - 8/13. Let w = -6 - -5. Which is smaller: w or b?
w
Let h be (-6*(-3)/54)/(2/102). Is h smaller than 29?
True
Let k = -120 - -110.4. Let c = -9 - k. Which is smaller: c or -0.1?
-0.1
Let x = 796.05 - 796. Which is bigger: x or 1/6?
1/6
Let d = 1544 - 1525.78. Let h = d - 18. Is 0 smaller than h?
True
Suppose -z = -6*z + 20, -2*k - 4*z + 10 = 0. Suppose -76*n - 752 = -29*n. Is k >= n?
True
Let o = 2 - -11. Suppose 3*b = -b + 120. Let k = -18 + b. Which is smaller: k or o?
k
Let c = -6.5 - 0.5. Let v = c + -9. Let h = v - -23. Which is greater: h or 1?
h
Let m be ((-270)/(-4))/3*60/(-375). Is -4 <= m?
True
Let d = 321 + -166. Let q = d - 154. Let w be -15 - (-1)/1 - -1. Which is smaller: w or q?
w
Suppose -z + 7 = 3*w + 2, 6 = 4*z - 2*w. Suppose -6*m = -z*m. Let p = -9583/15 + 639. Which is smaller: m or p?
m
Let f(a) = 11*a + 53. Let s be f(-6). Which is bigger: 4 or s?
4
Let n(q) = q**2 + q**3 - q**2 + 4 - q - 2*q**2. Let p be n(2). Let a = -348 + 2445/7. Is p at least as big as a?
True
Let t = 0.149 + -0.039. Let j = -0.679 - 0.211. Let m = t - j. Which is bigger: -2/3 or m?
m
Let h(o) = o**3 - o + 1. Let x be h(2). Let p = -0.1 - 16.9. Let r = -18 - p. Is x < r?
False
Let k = 5103/275 - 798/25. Do k and -14 have different values?
True
Suppose -s = 3*y - 4, 0*s + 4*y - 24 = -4*s. Suppose 5*d + 3*f + s = -f, 4*f + 13 = d. Let n be (2/(-6))/((-2)/30). Are d and n nonequal?
True
Let j = -63/5282 + -2/139. Let k(s) = -30*s - 149. Let i be k(-5). Is j less than i?
True
Let o = -5/68 - -83/204. Let l = 9 + -4. Let j = -4 + l. Is j equal to o?
False
Let a = -68 - -67.63. Let c = a - -0.47. Is -22/5 bigger than c?
False
Let z = 190 + -199. Which is greater: 7 or z?
7
Let y be (3 - 5) + 10302/399. Let s = y + -166/7. Suppose -6*j - 12 = -8*j - 4*w, -w = -j - 3. Which is smaller: j or s?
j
Suppose 6*m + 59 = -3*c + 7*m, 3*m + 54 = -2*c. Suppose 3*r + 101 = 41. Are r and c equal?
False
Let d be (16/(-1040))/((-9)/(-5)). Is d less than 0?
True
Let j = 2/69 - -199/276. Let r be (-5)/((-3)/3 + 0). Suppose 2*c + 5 = -i + 3, -r*c + 3*i = 16. Which is bigger: j or c?
j
Let w = -1944905/14742 + 5149/39. Let c = w + -2/81. Is -1 > c?
False
Let y(o) = o + 17. Let w be y(-13). Suppose -5*l + w*r - 12 = -0*l, -4*r + 12 = l. Which is bigger: -1/8 or l?
l
Let z(g) = -g**2 + 2*g + 4. Let l be z(3). Let w be ((-2)/8)/(l/(-4)). Let m = -90 + 96. Do w and m have the same value?
False
Let z = 55 - 54.945. Let r = -0.045 - z. Is r less than or equal to 7?
True
Let w = 0.152 - -0.848. Let m = 1.8 + -2. Let a = m - 0.3. Which is bigger: w or a?
w
Suppose 2*i + 5 + 5 = 0. Let c be 81/(-6)*10/(-15). Let b be (-5)/(-4)*2*(c - 11). Is b less than or equal to i?
True
Let i be 0 + -3 + 4/1 + -1. Which is bigger: i or -2/181?
i
Let j be (1925/98)/11 - 2. Which is greater: -2 or j?
j
Let a be 3/4 - (-71)/(-660)*5. Which is smaller: 0 or a?
0
Let k = 0.3 - -1. Let p = k + -1.4. Are p and -3/19 equal?
False
Let d be (7 - 11)*(-2)/(-101). Let t = -7420327401/1111 - -6678963. Let l = d + t. Which is smaller: 1 or l?
l
Let d = -22 - -23. Let i = -1.1 + 9.1. Is i bigger than d?
True
Let o be (-2)/(-1) - (-101 + 0 - 7). Let s = 193 - o. Is 82 <= s?
True
Let o be -153*-3*(-24)/(-378). Is 28 > o?
False
Let x(o) = o**2 - 7*o + 8. Let n(q) = -q**3 + 18*q**2 + 20*q - 13. Let j be n(19). Let r be x(j). Let i = 0.2 + -1.2. Does r = i?
False
Suppose -15*s = -16*s. Suppose s - 6 = 3*z, -6 = -4*o - 3*z. Let q be 4/((-6)/3) + o. Is -10 >= q?
False
Suppose -2*y = 10 - 0. Let z = 161/2 - 84. Which is bigger: y or z?
z
Suppose 0 = 2*l - x - 153, -l + 3*x + 0*x + 74 = 0. Let f = -78 + l. Which is bigger: f or -1/61?
-1/61
Let g = 168/205 + -9/41. Let l = 0.4 - 15.4. Let r = -15.2 - l. Which is bigger: r or g?
g
Let b = -5168/5 + 1038. Do b and 4 have the same value?
False
Let v be (-2)/4 - 3/(-6). Let o be (-210)/(-1300) + (-4)/40*2. Is o != v?
True
Suppose -50 - 5 = -5*h - 5*o, 0 = -5*h - 2*o + 58. Let y be (8/h)/(6/27). Let a be ((4 - y)/(-3))/2. Which is smaller: -1 or a?
-1
Let z(h) = -h**2 - 2*h + 2. Let r be z(-2). Suppose -2*v + j = 3, -5*v - 5*j + 29 = -1. Which is bigger: r or v?
r
Let h be (6/10)/(-1) + 45/75. Is 7/6 smaller than h?
False
Suppose 4*j - 21 - 11 = 0. Let v = 0 + -40. Let s = 39 + v. Which is smaller: s or j?
s
Let b(t) = -12*t - 44. Let m be b(6). Is -115 <= m?
False
Suppose 4*l - 1 = 23. Which is smaller: l or 16?
l
Let i be -11 + 19 + -8 - 10. Is -112/11 at least i?
False
Suppose 0 = -x - 3, z - 38 = x - 2*x. Is 30 greater than or equal to z?
False
Suppose 140 - 640 = 4*t. Which is bigger: -127 or t?
t
Let f(b) = b + 2. Let x be f(0). Suppose 4*p - 28 = -4*g, -3 = -4*p + 3*g + 4. Suppose -8 = p*k + 2*r, 2*r = -x*k - 7 - 1. Which is smaller: k or 5/4?
k
Let t = 37 - 34. Suppose -2*n - t*x + 4 = 0, 4*n + 5*x - 8 = x. Is n > 6?
False
Let z = 612.35 - 5.35. Is z equal to 1?
False
Let n = 5 - 2. Let k(y) be the second derivative of -y**4/12 - 2*y**2 - y - 38. Let a be k(n). Is a greater than -12?
False
Let n be 1/(200/(-68) + 3). Let u = -13 + n. Suppose -5*j - u = -34. Which is greater: 5 or j?
j
Suppose 0 = -7*v + 3*v + 60. Is v greater than 19?
False
Let j(i) = -i. Let h be j(9). Let u be 0/(h/3 + 2). Suppose -2*c = -0*c - 6. Which is smaller: u or c?
u
Let j = -24 - -12. Let c(k) be the third derivative of -k**6/120 - k**5/5 - 4*k**2 - 1. Let v be c(j). Which is bigger: v or 2/9?
2/9
Let x(m) = 2*m**2 - 62*m + 31. Let k be x(31). Is 398/13 < k?
True
Let y = -0.9001 + -0.0999. Which is smaller: y or -0.122?
y
Let u be (-158)