. Let b = i + 60/11. Which is smaller: b or 0?
0
Let k(n) = -6*n + 78. Let m be k(13). Is 6/17 less than m?
False
Let w = 11 + -7. Suppose -2 = v - 0, w*v + 12 = 2*q. Suppose -5*z + 3*a - 10 = 0, q*z = a - 3 - 0. Is z greater than 0?
True
Let o = 20 + -11. Let n = -9.1 + o. Is n at least as big as -2/7?
True
Let z = -1 + 1.1. Let i(q) = -q**3 - 8*q**2 - 9*q - 1. Let b be i(-6). Let t be (-3)/(-15) - b/(-20). Are z and t equal?
False
Let c = 919/655 - 2/655. Is c at most as big as 2?
True
Suppose -463 = 3*l - 115. Which is bigger: -115 or l?
-115
Let g = -29 + 44. Suppose -g = w - 55. Let t be (-4 - -2) + 95/w. Which is greater: t or -1?
t
Let c be 28/240 + 4/30. Let r = 8 + -8.01. Which is smaller: c or r?
r
Let n = 196 + -1374/7. Suppose 0 = -7*u + 3*u + 5*f + 10, 2*u + 2*f = -4. Are u and n equal?
False
Let y = 56 - 36. Suppose 4*a = 3*m - 37, 4*m - y = 2*a - 4*a. Let r(l) = -l + 11. Let h be r(5). Is m at most h?
False
Let i = -24 + 37. Is i at least as big as 13?
True
Let d = 35 - 47. Which is bigger: d or -1?
-1
Let k be (10*3)/(-3) + 3. Let f = 8 + k. Which is bigger: f or -1/3?
f
Suppose 5*r + 15 = 0, 0 = -0*x + 3*x + r - 75. Is x at least as big as 26?
True
Let m = 13 - 11.8. Let y = m - 1.1. Which is smaller: y or -0.06?
-0.06
Let x(w) = 2*w + 2. Let s be x(-5). Is -8 smaller than s?
False
Let v be 3/(-3 + (-36)/(-8)). Which is bigger: v or 3/13?
v
Let x(l) = l**3 - 4*l**2 - 5*l + 5. Let j be x(5). Suppose 5*b + 2 = -j*h + 2*b, 0 = -2*h + b - 3. Are 1/12 and h equal?
False
Let z = 3526/9 + -390. Which is greater: z or 1?
z
Let c(t) = -7*t - 9. Let s be c(-4). Let b = s - 94/5. Which is smaller: 0 or b?
0
Let h = 1/358 + -25423/1790. Let w = 211/15 + h. Which is smaller: w or -1?
-1
Let z = 64/7 + -235/28. Which is bigger: 0.07 or z?
z
Let h(w) = -w**3 - 16*w**2 - 15*w + 4. Let b be h(-15). Suppose -a - b = -1. Which is greater: a or -2?
-2
Let x = -40 - -40. Which is smaller: x or -2/59?
-2/59
Let h = -5027 - -15209/3. Suppose o + 43 = 2*o. Let s = h - o. Is 0.3 greater than s?
True
Let g be 16/(-3) + 1/3. Let i(x) = x - 13. Let f be i(17). Let d be -10*f*(-3)/(-24). Is g equal to d?
True
Suppose 5*w - w = 8, -4*z = -4*w + 8. Which is smaller: -4 or z?
-4
Let h = -2.94 - -3. Let s = h + -0.36. Let q = -0.8 + 1.8. Is s > q?
False
Let c be (-202)/6 - 8/24. Which is smaller: c or -35?
-35
Let a = -8863/7 + 1263. Is -2 greater than a?
True
Suppose f = 3*c - 85, -c + 59 - 4 = 5*f. Which is smaller: -1 or c?
-1
Let j = 28 - 0. Let k be 2/(-8) + 7/j. Suppose -2*v + 1 + k = h, v + 4*h - 11 = 0. Is v bigger than -5/6?
False
Let o(x) = x**2 + 17*x + 61. Let b be o(-5). Let y = -2 + 11. Suppose -2*t - 10 = -4*c, -t - 4*c = -4*t - y. Is b >= t?
True
Let b be -3*3/27*3. Which is smaller: b or -2/5?
b
Suppose -2*z - 10 = -20. Which is bigger: 0 or z?
z
Let b = 21/26 - 4/13. Which is smaller: b or -6?
-6
Suppose -d = 5*w - 181, -32 = -3*w + d + 83. Is 37 less than w?
False
Suppose -3*q = -9, -r - 3*q + 7 = -2*q. Suppose -3*s = -4*p + s - 36, p - r*s = -18. Suppose -3*a + a = 12. Is a not equal to p?
False
Let q be (-4)/(-3) - (-24)/(-8). Suppose 0 = 5*n - 3 + 18. Do q and n have the same value?
False
Let o(t) = t**3 - 2*t**2 - 4*t + 4. Suppose 4*a = -0*a. Suppose a = 5*g - 2*c - 9, 3*g - 13 = -c - 1. Let q be o(g). Which is greater: q or -1/3?
q
Let m = 8 - 8.1. Let k = -7 + 6.8. Which is greater: k or m?
m
Let w be (-2)/4 - 165729/36. Let p = w - -4609. Let v = p + -14/3. Is 0 at least as big as v?
False
Suppose -33*w + 36 = -37*w. Which is bigger: -11 or w?
w
Let v = -25/3 - -9. Suppose -5*t + t + 17 = 3*z, 4*z - 3*t - 6 = 0. Suppose -4 = z*k - 7. Which is bigger: k or v?
k
Let u be ((-84)/9)/((-3)/72). Let t = 891/4 - u. Let z = t + 13/12. Which is greater: -1 or z?
z
Suppose 0 = -4*o + 84. Suppose 2*h = -h + o. Suppose h = 5*m - 3, -2*k - 8 = -3*m. Which is smaller: -1/3 or k?
k
Let m be 60/35 + 2/7. Which is bigger: 18/7 or m?
18/7
Let w = 7 + -4. Is w greater than -1/8?
True
Let t = 15 - 5. Let z = t + -10. Which is smaller: -0.2 or z?
-0.2
Suppose 2*h = -4*f - 16, 17 = -5*f - 3*h - 4. Is f at most as big as -1?
True
Suppose -2*g - 5*t - 6 - 7 = 0, -5*t = -3*g + 18. Let s be (-2)/2 + 54/50. Is g less than s?
False
Let u be 2/4*(0 - -2). Suppose 10 + 38 = -3*b. Let v be 12/b*4/18. Which is bigger: u or v?
u
Let l be 29/(-42) - (-2)/(-12). Which is bigger: -2 or l?
l
Let o = -96 - -97. Let n = -107/161 - -12/23. Is o greater than n?
True
Let b = 0.1 + -0.2. Let w = b + -0.1. Let h = 2 - 2. Is w less than or equal to h?
True
Suppose -5*o = 2*o - 0*o. Is -5/4 greater than o?
False
Let a = -261/14 - -4569/182. Is a at least 7?
False
Let y(v) = v + 4. Suppose -2*l + 4 = 3*g, 8*g + 4*l = 4*g + 8. Let j be y(g). Let m = j - 5. Is 1/7 at most m?
False
Let w be (-2)/7 + (-1)/((-21)/6). Let i = 1 + -1. Is w greater than i?
False
Let y = 4 + -13. Let g = y + 5. Let i = 7 + g. Which is bigger: i or 4?
4
Suppose -2*m + 2*a + 6 = 0, -2*m - 8 = -4*m + 3*a. Let q = -76/7 - -850/77. Which is smaller: m or q?
q
Let w be (-2)/(-6) + 2/6. Which is greater: w or 2?
2
Suppose 5*h - 7 = 8. Let m be 4/h*15/10. Suppose -p - m = -1. Which is smaller: p or -2/19?
p
Let h be (108/33 - 1) + -11 + 10. Is h > 1?
True
Let i = 1.08 + 0.12. Let p = 2.8 + i. Let h = -2.1 - -2. Is p >= h?
True
Suppose -5*f + 3*f = 0. Is f not equal to 0?
False
Let m = -0.87 + 0.87. Which is smaller: m or -2.9?
-2.9
Let i(l) = l + 7. Let g be i(-6). Let u = -141 + 54. Let q = -695/8 - u. Is g less than q?
False
Let l(a) = a + 1. Let b be l(-1). Which is smaller: -2 or b?
-2
Let z = 1456 - 10167/7. Do 4 and z have different values?
True
Let p be (-10)/(-6) - 22/33. Which is greater: 5 or p?
5
Let d = 13 - 8. Let r = d - 5. Is -2/7 greater than r?
False
Let l = 7 + -18. Is l less than -12?
False
Suppose -8*v = -5*v - 3. Is v < 1.5?
True
Suppose 0 = 4*m, -3*v - 9 = -4*v - 5*m. Which is bigger: 7 or v?
v
Let w(o) = -o + 2. Let i be w(-5). Suppose -25 - i = -4*h. Is 8 at least as big as h?
True
Suppose -2*i - 2 = -0*i. Let l be 9/(-36) + 15/28. Is i smaller than l?
True
Let l be (0 - (-26)/(-10)) + 3. Is l bigger than -0.3?
True
Let d = -1.17 - -1.07. Which is greater: d or -3.9?
d
Let f = 9 + -10. Let n be (0/(-1) - 1)/f. Which is smaller: n or -1/10?
-1/10
Let j(m) = m + 1. Let p be j(-1). Suppose 5*t = t - b - 26, p = 3*t - 5*b + 31. Is -8 smaller than t?
True
Let w = -2 - -2. Are w and -1/24 nonequal?
True
Suppose 3*u + b + 0*b = 10, -u + 8 = 5*b. Is 4 less than u?
False
Let f be (-10)/6 + 2/(-6). Let x be f + (-2 - (-4)/2). Is -2 greater than or equal to x?
True
Let f = -0.3 + -0.7. Is 14 >= f?
True
Let l be -4 - ((-160)/27 + 2). Suppose 1 = -s + 2. Which is bigger: s or l?
s
Let l = 14 + -10. Which is greater: l or -1?
l
Suppose -5*u + 21 = 1. Let x = 11 + -7. Is u > x?
False
Suppose 7*j - 35 = 2*j. Let t = j + -9. Let p be 1/t*(-18)/(-12). Is -2 smaller than p?
True
Let d = -3 + 2. Let f be 0 + 3/((-84)/38). Let c = 6/7 + f. Is d greater than c?
False
Let p be (-1 - 0) + -1 - -17. Suppose f + w = 13, 0*f - f + p = -w. Is 15 < f?
False
Let c(p) = 3*p + 14. Let o be c(9). Is 41 not equal to o?
False
Let v = -32/23 + 654/437. Suppose 18 = -2*n + 2*a, -n + 3*a - 2 - 1 = 0. Let m(p) = p**2 + 11*p - 12. Let u be m(n). Which is smaller: u or v?
u
Let s = -5/31 + 541/1240. Let n = s + 1/8. Suppose 0*y = 2*y - 2. Is n less than y?
True
Let d be 0/2 + 2/4. Suppose 2*i + 4*f = -18, 0 = 2*f + 3*f + 15. Let j be -3*(1 - 0)/i. Is d smaller than j?
True
Let r be 4/38 - (-1077)/57. Is r equal to 21?
False
Let c be (-1)/(-5) - (-40)/50. Suppose 5*a = c + 4. Which is bigger: a or 0?
a
Let b be (-6)/3 + 0 + -14. Which is smaller: -17 or b?
-17
Let f = 3.1 - 3. Suppose 0 = -9*y + 4*y - 15. Which is smaller: f or y?
y
Let s be (-6)/33 + (-19)/(-44). Is 1 greater than or equal to s?
True
Let t(w) = w + 13. Let p be t(-10). Suppose -a - 24 = p*a. Is a smaller than -7?
False
Let p be 1/3 - (-14)/(-6). Suppose -2*j - 2 = 2. Is p smaller than j?
False
Let o be ((-50283394)/(-22885))/(105912/(-10)). Let b = o - -21/67666. Let a = b + -3/199. Is -1 greater than a?
False
Let c(u) = -u + 5. Let n be c(7). Let r be (-2)/4*0/n. Suppose r = -4*o + 3*m - 9, -4*o + 9 = -m + 4*m. Is o greater than 2?
False
Suppose -1 - 3 = -g