 l(y) = -y**2 + 13*y + 14. Let f be l(16). Let h be (-18)/4*(-4)/f. Is -2 less than h?
True
Let p = -1.7 - -1. Let o = p + 4.7. Let h = 0.01 - -0.29. Which is smaller: h or o?
h
Suppose -4*f - 129*c + 126*c = -3371, f - c = 841. Is f > 841?
True
Let k = -0.85 + 0.32. Let z = 0.93 + k. Is z greater than or equal to -0.08?
True
Suppose 0 = -4*q - q. Suppose q = -5*n + 4*r + 36, -3*n - 2*n + 3*r = -32. Let f be n/(-14) - 61/7. Which is smaller: f or -8?
f
Let o = 2060 + -2317502/1125. Let q = o - -764/7875. Suppose 4*z + 2 = 3*z + 2*w, -2*w + 2 = -4*z. Which is greater: z or q?
q
Let m(q) = q - 4. Let t(b) = -5 + 6*b - b**2 + b + b - 6. Let y be t(4). Let u be m(y). Which is smaller: u or -1/3?
-1/3
Let n be 4688/(-776) + -2 - -8. Which is smaller: n or 1?
n
Let i = -252.3 - -252. Let j = -75.7 + 72. Let w = j + i. Which is smaller: 2/15 or w?
w
Let a be (((-30)/6)/70)/(2/44). Let q = 11 + -10. Let j = q + -4. Which is smaller: j or a?
j
Let w = 38486/2599151 - 52/2521. Which is smaller: -1 or w?
-1
Suppose 4*n = -2*m + 336, -15*n + 17*n - 4 = 0. Is 165 greater than m?
True
Let u = 75 + -69. Which is bigger: u or 23?
23
Suppose 2*y = 3*g + 28, -33*g = -y - 32*g + 12. Which is smaller: y or 0.47?
0.47
Suppose -26 = -2*x - 22. Suppose x*k = 4*v + 4, 0 = -5*v + 2*k - 0 - 3. Is 10 > v?
True
Let t = -10 + 179. Are t and 169 non-equal?
False
Let p = -67.919 + -0.081. Let u = -62 - p. Is 4 < u?
True
Let v = 1742258 - 2670881849/1533. Let f = -9/73 - v. Let x = 0 + -1/3. Which is smaller: f or x?
x
Let z be (-11)/33*(9 - 0). Let s be (-8)/9*-3 + 9/z. Let j be (-1)/((-1)/(1/(-2))). Which is greater: j or s?
s
Let c = 9 + -6. Suppose 2*z + v - 72 = 0, -3*z + 101 = -5*v + 3*v. Let x = 141/4 - z. Which is smaller: x or c?
x
Let l = -5 - -9. Suppose -l*f = -2*f. Let j(k) = -k**3 + 5*k**2 + 8*k - 13. Let v be j(6). Which is smaller: v or f?
v
Suppose -n - 3 = 2*n. Suppose 2*s + 0*s + 190 = 0. Let y be 2/5 + 28/s. Which is greater: y or n?
y
Let t = 150722111/1842159 - 1/167469. Suppose 2*r + 2*r - 328 = 0. Let j = t - r. Which is smaller: j or 1?
j
Let w be ((-210)/84)/((-1)/(-10)). Is w less than 1.4?
True
Let n(a) = -a**3 + 17*a**2 - 7*a - 4. Let z be n(16). Do 139 and z have the same value?
False
Let g be ((-6)/4)/(18/(-492)). Suppose 3*a = -g + 50. Which is bigger: 21 or a?
21
Let y = -141419/15 + 28882/3. Which is smaller: 200 or y?
y
Let s be 54/(-105) + (427/49 - 9). Are s and -1 non-equal?
True
Suppose -234*m = 34*m + 92*m - 2520. Let p be (-50)/(-6) + 6/9. Which is bigger: p or m?
p
Let l be 122*(0 + -4)/(-8). Is 303/5 greater than or equal to l?
False
Let i be 20/(-8) - -2 - (-12)/8. Which is smaller: i or 2/79?
2/79
Let i = 7.0904 - 0.0904. Which is greater: 2 or i?
i
Let f = 7 - -13. Let p be ((-16)/f)/(28/(-10)). Is p != -1?
True
Let o = -714 - -406. Which is bigger: o or -307?
-307
Let a = 68/111 - 2211/3589. Is 1 at most a?
False
Let w be (0 - -4) + -10*18/48. Is w at least as big as -91?
True
Let q(n) = -2*n + 5. Let v be q(2). Which is greater: v or -5/26?
v
Let h = 6.78 - 1.08. Let n = -25 + 19. Let u = n + h. Which is smaller: u or -0.2?
u
Suppose 0 = -2*l - 4*h - 248, 18*h + 469 = -4*l + 19*h. Is -587/5 at least l?
True
Let v be 194/(-22) + (-48)/264. Which is greater: -1/81 or v?
-1/81
Let c(j) = -j**3 + 7*j**2 - 5*j. Let d(x) = x**3 - 13*x**2 - 14*x + 12. Let b be d(14). Let r be 2 + (-1)/((-3)/b). Let h be c(r). Which is smaller: h or 0.1?
0.1
Suppose -4*c + 4*s = -3172, -c + 4*s = -54 - 724. Are c and 798 unequal?
False
Suppose 2*t = 2*m + 56, -5*t - 2*m = -m - 110. Let v(r) = r - 63. Let q be v(t). Are -40 and q equal?
True
Let i(c) = c**3 - 4*c**2 - 2*c - 14. Let f be i(6). Let j = -67 + f. Is -22 at most j?
True
Let p(x) = x**2 + 7*x**2 + x + 8 + 7*x + x**3. Let d(s) = -s**2 + 10*s + 4. Let t be d(11). Let v be p(t). Is 1 <= v?
True
Let m = -26 + -10. Let i = m + 25. Let u = 11.2 + i. Which is smaller: u or -0.1?
-0.1
Suppose -5*f - 256 = 3*o + 142, f + 5*o + 62 = 0. Let n be 1/(2/f*(-5 - -6)). Which is smaller: -40 or n?
n
Let y(q) = -32*q - 447. Let c be y(-13). Which is smaller: -40 or c?
-40
Suppose 3*j = 7*j + 880. Which is smaller: -222 or j?
-222
Suppose 2*d - w - 34 = 0, 7*d - 4*w - 82 = 2*d. Let s = -22 + d. Let q = s - -19/5. Is 3/5 smaller than q?
False
Suppose 0 = 4*i - 72 - 116. Suppose -5*w + 89 = -4*j, -3*w + 0*w = -2*j - i. Is -1 greater than or equal to j?
True
Let a = 29 - -49. Let o = a + -74. Which is greater: o or -2/17?
o
Suppose 0 = -39*o + 16*o. Is o bigger than 2/749?
False
Let r be (15/(-9))/((-1)/3). Let g be -36*3/(9/(-2)). Suppose -a = -r*y + g, -3*a - y = 2*a + 42. Which is smaller: a or -8?
a
Let n = -20 + 29. Let s = 9 - n. Let c = -3/64 + 7/64. Is s < c?
True
Suppose 0 = -4*o - 14 - 18. Let b = o - -10. Let k be 4/b - (-52)/(-8). Which is smaller: k or -5?
-5
Let r be (-8 - (-156)/16) + (-2038)/1160. Which is smaller: -1 or r?
-1
Let x be 432/(-90) - 8/(-10). Let a be -2 + (-68)/x + 3. Let h = a + -19. Is h at most as big as 1/3?
True
Let b = 25 - 18. Suppose 5*s - 10 = 5*v, 3*v - 9*s = -5*s - 10. Suppose -u = 2 - b, -v*w - 7 = -5*u. Is 9 less than w?
False
Suppose -5*s = -666 + 481. Is s bigger than 43?
False
Let c be (1 - 3)/(-1 - 1). Let r be (0/c)/(-1 + 0). Let z be (-35)/(-50) + 14/(-28). Which is greater: z or r?
z
Let m be (-30)/(-9)*5*-12. Which is greater: m or -199?
-199
Let y(w) = -48*w - 683. Let t be y(-10). Is -201 at most t?
False
Let m = 35.1 - 32.03. Let h = 0.07 - m. Suppose 0 = -2247*z + 2240*z. Is h < z?
True
Let y = -18 + 14.9. Let w = y - -3.2. Which is smaller: w or 26?
w
Let m = 501 + -501. Let z = 27 + -838/31. Which is smaller: m or z?
z
Let g = 203.8 + -194. Is g smaller than -1/4?
False
Let g(z) = -4*z + 20. Let q be g(4). Suppose -4*u + 3*j - 7 - 3 = 0, 0 = q*j - 8. Which is greater: u or 0.02?
0.02
Let m = 2.8 - 3. Let g = 0.1 + m. Let v = 0.21255 - 0.01255. Which is smaller: v or g?
g
Suppose 0*g - 125 = -2*l - 3*g, -3*g + 67 = l. Let c = 58 - l. Suppose 4*s = -4 - 0. Which is bigger: c or s?
c
Let b = 3.82 - -0.38. Let s = b + -8.2. Is 0.3 at most as big as s?
False
Let m be 0/2 - 30/(-6). Suppose 3*k = -2*d - 35, 0 = 6*k - m*k + 3*d. Are k and -15 unequal?
False
Let g(m) = 4*m + 24. Let c(h) = h**2 + 11*h + 3. Suppose -l + 3*u - 7 = 15, 38 = -5*l - 3*u. Let k be c(l). Let x be g(k). Is -6 equal to x?
False
Suppose -2 = -2*w - 5*g - 18, 0 = -5*w - 3*g - 40. Let t = w + 10. Suppose 0 = t*p - 6 + 8. Which is greater: -2/29 or p?
-2/29
Let s(x) = 11*x**2 - 9*x - 1. Let c be s(7). Let o be (2/(-25))/((-20)/c). Let q = -32/5 + o. Which is bigger: q or -5?
q
Let i = 585 + -821. Which is smaller: -237 or i?
-237
Let o = 14.2 + -39.3. Let b = -25 - o. Let c = 47/4 - 12. Which is smaller: b or c?
c
Suppose -4*m - 12 = 0, -5*m = 4*h - 0*h + 39. Let q be h/3*(-1)/2. Which is greater: q or -1/43?
q
Suppose -282 = -5*m + 11*m. Let u be (-8)/12 - 1555/(-33). Let t = m + u. Is t greater than or equal to -1?
True
Suppose w = 6 - 9. Let m be 1/w + 1 + (-14)/(-21). Which is bigger: m or 0?
m
Let g(j) = j**3 - 3*j**2 - 2*j + 7. Let x be g(3). Does -0.28 = x?
False
Suppose 0 = -4*q + 3*x + 26, 4*x + 0*x = 5*q - 32. Let l = q + -3. Suppose m - l*m + 4 = 0. Is m at most as big as -2/23?
False
Let n be 2/(6/37) + (-4 - 1). Which is bigger: n or 7?
n
Suppose -j - 10 + 2 = 0. Let u = j - -4. Is 3 <= u?
False
Let j = -1337/2 - -670. Is j < 205?
True
Let j(w) = w**3 - 2*w**2 - 10*w + 3. Let n be j(4). Let r be (-3 + 3)/n*(-3)/3. Which is bigger: 1/86 or r?
1/86
Let z(x) = x**2 - 2. Let k be z(3). Suppose 0 = 5*b - k*b. Let s be 24/28 - 0 - b. Which is smaller: s or 1?
s
Let f be 7/(-4) - 190155/(-108500). Are -1 and f unequal?
True
Let b = 461810/21717 - 404/19. Which is bigger: b or 1?
1
Let k = -8080 - -3741038/463. Which is greater: k or 1?
1
Let t be (-761 - 1) + -3 + 11 + -9. Which is greater: -0.1 or t?
-0.1
Suppose -4 = -2*q - 2*q. Suppose -2*v = -3 - q. Suppose -v*u = z - 15, -26 = u - 4*u - 5*z. Which is greater: u or 2?
u
Let l(z) = 3*z**2 + 2*z**2 + 4 - 2*z - z - 6*z**2. Let m be l(-3). Suppose -m*t - 1 = -3*t. Does -4 = t?
False
Let w = 4 + -6. Let i(l) = 5*l + 3. Let r be i(w). Let k(m) = m + 7. Let d be k(r). Which is greater: d or 6/11?
6/11
Suppose -2*k + 4*m + 2 - 12 = 0, -2