
Let l = 6683 - 100247/15. Is 622 at least l?
True
Suppose -882 = -k - 5*k. Suppose -h = 3*p + 18, 2*h + 3*h + k = 4*p. Let v = -88 + 63. Which is bigger: v or h?
v
Let s = -8.85 + 8.7941. Let u = -209.9441 + s. Which is greater: -0.1 or u?
-0.1
Let k = 1/820 + -3383/410. Let x = -39 - -30. Is x < k?
True
Suppose -5*z = -5*q + 15, 2*q - 4*z + 49 - 63 = 0. Which is bigger: 77/3 or q?
77/3
Let u = 101835 - 101851. Let t(k) = 3*k**2 - 1. Let d be t(-3). Suppose 2*n - 4*n - d = 0. Which is greater: n or u?
n
Let u be (-69)/90 + (-14)/(-84). Is u at least -136?
True
Let x(v) = -44*v - v**3 - 39*v + 85*v. Let w be x(0). Is w not equal to 14/13?
True
Let b = 4380 - 4380.8. Is -1/5 < b?
False
Let w(i) = 254*i - 3319. Let k be w(13). Let r = 3 + -4. Let z be (38/8)/(r/4). Is z <= k?
True
Let s = 9287/3 - 119849/39. Let w = -1842642231195/1924 + 957714280. Let v = s - w. Is 1 not equal to v?
True
Let o be (-188)/820 + (-2)/(-5). Suppose 0 = j - 0*j. Is j > o?
False
Suppose -659 = -13*t - 377 + 1551. Which is smaller: t or 89?
89
Let w = -9912 - -7770. Which is smaller: w or 2/9?
w
Let c = 507.4 + -438. Which is greater: -3/7 or c?
c
Let h = -35343 + 35255. Let k = -188 - -100. Are k and h unequal?
False
Suppose -20 = 2*d + 4*j, -5*d + 38 = 2*j + 48. Which is bigger: 1/2850 or d?
1/2850
Let u(m) be the third derivative of m**5/60 + 13*m**4/24 + 2*m**3 + 4*m**2. Let z be u(-12). Let f be 6/729 - 1/(-3)*z. Is f less than 1?
True
Let x be 1/1*(-9)/3. Let r be (4/(-6))/(2/x). Let n = 9385 + -9368. Is n at most as big as r?
False
Let p = -4807 - -6902. Let i = p + -35605/17. Which is bigger: i or 0?
i
Let z = 392 - 680. Is -6 bigger than z?
True
Let p = 4.85 + -5. Let f = 4359.2 + -4358.2. Which is smaller: f or p?
p
Suppose -50095 + 11463 = 8*s. Is 0.1 <= s?
False
Let f(k) = k**3 - k**2 - 7*k. Let d be f(3). Are d and -1257/8 equal?
False
Let l = 8873 + -8876.14. Which is greater: l or 3/8?
3/8
Let d(q) = -64 + q**2 + 21*q - 20 - 3. Let g be d(-25). Is 37/3 smaller than g?
True
Let h = 337 - 323.92. Let x = -13 + h. Let t = 32/23 - 73/69. Which is smaller: x or t?
x
Suppose 0 = 4*c - 5*c + 4*a + 928, 0 = -2*a + 4. Let o be 5/3 - (-10104)/c. Which is smaller: 13 or o?
o
Let l(v) = -29*v + 783. Let g be l(27). Is -6/139 < g?
True
Let a be (-10*(-11)/(-770))/((-2)/225 + 0). Which is bigger: a or 17?
17
Suppose -3*j + 9 = 0, -4*s + j - 6 = -j. Suppose 22 = f + 3*a - s*a, 3*a + 13 = 4*f. Let y = 93 - 88. Is y <= f?
True
Let w = -120.4 - -122. Let m = 3.49 - w. Let d = m + 0.11. Which is bigger: d or -0.056?
d
Let j = 0.31 - 0.06. Let z = j + -0.12. Let m = 3.335 - 3.535. Are m and z nonequal?
True
Let z = -4402/119 - -212/7. Let a = -9113 - -9105. Which is greater: z or a?
z
Let s be (358/(-895))/(1/10)*134/56. Which is smaller: s or 1/7?
s
Suppose 15*s + 88 = 4*s. Let q be 263 - (2 - 3) - s. Are 272 and q equal?
True
Let j = 14.41 - 32.41. Is j < -3.4?
True
Let g be (-2)/((-8)/(-2))*(-1 + 27). Let q = -9 - g. Which is smaller: 6 or q?
q
Let l(d) = d - 4. Let r be l(4). Suppose -6 = -2*o - 5*v, 5*o + 4*v - 11 - 4 = r. Suppose -15 = -0*x + 5*x. Do o and x have the same value?
False
Let m be (239/2)/(1*(-6)/36). Let d = -1748761/2439 - m. Which is bigger: -1 or d?
d
Let i = 111 - 111. Let n be (-17)/(-102)*((-6)/16 + i). Is n equal to -18?
False
Suppose 41*p - 88 = 33*p. Suppose 2*a - p*a = 13*a. Which is smaller: 3/244 or a?
a
Let m = -3889 - -3887. Which is smaller: m or 14?
m
Let b = -218 - -160. Let j = 57.61 + b. Let x = -38 + 38. Do j and x have the same value?
False
Let x = 4965.016 - 4972. Let p = 5 - 4.984. Let f = x - p. Which is smaller: -3 or f?
f
Let y(p) = -97*p + 2523. Let z be y(26). Is -27/776 greater than or equal to z?
False
Let h be 12/(-300) + (-49567)/(-1178550). Suppose 2*z = -o - 2 - 1, 3*z + o = -2. Which is smaller: h or z?
h
Suppose 15 = 2*v + 1. Let g be (-984)/(((-6)/v)/(24/(-42))). Let n = g + 40018/61. Are 1 and n nonequal?
True
Let r = -2440.5 - -2407.6. Is 0.05 smaller than r?
False
Let o = -516919/311856348 + 3/71989. Is 0 > o?
True
Suppose 22*i + 34 = 39*i. Suppose 3 = -2*a + z, a - 9 = -a - 3*z. Suppose -x + i*l - 12 = -a*x, -3*x - 36 = -l. Which is greater: -15 or x?
x
Let c(y) = y**2 - 11*y + 1. Let o(b) = -2*b**2 + 5*b + 5. Let m be o(3). Suppose m*j + 14 = 36. Let h be c(j). Which is greater: h or -1/30?
h
Let f = -0.4001 + 0.0601. Let u = -54.63 + 55. Let g = u + f. Which is bigger: 2/3 or g?
2/3
Let o be (-2037)/(-802) - (-200)/(-80). Which is smaller: 0 or o?
0
Let t be (-3 + 11)*85/20. Suppose f = 5*r + 41, -2*r = 2*r - 2*f + t. Let q(o) = o**3 + 9*o**2 + 8*o + 2. Let k be q(r). Which is smaller: 20/9 or k?
k
Let k = -2713/9060 - 1/1812. Which is greater: -2/33 or k?
-2/33
Suppose -9*s - 1104 = -321. Let z = s - -125. Which is bigger: z or 33?
z
Let c be ((-116)/(-32) - 4) + 45993*(-17)/(-408). Which is smaller: 1915 or c?
1915
Let w be (-2512)/(-2826) + 2/18. Which is bigger: w or 4/3315?
w
Let l = -3187 - -3287. Does 90 = l?
False
Let b(k) = -6*k**2 - 17*k + 1. Let i be b(-3). Let y be (4 + 0 + -2)*i/(-37). Does y = 0?
False
Let o be ((-4)/18)/(35/(-315)). Suppose -4*z - 2 = 3*g - 12, -o = -3*g - 2*z. Is g != 57?
True
Let f = 37/5 + -1179/160. Suppose -10*r = -9*r + 3, 2*r = p - 16. Suppose -5*s - 5*z = -p, -4*s - z - 1 = -0*z. Which is smaller: s or f?
s
Let b be (4/(8340/9))/(50 - 51). Does -1 = b?
False
Let x = -4 - -5. Let p = -28025/21328 + 2/1333. Let z = p + 423/304. Is z at most as big as x?
True
Let b(v) = -v - 9. Let o be b(-8). Let h = -39478/187701 - 2/9879. Is o smaller than h?
True
Suppose 2*p - 36*o = -28*o + 88, 3*o = -3*p + 147. Which is smaller: 13 or p?
13
Let o = 1918 + -689. Is o at least 1228?
True
Let b be (141/6 - 25)*144/27. Suppose -p + 2*p + 3 = 0. Let a be 4 + p + 65/(-7). Which is smaller: b or a?
a
Let i = -2.5 + -15.6. Let t = i - -16.1. Which is bigger: -115 or t?
t
Suppose -4*t + 3*t - 2 = 0. Let f(v) = -v**2 - 12*v + 191. Let x be f(-22). Is t not equal to x?
True
Let o = 73 - 66. Let t be (51/(-5) + o)/((-2)/(-180)). Is -288 at most t?
True
Let f be (0/17)/(-2 - 0 - 0). Which is smaller: f or 585?
f
Let r = -0.01934 - -0.11934. Is 296/5 at most r?
False
Let l = 589/15975 + 2/639. Let x(c) = c**3 - 10*c**2 + 12*c + 36. Let a be x(8). Suppose 5*j + 8 = 2*d, -d + a = 22*j - 21*j. Is l greater than j?
True
Suppose 52*o + 1212 = 56*o + 2*l, 922 = 3*o - 5*l. Let v(x) = 2*x**2 + 18*x - 19. Let i be v(-18). Are o and i unequal?
True
Let h = 9875 + -9927. Are -579/11 and h unequal?
True
Let v = 732 + -24154/33. Suppose -3*u = 4*s + 20 - 8, u + 4 = 4*s. Suppose q - 4*k - 13 = s, -4*q + q + 4*k = -15. Which is bigger: v or q?
q
Let b = -247 + 114. Let o = b + 4127/31. Suppose -4*g - 5 = c + 3, c - 5*g = 10. Is o < c?
False
Suppose 3*l = 3*g - 9, 0 = -3*l + 2*g - 3 - 3. Let v = 5708 - 2357406/413. Is l != v?
True
Let x = -2226 - -2110. Is 12 < x?
False
Let a(c) = -3*c - 9. Let g(l) = l + 5. Let j(b) = 3*a(b) + 7*g(b). Let y be j(2). Suppose -y*k = h + 15, -2 - 3 = -h + k. Which is smaller: 8/23 or h?
8/23
Suppose 661*a + 66 = 67 - 662. Let x = 530223/167 + -3175. Is x < a?
False
Suppose -18 = -3*o + 3*z, -2*z + 5*z + 21 = 0. Do -24/181 and o have different values?
True
Let j(z) = z**2 - 56*z - 736. Let n be j(67). Is n smaller than -3/151?
False
Let d = 1994 + 12. Which is bigger: d or 2005?
d
Suppose 0 = 46*k + 30994 + 9946. Do k and -890 have the same value?
True
Suppose -3333 - 185523 = 344*k. Is -547 not equal to k?
True
Let k = -321 - -323.71. Let n = 0.99 + k. Is n at least as big as 3/5?
True
Let j = 258 + -224. Is 47 greater than j?
True
Let j = -1101227681/7775 - -141637. Which is smaller: j or -1?
-1
Suppose -16*q = 102*q + 22*q + 194180. Which is greater: 2/11 or q?
2/11
Suppose 5*o + 342 - 324 = 3*s, 2*o = -5*s - 1. Which is smaller: 2/313 or s?
2/313
Let b = 363329/10 + -36299. Is b equal to 33?
False
Let z be (-111)/140 - (-12)/30. Let j = z - -1299/3164. Let u be 0/(-6 + 2 - (-6)/6). Which is greater: u or j?
j
Suppose -3*t = 15, -3*w = -6*w + 2*t + 76. Let v(m) = -m**3 + 23*m**2 - 19*m - 65. Let k be v(w). Is k at most -4/25?
False
Suppose -2 - 16 = -2*r. Suppose 0 = -i + l + 10, -39*l = -6*i - 34*l + 67. Do r and i have the same value?
False
Let o(x) = -6*x**2 + 45. Let n be 