er: a or f?
a
Let f be -10*6*(-1)/10 - 3. Let a be f/7 - (-900)/105. Which is greater: 6 or a?
a
Let i(k) = -1999*k + 16007. Let s be i(8). Which is bigger: s or 807/59?
s
Suppose 5*h - 4*l + 40 = 1038, -l = -5*h + 1007. Let g = h + -210. Which is bigger: -9 or g?
g
Let d = 1431 + -1431. Is -2/51033 less than d?
True
Let j = -6.161 + 9.161. Is -126 not equal to j?
True
Let m be (1 - (-1341)/(-444)) + (-10)/(-5). Let p be (2 + (-4)/3)*3/(-2). Is m at least as big as p?
True
Let o = -0.812 - -0.33. Let w = o + -0.118. Is w less than -47?
False
Let o be 4 + 679*(-2)/195 + 3. Let r = o - -4241/1365. Which is smaller: 3 or r?
3
Let v = 770 + -135. Let n = 638 - v. Which is smaller: n or 48/19?
48/19
Let d(v) = -12*v**2 - 8*v + 9. Let t be d(3). Let w be 4 + 327/t - (-4)/(-4). Is 1 < w?
False
Let s(n) = n + 12. Let m be s(-6). Let l(y) = y**3 - 5*y**2 - 11*y - 4. Let i be l(m). Let a be ((-3 + 1)*i/4)/1. Which is smaller: 31/2 or a?
31/2
Let y = -2226 + 2508. Which is greater: y or 0.3?
y
Let v = 227.094 + -227. Let j = 0.694 - v. Let g = 0.3 + -2.3. Which is greater: j or g?
j
Let a be (-4 - 35/(-5))*1. Suppose 0 = a*q + 2*q - 25. Suppose q*x = -27 - 78. Is x < -23?
False
Let m be 4/(-28) + (-25510)/(-178325). Does 1 = m?
False
Let j(k) = 29*k**3 - 3*k**2 - 5*k - 3. Suppose -5*p = -7*p - 2. Let z be j(p). Suppose -c - 4*n = 3*c + 128, 4*c + 2*n + 126 = 0. Is c bigger than z?
False
Let b = 30424 - 30424.262. Which is bigger: 2/27 or b?
2/27
Let x(t) = -t**3 + 4*t**2 + 5*t - 1. Let r be x(5). Let p = -2860 - -2900. Is r greater than or equal to p?
False
Suppose -372 = -2*j + 790. Let k = j + -701. Is -120 not equal to k?
False
Let f be (0 - (-11 - -11))*2/4. Let p(t) = -t**3 - 3*t**2 - t + 143. Let v be p(f). Which is smaller: 142 or v?
142
Let o(k) = k**2 - k - 12. Let s be o(-3). Suppose -5*x + 2 = 5*u - 3, s = -5*x + 5*u - 15. Which is bigger: -38/35 or x?
x
Let l(c) be the first derivative of -c**3/2 + 13*c**2/2 + 15*c + 5. Let b(a) be the first derivative of l(a). Let z be b(4). Which is bigger: 6/7 or z?
z
Let v(w) = 5*w + 5. Let c be v(-4). Let a be 6/(-3)*(-470)/60. Let z = c + a. Which is smaller: 0 or z?
0
Let y = 963 - 417945/434. Is 4 smaller than y?
False
Let g = -151 - -484. Let w = -334 + g. Is 0.99 at least as big as w?
True
Let n = 2.2678 - 2.4678. Which is bigger: 92/235 or n?
92/235
Let r = -11/3 - -4. Suppose -h - 18 = 2*h. Let c be (-2)/(-15)*(-9)/h. Is c at least as big as r?
False
Let g(w) = w**3 - 41*w**2 + 79*w - 48. Let b be g(39). Let z be 266/(-152)*(-12)/b. Which is smaller: 13 or z?
z
Let z = 4812/11 + -437. Suppose 4*t = 4*r - 10 + 34, 0 = 5*t - 15. Is r >= z?
False
Let y = 1.9 - 2. Suppose 135*s - 39 = 138*s. Let g = s + 2. Which is bigger: y or g?
y
Let u = 3 + 14. Let k = u - 34. Suppose -2*f + 3 = 2*l - 1, 0 = 2*l + 5*f - 13. Is l at most k?
False
Let b(l) = 2*l + 7. Let n be b(-3). Let s(a) = -a**2 - 21*a + 1. Let f be s(-22). Let o = f + 23. Are o and n equal?
False
Let v(q) = 2*q**2 + 28*q + 33. Let z be v(-13). Suppose -8*g + 26 = -6*g. Let k = g - 11. Is z at most k?
False
Let g be 2/(-22) - 3497/(-5918). Is g > -2.46?
True
Let g be 4675/(-297)*165/50. Suppose f = 4*a - 211, -5*a + 150 = -2*a + 2*f. Let d = g + a. Which is bigger: 0 or d?
d
Let b(u) = -2*u**3 - 4*u**2 - 1334 + 5*u**2 - u**3 + 4*u**3 - 2*u. Let r be b(0). Let h = 46684/35 + r. Which is greater: h or -1?
h
Suppose 23 = -u - u - z, -4*z = -12. Let w(k) = -14*k**2 - 22*k + 7. Let g(y) = 5*y**2 + 7*y - 2. Let q(v) = -11*g(v) - 4*w(v). Let c be q(u). Is 20 > c?
False
Let y(u) = -2*u**2 - 4*u - 42. Let j be y(0). Is 0.6 at most j?
False
Suppose 0 = -5*d - 55 + 80. Suppose 5*p = 5*w + 880 + 1275, 0 = -d*p + 4*w + 2155. Which is smaller: p or 430?
430
Suppose -4*d - d + z = 18, -3*d - 5*z + 6 = 0. Let b be (d + 4)/(0 + (-1)/(-12)). Let f(n) = n**2 - 13*n + 10. Let l be f(b). Which is greater: 0.28 or l?
0.28
Let d = 1/142 + -320/71. Suppose -5*w = -5*o - 215, -13*o = 3*w - 18*o - 131. Let a be -3 + w/7 + -1 + -7. Which is smaller: a or d?
a
Suppose -35*q + 30*q = -5. Let c = 419 - 275. Let j be (-2)/8 + (-28)/c. Which is smaller: j or q?
j
Suppose -5*d = -64 - 1. Suppose -r = d*r + 196. Which is smaller: r or -18?
-18
Let j = -135.36 + 132. Let l = 1.409 + j. Let o = 0.049 - l. Which is greater: -4 or o?
o
Suppose 4*l - 16 = -b, 4*b = -0*l + 4*l + 4. Let t = -3 + 2. Let i be ((-4)/3)/(t/2). Which is smaller: i or b?
i
Let c = -3525 + 3509. Which is greater: c or 40?
40
Let z be 71/497 + 40/14 + -2. Let m(k) = -k**3 + 10*k**2 + k - 9. Suppose -4*c = -8*c + 40. Let h be m(c). Does z = h?
True
Let n = 27 - 31. Let k be 2 - n*2/4. Suppose t = k*r + 53, -3*r - 68 = -4*t - 12. Is r greater than or equal to -12?
True
Let g be (-2068)/(-33) - (-1)/3. Suppose -7*h = 5*p - 3*h - 150, -3*p = -3*h - g. Let q = p + 15. Is q at most 2?
False
Let k = 0.536 + -43.936. Let f = -12.2 - k. Let z = -31 + f. Which is greater: z or 6?
6
Let l be 44/(-99) - (-835880)/(-90). Are -9288 and l equal?
True
Let w = -4 - -35. Let f = 1655.2 - 1624. Let u = w - f. Which is bigger: u or -12?
u
Suppose 3*o - o = -k - 21, -k - 21 = -2*o. Let u(j) = -310*j - 2822. Let v be u(-9). Which is bigger: k or v?
k
Let i be (111 - -1)/(-2)*11/(-110) + -6. Let n = -1.84 + 0.04. Let k = 1.66 + n. Is k bigger than i?
True
Let n(t) = 23*t + 1. Let o be n(1). Let s(d) = -d**3 + 7*d**2 - 5*d - 2. Let g be s(3). Let i(p) = -p + 44. Let q be i(g). Is o > q?
False
Let l = 1 - 6. Let o = -1.8069 - 0.1931. Let b = o - l. Is -1.1 greater than b?
False
Suppose 4*q - 2887 = -5*i, 2*q + 3987 = 5*i + 1088. Is i smaller than 582?
True
Let t = -3190771/3598223 + -2/67891. Which is bigger: t or -2?
t
Let q(y) = 137*y**2 + 252*y + 12. Let x be q(7). Which is smaller: x or 8488?
8488
Let n = 5 - 6. Suppose -16*u + 384 = 8*u. Which is greater: n or u?
u
Let o = -42012847/304 - -138200. Is -1 at most as big as o?
True
Let b be 16/3 - (-2)/(-6). Let o(y) = 6*y + 36. Let g be o(-4). Suppose 5*f + 3 = -g. Is f bigger than b?
False
Let p = 100 + -83. Let a(u) = 9*u + 10. Let g be a(p). Suppose 4*h + 3*j = 135, 5*h + 0*j - g = 2*j. Which is bigger: h or 63/2?
h
Let o = 9162 + -9162. Which is bigger: 13734 or o?
13734
Let n = 9 - 9. Suppose -4*t + 5*u + 51 = 7, -t + u + 10 = n. Let c be (t/4)/((-180)/(-48)). Which is smaller: 3 or c?
c
Let y = -28.63 + 29.43. Is 124 at most y?
False
Let n(f) = -f**2 - f + 6. Let w be n(-3). Suppose -o - 11*o - 2040 = w. Is -169 at most as big as o?
False
Suppose 0 = 19*y + 22*y - 46 - 77. Is 82/27 >= y?
True
Suppose 0 = -23*t + 351 + 10390. Let d = 468 - t. Is 16/23 less than d?
True
Let t be (6 - 93/18)*((5 - 0) + 1). Is t at least as big as -2743?
True
Suppose 753 = -17*o + 4935. Does 1724/7 = o?
False
Let t = -101.783 + -0.217. Let n = -45 - t. Let c = -47 + n. Which is greater: c or -2/3?
c
Let q = 6.21 + -7.3. Let f = 0.09 + q. Is -13 less than f?
True
Let w be (-2)/6*(-2 - 7). Let a be w + 2 + -4 + (-23)/(-10). Which is greater: a or 4?
4
Let d = 34 - -44. Let g = -12620/3 + 4207. Is g > d?
False
Let q(k) = 2*k + 5. Let d be q(0). Let p be 3/d + (-1782)/(-30). Let l be (-160)/p*1/(-12). Is l greater than or equal to 12?
False
Let w = -2 + 1.992. Let k = 2995.992 + -2998. Let f = k - w. Which is greater: f or -1.8?
-1.8
Suppose -2*c + 1 = -3*c. Let m = 189917/47 + -4041. Let q = m - -176/1269. Which is greater: q or c?
q
Let j(w) = -w**3 - w**2 + 13*w + 23. Let i be j(-3). Which is smaller: i or -1887?
-1887
Suppose -157 = -10*x + 68 - 25. Which is smaller: 3/16 or x?
3/16
Let z be (103/(-2781))/((-2)/(-6))*18/(-8). Which is smaller: -377 or z?
-377
Let n be (6/(-8))/((-135)/360). Suppose -4*r + 3 + 1 = 0. Suppose -3*i - r = -n*i. Which is smaller: -4/9 or i?
i
Suppose 4*v + 27 = z, 5*z - 401 = -v - 413. Is z at least as big as -1/9018?
False
Let y = -1459/2 - -877. Let w = y - 147. Is w greater than or equal to 0.51?
False
Let j(v) be the first derivative of v**4/4 + 13*v**3/3 - 3*v**2/2 - 40*v + 54. Let f be j(-13). Which is smaller: -14 or f?
-14
Let k = -88.24169 - -0.24169. Which is greater: k or -2/39?
-2/39
Let a(z) be the third derivative of 7*z**4/12 - 299*z**3/6 + 171*z**2. Let d be a(20). Is d at least -21?
True
Suppose -4*m - 28 = -2*j, 3*j - 21 = 3*m + 5*j. Let p(i) be