r: q or f?
q
Let t = 10533858/11 - 960555. Let r = -2934 - t. Is -3 at most as big as r?
True
Let d = -124.5 - -122.5. Which is greater: d or 27?
27
Suppose -v + 15 = 4*v. Suppose 2*t + 8 = -v*w - 2, 25 = -5*w - 5*t. Let l be -10 - (w + 0/1). Do l and 0 have different values?
True
Let h = 199.9468 - -0.0532. Which is bigger: 1 or h?
h
Let b be 4/(-16) + 26/8. Suppose b*l - 5*w + 1 = -16, 3 = -5*l + 2*w. Suppose l - 4 = 3*m. Is 1/6 at most m?
False
Let p = 4/27 - 476/297. Suppose 0*u - 38 = 19*u. Which is bigger: p or u?
p
Let z = -155 - -230. Let b = -115 + z. Which is smaller: b or -41?
-41
Let y be (4/(-5))/(8/(-20)) - 1. Let s = -261326/79 - -3308. Is y smaller than s?
False
Let m = -86/13 + 24656/3731. Which is smaller: -5 or m?
-5
Let k = 47.8 - 23.8. Are k and 2/13 equal?
False
Let q(r) = 5*r**2 + 3*r - 3. Let d be q(3). Suppose -3*x = -0*x + d. Are -19 and x equal?
False
Suppose 8*s + 558 = -2*s + 368. Let h(g) = g**2 + 4*g - 3. Let z be h(-5). Suppose 0*b + z*b = -40. Which is bigger: b or s?
s
Let t(f) be the first derivative of 5*f**2/2 + 2*f + 10. Let i be t(1). Do 8 and i have different values?
True
Let n = -331 + 347. Is n at least as big as 16?
True
Suppose 8*k = -2*k - 280. Let l be (k/12)/(-10*1/(-6)). Suppose -9 = -2*u - 5*v + 14, -2*u + v = 7. Which is smaller: l or u?
l
Suppose -192 = -4*u - 4*u. Suppose 9*d = 7*d + u. Let n(o) = 12*o**3 + 2*o**2 - 2*o + 1. Let s be n(1). Is d at most as big as s?
True
Let h be 2/(-10) - 34/5. Let s be 50/(-175) + (-2)/h. Is s less than -9/13?
False
Let j = 0.88 - 0.88. Let s = 1.9 + 7.1. Let d = -8.2 + s. Which is bigger: d or j?
d
Suppose -4*c = -c - 9, c = -y. Let x be (3/(-2))/(y/18). Suppose 30 = -x*s + 12*s. Is s smaller than 10?
False
Suppose 0 = -19*a - 24*a + 473. Is a bigger than 4?
True
Suppose 5*i - 7*i + 6 = 0. Let a(w) = w**2 - 5*w + 5. Let o be a(i). Is -5/3 > o?
False
Let n(i) = -i**3 + 19*i**2 - 17*i - 25. Let y be n(18). Is y at most as big as -3?
True
Let x = 0.1591 - 0.1591. Which is smaller: 310 or x?
x
Let b be 215/(-12) + (-525)/60 + 8. Which is bigger: b or 1?
1
Let g(n) = n**2 - n - 17. Let k be g(-4). Suppose 3*p - 57 = 3*s, -4*s - 27 = -k*s + p. Is -22 less than s?
False
Let r = 144241/45 + -3205. Let l be 4/(-20) + (-2)/(-9). Let t = l - r. Is t not equal to -12?
True
Let s(f) = 3*f + 46. Let l be s(-14). Let o = -94/9 + 31/3. Which is bigger: l or o?
l
Let y(w) be the second derivative of -4/3*w**3 - 3/4*w**4 + 4*w + 0 + 7/2*w**2 - 1/20*w**5. Let f be y(-8). Is f smaller than 7?
False
Let h = 119 - 78. Let m = -41.2 + h. Which is smaller: 0.4 or m?
m
Let r(n) = -n**3 + 9*n**2 + 48*n + 501. Let g be r(-10). Is 1921 bigger than g?
False
Let s = 388217/7 + -55337. Let y = 123 - s. Which is greater: 1/4 or y?
y
Let v = -188 - -188. Let y = 2.135 - 0.035. Let i = y + -0.1. Do i and v have different values?
True
Let x be (38/6)/((-2)/(-6)). Let t be 824/12 + (-2)/3 + 2. Suppose 3*d - 5*p - t = 0, -2*d - p + 4*p = -46. Is x at least as big as d?
False
Let k(f) be the third derivative of f**5/60 - 5*f**4/24 - 5*f**3/6 - 9*f**2. Let d be k(6). Let y = d - -2. Are y and 3 non-equal?
False
Suppose -22 = -5*n - 6*n. Which is greater: n or -28?
n
Let f(m) = m**3. Let y be f(0). Suppose -w + y*w = 2. Let n be (-6)/(-3)*(-3)/w. Is n < 2?
False
Let y be -1*(-5)/3*-3. Let i = y + 2. Let j be (12/(-18))/(2/i). Which is bigger: j or 6/11?
j
Suppose 0 = z + 21 - 4. Let r = z + 14. Let o be (3/99)/(r/(-9)). Which is smaller: 1 or o?
o
Suppose -11 = g - 2*o, -31*o = -5*g - 27*o - 49. Let d = -27 + 19. Which is smaller: d or g?
g
Suppose 2*l = 5*r - 0*l - 1, -7 = r - 4*l. Let q be ((-9)/3 - -2)*(6 - r). Which is smaller: q or -8?
-8
Let r(k) = 4*k - 26. Let q be r(8). Suppose q = 3*n, 5*u + 6*n = 3*n + 6. Which is smaller: u or 2/157?
u
Let q = -968 + 940. Which is smaller: q or -225/8?
-225/8
Let n = 29459 - 2180001/74. Does 1 = n?
False
Suppose 8*v + 226 = 210. Which is smaller: 1/25 or v?
v
Suppose 2*l - 4*r = -8 - 18, 0 = -4*l - 5*r - 13. Let d(g) = -3*g**2 - 6*g - 2. Let w be d(-2). Let f be w/((-8)/(-2) - -1). Which is smaller: l or f?
l
Let y(g) = 2*g**2 + 3*g + 1. Let i be y(-2). Let m(b) = 8 + 1 + 2*b - b**2 + 0*b**2 - b**i. Let t be m(0). Which is smaller: 8 or t?
8
Let o = 42 - 46. Let v be ((-24)/54)/(o/(-6)). Is -2 at most v?
True
Let q(l) = -l**3 + 18*l**2 - 2*l - 33. Let s be q(18). Do -69 and s have the same value?
True
Let b be (-10)/(2/(-1) - 0). Let h(r) = r - 25. Let v be h(b). Which is greater: -19 or v?
-19
Let w = 74 + -73.38. Let h = 0.18 + w. Let p = h - 0.5. Do -1 and p have different values?
True
Let x = -35 - -27.2. Let u = 0.078 - -6.922. Let q = x + u. Is 0.1 at most as big as q?
False
Let u(n) = -2*n + 2. Let g be u(2). Let l = 1 + 5. Let v be (1 - 2)*(l - 5). Is g bigger than v?
False
Suppose -4*c = 2*l - 36, 4*l - 3 - 69 = 3*c. Let q be 4/l + (-102)/(-27). Let t = -23 - -28. Which is smaller: t or q?
q
Let o(d) = d**3 + 5*d**2 - 2*d + 6. Let g be o(-6). Let v = -53/4 - 17/4. Let x = v - g. Which is bigger: x or 2?
2
Let n = -12624/44233 + -2/6319. Is -3 bigger than n?
False
Let g be 4*(3 - (-4 - -8)). Let p(b) = 2*b**2 - 7*b + 9. Let x(w) = 5*w**2 - 20*w + 27. Let h(f) = 8*p(f) - 3*x(f). Let y be h(g). Which is bigger: -10 or y?
y
Let w(m) = 17*m + 110. Let y be w(-23). Do y and -280 have different values?
True
Let f = 853/3960 - -3/440. Let y = -1 - -2. Is y greater than or equal to f?
True
Suppose -c = -5371 + 43194. Let k = c + 647223/17. Let i = -249 + k. Do -1 and i have the same value?
False
Suppose 5 = -2*o + p - 6, -2*o = -4*p + 26. Let v(q) = -q**2 - 7*q + 5. Let m be v(-7). Let c be (m + 3/o)/(-2). Is c bigger than -3?
True
Let f be (1/53*6)/(540/(-27)). Which is bigger: 0 or f?
0
Suppose -5*r + 8*l + 8 = 5*l, l + 2 = r. Let v be (-28)/(-35) - 159/5. Is r greater than or equal to v?
True
Suppose 4*a = a - 3. Let h be (-1)/((a/(-1))/10). Let f(g) = -g - 9. Let y be f(0). Is y < h?
False
Let t = -0.024 - 11.976. Let u = 11 + t. Which is bigger: -1/19 or u?
-1/19
Let p = 29/68 + -3/17. Let h = -1 + 40. Let d = h - 29. Which is bigger: d or p?
d
Let d(q) = 17*q**3 + 3*q**2. Let c be d(-3). Which is smaller: -430 or c?
c
Let r = 0 - 1. Suppose -i - k = -1, 2 + 6 = -i - 4*k. Let y be 0/(2/1*(-4)/i). Which is smaller: r or y?
r
Let x(r) = -2*r + 21. Let n be x(9). Suppose -13 = -n*b - l - 4*l, -5*b + 13 = 4*l. Let s = -445 + 6227/14. Is s at least b?
False
Let o = -10 + 2. Let f be (4 + 30/o)*-3. Which is smaller: -2 or f?
-2
Let p = -281/5 - -61. Which is smaller: p or 5?
p
Let a be 10/145 + (145664/116)/4. Are 311 and a equal?
False
Let x be (-77)/(-28) - 6/24. Let l be (2 - 0) + 4/(-2). Let h = 0 - l. Which is smaller: x or h?
h
Let b be 620/150 - (2/(-15))/(-1). Is -3 greater than b?
False
Let r(l) = -l**2 - 10*l + 82. Let k be r(16). Is k equal to -333?
False
Let i = 545 - 548. Is i smaller than -8?
False
Let s = 18 - 30. Let m be (-981)/(-27) - (1 + (-10)/6). Suppose -16*g + 4*b - m = -13*g, 5*g + 59 = 4*b. Which is greater: s or g?
g
Suppose -p - 2*p + 1 = -2*d, 0 = 5*p - 4*d + 1. Suppose -3*f - 18 = -p*y, -y = 4*y + f - 18. Which is smaller: 3/5 or y?
3/5
Suppose 0 = -2*o + 4*l - 44, -5*o - 78 = 10*l - 12*l. Do -14 and o have the same value?
True
Let l be 8/(-7)*(-7)/2. Suppose -5*a - l*b = 84, -3*a - a - 65 = b. Is a greater than -0.1?
False
Let w be 14*14/40*-2. Let a(u) = -u**3 + 31*u**2 + 3*u - 104. Let l be a(31). Which is smaller: l or w?
l
Suppose -3*i + 0*i + 9 = -2*q, 4*q + 6 = 2*i. Suppose 0 = 3*s + h - 1, -h = s + h + i. Which is greater: 6 or s?
6
Let i be (-42)/105 + (-577)/(-5). Let j = -111 + i. Are j and 27/5 equal?
False
Suppose 3*b = 5*a + 196, -120 = -0*a + 3*a - 3*b. Let w be (-7)/224*-4*-306. Which is bigger: w or a?
a
Let p = 666 + -665. Which is bigger: -7/94 or p?
p
Let o = 74/9 - 53/9. Is 1 not equal to o?
True
Let x be 252/45 - (9/15 - 1). Let i be x/(-18)*6/(-8). Are i and 0 nonequal?
True
Let v = 0.086 + 51.414. Let s = 51 - v. Do s and -0.05 have different values?
True
Let r be (-54021)/4147 + 7 + 6. Is 0 bigger than r?
True
Suppose -5*b - 5*j - 10 = 0, 12*b = 8*b + j + 2. Is b <= -26/23?
False
Let z(x) = -x**3 + 5*x**2 + 6*x. Let b be z(6). Suppose 3*p - 4*p = b. Suppose p - 3 = -3*y. Which is greater: 2/19 