= 4*a - m. Is d at most as big as a?
True
Let c be (-1)/(-2) + 10/(-4). Let w(f) = -f**3 + 41*f**2 + 39*f + 118. Let a be w(42). Which is bigger: a or c?
c
Let w(p) = -p**2 + 2*p + 1. Let t be 14/18 - 10/(-45). Let k be (0 + t + -2)*2. Let r be w(k). Do r and -7 have the same value?
True
Suppose -j - 4*j + 10 = 0. Let v(i) = -55*i + 10. Let c be v(-3). Let x be c/(-220) - j/(-8). Which is smaller: x or 2/5?
x
Let s(k) = k**2 - 26*k + 137. Let d be s(5). Is d smaller than 30?
False
Let c = -923/3 - -307. Is c equal to -84/17?
False
Let b(k) = k + 11. Let o be b(-8). Which is smaller: o or 5?
o
Suppose 2 = -l - 0. Let q be -1*((-10)/(-15))/(l/(-3)). Which is greater: q or -3/13?
-3/13
Let u = 2.7 + -2.12. Let s = 2.4 + -3. Let x = s + u. Does x = -2/3?
False
Let x be (668/56 - 12)/1. Does 6/17 = x?
False
Let h = 5 - 5. Suppose 0 = -0*m - 3*m - 5*s - 64, 2*m - 4*s + 6 = h. Let p = m + 13. Which is smaller: -10/11 or p?
-10/11
Let w = 9115 + -7100587/779. Which is greater: w or 0?
0
Let n = 4 - 3.1. Let j = -19.2 - -13.1. Let k = n - j. Is k <= 0.1?
False
Let b = -4/5 + 7/5. Is -2/27 smaller than b?
True
Let g = 13/12 - 5/6. Which is greater: g or -2/187?
g
Let q be 2/(-9) + 705/135. Suppose 0 = 4*k + q - 81. Let y = k - 22. Which is smaller: 1 or y?
y
Let i = 26.1 + -26. Let m = 25 + -3. Let z = 23 - m. Which is smaller: i or z?
i
Let m = 0.3 + 2.7. Let v = m + -4.3. Let p = v - 0.7. Is p at least 5?
False
Let v = 18.2 + -18.18. Is -2 >= v?
False
Suppose 0 = 5*y - 141 - 14. Let d = -30 + y. Is -36 >= d?
False
Let i be (-90)/(-570)*4/6. Is 0 greater than i?
False
Let t = 230 - 227. Which is bigger: -170 or t?
t
Let w be (1/(-4))/((-14)/(-16)). Let s be 0 - 4/4*-2. Suppose s*u = 4*u + 2. Is u equal to w?
False
Let q = -0.2 + 0.2. Let i = -39350 - -158201/4. Let t = 199 - i. Do t and q have the same value?
False
Let t be -1 + (28/16 - 3/4). Suppose 0 = 4*v - t*v - k + 1, 2*v = k - 1. Which is smaller: v or -5/11?
-5/11
Let t = -84778/451 - -87487919/457314. Let l = t + 1/338. Which is smaller: 3 or l?
3
Let s(c) = -c**3 + 6*c**2 + 23*c + 13. Let q be s(9). Let g be (3 - 154/49)/((-1)/q). Is -4 at least g?
False
Let j be (-1)/(1/(2/11)). Let m = 18.9 + -14.9. Is j at most as big as m?
True
Suppose -2*y + 86 = 154. Which is smaller: y or -36?
-36
Let s be (-20)/(-14) + 51/(-119). Let x be (422/(-104))/s + 4. Which is greater: 1 or x?
1
Let g = 5.38 + -3.38. Which is greater: g or 9?
9
Let f(t) = -2*t**3 - 64*t**2 + 5*t + 70. Let a be f(-32). Is a at least as big as -91?
True
Let u = -0.059 + 3.359. Let l = -3 + u. Let t = 0.1 - l. Which is greater: t or -4?
t
Let v(p) = p**2. Let w(k) = -k**3 + 8*k**2 + 2. Let z(f) = v(f) + w(f). Let o be z(9). Is 2/3 bigger than o?
False
Let o = 49 + -19. Let d = o - 34. Does d = 1?
False
Let j = 0.0622 - -0.0178. Which is bigger: j or -3/5?
j
Let q = -55 - -61. Suppose -10 = q*x + 14. Is x < 2?
True
Let d = 4637/214 - 18/107. Let h be 1 + 2 - (-20 - -1). Which is greater: d or h?
h
Suppose 2*n = -4, 25*z + 5*n = 26*z - 11. Which is greater: z or 1/1066?
z
Let s(x) = 3*x + 28. Let k be s(-9). Is k > -0.98?
True
Suppose b - 3*s - 13 = -0*b, 0 = -b - 2*s - 2. Suppose 0*a = 2*a + 3*u + 3, b*a - 4*u = 4. Does 2/29 = a?
False
Let a(p) = -2*p**2 + 13*p + 13. Let o be a(7). Let g be 46/12 + 1/6. Is g not equal to o?
True
Let k(y) = -y**3 + 19*y**2 - 33*y + 44. Let b be k(18). Is -226 >= b?
True
Let k(i) = i**2 - 5*i + 4. Let d be k(4). Suppose d*w - 3 = 3*w. Let g be 2/(-3)*216/64. Is g not equal to w?
True
Let w(p) = p**2 + 18*p - 41. Let j be w(-20). Is -3/343 less than j?
False
Let q = 2717/3 + -918. Is -13 != q?
True
Let n = -21 + 17. Let q be 0/(n - (4 - 10)). Suppose -3*m - m + 12 = q. Which is bigger: m or 1?
m
Let u(o) be the third derivative of 1/6*o**3 - 1/4*o**5 + 5*o**2 + 0 + 0*o**4 + 0*o. Let g be u(1). Which is bigger: -15 or g?
g
Let c = -586 - -544. Is c at least -39?
False
Let o(v) = -v + 12. Let d be o(12). Is 10/29 at most d?
False
Suppose 2*d + 2*h = 8, d = -d + 3*h - 12. Suppose -j - j + 4 = d. Suppose 0 = 5*m - 2*c + 3 - 0, 0 = -j*m + 3*c - 10. Which is smaller: -3 or m?
-3
Suppose -5*l + 3 = -2. Do 2/191 and l have different values?
True
Let m = -2.6 - 62.4. Which is smaller: m or -0.2?
m
Suppose 2*o - 25 = 7*o. Let u = 0.9999 + -0.8799. Is u less than or equal to o?
False
Suppose 3*j + 5 = 17. Suppose -4*y - j*l = 4, -3*y + 17 = -2*l - 0*l. Suppose p - 15 = 2*a - 8, 5*a + y*p - 10 = 0. Which is greater: a or -2/37?
-2/37
Let s = 211 - 216. Which is smaller: -51 or s?
-51
Let a = -443/3 + 165. Do a and 18 have the same value?
False
Let h = -367/10 - 359/5. Let n = h + 112. Is 5 > n?
True
Suppose 5*c - 160 = -5*a, -40*c + 39*c + a = -22. Which is greater: 15 or c?
c
Let d = 324 + 574. Let m = 38616/43 - d. Which is smaller: m or 1?
m
Suppose d - 3*c - 39 - 67 = 0, -3*d = -2*c - 332. Suppose -d = 8*i - 6*i. Let m be 8/(-14)*i/24. Which is greater: 1 or m?
m
Let h be 2/(-3) - (-10)/15. Let k = -93 + 1025/11. Is k less than h?
False
Suppose 3*w - 361 = -v, -v = -0*w - 2*w + 249. Suppose -f - 126 = -w. Are 4/5 and f non-equal?
True
Let d be 5 - 1 - ((-162)/(-33) - 1). Which is smaller: d or -1?
-1
Let u be ((-47)/4 - 1)*(-1 - 3). Let r = 56 - u. Is r < 6?
True
Let g = 0.3 - 0.1. Let p = 3.909 - -0.091. Which is smaller: p or g?
g
Let y = -2128 - -36166/17. Which is smaller: y or 0?
y
Let v(r) = -r - 36. Let t be v(-15). Which is greater: -20 or t?
-20
Let g = -11889 - -35293/3. Is g equal to -126?
False
Let f be (3/(-2) - -2)/((-2)/(-4)). Let z be (-342)/(-21) + 4/(-14). Let n be z/14*1/4. Is n >= f?
False
Let a be -3 + (14/(-2))/(11/44). Let z be 185/(-6) - 3/18. Are z and a non-equal?
False
Let h be (2/(-2))/1 + 0. Suppose -6*g + 243 = 249. Are g and h non-equal?
False
Let a = -90 + 117. Which is smaller: 28 or a?
a
Let c(q) = q + 12. Let m be c(-11). Let k = 6 + -1. Let u be 48/70 + (-2)/k. Which is smaller: m or u?
u
Let y(i) = 2*i**2 + 7 - 11 - 4*i + 2 + 5. Let p be y(2). Let d be ((-6)/(-4))/(p/4). Which is smaller: d or 3?
d
Let v = -917/3 - -312. Is -1/4 < v?
True
Suppose -30 = y + 4*n, -5*y + 0*y - 5*n - 165 = 0. Which is greater: -33 or y?
-33
Let u = 6 - 7. Let o = 400 + -54002/135. Which is smaller: o or u?
u
Let l(x) = -x**3 + 7*x**2 + 30*x + 4. Let i be l(10). Which is smaller: -10 or i?
-10
Let n(q) = -q**2 - 11*q - 8. Let h be 15/9*-6*1. Let w be n(h). Suppose w*s - 2 + 10 = 0. Is s < -10/3?
True
Suppose -4*t - 4*u + 1 = 5, 4*t + 5*u = -2. Let q(c) = -11*c - 1. Let b be q(t). Suppose 4*j - 2*h = b, -5*j - 8 + 22 = 4*h. Is 6 != j?
False
Suppose -48 = -k + 4*y, 3*k + 3*y = k + 52. Let b = -32 + k. Which is smaller: -4/15 or b?
-4/15
Let b = 53 - 52.94. Let p = 13.87 - 14. Let x = -0.07 + p. Which is smaller: x or b?
x
Let s(g) = 4*g + 11. Suppose 4*u - 9*u + 3*f = 35, 3*f = 4*u + 31. Let i be s(u). Is -3 <= i?
False
Let k(t) = t**2 + t + 1. Let p(m) = 7*m**2 + 12*m + 9. Let x(w) = 6*k(w) - p(w). Let b be x(-5). Is b < 3?
True
Let b(m) = m + 4. Let h(u) = u + 4. Let v(q) = 2*b(q) - 3*h(q). Let d be (21/3 + 0)*-1. Let o be v(d). Are o and 3 unequal?
False
Let r = 259 - 259.08. Is -72/7 not equal to r?
True
Suppose -24*l - 5301 = -15*l. Which is bigger: l or -588?
-588
Let x = -21 - -20.99. Let t = 1.79 - x. Let k = -2.1 + t. Which is smaller: k or 2/3?
k
Let s(o) = 4*o - 12. Let t be s(9). Let d = t - 32. Is d greater than 1?
False
Suppose 527*f + 2579 - 998 = 0. Let a(y) = -y**2 + 5*y + 1. Suppose 2*p + 12 = i + 5*p, 2*i - 4 = 4*p. Let t be a(i). Which is smaller: t or f?
t
Let x be 0/(-2) - 8/(-7). Suppose -5*k = -5*z + 25, -4*k - 27 + 2 = -5*z. Suppose -5*r = -p - 23, -3*p + z*p - 5*r = -21. Is x equal to p?
False
Let b = -3287 + 23011/7. Let p = -326/13789 - -3498827/76253170. Let f = -1/158 - p. Is b at most f?
False
Let b(p) = 25*p + 583. Let d be b(-8). Is d at least as big as 383?
True
Let v(i) = -17*i**3 + i**2 + 22*i - 22. Let f be v(1). Are f and -17 equal?
False
Let v = -45.1 + 45.2. Suppose 0 = -6*o + 4*o + 2*g + 8, 0 = -4*g. Suppose 18 = 2*u - k, -o*u + 5*k + 41 = -u. Which is smaller: u or v?
v
Let k be (-1)/(-3) + (-309)/9 + 6. Let j be 78/k + ((-8)/(-28))/1. Is -4 not equal to j?
True
Let r be (-2)/(-4) + (-23)/62. Suppose 16*x - 20*x + 4*m = 8, 4*x + m - 7 = 0. Which is g