(-649)/(-33) - 2/(-6). Let r be (-4)/d + (-28)/10. Which is smaller: r or t?
r
Let k = 37 - 27. Let h(d) = -d**3 + 10*d**2 + 7. Let j be h(k). Is 6 equal to j?
False
Let z be (342/(-12))/((-9)/6). Suppose 2*b + 17 = z. Let n = -5 - 0. Which is smaller: b or n?
n
Suppose 0 = -c - 274 + 802. Let x = 968 - c. Let f be 3/5 + (-504)/x. Which is smaller: 0.1 or f?
f
Let x = -3756 + 56428/15. Let l = -779/120 + x. Let t = -1 + 0. Do l and t have different values?
True
Let y = -969 - -983.23. Let d = 0.23 - y. Let n = d + 12. Which is bigger: -1/4 or n?
-1/4
Let z = -165 + 169. Let c = -4 - -7. Suppose d - 41 = z*b, 2*b - c*d + 24 = d. Which is smaller: -0.1 or b?
b
Let y = -1 + 1. Let t = -71.94 + -0.06. Let o = 73 + t. Which is smaller: y or o?
y
Let j = 20 + -6. Suppose 18 = -2*u + j. Let w be u/(-4)*(7 - 1). Which is smaller: 4 or w?
w
Let j be 5/(-2)*(-128)/(-19360). Which is smaller: 0 or j?
j
Let r = -745/42 + 85/6. Let w = 632 + -635. Which is smaller: r or w?
r
Let n = -4/61 - -69/122. Is -44 not equal to n?
True
Let q = 8 - 4. Suppose -m - q = -2*m. Suppose 5 + m = -3*w. Is 0.2 equal to w?
False
Suppose -4*x - 52 - 57 = -3*z, -5*z + 4*x + 171 = 0. Which is bigger: z or 30?
z
Let p = -0.1 - 23.9. Suppose 15*m + 12 + 3 = 0. Which is smaller: p or m?
p
Suppose -38*s + 37*s = -11. Is s >= 11?
True
Let u(d) = -5*d - 2. Let n be u(-2). Suppose -121 = n*o + 7. Do -20 and o have different values?
True
Let i = -599 - -417. Is -182 bigger than i?
False
Let f = 213 - 212. Is f less than 3/46?
False
Let z(w) = w**3 + 34*w**2 + 34*w + 33. Let p be z(-33). Is p bigger than -2/463?
True
Let l = -0.063 - 1.937. Let j(f) = 3*f - 33. Let n be j(12). Which is bigger: l or n?
n
Let o(t) = 13*t + 288. Let x be o(-26). Is 6 > x?
True
Let j = 557 + -453. Is j less than or equal to 102?
False
Let x = -43 + 28. Suppose 0 = d - 2*c - 3 + 2, -2*d + 3*c - 2 = 0. Is x greater than d?
False
Let x(m) = -m**3 + 6*m**2 - 4*m + 7. Let v be x(5). Suppose -2*o - 2 = -v. Let g be (o/10)/(2/(-3)). Is 0 smaller than g?
False
Suppose -2*s = -0*s - j - 48, -s = -5*j - 6. Suppose -p + 2*f = s, -5*p - 66 - 90 = 3*f. Let g be 16/24 - (-32)/p. Which is greater: g or 0?
0
Let l be 1 + -2 + (-3 - -13). Suppose -8*b + 5*b = -l. Let r be 0*(b/(-2) - -1). Are r and 2 equal?
False
Let p(q) = -16*q**2 + 20*q - 37. Let s(z) = -4*z**2 + 5*z - 9. Let f(l) = -2*p(l) + 9*s(l). Let j be f(3). Which is smaller: j or -1?
j
Let d = -0.11 + 10.11. Let z = d - 22. Let q = z - -12.2. Which is bigger: q or 0.1?
q
Suppose -28 - 26 = -18*y. Let x be (-1)/3*5*-3. Suppose 3*t - y = x*j, 5*j - t + 2 - 1 = 0. Which is smaller: 1/17 or j?
j
Let y be (-2)/((-14)/21) + 0 + 1. Suppose 0 = -3*p + y + 77. Is 26 < p?
True
Let n(g) be the second derivative of -g**4/12 + 4*g**3/3 - 6*g**2 + 21*g. Let w be n(5). Is 0 greater than or equal to w?
False
Let l be 7 - (3/2)/(14*(-18)/(-11592)). Let a be -1*(-2 - -1) - 63. Is a at most as big as l?
True
Let w = 22 + -19. Suppose 0 = -w*y - 0 - 3. Is 2/21 less than or equal to y?
False
Let n = -3978425/1096629 + -1/25503. Is n at least -5?
True
Let l = 96 + -102. Let o(w) = -w**3 - 8*w**2 + w + 11. Let z be o(-8). Suppose -5*b = -7 - z. Which is bigger: l or b?
b
Suppose 373*b - 372*b - 40 = 0. Is -24 greater than b?
False
Let r = 203 + -103. Suppose 9*f = -35 - r. Is -18 greater than f?
False
Let m(l) = -65*l - 318. Let b be m(-5). Suppose 5*j + 15 + 5 = 4*v, 2*v - 10 = -4*j. Is b not equal to v?
True
Suppose -u + 142 = 5*l, u + 3*l - 85 = 51. Is 130 greater than u?
True
Suppose 5*a = 2*s + 23, 2*a - 7*a + 19 = -s. Let p = 68 - 94. Which is bigger: a or p?
a
Let n = -0.0615 - -0.3115. Is 6 less than n?
False
Let o = 158 + -153. Suppose 0*p + 10 = -l + 4*p, 2*p = 4*l - 16. Is o equal to l?
False
Let f = -228 + 228. Are -24/35 and f unequal?
True
Suppose -3*c - 3*r = -15, -3*c + r = -3*r - 15. Let d = 231 + -240. Let i = d + c. Is i smaller than -4?
False
Suppose -2*h - 2*h - 20 = 0. Let u be (1/2)/(h/(-30)). Let w = -13 + u. Is -11 greater than or equal to w?
False
Let w(k) = -k**2 - k + 14. Let h be w(-4). Suppose -2*o = a - 15 + h, 0 = -4*o + a + 23. Which is smaller: o or 9/2?
9/2
Let d = -1705397 - -88685037/52. Let q be (-7398)/88 - (-50)/(-275). Let m = q + d. Is 0 < m?
True
Let j be (-2 - -1)/(1/(-49)). Let y be j/(-45) - 2/(-10). Suppose -4 = -2*m, 5*t + 4*m = 2*t + 8. Which is smaller: t or y?
y
Let a be 9/(-369)*(-2 + 1 + -1). Suppose -2*m - m + n + 2 = 0, 0 = 2*m + 5*n + 10. Which is greater: a or m?
a
Let i be (-1)/(-3) - (26/6 + 1). Let k be 20/(-2) + (i - -7). Which is smaller: k or -10?
-10
Let f be (-105)/300 + 2/10*3. Are f and 0.0052 nonequal?
True
Let g be (-2)/((-6)/(-846)*2). Let z = 108 + g. Which is bigger: -32 or z?
-32
Let a = 4.5 - 4.1. Let o be 3/(-2)*140/945. Is a greater than or equal to o?
True
Let q = 178 - 126. Let n be (-207 - 1)*(-1)/4. Is q >= n?
True
Suppose 6 = 3*b, -k + 21*b + 27 = 26*b. Suppose -28 = -2*h + 6. Is k < h?
False
Let s(w) = -w + 4. Let z be s(4). Let f = 54089/296 + 70/37. Let q = f + -185. Is q bigger than z?
False
Let g = -19 + 24. Let s be (g/(-2) + 3)*-204. Which is smaller: -101 or s?
s
Let h = 74 + -146. Let k = h - -51. Let j = k + 20. Are 0.1 and j non-equal?
True
Let j be 7 - (9 - (4 + -3)). Is 3/211 at least as big as j?
True
Suppose -2*f - 1 = -5*h + 1, -3 = -3*h + 3*f. Which is smaller: 6/19 or h?
h
Let j = 30 + -52. Let o = j + 43. Let x = o + -23. Which is greater: x or 0.02?
0.02
Let c = 7 + -3. Let l = -4 - -7. Suppose 0 = -k + l*k - 10. Is c greater than k?
False
Let p be (-1630)/45 - (-4)/18. Is p > -35?
False
Let b(k) be the first derivative of k**3/3 - 4*k**2 + 15*k + 7. Let d be b(5). Let m = -9074/4469 + 84/41. Is d >= m?
False
Let m be ((-5)/(-15))/(2/(-12)). Suppose -2*d - 2*d = 2*i + 8, 28 = -3*i - 2*d. Let l be (7 - 6)*i/9. Is l bigger than m?
True
Suppose -2*u + 4*g = -48, -g + 195 = 5*u + 42. Let k = 119 + -89. Is u > k?
False
Let v = -0.0718 - -0.0218. Which is smaller: v or 13?
v
Let n be (-3295)/(-30) + 2/12. Suppose -n*j = -111*j + 21. Which is smaller: 22 or j?
j
Let c = 267 + -269. Do 0.034 and c have different values?
True
Let c(q) = -q + 2. Let y be c(-1). Let k be (2/y)/((-65)/15). Which is smaller: k or -1?
-1
Let q = 162 - 121. Is q <= 41?
True
Suppose -n = 4*n - 65. Suppose -5*p + n = 3. Let k(f) = 2*f + 1. Let h be k(-1). Which is greater: p or h?
p
Let a = -177 + 185. Let h = 13 + -4. Are a and h nonequal?
True
Suppose -25 = 3*z - 8*z. Suppose -z*x = 3*o - 8, -2*o = 4*x - 2*x. Let p be (-7 - -4)*4/6. Is o equal to p?
False
Suppose 0 = l + 5*t - 10, 3*t - 8 = -l - 0. Let u(r) = r**2 - 2*r - 6. Let m be u(l). Suppose -5*o = -4*g + 57, -o = -g + 7 + 6. Which is smaller: m or g?
g
Suppose -8*v + 4*v = -12. Suppose -r + 460 = -v*r. Let a be 2/(-11) + r/(-55). Which is smaller: a or 3?
3
Let i be (2 - 1)*6/(-9). Let v = -56 - -36. Let y = v - -20. Is i at least as big as y?
False
Let f = 350 - 271. Suppose -2*t + 0*t = -160. Which is smaller: t or f?
f
Let x = -1812 - -1809.859. Let d = -0.141 - x. Suppose 5*b + 15 + 0 = 0, 2*b = -4*q + 38. Is q less than or equal to d?
False
Let j = -276 + 275.58. Which is smaller: -1/2 or j?
-1/2
Suppose -2*y + y = -0*y. Suppose y = -2*h - h. Which is smaller: h or 3/4?
h
Let u be -3 - -2*95/(-40). Which is bigger: -8 or u?
u
Suppose 21 = -5*t - 3*q, t = -3*t - q - 21. Let a be (t/4)/(24/32). Let x be ((-3)/a)/((-225)/(-12)). Are x and 1 equal?
False
Let x be ((-54)/(-9) - 3) + 198. Are x and 1002/5 non-equal?
True
Suppose 2 = 11*b - 10*b + 2*r, 2*b = -5*r + 5. Suppose 3*u + 9 = 0, -5*u = j - b + 16. Do j and -5/28 have the same value?
False
Let v(f) = -58*f + 21. Let z be v(19). Is -1080 != z?
True
Let f = 4 - 5.5. Let o = 0.5 - f. Let j = o + -9. Which is smaller: j or -1/4?
j
Let r = -60 + 58.6. Let g = 1.4 + r. Are g and -4 non-equal?
True
Let y = -2.7 - -2. Let d = 0.7 + y. Let p = 55 + -54.9. Is d not equal to p?
True
Let s = -3.75 - -3.1. Let n = s + -0.35. Is n at least -4?
True
Let h be (-2744)/(-91) - (-6)/(-39). Is h bigger than 30?
False
Suppose 2*u = 6, -s + 4*s = 2*u - 9. Let t(y) = -4*y**3 - 1. Let z be t(s). Suppose 9 = 3*f - z*v, -v = 2*f + 4*v + 22. Is 6 at least as big as f?
True
Let m = 17 - 4. Is m < 9?
False
Let b be ((-2)/(-10))