+ 1309, 3*a - 3 = 2*a. Which is smaller: r or k?
r
Let z(x) = x**3 - 3*x**2 + 2*x. Let w be z(2). Let q = -97.1785 + 0.1785. Which is greater: q or w?
w
Suppose -3*q - 3*x + 3492 = -0*x, -3*x - 6 = 0. Which is greater: 1163 or q?
q
Suppose 0 = -5*k - i + 13, -8 + 1 = -5*k + i. Let w be (6791/1377 - 5)/(-2 - 0). Let j = -2/81 - w. Which is smaller: k or j?
j
Let x = 14.3 - 13.69. Does x = -14?
False
Suppose 58 = -o - 5*j, o = j - 5*j - 56. Let z = o + -15. Let k be ((10/(-6))/(-1))/(84/z). Which is smaller: k or 0?
k
Suppose -15832*v + 8900 = -15857*v. Do v and -362 have the same value?
False
Let y be (70/3)/(28/(-504)). Is y at most as big as -6?
True
Suppose 2*u = -5*b + 29, -4*u - 7 + 5 = -2*b. Let p be (-1)/((-8)/(-476)) - 3/u. Let f = 0 + p. Is f < -60?
True
Let c = -192355/15897 - -11/2271. Which is bigger: c or 0?
0
Suppose 0 = 32*n - 81*n + 145481. Is n greater than 2972?
False
Suppose 3*x = -2*g - 9, 84*g - 85*g = 4*x + 17. Do g and 827 have different values?
True
Let k be -279*(-36)/24 - 4. Is 416 < k?
False
Suppose -3*g = -2*k - 21, -2*g - k = g - 21. Suppose -5*o - 2 = -g. Is o >= -10/63?
True
Let y = -8 + -5. Let k(o) = o**3 - 18*o**2 + 12. Let m be k(18). Let i = y + m. Is i less than 0?
True
Let t = -48 + 53. Suppose -5*z - m + 5 = -t*m, 3*z - m - 3 = 0. Is z smaller than 5?
True
Suppose 0 = -15*r + 17*r - 976. Suppose 4*q = 172 - r. Does -79 = q?
True
Let o(d) = -37*d**2 - 735*d + 74. Let l be o(-15). Which is smaller: l or 2770?
2770
Let n(i) = i**2 + i + 14. Let m be n(0). Suppose -5*q - m = 2*x - 0*q, 0 = q. Suppose -15*a + 360 = -75*a. Is a smaller than x?
False
Suppose -85296 = 150*f - 248*f + 146*f. Which is smaller: -1780 or f?
-1780
Let w be -2 + 120 + (4/(-2) - (-23 - -17)). Which is bigger: 182 or w?
182
Let y = -198 + 373. Suppose a = 2*l - 3*l - 37, 5*a - 5*l = -y. Let c be 59/(-10) + (-18)/a. Which is smaller: c or -6?
-6
Let f(b) = 2*b**2 + 6*b + 12. Let a(u) = u - 1. Let k(n) = a(n) - f(n). Let l be k(-3). Let p be 0 + l/12 + 33/(-9). Which is bigger: -9/2 or p?
-9/2
Let g(c) = -c**3 - 4*c**2 - 5*c - 6. Let w be g(-5). Let n be (-3)/(-4)*2 - 418/w. Which is smaller: n or -14?
-14
Let o(y) = y - 44. Let b be o(-12). Let h be (266/(-56))/((-2)/b). Let g be 38/h - (-101)/(-14). Which is greater: g or -9?
g
Let j be (-1)/9*(-2)/(34/153). Which is greater: j or 1/4204?
j
Let v(c) = c**3 - 4*c**2 + 10*c - 15. Let n = 63 + -59. Let w be v(n). Suppose 4*d - b = -0*b + 93, 5*b = -5*d + 135. Which is greater: d or w?
w
Suppose -9*f = -4 - 23. Let c(y) = -8*y + 27. Let a be c(f). Suppose -44 = 3*d - j, 2*d + 2*j = -a*d - 66. Which is smaller: -1 or d?
d
Let t = -3.838 + 3.9. Let j = t + 0. Let r = j + 0.038. Which is smaller: r or -9?
-9
Let l be ((-120)/2200)/((-9)/(-336)). Which is bigger: l or -3?
l
Let c = 157.35 - 162. Let f = c - -4.45. Which is greater: -6 or f?
f
Let f be (-10)/(-75) + (-613)/(-15) + -1. Suppose f + 18 = q. Is 59 > q?
True
Let x = -353.9876 + -0.0124. Let u = x + 78. Which is smaller: -0.1 or u?
u
Let f = -4941 + 4941. Are -833 and f non-equal?
True
Let r = 1067.4888 - -0.5112. Is 2/13 at least r?
False
Let x be 16/(-1) + 12012/14. Which is bigger: 1685/2 or x?
1685/2
Let c(u) = -2106*u + 108. Let z be c(6). Let l be 96/z*2/(-2). Which is bigger: 1 or l?
1
Let p be (-415)/10*((-12)/2 + 0). Let h = -497/2 + p. Which is smaller: -0.43 or h?
-0.43
Let p be 2/(-7) + (-2)/(-7)*-531. Let v = p + 11095/73. Let r = 445/511 + v. Which is smaller: 1 or r?
r
Let v be (-1)/(-13*14/4368). Is 25 at most v?
False
Let f(h) = 14*h - 3. Let s be f(7). Let o = 5906 + -5813. Which is greater: o or s?
s
Let h be 2 + (1896/(-213))/4. Let a = h - -450/2627. Let i be -6 + (10 - 10) + (-14)/(-2). Is i greater than a?
True
Let r be (3 + 2/(-4))*-2*-3. Let l be (-1)/(5/r) - -4. Does l = 2/27?
False
Let a = -4864 + 4865. Which is smaller: a or -1365?
-1365
Suppose 2*j - 469 + 14 = -o, -o + 1 = 0. Suppose -p + 951 - 1400 = -2*g, -5*g = 2*p - 1154. Which is greater: j or g?
g
Let t = -8330 - -8329. Is t greater than -37/29?
True
Suppose -11 = -v - 4. Let z be (-590)/(-30) + 3*-4. Is z >= v?
True
Let r be (7 + (-5460)/(-98))/(2 - 39/21). Which is bigger: r or 433?
r
Let a be -368 + 0 + (8 - 2) + -3. Let m = a - -521. Is 157 bigger than m?
True
Suppose -3*p + 3 = 0, -4*a + 13*p - 8*p = 601. Suppose 5*h - 3*j = -746, 2*j + 133 + 11 = -h. Which is bigger: h or a?
h
Let t be (-2)/6*33/8. Suppose -4*v - 2*h - 20 = 0, h + 28 = -41*v + 36*v. Let f be 5/15*v - 0. Which is greater: t or f?
t
Let p = 562 + -560. Let z be (-12)/((p/10)/(12/30)). Is z greater than -9?
False
Let l be (11341/(-2062))/((-22)/(-4)). Let r = 319 + -102. Which is smaller: l or r?
l
Let l(d) = d**3 + 114*d**2 - 597*d - 240. Let u be l(-119). Which is smaller: u or -837?
-837
Let z = 92.21 + -92.11. Which is bigger: z or 78.6?
78.6
Let r = -383/2456 + 19/614. Suppose 15 = -2*s + 3. Let u = s + 7. Is r less than u?
True
Suppose o + 27 = -3*w, 0 = 3*o + 5*w - 0*w + 61. Let q be -33*4/o + 3. Let g be 48/q + 18/(-42). Is g at most 24/11?
False
Let n be (-4)/(-8) - (-218)/4 - 3. Let c be (-1*(-4)/(-5))/(n/(-520)). Which is smaller: 4 or c?
4
Let n = 19/6 + -145/42. Let j = -57.3 + 4.3. Let i = j + 82. Is n greater than i?
False
Let f = -4243/858 + 127/26. Does f = -1/155?
False
Suppose 4*s = -2*u - 18, 2*u + 5*s = -0*u - 13. Suppose 44 + 137 = -12*g - 83. Which is bigger: g or u?
u
Let o = -20.3536 - -0.0536. Is 2/7 greater than or equal to o?
True
Let b = -31 + -4. Let x(h) = 7*h + 34. Let w be 50/35*(-9 + 2). Let i be x(w). Are b and i equal?
False
Let r = 4924/23 + -214. Let l be ((15*(-1 + 0))/2)/(-46). Let p = l + r. Are -9 and p non-equal?
True
Let s be (-16287)/(-36) + (-2)/3. Let z = 442 - s. Suppose -151*y - 22 = 2*v - 156*y, -3*y + 11 = -v. Which is bigger: z or v?
z
Let x = -2951/2781 + -4/309. Let c = -1159/702 - x. Is -1 less than or equal to c?
True
Let j be (-2)/12 + (-486473)/(-2116). Let m = 919/4 - j. Is 1/7 at most as big as m?
False
Let i(p) = 2*p**2 - p - 171. Let j be i(-9). Is -1000/9 less than j?
True
Let i = -172 + 300. Suppose i = -38*w + 46*w. Which is greater: w or 7?
w
Let n(d) = -49 + 18 + 18 + 2*d. Let f be n(5). Let q be (f/2)/((-115)/20 + 5). Which is greater: q or -9?
q
Suppose -345*i + 466*i - 16940 = 0. Does i = 132?
False
Let y = -3/65 - -22/195. Which is greater: y or 65?
65
Suppose 118*r + 6112 = 179*r + 317. Are r and 109 equal?
False
Let w = 3.55 + -159.55. Let y = w + 156.5. Which is bigger: -11 or y?
y
Let z = 745 + -791.9. Let t = -9.1 + z. Let o = t - -52. Which is smaller: o or 15?
o
Suppose j - 4*j = 0. Let i(w) = w**2 - 5*w - 81. Let n be i(-6). Let y be (12/140)/((-1)/n). Which is greater: j or y?
y
Let o = 76.74 - 76. Let k = -1.74 + o. Let i be -2 - (-66)/30 - (-24)/5. Which is smaller: i or k?
k
Let s be -3*(-46)/(-15) + 0. Let g = 2.38 - 1.98. Is s at most g?
True
Let w = 87.48 - 24.78. Is w at most -5/6?
False
Let q = 23725 + -16211. Let t = q - 773926/103. Which is smaller: t or 1?
t
Let b(d) = 3*d**2 + 13*d - 6. Let z be b(-15). Which is smaller: z or 468?
468
Let k = -1014 + 885. Which is greater: k or -137?
k
Let b(f) be the second derivative of f**4/12 - 5*f**3/3 + 7*f**2 + f. Let q be b(10). Suppose -2*p - q = -4*v, v + 4*v = 10. Which is smaller: p or -2?
p
Let b be (0 + (-96)/12)/(1/(-1)). Suppose 0 = -u + 5*a - b + 31, u + 2*a = -5. Which is smaller: 6 or u?
u
Suppose -3*b + 4*h - 4 = 0, -19*b + 15*b + 5 = 5*h. Is b at most as big as 3/4463?
True
Let k = -2785/63206 + -4/2873. Is k equal to -103?
False
Let h(d) = 224*d - 463. Let x be h(4). Which is greater: x or 436?
436
Let r = -8204 - -8015. Which is smaller: r or -188?
r
Let t = -254 - -251.64. Let o = t - 0.64. Which is bigger: o or -2?
-2
Let y = -9667981/472 - -20483. Is y > -1?
True
Suppose 17*b - 748 = 21*b + 4*m, 3*b + 2*m = -561. Let h(t) = 3*t**3 - t + 2. Let a be h(-4). Are a and b non-equal?
True
Suppose 0 = -4*w + 19 - 7. Suppose -42 = w*j - 159. Suppose j + 33 = -8*n. Is -12 greater than n?
False
Let c be 1/(11 + (-216)/18). Which is smaller: -0.0105 or c?
c
Let k = 53004/11 - 4818. Is k at most as big as 70?
True
Let a(t) = t**2 + 37*t - 131. Let g be a(-41). Suppose -5*y + 0*y = 0. Suppose y = 8*i - 195 - 77. Is i smaller than g?
False
L