 Which is smaller: n or l?
n
Suppose 0 = x - 2, -v = -0*x + 4*x - 166. Let m(w) = -w**3 - 5*w**2 - 9*w - 2. Let k be m(-7). Is k greater than v?
True
Let h(i) = 3*i + i - i**2 + 21 + 3*i - 10*i. Let m be h(-7). Let r be m/(-18) - (4/(-9))/(-2). Is r at most as big as 1?
True
Let g be ((-10)/14)/(67/(-469)). Suppose -g = -l - 3*u - 0*u, -l = u - 15. Do l and 21 have the same value?
False
Let z be 3*608/924 + -24 + 22. Is -0.09 at least z?
False
Suppose 0 = -4*s + 5*q - 4*q - 320909, -5*s = -q + 401135. Let i be (s/(-45))/((-57)/(-15)). Let w = i - 469. Is w smaller than 0?
False
Suppose 4892 = -3*u + 3*x - 5239, -2*u - 4*x = 6730. Is -3371 bigger than u?
True
Suppose 5 - 25 = -5*j. Let r be j/(-6) - 0/(-5). Which is smaller: r or -0.17?
r
Let q be (0/(-1) - 1)/(-1). Let z(b) = -5*b + 101. Let r be z(23). Let x be (176/(-924))/(52/r). Is q greater than or equal to x?
True
Suppose 3*n + 1348 = -4400. Let x = n - -132208/69. Let l = x - -5/1104. Which is bigger: l or -1?
l
Let x be (12*22/(-3))/(-31 - 4). Let t = x + -12/7. Let h be (3 - 4) + (-44)/(-32). Does t = h?
False
Let m(j) = j**3 - 10*j**2 + 9*j - 3. Let l be m(9). Let w be 180/(-54) - 2/(-6). Let c be (-2)/60*l*w. Which is greater: 1 or c?
1
Let w = -4442 + 29382/7. Let m = -245 - w. Let z(v) = -v**3 - 4*v**2 - 2*v - 2. Let l be z(-2). Is l < m?
True
Let r be (-1 - 1)*2 - -2. Let t be (13 - 12)*(-139)/2*r. Suppose 3*x + 90 = 4*h, t = -5*x + x - h. Is -34 at least x?
True
Let b = 45422 + -147803187/3254. Which is greater: 1 or b?
1
Let i(g) = 3*g**3 + g**2 + 15*g - 117. Let k be i(10). Let b be (k/(-39))/(10/(-6)). Which is greater: b or 49?
49
Let z = 234.5 - -15004.5. Which is bigger: 1 or z?
z
Let o = -0.41 + 4.61. Let k = -4.32 + o. Let f = -0.05 - k. Is -1 <= f?
True
Suppose -5*z = 2*n + 3, -2*z + 2*n - 17 = -13. Which is smaller: 3/2446 or z?
z
Let m(v) = v**3 + v**2 - v + 2. Let t = 114 + -111. Let z be m(t). Let j = 0 + 1. Is z != j?
True
Suppose -4*t + 31 = 5*h, -3*t - 2 = -t. Let f = -121 + 373. Let v = f - 247. Is v greater than h?
False
Suppose 23660 = -10*h + 13213 + 82947. Is 1 smaller than h?
True
Suppose -56*s + 2271 - 687 = -65*s. Suppose v + 0*v = -175. Is v at least as big as s?
True
Let n = 2.4883 - -0.0217. Let h = 2.49 - n. Which is greater: 54 or h?
54
Let u(l) = -64*l + 1980. Let i be u(32). Is -756/11 greater than i?
False
Let s = -7217 - -7212.546. Which is smaller: -1 or s?
s
Suppose 2*y - 686 = -m + 377, -4*y = 4*m - 2136. Are y and 526 non-equal?
True
Let z(m) = 224*m + 47. Let i be z(9). Suppose -5*u + 1231 = -3*v, 0 = 5*v + 4*u - u + i. Is v at least -413?
True
Let v(j) = j**3 - 8*j**2 + j + 17. Let f be v(8). Suppose -28*c + f*c + 345 = 0. Are 115 and c nonequal?
False
Suppose -5*n + 1 = f + 8, 15 = 3*f + 3*n. Suppose -2*j + 102 = 3*r, 13*r + f = 15*r. Which is greater: 44 or j?
j
Let h = -3.267 + 2.967. Which is greater: h or 4?
4
Let s = 193.8979 + 1.1021. Is s >= 0.17?
True
Let q be 2/(-5) + 1017/(-270). Let s = 51 - 21. Let g = s - 31. Is g at most q?
False
Let h(g) = -g**2 - 13*g - 30. Let y be h(-10). Suppose -62*c + 58*c = y. Is c > 6/53?
False
Suppose -10 = -2*j, -6*j + j = -4*z + 183. Let i be z/14 - (-5)/(70/4). Let k be ((2 - 3)/(-10))/(i/8). Is -0.9 at most as big as k?
True
Suppose 0 = -4*d - 4 - 4. Let v(i) = -1724*i + 2*i**2 + 573*i + 574*i + 580*i. Let o be v(d). Which is greater: 12/23 or o?
o
Let v be 7/14 - 15/(-2). Suppose 52 = 2*d + v. Let s be (d/330)/((-1)/(-6)). Which is smaller: s or -1/34?
-1/34
Suppose 0*o + 10*o + 11*o = -4*o. Is o greater than -1.11?
True
Let h = 41888 + -41889. Are h and -4/24791 non-equal?
True
Let o = -47082 - -6450272/137. Which is greater: o or 0?
o
Let d be (-2)/(-11) + 11120/2728. Which is bigger: 3 or d?
d
Let d = 52114 + -1355127/26. Which is greater: d or -7?
d
Let k = -5 - -9. Let o = 34795 + -34833. Which is bigger: k or o?
k
Let w = -1029557629971/24955 - -41256567. Let v be (-80)/775*5/(-14). Let b = w + v. Which is greater: 0 or b?
b
Let t = -60.902 - -61.5. Let l = t - -1.662. Is l less than or equal to 2/7?
False
Let u = -48 - -48.57. Let z = u - -64.43. Let l = 58 - z. Is l at most as big as 1/2?
True
Suppose -5*y + 2*r - 7 - 13 = 0, 0 = -3*y + 5*r - 31. Let g be 1518/308 + (y/1 - 1). Which is smaller: g or 3?
g
Suppose -83*g + 52*g = 31. Do g and 1/3466 have the same value?
False
Suppose -107*f + 231*f + 19104 = 92*f. Which is bigger: f or -598?
f
Let z be 2259/5 + 522/435. Which is greater: -4 or z?
z
Let s(j) = j**2 - 2*j - 26. Let a be s(6). Let h be a + 9/4 + (-219)/12. Which is greater: h or -15?
-15
Suppose n + 1 = 4. Suppose 2*q + 4*j + 24 = j, n*q = -2*j - 26. Let l be (-2)/(-3)*(8 - 11). Are l and q unequal?
True
Let h = 196 + -38616/197. Is -1 at least as big as h?
False
Suppose 17*k = 18*k + 30. Let c be k/(-8) + 25/20. Which is smaller: 0 or c?
0
Suppose -47*x + 3048 = 9722. Which is bigger: x or -156?
x
Let a = -77 + 82. Suppose -a*s = -208 - 92. Let q = -53 + s. Which is bigger: 6 or q?
q
Let j = 1361 - 5367/4. Let a = 987 - 969. Are a and j equal?
False
Let h = 24 - 67.6. Let g = h + 40.6. Do g and -3/50 have different values?
True
Let s = 1618 + -1020. Which is greater: s or 597?
s
Let n(d) = d**2 + 27*d + 72. Let q be n(-10). Is -98 > q?
False
Let k = 0.4341 - 1.4341. Which is bigger: -1/103 or k?
-1/103
Let h be 7/15*(-5)/105*6. Let i = 255 + -255. Which is smaller: h or i?
h
Let t = 0.412 - -2.188. Let i = t + -2.6. Which is bigger: 7/2 or i?
7/2
Let z(d) = -d**3 - 6*d**2 + 4*d - 5. Let u be z(-7). Let k = 54 + -5. Suppose 2*c + 7 - k = -4*f, 0 = 2*f - 6. Are u and c equal?
False
Suppose c + 0*u + u = 0, 0 = 2*c + 4*u - 10. Let w(x) = x**3 + 22*x**2 + 4*x - 47. Let l be w(-22). Let g = l + 131. Is c greater than g?
False
Let x be (-2500)/(-2910) - (-4)/6. Let c = -18129/388 - x. Let i = -48 - c. Is i at least -6/7?
True
Suppose -7*h + 20 + 8 = 0. Suppose 23*g - 5*j + 48 = 27*g, 2*g + 5*j - 34 = 0. Is h less than g?
True
Let f(v) = -2*v**3 - 2*v**2 + 12*v - 22. Let i be f(5). Which is greater: i or -2085/8?
-2085/8
Let r = -48296 + 49841. Are 7 and r non-equal?
True
Suppose 2*j = 57*j - 935. Are -2 and j non-equal?
True
Let i = -2/3461 + 131528/17305. Let o = i - 36/5. Is -87 bigger than o?
False
Let p be (26/(-10) + -1)/(48/(-320)). Is p greater than or equal to -1/4?
True
Suppose -13*s = -26*s + 10*s + 4521. Does s = 1508?
False
Let g be (-4)/30 + 3921/45 + -5. Let h = g + -74. Suppose -3*k + h*k = 110. Is 22 at least k?
True
Let k = -30111 + 120419/4. Suppose -1 = f + 4. Is k at least f?
False
Let o = 51 - 30. Suppose -114 = -o*z + 24*z. Which is smaller: z or -39?
-39
Let n = -2 + 1. Let q = -13.600604 + 0.200604. Which is bigger: q or n?
n
Let n be ((-20)/(-644))/(22/623). Let k = 246/5 - 11281/230. Let g = n - k. Does g = 0?
False
Let h(n) = 9*n**2 + 3*n - 4. Let m(o) = o**2 - 9*o + 3. Let k be m(11). Suppose p - 4*j + 4 = 5*p, -k = 5*p - 5*j. Let g be h(p). Is 26 >= g?
True
Let v = -12 - -35. Suppose 0 = -l + v + 7. Let z be 4/l + 6/9. Is 0 greater than z?
False
Let k = 13 - 48. Let c be ((-12)/21)/(10/k). Let h be (246/20)/(-3) - (-1 - c). Which is smaller: -2 or h?
-2
Suppose 8*m - 6 = -14. Let x be m + 0 - (-16 + 9). Is x at least as big as 9?
False
Let p = -3396 - -3367. Is -30 greater than p?
False
Let b be (-2)/24*(-2 - -3). Let m = 0.46294 - 0.76294. Which is smaller: m or b?
m
Let b be ((-16)/(-24))/((-6)/(-27)). Suppose b*y - 33 = -9. Suppose -3 = h - y, 2*h = -4*p + 14. Is 1/120 at least as big as p?
False
Let g = -4040 + 88877/22. Which is greater: -1/21 or g?
-1/21
Let o(t) = -36*t**2 - 3*t + 77. Let h be o(15). Let b = -1444184/179 - h. Is 1 less than b?
False
Suppose 5*l + 5 = r + 87, -5*r + l - 530 = 0. Let m = -979 - -869. Do m and r have different values?
True
Let g(p) = -p - 7. Let o be g(-7). Let z = 15.87 + -15.8. Let k = z + -1.07. Is o greater than k?
True
Suppose -112 = 32*q + 16. Let a = 26 - 38. Which is greater: a or q?
q
Let f = -32 - -17. Suppose -328*d = -324*d - 16. Suppose a - 37 = d*q - 48, -4*q + 26 = -2*a. Is f at least as big as a?
True
Let h = -347 - -1055/3. Let t = 2485 - 2484. Is t bigger than h?
False
Let j = -53/3 + 18. Let l = 76 - 18. Let q = 53 - l. Which is smaller: j or q?
q
Let x be 2*((-5)/2 - -1). Let r(y) = -y**3 -