 = 3*t - 12. Let m be d(8). Suppose -h - 2*h + m = 0. Are 3 and h non-equal?
True
Let m = 2 - 2. Let s = 0 + -4. Let n(g) = g**2 + 4*g + 2. Let c be n(s). Is c at most as big as m?
False
Let w = -15/14 + 4/7. Let c = 68.1 - 61. Let u = c - 7. Are w and u nonequal?
True
Let k be (4/(-70))/((-2)/(-10)). Let p(b) = 3*b**2 - 3*b - 1. Let x(l) = 7*l**2 - 6*l - 2. Let f(d) = 9*p(d) - 4*x(d). Let m be f(-2). Is m at least k?
True
Let d = -6.8 - -7. Let o = -5.8 - d. Is 0 at least as big as o?
True
Suppose 0*a = 4*a - 16. Suppose 0 = 2*w + a*d - 2, w = -w + 5*d - 7. Let l be -2 - ((-93)/33 - w). Is l at most -1?
False
Let q be 45/150 - (1 - 1). Do q and -1 have the same value?
False
Let n(u) = 2*u**3 - 26*u**2 + u - 14. Let f be n(13). Which is smaller: f or -26?
-26
Let j(x) = -x**3 - 6*x**2 + x + 6. Let c be j(-6). Are c and 6 nonequal?
True
Let f(j) = j**2 + 3*j + 3. Let w be f(-3). Suppose c = -w + 5. Let x be 4 + -7 - 50/(-14). Is x <= c?
True
Let d = -3 + 6. Let z = d - 2. Let x = -4.2 - -0.2. Which is greater: z or x?
z
Let j = 46 + -38. Which is greater: j or 1?
j
Suppose -w + 3*f - 4*f - 15 = 0, 4*f + 24 = -2*w. Which is smaller: w or -2/11?
w
Let j = -0.7 - -0.5. Let a be 2 - (-2 - 2)*-1. Are j and a unequal?
True
Let u = -52 - -67. Suppose -3*t - m - 17 = -4*t, -t + 21 = -5*m. Which is smaller: u or t?
u
Let l = 39 + -38.67. Let a = l - 0.03. Let i = -0.4 + a. Is i at least as big as 2?
False
Let y be (1/(-27))/((-8)/(-642)). Let h = -20/9 - y. Are -0.1 and h equal?
False
Let i(g) = g**2 - 5*g + 1. Let x be i(4). Is -4 bigger than x?
False
Let z = 1.85 + 0.85. Is -0.1 smaller than z?
True
Let o = 0 - 0. Let d be (2/3404)/(10/(-1296)). Let w = d - 2/185. Which is smaller: w or o?
w
Let o = 24839/4396 + -2/5495. Let f = o + -21/4. Which is bigger: 0 or f?
f
Suppose 2*d = -3*a - 10, -4*d + 2*a - 6*a = 12. Suppose 2 + 1 = -3*i. Let y be (d*6)/(-2) - i. Is y greater than -2?
False
Let l(w) = w**3 + 11*w**2 - 11*w - 4. Let h be l(-12). Is h greater than or equal to -17?
True
Let g = 10 - 9. Suppose 5*f = -w + 28, 2*w + 5*f - 22 - 9 = 0. Let m = w - 2. Are m and g equal?
True
Let i be 3*(-4 - (-28)/6). Let b be (-195)/105 + -1 + i. Which is smaller: b or -2?
-2
Let t(h) = h**3 + 3*h**2 + 3*h + 1. Let a be t(-2). Is -2/29 equal to a?
False
Suppose 0 = l + 4*l. Let b(v) = -v**3 + v**2. Let r be b(l). Let j be ((-3)/4)/(27/(-6)). Does j = r?
False
Let c = -0.17 - 1.83. Which is smaller: -10 or c?
-10
Let a(i) = -i**3 + 7*i**2 - 2*i + 10. Let f be a(7). Let b be f/(-14) + 110/105. Which is smaller: 0.1 or b?
0.1
Let k = 377 + -383. Let r = 13 + -18. Do r and k have the same value?
False
Let a = -1396/2085 - -2/695. Suppose 3*k = -o + 50, -2*o + 0*o - 50 = -4*k. Let t be (-2)/5 + 6/k. Are t and a equal?
False
Let v be 2/(2 - (0 - 0)). Let g = -116 - -122. Is g greater than or equal to v?
True
Let c be 1/((6/10)/3). Suppose 0 = 3*u - 7 - 5. Suppose -b = u*b - c. Which is smaller: b or 0?
0
Let d = -1 + -1. Suppose -2 - 2 = 4*m. Which is greater: d or m?
m
Let k(b) = -b**2 - 2*b + 3 + 2 + 5*b. Let o be k(4). Is o >= 0?
True
Let y be (42/(-45))/(3/(-9)). Suppose -3*o + 3 + 3 = 0. Which is smaller: y or o?
o
Let s(w) = w - 5. Let a be s(5). Let k = 19713/4 - 4989. Let c = -61 - k. Which is smaller: c or a?
c
Let h = -104 - -99.3. Let t = h - -0.7. Let p = 0 + 0. Is t != p?
True
Let r be (-806)/(-91) + (-1)/(-7). Let z = -35/4 + r. Is z at most -2/13?
False
Let d = -98 - -94. Is d less than 2?
True
Suppose -b = -2, 3*b = j + 5*b - 8. Suppose -j*m - m - 10 = 0. Let h = m - -3. Which is bigger: h or 2?
2
Let h(t) = 3*t + 11. Let k be h(-5). Which is smaller: k or -5?
-5
Let t = 88 + -141.8. Let v = -59 - t. Let x = v - -5. Is x > 0.1?
False
Let w(i) = i - 1. Let m = -4 + 6. Let a be w(m). Let s be 8 + -8 + (0 - 2)/(-2). Is s at least a?
True
Suppose 2*l = -l + 12. Let h(t) = -t**2 + t - t**3 + 0*t - 4 + l*t**2. Let j be h(3). Which is greater: j or 0?
0
Let z = -6 - -5. Let j = 189/10 + -37/2. Is j at least as big as z?
True
Let l = 47/12 + -13/4. Which is bigger: l or 1?
1
Let r = -0.2 - 0. Let o = 0.03 - -0.27. Is r equal to o?
False
Let t = -21 + 36. Let z = t + -17. Which is greater: 2/9 or z?
2/9
Let l be ((-3)/(-84))/((-21)/(-1689)). Let s = l + -6/49. Is s less than 2?
False
Suppose -2*s = -4*s + 36. Which is greater: s or 17?
s
Let j be 1 + -5 - -2 - -2. Suppose j = 4*g + 4*r - 4, -3*g + 3*r = -8*g - 1. Let y(h) = h**3 + 4*h**2 + 3*h. Let p be y(g). Which is smaller: p or 3/2?
3/2
Let w be (-5)/(-25) - 79/(-5). Let h be 0 + 2*(-6)/w. Which is bigger: h or -1?
h
Let m(a) = a**2 - 1. Let j be m(3). Let l(r) = r**3 - 7*r**2 - 7*r - 3. Let s be l(j). Is -2 at most as big as s?
True
Let p = 2.08 + -2. Let x = 0.08 - p. Are x and 0 equal?
True
Suppose 3*a = 4*a - 2. Let r be (3/25)/(32/5). Let d = 39/32 - r. Is d greater than or equal to a?
False
Let k(n) = -2 + 4*n**2 - 3*n**2 + 1 + 0 - n. Let l be k(2). Is l at least 2?
False
Let h be 1/1*-2*(-2)/74. Which is greater: h or 1?
1
Let b be -3*(-1)/(11 + -4). Is 0.1 at least b?
False
Let l = -13 - -22. Let s = -23/34 - -3/17. Is s < l?
True
Let t be 4/29*4/8. Do t and 0.1 have the same value?
False
Let i = 82 + -28. Suppose 0 = 4*c + 3*z + 5, -i = 3*c - 5*z - 14. Let q = -17 - -12. Is c at most q?
True
Let x be (-212)/5016 - (-2)/12. Let c = -4/209 + x. Is c at least -1?
True
Suppose 0*n - 2*n = -12. Let w(y) = y**2 - 5*y. Let d be w(n). Which is bigger: d or 1?
d
Let k = -1.7 - -2. Let g = -0.06 - 0.04. Are k and g equal?
False
Let m be 10*(-2)/8*2. Let a be (-3)/(m*(-3)/(-2)). Which is greater: -1/5 or a?
a
Suppose 3*y + 4 + 1 = -2*q, -q - 2*y = 5. Suppose 0 = -5*j - 0*j. Suppose 5*d - 5 = 0, j*d + 24 = 5*f - d. Does q = f?
True
Let c = 8 + -6. Let l(b) = -2*b**2 + b + 2. Let h be l(c). Let g be (3 + -1)*10/h. Which is smaller: g or -4?
g
Let r = -11 - -27/2. Let y = 2 + 1. Are r and y equal?
False
Let y = -12 - -16. Suppose 3*w = -y*q + 11, -3*q = -w + 2*w - 7. Is 1/21 not equal to w?
True
Let y = 1 + 10. Let b = y - 17. Let c be 9/(-6)*4/b. Which is greater: c or -3/2?
c
Let w(f) = f**3 + 2*f**2 + 4*f + 3. Let h be w(-2). Is h > 0.1?
False
Let g be 0 - (1 + 327/(-15)). Are 21 and g nonequal?
True
Let p be (15 - 7)*2/4. Suppose p*i = -j - 14, -i - j + 5*j - 12 = 0. Suppose -3*k + 4*h + 10 = -1, 18 = -k - 3*h. Which is smaller: i or k?
i
Let y be 3*((-32)/(-72) - (1 - 1)). Let j be (3/(-2))/((-6)/8). Let k = j - 1. Is y != k?
True
Let w be 0/(-2)*(-2)/4. Let k = 4774 - 14453/3. Let c = k + 44. Is w greater than or equal to c?
False
Let v be (10 - -5)/3 - -109. Is 114 not equal to v?
False
Let y = 58 - 53. Is y at most 5?
True
Suppose 0 = f + 2, -4*f = g - 3*g + 2. Let v(b) be the second derivative of -b**3/6 - b**2 + 4*b. Let m be v(g). Which is smaller: m or -1/6?
-1/6
Let z be (-4)/(-18) - (-3)/108. Suppose p - 5*w - 24 = 0, 2*p - 7*p + 60 = -5*w. Let a be ((-1)/4)/(p/24). Is a less than or equal to z?
True
Let s be (2/8)/((-868)/56). Are s and 1 equal?
False
Let a be (-114)/(-10) + (-12)/30. Suppose 3*i - a = -4*o, i = -2*o + 8 - 1. Let l = 4 - 7. Is l at most i?
True
Suppose 0 = 4*x + 16 + 44. Suppose 4*s + 2*r - 2 = 0, 3*s - 5*r + 35 = -2*s. Let a be 6/x*s - 0. Is a <= 1?
True
Let l be (-13)/4 + 7*5/140. Which is smaller: 0.45 or l?
l
Suppose 0*o + 5*o = 0. Let t be (-2)/(-5)*(12 + -2). Suppose n - t = -3*n. Which is bigger: o or n?
n
Let g = 1.3 + -1. Let n = -0.7 - g. Which is bigger: 0 or n?
0
Let q = -835/4 - -207. Which is smaller: q or -1?
q
Let y = -6 - 1. Let k = 12 + y. Is 5 <= k?
True
Let k = 1.1 - 2.1. Which is smaller: k or 0.1?
k
Let m(n) = n**2 - 5*n + 4. Let l be m(4). Let u = -0.2 - 6.8. Which is greater: u or l?
l
Let o = -12 - -13. Is 4/35 bigger than o?
False
Let k = -4 - -4.5. Let h = -0.36 - -0.06. Let f = h + k. Is 0.2 greater than f?
False
Let i = -6.97 - 0.03. Let j = -7.1 - i. Is 0 equal to j?
False
Let v = 27 - 29. Is -8 smaller than v?
True
Let d be (5/(10/24))/((-4)/6). Which is bigger: d or -17?
-17
Let a be 0/(3/((-3)/2)). Suppose -2*k = -4*k + 2. Which is smaller: k or a?
a
Let y be (-8)/(-36) + (-295)/(-9). Let u = y + -230/7. Is -1 less than u?
True
Let s be (-5)/(-20)*-3*(-336)/81. Is s less than or equal to 4?
True
Suppose v - 1 = 0, 6*k + 4*v = k - 21. Is k > -5