ter: 2/9 or y?
2/9
Let z be (-130)/52*-6*(-10)/(-9). Is 17 smaller than z?
False
Let o(w) = 6*w**2 - 2*w + 1. Let f be o(2). Let t be f + -17 + (-1 - 7). Which is smaller: t or -5?
-5
Let o = -5 + 10. Suppose -o*z + 1 = -k, 25 = 5*z - 0*k + 5*k. Let n be (z/(-3))/(4/(-84)). Is 7 at most as big as n?
True
Let o = -1/299 + 901/1196. Suppose j + 10 = 6*j. Suppose 3*i - 4 = j. Is i less than or equal to o?
False
Let j be (-5)/(-15)*-3 - -7. Let g = 43 - 26. Suppose 4 + g = 3*o. Which is greater: j or o?
o
Let m be 10/(20 - 10)*0. Is m greater than or equal to -10/63?
True
Let i = 183/3886 - 2/67. Which is smaller: -1 or i?
-1
Let b = -3 + -1. Let h(x) = -x**2 + x + 1. Let j be h(1). Suppose -5*c - 20 = -3*k, 5 = -c - 2*k + j. Do b and c have the same value?
True
Let d = -2140 + 1917. Which is greater: 0 or d?
0
Let b(y) = -2*y**2 + 36*y + 33. Let t be b(19). Which is smaller: t or -7?
-7
Let j be (-20)/(-39) - 4/6. Let c be 10755/(-12189) + 1/17*-2. Is j greater than or equal to c?
True
Let a(x) be the first derivative of -x**4/4 + 3*x**3 - 4*x**2 + 11*x + 2. Let y be a(8). Let o = 5.9 + -6. Which is greater: y or o?
y
Let f(r) = -204*r**3 - 3*r**2 + 5*r - 4. Let k be f(2). Let h be (-868)/k - (32/(-18) + 2). Is -1 <= h?
True
Let r = -3.33 - -3.3. Is r <= 3/8?
True
Let p(o) = o + 4. Let x be p(-6). Let b = -1 - x. Let a = -0.073 + 5.073. Is a at least b?
True
Let m = -106 - -100. Let r = 61 - 67.2. Let d = m - r. Is 1 not equal to d?
True
Let d = 0.042 - 1.042. Let k(r) = -r**3 - 5*r**2 - 7*r - 6. Let n be k(-4). Is n at least as big as d?
True
Let x be (-2)/1*1 - -7. Suppose t + 14 = x*w, -2*w + 5*t + 20 = -4. Let c = -12703/6 - -2118. Do w and c have different values?
True
Let a be (-336)/(-2460)*(-10)/(-4). Is 1 > a?
True
Suppose -10*v - 400 = 140. Is v not equal to -55?
True
Let t = 570 - 1258. Which is bigger: t or -687?
-687
Let p = 2.6 - 4.2. Let v = -1.6 - p. Which is greater: v or 0.1?
0.1
Let u be 8/(-22)*(-55)/30*-2991. Which is smaller: 1 or u?
u
Let x be 9/15 + (3807/(-870) - -3). Let z = -8/29 - x. Which is bigger: 1 or z?
1
Let v(y) = y**3 - 23*y**2 - 16*y + 14. Let g be v(23). Which is greater: -355 or g?
g
Suppose -2*z - 2*a + 44 = 0, -6*a + 111 = 5*z - 2*a. Let y = z - 42. Let n = y + 94/5. Which is bigger: 1/3 or n?
1/3
Let p be 250/75 - (-2)/3. Suppose -11*r - 14 = -p*r. Which is smaller: -24/11 or r?
-24/11
Let t = 2.8 + -2.825. Let j = -0.025 - t. Which is smaller: -6 or j?
-6
Let x = 0.003 - -24.597. Let y = 27 - x. Let i = y + -2.1. Which is greater: -0.6 or i?
i
Suppose -4*c - 4 = 0, -2*y - 993 = 138*c - 135*c. Do -496 and y have different values?
True
Let d = -42 + 39.8. Let a = 2.4 + d. Which is bigger: a or -8?
a
Suppose 17 = -d + 4*q, d = 5*d - 3*q + 16. Let m be 1 - ((-1501)/1320)/d. Let g = m - -2/165. Is -1 at most as big as g?
True
Suppose 4*y = 2*j - 26, 2*j + 8*y = 4*y + 2. Suppose -4 = -4*k - 2*o, -k - 3*o = -j*o + 8. Are -2/55 and k unequal?
True
Let a = -101.99 + 102. Which is greater: 11 or a?
11
Suppose 5*l + 0*l = 12*l. Which is smaller: 11 or l?
l
Let m = -0.4 - -1. Let r = -1.16 - -0.46. Let u = m + r. Is u < 0.05?
True
Suppose 425 = 2*d - 7*d. Let a be -5 + (-4 - -8) + -83. Which is bigger: d or a?
a
Let m = 204 - 75. Let d = m - 131. Is 0.9 greater than or equal to d?
True
Let f = -3.809 + -0.091. Let d = 3.7 + f. Is d not equal to -5?
True
Let z = 87.8 - 88.8. Do z and -8/29 have the same value?
False
Suppose -m - 4 = -2. Let v be m/10 + 704/(-55). Is v less than or equal to -2/5?
True
Suppose -22*x + 21*x - 2*f - 111 = 0, 2*f + 10 = 0. Is -509/5 >= x?
False
Let s be (-24)/(-1) + (1 - 3). Suppose -g + 6 = -4*i - s, -22 = 3*i - g. Let c be ((-4)/40)/(-1)*i. Is -1 bigger than c?
False
Let r = 2.03 - 0.03. Which is smaller: r or -1?
-1
Let r(z) = -z**3 - 13*z**2 + 1. Let q be r(-13). Let j be (-1 - -13)*1/3. Suppose i - 5 = -j. Is q > i?
False
Let a be (-2 - -13 - -189) + -4. Is 201 smaller than a?
False
Let d = 4 + -3. Let g = 2883/8 + -363. Let b = 181/72 + g. Does d = b?
False
Let z(f) = f**3 - 11*f**2 - 12*f + 2. Let k be z(12). Let v be 4/(-2) + k + -3. Is v >= -1?
False
Let k(j) = -j - 16. Suppose -7*z - 25 = 73. Let v be k(z). Which is bigger: -6 or v?
v
Suppose -4*x + 1312 = -2*x. Suppose -2*m - 6*m = -x. Is m greater than -0.1?
True
Let b = 23.74 - -3.26. Which is greater: 3 or b?
b
Let b(q) = -q**3 - 15*q**2 - 54*q - 10. Let v be b(-10). Is 30 >= v?
True
Let o be 42/30*5*1. Is 37/6 != o?
True
Let t = 6501/22219 + 2/1307. Let s(x) = -x**3 + 19*x**2 - 16*x - 35. Let j be s(18). Are t and j equal?
False
Let t be -2 + 5 - 0/2. Suppose -2*w + t = -w. Suppose 5*f - 3*j - 7 = -6*j, -3*f = -w*j + 15. Is -2/31 not equal to f?
True
Suppose y - 13 = 3*m - 4*y, -11 = 3*m - 4*y. Suppose 26 = 5*q + 2*p - 5, 3*q - 5*p - 31 = 0. Let j = q + -7. Does m = j?
False
Let n be -5 + (-12)/(-2) + 1. Let b be (1/n)/((-1)/112). Is -57 != b?
True
Let n = 0.04 - 0.14. Let y be (14/(-12))/((-28)/63). Let d = -97/40 + y. Which is greater: n or d?
d
Let o = -7 + 4. Let p be -3 - (-2 - (3 - o)). Suppose 2*g = g + 4. Which is bigger: p or g?
p
Let w be 13/(-3)*(-9 - (-84)/7). Which is smaller: 2/21 or w?
w
Let m be (-3)/(-12) - (2 - 1100/624). Let k(t) = -t**3 - 3*t**2 - 4*t - 3. Let q be k(-2). Which is greater: q or m?
q
Let m = 16 - 10. Suppose 3*j - m*j = 3. Let x = -647/1976 - -3/152. Which is bigger: x or j?
x
Let q = -281 + 1685/6. Which is smaller: q or 9/4?
q
Let n = -11 + 13. Let h be ((-10)/15)/((-4)/(-6)). Let i = n - h. Is 3 at least i?
True
Suppose -y - 6*t = -t, 2*t = 3*y. Let l = 746/3315 - -2/195. Is y less than or equal to l?
True
Let g = -2361/4 + 589. Let k = -2 + 2. Let o = k - 1. Do g and o have different values?
True
Suppose -2*f + 4*k - 10 = 0, 0 = f + 5*k - 34 + 4. Suppose 8*p - 3*p - f = 0. Is p less than -2/85?
False
Let g = -0.02 - -0.11. Let n = -91.91 - -93. Let o = g - n. Do -2/9 and o have different values?
True
Let u = -4767 - -80961/17. Let g = 1777/391 + u. Which is smaller: -1 or g?
-1
Let x = 0.0168 - -2.9832. Suppose -9 = g - 1. Is x less than or equal to g?
False
Suppose 0 = -3*f + 3*c + 81, 2*f - 36 - 22 = 4*c. Which is greater: 16 or f?
f
Suppose 2166 = 3*u - 4665. Let i = u + -61471/27. Which is smaller: -1 or i?
-1
Let v = 23 - 17. Suppose -20 = -o + v*o. Let a(g) = -g**2 - 11*g - 15. Let i be a(-10). Which is bigger: o or i?
o
Suppose 4*b - 1 + 2 = 5*m, 2*m - 2 = 0. Is b >= 7/26?
True
Let r be (0 - 3)*2 - (2 - 8). Is r greater than or equal to -221?
True
Suppose 3*p - 9 = -4*i + 3, -4*i = -p + 4. Suppose i = -4*c + 1 + 7. Is -1 greater than c?
False
Let r(w) = -31*w. Let a be r(-3). Suppose 5*s = -a + 28. Let v = -12 - s. Which is greater: -1/6 or v?
v
Let x be -2*1/3*(-120)/16. Let h be 7 + x - 5 - (-2 - -3). Which is bigger: 8 or h?
8
Suppose 5 = 3*g + 2*g. Suppose -3*u + j = g, 0*u - 3*j - 4 = -2*u. Let l = 664/9 + -74. Which is greater: l or u?
l
Let k be (-32)/56*(0 + 7). Is 2/3 < k?
False
Let h be 4/(-10) - 108/(-270). Is h at most as big as -1/785?
False
Let m = -220 - -219. Is -2/173 smaller than m?
False
Let a = -22 - -22.1. Let k(r) = -r + 1. Let u(o) = o**3 + 7*o**2 - 9*o - 1. Let d be u(-8). Let w be k(d). Which is smaller: w or a?
w
Suppose c - 21 = 4*u, 3*c = -2*u - 0*c - 21. Let t = -6 - u. Let l(y) = y**2 - 6. Let b be l(t). Which is smaller: b or -8?
-8
Let r(k) = -k**3 - k**2 + 10. Let z be r(0). Suppose 2*x - z = -12. Is -1/3 >= x?
True
Let m = -3 - -2.8. Let j be ((-9)/2)/(34/(-8) - -5). Let l be 2 + j/(-2) + -2. Which is greater: l or m?
l
Let v = -31.2 + 30.8. Which is smaller: v or -21?
-21
Let c be (26/68 + (-2)/(-17))*0. Let m = -5361/8552 + 2/1069. Which is greater: m or c?
c
Suppose -i - 22 = 2*r + 3*i, 5*r = -5*i - 35. Let l be (-1 + 4 + r)/1. Suppose 29 = -0*g + 2*g - 5*o, l = 5*g - 4*o - 30. Which is smaller: 5/2 or g?
g
Suppose 5*z + 124 = 3*x, x + z + 0*z = 28. Let u = x + -37. Is u equal to -18/5?
False
Let p = -23122/3 - -7795. Which is bigger: 2/7 or p?
p
Let z = 1140 + -909. Is 231 at most z?
True
Let f be ((-1)/2)/(12/(-792)). Is f at most 31?
False
Let w(u) = -u**3 + 7*u**2 + 10*u + 3. Let z be w(8). Let j = -12 + z. Suppose 0 = 3*f - j*f + 24. Is f greater than 6?
False
Suppose -u = j + 14, j - 5*j - 57 = 3*u. Which is bigger: -7 or j?
-7
Le