 is smaller: -23 or d?
-23
Let v = 6 - 3. Let o be v/9 - 177/45. Suppose 2*u = 3*b + 9 + 2, -4*b + u - 18 = 0. Is o at most as big as b?
False
Let m = 215 - 340. Is -125 > m?
False
Let r be 36/9 + (1968/10)/(-2). Which is smaller: r or -95?
-95
Let n be (-6)/8 + (-715)/(-52). Let j = 12 - n. Let c be 5 + -4 + 7*j. Which is greater: -7 or c?
c
Suppose -4*b + 112 = 4*b. Let f be (-10)/245*-7 + (-32)/b. Let n = 29/8 - 35/8. Is n != f?
True
Let v be (-5)/10 - (-5)/(-2). Let k be -2 + 1/(v - -4). Which is smaller: k or -1/13?
k
Suppose -4*u + 4*o = 16, 4 - 14 = 3*u - 4*o. Let y be (4/u)/(24/459). Let a = y + 9. Which is smaller: a or -3?
a
Let k be (-21)/(-7)*(-2)/(-14). Suppose u = -5*y, 2*y + 3*y = 0. Let x be u/(4/4 + 2). Is k equal to x?
False
Let q(t) = -t**3 + 1. Let d(b) = 64*b**3 + b + 5. Let x(s) = -d(s) + 4*q(s). Let j be x(-1). Let z be 3/2 + j/(-56). Which is smaller: z or -1?
-1
Let y = 0.282 - 0.43. Which is smaller: -1 or y?
-1
Let f = -0.525 + 0.005. Let g = f - -0.1. Is g equal to 0?
False
Let p(b) = 2*b**3 + 8*b**2 + 2*b - 12. Let w be p(-3). Suppose 8*a - 5*a - 4*f = 8, 2*a + 4*f = -8. Is a > w?
False
Suppose -3*s - 12 = -2*s. Let j = s - -12. Let h = 90/371 + -3/106. Is h < j?
False
Let g = -0.079 + -7.921. Let d be (-36)/(-10) + 2/5. Suppose 3 - 7 = d*f. Is g less than f?
True
Suppose 0 = 4*z - 6*z. Suppose 4*m - 5 - 11 = z. Suppose 2 = 2*g + m. Is g != 0?
True
Suppose 0 = 2*k + 2*c - 46, -2*k - 4*c = -c - 48. Let u = 25 - k. Is 0.07 less than or equal to u?
True
Let u be (-24)/(-15)*(-7)/(-28). Which is smaller: -0.0123 or u?
-0.0123
Let u = -1/10 + 3/5. Are 0 and u unequal?
True
Suppose -3*c + q = 29, 2*q - 23 = 4*c + 15. Let v be (-48)/15 + (-2)/c. Let z(g) = -2*g + 8. Let f be z(6). Is f <= v?
True
Suppose -v - 2*v - o + 2 = 0, 0 = 4*v + 4*o - 16. Which is bigger: 2/1273 or v?
2/1273
Suppose 0 = 11*x - 16*x + 175. Suppose 0 = -x*b + 38*b - 126. Which is bigger: b or 41?
b
Let k be (-10)/(-45) + (-2)/9. Suppose k = 16*n - 3*n + 1209. Are -93 and n nonequal?
False
Let i = 914 + 190. Let p = i + -5563/5. Which is smaller: -8 or p?
p
Let s(h) = -55*h**2 + 2*h - 33 + 56*h**2 + 11*h. Let g be s(-15). Is -5 greater than g?
False
Let z = -83/8 + 81/8. Is -158 at most as big as z?
True
Let l be 64/(-44) + 2/2. Let h(i) = -2*i**3 - 5*i**2 + 2*i - 1. Let o be h(-3). Suppose -2*c + 3 = 5*k + o, 4*k = -2*c. Is l at least k?
False
Let g be 13/((-2)/(0 + -2)). Let u = -69 + 121. Suppose -6*p + u = -2*p. Are p and g unequal?
False
Let t(x) be the second derivative of -x**4/12 + x**3/6 + 5*x**2/2 - 36*x. Let s be t(9). Which is smaller: -66 or s?
s
Let b(k) = k + 1. Suppose -3*p - 7 = o + 1, -o = 5*p + 12. Let h be b(o). Let q be -9 - ((-31365)/195)/17. Which is smaller: h or q?
h
Let d(t) = t**2 - 2*t + 9. Let m be d(-6). Let s be 12/30 + m/270. Let y = 1/18 + s. Is y smaller than -1?
False
Let l be (26/(-5))/(14/(-35)). Is 0 >= l?
False
Suppose -13*j + 18*j = 525. Suppose -7*c - j = -12*c. Is 21 at least c?
True
Suppose -15 = -4*j - 3*h, 0 = 2*j + 3*j - 3*h - 39. Suppose j*z = 3*z + 9. Suppose -d + 3*q = d + 9, 0 = -3*d - z*q + 9. Is 0 less than or equal to d?
True
Let g = -0.12 - -0.26. Let n = g - 0.24. Is 0.6 at most n?
False
Suppose -293 - 207 = -10*f. Let l = f - 556/11. Let g = 1 - 1. Which is bigger: l or g?
g
Let n be (-225864)/(-56460) + (-20)/(3 - -2). Which is greater: 0 or n?
n
Let b = 646 - 492. Are 621/4 and b non-equal?
True
Let k = -535/3 + 178. Which is smaller: -28 or k?
-28
Let r be (-1 - -2)*44/4. Let x be ((-46)/r - 3) + 6/33. Do x and -17/3 have the same value?
False
Let n = 38 - 21. Let x = -36 + 30. Let z(s) = 2*s**2 + 8*s - 6. Let u be z(x). Are u and n non-equal?
True
Let n(y) = -6*y - 3. Let a be n(-3). Let k be a/21 + (-6)/(-21). Let s be (3 - 9)*k/(-51). Is s smaller than -1?
False
Let l(s) be the third derivative of s**5/60 + 3*s**4/8 + s**3/3 - 2*s**2. Let o be l(-7). Let z be (2*(-1)/(-6))/(63/(-2079)). Which is greater: o or z?
z
Suppose -14 = u + 2*r, 3*u - 5*u - r = 37. Let p be 25/u - 2/(-8). Which is smaller: p or -12/13?
p
Let l(p) be the first derivative of p**4/4 + 8*p**3/3 - 5*p**2 - 9*p + 1. Let s be l(-9). Suppose 5*j + 5 = -s. Which is bigger: j or 2/7?
2/7
Suppose -13 + 3 = -2*v + 2*o, -3*v + 2*o + 16 = 0. Suppose r = 4*r + v. Let f = 2/55 + -116/165. Which is smaller: r or f?
r
Suppose -208*w - 3942 = -214*w. Is w less than or equal to 657?
True
Let h be ((-7)/(-21))/((-129)/9). Which is smaller: -1 or h?
-1
Suppose -138 = 5*y + 2*i, 7*y = 4*y + i - 85. Let o be (-10)/(-15) - (-2)/6. Which is bigger: o or y?
o
Let x = -130 - -130.44. Let n = -1.94 + x. Is -0.4 at least n?
True
Let q(n) be the first derivative of -n**3/3 + 7*n**2/2 + 13*n - 18. Let m be q(8). Do 8 and m have the same value?
False
Let o be (-44 - 5) + 1 - 5. Is -56 greater than o?
False
Suppose 116*y = 124*y + 240. Which is greater: y or -7?
-7
Let o = 5765186/241 - 23922. Which is smaller: 1 or o?
o
Let m = 3 - -3. Suppose 6*i - 84 = 3*i + 3*o, -i = -4*o - 16. Suppose 4*f = g + g + i, f - 2*g - 11 = 0. Is f != m?
True
Let w be (-1)/((-785)/3130) - 4. Is w >= 1?
False
Suppose 0 = t - 16 + 4. Let y = 1224 + -1275.9. Let k = 52 + y. Is t at least k?
True
Suppose -10 = -4*g - 2*w, 5*g - 5*w = -10 - 15. Is 8/23 bigger than g?
True
Suppose 2*r + 7 = -0*r + y, -5*r + y = 25. Let u be -4 + 7 + r + 4. Let w be -1 - u*(-9 + 4). Is w < 4?
False
Let i = 1154 + -656. Let l = 3459/7 - i. Are l and -5 non-equal?
True
Let a(t) = -t + 0 + 22 + 3*t - 5*t. Let u be a(7). Which is bigger: 6/11 or u?
u
Let c be 40/(-5) + (-229)/6. Does c = -46?
False
Suppose -19*f + 20*f = 310. Does f = 311?
False
Let w be (-102)/(-13) - (20 - 16). Which is bigger: w or 4?
4
Let h = 38698/591465 - 20/301. Which is smaller: h or -1?
-1
Let z = -300.8 + 215. Let k = z + 86. Which is smaller: k or 10/3?
k
Let g = -1105 + 1125.98. Let y = g + -21. Is y at least as big as 6?
False
Suppose y - 4*j = -4*y + 34, 2*j - 8 = 0. Let q = -7 + y. Is 5 at least q?
True
Let y(x) = -8*x + 16*x - 12 - 9*x. Let p be y(12). Which is greater: p or -23?
-23
Suppose 0 = 5*r - 3*o - 9, 5 = -3*o - 4. Let f = r + -2. Let d be (8/20)/((-8)/10). Is d at least f?
True
Let s = 1877 - 16865/9. Let c = s + -1363/441. Is c bigger than 0?
True
Let l = -24/13 - 463/52. Let r = 309 - 320. Which is greater: r or l?
l
Let a = -2558 + 28135/11. Which is greater: a or 1/12?
1/12
Suppose -6*d = 3*d - 432. Is d at least as big as 49?
False
Let a = 436 - 450. Suppose 0 = 5*o + 4*j + 87, -3*j = 5*o - 5*j + 69. Which is bigger: o or a?
a
Let g = -8639/93931 - -4/1189. Is g greater than 0?
False
Let j be (-1)/4*(-4)/(-3). Let b = 0.132 + 33.868. Let x = b + -34.13. Is x at most as big as j?
False
Let w(n) = 104*n - 103. Let o be w(1). Is o smaller than -1/428?
False
Let k(c) = 42*c - 380. Let d be k(9). Is 37 greater than d?
True
Let i(s) be the first derivative of s**4/4 + 2*s**3/3 + s**2/2 + 2*s - 6. Let u be i(-2). Suppose u = 7*w - 5*w. Is -3/5 not equal to w?
True
Let s(l) = -2*l + 1. Let n be s(6). Let t be (-235)/(-45) - (-6)/(-27). Suppose 4*a - t*a - 10 = 0. Which is smaller: a or n?
n
Let l be (0 - -10) + 39/(-13). Suppose 462 = 14*h - l*h. Is h < 66?
False
Let h = 2.19 + -1.99. Are h and -38/9 unequal?
True
Let y(o) = -o - 10. Let d be y(-10). Suppose d = 2*p - 4*l - 14, 0 = p + 4*l + 2 + 3. Is p > 3?
False
Let y = 20 + -20. Suppose y = 5*n - 9 - 16. Suppose -27 = -4*p + 13. Does n = p?
False
Suppose -9*a - 354 = -12*a. Is a greater than or equal to 116?
True
Let x be (28/49 + 111/(-84))*604. Is x less than or equal to -452?
True
Let z be ((-93)/(-12))/(3/3). Are z and 8 equal?
False
Let d = 0.11 + -0.21. Let v = 0.2 + -2.1. Let k = v - 5.1. Which is smaller: d or k?
k
Suppose -837 = 22*s + 197. Are -46 and s non-equal?
True
Suppose c = 3*v + 8, 0 = 3*c + 4*v + v + 4. Suppose -2*o + 2 = -m, -o - o = -5*m - c. Is o not equal to 2?
True
Let j be 2/38*(-14)/(-35). Let t be (11/(-11))/(4*1). Is j less than t?
False
Suppose 2*h + 2 - 6 = 0. Which is greater: 35/17 or h?
35/17
Let j = 4002 - 12398/3. Which is smaller: -130 or j?
j
Let x be 3 + (-291)/84 + 6/8. Do x and 195 have different values?
True
Let i = -4961937/143 - -34699. Is i smaller than 1?
True
Let o(g) = g**3 + g**2 - 19*g + 8. Let r be 