4*t + 23, 0*o - 5*t = 5*o - 30. Let s = o + -5. Which is smaller: s or -2?
s
Let m = 1.6 - -2.9. Let o = m + -0.5. Suppose 0 = 2*h - 2 + 6. Do o and h have the same value?
False
Let f(x) = x - 6. Let z be f(6). Let t be (-24)/(-10)*100/30. Suppose -3*l + 5*r = -7*l + 8, -4*l = -3*r - t. Is l equal to z?
False
Let s be -3*2/((-2)/3). Let d = 20 - 29. Let b be d/15 - s/60. Which is smaller: -1 or b?
-1
Let h be (-2 - -1)*-3 - (4 - 0). Which is smaller: -7/8 or h?
h
Let n = -8.6 - 0.4. Let h = 8.9 + n. Which is smaller: 0.5 or h?
h
Suppose -4*a - 3 = -83. Let p be (-8)/a - (-2)/5. Do -5 and p have the same value?
False
Let b = 25 - 18. Let a = 6 - b. Let y = 2/11 - -5/33. Is y equal to a?
False
Let b be 10/35 - (-7151)/966. Let m = -104/23 + b. Let k = -8/3 + m. Is 1 smaller than k?
False
Let s = 18 - 13. Let z(b) = -b**2 + 5*b. Let c be z(4). Which is smaller: c or s?
c
Let t = -25 + 46. Let w = t + -9. Is 13 less than w?
False
Suppose 6 - 1 = -l. Let m be (-4)/(-20) + 1/l. Is m equal to 2/3?
False
Let b = 25.46 + -0.46. Let m = 26 - b. Is 0.02 not equal to m?
True
Suppose 0 = 2*w - 4, 0 = 3*p + 3*w - 1 + 7. Let z(d) = -5 - 6*d + 3*d + 2*d. Let b be z(p). Is -4 less than b?
True
Let q = -18.2 + 16. Let t = q + 1.5. Let v = t - -1.7. Which is greater: v or -1/2?
v
Let o = -23.9 - -24. Which is bigger: o or 2/5?
2/5
Let b = -9 + 3. Let t = b - -4. Which is bigger: 1 or t?
1
Let o = -19049/114 + 3900/19. Let w = -38 + o. Let h be 4/(-18) + 5/9. Which is smaller: w or h?
w
Let t = 0.1 - 0.1. Let d = 4 - -1. Let s = d + -5.1. Which is smaller: t or s?
s
Let m(s) = s**2 + 4*s - 6. Let d be m(-5). Suppose -4 = 2*v - r + 2*r, 0 = 3*v + 2*r + 8. Suppose 9*i - 5*i = v. Is i bigger than d?
True
Let l be (-16)/9 - (-1 - 1). Suppose -6*z + 4*z + 6 = -5*s, 0 = 3*s + 4*z - 12. Is s > l?
False
Suppose 2*l - 5*j = -3*j + 26, -37 = -4*l - j. Let s be 10/(-5)*(-2)/l. Do s and -3 have different values?
True
Suppose 3*k + 4 = -5. Let p(x) = -x - 4. Let z be p(k). Which is bigger: 0.06 or z?
0.06
Suppose 5*b - 138 = 102. Which is smaller: b or 49?
b
Let m = 25 + -5. Are m and 20 equal?
True
Let n(c) be the third derivative of -c**4/3 - c**3/6 + c**2. Let p be n(-1). Suppose 7*v = 5*v + 12. Is p less than or equal to v?
False
Let m be (8/(-20) - (-3)/(-5))*0. Are m and 13 non-equal?
True
Let a = -52 + 51.8. Let i be ((-12)/8)/((-1)/6). Let u = i - 6. Which is bigger: u or a?
u
Suppose 0*p = 5*p + 3*y + 52, -5*p = -5*y + 20. Is p smaller than -55/6?
False
Let w = -72 - -79. Which is smaller: w or -0.1?
-0.1
Let o(k) = k**3 - 139*k + 138*k - 2*k**3 - 12. Let y be o(0). Is y equal to -13?
False
Let h = 0.2 - 0.4. Suppose 4*z + 4*x = 0, -2 = 2*z - 3*x + 3. Let n be -2 - -2 - z - 1. Which is greater: n or h?
n
Let b be (-1052)/6 + 1/3. Let m = b + 1227/7. Let d = 9 + -11. Which is smaller: m or d?
d
Let v be 5*(-3 - (-57)/18). Suppose -r + 0*r = -1. Which is greater: v or r?
r
Let t = -8 + 5. Which is smaller: -4 or t?
-4
Suppose 2*o = 4 - 2. Suppose o = 6*r + 37. Which is smaller: r or -20/3?
-20/3
Suppose b - z = -2*z + 1, -7 = -b - 3*z. Which is greater: -3 or b?
b
Let m(j) = j**2 - 10*j - 16. Let g be m(11). Let b be (-1)/(-3) + 57/(-9). Is g equal to b?
False
Suppose c = 5*c - 4. Suppose 0 = -m + c + 1. Is 0 != m?
True
Let n be ((-15)/(-27))/(20/24). Is 1 smaller than n?
False
Let v be (1 - 0) + 12/(-15). Are v and 2/9 non-equal?
True
Let i = 2341/306 - 109/34. Is i less than or equal to 3?
False
Let i = -54.96 - -55. Suppose -6 = 4*c - 2. Is i greater than c?
True
Let b = 7 + -8.9. Let p = 0.9 + b. Which is smaller: p or 2/3?
p
Let z = -3 + 8. Suppose 2*i - 4*i = -z*d - 2, -2*i - 2*d = -16. Let q be 4/i - 1/3. Is q at least as big as 2?
False
Suppose -15*n - 66 = -13*n. Is n > -33?
False
Let v = 0.038 + 0.352. Let w = v + 0.01. Let b = w - 0.4. Is -3 at least b?
False
Let b = -116 - -46. Let o be (-48)/b - (-4)/(-14). Which is smaller: o or 1?
o
Let u = 34 - 60. Are u and -26 equal?
True
Let p = 0.11 - 0.01. Let d = 13618/23 + -592. Let u = 73/46 - d. Which is bigger: u or p?
u
Suppose -3*s + 1 + 1 = 2*a, -3*a + 5*s = -3. Which is smaller: a or -2/25?
-2/25
Let j(x) = x**2 - 2*x - 8. Let d be j(4). Let m = 68 - 102. Let r = 239/7 + m. Are r and d nonequal?
True
Let z = -48 + 38. Which is greater: z or -12?
z
Let l = -18 - -12. Which is smaller: l or -5?
l
Let c = 0.1 + -0.3. Let f = c + -1.8. Let p = f - -2. Which is smaller: -1 or p?
-1
Let z = -15 + 6. Let y(f) = f**2 + 11*f + 13. Let x be y(z). Is -5 != x?
False
Let h be (-6)/9 - (-372)/(-9). Let y be 8/(-28) - 47/h. Is 1 less than or equal to y?
False
Let z = -10 + 14. Let q(j) = j**2 - 6*j + 6. Let n be q(z). Which is greater: 0 or n?
0
Let t(o) = o**3 + 2*o**2 - 2*o + 4. Let k be t(-3). Are k and -85 non-equal?
True
Let a(f) = -f**3 - 7*f**2 - f - 8. Let o be a(-7). Is o at least as big as 2/359?
False
Let g = 1 + 0. Let v be 4/(-1) - 77/(-14). Which is bigger: v or g?
v
Let q(h) = h**3 - 2. Let x be q(0). Let n be 1 - x/(-4)*6. Let s be (-14)/6 - 4/6. Is n != s?
True
Let i be 1*(2 + 1 - 4). Is -2/5 at least i?
True
Suppose 0 = -4*i + u - 1, -18 + 5 = 2*i - 3*u. Which is bigger: -2/107 or i?
i
Let o(g) = -g**2 - 2*g - 6. Let v be o(-5). Do v and -2 have different values?
True
Let y = -0.7 + -0.3. Let z be (((-4)/(-6))/(-1))/(10/45). Which is smaller: z or y?
z
Let t = 1 + -0.9. Let g = 0.7 + -0.2. Let m = 0.4 - g. Which is smaller: t or m?
m
Let t(f) = -2*f - 11. Let g be t(-9). Is g equal to 9?
False
Let y be 2 - (5 - (1 - 2)). Let g be (2/y)/((-15)/(-10)). Is 1 < g?
False
Let f(l) = l**3 + 6*l**2 - 9*l - 13. Let g be f(-7). Which is bigger: 2/21 or g?
g
Let g(d) = -15*d**3 + 2*d**2 - 2*d + 1. Let y be g(1). Let u be 37/(-14)*y/12. Let i = 10/3 - u. Is i at least -0.04?
True
Let v be 1/(15/(-9) + 2) - 3. Let f be (-12)/(-42) - (-1137)/(-35). Let d = -32 - f. Which is smaller: d or v?
v
Suppose -2*m + 4 = -m. Let t be 1/(-3) - m/6. Which is smaller: t or -2/19?
t
Let c = 3955/26 - 303/2. Is c less than 1?
True
Let u = -9 + 9. Suppose -3*s + 5*s + 18 = u. Let n be 1*(-2 - s/(-3)). Is -4 > n?
True
Let o = -0.4 - 1.1. Let b = 9.5 + o. Is b at most as big as 1?
False
Let o = -8 - -19. Let k = 85 + -86. Do k and o have the same value?
False
Suppose 100 = 3*r - 5*r. Let f be (-1)/(-5) + (-315)/r. Is f <= 7?
True
Let d(w) be the second derivative of -w**3/6 + 11*w**2/2 - 5*w. Let y be d(12). Which is smaller: y or -2?
-2
Suppose -z = -4*j - 32, 6*z - 12 = 4*z - 5*j. Does z = 12?
False
Let f = -5 - 7. Let t be (-4 - -1) + (-33)/f. Is t smaller than 1?
True
Let j = 6.6 + -4.3. Let u = -2 + j. Are 0 and u equal?
False
Suppose -c - 4*t = -5*t - 7, -3*c - 4*t = -14. Suppose -c = i + 3*i + 2*l, 0 = 5*i - 4*l + 1. Let k be 10/(-6) + 1 - -1. Which is smaller: k or i?
i
Let o be (-2)/(-8) - 3/(-84). Let y = -0.5 + 1. Let i = y + -1.5. Is i at most as big as o?
True
Let u = -12 - 0. Let n be (-3)/(-6)*(-1 - -1). Which is smaller: n or u?
u
Let k be 85/(-40) + 6 + -5. Is 0 != k?
True
Let a = 10109/9800 - 8/1225. Let b = -5/8 + a. Which is greater: -2/29 or b?
b
Let w = -1/6 - -1/2. Which is smaller: -7 or w?
-7
Let y = 12633433/307615 + -104/8789. Let j = y + -41. Is j greater than or equal to 0?
True
Let m = 0 - -1. Suppose 1 = -a - m. Are a and -2 unequal?
False
Suppose 2*y - 14 = -0*y. Let n be 12/105 + 2/7. Which is greater: n or y?
y
Let l = 151 + -1663/11. Let s be (6/5)/((-15)/(-500)). Let b be (-18)/s + 3/15. Which is smaller: b or l?
b
Let v be (-36)/(-6)*(-1)/(-1047). Which is greater: v or 1?
1
Let k = 199/294 - 1/98. Is k > -46?
True
Let q = -29 + 29. Which is greater: 1/62 or q?
1/62
Suppose 5*a = 2*z + 5, -3*z - 5*a = z - 65. Let g = z - 9. Which is bigger: g or 0?
g
Let p(q) = q**3 - 3*q**2 + q + 2. Let t be p(2). Suppose 2*l = t, 4*w = -2*l - 2*l + 8. Let z be ((-2)/(-12) - 0)*4. Which is smaller: w or z?
z
Let c = -11 - -20. Let y = -9 + c. Is -5 less than or equal to y?
True
Let u = 21/16 + -1313/976. Are -1 and u equal?
False
Let u be 1/2*(-9)/(-6). Let f(i) = -23*i + 35*i + 7*i**2 - 18*i - i**3. Let h be f(6). Is u < h?
False
Let c = -5 + 2. Let m = c - -9. Suppose 3*i - 19 = -5*l + m, -25 = 4*i - 5*l. Which is smaller: i or -4/5?
-4/5
Let h be 4/18 - 64/126. Let g = -36/55 - -5/11. Which is smaller: h o