 -0.18 + 0.16. Which is smaller: 0.3 or l?
l
Let k(a) = a**3 + 7*a**2 + 5*a + 6. Let b be k(-6). Let r be (-3)/b - 7/20. Is 0 < r?
False
Suppose 5*n = 3*i + 7 + 28, 4*n - 4*i - 28 = 0. Suppose -95 = -2*t + n*t. Is -16 <= t?
False
Let z be 1/2 - 341250/28. Let w = 120591/10 + z. Let u = w + 128. Is -1 at most u?
True
Suppose 4*i = -2*h - 2 - 0, -h + 13 = -5*i. Suppose -2*k = -5*k + h. Let v be (-3 - 6/(-1)) + 0. Is v at least k?
True
Let t be 1 + 2/4*0. Let n(l) = -14*l - 20. Let j be n(-3). Let r be j/(-40) + ((-13)/(-4))/13. Which is greater: r or t?
t
Let j(y) = -2*y**2 - 3*y + 9. Let f be j(5). Do f and -1 have different values?
True
Suppose v - 2 = -0. Suppose -v*s + 116 = -6*s. Is s less than -29?
False
Suppose 0*j + 5*t = -5*j, 5*j + 2*t + 6 = 0. Suppose -3*k = 2*k - 20. Suppose 3*v = -k*z + 1 - 11, 0 = -z + v + 1. Is z != j?
True
Suppose 14*h + 14 = 28*h. Let k = 4/990455 - 2605292852/4952275. Let v = k + 526. Which is bigger: v or h?
h
Let o = 273/8 + -34. Let h = o + -87/56. Which is greater: h or -1?
-1
Let h = 321359866/507535 - 38/29855. Let k = h + -633. Is k at most -1?
False
Suppose -n - 3660 = -3688. Which is smaller: n or -8?
-8
Suppose -16*g - 698 = 3062. Which is smaller: g or -233?
g
Let w(p) = 2*p + 19. Let a be w(-6). Let d(t) = -4*t + 9. Let j be d(a). Let v = 41 + -59. Which is smaller: v or j?
j
Let y(f) = -2*f**2 + 3*f + 3. Let l be (33/22)/((-2)/(-4)). Let p be y(l). Let z = 5 + p. Is -1 less than z?
False
Suppose 3*v - 5*b = 20, 2*v - 2 - 2 = b. Let j(s) = 79*s - 4. Let i be j(-2). Let q be (-171)/i + 6/(-4). Is v < q?
False
Let u = 77 - 70. Let n be u*(-5)/10 - -4. Which is smaller: -2 or n?
-2
Let y(z) be the second derivative of -z**4/12 - 2*z**3/3 - z. Let u be y(-3). Let r(x) = -x**3 + 3*x**2 - x + 4. Let o be r(u). Are -3/14 and o non-equal?
True
Let c = -46 - -37. Let j(y) = y + 10. Let k be j(c). Which is smaller: k or 31?
k
Suppose 2*a - 8 = 0, -3*s + 376 = s - 2*a. Let l be -1 - (-5)/((-15)/s). Is -31 at most l?
False
Let r = -1.05 - -12.25. Let k = -0.06 - 10.94. Let w = k + r. Which is smaller: 4 or w?
w
Let j be 2/(-26)*6 - 0. Let a(p) = -4*p**2 + 3*p - 3. Let g(u) = -3*u**2 + 4*u - 2. Let i(h) = -2*a(h) + 3*g(h). Let r be i(6). Is j bigger than r?
False
Suppose 0 = -3*a + 7*a + 2*r - 12, 5*r = a - 14. Let n(p) = 15*p**2 - 8 + 32*p - 7*p - p**3 + 2*p**3. Let w be n(-13). Does w = a?
False
Let s be (-16)/(-6) + 5/15. Suppose -29 = -s*n + 70. Suppose 0 = -3*g + 6*g + n. Is g greater than or equal to -11?
True
Let i = 1 - 1. Let f = -1115 + 1133. Which is smaller: i or f?
i
Let k(x) = -x**2 + 9*x + 11. Let c be k(10). Suppose -3*q + 19 = c. Suppose -8*b = -q*b. Which is smaller: b or 1/7?
b
Let f = 567 - 5677/10. Is f at most as big as -1?
False
Suppose 0 = -3*h - 50 - 22. Let q = -28 - h. Is q at most as big as -5?
False
Let a = -4049/20 + 202. Is -0.2 >= a?
True
Suppose 14*h = 219 - 359. Let t(j) = j**2 + 9*j + 4. Let r be t(-7). Do r and h have the same value?
True
Let z(c) = -c**2 + 10*c + 9. Let p be z(11). Let f be 14/(-7) + (-4)/p. Which is greater: f or -1/22?
f
Let n be ((-598)/(-368))/((-5)/1). Which is smaller: 0 or n?
n
Let y be 0 - 20/((-2)/1). Suppose 0 = -2*l - 3*l - y. Which is smaller: l or -3/5?
l
Suppose -t - 210 = -6*t + 5*r, -t + 4*r + 36 = 0. Let h = 30 + -18. Suppose -t = -4*s - h. Is 9 greater than s?
True
Let q = -440.9 + 391. Let c = 50 + q. Which is smaller: -69 or c?
-69
Let b = -81.5 + 60. Let h = -23 - b. Which is smaller: h or 1/2?
h
Suppose -301 = -3*u - 6*h + 2*h, 4*h + 8 = 0. Let i = u + -60. Which is smaller: 45 or i?
i
Let k = 0.54 + 0.36. Let u = k - -0.1. Let s = -6 + u. Which is smaller: s or 2/7?
s
Let f be 30/(-24)*((-64)/(-30) - 2). Suppose -2*k = 5*o + 13, 4*k + 13 = -5*o - 8. Which is smaller: f or o?
o
Let c = 4.1 - 0.1. Is -0.3 greater than or equal to c?
False
Suppose 5*k = 13 + 7. Suppose 10 - k = r. Suppose 0 = 5*s - 2*t - 3, -3*s - 3*t = -r. Is s < 2?
True
Let d(g) = -g**3 - 11*g**2 + 12*g + 4. Let q be d(-12). Suppose f = q*f - 69. Does -1 = f?
False
Let h be 0 + ((1885/(-30))/(-13) - 4). Let c be 1/(-9) + 4/(-18). Do h and c have different values?
True
Let s(c) = -4 - 10 + 14 - c. Suppose -12 = 5*p - 2. Let f be s(p). Is f at least as big as 3?
False
Let s(h) = -13*h**2. Let w be s(1). Let x = 22 + w. Let t be x/((-2)/((-16)/(-6))). Is t at most as big as -11?
True
Let g(l) = -l - 8. Let h be g(7). Let q = 19327/5 + -3880. Is h >= q?
False
Suppose 0 = 3*t - 7*t + 24. Let m(b) = -b**2 + 7*b - 6. Let d be m(t). Are d and 0 equal?
True
Suppose -3*r - 5*m + 58 - 13 = 0, -9 = 3*m. Let z be ((-15)/r)/(12/(-10)). Let o = 2 - 0. Are o and z unequal?
True
Let x = 4 - -1. Suppose 0 = 5*w + x, 0*w - 3*w - 5 = -2*v. Let n = 471/4 - 118. Which is bigger: v or n?
v
Let n = 710 + -115731/163. Is 1 != n?
True
Let k(v) = 49*v - 1. Let s be k(-1). Let g = 45 + s. Which is smaller: 0 or g?
g
Let w = 0 - 0.4. Let s = 0.6 - w. Suppose -2 = -16*i + 15*i. Is s at least as big as i?
False
Let j(r) = -r**2 - 12*r + 7. Let w(d) = d**2 + 11*d - 6. Let x(t) = -5*j(t) - 6*w(t). Let n be x(-3). Let p be 3/(3/6 - (-2)/(-12)). Is n at most as big as p?
False
Suppose -218 = -4*t - 2*o + 2, 0 = t + 2*o - 58. Which is smaller: t or 56?
t
Let q = -307 + 186. Let x = 12610 - 62447/5. Let o = x + q. Is 2/41 bigger than o?
True
Let d = 115756/1521 - 685/9. Suppose 0 = 3*m + 5*t + 13, -3*m + 5*t + 3 = 2*t. Is d smaller than m?
False
Suppose 2*k = 5*k + 6, -k = m - 1. Let f be (-2)/m*-1*6. Let b be -3*((-2)/3 + 0). Which is bigger: b or f?
f
Suppose -2*w = 2*r + 306, -8*r + 11*r - 2*w + 469 = 0. Which is smaller: 8 or r?
r
Suppose 136 = 6*q - 4*q. Suppose 4*n - q = -2*s + 2*n, -5*n - 100 = -4*s. Is 30 greater than s?
False
Let o = 49/149 - -2/447. Let s = -4.2 + 2.9. Let q = s - -0.3. Which is greater: o or q?
o
Let n(j) = j**2 + 8*j + 5. Let d be n(-10). Suppose 5*r - 60 = d. Which is smaller: 15 or r?
15
Suppose -21*y + 139 + 1373 = 0. Which is greater: 73 or y?
73
Suppose 3*v - 10 = r, -3*v + 6*v = -r + 20. Suppose 3*u - 135 = -g, -5*g - 225 = -v*u - g. Suppose -m - u = 4*m + 5*c, -c + 21 = -2*m. Is m smaller than -9?
True
Let s = 11 + -6. Suppose 4*h - k - 2*k - 48 = 0, -s*k = -5*h + 65. Let w(b) = -9*b**3 - 2*b - 1. Let x be w(-1). Which is smaller: h or x?
h
Let v = -609 - -291. Which is smaller: -317 or v?
v
Let f(t) = t**3 + 8*t**2 - 9*t + 8. Let u be f(-9). Let b = -13 + u. Let a be (-5)/(-15)*1/b. Are 1 and a nonequal?
True
Let v be (-2)/5 + (-531)/(-15). Suppose -z = -v + 49. Which is greater: z or -12?
-12
Let n = -2.4 - -4.4. Let u = n - -3. Is -1/4 >= u?
False
Let l = 11.842 - -0.258. Let i = l + -7.1. Which is smaller: i or -0.9?
-0.9
Suppose 12*i = 4*i. Which is greater: -13/16 or i?
i
Let k(u) = -4*u + 4. Let b be k(1). Let r(z) = z**2 + 10*z - 3. Let a be r(-10). Let p = a - -4. Is p greater than b?
True
Let d(x) = x**2 - x - 8. Let s be d(-3). Suppose 0 = s*r + 19 + 125. Are -36 and r equal?
True
Let y be 0 - ((0 - 0) + 0). Suppose 0 = -5*q + 5*u, -q + y*q = 2*u. Let v be 310/(-255) - 8/(-6). Do v and q have the same value?
False
Let c = 1200 + -1201. Which is smaller: c or -3?
-3
Let n(d) = d**2 - 2*d - 3. Let m be n(-2). Suppose 0 = 5*i - 2*q - 109, -4*i + 11*q = 13*q - 80. Let l = -14 + i. Is m at most l?
True
Let p = -45 - -811/18. Suppose -2*y - 4*v + 9 = -9, y - v = -3. Which is greater: p or y?
y
Let b(q) = 202*q**2 + 3*q + 3. Let t be b(-2). Is 805 bigger than t?
False
Let g = 26 + -25. Suppose 3*q - 39 = 5*j, 3*q + 5*j - g = q. Suppose -b + 5*b = a - 35, -b + a - q = 0. Is -10 greater than b?
False
Suppose 50 = 5*y + 10. Suppose 4 = y*h - 6*h. Suppose h*m + 29 = m. Is m >= -30?
True
Let k(i) = -i + 5. Let s be k(-5). Suppose -4 - 6 = -s*a. Is 7/9 < a?
True
Let n = 9.137 - -0.163. Let a = 8 + -17. Let v = a + n. Is -2 > v?
False
Let y = 3.09 - 4.085. Let w = y + -0.005. Is w <= -48?
False
Let s(j) = -j**3 - j**2 + 3. Let d be s(-1). Is d < 16/5?
True
Let a be (72634/24)/(2/(-4)). Let x = a - -6021. Let j = x + 88/3. Is -4 at least j?
False
Suppose 5*k - 250 = 5*a + 95, 267 = 4*k - a. Let n = -74 + k. Suppose 4*g - 20 = 4*z, 9 = 5*g - 6. Are z and n equal?
False
Let p be ((-42)/15)/((-16)/1880). Let z = -235 + p. Which is greater: z or 95?
95
Let g = 1224 + -2633/2