
Let d(b) = -13*b**2 + 4*b - 4. Let k be d(-3). Which is smaller: k or -131?
k
Let h be 1*5/25 - 2706/5. Which is smaller: -540 or h?
h
Suppose -t + 11 = -2*t - 4*x, -t + 7 = -2*x. Let c(j) = -j**2 + j - 1. Let g(s) = -4*s**2 + s. Let z(h) = -2*c(h) - g(h). Let q be z(t). Is q <= 4?
False
Suppose 0 = -0*w + w + 5. Let i(m) = -m**3 - 3*m**2 + 9*m - 4. Let c be i(w). Let y be 4/(-104)*(-4 - 0). Which is bigger: y or c?
c
Let f = 3 - -30. Let g = 50 - f. Let w = g + -16. Which is greater: -3 or w?
w
Suppose -4*y + 4*d = -0*d - 808, -5*y + 986 = d. Is y less than or equal to 198?
True
Let b be -3 + (-8 - -7)*1626/10. Let o = b + 165. Which is smaller: o or -1?
-1
Suppose 0 = -214*w + 227*w. Which is smaller: w or -91?
-91
Suppose -3*v + 2*r + 2 = -22, 4*v = -4*r + 32. Suppose -2*i + 2*c = -10, 5*i - 2*c - v = 4*i. Suppose 7*l - i*l + 5 = 0. Is l bigger than -1.1?
True
Let g be -3*4/((-240)/(-76)). Is -3 >= g?
True
Let m be (-7770)/40 + 4 + (-57)/12. Is -195 at most as big as m?
True
Let t = -1 - -2. Suppose 3*y + t = 2*f, 4*y + 6*f = f + 14. Is 5/3 bigger than y?
True
Let f = -0.059 - 0.461. Let u = f - 0.08. Which is greater: 5/4 or u?
5/4
Let l = -8880 + 62340/7. Are l and 25 non-equal?
True
Let j = -15 - -17. Suppose n = 6*v - j*v + 61, 3*v + 4*n = -22. Let y(r) = r + 15. Let x be y(v). Which is greater: -2/53 or x?
x
Let f = 70 + -99. Let v = -28 - f. Which is smaller: -4/5 or v?
-4/5
Suppose -12714 = 27*d - 33*d. Let m = 10629/5 - d. Which is greater: 6 or m?
m
Let h = 0.3 + 1.1. Let l = 0.4 - h. Let i = -1.1 - l. Is i smaller than 0.2?
True
Let h(t) = t**2 - 1. Let m be h(0). Suppose -2 = a - 0. Let g = a - m. Which is smaller: 6/13 or g?
g
Let p be (-801)/(-15) - 12/30 - -2. Which is greater: 56 or p?
56
Let i = 51 - 129. Let j = 164 + i. Which is bigger: j or 85?
j
Let r be 5/3*2/(-5)*-3. Is r not equal to 16?
True
Let l(k) = -k + 11. Let i be l(6). Suppose 3*c + 2*n - 13 = 0, -2*n - 17 = -i*c - 3*n. Suppose 8 = -f + 4*q, 3*q - 3 = -c*f + 18. Which is bigger: f or 1?
f
Suppose -2*h = -4*v - 28, -9 = v - 4. Are 1.4 and h equal?
False
Let g = -3938763/980 + 28134/7. Are -1 and g equal?
False
Let m(l) = -8*l + 44. Let v be m(5). Suppose -5*s - 2*i - 13 = -v*s, 4 = -i. Do -5 and s have the same value?
True
Suppose -7*n + 244 = -57. Let k = -36 + n. Which is bigger: k or 2?
k
Let p be (-3815)/25 + (-8)/20. Is p greater than -153?
False
Let w(y) = y**2 - 11*y - 10. Let i be w(12). Suppose -k + i*k - 4 = 0. Let f be (-22)/k - (-18)/12. Is f != -5?
True
Suppose -3*r = 67 + 8. Let f be r/(-9) + 8/36. Suppose -f*v = -5*b + 15, -7 - 1 = 2*v - 4*b. Which is bigger: -11 or v?
v
Suppose 0 = -22*w + 3*w. Let i = 59344052/8723 + -88444/13. Let n = 2/61 + i. Is w smaller than n?
False
Let n be 3*(-142)/126*(-3)/4. Which is smaller: n or 4?
n
Suppose -2*b - 4*g - 10 = -0*g, -4*g = 8. Is b >= -5/7?
False
Let o = -106/7 - -1406/91. Let c be (-24)/(-16)*12/3. Suppose 5*d + 17 = -3*b, -2*b - c*d = -2*d + 14. Which is bigger: b or o?
b
Let a(y) = y**3 - 7*y**2 + 19*y - 150. Let j be a(7). Suppose 3 = -4*s - 61. Is j greater than or equal to s?
False
Let a = -46 - -56. Let b = -40 + a. Which is smaller: b or 1/3?
b
Let d = -1195/19 - -63. Let g(t) = -5*t - 7. Let l be g(-5). Let b be 4/l - (-2)/(-9). Is d > b?
True
Let v be (-2)/(-6) + (-1 - -1). Let p = 571.3 - 608. Let b = p - -37. Do v and b have the same value?
False
Let y = -8.89 - -15.5. Let s = -0.59 - y. Let z = s - -7. Which is smaller: 0.2 or z?
z
Suppose 6*i - 4213 = -169. Which is smaller: 673 or i?
673
Let m = -8/157 + 4683/94985. Is 0 smaller than m?
False
Let x = 7 - 5. Suppose 4*s - 4 = -2*c, 2*s - 7*s = -x*c + 4. Suppose -2*w - 28 = -4*h, h + 0*h - 12 = -c*w. Is 7 < h?
True
Let v be (13*18/(-9))/(-2). Suppose 0 = y + 30 + 15. Let g be 5/(y/12)*-9. Which is smaller: v or g?
g
Suppose -15*h = 5*d - 12*h - 147, 2*h + 122 = 4*d. Which is smaller: 27 or d?
27
Let j = 273 - 272. Which is bigger: -1/152 or j?
j
Let v = 472 + -449. Is 29 greater than v?
True
Let a(m) = m**3 - m**2 + 6*m - 2. Let t be a(3). Let r be (t/6)/((-9)/54). Which is greater: -35 or r?
r
Let j = 6 + -7. Suppose 4*r - 5 = 3*r. Let i = r + j. Which is smaller: -0.1 or i?
-0.1
Let i(m) = -m**2 - 8*m + 4. Let g be i(-8). Let h be -19 + (g - 7) + 4. Let a = h + 21. Do a and 3 have different values?
False
Let f be 4038/2022 + (-28)/7 - -2. Which is smaller: -1 or f?
-1
Let s = 259 - 135. Let u = s + -125. Is -37 at least as big as u?
False
Let o = -21 + 20.998. Let b = o - -0.102. Which is greater: -1/21 or b?
b
Let v = 369 - 368.86. Is v greater than or equal to -1/11?
True
Let m = 260 + -235. Is 0.4 smaller than m?
True
Let t be 11 - (-15)/((-75750)/55510). Which is smaller: t or -1?
-1
Let f = 6.3 - 6.2. Which is smaller: f or 129?
f
Let l = -68/3311 + -2/77. Let z(j) = j**3 + j**2 - j - 2. Let y be z(-1). Which is smaller: y or l?
y
Suppose 448 = -5*k + 2*z - 479, 3*z = 3*k + 549. Which is bigger: k or -186?
-186
Let h(i) = -9*i - 100. Let u be h(-11). Is 2/181 bigger than u?
True
Let i(u) = 8*u**2 + 13*u - 66. Let z be i(4). Is z less than 115?
True
Let l be ((-202)/6)/((-14)/84). Is l at most as big as 201?
False
Let j = 0.13 + -0.23. Is j at least 26?
False
Let y be 60/(-15) - 723/(-1). Is 2 smaller than y?
True
Let q be (-48)/(-171) + 5/(-15 + 0). Which is bigger: q or 1?
1
Let m = 26 - 25. Suppose 23 = 2*w + m. Let f(z) = -z**2 + 12*z - 13. Let k be f(w). Is k < -5?
False
Suppose 2*t + 2*t - 8 = 0, 3*t - 5 = -b. Let u be ((3/(-2))/(-3))/(3/18). Let g be (-2 + u)*(-8 - (-9 - -4)). Does b = g?
False
Suppose 3*t = 2*t - d - 5, -d + 25 = -4*t. Suppose 0 = -s + 2*s - 40. Let g be s/30*t/(-4). Which is smaller: g or 10/13?
10/13
Let b(w) = -w**3 - w**2 + 16*w + 1. Let m be b(6). Which is greater: m or -156?
m
Let h = -28 + 0. Let m = 28 + h. Let b be (2 + (-12)/7)*2. Which is smaller: b or m?
m
Let o(k) = k**2 + 8*k + 3. Let h be o(-5). Let l be (-8)/h*(-3)/2. Is 2/15 at least as big as l?
True
Suppose 0 = -4*y + 20, 3*y + y - 20 = 4*w. Suppose 10 = 6*u - u. Let n be 16/(-66) - u/(-6). Is n greater than w?
True
Let z be (-8)/15*(-3)/(-2). Let a(y) = 36*y**2 - 2*y. Let g be a(-1). Let f = 37 - g. Are z and f nonequal?
True
Let h = -994.947 - -994. Let q = h - 0.053. Which is bigger: -14 or q?
q
Suppose 9 = 4*l - l. Suppose 0 = 8*v - l*v. Let f = -664/1685 - 2/337. Is f equal to v?
False
Let i = -10 - -7. Let l = 11/2 + -71/8. Is l at most as big as i?
True
Let b be ((-1)/2)/(-2 - 22/(-12)). Suppose 0 = -b*q - 3 - 0. Is q smaller than -2/127?
True
Let v = 22 + -38. Which is smaller: -2 or v?
v
Let k be (-5 - -6)*(-71)/(-1). Which is smaller: k or 74?
k
Let k(y) = -1 - 6*y**2 - 3*y + 0*y - y - y**3. Let g be k(-5). Let c = 8 + -9. Which is smaller: g or c?
g
Suppose -p + 15 = -5*p + 3*c, -p - 5*c = -25. Suppose p = 2*m + 5*m. Is 0 > m?
False
Suppose 1665 = l - 654. Suppose l = -2*z - 3*v, -2753 = 5*z - 5*v + 3007. Let n be 451/z - 2/(-6). Are n and 1 nonequal?
True
Let g = -73 + 78. Suppose -g = -2*v - 2*a + a, 0 = -5*a + 15. Which is smaller: -2/39 or v?
-2/39
Let b(r) = -r + 7. Let n be b(6). Let t be (-6)/150*55/44. Which is smaller: t or n?
t
Suppose -10*s - 28 = -6*s. Let j(m) = m**3 + 8*m**2 + 5*m - 14. Let a be j(s). Is -8/17 less than a?
True
Suppose 17*u = -217 - 208. Which is smaller: u or -16?
u
Let v = -86.73 - -11.73. Which is smaller: v or 2/21?
v
Let x be (8/(-6))/((-2807)/(-21))*-1. Is 1 at least as big as x?
True
Let q = 0.181 + 0.169. Is -0.2 > q?
False
Let r = 0.75 - 0.46. Let y = r - 3.39. Which is greater: y or -0.1?
-0.1
Suppose 7*z + 680 = 2*z. Which is bigger: -2/11 or z?
-2/11
Let x be 7/14*-8 + 4/8. Is -0.7 bigger than x?
True
Suppose -5*y + 6*y + 2472 = -4*m, m + 3*y + 618 = 0. Let h be 12*m/(-12684) - 4/7. Is h <= -1?
False
Let m(g) = 5*g**3 - 4*g**2 - 11*g + 32. Let h be m(3). Which is greater: 97 or h?
h
Suppose -5*f - 23 = -3*g, 10 = -3*g - 5*f + 23. Suppose 5*k - 4 - g = -5*h, 0 = -4*h. Is k greater than 7/8?
True
Let t be (8 + (-42)/7)/(4/(-42)). Which is smaller: -20 or t?
t
Let r = -48 - -69. Suppose -d - r = 2*d. Is -5 < d?
False
Let h be (33/(-21) - -1)/(-2). Let k(p) = 2*p**3 - 16*p - 58. Let l be k(0). Is h greater than l?
True
Let a be (4 - 4)/(-4) + 5. Suppose a = g - 0. Let m = 11 - 4. Is g