ller than 0?
True
Suppose -m = -5*b - 0*m + 35, -3*b + 39 = 3*m. Suppose 5*z - 72 = -27. Which is smaller: b or z?
b
Let j(x) = 2*x - 5. Let t be j(4). Suppose -5*v + 4 = -v - 2*u, -5*v = 4*u - 31. Suppose -t*h - 7 = -4*d, v*h - h = 2*d - 4. Which is greater: h or 2/7?
2/7
Let f = -5 - -3. Let q = 5 + f. Suppose -q*c + 15 = p, -p - 25 = -0*c - 5*c. Which is greater: -4/7 or p?
p
Let c = -40 - -41. Which is smaller: 9/13 or c?
9/13
Suppose 5*c + 46 + 34 = 0. Which is greater: c or -15?
-15
Let i = -12 - -13. Let c = -6 - -9. Suppose o + 4 - c = 0. Which is smaller: i or o?
o
Let u(b) = b**2 + 2*b - 1. Let w be u(0). Which is bigger: -2/45 or w?
-2/45
Let m be 7/((-21)/54)*(-8)/(-6). Which is greater: -26 or m?
m
Let x = 2 + -4. Let m be 5*(16/(-10))/(-2). Suppose m = -3*a - 5. Is a at most as big as x?
True
Let d = -221/4 - -55. Let u(i) = i**2 - 4. Let z be u(3). Suppose -5*p + 3*w = 20, 2*p = p + z*w - 26. Is p smaller than d?
True
Let f be (-18)/12 - (-17)/2. Is f equal to 7?
True
Suppose 0 = -22*h + 5*h - 85. Is -6 > h?
False
Let r = -41 + 24. Let z = r + 14. Is -3 less than z?
False
Let d = 7 - 14. Let c be 1/(-2) - (-55)/(-10). Are c and d unequal?
True
Let g(d) be the first derivative of d**3/3 + 3*d**2 + 2*d - 7. Let m be g(-6). Which is greater: m or 5/7?
m
Let l(t) = t**3 + 4*t**2 - 17*t - 1. Let z be l(-7). Which is greater: z or -2?
-2
Let c be ((-1)/(-5))/((-5)/(-10)). Suppose 2*h + 2*x = 6*x + 22, 2*h + 5*x + 23 = 0. Let g(t) = t**3 - t**2 - 2*t + 1. Let q be g(h). Which is smaller: c or q?
q
Let o be 19 + 4/4 + -5. Which is smaller: o or 14?
14
Suppose -s - 4*s = -3*a + 101, -2*s = a - 52. Let d be (-2)/14 + (-78)/a. Which is smaller: -3 or d?
-3
Let h = 3.6 - 3. Let a = -0.7 + h. Which is smaller: a or -1?
-1
Let i(q) = 6*q - 9. Let k(v) = 17*v - 9. Let y(d) = 9*d - 4. Let p(m) = 4*k(m) - 7*y(m). Let b(l) = 4*i(l) - 5*p(l). Let g be b(5). Which is smaller: 0 or g?
g
Suppose 2*m - 22 = 282. Let s = m - 2278/15. Is 0 != s?
True
Suppose 0 = 2*b + 4*f + 50, 4*f - 23 = b + 8*f. Is b equal to -27?
True
Let d = -202 + 200. Are -43 and d unequal?
True
Let d = 22 - 26. Which is smaller: d or -1/4?
d
Suppose 3 = -4*v + 7. Is v bigger than -2?
True
Suppose 5*a - 2 - 3 = 0. Let p be 3*(-13)/(-3)*a. Is 13 < p?
False
Suppose 0 = 3*l - 6*l + 15. Suppose 0 = l*a + 14 + 21. Which is smaller: a or -6?
a
Let p = 4.97 - -0.03. Let a be (-5)/(-10)*0/1. Which is smaller: p or a?
a
Let y = 205 + -1225/6. Let s = y + -1/3. Are 2 and s equal?
False
Let n be ((-33)/15 + 4 + -2)*62. Is -12 greater than n?
True
Suppose -12*y + 11 = -11*y. Suppose -54 = -5*v - 4*u, 0*u + 38 = 4*v - 2*u. Is v bigger than y?
False
Suppose 101 = 5*v - k - 0*k, v - 24 = 4*k. Let g be (24/v)/(1/(-5)). Suppose 2*c = -3*a - 2*c - 3, a - 2*c = -11. Which is smaller: a or g?
g
Suppose 15 = 5*q + 5*y, -q - 5*y + 2 = -5. Let t be (-1 + q)/((-3)/18). Is t greater than or equal to -3?
False
Suppose 0*t + 24 = 3*t. Let i = t + -10. Which is greater: -1 or i?
-1
Let n be (-40)/(-16) - 2/(-4) - 1. Let k be 12/20 + -1 + 3. Which is greater: n or k?
k
Let d be (-2)/18 + (-2)/(-6). Which is bigger: -3 or d?
d
Let b be (-5)/2 + 2 + (-793)/(-130). Is 5 bigger than b?
False
Let f(n) = n**2 + 5*n - 9. Let b be f(-7). Suppose -1 - 9 = b*t. Let i(y) = y**3 + 3*y**2 - 3*y + 3. Let m be i(-4). Is t equal to m?
False
Let d = -1.91 + -0.09. Let q = 15/14 - 4/7. Is d at most as big as q?
True
Let x be ((-3)/(-9))/(3/9). Let m = 3.96 - 4. Let g = 0.36 - m. Is x bigger than g?
True
Let t(c) = -c**3 + 7*c**2 + 5*c + 6. Let z be t(8). Is -18 equal to z?
True
Let p be 1*19*(76/24)/(-19). Which is smaller: -3 or p?
p
Suppose -48 - 26 = 2*t + 5*a, -5*t = 5*a + 200. Let l be (-28)/t - (-2)/(-3). Is l greater than -5?
True
Let s = -2.3 - -1.3. Is -5 bigger than s?
False
Let f be 16/20 + (0 - (-3 - -4)). Is f equal to -20?
False
Let u be 240/25 + 2/5. Suppose -19*r + 25*r - 60 = 0. Is r at least as big as u?
True
Let q(f) = 2*f**2 + f + 4. Let j be q(-3). Let b = j - 835/44. Let d = b - 3/11. Is -2/9 < d?
False
Let h = 9 - 6. Let p be 22/(-14) - (h - 6). Which is smaller: p or 1?
1
Let c(n) = 2 + 0 - n + 9 - 1. Let l be c(9). Are -1/17 and l equal?
False
Let n be (9/3 - 2)*-9. Is n greater than or equal to -8?
False
Let g = 34.3 + -33. Let q = g - 0. Does 2/5 = q?
False
Suppose 0*p + 27 = l - 2*p, -72 = -4*l - p. Which is bigger: 56/3 or l?
l
Suppose 1 = 5*o - 9. Suppose 0 = -2*k - 2*i, o*i + 3 = -k - 0*i. Which is smaller: k or -3?
-3
Let j(s) be the first derivative of s**3/3 + 3*s**2/2 - 5*s - 3. Let p be j(-4). Let k = -7/44 - 1/11. Which is bigger: k or p?
k
Let t = -4 + 6. Let h be (-84)/(-99) + (-4)/22. Is h equal to t?
False
Let a = -0.41 + 1.41. Which is greater: a or -6?
a
Suppose 0 = 2*q - 7*q + 20. Let x be ((-48)/(-9))/q + -2. Which is smaller: 0 or x?
x
Suppose -3*j + 0 + 1 = -2*v, 0 = -2*j + 5*v + 8. Let s be 28/(-40) - (-2 - j). Which is bigger: 0 or s?
s
Let u = 7 - 4. Let p = 1 + -1. Let q = p + u. Is q at least as big as 1?
True
Suppose -5*f + 37 = -5*q + 2, -4*f - 36 = 4*q. Let r be 0/q + (-2 - -1). Let m = 1 + -4. Is r greater than m?
True
Suppose -4*w = -2*w - 6. Suppose 3*f = -2*f - 10. Which is bigger: f or w?
w
Suppose -4*r + 3*w - 9 = 0, -r - r = 3*w - 9. Let l be ((-2)/32)/(-2 + (-6)/(-4)). Is l greater than r?
True
Let a be (4/25)/(28/1190). Is 7 <= a?
False
Let i be 2 + 1*31/(-11). Is -2 > i?
False
Suppose -10 = -4*u + 6*u. Let p(y) = -y - 5. Let a be p(u). Suppose -4*g = -a*g. Which is bigger: -1 or g?
g
Let i = 0.351 + -0.151. Which is smaller: -2/39 or i?
-2/39
Suppose j + 3 = 2*j, 3*f = 4*j - 9. Suppose -3*t - f + 4 = 0. Is 0.4 at most as big as t?
True
Let z = -1 + 0. Which is smaller: -2 or z?
-2
Let f(x) = -2*x - 14. Let z be f(-9). Suppose z*y = 9*y + 5. Let s = 116/3 + -39. Which is smaller: y or s?
y
Let p be 2*62/(-140) - -1. Is p greater than or equal to 0?
True
Let q = 20.7 - -0.3. Let v = q - 21.1. Are -0.3 and v nonequal?
True
Let n be 1/(-4)*(-8)/7. Which is smaller: 1/3 or n?
n
Suppose 0 = 3*f - i - 73, 5*i = -4*f + 2*i + 106. Let t be 3/f*1/3. Is t != 1?
True
Suppose 5 + 3 = w + b, -4*w + 5*b = -5. Suppose -6*m + 2*m + w*q = 4, -3*m + 5*q = 8. Which is greater: m or 5?
5
Let h = 10 + 6. Is h bigger than 18?
False
Let w = -67/170 + -1/170. Let v = -1/118 - -31/177. Do v and w have different values?
True
Let s be (-2)/3 - 5/(-30). Which is greater: s or 5/6?
5/6
Suppose 4 = -a - 0. Which is bigger: a or -30/11?
-30/11
Suppose -5*h + 3*g - g + 11 = 0, g - 2 = 0. Suppose 5*n = -h*r + 26, -7*n = r - 2*n - 22. Does r = 2?
True
Let k = -0.49 - -21.49. Which is greater: k or 1?
k
Let l = -25 + 24.9. Is l < 8?
True
Let w = -58 + 22. Let g be w/15 - (-4)/10. Which is bigger: g or -3?
g
Let v = -177 + 178. Which is greater: -162 or v?
v
Let h be ((-9)/(-2))/((-2)/8). Let z = 20 + h. Is z at most 13/4?
True
Let f = -1003/20 - -155/4. Which is bigger: f or -12?
f
Let t(g) = -g**2 - 2*g + 4. Suppose -2*p = 5*l + 4 + 7, -3*p - 7 = -2*l. Let q be t(p). Is q > -3/10?
True
Let r = 9 + 1. Is 10 at most r?
True
Let w(f) = -93*f**3 - 2*f - 1. Let p be w(-1). Let o = 660/7 - p. Which is smaller: o or 0?
0
Suppose -2*b + 2*c - 6 = 0, -b + 3*c = 4*b + 7. Let z = b - 5. Is z less than -3?
True
Let i be (-4)/((-16)/84) - 2. Let t be i/(-741)*(-12)/2. Is 0 != t?
True
Let a = 0 + -8. Which is smaller: a or -0.1?
a
Let d = -9 - -9. Let b be (-38)/(-8) + (-4)/(-16). Suppose -2*r + b*p - 18 - 2 = 0, 12 = -4*r + 3*p. Is d less than r?
False
Suppose 2 = -5*i - 78. Let l be (-4)/i - 90/8. Which is smaller: 0.1 or l?
l
Let f be ((-1852135)/28)/(-5) - -1. Let t = f + -53553/4. Let v = t - -158. Is -1/3 bigger than v?
False
Suppose -2*k + 5 = 7. Let c be -1 + (k - (-11)/6). Is c bigger than 0?
False
Let l = -40 - -64. Which is bigger: l or 23?
l
Let i = 236651/13 - 18184. Let p = -20 + i. Which is smaller: p or 1?
p
Let p = -1 + 0. Let k = p + 3. Suppose 2*w + 2*w - 8 = 0. Is w less than k?
False
Let l(b) be the third derivative of 0 - 1/60*b**5 + 0*b - 1/12*b**4 + 5/6*b**3 - 3*b**2. Let j be l(-4). Which is smaller: j or -7/3?
j
Suppose 18 = o + 13. Suppose -3 = -o*r - 13. Which is smaller: -3 or r?
-3
Suppose 5*x - 50 - 30 = -5*z, 0 = 4*z - x - 54. Let m be ((-86)/z*-2)/60. Let b = -1/14 + m. Whi