t u be (2 - (-1 + 0))*h/15. Is u greater than 4/5?
False
Let k = 1019 - 1017. Let x be ((-2)/(-16))/(2/10). Which is bigger: k or x?
k
Let b(h) = -h**2 - 2*h + 2. Let s be b(-6). Suppose 4*j = -3*n + 101, -7 = 4*n - 3. Let t = j + s. Is t equal to 3?
False
Let h = 286 - 282. Let j = 2 - -3. Are j and h nonequal?
True
Let m(a) = 15 - 13*a + 13*a**2 + 9 - 8 - a**3. Let y be m(12). Suppose -3*f + 2*t + 2*t + 16 = 0, 5*f + y*t = -16. Which is smaller: 0.5 or f?
f
Suppose -4*p - 5*z - 104 = -3*z, -3*p + 2*z - 64 = 0. Let b = -16 - p. Let f = 2 + -2. Which is smaller: b or f?
f
Let w = 3.2529 - -0.1461. Let r = w - 0.429. Let u = 0.03 + r. Are 3 and u unequal?
False
Let h be 42/5 + -8 + 2512/(-30). Let l = 85 + h. Suppose -2*t = 3*t - 10. Does l = t?
False
Suppose -8 - 350 = 4*m + 2*y, 3*m - y = -261. Let s = 262/3 + m. Is -2/9 < s?
False
Let y be 655/(-15) + 2/3. Let d = -55 - y. Is -10 less than d?
False
Let z = 1/10 + 12/5. Let g be 26 + -2 + -12 + -10. Is z < g?
False
Let h(v) = v**2 + 10*v + 15. Let j be h(-22). Suppose k + j = 10*k. Which is bigger: k or 63/2?
63/2
Let d = -0.08 + -9.42. Let i = 13 + -22. Let q = i - d. Do 1 and q have different values?
True
Let m = 92/275 + -5/11. Which is smaller: -1 or m?
-1
Let i(y) = 2 - 6*y + y - 2. Let r be i(-2). Let q be (r - 13)/((-6)/8). Is 4 not equal to q?
False
Suppose 5*t + 26 = b - 3*b, b - 9 = 3*t. Let l be 2 + 0/b + (-4 - -8). Is l at least as big as -2?
True
Suppose -28 = -13*r - 2. Suppose -5*u = -r*u + 153. Which is smaller: u or -50?
u
Suppose 0*t = -3*t. Suppose -3 = -5*a - 3*o, 5*o = 3 - 23. Suppose 3 + a = 6*r. Which is bigger: t or r?
r
Let g = -213.17 - -210. Let p = g - -0.17. Let k = 2 - 0. Is k less than or equal to p?
False
Let w = -550/23 - -24. Is -1 equal to w?
False
Let z(u) be the third derivative of u**6/120 - u**5/15 - u**4/8 - 7*u**3/6 + 2*u**2. Let f be z(5). Suppose 0 = -0*n + n + f. Which is smaller: -11/3 or n?
-11/3
Let j be 2 + 4/(-1) + 0. Let c be 1/(j*2*4/(-32)). Is c greater than 0?
True
Let a be (-68)/51*2/8*-2. Let h = -1.9 - -1. Which is greater: a or h?
a
Let y = 10.44 + 2.46. Let d = y - 13.4. Is -1/5 >= d?
True
Let f = 48 + -50. Let o be (-16 - 4)/(-5) + 1 + f. Which is smaller: o or 11/5?
11/5
Let t = -7/75 - -199/525. Is 9/5 less than or equal to t?
False
Let l be (-10)/(-45) - (-14)/(-54). Let k be -2 + (8 + -2 - 3). Is l less than k?
True
Suppose -6 = -59*p - 360. Is -10 bigger than p?
False
Suppose -d = p + 94, 3*p - 7*p = d + 85. Let k(v) = v**3 - 11*v**2 - v + 12. Let j be k(10). Which is smaller: d or j?
j
Suppose -5*d - 7 = -3*b, -5*b = 5*d - 10 + 25. Let m be (3/6)/((-13)/(-2)). Does m = b?
False
Let g(c) = -39*c + 94. Let f be g(-2). Are f and 173 non-equal?
True
Let w = -6.86 + 7. Let c = -0.14 + w. Let s = 3.8 - 18.8. Is c at least s?
True
Let q = -1.011 + 0.911. Which is greater: -0.047 or q?
-0.047
Let x = 53063/3852 + 1/428. Which is smaller: x or 13?
13
Suppose -5 = -9*f + 94. Suppose -5*a = 6*a + f. Is -2/23 at least a?
True
Let h be (3/(-15))/((-256)/(-60) + -4). Let v = 3/20 + h. Which is smaller: v or 0.3?
v
Let c = 20.93 + 0.07. Let z = c + -20. Is z smaller than 21?
True
Suppose 0 = 5*w - 29*u + 26*u + 3123, 0 = -4*w + 5*u - 2488. Are -627 and w unequal?
False
Let w = -2/1357 + -641849/8142. Let q = w - -3331/42. Is q >= -1?
True
Let q be (-62)/(-4) - (-2)/(-4). Let s(j) = -j**2 + 27*j - 160. Let v be s(11). Is q at most as big as v?
True
Suppose 3*r - 4 = 4*y, 2*y + 0*y = 2*r - 4. Suppose 5*m + 0*m - 2*x - 51 = 0, -r*x = 4*m - 52. Let n(g) = g - 11. Let k be n(m). Is 2/29 at most as big as k?
False
Let a be (-19)/((-38)/44)*(-1)/(-20). Which is greater: 0 or a?
a
Suppose 12 = -x - 2*x. Let m be (-104)/(-13)*7/x. Is -14 >= m?
True
Let z = -1381 + 215. Which is greater: -1165 or z?
-1165
Let i = -17 + 37. Let d = -22 + i. Is d not equal to -2?
False
Let w = -773/3 + 766/3. Let q(r) = -r + 4. Let o be q(6). Let d be (0 - -1)*o + 0. Which is greater: d or w?
d
Let k = 0.9 - 2.7. Let h = 2.1 + k. Let v = h + -0.3. Which is smaller: v or -2/7?
-2/7
Let f(n) = n**3 - 2*n**2 + 6*n - 7. Let k be f(3). Suppose 3*g + 4*q + 0*q = -16, -k = -4*g + 5*q. Let r be g*(4 - 0)/(-8). Is r less than or equal to 1?
True
Let w = 2.644 - 2.6. Which is greater: w or 0?
w
Let z(x) = -x**3 - 15*x**2 + 15*x - 12. Let k be z(-16). Let p be k*(34/(-8) + 4). Which is smaller: p or 2/67?
p
Let w(z) be the second derivative of 9*z**3/2 - 9*z**2 - 31*z - 1. Let t be w(2). Is t less than 37?
True
Suppose 12 = 3*z + 4*a, a - 8 = -2*z - 0. Let l be 886/(-420) + 2 + z/24. Is -1 <= l?
True
Let c be 2*(-1)/(-2) + -1. Let d = -5896/25 + 236. Is d at most c?
False
Suppose -6*f + 3*l + 206 = -11*f, -3*f - 126 = l. Is -1 less than f?
False
Let v = -18/67 + 1778/4623. Which is smaller: 0 or v?
0
Suppose 68 = 4*l - j, -4*l + 5*j + 12 + 40 = 0. Suppose 2*o = -o + l. Let w(v) = v - 1. Let c be w(o). Is c less than or equal to 6?
True
Let t be (-1 - -1)/(0 - -1). Let i be (15/3)/(-15)*-9. Let z be i + ((-864)/92)/3. Is z at most as big as t?
True
Suppose -15 = 24*p + 105. Which is smaller: -75/16 or p?
p
Let x = -10.3 + 11. Let b = 12 - 12.7. Let z = x + b. Which is greater: z or 0.05?
0.05
Let i be (-9 - -14)/(1 + 0) + -3. Is i at most 59?
True
Let n(g) = g**3 + 4*g**2 - 4*g + 7. Let u be n(-5). Let m be ((-3)/u)/((-6)/20). Let o be (2/10)/(-9 + (-6144)/(-680)). Is m greater than or equal to o?
False
Let c(x) = x**2 + x - 6. Let t be c(0). Let v be 19 - (-2)/(t/9). Let k be 16/(-54)*(-60)/v. Which is smaller: 0 or k?
0
Suppose 14*n + 17 = -137. Suppose -3*m = 4*r + 44, -3 = -2*m - 5*r - 37. Which is bigger: m or n?
n
Let l(w) = 8*w - 87. Let s be l(11). Are s and -3/163 nonequal?
True
Let d = -6106/7 + 878. Is d less than 2/7?
False
Let i be 15/(-54)*3 - 6/(-4). Is i <= -182?
False
Suppose 1782 = -35*o - 64*o. Let r = -3 + -16. Which is smaller: r or o?
r
Let m = 24 - 28. Let o = -12 - m. Is o bigger than -2/9?
False
Let g = -153 - -319/2. Is 7 > g?
True
Let x = -19 - -15. Let w(u) = u - 3. Let r be w(-7). Which is greater: r or x?
x
Let d(p) = -5*p**3 - p**2 - 2*p - 1. Let k be d(-1). Suppose 112 = g - k*g. Is g < -28?
False
Let x = 11 + -14. Let l be x*1 - (9 - 8). Let h be (-2)/5 - l/10. Which is greater: h or -1?
h
Let z(n) = -n**3 + 27*n**2 + 33*n - 31. Let h be z(28). Which is smaller: 104 or h?
104
Let j = -68 - -146. Suppose -3*m - j = -d, 0*d - 84 = 3*m + d. Are m and -25 non-equal?
True
Suppose 0 = -5*l + 2*m, l = -2*m + 7*m. Let y(w) = -2*w - 26. Let z be y(-8). Let x be (0 - -2) + z/8. Which is bigger: x or l?
x
Let j = -17 + 26. Is j < -20?
False
Suppose -3*j + 4*k + 136 = 0, 5*j - k + 0*k = 221. Let g be (-475)/(-11) - 84/462. Which is smaller: g or j?
g
Let o be -2 - ((-8 - -2) + 2) - 1. Is 11/18 < o?
True
Let d = -448/2403 - -10/89. Is 2 bigger than d?
True
Let t = 7 - 9. Let s be (t/(-5))/((-6)/30). Are 1 and s non-equal?
True
Let b = 0.17 + -0.1. Let q(a) = 3*a - 6. Let n be q(2). Suppose n*s = -15*s - 4*s. Which is greater: s or b?
b
Suppose -2*l - 848 = 4*u - 2*u, -3*l - 1282 = u. Is -429 less than or equal to l?
True
Suppose -12 = -0*p - 4*p. Suppose z - p = -4. Do -2/123 and z have different values?
True
Let i be -2*(88/20 + 4/(-10)). Let c(k) = -k**2 - 8*k - 1. Let m be c(i). Is m at most as big as -3?
False
Let t be -2*(18/(-4))/(-3). Let x be (3 + -1)*t/(-6). Let m(q) = -9*q + 3. Let g be m(x). Is g not equal to -6?
False
Let b(t) = t**2 - 17*t + 14. Let z be b(17). Let d = z + -34. Let r be (48/d)/((-3)/(-10)). Is -7 greater than r?
True
Let t be (-237618)/(-198) - (-2)/(-22). Do t and 1201 have the same value?
False
Suppose -83 = 5*b + 497. Let j = b - -116. Which is greater: 2/31 or j?
2/31
Let i = 1446 - 1447. Suppose 5*l = 13 - 33. Which is smaller: l or i?
l
Let b = 2159 + -2159. Which is smaller: b or -1/1130?
-1/1130
Let s be (-1710)/(-520) - 1/1*3. Is s >= 0?
True
Let o be (36/(-30))/(374/(-55)). Suppose 2*i = 5*i + 3. Which is bigger: i or o?
o
Let b = -10/2817 + 5696/3191661. Does 1 = b?
False
Let w be 3914/(-84) - (-13)/26. Let o = w - -46. Is -1 less than o?
True
Suppose 4*h - 20 = 0, 4*y + 4*h - 385 = 7*h. Suppose 10*l = 240 + y. Which is greater: 35 or l?
35
Suppose -2*g = 5*a + 394, 2*a - 3*g + 114 + 55 = 0. Is a greater than or equal 