-121. Which is greater: r or n?
n
Let c = -24 + 44. Let j = 44 + -38. Suppose v - 25 = -j. Are v and c equal?
False
Let d(k) = -8*k. Let f be d(-3). Let c = 123 + -39. Let t = -60 + c. Do f and t have the same value?
True
Let f be 6 - (-1 + 57/8 + 30/(-80)). Which is smaller: f or 672/5?
f
Let z = 21 + -41. Suppose 2902 = -24*a - 1298. Let m = -197 - a. Is z greater than m?
True
Suppose -2*w + 2 = -2*a, w + 1 = -2*a - 1. Suppose n + 0*n = w. Suppose 20 = -10*g + 50. Is g < n?
False
Suppose 741*a + q - 13046 = 736*a, -13028 = -5*a + 2*q. Are 2605 and a unequal?
True
Let x = 2699/3 - 13933/15. Let g(h) = -29*h**3 + 3*h**2 - 5*h + 3. Let b be g(1). Which is smaller: x or b?
x
Let w(n) = -6*n**2 + 349*n - 57. Let s be w(43). Is s greater than 3855?
True
Let b be (-8)/(-26)*(-10)/200. Let p = b - 322/195. Let n = -2 - p. Which is bigger: n or -4?
n
Let o(u) = -u**2 + 5*u + 6. Let i be o(6). Suppose -4*q + 5*t = -0*t - 5, -4*q + t + 17 = i. Let l be (-20)/(-14) + q/(35/(-3)). Which is bigger: l or 2/33?
l
Let i = -126434/1812837 + -1/42159. Suppose 0 = l - 2*x - 3, 2*l - 8 = 5*x. Let u be l + 2 - 0/(-1). Which is bigger: i or u?
u
Suppose -31*u + 9*u = -2574. Let q be (6 + u/(-18))*(4 - -26). Let m be 2/(-2) + 126/(-10). Is m greater than q?
True
Suppose 29 = 3*n - 5*h, -3*h + 3 = 5*n - 0. Let i(k) = -9*k + 3. Let q be i(-1). Let l be -12*n/(-9)*q/(-8). Is -6 at least l?
True
Let u be 22 + (7 - 4) - -7. Let m(h) = -4*h + 121. Let r be m(u). Are r and -3 equal?
False
Let f = 1015 - 839. Which is greater: f or 178?
178
Let p = 929 - 470. Let q = -459 + p. Which is greater: q or 0.198?
0.198
Let y = 1738/25 + -3142379/45200. Which is bigger: y or -1?
y
Let i = 5099.321 + 3.679. Is -0.1 at least i?
False
Let j be (4/5)/4 - (-97)/40. Let a = j + -407/152. Which is bigger: -1 or a?
a
Let m = 17.73 + -32.73. Which is smaller: 97 or m?
m
Suppose -3*w + 149 = -5*l - 6, 2*l = -2*w + 114. Let a = -205 + 258. Let i = a - w. Which is bigger: 0 or i?
0
Suppose 0 = -0*j + 3*j + 18. Let f be (-10 - j) + 3/15. Let z = -0.071 - 1.929. Does z = f?
False
Let j(z) = 24*z**2 + 7*z - 26. Let b be j(11). Let n be 1/(-3) + (-13880)/b + 5. Which is greater: -1 or n?
n
Let j = 920 - 578. Let c = j + -343. Is c greater than 29?
False
Let x = 5885 - 5886. Is -5/1001 > x?
True
Let j = 3/7516 + 946983/82676. Let a(y) = y**3 - y**2 - 24*y + 65. Let r be a(3). Which is smaller: r or j?
r
Let b be ((-8)/18 - 918561/(-1951884))/(1/(-4)). Is b bigger than 1?
False
Let v = 24640 + -3112. Is 21528 < v?
False
Suppose 5*m + 126 = -4*s, m - 14 = 2*s - 28. Let o = -149/6 - -19/6. Is m bigger than o?
False
Let v = 8402 - 8402. Which is bigger: 332/21 or v?
332/21
Suppose 5283*u - 5288*u + 4595 = 0. Which is bigger: u or 16?
u
Let s(l) = 5*l**2 - 136*l + 214. Let z = 18 - 20. Let g(f) = -f**2 + 27*f - 43. Let h(y) = z*s(y) - 11*g(y). Let p be h(23). Which is smaller: 1/21 or p?
p
Let t be (185 - 185)*(3 - 2). Is 6/4951 at least t?
True
Let m be 18/(-15) - 4/2. Let b = 3.69 - 2.45. Let i = 1.24 - b. Which is smaller: i or m?
m
Let t(x) = x**3 - 8*x**2 - x + 8. Let i be t(8). Is i greater than or equal to -1/4401?
True
Let z = -0.035 - 0.415. Let t = z + 0.78. Let m = -2.67 - t. Is m <= 2?
True
Suppose 0 = -8*y + 9 - 9. Let n = -3155/13 + 243. Which is greater: y or n?
n
Let u = -0.15487 - 1.84513. Which is smaller: u or 1337?
u
Let j = 2358 - 2386. Let l be (-2)/7 - (-40)/42. Which is greater: j or l?
l
Let f be 0 - 13 - -13 - (2 + -2). Which is bigger: f or 24/169?
24/169
Let b be 36/24*43*-2. Let c = b - -164. Which is greater: c or 33?
c
Let a be ((-36)/3)/(1780/(-267)). Is a <= 1?
False
Suppose -78*l + 1569767 = 14*l + 415627. Is l greater than 12546?
False
Let n = 60 + -30. Suppose -28 = 2*k - n. Are k and -1/160 equal?
False
Let a(j) = 8*j**2 - j + 3. Let f be a(-7). Let l = -13274/33 + f. Let t = l + -12/11. Are t and 2/17 non-equal?
True
Let b = -2383 + 2474. Is -1/5 < b?
True
Let c = 15823 - 15792. Which is smaller: c or 67?
c
Let p = -1/5655 + -3986/9438195. Let q = 55072/8345 - p. Let t = -81/10 + q. Which is greater: -1 or t?
-1
Let p = -31 - -33. Suppose -p*r + 131 = 3*g, -g + r + 0*r = -52. Let v = -46 + g. Is 1 < v?
False
Let k be (-1)/((-1)/(-3)) - 18. Let x = 4 - k. Let h = x + -38. Which is bigger: -12 or h?
-12
Let c(g) = -2*g**2 + 25*g + 31. Suppose -2*a - 38 = -2*k, 2*a - 46 = -5*k + k. Let v be c(k). Is -2 at least v?
True
Suppose 0 = -2*b - 4*q + 3*q + 5, -b + 3*q = 15. Suppose b*c = 6*c. Suppose 0 = 2*x + 10 - c. Do -8 and x have the same value?
False
Let c be 2/(-6) + 4/(-6). Let j be (9*(-8)/(-2016))/(-2). Is j bigger than c?
True
Let f = 207 + -186. Suppose 4*h = -3*g + 14, -36*g + 32*g = 3*h - 7. Is h less than or equal to f?
True
Let m(z) = -z**3 + 25*z**2 - 48*z + 22. Let p be m(23). Is -66 >= p?
False
Let p be (-645)/258*((-18)/(-1185) - 0). Which is greater: -1/12 or p?
p
Let v = 49 - 2. Let x = -281/6 + v. Which is bigger: 0.9 or x?
0.9
Let n = 16922 - 7104. Which is smaller: 9819 or n?
n
Suppose -5*d + 2*k - 11 = -38, 2*d = -5*k + 34. Let y(o) be the third derivative of o**4/3 - 37*o**3/6 - 4011*o**2. Let q be y(d). Which is greater: 21 or q?
21
Suppose 3*n = 2*r - 6263, -r + 4931 = -n + 2845. Is -2090 > n?
True
Let x = 4307 - 4308. Which is bigger: -1/701 or x?
-1/701
Let j(w) be the third derivative of w**5/60 + 7*w**3/6 + 7*w**2. Let p be j(4). Suppose -18 = -20*g + p*g. Are -17/3 and g nonequal?
True
Let m(q) = q**3 + 6*q**2 - 5*q - 12. Let y be m(-6). Let c be (-4)/y - (-1264)/18. Suppose 0*s = 2*s + c. Are -35 and s unequal?
False
Let k(c) = -c**2 - 11*c - 46. Let a be k(-8). Let g = -76 - -53. Is g at least as big as a?
False
Let g = 1244 + -1243.72. Is -58 greater than or equal to g?
False
Let w be ((-2)/(-6))/((-1)/(-3)). Let s(p) = -23463*p + 351544. Let k be s(15). Is k smaller than w?
True
Let x(j) = 1378*j**2 - 32*j + 27. Let c be x(1). Which is greater: 1374 or c?
1374
Let i(a) be the second derivative of -5/2*a**3 + a**2 + 0 - 6*a. Let k be i(-1). Is k equal to 15?
False
Let s = 7401 - 7444. Is 38 >= s?
True
Let q = -978 + 7807/8. Which is smaller: 0 or q?
q
Let n = -12153 - -12066. Which is smaller: -91 or n?
-91
Let k(j) = 8*j + 278. Let z be k(-34). Suppose -14 = -3*p + m, z*p - 2*p - m = 17. Which is greater: p or -2/103?
p
Let k = -163/2 - -81. Let f be 3/6 - (-19)/2. Let g be 1/5 + (-2)/f. Does g = k?
False
Suppose 8*p - 3*p = -35, 0 = 18*m - 2*p + 11632. Do -5824/9 and m have the same value?
False
Let b = 5 - 7. Let v = -113613/54130 - 6/5413. Which is greater: v or b?
b
Suppose 5*n + 5*r - 48 + 58 = 0, -8 = -4*n + 4*r. Which is bigger: n or 9/3506?
9/3506
Let d(n) = -62*n**2 + 62*n + 1. Let y be d(1). Is -11/303 > y?
False
Let s = 204 + -410. Let m = 217 + s. Is m >= 2/7?
True
Let y = -57 - -55. Let r be (1 + 51/y)/(4/(-8)). Let u = -62/105 + 4/21. Which is bigger: u or r?
r
Suppose -5*l + 10 = -2*h + h, -l - 46 = 3*h. Let n be h/(-6) - (-6)/(-4). Is n bigger than -48/7?
True
Let m be (-12)/9*(-180)/(-8). Let l = 53 + m. Suppose -24*x = -l*x - 4. Which is smaller: -1 or x?
-1
Let n = 256 + 114. Are n and 361 nonequal?
True
Let s(p) = -18*p - 16*p + p + 28 - 4*p. Let o be s(-2). Which is greater: 0 or o?
o
Let k be ((-680)/476 + (-3041)/532)*(-10)/3. Is k smaller than 25?
True
Let k = -298 - 1569. Which is smaller: k or -1869?
-1869
Suppose 2*q + 2*r + 2 = 0, 42*q = 46*q + 5*r + 12. Which is smaller: q or -182?
-182
Suppose -164*j + 159*j = -5*a + 5165, a + 3*j = 1045. Which is smaller: a or 11?
11
Let d be (-12)/(-200)*192/(-18). Let p(m) = -5*m - 51. Let n be p(-10). Is n at least as big as d?
False
Let u = 366 - 211. Let b = u - 155. Which is smaller: 2/663 or b?
b
Let y = -2163 + 2636. Which is bigger: -4/7 or y?
y
Let w = -4422.96 - -4444. Is 1/3 at most as big as w?
True
Let o = -264 - -267. Suppose -3*a = o*f - 2*a + 13, -a - 4 = 0. Let n(i) = -i**2 - 3*i + 2. Let l be n(-4). Are f and l nonequal?
True
Suppose -27975 = 360*m + 1185. Is m at most as big as -0.008?
True
Suppose 4*m - 23 = 5*c, 2*m = -2*m + 2*c + 14. Suppose -5*t - 2*w - 14 = 0, 3*t + 0 = w - 4. Let p be ((t - -4)*m)/(-2). Are p and -2 unequal?
False
Suppose -7*o = c - 5*o - 9, 0 = -c - o + 4. Let b be 1/(c - (-40)/14 - 2). Which is greater: -56/9 or b?
-56/9
Let