es?
True
Let q = 3.37 - 4.35. Let i = q - -0.58. Which is smaller: 2/41 or i?
i
Let i = 18871 + -18041. Are 838 and i equal?
False
Let s be (-4)/(1/(-87)*12). Let c(j) = 4*j + 4. Let l be c(4). Let o = s - l. Which is smaller: o or 0.2?
0.2
Let l(k) = -k**3 - 12*k**2 + 4*k + 69. Let x be l(-13). Suppose -4*i + 405 = -5*o - 340, -4*o - 4 = 0. Which is bigger: i or x?
x
Let z be 6 + 0/(-7) + -12. Let k be (-21)/42*z*1. Let f(b) = -2*b**3 + 2*b**2 - 1. Let d be f(-1). Is d bigger than k?
False
Let h be (-40)/(-36)*3 - (-10)/6. Suppose -2*n + 6 = -2*v, -2*n = -n + v + h. Are n and -2/1969 unequal?
True
Let a = -143 - -142. Let m be a - (7/6 - 2). Which is greater: -0.21 or m?
m
Let b be (-8342)/12*1 - 3/(-18). Let l be ((-4)/(-10))/(b/(-25)). Let z(p) = p + 4. Let n be z(-3). Which is greater: n or l?
n
Let h(f) = f**3 + 5*f**2 + 2*f + 13. Let a be h(-4). Suppose -12*m + 13*m + 3*n - 27 = 0, 3*m - 3*n - a = 0. Which is bigger: m or 20?
20
Let i = -25.35 + -4.65. Let d = -0.6 - -1.2. Let f = -0.5 + d. Is f <= i?
False
Let l be -42 + -3*(-7 + -7). Let c be (-164)/525 - (-8)/28. Which is smaller: l or c?
c
Let y be (-1)/(-7)*4 + 258/(-301). Is y smaller than -38/17?
False
Let p = -9.4 - -212.5. Let t = 203 - p. Is 2/17 >= t?
True
Let x(w) = -5*w**2 - 89*w + 31. Let v be x(-17). Suppose 0 = 5*k - 387 - 103. Is k smaller than v?
True
Let c(h) = 100*h + 8286. Let i be c(-97). Is i > -3?
False
Let k = -89 - -98. Suppose 7*a - 10*a = k. Does a = -36/13?
False
Let d = -94 + 97. Suppose d*l + 12 = 7*l. Suppose 8*b - 5*b = 2*j + 110, -5*j - l*b - 254 = 0. Which is bigger: j or -53?
j
Let h be 4/(-3)*30/10. Let m be h/(-26) - 540/(-39). Let c = m + -34. Is c smaller than -20?
False
Suppose 0 = -3*n + 28 + 248. Let b = 42 - -49. Which is bigger: b or n?
n
Suppose 5623 + 10068 = 391*h + 1224. Are -3/7 and h unequal?
True
Let r = 0.107 + 29.093. Let w = r - 29.35. Is 0.6 less than w?
False
Let i = 6.98 - -0.02. Let a = -0.212 - -106.212. Let y = 106 - a. Are i and y unequal?
True
Suppose 0 = -4*o + 10*v + 5692, -2202 = -3*o - 2*v + 2105. Which is smaller: 1438 or o?
o
Let w be (0 - -2)/(2/2). Let r be (-405)/(-36) + w/(-8). Suppose -r*v + 13*v - 6 = 0. Which is greater: v or -4?
v
Let a be 1*(3 + 3) + -12. Let s be 7/(16/28 - (-3)/a). Are 99 and s unequal?
True
Let s = -15205 - -18321. Which is bigger: s or 3115?
s
Let y = -0.3547 - -0.9547. Which is smaller: y or 17/13?
y
Let j(w) = -2*w**3 + 2*w**3 - 32 - 3*w**3 - 50*w + 8 - 26*w**2 + 2*w**3. Let g be j(-24). Let f(n) = 23*n**2 + 1. Let o be f(-1). Is o less than or equal to g?
True
Let a be -3 + (-12 - (8 + 2950)). Is a at most as big as -2975?
False
Let b = 37.777 - -0.323. Let o = 30.4 - b. Is o > 1?
False
Let r(d) = -79*d - 474. Let w be r(-6). Suppose -a + 2*p = 0, w = 5*a + 8*p - 7*p + 11. Let j = -8 + 3. Which is smaller: a or j?
j
Suppose -395 + 125 = -27*a. Is a equal to 81/8?
False
Let k = 146.9 - 146. Let o = k - 0.7. Is 0.26 < o?
False
Let h = 59112 + -59191. Let g = -129 + 901/7. Which is smaller: h or g?
h
Let w = -31704 - -31854. Let b(v) = 37*v**2 - v - 1. Let k be b(-2). Is w equal to k?
False
Let d = 15457 + -15312. Which is smaller: d or 2/21?
2/21
Suppose 2*l - 3277 = m, 10*m - 2656 + 944 = -l. Does l = 1647?
False
Let t = 0.0537 - -31.3863. Let i = -31 + t. Let a = 0.32 - i. Which is bigger: 0 or a?
0
Suppose 0 = 3*s - i - 1200, 11*i - 1191 = -3*s + 15*i. Is 441 bigger than s?
True
Let p be ((-10)/(-4) - 0)*12/15. Suppose -2*w + 334 = p*w - s, 5*w = s + 418. Is w bigger than 84?
False
Let j(z) be the first derivative of z**4/4 - 11*z**3/3 - 5*z**2 - 24*z - 82. Let c be j(12). Is -3/52 bigger than c?
False
Let d be (-1626570)/(-542185) + -4 + 1. Let y = -304708009/1409681 + d. Let x = -216 - y. Which is smaller: x or 0.2?
x
Let j be 48 + -58 + -1 + -15. Let c = 13 - 8. Which is smaller: j or c?
j
Let o(k) = k**2 + k - 10. Let n be o(3). Let v = 133 + -128. Suppose 5*t - 8 = -2*f, 3*f + 0*t = -v*t + n. Which is smaller: f or 1?
f
Let z = 188.78 - 186. Let i = -4.78 + z. Let m = 17 - 7. Is m at most as big as i?
False
Let l = -11134693/1131 - -9845. Is l bigger than 0?
True
Let g be 0/((-5)/((-10)/(-4))). Suppose -4*a + 3*w - w + 22 = g, -a + 1 = w. Suppose 0 = -a*c - 278 - 18. Are -73 and c non-equal?
True
Let x(l) = -2*l**2 + 60*l - 59. Let i be x(29). Let w be i/(-2)*(-25)/50*-8. Is w > -34?
True
Let z = -31.6 - -414.6. Let j = z - 285. Which is greater: j or 1?
j
Let h be (-8)/(-6) + 1/(-3). Let i = 313 + -221. Let d = i + -1561/17. Is h greater than d?
True
Suppose -4*o + 45 + 23 = 0. Let r be o/68 - (-313)/(-4). Let q be ((-3)/(-5))/(r/(-208)). Is 1 at most q?
True
Let f(c) = -c**2 + 18*c + 28. Let q be f(19). Let t = 25 + -19. Let s be (-7)/22 - (2 - q/t). Are s and -2 non-equal?
True
Suppose 187404 = 21*z - 211*z + 29*z. Is -1165 equal to z?
False
Suppose -2*q - 9 = -2*h - 15, 5 = 3*q + h. Suppose 2*a - 4*x = x + 18, x - q = -a. Suppose 0 = 4*m + 3*u, a*u = -u + 20. Is m >= 4?
False
Let m be 5/5*-4*76/(-16). Is 124/7 at least as big as m?
False
Let r = -0.926 + 0.954. Is r smaller than -19?
False
Suppose 6*t + 1671 = 1593. Let o be 8*(-5)/50*t/(-2). Are o and 0.1 equal?
False
Let k = -21615 - -22651. Is 1/4 smaller than k?
True
Let d = 599 - 588. Let u be 17466/1107 - (d/(-9) + 1). Suppose -3*p + 0*p = -54. Is u less than p?
True
Let o(t) = -t**3 + t**2 + t - 7. Let z be o(0). Let f = 222 + -128. Suppose 126 = -4*d + f. Which is smaller: z or d?
d
Suppose 0 = -51*f - 36*f + 1131. Is f >= 13?
True
Let d be ((-6)/(-2*6))/(4/120). Suppose 0 = 3*n - d*n + 444. Suppose -l - 42 - 30 = -2*h, -5*h + 180 = -2*l. Is h < n?
True
Suppose 3*s - 3*m = -33, -2*s + 12*m - 8*m - 22 = 0. Let g be (0 + -3)*((-54318)/4939 - s). Which is greater: g or 0?
0
Suppose 2*g = -5*t - 829, -8*t - 2*g + 491 = -11*t. Let h = t - -167. Which is smaller: 12/17 or h?
12/17
Let c = -15/22 + 293/462. Suppose 5*b = 48 - 18. Suppose 30 = -b*j + 24. Which is bigger: c or j?
c
Let c = 43574 + -40296. Do 3279 and c have different values?
True
Let r(p) = -12*p + 251. Let l be r(21). Suppose -2*w - 160 = w - 2*u, w - u = -53. Let z be 45/w - l/3. Is 7 at most z?
False
Suppose 49414 = 2*g + 2*z, 2*g = -3*z + 53199 - 3783. Let n be (-6)/(-21) + g/(-105). Which is greater: 0 or n?
0
Let p be 155 + (-5 - -6)*-5. Suppose -4*v - 2*c + p = 0, 0 = -2*c + 5 - 3. Let z be ((-1)/(-2))/(1/72). Is v smaller than z?
False
Let l be (-224841)/(-6036) - (0 + 36). Let u be 1 - (0 - (0 + 0)). Is l at least u?
True
Suppose -27463 = 2*y - j - 6803, 0 = -y + 2*j - 10339. Is -10327 at least as big as y?
True
Suppose -423*m + 1910 = -101*m + 20264. Suppose 25 + 15 = 5*b - 4*j, -4*b = j - 11. Suppose -46 = b*x + 186. Which is smaller: x or m?
x
Let m(x) = 3*x - 4. Let z be ((-8)/6)/((-26)/117). Let g be m(z). Let h be (-54)/g + 6 + -3. Which is smaller: -1 or h?
-1
Suppose -4*s + 5*o + 55937 = 0, -4*s + 2388 + 53519 = o. Is 13977 at least s?
False
Let a be (-3)/3*(-27 + 1). Let s(u) = 14*u**2 - 73*u - 13. Let z be s(6). Suppose z*n - 4*j = 58*n - 137, 140 = 5*n + 5*j. Which is greater: n or a?
a
Let p = 93833 + -758069/8. Which is bigger: p or -927?
p
Let d = 888 - 602. Let c = 1431/5 - d. Which is smaller: -5.4 or c?
-5.4
Suppose 2*a = 2*s - 124, -3*a = -s + 3*s + 191. Let c = 0.242 + -0.025. Let j = -0.317 + c. Which is bigger: j or a?
j
Let r be (2/(-1))/2*0. Let m = -6.61 + 34.38. Let a = m + -27.8. Which is greater: r or a?
r
Let f = 66.4 - 1721.4. Is -1 less than or equal to f?
False
Let g = -2/65251 + 94418219/717761. Is 132 less than or equal to g?
False
Let a be 66/(-12) - -6 - 2/4. Which is bigger: a or -90/61?
a
Suppose -4*p - 224 - 52 = 0. Let i = -21 - p. Is i < 1?
False
Let p = -15/97 + 5084/3395. Is 1 greater than p?
False
Let c be (2/(-40))/((-1305)/120). Let l = c + 23869/12180. Let q = l - 12/7. Are 1/30 and q equal?
False
Let d(y) = -2*y**2 - 23*y - 11. Let a be d(-11). Suppose 9*s - 19*s - 1060 = a. Is -107 at least s?
False
Let w = -12 + 8.8. Let j = 207 + -204.36. Let a = w + j. Are 1 and a unequal?
True
Let j be (-2*(-3)/30 - 1)/(504/(-127260)). Suppose -5*k = -m + 462, -3*m + 2*m + 276 = -3*k. Let c = j + k. Is 109 greater than or equal to c?
True
Let l(s) = 8*s + 90. Let n be l(-9). Let o be (1212/8*(-12)/n)/1. Which is b