013. Which is smaller: m or r?
m
Suppose 5*q + 0 = -20. Let j = 5 - q. Is 9 greater than or equal to j?
True
Let b be 4/(-2) - (-5 + 2). Which is greater: b or 2?
2
Let l be (((-15)/(-414))/(-5))/1. Let z = l - -281/690. Which is smaller: z or -2?
-2
Let i = -21 + 10. Let h = 11 + i. Which is greater: -8 or h?
h
Suppose 0 = -8*r - 497 + 201. Are r and -38 equal?
False
Let l = -2 - -2.4. Let f = 0.3 - l. Let s = -0.1 - f. Is 0 smaller than s?
False
Suppose 108 = 4*m - 4*w, w + 1 = 3*m - 80. Which is smaller: m or 26?
26
Let r = 5383 + -5380.173. Let s = 0.073 + r. Let l = s + -0.9. Are 1/3 and l unequal?
True
Suppose k - b - 1 = 2*k, 3*k + 4*b = -7. Let s be 16/k - (-2)/(-6). Which is smaller: 6 or s?
s
Suppose 9*c + 2*c = -2*c. Let m be (4 + -2)/6*3. Suppose -15 = 5*n, -d + 2*d + n + m = 0. Which is bigger: d or c?
d
Suppose 0*u - 18 = 3*u. Let h = u + 11. Suppose 3*o = -h*t + 9, 0*t = -t + o - 3. Which is smaller: t or 2?
t
Let u = 11 + -8. Let x be 12/66 - (-84)/22. Which is bigger: x or u?
x
Suppose -2*o = 5*t + 10, -4*o + 0*t - 20 = 4*t. Which is smaller: o or -12?
-12
Let f = -187 + 192.88. Let o = -0.12 - f. Let z = o - -4. Is 0.1 at least as big as z?
True
Let y(j) = j**2 - 7*j - 5. Let k be y(8). Suppose -c - k = -5*g, 3*c - 5*g - 3 = -2. Are c and 4 equal?
False
Suppose -3*g - 5*l - 32 = 0, -2*g - 2*l = -3*g + 4. Let b be 4*(1 + 0) - 1. Suppose 2*h - 4 = h, 0 = -5*q - b*h - 3. Do q and g have the same value?
False
Let f(c) = c**3 + 4*c**2 - 1. Let v be f(-4). Is v at least -2/5?
False
Suppose -2*n = j - 9, n = -1 - 1. Let z be j/(-7) - (-4 + 2). Let i = 19/35 - z. Are 0 and i equal?
False
Let a(i) = -i**3 - 3*i**2 - 4*i + 5. Let m(r) = -2*r**3 - 7*r**2 - 9*r + 10. Let x(d) = -13*a(d) + 6*m(d). Let s be x(4). Are 3 and s nonequal?
False
Suppose 10 = 2*q - 3*b, b - 8 = -q - 3. Suppose 4 = 3*o + r - 1, -q*r = -o - 9. Which is smaller: o or -3/10?
-3/10
Let n = -1 - -1. Suppose n*d + 5*d = -10. Let x = -0.1746 + 0.0746. Which is smaller: d or x?
d
Let q be ((-417)/(-30))/(18/(-15)). Let b = q - -41/4. Which is smaller: 0 or b?
b
Suppose 3*g - 38 - 37 = 0. Suppose 5*h - g = 0, -3*h = -0*x + 3*x - 18. Suppose 0 = 5*u - 4 - x. Is 2/11 at least as big as u?
False
Let k(b) = 2*b - 1. Let p be k(1). Which is greater: p or -19/4?
p
Let z = 12 - 13. Let h = -1/3 + 19/39. Is z < h?
True
Let d be (3/(-30))/((-14)/8). Let n = 32 - 31. Which is smaller: n or d?
d
Suppose -7 = f + 5*d + 6, f - d = -31. Let p be ((-5)/10)/(6/f). Is -2/3 at most p?
True
Let i = 68 + -85. Is i < -17?
False
Let k = 129/4 - 1169/36. Let b = -22 + 16. Which is smaller: k or b?
b
Suppose -2*o - 2 = -10. Let y = 62 - 59. Which is smaller: o or y?
y
Let l(r) = -r**3 + 4*r**2 + 3*r + 2. Let q be l(5). Let x be ((-12)/16)/(12/q). Does 1 = x?
False
Let f = 27 - 16. Let y be ((-8)/(-6))/(f/33). Suppose -y*k - 4 = 5*o - 3*k, -2*k = 4*o + 8. Are o and 2 equal?
False
Let h be 9/6*8/(-6). Let r be h*(-1 - 6/(-4)). Is r < -1/3?
True
Let n = -49 - -48. Which is smaller: n or -7/4?
-7/4
Let x = -0.13 + 1.13. Which is smaller: x or 14?
x
Let c = 17 - 33/2. Let v = -8778 + 175807/20. Let s = -51/4 + v. Which is smaller: c or s?
s
Suppose -4*o + 2*o = z - 74, -o + 5*z = -59. Let i be 2/(-6) - o/(-63). Which is greater: 1 or i?
1
Let f = 0.02 - -0.09. Let b = 0.11 - f. Is b less than -9?
False
Let i = 73 - 72.26. Let l = 0.06 + i. Which is bigger: l or 2/3?
l
Let j = 35 + -23. Let i = 12.14 - j. Which is bigger: 1 or i?
1
Let f = 1583194/71 + -22298. Let y be (-2)/(-3) + (-2944)/4686. Let b = y + f. Does b = 0?
False
Let f be ((-3)/(-9))/((-1)/9). Let h be (-14)/f + (-4)/6. Suppose 4*b - 4 = h. Is b at least 1?
True
Let y be ((-28)/20)/(3/(-35)). Let k = -17 + y. Are 0.02 and k unequal?
True
Let u be (-1 - 2) + 4 - 0. Suppose -2*p = 8, -2*p = -4*h - p + 184. Let a = -309/7 + h. Which is bigger: a or u?
u
Let z = 0.1 + -0.1. Let j(t) = -2*t - 6. Let i be 186/(-42) - 6/(-14). Let q be j(i). Which is greater: q or z?
q
Let w(y) = 3*y + 2. Let v be w(-3). Let l = -12 - v. Let r(p) = p + 1. Let m be r(l). Is -4 greater than m?
False
Let n(d) = d**3 - 3*d + 3. Let t be n(2). Suppose -i + t*w = 16, -3*i - 3*w = -i - 20. Suppose i = -h + 5*h. Which is greater: 0 or h?
h
Let v be (1/(-22))/((-6)/(-72)). Which is smaller: -1 or v?
-1
Let p = -0.5 + 0.55. Is p < 0.1?
True
Suppose -2*i = -2*n - 14, -5 = -4*n + 5*i - 33. Is n <= -7?
True
Let w be (-13 + 7)*(-1)/2. Are w and 4 unequal?
True
Let y = 9 + -10. Let i be (0 + 1 - y)/2. Are i and -1 equal?
False
Suppose -11*l = -7*l. Which is bigger: l or -2/5?
l
Let c = -534/7 + 76. Which is greater: c or -1/4?
-1/4
Let b be (-11)/2 - 2/(-4). Let j(f) = -f**2 - 7*f - 7. Let h be j(b). Suppose -5*o = 3*p + 3, h - 4 = -5*o + p. Do -1/2 and o have the same value?
False
Suppose -2*o - 13 = 13. Is -15 > o?
False
Let b(v) = -v - 2. Let a be b(-2). Is a greater than or equal to -2/69?
True
Let h = -1023/5 - -204. Which is smaller: h or -1?
-1
Let c be (-1 - -6) + -3 + 2/(-1). Let z = -107/3 + 2467/69. Is c greater than or equal to z?
False
Let o(b) = -b + 5. Let h be o(4). Suppose -3*s + 4*s - 4 = -2*c, 3*s = 6. Let z be c - (32/(-10))/(-4). Which is smaller: h or z?
z
Suppose 2*d - 14 = 5*w, 3*d = -2*w + w + 4. Is -12/17 at least w?
True
Let t(g) = g**2 + 3*g + 2. Let s be t(-5). Let j be (-2)/6 - s/18. Which is smaller: 2/17 or j?
j
Let z = -147 + 1026/7. Let t = 30 + -29. Is z equal to t?
False
Let z = 18 + -27. Let m = -13 - z. Are m and -3 equal?
False
Let t = -0.025 - -4.025. Is 5 equal to t?
False
Let j(c) = c**3 - 3*c**2 - 4*c + 2. Let b be j(4). Let l(n) = 2 - 1 - 2 + n**2. Let u be l(1). Which is smaller: b or u?
u
Suppose -d = j - 5, -3*d + d + j + 7 = 0. Suppose -d*h + 6 = 3*i, -3*i + 2*h = -5*i + 4. Is i smaller than 2?
False
Let o = -285/7 - -41. Let k = 1 + 2. Let g = -4 + k. Which is bigger: o or g?
o
Let k(d) be the second derivative of 2*d**3/3 - d**2/2 + 6*d. Let l be k(-3). Are -12 and l non-equal?
True
Suppose -7*h + 12 = -3*h + 2*j, 0 = -3*h + 2*j - 5. Suppose 4*z = 3*z + h. Is z less than or equal to 2/15?
False
Let d = -16.81 + -0.19. Let x = 12.9 + d. Let p = x + 4. Which is smaller: 0.1 or p?
p
Let p be (12/426)/((-6)/2). Which is bigger: 1 or p?
1
Let c be 3/(-2)*2/8. Let w(r) = -r**3 - 4*r**2 - r + 4. Let k be w(-4). Suppose 5*j - k*j = 0. Is c smaller than j?
True
Suppose 1 = -2*b - 7. Let z be (b/16)/((-2)/4). Suppose j - 5 = -2*r, -r - 7 = -j - 4*r. Do z and j have different values?
True
Let t be ((-10)/4)/(4/8). Let u = 11 + -1. Let p = t + u. Which is smaller: 4 or p?
4
Suppose -2*z + z = 2. Let l = 0 - -1. Let d be (l/2)/(2/(-4)). Are z and d unequal?
True
Suppose 1 = -4*a + 161. Let q = a - -16. Let b be 62/q - 4/16. Which is greater: 1 or b?
1
Let f be 2/(-2 - -4)*6. Let o be (f/(-4))/((-2)/(-4)). Which is smaller: -12/5 or o?
o
Let p be (-6)/((-6)/(9/3)). Suppose -1 = 2*r - p. Are 2 and r equal?
False
Let q = -359/2156 + -3/196. Let f be -1 - (1 + (-1 - 1)). Which is smaller: q or f?
q
Let r = -2.4 + 48.4. Which is smaller: 0.1 or r?
0.1
Suppose 0 = -d + 4*j - 3, 5*d - 6 = -2*j + 1. Is 4/5 at least d?
False
Suppose 3*z + 4*l + 172 + 549 = 0, 5*z - 2*l + 1193 = 0. Let j = 951/4 + z. Is j > 0.1?
False
Suppose -129 = 4*s - 145. Let d = -8 - -15. Let q(t) = t**3 - 8*t**2 + 7*t + 5. Let o be q(d). Is s at least as big as o?
False
Let y be 42 + 6/1 + (-1 - 2). Is y >= 44?
True
Let o = -8 + 7.4. Let d be 6/(-9) + (-2)/6. Let x be (d - (-1 + 1))*1. Are x and o nonequal?
True
Let v be (-1)/2 - (-2)/8. Let w = 14 + -11.7. Let d = -0.3 + w. Which is smaller: d or v?
v
Let m = 3/2 - 5/6. Suppose 3*h + 7 = 2*w, 0 = 5*h - 3*w + 2*w. Is m <= h?
True
Let d(n) be the third derivative of -n**4/24 + 7*n**3/6 + 4*n**2. Let k be d(7). Let t = -39/220 - 1/44. Are t and k nonequal?
True
Let b be 2*3/(-21) + 119/245. Is 1/3 > b?
True
Let p = -160 + 159. Let x be (8/(-18))/((-10)/(-3)). Is p equal to x?
False
Let s be 1/(-6)*3/2. Let i = 17 - 16. Which is greater: s or i?
i
Suppose 82 = -5*z + 62. Which is smaller: z or 2?
z
Let k = -53 + 38. Is k equal to -17?
False
Let o = -4 + 4. Suppose m = -o*m - 1. Let y be -1*2/4*m. Does 1 = y?
False
Let a(v) = -4*v - 3. Let y be a(-1). Which is smaller: y or -1/19?
-1/19
Let z(h) = h**2 - 10*h + 1. Let f be z