-3*d + 5*m = -14, 6*m = 4*d + 2*m - 16. Which is smaller: 71 or d?
d
Let u = 0.135 - 0.135. Let b = 13.76 - -0.24. Let p = b + -9. Is u less than p?
True
Let l = 4 - -1. Let i = -878 + 879. Let n be -2 + (l - -3) - i. Is n <= 5?
True
Let y = -2 - -7. Let t be ((-6)/12)/(2/(-12)). Suppose -y*w = -b - 16, -t*b + 4*w - 9 - 6 = 0. Is b at least 2.4?
False
Suppose -4*i - 2*y = i + 17, -5*i + 2*y = 13. Which is bigger: -24/11 or i?
-24/11
Let v = 1406/125 + 611786/2375. Let x be (-3)/6*(535 + 3). Let y = x + v. Is y greater than -1?
True
Let b = 311/76 - -22/19. Let t = 2 - -3. Let o = t - b. Is 1 bigger than o?
True
Let i(k) = 6*k + 13. Let w be i(2). Suppose 0 = w*s - 23*s - 4. Does -0.06 = s?
False
Suppose -10*b + 5*b = 0. Let s be ((-44)/(-10))/(1 - -3). Let m = s + -173/130. Which is greater: m or b?
b
Let c(o) = -33*o - 195. Let u be c(-6). Suppose -5*s = -4*s - 3. Is u <= s?
True
Let q = -6.94 - -7. Let l = 0.7 - -0.5. Let u = l - 1.3. Are q and u equal?
False
Let s be 4 - 0 - (2 - -2). Which is bigger: s or 82/3?
82/3
Let r be 238/(-35) - (-5 - -3). Let n = -34 - -103/3. Is n at least as big as r?
True
Let r = 109 + -102.1. Let s = -7.33 + r. Is s at least -1?
True
Let s(z) = 3*z**2 + 26*z - 13. Let u be s(-9). Let x = u - -5. Which is smaller: x or 2/69?
2/69
Let y = 5.3 - 7.3. Let w = -1.3 - y. Which is bigger: w or 0.1?
w
Let n be (1 + (-3)/2)*0. Suppose 2*c + 6 + n = 0. Do -3 and c have the same value?
True
Let t be ((-32)/(-1240))/((-4)/(-90)). Which is bigger: 0 or t?
t
Let t be 4*9/48 - -2. Let x = t + -3. Which is bigger: -4/3 or x?
x
Let b be ((-9)/6)/(810/216). Is b < 238?
True
Let a = 1.725 + -1.825. Let i = 0.6 - 3.6. Is i smaller than a?
True
Let i = -18 + 8. Let q(h) = 3*h + 31. Let t be q(-14). Is t >= i?
False
Let g = 28.6 + -0.6. Let f = -27.8 + g. Let u = 6 - 5.96. Is u less than f?
True
Suppose -6 + 1 = 5*y. Let s be (-8)/26 - (-945)/2691. Which is smaller: y or s?
y
Let r be (((-2)/(-2))/1)/(3/(-99)). Let f = r - -32. Does -1/34 = f?
False
Let u = 542 + -541.5. Does u = 3/4?
False
Suppose -110*z = -74 - 36. Which is smaller: z or 4/357?
4/357
Let t be (-3)/(-9) - (0 - (-28060)/(-15)). Which is smaller: t or 1870?
1870
Let p(j) = -5*j + 16. Let r be p(-8). Is r > 1?
True
Suppose -2*r + 50 - 6 = 0. Let p be (r/8)/(2/(-92)). Let u = -129 - p. Is u != -2?
True
Suppose 4*p + 410 = 3*k, 0 = 16*k - 11*k + 5*p - 730. Which is smaller: 141 or k?
141
Let q be ((-834)/(-108) - 8)*(-4)/5. Which is greater: -4/39 or q?
q
Let o = 47 + -33. Suppose t + p + 3 = -p, 2*p + 18 = 4*t. Suppose -t*c - x = -35, -4*c - 3*x + 16 + 24 = 0. Which is bigger: o or c?
o
Suppose s = 6*a - 7*a + 1, 2*s + 4*a - 6 = 0. Are s and 3/1276 unequal?
True
Let i = 44 + -47. Let l be (-2)/(3/(i + 6)). Which is smaller: 6 or l?
l
Let g = 0.278 - 3.478. Let l = -2.7 + 6. Let c = l + g. Are c and -0.04 unequal?
True
Let b be (-12)/(-18)*-1*6/(-4). Is b bigger than -6/31?
True
Let s be ((-87)/(-58))/((-3)/2). Which is bigger: 2/1153 or s?
2/1153
Let f = -5/1673 + -1052287/10038. Let w = 104 + f. Let y = -1 + 1. Is w greater than or equal to y?
False
Let x be ((-214)/(-2) - 2)*(-105)/(-153). Let y = 72 - x. Which is smaller: -3 or y?
-3
Let b be ((-3)/2)/(1/(-58)). Suppose -t + 20 = -2*g - 8, -3*t + b = -5*g. Is 35 not equal to t?
True
Suppose 4*g - 3*g = -15. Let c be g/9 + (-16)/12. Let k be (-2 - c)/((-14)/(-8)). Which is smaller: k or 2?
k
Let a = 723 + -722. Let q = 0.4 - 0.32. Let m = q - -10.92. Which is smaller: m or a?
a
Let g = 1114 - 1056. Is g >= -0.3?
True
Suppose o = -2*o + 5*y + 6, o - 2 = -5*y. Suppose o*p - 10 = 0, 0*d - 4*p + 14 = 3*d. Let v be (-1)/(d + 1/1). Is 2/35 greater than v?
False
Let d = 13 + -27/2. Let q = 60769/4487 + 18/641. Let l = q + -14. Which is smaller: l or d?
d
Let t = 39 - 36. Suppose t*n = 2*n + 9. Which is greater: n or 2/5?
n
Let l = -7 + 7.08. Which is smaller: l or -0.3?
-0.3
Suppose 16896 + 6351 = 63*f. Is f at most 365?
False
Suppose 3*o - 5*x + 21 = 1, -3*o + 20 = 5*x. Suppose -4*w + 8 = 0, g = -5*w + 8 - o. Let p be (5/((-155)/g))/1. Is -1 >= p?
False
Let w = -71.067 + 71. Let l = w - -0.057. Is l at least as big as 2/7?
False
Let p = 0.51 + -0.51. Suppose 0 = c - 4 + 1. Let v be 87/27 - c - 0. Which is smaller: p or v?
p
Let q = 58 + -57.8. Is q at most -66?
False
Let s be 2/(-10) + (-63)/(-15). Let b(o) = -2*o. Let c be b(-3). Suppose -2*t + c + 2 = 0. Is t greater than or equal to s?
True
Let h = -439/28 - -65/4. Let o = h - 5/7. Which is greater: o or -2?
o
Let s = -23/12 - -5/4. Let b be (-1578)/(-4) - (-1)/4. Let y = 397 - b. Do y and s have different values?
True
Let d(j) be the third derivative of -j**5/60 + j**4/6 + 2*j**3/3 - 3*j**2. Let n be d(-4). Let b be (-7)/(-9)*8/n. Which is bigger: b or -0.1?
-0.1
Let f = 1568 + -1598. Is f > -29?
False
Let c be 6*(2 - (-20)/(-15)). Suppose 4*m - c*x = x - 45, -2*m - 3*x = 17. Which is greater: m or -11?
m
Suppose 5*n - 87 = -m + 4*m, -m - 4 = 0. Suppose -10 = 6*q - 4*q - 4*b, 3*q + 10 = 5*b. Suppose q*p + 5*v = n, -2*p + v - 9 = -2*v. Which is greater: -1/7 or p?
p
Let b be -5*(-1 + -1 + 1). Suppose b*t + 4 - 9 = 0. Let y be ((-4)/32*4)/(-24 - -2). Which is bigger: t or y?
t
Let j = 41/340 + -3/20. Is j less than -1?
False
Suppose 4*z - 5*w = 291, -2*z - 7*w + 135 = -6*w. Let h be 5 + z/(-9) - (-4)/2. Is -2 bigger than h?
False
Let n = 31 - 39. Let z be (-1 + 0)/(n - -9). Is z > 2/5?
False
Let c = -45.9 + 36.9. Let z = -10 + 6. Is c < z?
True
Let i be 267/(-108) - 6/(-27). Which is greater: i or -7?
i
Let l = 3027/44 + -1509215/572. Let g = l - -2568. Which is greater: -3 or g?
g
Suppose -z - 3 + 11 = -3*p, 0 = 4*z + p + 7. Let t be z/2*4/(-2). Let g = 142 - 1560/11. Is t at least as big as g?
True
Let d(r) = r**3 - 10*r**2 + 7. Let x be d(10). Let y be 380/560 - 3/x. Let v(q) = -q - 7. Let k be v(-6). Which is bigger: y or k?
y
Suppose -g = 4*l + 23, 4*l + 3*g + 13 = -0*g. Let p(t) = -t**3 - 8*t**2 - 6*t + 8. Let w be p(l). Which is bigger: -2/5 or w?
w
Let j be 0 + (2 + -1)*-1. Let m = 556 - 294. Let r = m - 9692/37. Is j at most as big as r?
True
Let y = -386 - -9652/25. Let x be 32/14 - (-6 + 8). Is x > y?
True
Suppose n + 3 - 1 = 0. Let a be -2 + (657/(-42) - n). Let o = a + 31/2. Is 1/4 >= o?
True
Let z = 1045 + -530. Is 515 at least as big as z?
True
Suppose 3*j = 5*j + 3*p + 43, -2*p + 84 = -3*j. Let i = j - -30. Suppose -i*d = 2*a - 86, 5*d + 2*a = a + 112. Is 22 > d?
False
Let d = 333/11 - 1211/44. Is d bigger than 4?
False
Let t be (3/5)/((-324)/(-17145)). Which is smaller: 33 or t?
t
Suppose -z = -5*z, 5*h - 3*z - 50 = 0. Suppose -t - 10 = h. Is -20 greater than t?
False
Let q(w) = -w**2 + 4*w. Let v be q(3). Suppose -v*r + 5*r = 26. Suppose -r*j = -9*j + 24. Is -5 at least as big as j?
True
Let f = -28 - -28.12. Let a = -0.88 - f. Is 0.01 > a?
True
Suppose 2*m = 2*b + 30, -2*m - 3*b = -202 + 177. Let z = 31 - 16. Is m <= z?
True
Suppose -2*q - 3*q = 35. Let v = q - -7. Let m be 3/(33*2/(8/2)). Which is greater: m or v?
m
Suppose 11*a = -133 - 43. Let m be -1*26/(-14) + a/(-56). Is m at most 1?
False
Let o(z) = z**2 + z - 1. Let u(a) = -2*a**2 - 5*a + 3. Let p(f) = -4*o(f) - u(f). Let m = 135 + -136. Let j be p(m). Is j at least 2?
False
Let b = 22/464841 - 142409/9808609941. Let m = b + -43896803/204911811. Let w = 2/249 - m. Is -0.7 at most as big as w?
True
Let p be (-1)/(-1)*((-2)/(-2) + -1). Is p at most as big as 10/61?
True
Let j = -280 - -210. Which is smaller: -71 or j?
-71
Let r = 0.2 - -1. Let m = -143 - -143.068. Let y = m + 0.932. Which is greater: r or y?
r
Let p = -149 + 269. Which is greater: p or 122?
122
Let x = -491/24 + 97/8. Is -9 less than or equal to x?
True
Let h be (-12)/2*195/3250. Which is bigger: -1 or h?
h
Let a be 2/(-1)*22/66 + 0. Is a at most as big as -2/17?
True
Let b be (-5988)/14 + 222/(-42) + 5. Are b and -428 non-equal?
False
Let d be (0/(-2))/(2/(-1)). Suppose -5*m + 3*m = d. Let k = 7 - 6. Which is smaller: m or k?
m
Let c = -0.19 - -0.09. Let j = c - -15.1. Let w = j + -13. Is -0.3 greater than w?
False
Let b be ((-10)/(-15))/(5 + 1486/(-282)). Is b smaller than -3?
False
Let t(f) = -4*f + 45. Let r be t(8). Is 9 less than or equal to r?
True
Let d = -16567 - -83917/5. Suppose 2*a = -0*a - 438. Let o = a + d. W