 Let y be (9/p)/(2/4). Let u be (-5)/(5/(-2)) + y. Which is smaller: 2/5 or u?
2/5
Let r = -0.19 + 0.05. Let a = -9.86 + r. Let m = a - 4. Which is greater: -1/4 or m?
-1/4
Let f be (1 + 4)*280/56. Is 28 at least as big as f?
True
Let k(m) = -m**3 - 4*m**2 - 3*m - 1. Let t be k(-2). Let a be (-6)/27 - (-2636)/(-936) - t. Which is greater: a or 1?
1
Suppose 80*h - 77*h + 2 = 5*t, 0 = 4*t - 4*h. Which is smaller: t or 2/2083?
2/2083
Let l be (-1)/(-2) - -2*10/(-40). Is l smaller than 10/37?
True
Suppose 25 = 5*f + 10. Let j be 6 + (-32)/5 - f/5. Are j and -7/4 nonequal?
True
Let w = 6 + -5. Let x = -29/10 + 289/110. Is w greater than x?
True
Let j be 0 + -3 + 0 - -12. Let r = j + -3. Let t(a) = a**3 - 5*a**2 - 6*a + 4. Let n be t(r). Which is smaller: n or 11/3?
11/3
Let a = -1995 - -3601. Which is smaller: a or 1?
1
Suppose -202 = 2*v + a + 3*a, -313 = 3*v + 4*a. Is -1/3 at most as big as v?
False
Let y = -197959/58420 + -7/2540. Is -3 >= y?
True
Let t = -40.83 + 41. Let p = t + -1.97. Let w = 1.7 + p. Which is bigger: w or 16?
16
Suppose -8*f - 4 = -10*f. Let b be (-15)/(-30) + (-1)/4*f. Is 1/49 at most b?
False
Let w(o) = 4*o**2 - 7*o + 14. Let f(b) = 11*b**2 - 21*b + 41. Let a(z) = -3*f(z) + 8*w(z). Let x be a(7). Are x and -14 unequal?
True
Suppose 13*c - 9*c - 4 = 0. Which is bigger: 2/521 or c?
c
Let y = -471 + 459. Which is smaller: y or -14?
-14
Let t(v) = -2*v + 13. Let y(z) = -5*z + 26. Let r(a) = 7*t(a) - 3*y(a). Let d be r(-7). Suppose d*b - 3*b = -3. Is b <= 0.8?
True
Let v be -2*(-2 - -1) + (-765)/(-17). Which is bigger: v or 46?
v
Let t(b) = 2*b**3 + b**2. Let w be t(1). Let p be (30/12 + -1)*4. Do p and w have the same value?
False
Let g(d) = d**3 - 2*d**2 - 1. Let v be g(2). Is v >= -2.7?
True
Let w = -866 - -18182/21. Let d = 62 - 63. Is d >= w?
False
Suppose -z + 143 = 4*a, 0 = -a - 2*z + 3 + 31. Is 38 >= a?
True
Suppose 4*s - 5*h + 228 = 0, 0 = 3*s - 2*h - 0*h + 171. Let g = s + 10. Are g and -47 equal?
True
Let z = 735/2 + -3671/10. Which is greater: z or -2.5?
z
Let t = 405/2 + -27337/135. Which is smaller: t or 1?
t
Let a be 114/(-4) - 0/(-1). Which is smaller: 1 or a?
a
Suppose -4*b - 24*d + 2 = -19*d, 0 = -5*d - 10. Are 39/17 and b equal?
False
Let r = 317 + -6359/20. Let x = 3/4 + r. Is -19 > x?
False
Let c = 21 - 37. Let h = 44 + -27. Let n = h + c. Which is smaller: n or 8?
n
Suppose 0*n + 5*n = 0. Suppose 0 = -2*j - k + 25, 9 = 4*j - 3*k - 66. Let t be 9/(-24)*10/j. Which is smaller: n or t?
t
Let f = -8/457 + 1546/36103. Which is greater: f or -1?
f
Let l be 1107/1722*(-4)/(-9). Let m be -1 - (14/(-6) + 2). Is m >= l?
False
Let n(c) = c - 20. Suppose -b - 2*l - l = 0, 4*l = -8. Let a be n(b). Are a and -0.2 equal?
False
Let z be (-1500)/375 - -1*76/6. Which is smaller: z or -8/7?
-8/7
Let u(s) = 2*s**2 - 5*s + 12. Let k be u(2). Let a(t) = -4*t + 14. Let o be a(k). Is -26 bigger than o?
False
Let m = -35.997 + 36. Let x = -0.153 + m. Is x less than or equal to -1/4?
False
Suppose 115*l = 91*l + 1728. Which is smaller: 71 or l?
71
Let t = 79 + -389/5. Is 3 >= t?
True
Let o be 8/21 + (-12)/18. Let b be 0 + 108 - (-2 + -2). Let m = 558/5 - b. Is o at most as big as m?
False
Let f(p) = -8*p - 3. Let n be f(-1). Suppose -6*u + u + 25 = 3*g, -5*u = -g - n. Is 2 less than or equal to u?
True
Let a = 15/5524 - 164533/580020. Let j = -4/35 - a. Is j equal to -1?
False
Let a(n) = -12*n**3 + 13*n - 26. Let c be a(2). Which is smaller: c or -92?
c
Let z = 19/8 + -55/8. Suppose 5*t - 5*c = -30, -2*t = 103*c - 108*c + 18. Which is bigger: z or t?
t
Let d = -1651 + 1648. Is d != -1.21?
True
Let i(u) be the second derivative of -3*u**3/2 - 59*u**2/2 + 7*u. Let w be i(-6). Which is bigger: -14 or w?
w
Let u(x) = 7*x**2 + 14*x + 3 + 5 + x. Let v(g) = 3*g**2 + 8*g + 4. Let k(q) = 6*u(q) - 13*v(q). Let l be k(6). Is 20 > l?
False
Let x(s) = s**3 - 5*s**2 - 2*s + 5. Let k be x(5). Which is smaller: -8 or k?
-8
Let p = -77/20 + -1253/20. Is -67 <= p?
True
Suppose 20*d = 25*d - 170. Suppose -w + l + 10 = 0, -4*w + 0*l = -2*l - d. Are w and 1 equal?
False
Let s(y) = y**2 + 2*y - 2. Let v be s(5). Suppose -4*l + 4*i + 162 = 30, 0 = -4*l + 2*i + 132. Is v smaller than l?
False
Let u be (68/6)/(7 - 1153/165). Is 934 > u?
False
Suppose 6*f - 31 = -7. Which is smaller: f or 8/3?
8/3
Suppose 0 = 2*p + 2, -4*a - 5*p - 2 = -13. Suppose -a*q - 44 = -2*l, -32 = 3*q - l - l. Are -12 and q unequal?
False
Let u(w) = -w**3 + w**2 + w - 2. Let z be u(0). Let h be (4*-2)/z - 2. Let j be (0 - -3) + 48/(-21). Are h and j equal?
False
Let x = -166 + -102. Is 1/4 > x?
True
Let p be (1/(-2))/((125/10)/(-25)). Let b(q) = -q**3 + q**2 + 2. Let v be b(2). Let j be v/5 + 2/(-20). Which is smaller: p or j?
j
Suppose 2*z - 12 = p, p - 6*p - 90 = 5*z. Is p < -15?
True
Let m(p) = -p**2 - 4*p + 1. Let y be m(-4). Suppose 2*s + 0*j = j - 1, -5*j + 33 = 4*s. Suppose -s = -5*g + 4*g. Is g greater than or equal to y?
True
Let f be 4*((-18)/8 + 0). Which is bigger: -6 or f?
-6
Let k be (-648)/3040 - (2/(-10) + 0). Do -1 and k have different values?
True
Let p = 635122/31 - 20486. Is 1 greater than p?
False
Suppose 0*r - 3*r = 2*a - 10, 0 = 3*r - 12. Let m be -3 - -1 - (a + 1). Suppose 5*d + 21 = 3*y, d - 3*d - 10 = -2*y. Are y and m non-equal?
True
Let v = 38.218 + -2.218. Which is greater: -2/7 or v?
v
Let m be (-244)/(-6)*(-12)/(-1). Let g be (-1)/2 + m/112. Which is smaller: g or 4?
g
Let i(t) = -t. Let u = 31 + -39. Let r be i(u). Is 9 equal to r?
False
Let i(d) = d**3 + 2*d**2 - 11*d**2 + 4*d + 2*d + 16. Let s = -56 + 64. Let a be i(s). Which is bigger: a or -1?
a
Let i(q) = q**2 - 4*q - 2. Let b be i(5). Let t(d) = 3*d - 1. Let r be t(b). Suppose 3*w = w - 3*o, r = 4*o. Do w and -4 have different values?
True
Let k = -3 - 0. Let b = 48 + -44. Suppose -3*x + 0*g - b = -2*g, 4*x + 2 = g. Is k greater than x?
False
Let m = 0.18 - 0.78. Let c = -0.75 - m. Let y = 1.65 - c. Which is greater: -2/5 or y?
y
Let w(r) = -r**3 + 7*r**2 + r - 9. Let q be w(7). Let y be 38/4 - (-3)/q. Let a = y + -24. Which is smaller: 2/7 or a?
a
Let c = 2 - 1. Let z = 913 + -917. Is z less than or equal to c?
True
Let f(b) = -b**2 - 4*b - 2. Let o be f(-3). Let l = -24 - -13. Let y be 3/((2 + -3)*l). Which is smaller: o or y?
y
Suppose -3*o = 2*v + 625, v = -81*o + 86*o - 280. Is -305 bigger than v?
False
Let k be ((-93)/6)/((-10)/20). Suppose 0 = 3*x + 3, -x = -t - 5*x - k. Which is greater: -26 or t?
-26
Let i be (-1 - 2)/((-84)/15228*-9). Which is smaller: i or -59?
i
Suppose -3 = -f, -7*b + 2*b + f - 18 = 0. Let p = 4 - 6.4. Let t = 2.3 + p. Which is smaller: b or t?
b
Let w = 0.272 + -13.272. Do -3/8 and w have the same value?
False
Let h = -3 + 9. Suppose -h*v = -v + j + 50, 0 = 5*v - 3*j + 70. Let k = -13 - v. Which is smaller: -1 or k?
k
Let c = 40 - 35. Let l be 1/2 + (1 - (-3)/6). Which is smaller: c or l?
l
Let r be ((-2)/(-3))/(12/(-162)). Is -2 <= r?
False
Let u = -1/1200 - 2311/106800. Suppose -8 = 7*a - 1. Does a = u?
False
Let u = 253 - 149. Suppose -3*q = u + 22. Let t be 302/q + 4/(-28). Which is greater: t or -7?
-7
Let z = 785 + -794. Is z at least as big as 32?
False
Let v be (9 - 2)*72/(-7). Let a = -3529/49 - v. Which is smaller: a or 0?
a
Let x be 2/4 + 2023/34. Let l be 56/10 - 36/x. Which is smaller: l or 0.3?
0.3
Suppose 3*k - o = k - 20, 5*k + 52 = 3*o. Let v be ((-18)/(-12))/(78/k). Let f = 0.1 - -0.9. Which is smaller: f or v?
v
Let b = 16357/14 + -1169. Let m = b - -181/42. Which is bigger: m or 3?
m
Let a(p) = 2*p - 6. Let k(o) = 2*o - 5. Let l(t) = 7*a(t) - 6*k(t). Let j be l(6). Suppose 0 = -j*m - 5*m - 5. Which is greater: m or 2/5?
2/5
Suppose -5*c + 0*u + u = 52, u = 4*c + 42. Let o be 1/c*1/1. Let y be 1/(2/((-4)/(-2))). Is y <= o?
False
Let r = -3707/852 + 5/284. Let c be (-30)/(-3)*(-1)/2. Which is bigger: c or r?
r
Let o = 0.0361 + 22.2639. Let l = -83.7 - o. Which is greater: l or 1?
1
Let q = -189 + 67. Which is greater: -3/5 or q?
-3/5
Let m = -459 - -645. Is -2/7 > m?
False
Let d be 57/72 + 4/(-6). Let z(a) = -a**2 - 61*a - 173. Let u be z(-58). Which is smaller: u or d?
d
Let f be (-210)/429 + 2/11. Are f and -0.1 unequal?
True
Let j be 4/(-5) - (0 - -2). Let p(f) = 2*f - 9. Let q be p(8). Let d be (q + -3)/(2/(-1)). Is j greater than or equal 