-5*a - l, -4*a = l + g. Is 1/6 equal to a?
False
Let t = 0.1 + 0.4. Let a = 343/939 - 10/313. Which is smaller: t or a?
a
Suppose v = 13 - 1. Let o = v + -7. Is 5 at most o?
True
Let j(y) = y**3 - 2*y**2 + y + 1. Let n be j(2). Let o = 24 + -24. Is o < n?
True
Let j = -14/885 - 3/59. Let v = 13 - 14. Is v bigger than j?
False
Let y be ((-2)/(-3))/(16/(-40)). Which is bigger: -2 or y?
y
Let z = -0.1 - 0. Let m = 31.6 - 32. Which is smaller: m or z?
m
Let a be ((-24)/60)/(2/20). Is a at most -17/4?
False
Suppose -5*q + q - 2*t = -112, 2*q = 2*t + 50. Suppose 0 = 2*r - 4*r, -6 = 3*k - 2*r. Let c be 3 + k*q/6. Which is smaller: 0.1 or c?
c
Suppose 5*o - 13 - 12 = 0. Suppose -o*d - 18 = -3. Let z be ((-4)/10)/(d/(-5)). Is 0 not equal to z?
True
Let o be (1/2)/(5/(-10)). Let l be (-4)/(-10) + (-1 - o). Let q = -4 - -1. Which is smaller: q or l?
q
Let i be (-16)/(-56) + (-94)/35. Is i < 0?
True
Suppose 6 = -4*b - 2*h - 8, 5*b = -2*h - 17. Let w be 4 + (-2 - (-540)/8). Let m = 68 - w. Is m <= b?
False
Let a = 1 - -3. Let s(x) = x**2 + 5*x - 9. Let z be s(-7). Which is smaller: a or z?
a
Suppose 3*z + 15 = 2*q - 0*z, -5*q = 4*z - 26. Suppose -w + 6 = -q. Suppose b - w = 4*b. Which is smaller: -1 or b?
b
Let p(b) = b - 2. Let r be p(1). Is r at most -0.2?
True
Suppose 0 = 2*g - 3 + 59. Is g > -28?
False
Suppose 2*g - g = -15. Let o = -10 - g. Which is bigger: 0.2 or o?
o
Let m = -15 - -17.4. Let s = -1.8 + m. Let f = 0 - 1. Is s less than or equal to f?
False
Suppose -7*z + 24 = -4. Let q = -8 - -11. Which is greater: q or z?
z
Let c = -0.6 - -1.6. Let z = -1 + c. Are z and 3 equal?
False
Suppose 0*z - 2*z = 3*j + 5, 6 = -2*z - 4*j. Let p be 0 - z*4/1. Let y be (2 - 2)/(2 - p). Is y less than or equal to -1/4?
False
Suppose 4 = 3*h + 7. Let y = 14/23 - -188/69. Let o = 17/6 - y. Is o >= h?
True
Let v be ((-125)/(-15) - 0)*3*-1. Which is smaller: v or -2?
v
Suppose -4*o = -2*k + 4, -k + 4 = -3*o + 1. Suppose k = -5*v - 0*v. Let h be (v - 1)/(2 + -1). Is h at most as big as 1/10?
True
Let i be 8/45 - (-6)/27. Let h = -61/2 - -29. Which is bigger: h or i?
i
Suppose -2*v = -v - 7. Suppose -4*q + 0*q + 48 = 4*r, -4 = -r. Which is greater: v or q?
q
Suppose -82 = -4*t + 10. Suppose -x = 1 - t. Which is bigger: x or 23?
23
Let t = -78 - -56. Which is greater: t or -21?
-21
Let w = -6 - -5. Let b be ((-1)/(-8))/(w/2). Which is greater: 2/5 or b?
2/5
Let v(z) = 3*z - 2. Let w be ((-4)/(-8))/(1/6). Let q be v(w). Let r(p) = p**3 - p + 1. Let a be r(2). Are q and a nonequal?
False
Let k = -8.4 - -1.4. Let q = -8 - k. Is q at most as big as -1?
True
Let r(j) = -j - 9. Let t be r(-5). Does t = -7?
False
Let l be ((-1)/4)/((-12)/(-42)). Do l and -1 have different values?
True
Let m = 4 + 3. Let l = 10 - m. Which is smaller: 5 or l?
l
Suppose 0 = -2*o - f - 15, -4*o - 3*f - 27 = -o. Let k be ((-5)/(-15))/(1/(-15)). Which is bigger: o or k?
k
Suppose 5*k = 5*v + 10, 2*v - k + 0 - 1 = 0. Let s be (-1)/(3/45*v). Let h = -3 - s. Is 3 bigger than h?
True
Suppose -9 = 5*f - 2*f. Let z = f + 5. Let b be z/(-8) + 30/(-8). Do -2 and b have different values?
True
Suppose o + 24 = 5*w, 3*w - 12 = 3*o - 0*o. Which is greater: 0 or w?
w
Suppose 4*f - 3*f + 2*t + 6 = 0, 11 = -2*f - 5*t. Which is smaller: 1 or f?
f
Suppose 0*l = -2*f - l + 4, 3*f - l + 4 = 0. Suppose 48 = -f*g + 4*g. Suppose -n - 3 = -2*t, t + 2*n = -2*n - g. Which is smaller: 4 or t?
t
Suppose 5*h = w - 62, 8*h - 4*w = 3*h - 68. Let x be 22*((-5)/(-2))/(-5). Which is greater: h or x?
x
Let v(d) = d**3 + 6*d**2 - 5*d + 15. Let u be v(-7). Suppose -4 = -2*z - 0. Is u less than z?
True
Suppose 0 = 3*h + h + 2*w + 4, 4*w = -2*h - 8. Which is greater: -1/16 or h?
h
Suppose 5*p - y = 22, 0 = 5*p + 2*y - 5 - 11. Is p at least as big as 4?
True
Let h be (-4 + 260/66)*-3. Is h not equal to -0.1?
True
Suppose -2*c + 18 = 5*k, 2*c + k - 12 + 2 = 0. Suppose -5*x = 5*j + 85, 5*x - 3*j = 2*j - 35. Let o be ((-3)/x)/(3/60). Which is greater: o or c?
o
Let y = 26 - 77/3. Let c = 5 + -2. Suppose -2*u + 5 - c = 0. Which is smaller: y or u?
y
Suppose -5*r + 3*q + 8 = -34, -16 = 4*q. Let l(j) = -j**2 + 2*j**2 - j - 6 - r*j. Let v be l(8). Which is smaller: 4 or v?
v
Let p be (-20)/6*(-6)/4. Suppose -3*r - 4*j = 26, 2 = -r - 0*r - 3*j. Let u = r + 19. Do p and u have different values?
False
Let q = -1.1 - -0.3. Let j = 1 + 0. Let l = j + q. Are l and -2/5 non-equal?
True
Suppose -r - 20 = f, -r - 35 = 6*f - 2*f. Are -18 and r non-equal?
True
Let g be (-110)/(-88) + 1/(-4). Which is greater: -1/32 or g?
g
Let q = 0.006 - 0.006. Which is bigger: q or 2?
2
Let i be (-1)/5 - (-12)/10. Let m be (-345)/(-50) + 4/(-10). Let a = m + -35/6. Is i at least as big as a?
True
Let r = -1.47 - 0.43. Let w = -2 - r. Is w at least 2?
False
Let m(w) = w - 5. Let c = -2 - -2. Let f be m(c). Which is bigger: -2 or f?
-2
Let d be (8 - 1)/(-15 - -10). Which is smaller: 0 or d?
d
Let j = 52 + -49. Let v(a) = a. Let r be v(1). Suppose 3*c - r = 2*c. Is c less than j?
True
Suppose -3 = -3*k + 3. Let t be 1/4*k*0. Let d be 2/(-4)*(-6)/(-3). Is t greater than d?
True
Let a(m) = 4*m - 16. Let n be a(2). Which is smaller: n or -7?
n
Let l = -8 + 15. Let w = 10 - l. Which is greater: 4 or w?
4
Let b be 3 + -1*1/(-1). Suppose -5*c + b = -c. Is c greater than 1?
False
Let s be (-6)/((-3)/(-9) - 0). Let h(d) = 20*d**3 + 3*d**2 + d. Let q be h(-1). Is s != q?
False
Let q = 0.049 - 0.049. Which is smaller: 0.06 or q?
q
Let p = -57.3 + 57. Is -7 at most p?
True
Let l(m) = -m**2 - 10*m - 1. Suppose f + 11 = 1. Let k be l(f). Are -1 and k equal?
True
Suppose -16*l = -4*l. Are l and -6/35 non-equal?
True
Let s(d) = -d**3 - 4*d**2 + 2*d + 3. Let u be s(-4). Which is smaller: -6 or u?
-6
Suppose 0*k + 6*k - 6 = 0. Which is smaller: k or 2?
k
Let m be -5 + 8/36 - 2/9. Which is smaller: m or -36/7?
-36/7
Let w be (-1)/(-3)*(-3)/4. Which is smaller: 0.21 or w?
w
Let b = 0.31 + 9.69. Is b smaller than -2/7?
False
Let z = 4.4 - 0.4. Let q = -5 + z. Which is smaller: 4 or q?
q
Let i = -835 + 81829/98. Let x = 74/49 + i. Are x and -1 unequal?
True
Let z = -55.07 - -55. Which is greater: z or 10?
10
Let g(j) = j**2 + 5*j + 2. Let s(b) = -2*b + 9. Let d be s(7). Let h be g(d). Let a be 1 - ((-3)/h + 2). Which is greater: a or 1?
1
Let d = -2.4 - -4. Let v = 1 + -1.4. Let m = v - d. Which is smaller: -1 or m?
m
Let m = -1113 - -35621/32. Is 1 bigger than m?
True
Let p be (-4)/(-3)*(-6)/20. Let w(v) = -v + 9. Let c be w(5). Suppose 2*x - c = 3*h, -2*h - 3*x = -h - 6. Is h bigger than p?
True
Suppose -2*w + 6 - 2 = 0. Let r = 340 - 5778/17. Is w at most r?
False
Let w = 37.6 + -37. Are w and -2 nonequal?
True
Suppose -3*u = -b - 7 - 15, 4*u - 22 = 5*b. Let n = -7 + u. Does 3/2 = n?
False
Let a(u) = -u**3 - 3*u**2 - u - 3. Let x be a(-3). Which is smaller: x or 2/11?
x
Suppose 2*g - 2*t = -0*g, 35 = 3*g + 4*t. Let p(l) = l**2 - 4*l - 3. Let s be p(g). Which is smaller: 3 or s?
s
Suppose -2*y + 48 = 2*y. Suppose y = v - 5*v. Are -5 and v equal?
False
Let u = 13 + -7. Let f = u + -10.1. Let s = 4 + f. Is -1 less than or equal to s?
True
Let l = 0.33 - 0.43. Let d be 16/(-7) - (-2)/7. Which is smaller: l or d?
d
Let u be (1 - 1)*2/4. Suppose u*c = 2*c. Which is greater: 3 or c?
3
Let x(f) = f + 4. Let o = -7 + 1. Let u be o/8*(6 - 2). Let q be x(u). Is q greater than 1?
False
Suppose -2 - 20 = -2*i - 5*m, -2*m = 5*i - 34. Suppose -b - 14*b + 75 = 0. Which is smaller: i or b?
b
Suppose 0 = -3*f + 4*f - 1. Let g be (-1)/(2/8)*f. Is -4 at most as big as g?
True
Let y be (-24)/(-30)*(0 - -5). Let k = 0 - -3. Suppose 5*z = y*r + k, z + 7 = 3*r - 6*r. Which is smaller: -1/4 or z?
z
Let g be 10/(-4) - (-3)/(-6). Let k(q) = q**3 - 9*q**2 - q + 7. Let f be k(9). Let x = f - g. Do 2/5 and x have different values?
True
Let v be (2/(-14))/(15/(-20)). Which is greater: v or 1?
1
Let j = -251/114 - -12647/2508. Let p = 11/4 - j. Which is bigger: p or -0.1?
p
Suppose 9*q = -3*q + 168. Is 2 bigger than q?
False
Suppose 5*d - 27 = -7. Suppose 0 = d*v - 4 - 4. Suppose 8*o + 3 = 19. Is o >= v?
True
Let c be (10 + -4)*(-2)/3. Is c != -4?
False
Suppose -3*f - 11 = 16. Let g(z) = -z - 4. Let x be g(f). Let l(n) = n**3 - 5*n**2 + 1. Let s be l(x). Which is smaller: -3/2 or s?
-3/2
Suppose -36 = -6*u + 2*u. Su