Let q be d(20). Which is smaller: q or -4/45?
-4/45
Let n(m) = m**2 - 2*m + 3. Let h be n(3). Let k be ((-1)/(-6))/(1/h). Which is smaller: 1/41 or k?
1/41
Suppose -3*s + 4*v = -s + 8, 8 = 5*s + 4*v. Let t = 30.16 + -30. Let b = t - 3.16. Which is smaller: s or b?
b
Let c(m) = m**3 - 2*m**2 + m + 2. Let j be c(3). Suppose 0 = 16*h - j*h - 4. Suppose 2*u + 0*u + 6 = -h*i, 0 = -3*u + 2*i + 1. Is -8/7 > u?
False
Let m = 0.093 - 0.443. Does m = -0.1?
False
Suppose -77 = 2*n - 3*w - 28, 0 = -3*n + 3*w - 69. Suppose 0 = -5*u + 7 + 8, 0 = -5*t + 4*u + 43. Let a = t + n. Is a smaller than -9?
False
Suppose a = 3*t + 52, -2*t + 40*a = 43*a + 20. Is 1.9 at most as big as t?
False
Let j = 872 - 7838/9. Is -2/13 at least j?
False
Let l be 10136/44478 + 4/(-18). Which is smaller: -1 or l?
-1
Suppose -c - l + 2 = -2*l, -2*c + 3*l + 4 = 0. Let r be (-5)/60*-4*(-23 + c). Is -3 at least as big as r?
True
Let f(r) = -r**2 + 5*r - 3. Suppose 0 = x - 2*x - 1. Let a(w) = w**2 - w + 1. Let p(u) = x*f(u) - 2*a(u). Let o be p(-3). Does -2 = o?
False
Let x(a) = -a**2 + 3*a - 5. Let g be x(4). Let m be 15/18*g/30. Which is smaller: 0.62 or m?
m
Let d = -1 + 1.06. Let p = -8.94 - d. Let n = -10 - p. Is -0.2 > n?
True
Let f = 487 + -495. Which is smaller: f or -1?
f
Let m = -5.3 - 0.8. Let d = -6 - m. Is d bigger than 8?
False
Let y = -11 - -5. Let w = -312 + 307. Is w >= y?
True
Let c = 2.2 + -2. Let v = 9.58 - 10.28. Is v greater than c?
False
Let v(i) = -i**2 + i. Let a be v(1). Let z be (-40)/(-140)*(-14)/(-2). Suppose a = z*y + y, -t + y + 4 = 0. Which is smaller: 17/4 or t?
t
Let z = 2.5 - -0.3. Let q = z - 3. Let t = -0.43 - -0.53. Which is greater: t or q?
t
Let f = 21/4 + -67/12. Let d be (-7)/(-3) - (-4)/(-12). Let l = d + -3. Which is smaller: l or f?
l
Suppose 6*y = 8*y. Suppose y = -5*s - 9 + 34, -3*d - 5*s = -73. Does d = 16?
True
Let y = -62.1 - -62.2. Suppose 2*o + 0*j - 5*j = -12, 3*j = -6. Which is greater: y or o?
y
Let y = 18 - 18. Let o = 0.09 - y. Let q = 0.11 - 0.11. Is q >= o?
False
Let m be (2/(-134))/((-3)/(-6)). Let a = m - -148/469. Let k(x) = -124*x - 2480. Let z be k(-20). Does z = a?
False
Suppose -4*x + 26 - 12 = -2*g, 3 = -3*g - 3*x. Which is smaller: g or -38/15?
g
Suppose -3*k - a - 1 = -7*k, -2*k - 5*a = -17. Let o(n) = -n**2 + n. Let h be o(k). Let c = 1152/2327 + -6/179. Is c less than h?
False
Let f = 9.7 + 0.3. Let i = f - 8.9. Which is smaller: -5 or i?
-5
Let i = 355 - 356. Which is greater: -2/3763 or i?
-2/3763
Let w(r) = 7*r**2 - r + 3. Let q be w(1). Let h be 6/5 + (3 - (q + -4)). Is h bigger than -2/5?
False
Let y = 216 + -179. Which is smaller: 3 or y?
3
Let g(m) = -m**2 - 7*m + 11. Let f be g(-8). Let o = 4 - 1. Let s be (2/o)/(77/33). Which is greater: s or f?
f
Let a be 153/(-1890) - 2/15. Let h = 2/7 - a. Let k = 20 + -17. Which is smaller: h or k?
h
Let b = -1.16 - -1.69. Let n = b + -0.42. Is n > -2/3?
True
Let p be (-17766)/245 + (-24)/20. Are p and -73 equal?
False
Let u be (-2)/(-7) + 6/(-21). Let q = -6179/1064 - -110/19. Which is bigger: u or q?
u
Let i = -32 - -34. Let s be 0 - -3 - (0 + i). Are -2/61 and s equal?
False
Let b(n) = n**2 - 4*n + 1. Suppose s + 4*l = 5*s, 2*s - 4*l + 8 = 0. Let i be b(s). Let j = -338 + 2033/6. Which is greater: i or j?
i
Let b = 199/45 + 8/45. Are 5 and b nonequal?
True
Let n(g) = -g**2 + 3*g - 9. Let j be n(4). Which is greater: j or -0.1?
-0.1
Let q = -91 + 47. Is q < -44?
False
Let d(r) = r - 14. Suppose 26*w - 27*w = -5. Let k be d(w). Is -9 less than or equal to k?
True
Suppose 3*q + 19 = -11. Suppose 0 = -20*s + 3*s - 68. Let o be q/s*336/(-350). Which is smaller: -2 or o?
o
Let j be (348/(-203))/((-85)/(-7)). Is -1 <= j?
True
Let w be 1*6/1735*145/116. Which is bigger: -1 or w?
w
Let a(j) = j**3 + 10*j**2 + 8*j - 5. Let z be a(-9). Suppose -l = -z*x - 25, 0*x - 2*x = 10. Suppose l*y + 2 = c, 0*y + c - 2 = y. Is y >= -4/11?
True
Let h = -0.0809 - -6.0809. Are h and -1/85 non-equal?
True
Let t(v) = -v**2 + 12*v - 21. Let p be t(10). Let m be p/(-5 + 3)*20/55. Is m >= -1?
True
Let s = -44365117/133 - -2349750/7. Let q = 2107 - s. Is 1 less than or equal to q?
False
Suppose -11*t - 78 = -14*t. Suppose -l = 5*h - t, 0 = 4*l - 3*h - 6 - 6. Which is smaller: l or 36/5?
l
Let t(g) = -g**2 - 4*g + 6. Let b be t(-7). Suppose 169*p - 1005 = 236*p. Is b greater than or equal to p?
True
Let s(g) = g**3 + 7*g**2 - 5*g - 23. Let l be s(-7). Suppose -12 = -2*b - 2*b. Suppose -2*z + f = -23, -b*z = 4*f - 29 - 22. Is z less than l?
False
Suppose 0*o - 4*x = -4*o + 316, -5*x = 4*o - 325. Let m be (-2 + o)/((-4)/(-22)). Let h be (26/m)/(-1 + -1). Which is bigger: h or -1?
h
Let m be 270/(-105) + 8/14 - 16. Let z(t) = 2*t - 1. Let b be z(2). Suppose 72 = b*o - 7*o. Are o and m unequal?
False
Suppose 3*v - 2 = v. Let m be (-39)/(-793)*(-6)/(-45). Which is smaller: v or m?
m
Let m be (-1 + -1)/(2/(-38)). Let v(z) = z**2 - 3*z - 1. Let p be v(8). Which is smaller: p or m?
m
Let w = 84 - 83. Is 2/933 greater than w?
False
Let d = 1460.804 + -1456. Let r = -0.106 - d. Let v = r + 5. Which is smaller: v or -1/3?
-1/3
Suppose -5*f = -1294 + 314. Let q = 4901/25 - f. Is 1 less than q?
False
Let u = -0.235 - 0.205. Is u < 0?
True
Let g = 16 - 6. Is g less than or equal to 8?
False
Let k = 44.3 + -44.2. Which is smaller: k or -38/13?
-38/13
Let t be (2/(-5))/((-1)/20). Suppose -30 = 3*a - t*a. Which is smaller: a or 4?
4
Let x(c) = c**3 + 11*c**2 - 14*c - 24. Let m be x(-12). Is 3/322 > m?
True
Let m(n) = -12*n + 511. Let d be m(7). Is 427 not equal to d?
False
Let i = -130 + 102. Suppose 9*g - 25*g = 432. Is g less than i?
False
Let g(f) = 74*f + 5. Suppose 0 = 5*b, -4*b + 2 = -2*z - 8*b. Let r be g(z). Is r greater than or equal to -68?
False
Let i = -640/7 - -96. Are i and 4 equal?
False
Suppose 11 - 51 = -k. Suppose -3*g = g - k. Suppose -18 = -2*b + 4*a, -4*b - g = b + a. Which is greater: -2 or b?
b
Let f = -158 + 92. Let w be 1 - -7*9/f. Which is bigger: 0 or w?
w
Let z(j) = -j**3 + 0*j**2 + 21*j - 42 - 12*j - 10*j + j**2. Let n be z(0). Are n and -42 unequal?
False
Suppose -5*j + 56 = 21. Suppose -4*p - 13 = 43. Let x be j/p*2/(-7). Is x at least as big as 1?
False
Let z(g) = -g**2 + 22*g - 75. Let j be z(4). Let v(w) = -w**2 - 9*w - 7. Let m be v(-8). Let f = m - 1. Is j smaller than f?
True
Let q = 291 + -334. Is q >= -1?
False
Suppose -2*n + 2*w = -2 - 28, 0 = n - 4*w - 12. Let g be n/7 - 8/28. Suppose d + 3*s = -g*s - 13, -3*d + s = -9. Which is smaller: d or 3?
d
Let z = 1.6 - 3.5. Let q = -1 - -2.8. Let h = q + z. Is h >= -0.12?
True
Suppose 0*t - 8 = -2*t. Is 0.25 > t?
False
Let c(f) = -f + 2. Let v be c(1). Let n(h) = 2*h**3 - 16 + 17 + 2*h + 5*h**3 + 2*h - 5*h. Let g be n(v). Is 7 != g?
False
Let j = 3553 - 525841/148. Is j less than 0?
False
Let n(s) = s**3 + 21*s**2 + 2*s + 13. Let q be n(-21). Is q > 2/5?
False
Suppose -2 = -o + 3*o, -3*o - 43 = 2*c. Let a be (-2)/6*(-66)/c. Do -2 and a have the same value?
False
Let w = -245/3 + 2701/33. Is w not equal to -7?
True
Suppose -2*a + 14 = 4*m, -m - 5*a + 29 = 3*m. Which is bigger: 4/39 or m?
m
Let k = 0.76 - 0.49. Let g = k - 0.24. Let x = -0.33 + g. Does x = -2/3?
False
Let z(o) = o**3 - 6*o**2 + 6*o + 4. Let c be z(5). Suppose -4 + 4 = 2*m. Suppose 0*v + 11*v - 22 = m. Does v = c?
False
Let p = 1 + 3. Suppose -2*h + p = -4*d, -6 = -3*h + 5*d - 4*d. Suppose -h*z - 6 = -8. Which is smaller: 5/4 or z?
z
Let a be (1 + (-310)/20)/((-1)/2). Is a smaller than 193/7?
False
Suppose -1380 = -2*u - 3*u. Is u at most as big as 278?
True
Suppose -2*s + 11 + 37 = 0. Let w be 4/(-10) + s/10. Let g = 3443/7 + -491. Is g less than w?
True
Let g = -216 + -37. Is -252 <= g?
False
Let m(q) = -3*q**2 - 27*q + 77. Let o(f) = f**2 + 9*f - 26. Let r(l) = -3*m(l) - 8*o(l). Let n be r(-11). Is -7/10 at most n?
False
Let n(u) = u**3 - 23*u**2 - 26*u + 48. Let c be n(24). Which is smaller: c or 6/71?
c
Let y be (-8)/4 + 5/5. Let t be (-16)/6 - (0 - -1). Let l = t + 19/6. Which is bigger: y or l?
l
Let o(m) = -11*m + 56. Let q be o(5). Is q at least as big as 31/44?
True
Let m = -296 + 353.3. Let z = 57 - m. Which is greater: -16 or z?
z
Suppose -2*j = -3*q + 2*j - 1, 0 = 2*j - 2. Let m = -28 + 50. Let l be (1 - (-4)/m) + -1. Is l at least as big as q?
False
L