hich is smaller: 3 or y?
y
Let v(w) = -w**2 + 6*w + 9. Let b be v(8). Let c(i) = 3*i + 16. Let a be c(b). Let m be 2/(((-40)/(-3))/a). Which is smaller: 0 or m?
m
Let w(l) = l**3 - 5*l**2 - 8*l + 9. Let q be w(6). Let t be q/2 - (-1)/(-2). Let g = 19 - 20. Which is smaller: t or g?
t
Let f be (-8)/(-52) + (-3 - 11904/(-2223)). Let x = -3/19 - f. Suppose 2*d + d + 28 = -4*t, 2*t + 8 = 0. Which is greater: x or d?
x
Suppose -19*t = -14*t - 70. Let m(x) = x - 13. Let s be m(t). Is s equal to -6/17?
False
Let y = 5.6 - -4.3. Let q = 0.1 + y. Is -0.1 greater than or equal to q?
False
Suppose -a - 33 = -2*h, 3*a + 24 = h - 0*h. Let b = 10 - -12. Suppose -2*r + 4 = -4*f - b, r + 2*f - 17 = 0. Is h equal to r?
True
Suppose -3 = 5*s - 2*s. Is s at least as big as 1/19?
False
Let r be 195/(-510) + (-4)/34. Let t = 8 - 6. Let b = 1 - t. Is b at least as big as r?
False
Suppose -7 = 2*c - 41. Suppose -u + 4*y = c + 3, 3*u - 4*y = -20. Which is smaller: 7/12 or u?
u
Suppose -3*y - 15 = 3*p, 5*p - 8*y + 19 = -10*y. Is -8/5 equal to p?
False
Suppose -49*i = -52*i - 3894. Which is smaller: i or -1299?
-1299
Suppose -5*d = -0*d + 4*j - 8, 5*d = j + 23. Let b be 0*(-6)/18*2/(-4). Which is smaller: d or b?
b
Suppose -5*v + 2 = 4*m, -3*v + 0*m = 2*m - 2. Let j be 1/v*12/18. Is 1/44 at most j?
True
Let v = -125521/23 + 5459. Let o = 1592/32545 - 287/283. Let d = v + o. Which is greater: d or 0.5?
d
Let b = -784.5 - -734.47. Let r = b - -0.03. Is r smaller than -1?
True
Let x = -2118/7 + 303. Are x and -2/299 equal?
False
Let d(q) = -q**2 + 3. Let b be d(-3). Let v be 0 - (3 - -6 - 1) - -2. Let a be v - (-2)/(-4)*b. Are a and -12/5 equal?
False
Suppose 1 = -2*p + 9. Let i = -37 - -127/3. Let r = -17/3 + i. Which is bigger: r or p?
p
Let n be 5/(5/(-933)) + 0 + -1. Let j = n - -1929/2. Which is bigger: j or 30?
j
Let c = 5.4 + -0.4. Let p = -0.7 + 0.6. Which is smaller: p or c?
p
Suppose -5*b - 45 = -5*x, 4*b = -2*x - b + 18. Let h be (3/(-4))/(0 + x). Is 0 greater than or equal to h?
True
Let s(c) = -c - 1. Let n be s(8). Suppose t = -2*q - 20, -4*t - 44 = -4*q + 3*q. Let k = 2 + t. Is n != k?
True
Let a = -171 + 331/2. Is a > 0?
False
Let z = 8263/3 + -2758. Let w = 3.1 - -0.9. Let m = w + -4. Is m less than or equal to z?
False
Let h = -330 + 321. Is 0.19 < h?
False
Let g = -650.0642 + 650. Which is smaller: -1 or g?
-1
Let b be ((9/2)/9)/((-3)/(-3054)). Suppose 13*u - 41 = -b. Is u less than -36?
False
Suppose 0 = 4*v - 0*v. Let u = 2/6193 + 61876/167211. Is u bigger than v?
True
Let l = 0.5 + -4.5. Let x = -0.457 - -65.757. Let h = 65 - x. Which is bigger: h or l?
h
Let h = 82.6 + -81. Let j = -23 - -24. Which is greater: j or h?
h
Suppose -19*t + 2*t + 170 = 0. Suppose 760 = t*k - 320. Is 109 != k?
True
Let h(m) = -m**2 - 9*m - 11. Let r be h(-5). Suppose r*n - 4*n = 95. Which is smaller: 39/2 or n?
n
Let v = -32 - -39. Suppose -85 = -v*s + 167. Which is greater: s or 37?
37
Suppose -4*h = -2*h - 16. Let u be 3/5 + 207/5. Let y be 44/u + h/28. Which is smaller: 1 or y?
1
Let w(i) = -i**2 - 10*i - 36. Let m be w(-5). Which is greater: -9 or m?
-9
Let t = 380 - 1218. Which is bigger: t or 1?
1
Let n(p) = p**3 + p**2 - 8*p - 3. Let a be n(-5). Let q = a - -95. Let t be ((-108)/q)/3 + 1. Which is greater: t or 0?
0
Let w be (2 - 8)/((-18)/(-60)). Let a = -1 + w. Which is smaller: -22 or a?
-22
Suppose 11*f - 14*f - 2*q - 708 = 0, -944 = 4*f + 3*q. Is f greater than -236?
False
Suppose -7 + 13 = 3*n. Suppose -4 = -n*k + 6*k. Which is bigger: -3 or k?
k
Let g be -8 - (-9 - -17)*-1. Is 50 less than or equal to g?
False
Let h be (110/(-33))/((-2)/(-6)). Let u be 4/h*20/124. Which is smaller: u or 0?
u
Let m(s) be the first derivative of s**4/4 - 4*s**3/3 - s**2/2 + 3*s + 3. Let w be m(4). Which is smaller: w or 3/26?
w
Let o(j) = j - 1. Let d(p) = -5*p + 11. Let n(r) = d(r) + 4*o(r). Let v be n(-4). Let m = -12 + v. Which is smaller: m or 3/8?
m
Let f = -2/3695 + 8604/2242865. Let x = 1897/23066 - f. Is -1 less than or equal to x?
True
Let p = -8.0077 + 0.0077. Which is bigger: p or 78?
78
Suppose -3*v + 180 = 2*v. Suppose -6*u + v = -10*u. Which is bigger: u or -10?
u
Let w(q) = q**3 + 13*q**2 + 8*q - 8. Let v be w(-12). Suppose i = 4*i + 135. Let f be (i/v)/(6/4). Which is greater: -2 or f?
f
Let w be (-3)/(-12) + 0 - (-1020)/320. Is w greater than or equal to 3?
True
Let z be -1 - -8 - 1/(-1). Let g be 6/z - 9/28. Let j = 2 - 3. Is g > j?
True
Let b(c) = c + 8. Let d be b(-4). Suppose -d*w = -9 + 5. Which is smaller: w or -2/65?
-2/65
Let s(w) = 12*w + 153. Let v be s(-5). Is v < 89?
False
Let v(x) = x**2. Let n(j) = -j**2 - 4*j + 1. Let m(g) = -n(g) - 2*v(g). Let z be m(3). Suppose -2*f = z*f. Is f bigger than 2?
False
Let o(m) = -2*m**3 - 3*m**2 + 2*m + 1. Let b be o(-4). Suppose 2*r - b = -73. Are -2/115 and r nonequal?
True
Suppose -5*a + 5 = 0, -4*a - 116 = -4*b - 8*a. Suppose -g - b = -3*g. Let y = g + -10. Is 0.3 greater than or equal to y?
False
Let h be 3 - 7 - (-100)/(-45). Which is smaller: -5 or h?
h
Let q(s) = 11*s - 2. Let i be q(2). Let x be 14/i + 3/(-6). Let r = 23/65 - x. Is -1 not equal to r?
True
Let s = 106.85 + -135.8. Let c = s - -29. Is 0.1 at most c?
False
Let j be 27/(-7230)*14/(-3). Let d = j - -194707/1205. Let n = -161 + d. Which is bigger: 2 or n?
2
Let j(a) = a**3 - 3*a**2 - 9*a - 12. Let l be j(5). Let c be 104/l - (-1)/(-7). Let q = c - -9. Which is smaller: q or -10?
-10
Let a(h) = h**3 + 3*h**2 - 3*h + 6. Let t be a(-4). Suppose 4*r - 12 = -j, -3*j + 4 = -t*r - 2*r. Let k be ((-176)/(-20))/j + 1. Is 3 at most k?
True
Let p(b) = -b**3 + 5*b**2 - 4*b + 4. Let t be p(4). Suppose -t*a + 2 = -86. Suppose r = 2*f - 4 + 11, 0 = -2*f - 4*r - a. Which is smaller: -2 or f?
f
Let x = 1554 - 1174. Which is greater: x or 376?
x
Suppose -3*g + 87 = -60. Let u = -9/70 - -22/35. Is u > g?
False
Let n = 558 - 559. Is n at least 3/442?
False
Suppose 4*t + 9*r - 11*r + 74 = 0, 5*t + 95 = 3*r. Let h = -17 - -1. Are t and h equal?
True
Let u = -1.6 - 5.4. Let y = u + 6.8. Suppose 5*f + 26 = 3*b, -5*f - 36 = -4*b - 8. Is b not equal to y?
True
Let v = 220 - 219. Are -50 and v non-equal?
True
Let y = -33 - -68. Let b = 37 - y. Suppose -b = 4*v + 2. Which is greater: v or -2/99?
-2/99
Suppose -60 = 12*m - 8*m. Suppose 4*j + 37 + 23 = 0. Let s = j - m. Which is smaller: -1 or s?
-1
Let h be ((-46)/(-20) + -2)*40/75. Let j = 86/225 - h. Which is greater: j or 0?
j
Let d = -8/383 + 49096/3447. Which is greater: 15 or d?
15
Suppose -4*p - 95 = -335. Let n be (57*4)/4 + 4. Is n bigger than p?
True
Suppose -5*x - 3*a = 4, 2*x + 0 = -4*a + 4. Let y(c) = 6*c**2 + 3*c - 4. Let u be y(x). Which is bigger: 16 or u?
16
Suppose -2*w - 736 = -4*j, -9 = -j + 5*w + 193. Let i = 1646/9 - j. Which is greater: i or 1?
1
Let i be (-112)/(-42) - 2/3. Let z be (4/9)/i*39/(-26). Let d = 0.2 - 0.3. Which is smaller: d or z?
z
Let y(d) = -16*d**2 + 3*d - 11. Let x be y(0). Are x and -4 unequal?
True
Suppose -3*j + 45 = -45. Suppose -5*u - 10 = -j. Let g = -180 - -180. Which is bigger: u or g?
u
Let x = -35 + -1. Let a = x + 35. Which is greater: 0 or a?
0
Suppose -r + 28 = -5*n, -5*r - 11 - 17 = 3*n. Let f = n - -11. Suppose -3*k = -c + f, 2*c + 4*k + 5 = -5. Is c greater than -2/9?
False
Let i = 12.93 + -13. Let w be 36/(-96) + 570/16. Let v = w + -35. Which is greater: i or v?
v
Suppose 8*h = 13*h - 15. Let x(s) = s**3 - 4*s**2 - 3*s - 1. Let z be x(5). Suppose h*r - 12 + z = 0. Which is smaller: 1/3 or r?
1/3
Let s be ((168/(-32))/7)/((-6)/(-72)). Which is smaller: s or -73/7?
-73/7
Let n = -178 - -90. Which is greater: n or 1?
1
Suppose -w = -5*l - 5*w - 16, 0 = -l + 4*w + 16. Is l <= -2/381?
False
Suppose 10*z = z + 18. Suppose 0 = -4*k + 8, k + 2 = z*h + 6. Let v be ((-1)/(-4))/((-6)/(-4)). Which is smaller: h or v?
h
Let b(g) = 2*g**2 + 30*g + 40. Let j be b(-13). Let k be ((-71)/(-2) + -1)/3. Let l = k + j. Are l and 2 equal?
False
Let t = -23.27 + 0.27. Let i = t + 21.1. Let x = i + -0.1. Is x less than or equal to -0.2?
True
Suppose 0 = 5*r + 4*t + 1, -2*r - t = 2*t - 1. Let j(s) = -s - 7. Let k be j(-11). Let q be k*(-1 - 1)/12. Is q at least r?
True
Suppose 0 = 5*v - 3*t - 71, 5*v + 2*t - 36 = 25. Suppose -v = -o + 2*o - z, -2*o = 4*z + 8. Let h = -10 - o. Which