r + 4*x, -1073 = 6*r + 2*x - 3449. Which is smaller: r or 395?
r
Let k(v) = -2*v**3 + 17*v**2 - 30*v - 1. Let z be k(6). Which is smaller: 6/163 or z?
z
Let z be (-23)/(4 + (-11)/3). Let d be 28/(-28)*(z/(-2))/3. Let u = -111/10 - d. Is -1/5 greater than or equal to u?
False
Suppose -3*n + 4*i - 13 = 0, -4 = 3*n - 3*i + 5. Let r = 2/455 - 4133/8645. Which is bigger: r or n?
n
Let k = -5102308/25 - -204064. Which is bigger: 2/3 or k?
2/3
Suppose -16 + 112 = -8*z. Let q be (((-9)/(-6))/(-3))/(18/z). Which is smaller: -31.4 or q?
-31.4
Suppose 0 = 5*s - 182 - 128. Let p = 407 - 263. Let o = p - s. Are o and 82 nonequal?
False
Let a = 1836.6 + -1833. Let q = 227 + -236.3. Let t = a + q. Which is smaller: 0.1 or t?
t
Let p(z) = 7*z - 46. Let t be p(7). Suppose t*y = -5*r - 13 - 0, 3*r = -5*y - 11. Which is smaller: -9 or r?
-9
Let h(x) be the third derivative of x**4/12 - 7*x**3/3 + 58*x**2. Let o(f) = f**2 + 2*f + 4. Let d be o(-3). Let c be h(d). Which is smaller: c or 2/5?
c
Let v(c) = c**3 + 23*c**2 - 6*c - 19. Let q be v(-23). Suppose 0 = -q*l + 122*l - 60. Is -2 bigger than l?
False
Let q = -13 + 21. Let a(c) = c**3 - 9*c**2 + 8*c + 6. Let b be a(q). Let t be b/(-9)*(-3)/(-4). Is t not equal to -1/7?
True
Let l = 180 - 105. Let f be 7/(-84) + 231/(-252). Let q be (-60)/l - (f + 1). Is 1 at least as big as q?
True
Let g be (0 - (-3)/8) + ((-11322)/(-1904))/111. Which is smaller: -547 or g?
-547
Suppose 362*n + 35*n + 18659 = 0. Which is smaller: 66 or n?
n
Let d(g) be the third derivative of g**5/60 - g**4/8 - g**3 - 11*g**2. Let r be d(4). Let p be 0*3*r/18. Which is bigger: -2/7 or p?
p
Suppose 0 = -5*k - 4*f - 4, f + 2*f = 5*k - 3. Suppose -7*n + n - 72 = k. Let x(u) = -10*u - 29. Let o be x(n). Which is smaller: 90 or o?
90
Let p be 2/((-1)/(-33)*(-9 - -7)). Suppose 5*c + 27 = 4*v, 0*c + 2*v + 39 = -5*c. Is p at most c?
True
Suppose 4*w + 0*w = -4*k + 24, -4*k - 2*w = -14. Let v be (10/(-35))/k + (-32)/(-14). Suppose 0*j + 7 = v*n - 3*j, -2*n + j = -1. Is -2/33 >= n?
True
Suppose 7*g = -3*g + 320. Let m(a) = a**3 - 9*a**2 - 13*a - 3. Let c be m(10). Let f = c + g. Which is greater: f or -2/17?
-2/17
Let o = -9.7015 + -0.2985. Are -22 and o equal?
False
Let r(f) = 187*f**2 - 7*f - 17. Let s(q) = -q**2 + 12*q + 106. Let t be s(-6). Let z be r(t). Which is smaller: 746 or z?
z
Let f = -6035 + 9982. Which is bigger: f or 3948?
3948
Let a(m) = -m - 1. Let n be a(-3). Let i = -1227 - -1161.1. Let g = -67 - i. Which is smaller: n or g?
g
Let p = -3343 - -4020. Do p and 671 have different values?
True
Let i(l) = -l**3 + 9*l**2 - 3*l. Let p(g) = 2*g**2 - 10*g - 9. Let h be p(-4). Suppose -36 = 3*d - h. Let k be i(d). Is k at least -53/2?
False
Let l = 55.03 - 45.7. Let v = l - 9. Let g = -1560 + 1558. Which is smaller: v or g?
g
Suppose k - 4 = 5*a - 3*k, 2*a + 5*k - 5 = 0. Which is bigger: -5/302 or a?
a
Let a = -10028011/211 + 47526. Which is smaller: 1 or a?
a
Suppose n + 176 = 3*r - 0*r, 0 = 5*n + 3*r + 898. Let w = -180 - n. Is -1/106 not equal to w?
True
Suppose -4*o + 28716 = -2*k, -3*o = -11*k + 7*k - 21542. Do 7178 and o have the same value?
True
Suppose 3*b + 71 = -2*l, -5*l + 26 = -4*b - 38. Let a = b + 24. Suppose -3 = -3*o - 3*n, o + n = a*n - 2. Do -2/49 and o have the same value?
False
Let w = 557 + -287. Let o = 2971/11 - w. Which is greater: o or 0?
o
Let b = -7987 - -7986.7. Are 746 and b equal?
False
Let h = 952 - 907. Let t be 20/h + -1*908/1800. Let z(q) = q + 5. Let a be z(-4). Which is smaller: a or t?
t
Let o be (1 - 5/2)*(-392)/(-21). Let x = 63 + o. Let n = x + -42. Which is greater: 0.1 or n?
0.1
Let v = -116.7 + 631.7. Let r = -513 + v. Is r at most as big as 0.195?
False
Suppose -3*w - 4323 - 1010 = 4*n, -2*w - 6 = 0. Which is smaller: n or -1328?
n
Let b = 297033 - 81089920/273. Let o be (-12)/9*1/14. Let d = o + b. Which is smaller: -1 or d?
-1
Suppose 8*l - 24 = 4*l - 4*w, l = 4*w - 9. Suppose q - l*n - 3 = 0, -5*q - 4*n = -q + 4. Which is smaller: q or -2/585?
-2/585
Let x = 15634.91 + -15809. Let g = x - -174. Which is smaller: -0.07 or g?
g
Let s = 421/14 - -10/7. Let y(w) = 4282*w - 21378. Let h be y(5). Which is greater: s or h?
h
Let w = -55.51 + 4.71. Let f = 9.2 - w. Let a = 55 - f. Which is greater: -0.3 or a?
-0.3
Let x be 116*((-18)/(-8) + -2). Let s be (-3 + 2)*(-2)/(-6) - 8/24. Which is smaller: x or s?
s
Let v be (-504)/(5/(-200)*52). Is v at least 389?
False
Let c = -5521879267/396 + 13944129. Let h = 193/18 + c. Is h equal to -1?
False
Let w be ((-76)/247)/(4 + -1). Let b = 76 - 77. Which is bigger: b or w?
w
Let m be (-2)/(-12) + (-88)/(-48). Let t(g) = g**3 - 3*g + 3. Let c be t(m). Suppose 0 = h - c*h - 92. Which is smaller: h or -24?
-24
Let x be (-6)/((-26)/4 - -2 - -3). Suppose -3*b = -4*b - x. Let k be b/5*(-5)/2. Is k less than -2?
False
Let v be (7*3)/(-2 - (-35)/10). Suppose -b + 0*b = -1, -b = -5*w + v. Suppose w*f = 4*f - 20. Which is smaller: f or 21?
f
Suppose a = -3*a - 16. Let v be 2/((-9)/((-108)/40) - 4). Let g be (a/v)/(20/15). Are 2/29 and g unequal?
True
Let r be (-27 - -20)*((-12)/14 + 0). Suppose h - 3 = 2. Let w be h/(-20) - 143/(-28). Which is bigger: r or w?
r
Let a be (3/(-6) + 613/10)/(8/(-40)). Does a = -307?
False
Let k = -10841.9 + 10840. Is 9/89 at most as big as k?
False
Let i(j) = -j**3 + 40*j**2 - 128*j + 628. Let f be i(37). Is f less than -2/12409?
True
Suppose -l + 3 = 5*i, -18*i + 2 = -14*i + l. Let k be (i + -2 + 1)*-1. Is k <= -6/35?
False
Let x be -1 + (-155)/208 - 2. Let q = 12699/3152 + -18/197. Let y = q + x. Which is greater: 1 or y?
1
Suppose -5*q - 84 + 0 = -a, -2*q + 270 = 4*a. Let d = a - 79. Let l be -4 + 3/d*-12. Is -22 > l?
False
Let n be 8/6*-30 - 5. Let i = -64 - n. Is i < -15?
True
Let o = 302/887 + -19/2661. Let l = 0.9 - 0.4. Let w = 0.3 - l. Which is smaller: w or o?
w
Let r = -82.71 - -83. Let x = r + 67.71. Let p = x + -68.47. Is 1 at most as big as p?
False
Let n(d) = -55*d + 708. Let x be n(17). Let i(w) = -2*w**3 + 2*w**2 - 7*w + 7. Let u be i(5). Do x and u have the same value?
False
Let p = -63754328/1871 + 34075. Which is smaller: 0 or p?
p
Let t = 175.971 + -176. Let q = t - 0.071. Which is bigger: q or 3/7?
3/7
Let r = 1565 - 1566. Which is bigger: r or -3/1108?
-3/1108
Suppose 139*i - 12 = 140*i. Let a be (-2)/(-8)*24/78. Is a equal to i?
False
Let k(o) = 2*o + 12. Let v be k(0). Let i(g) = 14*g - 17. Let u be i(v). Which is greater: u or 150?
u
Let x = -1515082/27 + 56088. Do 2 and x have the same value?
False
Suppose -4*t = t + 30. Let b be (-2)/(-9 + 0 - 0)*(2748 - 2694). Which is greater: b or t?
b
Let b = -373 + 497. Let u = -125 + b. Is u < -5/18?
True
Let x be 15/(-7)*(-51 + 44). Suppose 0*y + x*y = 0. Let a be (-123)/60 + (-2 - -4). Which is smaller: a or y?
a
Suppose 0 = -22*m + 13*m + 27. Let t be (-1)/(m/((-24)/4)). Suppose -5*g - 4*p = -54, 0 = 3*g - t*p - 45 - 5. Which is smaller: g or 3?
3
Let d = -5 - 33. Let p = 691 + -690.9571. Let a = 0.0571 + p. Which is smaller: a or d?
d
Suppose -n + 6 = -2*s - 0*n, 4*s + 12 = -n. Let v be s*((22 - 1) + 3). Let m = 67 + v. Which is greater: m or -3/2?
-3/2
Suppose 930 = -4*l - l. Let w = 237 + l. Which is smaller: w or 52?
w
Let z = 3035 - 3037. Let s(a) = -a**3 + 9*a**2 + 10*a + 6. Let v be s(10). Is z greater than v?
False
Let p be (15/(-6) + (-24)/(-16))/(3/3). Which is bigger: p or -78/109?
-78/109
Suppose 6*y - 7 = -21*y + 20. Let w = -2.091 + 2.1. Which is bigger: y or w?
y
Let a = 7542 - 7810. Which is bigger: a or -266?
-266
Suppose 5*z + h + 177 = -3*h, 2*z = -2*h - 70. Suppose 0 = 27*t - 9*t - 72. Suppose 3*d - 5*q + 118 = 0, 5*d + 33 = t*q - 155. Is d equal to z?
False
Let m(u) = -3*u + 8. Suppose 0 = -4*z - 4*c + 15 + 5, 0 = 2*z + c - 8. Let g be m(z). Which is bigger: g or -2/1493?
-2/1493
Let j be (-96)/16 + (177 - -1). Let n be ((-129)/j)/((-1)/((-8)/(-15))). Which is smaller: n or -0.28?
-0.28
Let b be (-64539)/355*(-1 + 6). Let w = b + 897. Do -13 and w have the same value?
False
Let m = -102 + 90. Let l be m/3 - 78402/196. Let q = -404 - l. Is q less than or equal to -1?
False
Let o(y) = -y**3 - 6*y**2 + 5*y - 14. Let f be o(-7). Let w = -23/7 - -274/77. Which is bigger: w or f?
w
Suppose -2*f = -2*s - 795 - 1975, -1385 = s + 2*f. Is s at most -1386?
False