 1 = -c*b + 6*b. Let o be (-834)/(-351) + 14/(-91). Which is bigger: o or b?
o
Let h be -12 + 7 - (-6 + 3682/3670). Is 1 less than h?
False
Let j(a) = -12 - 10*a**2 - 6*a + a**2 - a**3 + a**2 - 6*a. Let b be j(-4). Is b not equal to -27?
True
Let n = -10.1 - 43.9. Let s = -69 - n. Is 0.2 bigger than s?
True
Let y(w) = 10*w**2. Let f(h) = h**3 + 8*h**2 - 3*h + 55. Let c be f(-9). Let z be y(c). Is z greater than 11?
False
Let f be -1 + 1 + 2 + 41/41 + 2595. Which is bigger: f or 2599?
2599
Let v = -7 - -41. Let b = -536 + 567. Which is greater: b or v?
v
Suppose -46427*v + 46452*v - 275 = 0. Which is smaller: -50 or v?
-50
Suppose 4*n - 338 = -5*s, -122*n + 117*n = -5*s - 490. Is 1003/11 less than or equal to n?
True
Suppose -42543 = 1367*m - 1106*m. Which is smaller: m or 69?
m
Let u = 3880 + -3882. Which is bigger: -99/40 or u?
u
Suppose -19*z - 12*z + 186 = 0. Suppose -2*q + p = 4, -z*q + 11*q - 4*p = -16. Which is smaller: 2/701 or q?
q
Let o = -6.068 - -6.12. Which is smaller: o or 0?
0
Let w = 148.173 + -0.173. Let f = 130 - w. Let h = f + 24. Which is smaller: h or -0.05?
-0.05
Suppose 4*i - 13 + 73 = 0. Let g be (72/i)/(-6)*1*5. Let a = 1.83 + 1.17. Which is bigger: a or g?
g
Let o = 38214/13 + -413542/143. Which is smaller: 48 or o?
o
Let s be 6/14 - 156/21. Let g be 134 - (7 + -2 + s). Which is greater: g or 138?
138
Suppose k = 5*x + 463, 4*x + 616 - 242 = 2*k. Let c be 1 + 0 + 1 + x. Which is bigger: -88 or c?
-88
Let i = 73429/544700 + -2/10475. Which is bigger: i or 0?
i
Suppose -2*c + 0*c = 0. Suppose 0 = -2*x + 5*o - 6, 4*x + 3*o + 10 = 24. Suppose -20 = 4*z, x*k + c*z - 2*z = 8. Which is bigger: k or 1?
1
Let q = -0.087 - -38.087. Let y = 2.93 + -40.83. Let x = y + q. Which is greater: x or 7/2?
7/2
Suppose -495 = -0*t + 5*t. Let s = t + 51. Suppose 0 = -z - 3*c - 45, -5*c + 149 = -4*z + z. Is z at least as big as s?
True
Suppose 3*a + 144 = 6*u - 3*u, 2*a = 2. Suppose -d = 3*v - 2*v - 49, -4*v - 3*d + 197 = 0. Is v at most u?
False
Let z be 4/14 - (-1530)/(-14). Let d be 3/(-2)*5/(-50)*724. Let h = z + d. Which is smaller: -2/3 or h?
-2/3
Let w = -1938345/4 - -503889. Let j = 19422 - w. Let k = -122 + j. Is -4 >= k?
False
Let h = -232 - -241. Suppose 2*n = h*n. Let g be -1*3 - 1180/(-392). Is n greater than g?
False
Let d = 0.277 + -0.087. Let n = -19.19 + d. Let j = -18.8 - n. Which is bigger: j or -5?
j
Let x = -349 + 349. Suppose x = -13*k - 164 + 1204. Are 82 and k equal?
False
Let i = -417 - -223. Let y = -1748/9 - i. Let c = 1473 - 1470. Is c at least y?
True
Suppose -72*k + 5*k - 1474 = 0. Let b = -26 - 10. Let a be -3 - (-1 + b/(-2)). Which is bigger: k or a?
a
Let a(f) = -30*f**2 - 280*f - 862. Let o be a(-3). Do o and -296 have different values?
True
Let r = 30.385 - 30.9. Let n = -0.315 - r. Let a = -0.26 - -0.3. Is a less than or equal to n?
True
Let t be (-3 + -2 + 4)*(-1 + -2). Suppose -4*r = -t*w + 264, 41 = -4*w + r + 393. Which is greater: w or 89?
89
Let r = 2966.7 - 3000. Does 0.03 = r?
False
Let u be 312/1043 - 6/21. Let w = 142953 + -142953. Which is smaller: w or u?
w
Let v be (-72)/(-30)*(-140)/(-8). Suppose l - 5 = -0*l. Suppose l*t - 2*t = 129. Which is greater: v or t?
t
Let o = 395 + -395.0226. Let k = o - -1.0226. Which is smaller: k or -0.06?
-0.06
Let l(p) = -p**3 + 3*p**2 - 2*p + 1. Let y be l(2). Let j = -13294/171 - -1475/19. Which is greater: j or y?
y
Let l be 10/3*13/(1170/(-168)). Let r = 854 + -860. Which is greater: l or r?
r
Let n = -60 - -64. Suppose -n*m = -5*x + 397, 352 = -4*m - x - 3*x. Let g = m - -289/3. Which is greater: g or 2?
g
Let m = 10 - 9.02. Let k = m - -42.02. Let o = -59 + k. Is o less than or equal to 1?
True
Let k be 17/(17/(-15)) + 176. Which is greater: 162 or k?
162
Let g = 12856 + -12848. Let c = -0.2 + 0. Let b = c + 0.2. Which is greater: b or g?
g
Suppose -57990*n - 2842 = -58004*n. Do n and 1422/7 have different values?
True
Let x = -4/3 - -67/21. Let d = x + -2. Suppose -3*a - 13 = -3*g + a, -11 = -g + 3*a. Is d greater than g?
True
Let m be (-24)/(-54) - (2 - (-836)/99). Which is greater: 85 or m?
85
Suppose -970*q = -957*q - 871. Which is greater: q or 265/4?
q
Suppose -3*u + 21 = -2*s - 21, 0 = -3*s + u - 56. Does -3 = s?
False
Let w = 2/5917 + 16993/2242543. Which is smaller: w or 1?
w
Suppose -101*l - 15 = -104*l, a - l = 510. Let n = a - 178. Which is greater: 336 or n?
n
Suppose 23*d + 73*d = -114*d - 420. Suppose -2*x = -6*x - 4. Which is bigger: d or x?
x
Let m be ((-15)/(-54))/(2911/(-1065)). Which is bigger: 0 or m?
0
Suppose 671*b - 684*b = -598. Suppose -5*u - 16 = -b. Suppose 2*f - 3 = 2*v + 1, -4*f + 8 = 5*v. Does v = u?
False
Let w be 6/(-5)*80/(-352). Which is greater: 0.007 or w?
w
Let n = 17.21 - 16.21. Which is smaller: n or -3.4?
-3.4
Let k(u) = 291*u**2 - 2*u + 4. Let f be k(-1). Which is greater: f or 291?
f
Let u(o) = 28*o - 52. Let l be u(17). Let a(m) = 218*m + 8 - l*m + 10*m**2 + 218*m - m**3. Let c be a(11). Is c at least as big as 20?
False
Let r be ((-400)/28)/((-4)/14). Suppose -11*t - 170 - r = 0. Which is bigger: -11 or t?
-11
Suppose 0 = 25*f - 29*f. Let p be 90/25 - (-4)/10. Suppose p*c = -5 + 1. Is f >= c?
True
Suppose 5*h + 1436 = 2*b, -45*b = 4*h - 43*b + 1174. Is -312 at most h?
True
Let d = 160.916 - -0.084. Let y = 162 - d. Which is smaller: y or 9/5?
y
Let f = -0.49 - 48.51. Let v = f - -74. Let i = v - -6. Which is smaller: 2/3 or i?
2/3
Suppose -1940 = 8*z - 4*z - 5*r, -2*r - 1912 = 4*z. Let j be (-46)/(-3)*90/z. Which is bigger: j or -2?
-2
Let r = 16/51 - -1652/153. Which is smaller: r or 11?
11
Suppose -3*b = 4*u + 10400, 266*b - 5*u - 6938 = 268*b. Which is smaller: -3463 or b?
b
Let o(w) = -2*w**2 + 12*w - 6. Let i be o(5). Suppose 8*q + i*q - 120 = 0. Suppose 4 = -6*z + q. Which is greater: 36 or z?
36
Let l = -41905 + 38120. Which is smaller: l or -3788?
-3788
Suppose -440*y - f - 1260 = -424*y, 4*y + 3*f = -304. Let c = -18 + -62. Is c greater than or equal to y?
False
Suppose -2*f = -16*i + 13*i - 210, 4*i = 4*f - 412. Let d = -102 + f. Which is greater: 4 or d?
4
Suppose 0 = 2*u + 114 - 16. Let r be (-280)/260*-26 + -78. Is u >= r?
True
Let r = 838 + -533. Let t = r - 291. Is t > 136/9?
False
Suppose -6*q + 70 = 10. Let t be (q/10*2/582)/(-1). Which is smaller: 1 or t?
t
Suppose -3*v - 15*x = -16*x - 5288, -v = -5*x - 1758. Is v at most 1762?
False
Let l = -74 + 79. Suppose g - 15*n = -11*n - 16, -l*g = 2*n - 8. Are g and 6/37 nonequal?
True
Let h(d) = -d**3 + 125*d**2 + 280*d - 924. Let u be h(127). Are u and 9507/4 non-equal?
True
Let m = -0.034 - 0.546. Let l = -3.28 - m. Let o = l - -2.1. Which is smaller: -2 or o?
-2
Let r = 7346 + -7337. Which is smaller: r or 616?
r
Let i = -493 + 507. Suppose 10*b - 6*b + 2*l + i = 0, 3*b - 2*l - 7 = 0. Which is greater: b or 1/365?
1/365
Suppose 0 = -33*j - 105 + 6. Let c be (j - -2) + 1*(-15)/(-110). Is -1 at most c?
True
Suppose 0 = -3*p - 619 + 625, -90 = -2*i - 5*p. Which is smaller: i or -27?
-27
Let i be (-34)/(-391) + (-26952)/1012 + -1. Is -27 >= i?
True
Let f = -41.088 - -55.988. Let d be (2/6)/((-1)/(-3)). Which is smaller: d or f?
d
Let k(m) = m**2 + 18*m + 17. Let b be k(-17). Suppose 15*r - 8*r = b. Let l be 9 - (3 - 0/(-5)). Is l at least as big as r?
True
Let u be ((-9)/465)/((-9897)/210 + (-168)/294). Which is greater: u or -1?
u
Let i(h) = h**3 + 13*h**2 + 14*h - 10. Let y be i(-10). Let l be (-12)/(-8) - y/(-12). Suppose -l*j = -18*j. Is j at least 4/25?
False
Let y be 33/10*6050/12. Which is bigger: y or 1663?
y
Let n = -24126/7 + 3450. Which is greater: 1/21 or n?
n
Let l(g) = g**2 - g + 2. Let m(s) = s**3 - 7*s**2 - 2. Let f be m(7). Let n be l(f). Suppose 5*q - 5*r - 5 = 0, 4*r = -5*q + n - 3. Which is greater: q or -1?
q
Let c be (-4432)/742 - -6*(4 + -3). Let m = 14629/5936 - c. Which is bigger: m or 2?
m
Let g be (-1)/(2/120*10). Which is greater: -403 or g?
g
Let y = 74 - 75. Let h = -15.78 + -0.22. Let d = h + 16.6. Is y less than or equal to d?
True
Let u(f) = -8 + 14 - f**3 + 7*f**2 + 2*f**2 - 16 - 13*f. Let y be u(5). Is 27 at most y?
False
Let w = 37.49 - 0.49. Let x = 5765 - 5732. Let k = x - w. Is 0.05 < k?
False
Suppose 0 = -3*g + 5*c + 22, -10*c + 11*c + 7 = -2*g. Which is greater: -4/321 or g?
-4/321
Let i(n) = 26*n**2 - 46