t s be (k/(-18) - -1)*4. Let y = 0.9 + 0.1. Which is smaller: s or y?
s
Let a be (-2)/4 + 2/(80/185). Which is bigger: 4 or a?
a
Let v be ((-10)/4)/(1/(-2)). Suppose -20 = -t - 3*t + d, 20 = -v*d. Is t less than or equal to 4?
True
Let b(d) = -d**2 + 12*d + 8. Let k be b(13). Let l = -14 - -9. Is k > l?
False
Let m = 0.012 + 0.988. Which is greater: m or -10?
m
Suppose 4*z - 5 = -z. Let o = 49641/8 + -4021067/648. Let h = 2/81 - o. Which is smaller: z or h?
h
Let j be ((-2)/4)/((-2)/24). Let s be (-3*8/j)/1. Let z = 1 + s. Which is greater: z or -2?
-2
Let v = 51/10 - -2/5. Which is greater: 5 or v?
v
Suppose -3*k + 5*s = -17, -4*k - 2*s - 9 = -3*k. Let o be 0 - -5 - 3 - 318. Let j = 2525/8 + o. Which is bigger: k or j?
j
Let f be (-183)/27 - (-10)/(-45). Let l be f/(-35) - (-14)/(-20). Is l greater than or equal to -1.1?
True
Suppose 10 = -2*w + 30. Is 11 at most w?
False
Suppose -4*n - 15 = 13. Let k(j) = -j - 4. Let h be k(4). Let z = n - h. Which is smaller: 2/9 or z?
2/9
Let y = 57 + -52. Is y equal to 2?
False
Suppose 0 = 4*g - 4 - 0. Let n = -118/21 + 35/6. Which is bigger: g or n?
g
Let c = 38 + -22. Suppose 2*u + 34 + c = 0. Which is bigger: u or -24?
-24
Let c be (-6)/(-20)*322/(-159). Let k = -2/265 - c. Which is greater: k or 2?
2
Let z be 11 + -12 - (-12)/14. Which is bigger: z or -1?
z
Let m = -115 + 80. Is -36 less than m?
True
Let h be (-15)/(-30)*4/7. Which is smaller: 1/4 or h?
1/4
Suppose 14*n + 16 - 2 = 0. Which is bigger: -7/6 or n?
n
Let a = 13 + -7. Suppose -2*j = -a*j + 16. Suppose 0 = 5*n + 5*r - j*r + 8, 0 = 3*r - 6. Which is smaller: -3 or n?
-3
Let k = 4.1 + -3.1. Which is bigger: 22 or k?
22
Let w be (-6)/(9/3)*1. Let h be 6/w + (0 - -1). Is -1/2 greater than or equal to h?
True
Suppose 5*b = 3 + 12. Let m be (-2 + 2)*1/(-2). Suppose m = -b*f - f + 12. Is 4 at most as big as f?
False
Suppose 6*w = 3*w. Suppose -16 = 3*o + 5*i, 2*i = -w*i - 4. Which is smaller: o or -5/8?
o
Let l = 0.01 - 0.11. Let u = 0.7 + -0.9. Which is bigger: u or l?
l
Let f(w) = -w**3 + 11*w**2 + 13*w + 2. Let z be f(12). Which is bigger: z or 13?
z
Let r(v) = 7*v**3 - v**2 - 4*v. Let m(c) = -c**3 + c**2 + c. Let i(f) = -3*m(f) - r(f). Let g be i(1). Which is smaller: -4 or g?
g
Let i = -5.8 - -5. Let h = -0.2 + i. Do -1/5 and h have the same value?
False
Suppose -3 + 9 = k. Suppose 4*m = k - 2. Is -3 less than or equal to m?
True
Let v = 33 + -10. Let b = v - 38. Let g be (-25)/b + (-1)/(-3). Is g at most 4?
True
Let n be ((-2)/6)/(10/6). Suppose 0 = -5*x + 6 - 1. Suppose -j + x = -0*j. Is n smaller than j?
True
Let k(i) = i + 1. Let q be k(-5). Let l(z) = -2*z**2 - 6*z - 4. Let y be l(q). Suppose -j + 3*o = 10 + 10, 0 = -2*j - 5*o - 7. Is y equal to j?
False
Let d = 15 - 15. Suppose -3*y + 2*o = -6, -2*o = -4*y - 7*o + 8. Let v be ((-6)/7)/(y/1). Which is bigger: v or d?
d
Suppose -7 - 5 = 3*s. Let d = s - -1. Is -4 less than or equal to d?
True
Let q(n) be the third derivative of n**4/24 - 4*n**3/3 + 2*n**2. Let w be q(6). Is -2 >= w?
True
Let k = 0.21 - -7.79. Let a = -8.1 + k. Which is smaller: a or 1?
a
Let k be 8/(-6)*3 + 4. Let c be 10/(-14) - (-2)/(-7). Does k = c?
False
Suppose 3 - 13 = -w - v, 5*w - 2*v = 15. Let z be (-2)/(1/(-4) + 5/(-60)). Which is smaller: z or w?
w
Let q = 49 + -50. Which is greater: q or 3/79?
3/79
Suppose 4*r - 2*r = -12. Let p be 6/(-4)*(-4)/r. Let o = 2 + -4. Is p less than or equal to o?
False
Suppose -2*z + 1 = -5. Suppose y = z - 4. Is -1 less than or equal to y?
True
Let m = -0.14 - 0.06. Let y = m - -0.2. Let z = y + 0.1. Is z at most 1?
True
Let u = -1413.19 - -1405. Let i = -0.19 - u. Let h = 7.9 - i. Which is smaller: 3 or h?
h
Suppose 3*n - 18 = 3*w, -3 = 4*n + 5*w - 18. Let x(r) = -r**3 + 4*r**2 + 5*r + 1. Let j be x(n). Let u = 0.06 - -0.14. Which is smaller: j or u?
u
Suppose 0 = -l - 0*l. Suppose -4*d - 2*o + 36 = -0*o, 4*d - o - 30 = 0. Let j be (-12)/d + 1/1. Which is bigger: j or l?
l
Suppose 1 = u - 3*n, 2*n = 2*u - 7 + 1. Suppose 0 = -12*z + 8*z - u. Which is greater: z or -1/10?
-1/10
Suppose 5*y - 12 + 2 = 0. Let d be 2/(-8)*y*2. Let g = 106/9 - 1396/117. Is d equal to g?
False
Let t be (-4)/(-8)*(-1)/(-1). Let g = -1 + -1. Is g equal to t?
False
Let q(v) = -4*v - 8. Let s be q(0). Suppose 2*i + 12 = -6. Is i greater than s?
False
Let i be (-124)/12 - (-1)/3. Let f be (-2)/i - (-20)/25. Let p be f/(-2) + (-27)/(-6). Is 4 smaller than p?
False
Let t = -9800 - -617417/63. Let h = 1/63 + t. Is h at most -2/15?
False
Let h = -1/89 + 97/712. Let a = 23 - 9. Let l = a - 14.1. Do h and l have the same value?
False
Suppose -2*y + 6*y - 2*v = -80, y - v = -19. Which is smaller: y or -20?
y
Let n = -59 + 59.06. Do -1 and n have different values?
True
Let m = 1 - 9. Let f = m - -7.7. Let u = -0.3 + 0.2. Which is smaller: u or f?
f
Suppose -46 - 59 = -y. Is 105 != y?
False
Let i = 7 + -4. Suppose -6*w = -i*w. Let q be ((-3)/(-2))/(6/8). Is w greater than q?
False
Let x = -5 - -3. Let s(n) = -n + 3. Let l be s(5). Are l and x equal?
True
Suppose -3*n + 33 = -48. Suppose 3*v + n = -4*s - 1, 0 = -3*v + 2*s - 4. Does v = 0?
False
Let b = 7.6 + 0.4. Let i = b + -13. Let m = -2 - i. Is m at most -1?
False
Suppose -7*m + 2*l + 6 = -2*m, -3*m = 5*l - 16. Suppose 4*c + 5 = 3*o, m*o + 0*o - 5*c - 15 = 0. Is o smaller than -2/3?
True
Let v = -1/273 - -152/91. Is v < 2?
True
Let k = 43.9 + -40. Let q = k - 4. Which is greater: -1/11 or q?
-1/11
Let l = 102 - 92. Which is greater: l or 0.4?
l
Let i = 18 + -7. Let y = 10 - i. Is y != -1/11?
True
Let h be 2/(-2)*(-1)/5. Let r be (2 - 1)/(-12 + 11). Is h < r?
False
Let u = 0.3 + 0.5. Let n = u - 1. Is -3 less than n?
True
Let u(h) = h**3 - 7*h**2 + 1. Let w be u(7). Do w and -3 have different values?
True
Let g = 17 + -32. Let k = g - -15. Are -2/33 and k equal?
False
Let p = 5 + -9. Let t be 3/(-18) - (-898)/(-12). Let r = -227/3 - t. Which is smaller: r or p?
p
Let s = -8.2 - -0.2. Let l = s - -7.8. Is l equal to 2/3?
False
Let h = 2.6 - -0.6. Let v = h - 3. Let w = v + 0.8. Is 1 equal to w?
True
Suppose 264 = -u + 5*u. Let r be 2/10 + (-673)/(-10). Let y = r - u. Which is greater: y or 2?
2
Suppose 3*q = 4*q - 5*t + 6, -3*t = -q - 4. Let i = 15 + -13.8. Let h = 1 - i. Which is smaller: q or h?
q
Let n(f) = -3*f + f + 3*f. Suppose a - 5 = 2*a. Let z be n(a). Is -5 >= z?
True
Let o be (-1)/(-2)*4*-5. Which is bigger: -11 or o?
o
Suppose 2*g = -6 + 2. Let s be g/4 - (-100)/8. Suppose 3*l - 5*l + 22 = 4*v, -3*l - s = -3*v. Which is smaller: 0 or l?
0
Let g(d) = d**3 + 8*d**2 + 6*d + 7. Let f be g(-5). Which is bigger: f or 51?
f
Let q be (-2)/((-21)/4474 + 0). Let d = -426 + q. Is 0 bigger than d?
False
Let n = -39 - -46. Is n greater than 7?
False
Let p be (0 + -1 - 0) + 1. Suppose -d - 2 = -p. Let z = -2 - -1. Which is smaller: z or d?
d
Let k be 1 - (-4 + (-108)/(-20)). Which is greater: 9 or k?
9
Let t(j) = -2*j**2 - 4*j + 11. Let f be t(-5). Is f less than or equal to -20?
False
Suppose -221 = -3*n + 121. Is n at least 114?
True
Suppose -4*p = -p - 15. Is 5 less than or equal to p?
True
Let n(t) be the second derivative of -t**3/6 + t. Let l be n(11). Are l and -11 unequal?
False
Let m = 19 - 17. Let t = 3 + 3. Suppose -3*z + 0 = -t. Is z less than m?
False
Let u(s) = 7*s**2 - s. Let d be u(1). Suppose 5*g - 1 = 2*x - 11, -3*g = -5*x + 25. Suppose -2*k = -g*k - d. Is k at least 1?
True
Let a be ((-1)/(-9))/((-172)/(-408)). Let g = 3/43 + a. Is g less than -1?
False
Let g be 2/(-7) - 144/(-21). Which is smaller: 8 or g?
g
Suppose 0 = 5*f + 3*s + 2, -f + 4*s = 4 + 1. Which is bigger: -9/19 or f?
-9/19
Let k(q) = 0*q - 8 - 4*q + 3*q. Let i be k(-3). Is i bigger than -14/3?
False
Suppose 0 = 3*j - 0 - 3. Let u = -1 + j. Let w be (8 + 171/(-21))/(6/4). Which is smaller: u or w?
w
Let n = 89/5969 - 10/127. Let d = n + -229/94. Let r = -9 + 5. Do r and d have the same value?
False
Let a be (-10 + 12)/(-1 + 2). Let h be (-1)/(-1) - a - 0. Which is bigger: h or -5/3?
h
Let g be (0 - 2/4)*14. Let w(b) = -b**3 + 5*b**2 - 4*b - 5. Let t be w(4). Which is smaller: t or g?
g
Let d = 13627/59 - 231. Is d greater than 1?
False
Let c = 8 - 6. Suppose -3*y = -6*y. Suppose -j + r + 5 = y, 5*r + 25 = -0*j - j. Which is smaller: j or c?
j
Let w = -0.06 + -0.94. Let b = -4.08 -