-9) + 21/(z/1752). Which is bigger: r or 17?
17
Let r = -86087101/4180 - -20595. Which is bigger: r or -2/7?
r
Let w = 4627 + -23224/5. Let o be -2 - ((-2026)/(-120) + -1). Let b = w - o. Is 0 bigger than b?
False
Suppose -2*t + 3*r = -34, -98*t + 3*r = -97*t - 20. Let x be (-15)/(-3)*(3 - 30/125). Is t not equal to x?
True
Let t = -72 - -65. Let d be (-520)/(-28) - (17/t + 2). Which is bigger: 35/2 or d?
d
Let k = 1852 + -1848. Suppose 4 = -2*v + 14. Suppose v = k*q + q. Is 2 at most q?
False
Let n = 1095/19 - 322702/5605. Which is smaller: 0 or n?
0
Suppose -5*a - 47 = 4*g, g = -4*a + 7 - 16. Suppose -19 = 3*n + 4*x, -4*n + 16 = -x - 4*x. Is g <= n?
True
Suppose 0 = 7*i + 1884 + 272. Let b = i - -319. Which is smaller: 17 or b?
b
Let l(q) = 7*q - 66. Suppose 59 = 17*y - 111. Let r be l(y). Let j(t) = t**3 - 7*t**2 + 6*t + 6. Let s be j(6). Which is smaller: r or s?
r
Let o(r) = -r**3 - 11*r**2 - 13*r - 6. Let d be o(-10). Suppose -4*f = -5*f + q - 6, -4*f = -3*q + d. Suppose 255 = -58*z - 209. Which is smaller: z or f?
z
Suppose 3*p + 571 = -4*p - 4518. Is -2179/3 greater than p?
True
Let c(n) = 3*n - 1. Let q be c(1). Let a(i) = -2*i**2 - 274 + 139 + 0*i + 4*i + 136. Let p be a(q). Do 3/7 and p have the same value?
False
Suppose -p + 3*p - 3*v = -7, -4*p + 2*v + 6 = 0. Suppose -3*q - p*a + 7 = -2*a, 4*a = q - 7. Let y be q + -1 - 0 - -25. Is y > 28?
False
Let j = 5376 + -4549. Which is smaller: -2/25 or j?
-2/25
Let a be 3 - (-4 + 4 + 0). Suppose 5*o - 100 = -h, -4*h - 5 = -a*h. Suppose 0 = 2*g + 5*b + o, 5*b - 10 = 2*g + 21. Are g and -13 equal?
True
Suppose 0 = -a + 4*m + 6255, a - 68*m + 66*m = 6259. Which is bigger: a or -1?
a
Let s(w) = -w**2 + 15*w - 6. Let p be s(13). Let d(o) = -19 - 6*o**2 + 0*o**3 + 3*o**3 - 4*o**3 + 7*o + p. Let y be d(-7). Which is smaller: y or -2.3?
-2.3
Let u(r) = -r**3 - 8*r**2 + 14*r - 5. Let g be u(-12). Let l = -186 + g. Let m = 2823/13 - l. Does 2/7 = m?
False
Let g(o) = -14*o**2 + 9*o + 27. Let k be g(-10). Is k at least as big as -1465?
True
Let g be (-6 + (-6)/3)*(-4510)/20. Is g <= 1805?
True
Let b(x) be the first derivative of x**4/4 - x**3/3 + 11*x**2/2 - 45*x - 35. Let z be b(4). Which is bigger: z or 1?
z
Let l = -13787 - -13888. Is l less than 108?
True
Let x be -5 + (-1113)/(-228) - (-7 - (-135)/20). Is 1 at most x?
False
Let i be ((-640)/(-1384))/4*(-2)/12. Is i <= 1?
True
Let p = 279 + -277. Suppose 19*l + p = -302. Which is smaller: l or -79/5?
l
Suppose -100 = -6*p + p + 4*t, 5*p - 2*t - 110 = 0. Let z = -22 + p. Let c be (-1)/44*2/z. Which is smaller: 0 or c?
c
Let g(v) = -v**3 - 14*v**2 - 23*v - 62. Let i be g(-13). Suppose i*j - 72*j - 4 = 0. Is -8 not equal to j?
True
Let o = -327340/407 + 6058/37. Which is smaller: -641 or o?
-641
Suppose 0 = 3*c + 2*u + 13 + 15, -5*u - 35 = 4*c. Let z be ((-5)/c)/((4 - 1)/(-12)). Which is smaller: z or -14/25?
z
Let a = -332.9 - -361. Let w = a + -28. Which is smaller: 2/19 or w?
w
Let u be ((-12)/9)/((-42)/9). Let i = 116 + -397. Let y = -302 - i. Which is smaller: u or y?
y
Let t be 772/(-1170) + 18/30. Let k = t - 2/39. Let r = 4.13 - 4.33. Is r != k?
True
Let s(r) = -r**3 - 2*r**2 - 7*r - 6. Let p(m) = m**3 + 4*m**2 + 15*m + 11. Let n(b) = 2*p(b) + 5*s(b). Let a be n(-3). Suppose 3*q - 4 = -a. Is q less than -22?
False
Let c be (8 + 484/(-56))/(66/(-12)). Which is smaller: c or -1?
-1
Let s be (-2)/(-7) - 20/315. Let d be ((-6)/15 + 76/(-10))*-2. Let o be 15/6*d/40. Which is bigger: o or s?
o
Let y be ((-169986)/9)/(7/252). Let f = y - -10205132/15. Let g = f - 398. Is g equal to 3?
False
Let b = -85 + 84.67. Let d = 0.403 + b. Is d at most as big as 0.1?
True
Suppose o - 18 = -0*o + 3*q, -5*o + 18 = 3*q. Suppose -3*v + 18 = o*v. Which is smaller: v or 7/5?
7/5
Suppose 169*k = 1288567 - 22419. Which is bigger: 7491 or k?
k
Suppose -3*v - 3*x + 84 = 0, -164 = -6*v - 42*x + 40*x. Let s = 0.3 - -2.7. Is v != s?
True
Let p = -6053 - -6052.86. Which is greater: 1/377 or p?
1/377
Let w be 1 + -1 + 1 + (-151)/((-6946)/(-13800)). Suppose 600 = -3*v + v. Which is greater: w or v?
w
Let w = 3645 - 3783. Which is smaller: w or 7?
w
Let l = -82387/514096 - -20/2921. Is l not equal to -2?
True
Let j = -11898 + 11775. Which is smaller: 33 or j?
j
Let g = -5135/1758582 - 2/5747. Let u(x) = -5*x + 4. Let l be u(1). Which is greater: g or l?
g
Suppose 17*o + 876 = 111. Let y = -13 + 15. Suppose y*l + 64 = -28. Which is smaller: o or l?
l
Let l be (-1 + 10/4)/(57/(-1482)). Let a(m) = m**2 - 8*m - 13. Let s be a(10). Suppose d = -s*i + 2*i - 13, 200 = -5*d + 2*i. Is l greater than or equal to d?
False
Let m(p) = p**3 - 13*p**2 - 29*p + 2. Let d be 10/(26/(-91) + 40/42). Let a be m(d). Let h(t) = -5*t - 7. Let i be h(-5). Which is smaller: i or a?
a
Let t be (-118*(1 - 0))/2. Let a = -107 + 41. Let l = t - a. Is 7 at most as big as l?
True
Let h = 29 + 7. Let n = -61 + h. Let o be (4 - (-85)/n) + -2. Are o and -2 equal?
False
Let z = 26.244 + -26.304. Are z and 2 non-equal?
True
Suppose -8 + 2 = 3*i, -4*x - 2*i + 13320 = 0. Let m = 336428/101 - x. Is m less than 1?
True
Let s = 538 + -537.673. Are 2/7 and s unequal?
True
Let s(p) = -2*p**3 + 25*p**2 - 25*p + 8. Let i be s(11). Let a be 3/(8/i*4). Do a and 9 have the same value?
True
Let s = 771647/197 - 3917. Let w(m) = m**3 + 5*m**2 + 5*m + 4. Let i be w(-4). Which is greater: i or s?
i
Let u be (-9)/(-12) - (-342342)/7224. Which is smaller: 48 or u?
48
Let c(j) = -16*j - 97. Let t be c(-6). Which is bigger: 8/69 or t?
8/69
Let s be (-136)/(-10) + (-5)/((-25)/(-3)). Suppose 0 = -5*w + s*w + 328. Let n = w + 41. Is n bigger than 3?
False
Let g = 0.4 - 0.5. Suppose 56 = -t - 511. Let r = t + 3987/7. Are g and r equal?
False
Let t = -11112419697/17445332 + -7/513098. Let z = -637 - t. Is 0 at most z?
False
Suppose -179 = -12*t + 337. Which is greater: -26 or t?
t
Let x be (-85)/219 + (-1)/(-3). Let d(w) = w**3 + 64*w**2 + 735*w + 2. Let b be d(-49). Which is smaller: x or b?
x
Suppose -q + 2*q + 52 = 4*v, -3*v - 4*q + 20 = 0. Suppose -12*t + v = -9*t. Suppose t*i + b = -0*b + 164, -3*i + 5*b = -100. Which is bigger: 39 or i?
i
Let g = -1.01 + 3.86. Let x = -5.32 + g. Which is greater: x or -0.1?
-0.1
Suppose 13 + 99 = 14*h. Let t(b) = -b**3 + 9*b**2 - 9*b - 5. Let a be t(h). Let n be 2 + (3 - 6) - (-35)/a. Which is smaller: n or -5?
-5
Let u be (-10)/(-30) - 572/1698. Let j = 26 + -26. Which is smaller: j or u?
u
Let t be 2 + 24/(-15) - 36/15. Let f be t/(-9) + (-16)/72. Is 1/3 at most as big as f?
False
Suppose 0 = -5*f - 7*v + 2*v + 10, 3*v = 0. Let o be -4*18/12*(-5)/6. Suppose -f*w = -o*w - 45. Which is smaller: w or -13?
w
Let t be -23 + 28 + -1 + -13. Let x be ((-3)/138)/(t/108). Let y = 0 - 0. Which is greater: x or y?
x
Let p(x) = 21*x - 186. Let l be p(9). Suppose -3*i + 927 = -5*g, -l*i + 1140 = 5*g + 213. Which is bigger: -0.1 or i?
i
Let s(v) = v**3 + 21*v**2 - 21*v + 30. Let r be s(-22). Suppose -r*h + 19 - 11 = 0. Is h greater than -3/181?
True
Let v be 6075/(-33) + 54/594. Is v smaller than -183?
True
Let w(h) = -h**2 - 7*h + 1. Suppose 0 = -j + 4*r - 19, -j + 2*r = j + 20. Let k be w(j). Let i be 89*4/52 - (4 - -3). Is i bigger than k?
False
Let y be 14/49 - (-1)/((-14)/200). Let a = 41 + y. Suppose 0 = -3*z + a + 12. Which is smaller: z or 7?
7
Let w = 21 - -81. Let c = -55 + w. Let x = c + -37. Which is greater: x or 1?
x
Let g = -445 + 1127. Suppose 3*m + 3 = 0, 5*i - 5*m - g = -8*m. Suppose 4*r = 5*u - i, 2*r = -r + u - 100. Which is bigger: r or -34?
r
Let t = 0 + 1. Let m be 3 + -3 + (3 - t). Suppose 2 = -3*r - 2*k, -20 = 5*r - 5*k - 50. Is r bigger than m?
False
Let t = -110.3 - -252.5. Let d = -218 + t. Let p = -76 - d. Which is bigger: 10 or p?
10
Let x = 202 + -206. Let i be 58/(-290)*26/x. Which is greater: 2 or i?
2
Let c(p) = -4*p - 142. Let r be c(6). Let m = r - -166. Which is greater: 2/17 or m?
2/17
Let p = -219.3 - -16.3. Let s = -203.1 - p. Let n be ((-3)/(-4))/(18/(-21)). Which is bigger: s or n?
s
Let c be (-4 + 4 + (-6864)/2628)/((-1)/3). Which is greater: 0 or c?
c
Let c be 5 + 2002/(-2065) + -4. Let u = c + -238/9735. Which is greater: u or 0?
u
Let i = 96 - 65. Suppose 3*s + i = -h - 8, -s = -5*h - 115. Let c be 14/6 + -2 + 8/h. Which is smaller: c or -1/29?
-1/29
Let j(g) 