r: w or 0.1?
w
Let s(h) = -h - 1. Let o be s(-1). Let l be 0 + (-2 - o) + 3. Let z = -9/2 + 43/10. Is z bigger than l?
False
Let d = 2 - 1. Let x = 1 - d. Suppose -2*m + x*m = 0. Which is greater: m or -2/5?
m
Let z = 61.9 + -54. Let t = -8 + z. Is -3 equal to t?
False
Suppose 4*i + 10 = -i. Is i greater than -1?
False
Let v be 4/(-6) + 2/(-6). Let z = 1 - 1.3. Let b = z + 0.1. Which is smaller: v or b?
v
Let k = -167 - -838/5. Is 2 greater than k?
True
Let l = -134/11477 - -4529563/70445826. Let m = -2/279 + l. Is m smaller than 1?
True
Let a(p) = -p + 3. Let y be a(3). Suppose -4*o + 13 = -5*t, -t = t + 2. Suppose c + 1 = o. Which is bigger: c or y?
c
Suppose -2*v - v + 39 = 0. Suppose -3*w - 4*f - f + 18 = 0, v = -2*w + 5*f. Which is bigger: 4 or w?
4
Let h = -1365/8 - -171. Let b(c) be the first derivative of c**3/3 - 5*c**2/2 - 6*c - 2. Let t be b(6). Are t and h non-equal?
True
Let j = 2 - 3. Let l be 3/(-6) + (-7)/(-2). Let m be j - 4/(1 - l). Is 0 less than m?
True
Let w = -145 - -54. Let z be (-16)/7 + (-26)/w. Is -2 at most z?
True
Let n = -540 + 26459/49. Which is greater: n or 0?
0
Let g(p) = p**2 - 2*p - 3. Let k be g(3). Which is bigger: -1/10 or k?
k
Suppose -8*g - 72 = g. Which is bigger: 2/7 or g?
2/7
Let n(j) = j + 21. Let d be n(-11). Is d less than 9?
False
Let d be (-10)/(-12) - 2/(-12). Do 1/37 and d have the same value?
False
Let u be ((-2)/(-5))/(2*-1). Let v = 10 - 10. Is v at least as big as u?
True
Let y = 67/3 + -139/6. Let r be ((-6)/(-2))/(-3) + 3. Suppose 3*v + 1 = -5*w - 5, r*v = w - 4. Are w and y unequal?
True
Let b(h) = -h**2 + 2*h + 1. Let y be b(0). Which is smaller: 11/7 or y?
y
Let f = -67 - -67. Which is greater: -4/3 or f?
f
Let n = 5 - 3. Suppose 0 = n*i + 3*i - 275. Let f = -219/4 + i. Are f and 0 nonequal?
True
Let b be 2*(-1)/(-4)*2. Do b and -2 have the same value?
False
Let o = -1/353 - 689/6001. Which is smaller: o or 0?
o
Suppose 0*j + 3*j - 4*n = -89, -5*j - 127 = 4*n. Is -28 < j?
True
Suppose 5*h = 4*h - 1. Suppose -2*t - 25 = 3*t - 5*z, 5*t = 4*z - 23. Which is bigger: t or h?
h
Let s = -9/4 - -3/4. Suppose 941*y + 2 = 939*y. Is s > y?
False
Let m = 3/134 - 215/3618. Is m equal to 1?
False
Suppose -2*y + 5*y = 0. Let n = 0 - y. Is -2/3 smaller than n?
True
Suppose 2*d + 1 = 9. Suppose 0 = -14*i + 5*i - 81. Let c be 52/i + d/(-18). Is -6 at least as big as c?
True
Suppose -15 = 5*u - 5*t, 5*u + 2*t - 35 = -3*t. Suppose f - u*q + 1 = 3*q, 0 = -5*f - 2*q + 22. Which is bigger: 13/3 or f?
13/3
Let d = 0.006 + -0.206. Which is smaller: d or -20?
-20
Suppose -3 = -4*h + 1. Let z be (-4)/10 - (-2762)/130. Let w = z + -21. Are w and h unequal?
True
Suppose 0*o + 3*p = o - 6, 3*p + 6 = 2*o. Let l be (2 - 21/6)/((-12)/16). Is o < l?
True
Let l = 227/7 - 32. Let r be 0 + -2 + 4/2 + -1. Is l greater than or equal to r?
True
Let q(r) = -r**2 - 8*r + 5. Suppose 2*g + 115 = 3*u + 7*g, -5*g = u - 35. Suppose 0 = 3*h + 2*h + u. Let l be q(h). Is 2 at most l?
True
Suppose -60 = -y - 4*y. Let n be y/(-19)*-1 - 0. Let a = 98/95 - n. Are -0.2 and a nonequal?
True
Let k = -3 - -8. Suppose 0 = 4*h + 5*u + 15, 17 = k*h - 5*u + 2. Suppose h = i - 0*i. Which is smaller: -0.1 or i?
-0.1
Let p = 90.9 + -91. Let d = -6 - -6.3. Let v = d - 0.8. Which is smaller: p or v?
v
Let l(x) = x - 2. Let h be l(3). Suppose 0*o = -o + h. Is 3/7 smaller than o?
True
Suppose -2*q - 3*j + 5 = -4, 4*q = -4*j + 12. Is -1/137 smaller than q?
True
Suppose 0 = -3*v - 3*q + 2*q - 11, 13 = -3*v + q. Let k(f) = -1 - 4 - 3 - f. Let p be k(v). Which is bigger: p or -3?
-3
Suppose -1 - 3 = -2*i. Let v be ((-4)/i)/(-6 + 4). Is v < -2/5?
False
Let d be (-3)/(-1)*(-4)/6. Let h = -0.7 - -0.61. Let o = h - 0.11. Which is smaller: d or o?
d
Let n = 0.11 + -0.11. Is -0.3 at least as big as n?
False
Let c be (2/(-12))/((-4)/12). Suppose 2*o - 2*w = 0, 2*o = -0*o - 4*w. Suppose 0 = -4*i - o + 8. Is c at most as big as i?
True
Let f = 7 + -1. Let u be (20/f)/((-6)/(-9)). Suppose 2*j - u*d = -13, 4*j + 6 = 3*j + 2*d. Is j at most -0.1?
True
Let o be 9*1*(-2)/(-3). Let v(t) = -t + 7. Let y be v(o). Which is smaller: y or -1?
-1
Let s = 95 + -853/9. Is 12 < s?
False
Let t(c) = c**2 - 17*c - 22. Let p be t(18). Which is bigger: p or -5?
p
Let u(h) = -h + 4. Let d be u(7). Let n be d/(-12)*(-1 + 0). Suppose 2*r + 2*z - 2 = r, -z = r - 1. Is n <= r?
True
Let q be 35/(-11) + 3 + 0. Suppose 0 = -0*w + 3*w. Suppose w*g = g. Which is smaller: q or g?
q
Let q = -13.3 + 14. Which is bigger: 0 or q?
q
Let g be 3/9 - 28/(-6). Suppose 0*a = g*a + 30. Let n(c) = c + 8. Let f be n(a). Are f and 0 nonequal?
True
Let j be (15 + -5)*(-2 + 1). Let w be j/(-4)*(-144)/(-60). Is 6 at least w?
True
Suppose -4 = 2*o - 0*o - 4*f, 2*f = -3*o + 2. Let h be o/(-12) - 2/(-4). Which is greater: h or 19?
19
Let j = 50 - 50.22. Is -1 <= j?
True
Let d be (-4 + 1)/(-1) + -1. Let f be (4/5)/((-20)/(-50)). Suppose -f*j - 4*i - 14 = -0, 0 = 3*j - 5*i - 12. Which is bigger: d or j?
d
Let u be 234/(-12)*4/6. Let x = 9 + u. Is -4 at least x?
True
Let u(t) = t**3 + 8*t**2 - 10*t - 2. Let j be u(-9). Is 7 bigger than j?
False
Let p be 2/12*68/90. Let v = -2/135 + p. Which is greater: v or 1?
1
Let p(b) = 10*b**2 + 13*b. Let a(w) = -5*w**2 - 6*w. Let m(n) = 13*a(n) + 6*p(n). Let s be m(-1). Let d(c) = -2*c + 6. Let i be d(5). Is i at least as big as s?
True
Let v(f) = -f**3 - 6*f**2 + f + 6. Let c be v(-6). Suppose c = -4*m - 3 - 17. Which is smaller: -6 or m?
-6
Let x be (36/105)/((-27)/21 - -1). Which is smaller: -1 or x?
x
Suppose 8*x + 41 = -103. Is -16 greater than or equal to x?
True
Let t be ((-167)/5)/((-21)/35). Let o = 175/3 - t. Which is greater: o or 2?
o
Let q = -5/9 + 74/117. Suppose 0 = -3*s + z + 5, 11 - 36 = 5*z. Which is smaller: q or s?
s
Let a = -8 + 9. Let i(v) = v**2 - 2*v + 3. Let o be i(2). Is o bigger than a?
True
Let y be (4/(-6))/((-2)/3). Let f be 0*-2*y/4. Suppose f*h = -h - 4. Is -3 smaller than h?
False
Suppose 5*u = u. Let x be (-4770)/(-35) - (0 - u). Let h = 136 - x. Which is smaller: -0.1 or h?
h
Let r(q) = q**3 - 8*q**2 + q - 10. Let u be r(8). Let h be 0/2 - (-3 - u). Which is bigger: h or 4?
4
Let d = 276/77 - 27/7. Let l = 2848/3 - 62605/66. Let r = d + l. Is 3 at most r?
False
Let r be (-26)/5 - 3/(-15). Which is bigger: -4 or r?
-4
Let w = -2.031 + 0.031. Let r = -1 + 1. Is w less than or equal to r?
True
Let c = -0.2 - -0.1. Which is greater: -8 or c?
c
Let t(f) = -f + 16. Suppose -2*i + 19 + 5 = 0. Let n be t(i). Suppose y - 4 = -y + z, -4*y = -n*z - 16. Which is greater: -1/3 or y?
y
Let o = 13 + -8. Let y = 7 - 4. Let q = y - o. Which is smaller: q or -1?
q
Suppose 4*z = 9*z - 5. Which is greater: z or 12/5?
12/5
Let q = 10.7 + -6.7. Which is greater: q or -2/35?
q
Let a be (-5)/10 + 2/(-4). Let k be 79/(-7) - 2/(-7). Let l be (k/(-6) - 0) + -2. Which is greater: a or l?
l
Let m = -0.15 - -0.05. Is 9 less than or equal to m?
False
Suppose -k = u - 0*k + 1, 2*k = 3*u - 22. Let m be ((-272)/10)/u + 1. Let a = 6 + m. Is -1 greater than a?
False
Let y be 2/8 - 290/744. Let g = 1527 - 47331/31. Let r = y - g. Is r at least as big as 0?
False
Let n be (2/(-4))/(1*2/4). Let l = 14 + -29/2. Which is bigger: l or n?
l
Let g = -75135/46 + 1633. Let i = g + -3/23. Suppose -2*o + 4 = -f, -3*o + 2 = -4*f + 6. Is f < i?
False
Let q = 60 + -62. Suppose -5*x = 3 + 22. Do q and x have the same value?
False
Let r(w) = 8*w**3 - 9*w**2 + 4*w + 7. Let s(x) = -7*x**3 + 8*x**2 - 3*x - 6. Let h(l) = 6*r(l) + 7*s(l). Let d be h(3). Which is smaller: -1 or d?
-1
Let k = 8 - 3. Is -2 less than k?
True
Let i = 3 - -5. Let u be (i/(-3))/((-4)/6). Is 4 not equal to u?
False
Let t(w) = -3*w**2 - 6*w - 3. Let u be t(-3). Is u at most 0?
True
Let l = -22.9 - -23. Which is smaller: -34 or l?
-34
Let h = -2.5 - 1.5. Which is bigger: 0 or h?
0
Let x be -1 - 586/(-18) - -1. Let i = -4255/21 - -1192/7. Let o = x + i. Are 1 and o equal?
False
Let c(u) be the second derivative of u**4/12 + 7*u**3/6 + u**2/2 + u. Let i be c(-6). Let t = -68 + 64. Which is greater: i or t?
t
Let l be (-2)/(-6) + (-16)/57. Which is smaller: -1 or l?
-1
Let q = -120 + 60. Let l be ((-4)/(-10))/(3/q). Which is smaller: -15/2 or l?
l
Let u be ((-15)/6 + 3)*-5. Which is greater: u or -3?
u
Let a be (0/(-2) - 0) + (