17 - 14. Suppose -u*m + 2*m = 0. Are m and -1/27 equal?
False
Suppose -5*b + 172 = 3*z, 4*b + 90 = z + 27. Which is bigger: 51 or z?
z
Let g(d) = -d**2 - 3*d + 5. Let n be g(-6). Are n and -2/3 nonequal?
True
Let v = 172 + -1890/11. Which is smaller: v or 30?
v
Suppose 19*r = -4*w + 17*r - 2, -4*w - 4*r = 0. Suppose 0*c + 5 = 5*c. Is c bigger than w?
True
Let j be 230/15*9/(-6) + 4. Is -16 at least j?
True
Let q = -2 - -2.07. Let i = 13 - 12.77. Let p = q + i. Is p < 2/5?
True
Suppose -27 = 3*i - 0. Let h be ((-21)/i)/((-2)/(-6)). Let a(s) = 2*s**3 + 34*s**2 + 31*s - 10. Let m be a(-16). Which is smaller: m or h?
m
Let o(w) = w**3 + 3*w**2 - 19*w - 5. Let k be o(-6). Does 30/47 = k?
False
Let u = 132 - 132. Is -104 greater than or equal to u?
False
Let q = -4.3 - -7.24. Let c = q - -0.06. Let s = 1.94 - 0.94. Is s > c?
False
Let y(u) = u**3 + 5*u**2 - 2*u - 12. Let s be y(-6). Let n = 35 + s. Which is bigger: n or -4/3?
n
Suppose 3484 = m + 12*m. Is 266 at least m?
False
Let p = 166.1 - 144. Let z = 15 - p. Let f = z + 7. Which is greater: 0.03 or f?
0.03
Let y = -12 - -23. Let k = 4.07 - 2.07. Which is bigger: k or y?
y
Let c = -0.44 + -0.56. Is -130 <= c?
True
Let p = -100.5 + 91. Let u = -9.4 - p. Which is smaller: u or -1/3?
-1/3
Let x(w) = w**3 - 10*w**2 + w - 8. Let m be (0 - -1)/(5/50). Let c be x(m). Suppose -2 = 2*d + c. Which is bigger: -0.3 or d?
-0.3
Suppose -4*s - 12 = 0, p + 2*s = -3*p + 2762. Which is smaller: 691 or p?
691
Suppose 4*n = -453 - 431. Let a = 5084/23 + n. Which is smaller: a or 0?
0
Let f = 16 + -23. Let q(h) = -34*h - 5 - h**2 - 10 + 12*h + 12*h. Let s be q(-9). Is f at most s?
True
Let q = 39 - 21. Let z be (-2)/(2 + q/(-10)). Let c = z - -11. Are 0 and c nonequal?
True
Let k(j) = -17*j - 1. Let c be k(-1). Which is bigger: 14 or c?
c
Suppose -6 = -4*a + 2. Let z be 0/a*1/(-1). Let l be (-1)/(-1) - (-6)/(-10). Which is smaller: z or l?
z
Let v = -5 + 4.4. Let w = 2.4 - v. Let q = 1 - w. Is q less than or equal to -1/2?
True
Let a = 20 - 15. Suppose a*s = 6*s - 4. Which is bigger: 1/4 or s?
s
Let i = -1.2 + 0.2. Let r be 13 + 22 - (4 - 2 - 2). Suppose -7*u = -12*u - r. Is u at least as big as i?
False
Let r be -136 + ((-4)/(-24)*0)/(-1). Is -135 < r?
False
Let w = 12 - 12.4. Let a = -0.4 - w. Let y = -314 + 1561/5. Is a > y?
True
Let i = -0.15 - 0.05. Let q = 219 + -212. Which is smaller: i or q?
i
Let r be ((-36)/(-27))/(2/3). Suppose -3*d + 3*w = -r*w - 10, -5*d + w = -2. Let j = -6/143 - 1102/1001. Is j > d?
False
Let o = 386 - 367. Do 6 and o have different values?
True
Let v(h) = -2*h - 6. Let a be v(-4). Let p be (-1 - 8/(-6))*(3 - 0). Which is bigger: p or a?
a
Let g(z) = z**3 - 2*z**2 - z - 106. Let x be g(0). Is x != -108?
True
Suppose -4*h + 156 = -224. Let i = -1711/18 + h. Suppose 3*n - 5*x - 12 = 0, -n - n - 14 = 4*x. Which is greater: n or i?
i
Let p(j) = -j**2 + 6*j - 1. Let u be p(6). Let v = -10/39 + 796/3003. Is v less than u?
False
Let d = 29 - 33. Let i(l) = 3*l**2 - 15*l + 8. Let p be i(6). Which is bigger: d or p?
p
Let x = -916 - -5501/6. Which is smaller: 0.1 or x?
0.1
Let n be (-6)/1 - (-3 - 972/316). Is -1 <= n?
True
Suppose 0 = 3*y + 9 - 3. Let u be 5 + y + -3 - 0. Let z = -2 - -4. Is u at most as big as z?
True
Let w = 0.1 + -0.6. Let p = 1.282 + -0.282. Is p greater than w?
True
Suppose -3*p - 3*s - 7 = -8*p, 5*p = -s - 9. Is p at most 1/41?
True
Let o = 616 - 615.7. Is o > 3.07?
False
Suppose -416*k = -423*k + 7. Which is greater: k or 19/15?
19/15
Let q(h) = -h**3 + h**2 + 4. Let r be q(0). Let j(n) = -n - 6. Let i(k) = k + 6. Let o(f) = r*i(f) + 3*j(f). Let y be o(-8). Which is smaller: y or -1?
y
Let r(z) = -6*z - 22. Let g be r(-3). Let u = -6 - -5. Is u less than g?
False
Let m = -9775/26 - -376. Suppose 4*i - 16 = 4*g, 2*g = 6*i - 3*i - 13. Suppose 0 = i*a - f, a = -a + f. Which is greater: m or a?
m
Let r be 4*((-15)/4)/(-5) - 2. Let g = 654 - 1927/3. Let k = 178/15 - g. Which is bigger: r or k?
r
Let s = 5 - 1. Suppose 5*w - 307 + 297 = 0. Does s = w?
False
Let j = 23 + -9. Suppose 1 = -4*x + 9. Suppose -2*b - 31 = -x*f - b, -3*f = 4*b - 41. Which is bigger: j or f?
f
Let z = 3 - 5. Let o = z - -2. Let q = 21 - 65/3. Which is smaller: q or o?
q
Let n = 515 + -515.08. Which is greater: -0.35 or n?
n
Let l = -61 - -181/3. Let n = 19 - 19. Suppose n = -0*u + 4*u. Is u bigger than l?
True
Let w = 355 + -1419/4. Which is smaller: w or 262?
w
Let a be ((-3)/5)/(8/(-200)). Let m(c) = -2 + a*c - 16*c + 15*c. Let h be m(1). Do h and 11 have the same value?
False
Let x = 0.3 - 0.25. Let a = 28 - 51. Let i = a - -23.1. Is x < i?
True
Let t = -1349 + 4036/3. Is -5 less than or equal to t?
True
Let v = 29 - 20. Let b be (-2)/(-1) + v/9. Let o = 0 - -0.3. Is o > b?
False
Let y = 191.351 - 0.351. Is y less than or equal to -1/4?
False
Suppose 4*a = 6*a + 40. Let f = 837 - 856. Which is smaller: a or f?
a
Suppose -1981 = 5*t - 2*b, -3*t - 4*b = -6*t - 1197. Is t less than -394?
True
Suppose 5*o - 25 = 0, -o + 20 = j - 0*o. Let k be (-76)/(-19)*(j/4)/(-3). Which is smaller: -6 or k?
-6
Let h = 24 - 22. Suppose -g - 2*g - 11 = 2*p, -h*g + 4*p - 2 = 0. Let f = -11 - -7. Which is smaller: g or f?
f
Let w = 727 - 693.5. Which is smaller: w or -2/11?
-2/11
Let w = -4/245 - 736/14945. Which is smaller: 0 or w?
w
Suppose d - 3*h = -3*d + 88, 5*h + 1 = -d. Let g = -24 + d. Let j(t) = -t**2 - 4*t - 5. Let w be j(-4). Is w < g?
False
Let l = 19 + -17. Let b be 10/85 + l/(-17). Are 2/61 and b non-equal?
True
Let a be -5 + 4 + 0 + -5. Let f be 3 - (a/(-9) + (-80)/(-42)). Let p = 2 + -1. Which is greater: f or p?
p
Let k be (130/50)/(1/5). Suppose -4 = 11*u - k*u. Suppose 4*p - 3*r = 7, -r + 2 = 4*p - 1. Which is bigger: u or p?
u
Let b(l) = l**3 + 12*l**2 + 2*l - 4. Let z be b(-12). Let x be z/98 + 12/(-7). Let r be 14/10 + (-4)/2. Is r smaller than x?
False
Let c = -14 + 15. Which is bigger: c or 86?
86
Let a(m) = -3*m**2 + 25*m - 19. Let v(q) = 5*q**2 - 37*q + 27. Let x(b) = 8*a(b) + 5*v(b). Let y be x(-16). Let u = -2 - -2.2. Which is smaller: u or y?
y
Let a(f) = -f**3 + 11*f**2 - 11*f + 13. Let s be a(10). Suppose -s*n + 4*h = 2*n - 1, 3*h = -n + 4. Let w be n/(-1) + (-8)/(-6). Which is smaller: w or 0.01?
0.01
Let p = 1441721/349 - 4131. Which is greater: -1 or p?
p
Let j = -132.7 + 133. Is -13/2 >= j?
False
Let p be (-16)/12*(-99)/2. Let f be (3/(-6))/(p/(-65964)). Let z = f + -499. Are z and 2 non-equal?
True
Suppose -3*l - 811 = 2*q, -q - 254 = 5*l + 169. Is q not equal to -398?
False
Let f = -2 - -2. Let q = f - -4. Let m = -2 + q. Is m greater than or equal to 4?
False
Let w be ((-4)/(-4))/(1/10). Let i be 4/(-24)*15*(-232)/w. Is i at most as big as 56?
False
Let r = 884 + -39778/45. Let c be ((-1)/(-4) + (-10)/(-120))*-3. Which is smaller: r or c?
c
Suppose -2 = 31*m - 2. Are 18/37 and m nonequal?
True
Let q = 1534.9 - 1535. Which is bigger: -190/3 or q?
q
Let t = -1/434 + -865/1302. Which is greater: -264/7 or t?
t
Let a be (-3)/(-5) - (-12)/5. Suppose 8 = -2*g + a*i, -g - 2*g = -2*i + 2. Let f be 3/4 + 2/8. Is g bigger than f?
True
Let p be -1 - (17/2)/((-3)/6). Let i be (-12)/p*(3 + 1). Is 1 less than or equal to i?
False
Let a be -1 + (6 - (0 + 1)). Which is smaller: 19/7 or a?
19/7
Let z be (-2 - -4)/(8/44). Let f be 1*((-128)/(-12) + (-4)/6). Are f and z non-equal?
True
Suppose 31*o = 30*o - 35. Which is smaller: o or -33?
o
Let v = 0.13 + -0.03. Let h = 0.76 - 4.96. Is h >= v?
False
Suppose 5*h - 5*j - 20 = 0, -2*h - h = j. Let q be 6/2*(-3)/(-45). Which is smaller: h or q?
q
Let l = 322.24 - 320. Which is smaller: 1 or l?
1
Let q = -20817/2 + 144707/14. Which is greater: -72 or q?
-72
Suppose 0 = -5*g + g + 4. Let f(v) = -3*v**2 + 8*v - 10. Let o be f(5). Let s be 120/o*(-1 - (-106)/104). Which is smaller: s or g?
s
Let q = 4.952 + 0.048. Let a = q - 5. Do a and 0.05 have different values?
True
Let v = -86 - -21587/251. Let j = v - 541/9789. Is 0 smaller than j?
False
Let i = 2 - -1. Let d be (-2)/i - 4/(-15). Let a = -4208/5 - -842. Is d smaller than a?
True
Let w be (1 + 3)*(-614)/28. Let q = w - -88. Let k = -11 + 11. Which is bigger: k or q?
q
Let l(d) = -d**3 - 4*d**2 - 5*d - 3. Let r(h) = -h - 14. Let u be r(-11). Let m be l(u). Suppose 3 = -m*s - 0. Is -5/6 < s?
False
Let 