958 - 575749/6. Which is smaller: z or s?
z
Suppose -8*o + 9*o = -5, 5*o - 2011 = 4*h. Let u = h + 8651/17. Is -0.34 equal to u?
False
Let m(q) = 7*q**2 + 417*q - 72. Let f be m(-37). Is -0.2 >= f?
True
Let a(b) = 117*b - 23. Let g be a(-15). Which is bigger: g or -1779?
g
Let n = -68/21 - 2/21. Suppose 4*r - g = -12, -r - 10*g - 20 = -6*g. Which is smaller: n or r?
r
Suppose -6839 = 162*x + 205*x + 26925. Which is greater: -7 or x?
-7
Let q = 4823027393/24297 - 198503. Do q and 0 have the same value?
False
Let y(i) be the third derivative of i**5/20 - 23*i**4/8 - 23*i**3/6 + 218*i**2. Let x be y(24). Do 52 and x have different values?
True
Let r = 7603.983 - 7604. Which is smaller: -35 or r?
-35
Suppose u = 4*h + 2353, -u - 1541 = 2*h - 360. Is -1765/3 at least h?
True
Let v = -6/23 + 64/69. Let u = -33 + 27. Let c be (-3)/u - 3/2. Which is smaller: c or v?
c
Let n be ((-12)/(-14))/((-9)/(-126)). Is n bigger than -8?
True
Suppose 4*z = -s - 1219, -9 - 6020 = 5*s - 2*z. Which is smaller: -1206 or s?
s
Let u be 3499/114 - 13/78. Let i = u - 101538/3325. Which is greater: i or 0?
0
Suppose z = s - 10, 49 = 7*s - 3*s + 5*z. Suppose 5*a - 5*n + s = 6*a, -5*a + 2*n + 1 = 0. Let d = -57534/13 - -4428. Which is bigger: a or d?
d
Let u = 0.04 + -2.04. Let w = 26.069 + -5.417. Let t = w - -0.348. Which is smaller: t or u?
u
Let n be (-39)/(-26) + (-103)/2. Let t be ((-9)/5)/(5/n). Suppose 0 = -k - 2*m + t, -2*k + 6*m = 3*m - 15. Which is smaller: 13 or k?
k
Suppose -908 = -9*r - 65*r + 1608. Suppose -72 = 5*o + 93. Let g = o - -68. Which is smaller: r or g?
r
Suppose 1632*d - 1619*d - 91 = 0. Which is smaller: 35 or d?
d
Let n be (-2)/(-2) + 5 - (1940/5 - 12). Is n at most -375?
False
Let g = -1934 + 1923. Is g at least as big as 39?
False
Let d = -218.9 + 413.5. Let u = d - 194. Which is greater: u or 0.1?
u
Let k(d) = -d**3 - 20*d**2 - 100*d - 117. Let u be k(-13). Which is smaller: u or -4/343?
-4/343
Suppose -59*q - 4 + 5 + 58 = 0. Is q equal to 1/4959?
False
Let f be (3/(-330))/(1/((-1926)/(-51))). Let x = f - -6/85. Which is smaller: x or 0?
x
Let s be (-15)/(-75)*(-119962)/(-4774). Let b = s + -176/35. Which is greater: -1 or b?
b
Let f = 190 + -1708/9. Suppose -k = -1, g = 17*k - 20*k + 8. Suppose l = 6*l + g*l. Which is smaller: l or f?
l
Let h = -121604195/2221 - -54752. Is h >= -1?
True
Let c be (31/(31/450))/(2/4). Are c and 898 nonequal?
True
Let i = 999 - 581. Suppose 2*d + 2*j = 1108, 0 = d - 5*j - 124 - i. Which is smaller: d or 553?
d
Let b = -109624 - -109603. Let x be 6/9*-3 + 7. Suppose y + 4*a - 2 = -3, x = 2*y + a. Which is greater: y or b?
y
Let c be (-1290)/172*3/15*-4 + -41. Which is greater: c or -4?
-4
Suppose 2*a = -5*d + 103, -5*d - 2*a + 107 = a. Let z = d - -5. Let c be (2/z)/((-2)/(-18)). Is 1 at least as big as c?
True
Let a(f) = 3*f**2 - 36*f - 9. Let y be a(6). Let c be (7/21)/(3/y)*3. Which is greater: c or -38?
-38
Let a(w) = 4*w - 7. Let l be a(-9). Let x be 1 + (-2 - -1) - (2 + l). Let s = x + -40. Is 1/3 at least s?
False
Let b be 68 + (-1 + 1)*1. Suppose -2*f + 26 = b. Suppose -20 = 5*w, 4*w + 59 = -3*c + 5*w. Is c <= f?
True
Let q be 0 + (-2)/20 - (-117)/(-30). Let n be q/14 - (4344/(-798) + 6). Which is smaller: -1 or n?
-1
Let s be (12/2)/(132/10*(-10)/2456). Is s smaller than -113?
False
Let q be -9 + -15 + 8 - 2628. Is -2643 > q?
True
Suppose -42*t + 660 = -44*t. Let b be (-140)/t*(-15)/25. Which is bigger: b or 0?
0
Let p = -651 - -652. Let c be -5 + p + (-357)/(-12). Which is smaller: c or 1/3?
1/3
Suppose 0 = 86*t - 41*t - 5355. Is 133 less than t?
False
Suppose -40*y = -3*y + 37. Let o be ((-10)/(-40)*-86)/(y/(-2)). Which is smaller: -0.3 or o?
o
Let w = -2283524/61 + 37436. Which is smaller: 1/3 or w?
1/3
Let f = 4421 + -4421.03. Which is smaller: f or -23?
-23
Let i = 4707/19 - 5931/133. Let g = -202 + i. Which is bigger: g or 2?
2
Suppose -5*u = 4*h + 124, -u - u + 2*h = 46. Let r be ((-22)/u)/(4/6). Let i be (-16)/28 + (-28)/(-49). Is r bigger than i?
True
Let u(r) = -r**2 + 13*r - 9. Let z be u(12). Suppose 0 = -w - b + 1, -2*w + 0*b + 2 = -z*b. Let j be (1/(-2))/((-28)/(-4)). Are w and j unequal?
True
Let v be (28/8)/7*0. Suppose v = -f + 5*f + 4. Is f bigger than 7/30?
False
Suppose -71*b = -62*b + 450. Do 0.2 and b have different values?
True
Let s = -2509 + 4582. Is 2074 <= s?
False
Let c = 3 + -5. Suppose 45*k = 43*k + 5*f - 23, 2*k + 4*f - 4 = 0. Let m be (-6)/(-8)*(6 + c) + k. Which is smaller: -2/185 or m?
m
Suppose 0 = b + 6, -4*j = -2*j - 5*b + 15582. Is j > -7805?
False
Let x(m) = -403*m**2 + 12*m + 6. Let a be x(-1). Are a and -410 non-equal?
True
Let u be 4/22*(-3)/15*-1. Let f(c) = -c**3 + 7*c**2 + 17*c + 14. Let w be f(9). Suppose -2*j = -w*j. Is u less than j?
False
Let l be 248/32 + (-10)/(-8) + -9. Which is bigger: l or 2/4379?
2/4379
Suppose 198 = -100*w + 102*w. Let h be w/6 - ((-9)/(-2) + -4). Suppose -6*g + 5*z = -8*g - 16, z = -2*g - h. Do g and -8 have the same value?
True
Suppose 39*f - 22 = 17. Are 1534 and f unequal?
True
Suppose 90 = 4*n + 5*i, -4*i = 4*n - 3*n - 28. Suppose -4 = -16*x + n*x. Which is bigger: x or 3/163?
3/163
Let l be 1/(-8) - (-27)/1210*(-5355)/1836. Is l at least 0?
False
Suppose 2*c + 8 = -4*k, 40 = 4*k + 113*c - 117*c. Which is greater: -12 or k?
k
Let j = 476 - 472. Let q = -4 + -6. Let c = q - -6. Which is greater: c or j?
j
Suppose w = -j - 7, 883*w = j + 885*w. Which is smaller: -78 or j?
-78
Let q be 5/(-3) + (-68)/51. Let k be (-8)/(-2) - 110 - q. Let g = k - -114. Which is smaller: 10 or g?
10
Let i = -24674 - -24697. Which is smaller: 658/27 or i?
i
Let u(o) = -604*o + 1090. Let w be u(14). Which is smaller: -7365 or w?
w
Let s(z) = -z**2 - 8*z - 8. Suppose -q - 18 = 2*q. Let f be s(q). Let j be 11/2 + ((-5)/9 - 1104/2484). Is f equal to j?
False
Let l = 21.03 - -31.02. Let d = l - 52. Let a = 170 + -508/3. Are d and a non-equal?
True
Let s = 1377 + -1119/2. Which is bigger: s or 819?
819
Let v = -11785.18 - -11894. Let s = v + -110. Let t = -31.82 + s. Is t at most as big as 0?
True
Let r be -5*(-21)/70*-4. Let o be (7/(-252))/(r/16). Which is greater: 1/3 or o?
1/3
Let k = -1113866/211 - -5279. Which is greater: k or 1?
1
Let q be 102/(-1632) + 4006/54880. Which is smaller: 1 or q?
q
Let u(m) = -95*m + 436. Let w(a) = 47*a - 218. Let b(f) = 4*u(f) + 9*w(f). Let n be b(5). Do -4 and n have different values?
True
Let m(k) = -116*k + 293. Let j be m(3). Which is smaller: j or -54?
j
Let n be -3*((-170)/57 - -3). Let a be -4 + -15*(-5)/(-30)*-10. Suppose -1 = -20*t + a*t. Do t and n have the same value?
False
Let n(o) = o**3 - 7*o**2 + o + 1. Let a be n(5). Let u = -21 - a. Let h = u - -7. Which is smaller: 1/2 or h?
1/2
Suppose 5*n - 4*n = -8*n. Suppose -24*h - 6138 + 15234 = n. Are h and 1 equal?
False
Let w(j) = 14*j - 8. Let d be w(4). Let p = -44 + d. Suppose 3*x - 9 = 0, p*x + 2 = -o + 22. Is 7 at most o?
True
Let a be (56/10 - 2)/((-6)/(-80)). Suppose -a = -11*q + 62. Let p be (-28)/q - (-10)/(-50). Is 0 less than p?
False
Let b be (-15)/9 + 2/3. Let l = -2/100757 - -10620/705299. Is l > b?
True
Suppose -345 = h - 348. Suppose -g + 3*d - 9 = -2*d, -h*g = -4*d + 5. Is g < 41?
True
Let v = -7339/29 - -253. Let o = 0.016 - -9.984. Let w = o - 10. Is w equal to v?
False
Let a = -1420 + 72415/51. Let u be (-3 - -4)/(3 + -2). Which is smaller: a or u?
a
Let r(h) = -h**3 + 4*h**2 + 2*h - 4. Let y be r(-2). Suppose -14*w = -y*w - 2. Is w > 3/68?
False
Suppose -5*l - 56 = -41. Let k = l + -14. Let g(a) = -a**3 - 18*a**2 - 20*a - 52. Let q be g(k). Is -16/9 greater than q?
False
Let r = 24.3942 + 0.2058. Which is greater: r or 0?
r
Let w(f) = -f**2 + 4*f - 4. Let c be w(2). Let t be c/4*(-4)/(-16). Suppose t = -j - 2*j + 3. Which is greater: j or 6/23?
j
Suppose -14*f + 261 = 23. Suppose 11*h = f*h - 30. Let j = 4 + 3. Is h bigger than j?
False
Let w be ((-60)/50*-6)/(4/10). Suppose g + 5*c + w = -6, 2*g - 7 = c. Are -1/34 and g nonequal?
True
Let s = 2807 + -2805. Is s bigger than 47?
False
Let z be (18/(-27) - 1/3) + 6. Let b(s) = -12*s + 7*s + z + 3*s. Let f be b(6). Which is bigger: -25/3 or f?
f
Let y = 10024 - 40417/4. Do y and -81 have the same value?
False
Let w be ((-12)/8)/(1603*8/2016). Which is bigger: 0 or w?
0
Suppose -5*z - 2*