ose 2*m + 9 = -3*b, -c*m + 5*b + 15 = -0. Which is greater: m or -3/8?
m
Let j = 0.8 + -0.6. Is -2 less than or equal to j?
True
Let c = -11.94 + 12. Let z = -0.04 - c. Is -12 at most as big as z?
True
Suppose -i - 3 = -5. Is i at least as big as 3?
False
Let d = -29.2 - -26. Let i = -3 - d. Which is bigger: 0 or i?
i
Suppose 13 = -4*y - 3*n, -5*y + 3*y = 4*n - 6. Do -18 and y have different values?
True
Let s be (-16)/(-9) + 4/18. Let q be (-10)/14 + (s - 1). Is 1 >= q?
True
Suppose 15 = 4*k - 5*s, -4*s - 12 = 3*k + 2*k. Suppose -5*h - 20 = 0, 0*c - 22 = -5*c - 2*h. Let i be (-3)/c + 28/72. Which is smaller: k or i?
i
Let b = 4019 - 11926/3. Let r = -43 + b. Which is bigger: 2/9 or r?
r
Let b = -9 - -5. Let f be (-10)/6*b/(-190). Let a = 49/228 - f. Is 0 equal to a?
False
Let a = 49.34 - 50. Let o = -0.06 - a. Let n = o - -0.4. Are n and -3/4 equal?
False
Let p = 25 - 21. Let k(m) = m**3 + 5*m**2 - 6*m + 5. Let t be k(-6). Is t at least p?
True
Let r = -1.5 + 0.7. Let z = r - -0.9. Let t = -1/42 - 9/14. Which is smaller: t or z?
t
Let v = -29 - -42. Which is greater: 12 or v?
v
Suppose 1 = -3*f + 4. Let m = 78303/2320 - 3/2320. Let n = 34 - m. Do n and f have the same value?
False
Let y = -23 + 4. Let h = -75/4 - y. Suppose -6 = k + 2*p, 0 = 5*k - k - p - 3. Are h and k nonequal?
True
Let w be (0 - -5 - 1)*-2. Let h be 4/5*(-20)/w. Which is smaller: 1 or h?
1
Let t(w) = -w**2 - 12*w + 13. Let v be t(-13). Let y be -4 - v - (-4 + 2). Let r = -0.2 + -1.8. Is y less than r?
False
Let t be 2/(-6) + (-4)/6. Let l(c) = -c**3 - 4 + 3*c + 0*c + 3*c**2 + c + 2. Let u be l(4). Which is bigger: u or t?
t
Let y = 27 + -14. Let z = y + -13.2. Is z less than or equal to 2?
True
Suppose 182 = -2*j - 4*c, c = 3*j + 2*c + 293. Let h be (j/88)/((-6)/(-8)). Which is smaller: -3 or h?
-3
Let c = -50 + 33. Which is smaller: -18 or c?
-18
Let t be (-6)/8 - (-6)/8. Suppose -4*x - 4 = -t*x, x + 10 = 3*l. Which is bigger: 4 or l?
4
Let x be (-7)/42 - 7/(-6). Which is greater: x or -6?
x
Let x be 10/(140/3)*14. Suppose -6 = 5*z + 3*q - 1, 3*q + 21 = 3*z. Is x less than or equal to z?
False
Suppose -t - 9 = -4*t. Suppose 2*s + 17 = -5*q, s = t*s + q + 13. Which is greater: -5 or s?
-5
Suppose 5*c = 35 - 10. Let n(j) = -j**3 - 4*j**2 - 2*j - 3. Let i be n(-4). Is c bigger than i?
False
Let d = 47/2 - 23. Is d < 0?
False
Let q = 3 + -3. Let s = q + 0.2. Let t = -0.2 + s. Is -1 at most as big as t?
True
Let i be (-3 + 7)/(2 + (8 - 0)). Which is greater: i or 1/3?
i
Suppose 128 = 4*z - 4*i, 4*z - 2*i = -3*i + 133. Let q be z/18 + -3 - -1. Is 1 <= q?
False
Let v be -99*(2236/(-10680))/13. Let x be 273/1068 + 3/(-12). Let b = x + v. Which is greater: b or 2?
2
Let h(z) = -4 - 3*z**2 + 4*z**2 + 0*z**2 + 8*z. Let t be h(-9). Suppose t*j + 7 = -3. Which is smaller: j or -1?
j
Suppose -3*k + 7*k = 0. Let j be 1 - k*(-4)/12. Is 5/3 >= j?
True
Let v be -2 + 10/6 + -1. Suppose 4*b - 2*i = -9 - 5, -5*b = i. Which is bigger: b or v?
b
Let i be 0 - (-2 + (-32)/(-22)). Let f(o) = -o**3 + 4*o**2 + 1. Let w be f(4). Is i greater than w?
False
Let f = 0.3 - 0. Let x = f + -0.5. Let m = 13/15 + -1/5. Does x = m?
False
Let m be 6/(-4)*(-2)/(-1). Let i be m - 58*3/108. Let z = i - -40/9. Which is greater: 0 or z?
0
Let o = 1 + 4. Let m be o*4/((-40)/(-6)). Is m bigger than 3?
False
Let f = 3.89 + 0.11. Let y = f - 3.8. Is -2 at least y?
False
Let w(x) = 7*x**2 - x + 1. Let d be w(-1). Let g be (-6)/9 - 57/d. Are g and -7 unequal?
False
Suppose -f - 11 + 3 = 0. Suppose 23 = -5*o - 12. Are f and o unequal?
True
Let q = 109 - 109.38. Is 2/3 at most q?
False
Suppose 20 = 3*w + 2*w. Let f be (-9)/w - (-4)/8. Is -3 not equal to f?
True
Suppose 9 = 4*a + 1. Suppose 4*p = -4*v + 16, 4*v - a*p - 37 - 3 = 0. Let w = 6 + 2. Is w greater than v?
False
Suppose -2*y + y = -40. Let d = 5704/15 + -2103/5. Let f = d + y. Which is smaller: 1 or f?
f
Let u be 8/(-6)*6/(-4). Suppose 20 = -u*z + 6*z. Is 5 greater than z?
False
Let i(z) = z - 7. Let t be i(10). Is t not equal to 12/5?
True
Suppose -4*s = -3*t - 0*s + 4, 4 = -t + 4*s. Are t and 4 nonequal?
False
Let j = 0 - -1. Let s = 31/6 - 17/3. Is j > s?
True
Suppose -1 - 13 = x. Let t be 10/(-50) - x/45. Does 0 = t?
False
Let l = 90 - 196. Let k = 322/3 + l. Suppose x - 6 = -d, 5*d - d - 21 = -x. Which is greater: x or k?
k
Suppose 3*w - 4 - 5 = 0. Suppose w*q - 4*q = k - 1, 3*k = -5*q + 9. Which is smaller: q or -0.2?
-0.2
Let n be ((-2)/(-6))/((-3)/(-9)). Let h = 0 - n. Let w be -1*(-2)/6*1. Which is bigger: h or w?
w
Let d = -7.28 + 7. Let v = d - 0.02. Let n = -48 + 238/5. Do v and n have the same value?
False
Let y be (12/396)/(2/12). Is y bigger than 0?
True
Let v(b) = -b + 2. Let d be v(10). Is d <= -7?
True
Let q = -319 + 317. Suppose -61 = 4*i - f, -5*i - f - 41 = 24. Does q = i?
False
Let p be 7/9 + (-4)/(-18). Which is bigger: p or 12/7?
12/7
Let k = 0.04 + 9.96. Let w = k - 11. Let g = w - -4. Which is smaller: g or 2/7?
2/7
Let o = 59 - 50. Let k(j) = j**3 + j**2 - 2*j + 1. Let l be k(1). Are o and l equal?
False
Suppose -4*i - 147 = -31. Which is smaller: -30 or i?
-30
Let d = -7 - -6. Which is smaller: -6/5 or d?
-6/5
Let u = 4 - 4. Let m = -35 + 32. Is m at most u?
True
Suppose -2*v - 1 = 1, -5*b - 5*v + 5 = 0. Suppose 2 = b*p - 0. Let m = -416/253 + 42/23. Which is bigger: m or p?
p
Let t(p) = p**2 + 11*p + 18. Let z be t(-9). Which is smaller: z or 2/5?
z
Let n = 105.1 + -113. Let o = 8 + n. Is o not equal to 3/5?
True
Let m = -38 - -40. Which is greater: 1/4 or m?
m
Let i(x) = -3*x**2 + x. Let v be i(1). Let d be (-24)/(-10) + (-4 - v). Is d at most 1?
True
Let h be (1/(-1))/((-1)/(-2)). Let u = h - -4. Let w be -2 - ((-12)/8 + -1). Is w at most u?
True
Let d be (-20)/(-132) + 6/33. Is d at most as big as 3?
True
Let x = -1668/47 - -71/2. Let i = x - 193/470. Is i smaller than 0?
True
Suppose 0 = 2*v - 6*v. Let w(u) = u + 4. Let h(z) = -z**2 + 2*z + 4. Let s be h(4). Let j be w(s). Is v less than j?
False
Suppose 0*q = 4*q + 16. Let u = 168 + -171. Is u not equal to q?
True
Let a(d) = d**2 - 6*d - 8. Let r be a(6). Let n be ((-12)/8)/(-3)*r. Which is smaller: -2 or n?
n
Let y be (0 - 4)*5/(-2). Let u = y - 12. Which is greater: 0 or u?
0
Let w = 14.92 - 15. Is 0.2 less than w?
False
Suppose 0 = 5*i + a - 9, 4*a - 14 = 5*i - 3. Let u be (-12)/16*(0 + i). Suppose 2*m = 4*m + 2. Are m and u non-equal?
True
Let k = -61/10 + 11/2. Let n = -0.1 - -0.1. Which is smaller: n or k?
k
Let h = 121 - 28. Let d = -191/2 + h. Which is bigger: -2 or d?
-2
Let a(o) = -o**3 + 15*o**2 + 18*o - 15. Let d be a(16). Let s be 5/10*4/d. Which is bigger: 2/3 or s?
2/3
Let x(i) be the second derivative of i**3/6 - 4*i**2 - 3*i. Let w be x(9). Which is bigger: -1/5 or w?
w
Let v = -1/1913 + -109006/66955. Let m = v - -10/7. Which is smaller: m or 1/3?
m
Let a(n) = n**3 - 6*n**2 + 7*n - 5. Let k be a(5). Suppose 7 = 3*h + u - 2*u, 5*h + u = 17. Suppose k*c + 15 = c - 3*i, -h = 2*c - 3*i. Is -2 at most c?
False
Suppose g - 33 = 9. Which is smaller: g or 41?
41
Let s be 1/((-2)/6 + 0). Let g be 6 + -1*(-2 - s). Suppose -g*r - 4*j - 15 = 0, 0*j - j = 5. Is r < 1?
False
Let i = -2 - -3. Let j = -23 + 16. Let k = j - -5. Are k and i unequal?
True
Suppose -2*q = 2, -5*z + 4*z - 1 = 2*q. Let g = z - -2. Suppose -g*u + 2 = -5*u. Is -1 >= u?
True
Let f = -4.01 - -0.01. Let c = f - -4. Let b = -2.2 + 2. Which is greater: b or c?
c
Let r = -27 - -18. Let f = r + 7. Let x be 24/27 + 2/(-9). Which is bigger: x or f?
x
Let z = 16 + -10. Let h be (-3 + 2)*z/22. Which is smaller: h or 1?
h
Let l = 13 - 13. Let h be (-4)/(-2) + (-1062)/6. Let v = 1229/7 + h. Which is smaller: l or v?
l
Let p be (5/((-40)/(-6)))/(-3). Suppose -4*s + 12 = 4*n, 5*s - 2*n = 4*s + 6. Let k be s*(2/(-4) + 1). Is p bigger than k?
False
Let o = 391 - 5086/13. Which is smaller: 0 or o?
o
Let d = -1.59 + 1.6. Is 0.1 >= d?
True
Let a = -82 + 91. Is a at least as big as -3/5?
True
Let r(k) = k**3 - 8*k**2 - 1. Let m be r(8). Let t be -2*2 - (-1 - m). Let b(c) = c - 1. Let s be b(-3). Is s less than or equal to t?
True
Suppose 2*l - 54 = 14. Let o be -2 + (82/l - 1). Let c = o + 16/85. Which is smaller: 0 or c?
c
Let z be 72/42*(0 + 4)/12. Which is greater: z or 1?
1
Let k be -36*3/(-585)*149. Let n = k + -12