= -4*y - 0*i + 31. Let q be 28/y + 0 + -1. Do q and t have different values?
True
Let h be (-70)/(-6) + (-2)/3. Let k(y) = -y + 9. Let q be k(h). Let a = 47/246 + -1/41. Is q greater than a?
False
Suppose -z - 2*z - 24 = 0. Let a = z - -12. Which is bigger: a or 2?
a
Suppose 0 = m + 5*y - 3, -5*y = -m - 4 + 7. Let u = -12 + 11.8. Is u <= m?
True
Suppose -2*x = -10, -w + 0 = 2*x - 11. Let l = 8 + 6. Let g be (2/(-13))/(l/203) - -3. Which is smaller: w or g?
g
Let j = -191.9 - -258.9. Do 12 and j have different values?
True
Let b(g) = g**2 - 10*g + 21. Let t be b(5). Which is smaller: -15/4 or t?
t
Let n(x) = 1. Let b(p) = -2*p - 8. Let j(k) = b(k) + 4*n(k). Let t be j(-2). Let w be (5 - 4)*-1*3. Which is smaller: t or w?
w
Let m = -257.97 + 8.97. Is -3 smaller than m?
False
Let x be 10 + 3 + (-3423)/49. Which is greater: x or -57?
x
Let r = 6335/9 - 705. Suppose 3*h - 9 - 3 = 0. Let a = 4 - h. Which is greater: a or r?
a
Let a = 16 - 23. Let u be (-62)/(-10) + (-2)/10. Let t be u/21 + (-26)/a. Is 7 greater than t?
True
Let l be 0/4*1/4. Are l and 133 equal?
False
Let m be 31/13 - (1 - -1). Let u = 7/52 - m. Which is smaller: -5/4 or u?
-5/4
Let n = 384 + -380. Which is greater: -2/35 or n?
n
Let r = -7 + 0. Let p(i) = -15 + 30 - 20 - i + 0*i. Let j be p(r). Is j at most as big as 2?
True
Let r be ((-32)/(-80))/(1/15). Which is bigger: r or 10?
10
Let h be 0 + -1 + (-2)/(-8). Suppose 15 = -4*v - 21. Let m be 6/v - (-2)/3. Which is bigger: m or h?
m
Let x = -39 - -39. Let r = -18 - x. Is r at most -18?
True
Let v be 3/(((-28755)/10)/9 - -3). Is v smaller than 1?
True
Let t(k) = k**2 + 6*k + 16. Let r be t(12). Which is greater: r or 233?
233
Let i = 68/31 - 1811/868. Is 2 smaller than i?
False
Let d = -0.197 - -0.267. Is d <= -6?
False
Let s be (3 + (-15)/10)*(-12)/6939. Which is greater: s or 1?
1
Let h = -118 - -148. Which is smaller: h or 260/9?
260/9
Let t = -1950 - -2845. Which is greater: 0.1 or t?
t
Let t = 3247/44 + -293/4. Suppose 5*h - 16 = h. Suppose 2*j = -h*j. Which is greater: t or j?
t
Let j(a) = -4 + 0 - 5*a - 1 + a**2. Let h be j(6). Let w be -3 - 26/(-8) - (-1)/(-8). Is w greater than or equal to h?
False
Let f = -329/4 - -2325/28. Is -0.1 bigger than f?
False
Let b = 1380 - 1379.96. Is -0.04 greater than or equal to b?
False
Let x(s) = -11*s + 87. Let d be x(8). Suppose 10*q = 7*q - 3. Is d bigger than q?
False
Let f be (-66)/12 - -1 - -4. Let o = -8/13 - -3/26. Is f >= o?
True
Let z(i) = -i + 8. Let p be 8/28 - 48/(-28). Let u be z(p). Are 6 and u equal?
True
Let d(f) = 60*f - 12. Let s be d(-1). Let a = 73 + s. Which is smaller: -29 or a?
-29
Suppose -41 = -5*d - 1. Suppose 3*v = v + d. Suppose -c = v*c. Is 6/7 > c?
True
Let r = -450473/13293 - 4/4431. Which is bigger: r or -33?
-33
Suppose -23 = -8*k + 25. Suppose -s - k*s = 154. Is -22 at most as big as s?
True
Suppose 4*y - 6 = -22. Let s be y/(-30) + 1268/(-60). Let q be (2/s)/((-1)/(-9)). Which is smaller: q or -2?
-2
Let o be (-189)/14 + 0/(-1). Suppose -2*h - 14 - 6 = 2*p, -50 = 2*p - 4*h. Is o at least as big as p?
True
Let m = -2.3 + 0.3. Let l = -602.7 + 603. Is l < m?
False
Let b be (-3)/(54/(-9294)) - (-8)/(-6). Is 515 at least as big as b?
True
Suppose 47*t - 18*t - 87 = 0. Is 5/2 < t?
True
Let a = -9 - 0. Let v be 2/a + (-96)/540. Let g = 3/2 + -5/4. Which is greater: g or v?
g
Suppose 5*m - 45 = -5*p, -3*p - 36 = m - 5*m. Suppose 0 = -0*i - m*i - 54. Is -22/3 < i?
True
Let p = 16190 + -16190.01. Let z = 14.1 + -13. Which is greater: p or z?
z
Let x be (29/20)/((-35)/280). Which is smaller: x or 0?
x
Let q = 159 + -171. Which is greater: q or 1?
1
Suppose 5*x - 5*a = 3*x - 38, -3*x - 5*a - 7 = 0. Is 45 smaller than x?
False
Let g = 0.14 + -13.14. Let a = -13.05 - g. Let d = 232/9 + -26. Does d = a?
False
Let b = 241/4 + -60. Let c = -81 - -807/10. Which is bigger: b or c?
b
Suppose 0 = x + 18. Let d be -10 - (-4 + 175/(-28)). Which is greater: x or d?
d
Let g be (0 - 3) + 2 + 73. Let h be (-39)/(-4) + 18/g. Is h bigger than 32/3?
False
Let c = 286.0898 - 0.0898. Which is greater: c or 0?
c
Let d be (-121)/(-144) - (-32)/144. Does d = 0?
False
Let w(v) = 4*v**2 - 3*v - 4. Let y be w(3). Suppose 2*u + y = -n - 0*n, 5*n = 5. Let r = 25148 + -25159. Is u <= r?
True
Let k be (14/5)/(6 - (-116)/(-20)). Does k = 8?
False
Let i(o) = -o**2 - 9*o - 19. Let m be i(-4). Which is bigger: m or 2/7?
m
Suppose 5*q - 38 - 12 = 0. Let h(p) = -p**3 + 11*p**2 - 10*p - 1. Let g be h(q). Is -1/3 not equal to g?
True
Suppose 20 = 2*r - 56. Let d = -46 + r. Which is bigger: d or -6?
-6
Let n(z) = -22*z - 112. Let w be n(-12). Do w and 152 have the same value?
True
Suppose -4*k + 3*s = 47, 0 = -4*k - 2*s - 0*s - 22. Which is smaller: k or -7?
k
Let q(h) = -4*h**2 - 3*h + 17. Let d be q(3). Is -5 >= d?
True
Let c = -244 - -260. Which is smaller: 12 or c?
12
Let m(s) = s**3 - 9*s**2 + 14*s - 1. Let c be m(7). Suppose -p + 12 = -4*z + 3*p, -12 = -3*p. Let l be 1 + z*(-93)/87. Are c and l unequal?
True
Let p(s) = -6*s**3 - s. Let q be p(-1). Let r be 1/((-1)/(-12)*4). Suppose 0 = -i + 2*l + 1, l - 3*l = r*i - 27. Is q < i?
False
Let a(s) = 5*s + 1. Let h be a(0). Let v be (-92)/(-8)*h*(-8)/20. Is v greater than 0.1?
False
Let z = -3.568 - -3.61. Is 0.1 equal to z?
False
Let h = 18.56 + 0.44. Let o = h - 22. Is -3/4 smaller than o?
False
Let q = -3.5 + -11.5. Let r = q - -22. Let y = -18 - -18. Is r != y?
True
Let p(r) = r**3 + 22*r**2 + 23*r + 27. Let a be p(-21). Which is smaller: -103/7 or a?
a
Suppose -2*x + 22*b - 160 = 21*b, 0 = 2*x - 3*b + 160. Is -325/4 bigger than x?
False
Let a be (-9 + -2)/((-1)/(-1)). Let k = -13 + a. Is -24 at most as big as k?
True
Let r be -3*1*(0 - -1). Let o be (4/(-6))/(1/r). Let l be 5/(-3)*396/(-165). Is o at most as big as l?
True
Let t = -71 + 70. Let y(i) = 4*i**2 + 4*i - 4. Let j(b) = -5*b**2 - 5*b + 5. Let h(l) = -3*j(l) - 4*y(l). Let o be h(t). Are 3 and o nonequal?
True
Let b = -49 - -53. Suppose 5*z + k - 45 = 0, 36 = b*z + k + 2*k. Is 7 >= z?
False
Let f(r) = -r**3 + 6*r**2 - 9*r + 8. Let h be f(5). Let y be (-12)/34*h/(-18). Is y at least as big as 0?
False
Suppose 3*x - 4 = x. Let g = -13 + 12. Let t be (g*21/30)/(4/(-5)). Is x > t?
True
Let b = 146 - -26. Are b and -1/4 nonequal?
True
Suppose 347*y = 350*y + 114. Do y and 4 have the same value?
False
Let s be -51*12/(-305) + (-17 - -15). Which is smaller: 0 or s?
0
Let c = -9 + 7. Let z = c - -4. Let s = -0.08 + -0.02. Which is greater: s or z?
z
Let b(n) = n - 1. Let m be b(1). Let a be 1 + -1 - 3/(6/(-4)). Suppose -4*l + 3*p - a*p + 1 = 0, 0 = 4*l + p + 1. Is m not equal to l?
False
Suppose -1285 = 9*x + 380. Which is greater: -186 or x?
x
Let g = -169 - -172. Which is smaller: 9 or g?
g
Let s = -51/130 - 1/130. Let c = 9/10 + s. Which is bigger: 0 or c?
c
Let i be 4/32 - (-1415)/(-440). Is i >= -4?
True
Let g be (-10)/8 - (-3568)/(-64)*-3. Does g = 165?
False
Suppose -96*h + 97*h - 9 = 0. Let b(w) = -w**3 - 5*w**2 + 6. Let c be b(-5). Let o be h/(c/(-4) - -1). Which is smaller: -17 or o?
o
Let g(x) = 2*x - 7. Suppose 5*t + 16 = 3*w - 2, -5*t - 38 = 2*w. Let a be g(t). Is -18 >= a?
True
Let u = 7.8 + 3.9. Let m = u - 8.7. Is m greater than or equal to 3?
True
Suppose 10*r - 32 - 8 = 0. Suppose -q - r = 8. Which is smaller: q or -10?
q
Let p be (4/(-30))/(2/6). Let r = 4.3 + -8.4. Let k = r + 4. Is k >= p?
True
Let m = 17 + -18. Let x(v) = 4*v + 5. Let d be x(m). Which is greater: d or 2/7?
d
Let t(y) = y**3 + 5*y**2 - 8*y + 26. Let x be t(-7). Suppose z = -z. Is z >= x?
True
Suppose 0 = -5*m + 2*r - 1057, -4*m + r = 4*r + 864. Let f be (-4)/m*(-72)/64. Which is bigger: 1 or f?
1
Let y = 278 + -15844/57. Is 0 at least as big as y?
False
Let y = 53 - 49. Let v be 16/60*10/y*9. Let f = -8 - -6. Is f > v?
False
Let z = -68.991 - -69. Let v = 43.991 + z. Is v less than 1?
False
Suppose -4*t + 14*s - 16 = 10*s, 5*t = -5*s. Which is greater: t or 34?
34
Let t be (-126)/(-112) - (-3)/(-24). Which is smaller: t or 1/106?
1/106
Let r be 11/2 - 12/8. Suppose x - 8 = -3*s + 2*s, 17 = r*x + s. Suppose -5*o = -x + 8. Is o greater than -1/16?
False
Suppose 8*m = 34*m - 52. Which is greater: 4/3 or m?
m
Let p = 2674 - 58813/22. Which is greater: -1 or p?
p
Suppose 2*m + 96 = -2*b - 0*b, 3*m + 250 = -5*