*t + 4*u = -120, 2*t = -3*u + 71. Suppose 2*v + 2*v = t. Let a(z) = -z**2 + 6*z + 6. Let n be a(v). Do 0 and n have the same value?
False
Let q = 0.07 + -0.27. Let w = -12.6 - -13. Which is greater: w or q?
w
Suppose 6*l + 60 = -4*a + 2*l, 41 = -3*a - 2*l. Let w = 32 + a. Which is bigger: 20 or w?
w
Let h = -0.054 + -10.846. Is h smaller than 0?
True
Let q = 222 + -215.94. Let l = -0.06 + q. Let o = -6.01 + l. Which is smaller: 0.1 or o?
o
Suppose 2*u - 12 = -5*m, -4*m - 4*u = -0*m. Let a be (0 - 0) + m/18. Do a and 2/3 have different values?
True
Suppose -5*z + 12 = 2*i, -5*i - z + 5 = -25. Suppose q = -i*r + 4*r + 3, r = -4*q + 5. Which is smaller: -1/4 or q?
-1/4
Let z(p) = -2*p - 1. Let t be z(-3). Let j = -7 + 12. Is j greater than or equal to t?
True
Let x = -3.887 - 0.113. Which is smaller: 2/5 or x?
x
Suppose 0 = -3*v - v - 36. Let g be (v/3 + 2)/2. Let u = -1 - g. Is 0 bigger than u?
True
Let t = -45 + 42. Which is smaller: t or -14/9?
t
Let m = -5 + 7. Which is smaller: m or 5/2?
m
Let q be (1 + -2)/(-3)*0. Let a = -354/7 - -51. Is a bigger than q?
True
Suppose 0 = -2*d + 3*l + 4, -2*d + 2*l = 6*l + 10. Let f be (-4)/(2*d) + -1. Suppose -z + 5*z = 0. Which is smaller: z or f?
z
Let u be (-279)/420 + 8/(-28). Let g = -3/4 - u. Let d be ((-1)/3)/(1/3). Are g and d unequal?
True
Let g = -23 + 8. Suppose -191*b + 189*b = -2. Which is greater: b or g?
b
Let v be 12/(-24) - (-31)/2. Which is greater: 14 or v?
v
Let x(v) = 2*v. Let r be x(2). Let i be (2/2)/(r - 1). Which is greater: i or 0?
i
Let v be 16/10*30/12. Suppose -z + v*w - 12 = 8*w, 2*z + w + 10 = 0. Is z at most -9/2?
False
Let x be (-7)/(-12) + (-5)/20. Suppose 0 = q + 2 - 4. Let j = -3 + q. Which is smaller: j or x?
j
Suppose 0 = 4*b + k + 4 - 2, -1 = 3*b + k. Let i(d) = d**3 - 7*d**2 + 7*d - 9. Let h be i(6). Let q be ((h + 0)/3)/1. Are q and b nonequal?
False
Let v be -1 + ((-10)/(-4))/(-5). Suppose 8 = -3*c - 1. Which is smaller: c or v?
c
Let h be ((-2)/(-4))/((-63)/27). Which is bigger: 2 or h?
2
Let v be (-2)/((-1008)/500) + -1. Which is smaller: 1 or v?
v
Let n = 29888/7 + -4262. Is 7 bigger than n?
False
Let p(m) = m**3 + 2*m**2 + 4*m + 2. Let z be p(-1). Let f(i) = 3*i**3 + 2*i**2 + i. Let q be f(-1). Let y be (2/(-2))/q*-2. Is y not equal to z?
False
Let n be -1 + 1 - (-1 + -13). Let m be (-4)/(-8) + (-13)/n. Is 0 greater than or equal to m?
True
Let f(d) = -7*d**2 - d + 1. Let y be f(1). Let c = -3 - y. Suppose -2*z = -c, 9 = -p + 3*z + 2*z. Which is greater: 2 or p?
2
Let t be (-25)/96 + 1/4. Let b = -197/480 - t. Is -10 at least b?
False
Suppose 4*d + o - 2*o = 8, -d - 3*o = -15. Suppose d*h - 25 = -2*h. Suppose -h*c = -3*c + 8. Which is smaller: c or -5/2?
c
Let d be (-16)/(-8) + 0/2. Suppose -d*o = -2 - 0. Which is greater: o or 1/4?
o
Let i = 1 - 2. Let c = i - 0. Let j be 6/8 + 5/(-4). Which is bigger: c or j?
j
Let k = -42 + 75. Suppose -5*o + k = 8. Suppose -2*r + o = -2*z - 5, z - 3 = -3*r. Is 0 < r?
True
Let m = -11 + 10. Let r be ((-3)/6)/(m/(-2)). Do r and 2/5 have different values?
True
Suppose 3*v + v + 16 = 0. Is v >= -0.2?
False
Let w = 13 - 10. Suppose -w*c - 10 = -c. Is c smaller than -5?
False
Suppose -5*k + 27 = -0*a + a, 3*a + 3*k = 45. Which is smaller: 13 or a?
a
Let b be (-2)/(1*(-4)/9). Let y = -196 + 202. Which is smaller: y or b?
b
Let o be 4 + (-3)/6*(8 + 2). Is -1/7 smaller than o?
False
Let v(m) = 14*m - 5*m - m**2 - 2*m + 20 + 8*m. Let h be v(16). Which is smaller: 2 or h?
2
Suppose -4*s + 3*s = -1. Which is smaller: 2 or s?
s
Suppose -5 = -f - 2, -231 = -5*w + 3*f. Which is bigger: w or 49?
49
Suppose -5*y - 3*y = -160. Is y greater than 21?
False
Let z be 9/15 + (-2)/(-5). Suppose -2*g - 6 = 0, -d + 3*g + 12 = 2. Is d greater than or equal to z?
True
Suppose 3*x = 5*j + 1, -4*j + x = -x. Which is bigger: j or 21?
21
Let s = 43.8 - 43. Let v = -0.9 - 0.2. Let m = v + s. Which is bigger: m or 2/3?
2/3
Let m be 6/8 + (-7)/4. Let x be (-2 - m)*(2 - 2). Do x and -1 have the same value?
False
Let h = 16.8 + 0.2. Which is smaller: 1/2 or h?
1/2
Suppose -5*h + 25 = -3*h - 5*b, 2*b + 10 = 3*h. Let t be (-23)/(-7) - 2/7. Let o = t - 2. Which is greater: o or h?
o
Suppose 4*d + 3*u = -82, 7*d - 2*d = u - 93. Is -19 less than or equal to d?
True
Let d = 46 + -41. Which is smaller: -2/7 or d?
-2/7
Let f(b) = 5*b + 1. Let o be f(-2). Let x = -2 - o. Let i be 0 - -1 - (x - 4). Is -2 != i?
False
Let v = 47 - 27. Let m be (-34)/v + (-3)/(-6). Which is smaller: m or 0?
m
Let f = -5.4 + 5. Let k = f - -0.3. Let u = -5.9 - -2.9. Do k and u have the same value?
False
Let s = -63 - -63. Which is greater: s or 7?
7
Suppose 4*w + a + 63 = 0, 5*w - 4*a + 2 = -103. Let b = -17 - w. Which is smaller: 3/8 or b?
b
Let d(t) = t**2 + 3*t - 2. Let p be d(-3). Is -5 greater than or equal to p?
False
Suppose -5*g = -g. Let z = 9 + -8. Which is smaller: g or z?
g
Suppose 0 = -3*b + 4*t + 44, b - t + 2*t = 10. Suppose 6*v = 5*v + b. Is 13 > v?
True
Let h = -5.95 + 6. Let y = -0.04 + h. Let l = y - 0.01. Which is smaller: l or -0.3?
-0.3
Suppose 0 = 4*k - 4*x - 8 - 4, 14 = 4*k - 3*x. Suppose -2*s + 1 = k. Is s at least as big as -1?
False
Suppose -8 = 2*v, -3*t - 56 = 4*v + v. Are -12 and t equal?
True
Suppose -2*i = -2*q + 6, 3*q + 0*q - 9 = -i. Suppose -2*f - f - 6 = i. Let o be 2/(-8) + (-3)/4. Which is smaller: f or o?
f
Let w be (-4)/(-24) - (-4)/(-6). Let i(l) = -l**2 - 4*l + 3. Let d be i(-5). Let t be 0/(4/(1*d)). Is w not equal to t?
True
Let g(v) = 3 - 2 + 2 - 5 + v**2 + 5*v. Let q be g(-5). Let f be (q/6)/((-2)/4). Which is bigger: f or 2?
2
Let i = -36 + 21. Which is smaller: i or -13?
i
Suppose 5*w + 3 = -12. Let v = w - 2. Is v <= -6?
False
Suppose -9*j - 120 = 6*j. Is j > -8?
False
Let s be 6/(-27) - (-80)/36. Suppose -12 = 2*o - 4*k, 2*o + 2*k + 18 = -3*o. Let q(h) = -h**2 - 5*h - 3. Let m be q(o). Which is greater: s or m?
s
Suppose 5*k = o - 3*o - 13, 4 = -k + o. Does k = 2?
False
Let t be (-12)/(-4) - 6 - -47. Let l be 74/8 - 11/t. Which is smaller: l or 8?
8
Let c be 110/(-40) - 2/8. Is c greater than -3?
False
Suppose w + 5*d - 30 = -0*w, -w = 4*d - 25. Let p(y) = y**2 - 6*y + 4. Let o be p(w). Is -4 equal to o?
False
Let a be (-64)/34 + -1 + 1 - -2. Is 0 less than a?
True
Let o = 7/12 + 1/12. Is -0.19 at most as big as o?
True
Suppose 4*d - 6 = w - 2, 4*w - 4*d - 8 = 0. Are w and 3 non-equal?
True
Let g(c) = -c**2 + 9*c. Let r be g(9). Let t be r/(-2)*4/(-8). Are t and -1/4 nonequal?
True
Let i(a) = a**3 + 5*a**2 - 7*a - 8. Let o be i(-6). Let m be o + 7 + 0/2. Suppose m*k - g = g, -5*g = 5*k. Are k and 0 nonequal?
False
Let c = -12 + 11.9. Which is smaller: 2 or c?
c
Let p = -5 + 15. Let t be ((-18)/(-4))/((-2)/(-4)). Is t equal to p?
False
Let j be 7*(2 + (-12)/7). Suppose -4*a + 3*a - 1 = 0. Which is smaller: j or a?
a
Suppose -3*i - p = -380, -525 = -2*i - 2*i - 5*p. Suppose 5*j - i = -5*s, s = -3*j + 12 + 15. Let d be (-4)/3*2/s. Which is bigger: 0 or d?
0
Let g = 14 + -11. Suppose 0 = -g*c - 3 + 12. Is 3 at most as big as c?
True
Suppose 5 = q - 7*z + 4*z, -4*z = -5*q + 14. Suppose -q*w = -3*y + 129, y - 4*w - 78 = -y. Let h be 10/y - 28/45. Is h equal to 0?
False
Suppose -5*p + 7 + 8 = 0. Let u be -2 - (7 - p)/(-1). Let h be -2 + u - 4/(-8). Is h not equal to 1?
True
Let k = 9/4 + -7/4. Let i = 17 + -12. Let w = -5.1 + i. Is k not equal to w?
True
Suppose 2*s + 5*j = 58, 3*s + 3*j - 22 = 47. Suppose 5*k = m + s, 0*m + m - 5 = -k. Let t be (0 - m) + 1 - -2. Which is smaller: t or 1?
1
Let d(u) = 6*u**2 - 3*u**2 - 3*u**2 + u**2 - u. Let x be d(-1). Which is greater: x or 2/3?
x
Let y = 2 + -10. Let h = 7.7 + y. Let z = -0.1 - h. Do -0.1 and z have the same value?
False
Let d(y) = -2*y - 8. Let n be d(-4). Does n = 7/5?
False
Suppose -3*a + 0 - 4 = 2*d, 3*d + 2*a + 1 = 0. Suppose -2*g = -3*s - 18, -1 = 4*s + 7. Suppose 0 = 5*j - g + d. Is j equal to -2/35?
False
Suppose 4*k = 5*s + 7, k = 2*s + 2*s + 10. Let m be k*(-3)/(-18)*15. Are -5 and m equal?
True
Let k = -3273/10 - -327. Are 0 and k equal?
False
Let w(a) = -a - 1. Let d be w(0). Let n be (d - (-3 + 1)) + 1. Let s be n/4*1/1. Which is bigger: 0 or s?
s
Let k(w) = -2*w**3 - 2*w**2 + 3*w - 4. Let t be k(-4). Let y be 118/t - (-8)/20. Let d = y - 83/40. Which is bigger: d or -1?
d
Let 