x + 13 + 14 = 0. Let k be (-39)/75 + x/15. Which is smaller: 0 or k?
0
Let m = -55286/51 + 1084. Which is bigger: -2/7 or m?
m
Let v = -28 - -34. Let j be (-8)/(-60)*5*15. Let s(c) = c - 5. Let n be s(j). Which is bigger: v or n?
v
Suppose 4*h + 3*f + 27 = -0, -13 = -4*h + 5*f. Let u be 22/(-3) - 1/h. Let y(k) = k**3 + 7*k**2 - k - 9. Let r be y(u). Which is bigger: -3 or r?
r
Let y = 528 + -424. Which is smaller: 102 or y?
102
Let h = 165 - 271. Let p be (-8)/(-36) + h/(-9). Let m be (-7)/(-4) + p/48. Is m less than or equal to -0.5?
False
Suppose -6 = 2*o, 3*l + 4*o + 3 = -0. Suppose l*t + 4*r - 1 + 3 = 0, 3*r = -4*t - 5. Are t and -1 non-equal?
True
Let g = 71 - 18. Let i = -637/12 + g. Are 1 and i unequal?
True
Let n be 39652/(-322) - 1/(-7). Which is greater: -122 or n?
-122
Let v be (-60)/(-25) - 2/5. Let z = v + -3. Let x = z + 0. Which is greater: x or -1/14?
-1/14
Let g(m) = m**3 - 34*m**2 + 30*m + 118. Let y be g(33). Which is greater: 29 or y?
29
Let h(q) be the third derivative of q**5/30 - q**4/3 - q**3 + 4*q**2. Let c be h(5). Suppose 0 = -2*y - 4, 3*f = -y - c*y + 29. Is f > 12?
True
Suppose 0 = 4*u - 5*b - 2357028, -3*b = -5*u - 690378 + 3636676. Let x = -355914105/604 + u. Let z = 2/151 + x. Which is greater: z or 1?
1
Suppose 11*a = 6*a - 195. Let j = 605/1202 + -2/601. Which is smaller: a or j?
a
Suppose -2*b = -5*b - 3*m - 18, -m - 1 = -4*b. Suppose -k + 2 = -2*o, -2*k + 5 = 2*o - 5*o. Suppose 5*f - 5*t = -o - 9, 6 = -3*f + 2*t. Which is bigger: b or f?
b
Let r be 2*(1 + (-28)/29). Let q = 36 + -31. Suppose 5*w - 5 = -0*h - h, 0 = q*h. Are w and r unequal?
True
Let l = 37 - 34. Suppose 2*x + z + l*z - 26 = 0, 4*z - 23 = -x. Which is greater: x or 2?
x
Suppose -6 = 7*f + 1. Is 6/161 at most as big as f?
False
Suppose -5*c - 10 = 5*m, -m = 2*m - 4*c - 1. Is m >= -64?
True
Let k be (-3)/(-12)*4 - -3. Let o(b) = b**2 - 3*b + 1. Let m be o(k). Let z(t) = t + 10. Let w be z(-6). Which is smaller: w or m?
w
Let z = 11 - -32. Let u = -40.8 + z. Which is bigger: u or 0?
u
Suppose 0 = -3*i + 3*g + 2*g + 868, 3*i = 4*g + 872. Let h be -2*(i/(-100) + 3). Let r be (1/2)/((-5)/10). Which is smaller: h or r?
r
Let z = -6440164/261 + 24675. Which is smaller: z or 0?
0
Let x = 1368 + -1890. Which is greater: -0.1 or x?
-0.1
Suppose -3*a - 26 - 70 = 0. Let b = a - -31. Is b >= -2/7?
False
Suppose 5*n + 279 = -j, -2*n - j - 223 = 2*n. Let q = n - -32. Are -24 and q unequal?
False
Let s = 1.6 - 12.6. Let l = 31 - 20. Let d = l + s. Which is bigger: d or -5?
d
Suppose 60 = -2*k + 5*k + 3*g, -18 = -k - 2*g. Let v = -11 + k. Do 11 and v have the same value?
True
Let f be (-3 + 6)/(6/8). Suppose -4*x - 17 = 3*c, 2*x + f*c - 3 = -9. Let l be (2 + -1)/((-1)/x). Which is smaller: l or 2?
2
Let i be (5/(-10))/(1/2). Which is smaller: -43 or i?
-43
Suppose -3*k = -k. Let m(i) = i**2 - i + 8. Let s be m(0). Let w be (s/(-170))/((-4)/10). Which is smaller: w or k?
k
Let d(o) = -38*o**2 + 725*o - 59. Let h be d(19). Let f = 43/2 - 89/4. Which is smaller: h or f?
h
Let r = -21 - -15. Let w(y) = y**3 + 8*y**2 - 7*y - 4. Let a be w(r). Let f be 2/4 - 143/a. Is -0.1 < f?
False
Let i = 59.3 + 12.7. Let a = -71 + i. Which is smaller: -21 or a?
-21
Let i(v) = 0 + v**2 - 7*v**2 + 3. Let k be i(-2). Are -20 and k unequal?
True
Let p = -9 - -14. Let l(m) = -m**3 + 5*m**2 - m + 3. Let c be l(p). Let n be c - (-3 + 4/1). Is -2 greater than n?
True
Suppose -4*a = -9*a - 15. Let r = a - -6. Suppose -v + l - r*l = 4, 2*v - 5*l = 28. Is 3 < v?
True
Suppose 64 = 5*y + 19. Suppose -7*f = -y*f. Which is greater: -1/23 or f?
f
Let c be (3/9*-6)/(-3). Which is greater: c or 0.77?
0.77
Let u be (-4)/(-6) + 229054/318. Let q = u + -721. Let t = -10 + 10. Is q smaller than t?
True
Suppose 0 = 4*x - 2*j - 456, 0 = 3*x - 7*x - 3*j + 466. Let l be 1/(-4)*(-40)/x. Let t = 0 - -1. Which is greater: t or l?
t
Suppose 2*s = q - 38 - 1, 2*s + 3*q + 43 = 0. Which is smaller: s or 0.5?
s
Let p be (2 + -1)/(1/(-13)). Let s(w) = 15*w - 1864. Let a be s(124). Is p greater than a?
False
Let t = -91 - -84. Let a = t + 10. Is 0.01 at least as big as a?
False
Suppose -5*u - 86 = -4*t, -t - 22 - 44 = 5*u. Let v be 3 + (-1 - (-6)/4)*u. Which is greater: v or -3?
-3
Suppose 4 = -5*m - 1. Let q = 125/176 + 168715/1584. Let w = -107 + q. Is m less than w?
True
Suppose 0 = 3*l - 2*a - 3, 7*a = 2*l + 2*a + 9. Let p(b) = b - 3. Let c be p(l). Which is smaller: c or -4/13?
-4/13
Let g = 0.6 + -1.9. Let d = -0.7 + g. Is -2 != d?
False
Suppose 396*a = 403*a + 56. Let q(g) = -g**3 - g**2 + 3*g - 2. Let j be q(2). Is j less than a?
False
Let o = 124/213 - 1727/2982. Are o and -1 equal?
False
Let x = -4 - -4.1. Suppose 67*s = 71*s. Which is smaller: s or x?
s
Let c = 205 + -151. Do c and 54 have the same value?
True
Let d = -1214 + 1243. Which is smaller: 148/5 or d?
d
Let c(j) = -2*j - 29. Let b(s) = -17*s + 17. Let m be b(2). Let l be c(m). Which is bigger: 0 or l?
l
Suppose -29 = -4*z - 5*w, 4*z - 7*z + 2*w = -16. Let y(g) = 6*g + g - 6*g + 20. Let v be y(-12). Which is smaller: z or v?
z
Let h be (2 - 9)*(-1 - -2). Let j be 4/h*(-5)/(-2). Let b be -1 + 4 - (-10 - -14). Are b and j unequal?
True
Let f = -22 - -15. Let j be 3 + -1 + (-8 - f). Let i be (j - 0)/(-1) + 10. Do 9 and i have the same value?
True
Let i = 73.61 - 74. Let t = -15.09 + 15. Let p = t - i. Is p > -2/7?
True
Let v = -50 + 69. Suppose -v*w + 28 = -15*w. Which is greater: w or 22/3?
22/3
Let z = -23 + 103. Let y be (-208)/z + 0 + 1. Is -2 < y?
True
Suppose 17280 = 34*b - 4*b. Is 577 at most as big as b?
False
Let m be ((-3)/(-18))/(2/8). Let p = 1516 + -1510. Is p < m?
False
Let j = 392.8 - 393. Which is bigger: -278 or j?
j
Let o be 0 + 2 - (-70)/(-32). Let v(t) = -56*t + 1. Let l be v(0). Is l smaller than o?
False
Let x = 11 - 10.9. Let q be 56/6 - (-30)/(-90). Does x = q?
False
Suppose -b - 20 = -2*b - 4*q, 0 = -5*b + q + 58. Suppose -3*u = 27 + b. Let g = -15 - u. Which is smaller: g or -0.1?
g
Let y be ((-17)/(-2))/((-1)/62). Let k = 14227/27 + y. Let f = -38 - -39. Which is smaller: f or k?
k
Suppose -4*a = 4 + 4, -79 = 5*c - 3*a. Are c and -16 unequal?
True
Let t(b) = -5*b + 6. Let i be t(4). Let z(j) = -j + 1. Let w(d) = -d + 14. Let g(v) = -w(v) + 2*z(v). Let r be g(i). Which is smaller: r or 3?
r
Let c = -64 + 68. Suppose -5*q = -q + c. Which is bigger: 6 or q?
6
Let h(x) = 2*x**2 - 45*x - 30. Let o be h(25). Let q = 89 - o. Let s be (-5)/(1 + 0/2). Which is greater: q or s?
s
Let r = -2 + 1. Let a(t) = -4*t**3 - 2*t**2 + 4*t + 5. Let p be a(r). Is p greater than or equal to -5?
True
Let s = 50 - 19. Let b = 40 - s. Is b at least 1?
True
Suppose 5*l = 7*l - 988. Suppose -t - 642 = l. Let i = t - -5698/5. Which is smaller: i or 5?
i
Suppose 5*s = 5*g + 66 - 11, -3*s = 0. Let b = -8/65 - 1/13. Is g less than b?
True
Suppose -5*y - 174 = -2*y - 2*w, -2*w = 5*y + 306. Let s be (y/27 - 0) + 2. Suppose -u + 5 = -4*d, 0 = 2*d + 3*u + 2*u - 3. Which is smaller: s or d?
d
Let v = -868 + 915. Is -0.1 greater than or equal to v?
False
Suppose -5*d - 112 = -3*d. Let z be (-82)/d - (-6)/24. Let v(b) = -2*b + 19. Let l be v(9). Is z <= l?
False
Suppose 3*l + 4*b = 785, -5*b + 289 = -4*l + 1346. Which is smaller: l or 262?
262
Suppose 3*d - 4 = 3*i + 2*i, -5*d + 16 = i. Suppose -68 = -d*w + 3*r - 5, 5*r = w - 17. Suppose 0 = 2*g - 4*g + w. Are g and 10 nonequal?
True
Suppose -130 + 19 = -f. Let m be 3/f*15/(4 + -9). Is m equal to 1?
False
Let x(g) be the second derivative of -g**5/20 + 5*g**4/6 + 5*g**2 - 4*g. Let i be x(10). Let b be 1/i*(0 + 2). Is -2 bigger than b?
False
Suppose -h = -1 + 13. Let z be 3/h + 1203/540. Let r = 16/9 - z. Is r at most 4?
True
Suppose 3*m + 0*x - 4*x + 4 = 0, -m = x - 1. Suppose -5*s - i + 343 = m, 0*i = s + 5*i - 83. Let b be s/(-160) + 4/5. Does b = 1?
False
Let m = -267 - -801. Let h = m + -31508/59. Which is smaller: h or 0?
h
Let f = -21.15 + 21. Let s = f + -0.05. Which is smaller: -8/9 or s?
-8/9
Let a = 6/161 + -397/14973. Let o = 8/217 + a. Which is bigger: -1 or o?
o
Let h be 42740/(-36) + (-6)/(-27) - 3. Is h equal to -1191?
False
Let k = -21 - -20.7. Let g be (-1)/4*-4 - 0. Which is smaller: k or g?
k
Suppose 2*v = 8*v. Which is greater: v or 9/11?
9/11
Let u = -13.9 + -0.1. Let h = 15 + u. Is 