19.39. Is 0.1 equal to o?
False
Let h = -346 - -173. Which is smaller: -172 or h?
h
Let f be 6/(-18) + 1906/6*-1. Let p be f/(-81) - (-8)/(-2). Which is bigger: 1/2 or p?
1/2
Let w = -28/381 - -14711/205359. Which is smaller: w or 0?
w
Suppose 9 = -q - 0*q - 5*z, -2*z = q + 3. Are q and 9/2 equal?
False
Suppose 1 = -j - 0. Let g = 2568 - 53918/21. Which is bigger: j or g?
g
Let z = 21.7 - 21.7. Let n = -5.7 - -6. Let u = z + n. Which is greater: u or 3?
3
Let w = 3 + -1. Let v(j) = -j**2 + 22*j + 3. Let c be v(15). Let u be (-336)/c*(-6)/16. Which is bigger: w or u?
w
Let v = 773 + -760. Which is smaller: v or 5?
5
Let s(i) = i**3 - 5*i**2 + 3*i + 3. Let o be (-8 - 0)*(-3)/6. Let w be s(o). Let t be ((-2)/(-28))/((-4)/(-8)). Are t and w unequal?
True
Suppose -2*t - t - 3*j = 45, -20 = 4*j. Let f = 186 + -264. Let p = 77 + f. Is t >= p?
False
Let d(c) = -5*c**3 - 27*c + 6*c**3 + 4 + 27*c. Let z be d(-2). Are 0 and z unequal?
True
Let m(a) be the second derivative of a**3/6 + 9*a**2/2 + 3*a. Let w be m(-6). Suppose -w*l = -3*u - 45, 4*u + 0*l = -2*l - 66. Is u greater than -17?
True
Let o = 9/242 + -2455/52998. Which is greater: o or -1?
o
Let k be -4*((-436)/8 + 6). Which is smaller: k or 2?
2
Let l(v) be the first derivative of -v**2/2 - 10*v - 4. Let m(p) = -4*p - 1. Let g be m(2). Let t be l(g). Is -1/5 at most t?
False
Let r = 13.07 - 0.07. Let v = 12 + -25. Let m = r + v. Which is greater: -0.04 or m?
m
Let r = 0.0941 + 3.9359. Let f = r - 0.03. Is f less than 0.3?
False
Let r = 0.0078 + -70.0078. Which is smaller: r or -11?
r
Suppose -841*u = -850*u + 14553. Is 1617 greater than or equal to u?
True
Let o be 46/(-161) + (-102)/(-14) + -2. Are o and 0 unequal?
True
Let m = 2817222 - 78843609/28. Let q = m + -1379. Is 0 >= q?
True
Let l(p) = p + 8. Let x be l(-6). Let a = -91 - -95. Are x and a unequal?
True
Let f = 38 - 28. Suppose 8*s - f = 134. Suppose -6*n + 0*n + s = 0. Do n and -1/7 have different values?
True
Let k be 14/21*3/2. Let w = -3.59 - 0.41. Which is greater: k or w?
k
Let j(c) = -48*c - 50. Let q be j(-1). Suppose l + 2 - 1 = 0. Let h = -1 - l. Is q greater than or equal to h?
False
Let y = 1039 - 875. Is y < -0.4?
False
Suppose 3*t = 6*t - 63. Let g be ((-4)/(-10))/(t/(-15)). Let y be (-12)/(-8) + 4/(-2). Which is smaller: g or y?
y
Let g be (-6)/(-14) + (-101)/7. Let i = g + -10. Are -22 and i nonequal?
True
Let n be -4 + (110/(-162))/((-6)/36). Which is smaller: 48 or n?
n
Suppose 0 = 5*u + 5*g - 50, -26 + 66 = 3*u + 5*g. Let d be 2/u - 7/5. Which is smaller: 4/13 or d?
d
Let p be 2/8*(-68)/1343. Suppose 2*d + 8*w = 6*w, 3*w = -d + 2. Is d greater than or equal to p?
False
Let o be 150/14 - (-4)/14. Let y = -18 - -8. Let r be -2 - (y - (0 + (-12)/(-3))). Which is smaller: o or r?
o
Let q = -8.07 - -0.07. Let d = -15 - q. Let r = d - -7. Is 1/5 not equal to r?
True
Let i = 2.053 + 0.047. Let h = 15.1 - i. Let p = h + -12. Is p greater than or equal to 14?
False
Let v = 132 - 131.7. Are -101 and v equal?
False
Suppose -68 = -2*t - 22. Suppose 0 = t*j - 19*j. Let x be 174/510 - 4/10. Which is smaller: j or x?
x
Let a be -2 - (-3 + (-5)/(-5)). Suppose a = 6*h - 4 - 2. Is h at most 10/9?
True
Suppose 14*x = 16*x - 134. Suppose 3*o - x = 4*k, -k - 60 = 4*k + o. Which is greater: -15 or k?
k
Let j(w) = -6*w + 18. Let n be j(3). Is n > 4/65?
False
Suppose 6*b - 26 = -2*o + 10*b, 2*o - 31 = 5*b. Is 5/2 bigger than o?
False
Let k = -220 - -223. Let n = -10 - -13. Is n != k?
False
Suppose 0 = -11*o + 4*o + 35. Suppose o*g - 20 = -0. Which is bigger: -11 or g?
g
Let h = 749 - 3031/4. Are h and -10 nonequal?
True
Let z be (6/4)/((-3)/(-4)). Suppose -34 = -z*m + 5*i, -3*m + 2*i + 40 = -0*i. Let d = 8 - m. Is 0 greater than d?
True
Let k be 2/(-9) - (-798)/(-54). Let o = k - -46/3. Are o and -1 equal?
False
Let o be (13/((-78)/(-192)))/2. Are o and 20 unequal?
True
Let j be (-272)/(-280) + 12/(-21). Which is greater: -84 or j?
j
Let a = 3291 + -7135/2. Let m = 268 + a. Is m smaller than -8?
True
Let p be 1/4 - (-13)/12. Suppose -4*g = 5*x - 8 - 5, -x = -3*g + 24. Suppose 0 = w + 3*j + g, 2*w - 6*w = -2*j - 14. Which is greater: p or w?
w
Let d be 158 - -4 - 40/8. Is d bigger than 155?
True
Let g be -7 + ((-1199)/(-66) - 12). Let m(k) = k**3 - 6*k**2 - 6*k - 9. Let x be m(7). Is g >= x?
True
Suppose 3*k = 9, -5*d = 4*k - 260 + 8. Let u be 48/(-14)*(-160)/d. Are u and 1 equal?
False
Suppose z = -2*z + 4*b + 29, -3*z + 5*b = -25. Let f be 16 - (-3)/((-12)/(-8)). Let l = z - f. Is l at least -9/5?
False
Let x = -0.022 + 157.022. Let v = -166.3 + x. Let q = v + 9. Which is bigger: q or 0?
0
Let x = 1831/4 - 460. Suppose 14 = -13*a + 1. Let w(p) = -p**2 + 3*p + 2. Let z be w(a). Which is bigger: z or x?
z
Suppose -13*j + 21*j = 864. Do -0.1 and j have the same value?
False
Suppose 12 = -3*d + x, 4*d + 4*x = -0*d. Let a = -77 + 80. Let f be (a - 5)*-2 + d. Do f and 2/5 have the same value?
False
Let w be ((-1)/2)/((-1)/(-2)). Suppose -86 = -7*t - 2. Let h be ((-14)/(-147))/(t/14). Is h <= w?
False
Let y = -963 + 2887/3. Let j = -1.41 - 0.29. Which is greater: y or j?
y
Suppose 2*z = -11*z - 39. Which is bigger: -4 or z?
z
Let v be -2 + 3 + -3 + 3. Let o be 6*v/(-2) - -6. Suppose -4*u = -o*u - 8. Is u at most 8?
True
Suppose 4*d - 16 = 0, -176*q - 5*d + 75 = -171*q. Is 21 < q?
False
Let x = 1.659 - 0.109. Let g = x + -12.55. Which is greater: 2/5 or g?
2/5
Let b = 69 - 68.85. Is 1/14 equal to b?
False
Let f = -22 + 20. Let k be f*(1/(-2) + -1). Let o be ((-1)/(-2))/(k/(-6)). Do 1/11 and o have different values?
True
Let s = 245.86 + -245.9. Suppose 3*r - 17 = -2. Suppose -3*y - r - 7 = 0. Are s and y nonequal?
True
Let w(i) = 13*i**2 + 3*i + 1. Let h be w(-1). Let d = 12 - h. Which is smaller: d or -17?
-17
Let j = 27.3 + -22.9. Which is greater: 2 or j?
j
Let m = -25 - -28. Suppose 0*y + 3 = -m*y. Let l = 216 + -869/4. Is y > l?
True
Let n = 0.1909 - -187.6091. Let j = -167 + n. Let l = -3.8 + j. Which is smaller: l or 0?
0
Let z be 4/(-6) + (-11)/(-3). Suppose 4*k + 5*o - 14 = 8*o, -o + 2 = 0. Is k > z?
True
Suppose 53 = 2*k + 65. Let h(x) = -2*x - 20. Let v be h(k). Suppose 30 = -3*m - 0*m + 3*q, 0 = 4*q - 8. Is v at most as big as m?
True
Let l(a) = 0*a + 0 + 4 - 6 + a. Let h be l(4). Let j be ((-1)/(-6))/((-72)/(-216)). Which is bigger: h or j?
h
Let g be ((-42)/(-9))/(1/(6 - 0)). Which is smaller: 29 or g?
g
Let g = 45 - 30. Let y(q) = -q**2 + 14*q + 22. Let c be y(g). Let s(r) = r**2 + 4*r + 3. Let z be s(-5). Which is smaller: c or z?
c
Let x(z) = 1. Let y(k) = k. Let c(t) = 5*x(t) + y(t). Let g be c(5). Is 6 <= g?
True
Suppose 13 = 51*a - 38. Is -1/134 less than a?
True
Suppose -2*v + 3*h - 58 = 0, 2*v - h - 3*h + 58 = 0. Let k = v - -27. Let g = 2 + -2. Which is bigger: k or g?
g
Let g be 30/(-5)*9/(-6). Let y be g/(-6)*(-24)/9. Suppose p - y*p = 0. Are p and -10/11 equal?
False
Let f(z) = -3*z**3 - z**2 - z - 1. Let p(b) = b - 11. Let d be p(10). Let u be f(d). Let j = 1.03 + 1.97. Do j and u have the same value?
False
Suppose 4*b = -303 - 861. Let s = b + 5817/20. Let v(c) = c**2 - 6*c + 1. Let a be v(6). Which is smaller: a or s?
s
Suppose 3*n + 2 = -4. Suppose h + 6 = 3*l, -5*h - 4*l + 3*l = 30. Let d be h*((-1)/3 + 1). Which is smaller: d or n?
d
Let w = 241 + -728/3. Let n be ((-4)/10)/((-2)/(-10)). Which is smaller: n or w?
n
Suppose -8 = 2*b + 4*n, 0 = 2*b - 5*n - 0*n - 19. Suppose b*y = -3*u - 0*u + 27, -3*y = 5*u - 43. Which is smaller: 7 or y?
y
Suppose 3*n = -5*t + 1057, 3*t - 219 - 404 = n. Which is smaller: 1 or t?
1
Suppose 8*l + 79 = -i, 9*l - 29 = i + 7*l. Which is greater: i or -36?
-36
Let k be ((-13284)/(-366))/9 + -4. Let b = -5 - -4. Which is smaller: b or k?
b
Let h(o) = o**3 - 25*o**2 + 22*o + 35. Let q be h(24). Let p be (13 - 19)*(-2)/q. Which is bigger: p or 0?
0
Let y(c) = c**3 - 3*c**2 + 4*c - 5. Let t be y(2). Let u be 2 - -34*1*t. Let q be (-48)/u*(-4 + 0). Does -6 = q?
True
Let h = 75/136 - 3/8. Let p = h + -26/51. Is -33 smaller than p?
True
Suppose 552 = 110*h - 122*h. Is h greater than -46?
False
Let p be (4 - 2) + -6 + 3. Let o be (-6)/(-12) + (-341)/(-14). Let v = 1594/63 - o. Which is greater: v or p?
v
Suppose -20 = -5*r, 4*a - 4*r + 4 = -8. Let i(c) = c - 3. Let f = 2 - -4. Let x be i(f). W