ual to m?
False
Let d be -2 - (85/(-21) - -2). Suppose -2 = -2*l + p, l + 3*p - 1 = -7. Do d and l have the same value?
False
Let u = 27 + -28. Are u and -2/17 unequal?
True
Let z be (100/(-6))/(22/(-33)). Suppose -2*r - 3*r = -z. Is 5 equal to r?
True
Suppose 0 = -5*i - 9 - 21. Let y(a) = -a**3 - 5*a**2 + 7*a + 6. Let u be y(i). Let s = 0.1 - 0.1. Is s greater than or equal to u?
True
Suppose 7 = -4*c - 5. Let w = 24 + -17. Let k be 2/w - 12/(-105). Which is smaller: k or c?
c
Let s = -2680 + 42857/16. Let m be 3 - (62/32 + 1). Let h = s - m. Which is greater: -1 or h?
-1
Let j be 1*(0/4 - -2). Suppose j*a + 16 = -0*a - 4*n, 15 = -5*n. Which is smaller: -1 or a?
a
Let u(q) = -q**2 - 10*q - 21. Let a be u(-7). Which is greater: a or 15?
15
Suppose 3 = -5*c + 6*c. Let m be (c/((-90)/3))/(-1). Is 0 at most as big as m?
True
Let a = 38 - 48. Which is smaller: -1/2 or a?
a
Let g be ((-1)/(-2))/(1/2). Let k(s) = -s**3 - s**2 - 3*s - 1. Let f be k(-1). Is g greater than f?
False
Let q be (-3)/30*(-28)/(-35). Is 1 less than q?
False
Let d be (-60)/(-14) - (-8)/(-28). Suppose -3*k + 5*k = 3*z + 11, -2*k - d*z = -4. Let v be 2/2 + k + -4. Which is greater: 3/4 or v?
v
Suppose -4*s + 20 = -2*w, -4*w - w + s - 5 = 0. Let n be ((-42)/(-8))/(2/(-16)). Let p be 40/n + 10/35. Is w less than p?
False
Let x(k) = -k + 2. Let i be x(8). Let o = i + 5. Which is smaller: o or 2/19?
o
Let u(i) = i**3 + 15*i**2 - 4*i - 13. Let f be u(-15). Is f smaller than 47?
False
Let g(x) = x - 4. Let f be g(6). Suppose -f*n + 5 = 5*u, 2*u - 3*n - 3 = -u. Is 1/6 less than u?
True
Let c = 10 + -5. Let j be 2/c + (-352)/(-20). Suppose -2*x + 4*k = -j, k + 6 = -x - 0. Which is greater: 0 or x?
0
Let r = -13/7 + 59/28. Do r and -7 have the same value?
False
Let d = 30 - 30. Do 0 and d have different values?
False
Let m = -6 - 5. Is -11 smaller than m?
False
Let k be (-8 + 9)/(0 - 3/(-15)). Which is smaller: 3/2 or k?
3/2
Let k(u) = -u**2 + 4*u. Let p be k(4). Suppose 4*x - 2*i - 11 - 3 = p, -11 = -x + 2*i. Which is bigger: x or 1/22?
x
Let n = 4880/11 + -443. Let g = -10/33 + n. Which is greater: -1 or g?
g
Let d be (-7)/2 - 0 - 0. Which is smaller: d or -5?
-5
Let s = 14 + -13. Which is smaller: -0.3 or s?
-0.3
Let m = -14 + -7. Is m > -21?
False
Let t be (-70)/5*(-5)/10. Which is bigger: t or -1?
t
Let d(n) = n**3 + 9*n**2 - 7*n - 6. Let l be d(-7). Let o be l/2 + (-3)/(-6). Let b = o + -425/6. Is -2 != b?
True
Let y be (-7*3 + -1)/(-2). Let u(r) = 0 + y*r + 1 + 0 + r**3 + 14*r**2 - 2*r**2. Let j be u(-11). Which is greater: j or 3?
3
Suppose -14*l + 14 = -0. Which is bigger: l or -3/7?
l
Suppose 12 + 36 = -6*l. Which is smaller: l or -13/2?
l
Suppose 2*i = 3*i + 8. Let x = -8 + -1. Which is smaller: x or i?
x
Let f(m) = m**2 + 13*m + 10. Let b be f(-11). Is b at most as big as -11?
True
Suppose -15 - 55 = 5*n. Is n less than or equal to -10?
True
Suppose -q = 2*q - 9. Suppose 2*t = q*v - 9, 5*t + v = -1 + 4. Suppose t = h - 3 + 2. Which is smaller: -2/9 or h?
-2/9
Suppose 2*p = -2*m - 12, 1 = 4*m + 5. Is -31/5 smaller than p?
True
Let i be (8 - -1) + -1*(2 - -1). Are 6 and i equal?
True
Let g be (20/(-6))/(-2)*-9. Let v be g/1*(-1)/3. Suppose -v*x - 30 = -2*i + 6*i, 4*x + 3 = i. Which is greater: 1 or i?
1
Suppose 11 = 3*d - 4. Suppose 3*g + 2*i = -d, -3*i - 8 = -2*g + 6*g. Let s be g/(-3 - (-14)/4). Is 3/5 equal to s?
False
Let q(c) = -c + 4. Let s be q(-4). Let j = 8 - s. Which is bigger: j or -2/9?
j
Let k = 6 - 9. Let d = -3.2 - k. Which is greater: 1 or d?
1
Let l be 6/28*1/(-3). Which is smaller: -1 or l?
-1
Let c be (-6)/(-9)*(-105)/(-14). Is c != 5?
False
Suppose -3*r = c - 5, -r + 3*c = 8 - 3. Is r < -2/59?
False
Let h = 139/11 - 3263/253. Which is smaller: h or 0.1?
h
Suppose -10*r - 2 = -12*r. Which is greater: 1/22 or r?
r
Let x be ((-6)/(-30))/(3/20). Let q = -13/12 + x. Suppose -3*m = -a + 1 - 3, 0 = -3*m + 2*a + 7. Is m equal to q?
False
Let n(x) = x**2 - 16. Let u be n(4). Do 8/11 and u have different values?
True
Let l = 2.01 - 0.01. Let r = l - 4. Let w = 2.899 - -0.101. Which is greater: w or r?
w
Suppose -2*d = -3*u - 3 - 2, 3*u + 2*d - 11 = 0. Is 3 bigger than u?
True
Let i(c) = 9*c. Let z be i(-4). Which is bigger: -37 or z?
z
Let q be ((-466)/(-9))/(28/(-6)). Let z = q + 35/3. Which is bigger: z or 2/3?
2/3
Suppose -2*s = p - 4, -3*p + 2*s + 0*s = 4. Let o be 72/105 + (-8)/28. Which is smaller: p or o?
p
Let k be -3 + -6*(-3)/6. Suppose k*j = -j - 1. Which is greater: j or 1/2?
1/2
Suppose -3*d + 0*d = -27. Let q be (20/d)/1 + -2. Are 2 and q equal?
False
Let z = -9 + 29/3. Let u = -1 + 0. Let a = -1 - u. Do z and a have the same value?
False
Let x be 2*-1 - (-20 - 2). Let g = x + -12. Suppose -5*u + g*u = 15. Is u bigger than 6?
False
Let f = 26/9 - 376/99. Which is smaller: f or 0?
f
Let j be ((-48)/40)/((-18)/4). Suppose -2*g + g = 0. Which is smaller: g or j?
g
Let y(b) = -b**2 - 21*b - 18. Let s be y(-20). Which is smaller: 9/8 or s?
9/8
Suppose -6*s = -0*s. Which is bigger: s or -8/9?
s
Let p = -7.98 - -8. Let n = p - -0.08. Is n greater than or equal to 9?
False
Let k = -18 - -19. Is 1 equal to k?
True
Let j be (-28)/(-16) + 2/8. Suppose -j*n = 1 - 3. Let q = -14 + 124/9. Is q > n?
False
Let l(a) = a**3 - 5*a**2 + 5*a. Let u be l(2). Which is bigger: -7/3 or u?
u
Suppose -2*w - 3*v + 32 = 10, 14 = 2*w + v. Suppose 6*r - 2*r = 160. Let a be r/(-8)*(-1)/w. Which is smaller: a or 0?
0
Let b = -10 - -14. Suppose 0 = b*f - 9*f + 5. Which is greater: f or -1?
f
Let c = -10 + 5. Let g be 2/c + -17 + 18. Is g <= 0?
False
Let a = 82 + -142. Is 2 at least a?
True
Let z = -16 - -45. Is z at least 29?
True
Suppose 3*r - 4 - 2 = 0. Which is smaller: 20/7 or r?
r
Suppose 2*l + 3*l = -5*o + 25, -5*l = -3*o - 9. Which is smaller: l or 5?
l
Let b = -11 - -12. Which is bigger: 1/2 or b?
b
Suppose -10*d + 4 = -14*d. Suppose 5*l + 4 = l. Is d at least as big as l?
True
Let u = 84 - 754/9. Let i = 13 - 5. Let y = 8 - i. Which is smaller: y or u?
y
Suppose 8 = -4*w + 3*d, d + d = 0. Let h be w/6 + -2 + 2. Is 1 greater than or equal to h?
True
Suppose 5*x = 4 + 16. Suppose m - x*w + 5*w + 1 = 0, w = m - 1. Which is greater: m or -0.8?
m
Suppose 3*n + d = 5*d - 34, -5*n - 46 = -4*d. Is n smaller than -56/9?
False
Let k = -47/45 + 19/15. Which is smaller: k or -13?
-13
Let s = 21 + -21.32. Let a = s + -0.08. Which is smaller: a or 3/5?
a
Suppose -1 - 3 = 2*d. Suppose 3*r + 30 = 4*j, -3*r - 5*j - 1 - 2 = 0. Let f(s) = s + 6. Let h be f(r). Are d and h non-equal?
True
Suppose -2*p = -3*i, 0 = -5*i - 2*p - 3*p. Let g be 4/1 - (2 + -1). Suppose 2*k + l - 1 = 1, g*k - 3 = -5*l. Are k and i equal?
False
Let l be (-26)/(-6) + 2/3. Suppose 0 = -l*z + 15. Is 4 bigger than z?
True
Let p = -0.18 - 0.82. Let k(f) = -f**3 + 4*f**2 + 5*f + 4. Let c be k(5). Let w be (-15)/(-18) + (-2)/c. Is p < w?
True
Let h = 36 - 38.85. Let l = -3 - h. Let w = 0.05 + l. Which is bigger: w or 2/5?
2/5
Suppose 0 = 4*b - 3*t - 3, 3*b + 5 - 21 = 5*t. Which is smaller: b or -0.7?
b
Let f be 1/((-6)/9)*2. Let q = f - -6. Let p(t) = -t**2 + 2*t + 1. Let d be p(q). Which is smaller: d or -3?
-3
Let y be (-10 + 9)*(4 - 1). Is -3 at least as big as y?
True
Let u be ((-272)/(-102))/(-1 + 5/4). Is u bigger than 11?
False
Let p(c) = -2*c**2 - 2*c**2 + 6 + 5*c**2. Let z be p(0). Let b be (-2 - (-16)/z) + -1. Which is smaller: b or 2?
b
Let z = -2 - 2. Let o = z + 10. Let k = o + -4. Which is greater: 1 or k?
k
Suppose -2*h + 5*h - 12 = 0. Is 7 bigger than h?
True
Suppose -k + 8 = k. Suppose 16 = -2*j + 4*s, k - 20 = -4*j - 4*s. Is 1/20 bigger than j?
True
Suppose -5*q + 3*q + 54 = 0. Suppose -5*l - 15 = -v, 3*l + 5*v = 2*v - q. Suppose -t = -3*t - 6. Is l at most t?
True
Let h = -0.069 - -0.069. Which is greater: h or 3/8?
3/8
Let j = 41 + -41. Are j and 1/111 equal?
False
Let m(t) = -15*t - 1. Let i be m(-1). Let u = i + -6. Let x be (-3)/(-6)*u/26. Is x != 1?
True
Let n(t) = 2*t + 4. Let q be n(-2). Which is smaller: -2/29 or q?
-2/29
Let y be (-14)/8*6/(-28). Let x = -23 - -22. Is x equal to y?
False
Let w = 0.05 + -2.55. Let a = w - -0.5. Which is bigger: a or -1/2?
-1/2
Let c = -115 - -115. Are 66 and c equal?
False
Suppose -5*i + b = 2*b - 28, 0 = -i - 5*b - 4. Let p = i + -5. Are p and -2/25 unequal?
True