x. Suppose -2*v + 5*y = -15, 0 = 2*v - 2*y + 4*y + 6. Which is bigger: v or l?
l
Let r be (-1754)/(-12236) - 290/3335. Are r and 0 non-equal?
True
Suppose 4*y - 30 = 5*z + 7, 4*z = -y - 17. Suppose -2*t - 7 - 4 = -3*g, -2*t + 7 = y*g. Let w(j) = 10*j**3 + j**2 - j. Let l be w(1). Are t and l non-equal?
True
Let x = 1.1 - -3.9. Let a = 167545 - 167497. Which is bigger: a or x?
a
Let f be (1*24)/((-2)/4). Let z be 4998/(-102) + -2 + 4. Is f at least as big as z?
False
Let s = 3537 - 3535.467. Let x = s - 0.033. Is 1/2 greater than x?
False
Let m(x) = -45*x + 360. Let z be m(8). Which is bigger: z or 4/8919?
4/8919
Let x = 0.8 - -6.2. Let k = 3515 + -3500. Which is smaller: k or x?
x
Let v = 9435925/219 - 43088. Let o = v - 6/73. Let j(w) = -w**2 + 3*w - 2. Let k be j(3). Is o at least as big as k?
True
Let l be (-1)/20 - ((-3612)/140 + 26). Is -105/4 at least as big as l?
False
Let q(g) = -g**2 - 19*g + 252. Let j be q(11). Which is greater: -23 or j?
-23
Let h be ((-137)/(-6165))/(1/27). Let k(q) = -2*q**3 - q**2 - 2*q - 1. Let a be k(-1). Which is smaller: a or h?
h
Let a = -19083 - -19148. Is a greater than 3.1?
True
Suppose 100*t - 39*t - 25071 = 0. Which is bigger: t or 409?
t
Suppose -12 = -4*g + 4*a, 4 - 10 = -g + 2*a. Let d = 61 - 191. Let y be ((-30)/d)/(15/2). Is g >= y?
False
Let l(h) = -h**3 - 11*h**2 - 3*h + 22. Let z be l(-11). Let j be ((-3)/(-33) - (-5550)/z)*1. Is j less than or equal to 103?
True
Let o = -3094 + 1972. Let h = -1118 - o. Let f = -0.74 - -0.6. Which is smaller: f or h?
f
Suppose 0 = -m + 3, -5*j - 5*m = -j - 123. Let i = -3 - j. Let a(r) = -r**3 - 3*r**2 + 11*r + 3. Let z be a(-3). Is i < z?
False
Let x = 39 - 39.15. Let a = 0.27 + x. Let r = -0.35 + a. Which is smaller: -0.2 or r?
r
Let r = -283 + 407. Let i = r - 124.066. Let g = -0.066 - i. Which is greater: 19 or g?
19
Let g = -433657 - -433660. Let z = 16 + -15.3. Let f = z + -0.63. Which is smaller: f or g?
f
Let o = 22599 + -361585/16. Let r = -7 - -11. Let z be r/14 + 25/35. Is z not equal to o?
True
Let r be (-12407)/(-7106) - ((-5)/5 + (-15)/(-6)). Which is bigger: -1 or r?
r
Suppose 0 = -133*b - 15750 - 5157 - 27106. Which is smaller: -721/2 or b?
b
Let w be ((3 + -3 - 1) + 47901/47887)/1. Which is smaller: -1 or w?
-1
Let d = 8 + -5. Let z be 1 + -1 + (-93)/(-75). Let k = z + -43/75. Which is greater: k or d?
d
Let j(a) = -2*a - 9. Let q(t) = -4*t - 18. Let d(g) = -5*j(g) + 2*q(g). Let s be d(-4). Let w be (s/(-7))/((-12)/(-70)). Is 0 less than w?
False
Let g = 285 - -19. Let f = 138 - g. Is f != -1?
True
Let s = 156 + -191. Let m be (84/s + 3)*-1. Which is greater: 1/8 or m?
1/8
Let t be 4/(16/(-20)) - -32. Let a be t/54*4/(-7). Which is smaller: a or 59?
a
Let m be (33/(-22))/(21/(-4)). Let j = -33 - -25. Let y be (j/3)/(60/126). Is y >= m?
False
Let h(s) = -22*s**2 + 5*s - 12. Let y be h(3). Let p = -186 - y. Suppose 0 = 11*n - 10*n - 6. Is p >= n?
True
Let z(i) = 5*i**3 - 9*i**2 + 16*i - 49. Let u be z(7). Let o = u - 898. Which is greater: o or 438?
o
Let l be ((-1)/4)/((-315)/48860). Is 40 < l?
False
Let n = 16/467 + 64366/2335. Are n and -2/5 equal?
False
Let m = -290550294 + 453258496387/1560. Let r = m + -121/5. Is 0 less than r?
False
Let p(l) = -l**2 - 21*l + 34. Let t be p(-22). Let x be (-6606)/(-240) + t/(-5) + 3. Which is smaller: 27 or x?
27
Suppose 127*d + 71980 = -41558. Which is smaller: d or -895?
-895
Let m(y) = -1125*y - 24. Let z be m(-2). Is 2226 > z?
False
Let y be (-5632)/(-44325) + 2/(-9). Let c = 24/197 + y. Let u = 770 + -771. Which is smaller: u or c?
u
Let a be (147/245)/(1/(-115)). Let o = -90 - a. Which is bigger: -12 or o?
-12
Suppose 2*t + 3*l - 11 = 0, -4*t = 3*l - 4*l - 15. Suppose t = 2*u + 72. Let p = u + 36. Which is greater: -2 or p?
p
Let s = 64 - 65. Let u be (s/31)/((-32)/64). Let y(j) = -j**2 - 5*j - 1. Let a be y(-5). Which is smaller: u or a?
a
Let z = -0.04 - 0.16. Let a = z + -11.55. Let c = -12 - a. Is -0.1 smaller than c?
False
Let d = 5 + -2. Let t = d - 3. Let r = 0.6227 + -0.5427. Which is bigger: t or r?
r
Let d(b) = b**3 - 14*b**2 + 5. Let j be d(14). Suppose -j + 1 = 4*n. Which is smaller: -22 or n?
-22
Let z = -1743 + 3329. Suppose -x + 14*x = z. Suppose 0 = -8*p - x + 354. Is 31 < p?
False
Let o = -181 - -254. Suppose -607 = -8*x + o. Is x less than 259/3?
True
Let x = 109617/7 - 15672. Which is smaller: x or -7?
x
Let n be 2/14 - 43/7. Let w(p) = p**3 + 7*p**2 + 11*p - 15. Let f be w(n). Let c = -98 + 54. Which is greater: c or f?
c
Let l = 20155/9 + -2239. Is 0.081 less than l?
True
Suppose 226 = 54*q - 29*q - 449. Is q > 133?
False
Let a = 97 - 129. Let q be a + 27 - (9 - -1). Suppose 2 = -5*p - 73. Are p and q non-equal?
False
Let q be 2 - 24/112*14. Is q at most -24/529?
True
Let z = 44 + 10. Suppose 47*v = z*v - 483. Which is greater: 68 or v?
v
Let j = -3/4118 - -8335/135894. Which is smaller: j or 11.2?
j
Let a = -3380 - -3412. Is a less than or equal to 0.25?
False
Suppose -4*v - 59 - 41 = 0. Suppose -277*y + 280*y = 3, -3*c + 2*y = 62. Which is greater: c or v?
c
Let q = 564727/3 - 190221. Which is smaller: -1979 or q?
-1979
Let i(z) = -z**2 + 8*z + 16. Let f be i(5). Let n be 3 + (0 - 0) - (-442)/17. Which is bigger: n or f?
f
Let a(x) = x**2 - x - 1. Let g(p) = 7*p**2 - 5*p - 27. Let t(n) = -6*a(n) + g(n). Let b be t(4). Which is smaller: b or -2?
-2
Suppose 4 = -3*c + c, 4*n + 4*c + 88 = 0. Let l be (-2)/(n/15)*(-18)/(-3). Let f be 1/((6 + -4)/20). Which is greater: l or f?
f
Let h = -4.3 - -5.09. Let u = h + -0.29. Is 0 equal to u?
False
Suppose 3*a - 3*h = -516, -1313 = 5*a + 4*h - 444. Let q(t) = -t**3 - 9*t**2 - 8*t. Let f be q(-8). Which is bigger: f or a?
f
Suppose -8*l = -234 + 578. Let i be (-34 - -33)/(1 + l/42). Suppose i = p + 44. Is p equal to 0.2?
False
Let l = 10/5043 + 77398/1659147. Which is bigger: l or -1?
l
Let o = 11254/15 + -3263/5. Let g = 99 - o. Which is greater: 3 or g?
3
Let b be (-4 + 5)*(-4 - -5). Which is smaller: b or -818?
-818
Let b(o) be the first derivative of -o**3/3 - 3*o**2/2 - 7*o - 47. Let j(d) = -2*d - 1. Let m be j(1). Let z be b(m). Which is smaller: z or -4?
z
Suppose -3*k + 38 = 11. Let d = -3/11882 - -463413/59410. Is d > k?
False
Let u be (4/8)/((-52)/6). Let d = -66841.1 - -66841. Which is smaller: u or d?
d
Suppose 5*l + 5*z = -470, 4*l + 0*z + 382 = -2*z. Let c = l - -95. Let m be 2 - c/(-10)*-2. Which is bigger: 2 or m?
m
Let n = 8808883/187 + -47106. Is -1 < n?
True
Suppose -4*v - 264 = 8*v. Let w = v - -26. Suppose w*i + 3*i = 21. Is i greater than 6?
False
Let n be 5 + (2/1)/(-2). Suppose -5*k + 70 = 4*w, k + k = n*w - 84. Let y(o) = 2*o**3 + 26*o**2 - 88*o - 1141. Let z be y(-13). Is w >= z?
True
Suppose -47*t + 71*t = 48*t + 29208. Which is smaller: 0.2 or t?
t
Let q = -1837/4595 + -1/4595. Is 0.0513 less than q?
False
Suppose 9 = -c + 12. Let h be 2 - (c - 2 - 10). Suppose -h*k + 30 = -k. Is k > 1?
True
Let z = -2978 + 11077/4. Is -210 bigger than z?
False
Let w(x) = -x + 38. Let n be w(25). Let k = n - 8. Suppose -3 = p, k*j - p = -2*p + 2. Which is smaller: j or -4/53?
-4/53
Let f = -433/102 - -92/17. Do -69 and f have different values?
True
Let h(j) = -393*j**2 - 23*j - 148. Let q be h(-5). Which is greater: q or -9859?
q
Suppose 3*t + 1 = -20. Let i(s) = s**2 + 27*s + 152. Let l(y) = -y**2 - 28*y - 153. Let j(g) = -3*i(g) - 2*l(g). Let d be j(-9). Is d less than t?
False
Suppose -86*n + 336 = -74*n. Let u be 4/38 + (-2)/19. Suppose 0 = -6*b - u*b + 174. Is b at most n?
False
Suppose 4*v - s - 693 = 0, -4*v + 0*v + 673 = 3*s. Let q = v + -156. Let k = 0.3 + -0.3. Do k and q have the same value?
False
Let w = 649 - 619. Let m be 30/75 - (-2)/w*-6. Let l = 1013/6486 - -5/282. Is m not equal to l?
True
Suppose -16*f + 15*f + 6 = 0. Suppose 5*r - 2*y = 30, -f*y = 5*r - y + 5. Suppose -3*v + a - 4 = 0, -1 + 0 = -r*v - 5*a. Is -1/2 bigger than v?
True
Let d = -2 - -4. Suppose -d*z = -0*z + 84. Let k = -1.64089 + 1.84089. Are k and z nonequal?
True
Let u(m) = m**3 - 11*m**2 - 11*m - 12. Let j be u(12). Let h = -0.03 + 50.03. Let w = 50.04 - h. Is w smaller than j?
False
Let v be ((-17024)/(-816))/((-44)/(-12) - 3). Is 32 < v?
False
Let a(f) = -f**3 - 4*f**2 + 11*f - 6. Suppose -5*c + 6*v = 2*v + 34, 0 = 3*c + 5*v + 13. Let d