 4/(-6) + c/15. Which is greater: y or d?
d
Let d be (-6)/4*4/(-3). Suppose -l = i + 8, -4*l - 36 = d*i - 8. Let n be (-2)/6 - l/18. Which is smaller: 2 or n?
n
Let p be 3*(-4)/928*-4. Which is smaller: p or -1?
-1
Suppose -28*l - 8 = -24*l. Let k(g) = g**3 - 4*g**2 + 3*g. Let d be k(3). Suppose 0 = -5*n + 4*y - 26, n - 2*y + 17 - 7 = d. Are n and l nonequal?
False
Let o = 172 + -200. Let f = -25 - 1. Do f and o have different values?
True
Let z(a) = 307*a**2 + 8*a - 1. Let t be z(1). Is t smaller than 314?
False
Let r be (-14)/(-105)*(-9)/(-4). Let n = 7/5 - 41/30. Let s = r + n. Is s != 0?
True
Let h be ((-6)/(-452))/((-6)/(-8)). Let f(y) = -3*y**2 - 12*y + 37. Let j be f(2). Is h greater than or equal to j?
False
Let t = 78 - 78. Let k be (-4)/(-76) - 0 - t. Which is greater: k or 0?
k
Suppose 2*n = 5*q + 6*n + 1713, -4*n = -2*q - 674. Is -341 smaller than q?
False
Let q be (-13)/(-91) - 16/14 - -2. Are 2/47 and q equal?
False
Suppose -4*n + 2*n = -8. Suppose -n*i = -2*i. Suppose 0 = -0*x + x - 2. Is i > x?
False
Let q be (-9)/(-2)*(-4)/(-2). Let l = -10 + q. Let j(p) = p**2 + 3*p + 2. Let z be j(-2). Is z at most l?
False
Let o = 116 + -112. Suppose -4*h = -7*h - 3, 7 = o*z + 5*h. Is 30/19 greater than or equal to z?
False
Let n be (1 + 1)*41/82. Which is smaller: 22/29 or n?
22/29
Let r = 431.8 - 431. Which is smaller: 2/165 or r?
2/165
Let s be (10/4 - 2)*-1. Which is greater: 9.6 or s?
9.6
Let c = -1206 - -101281/84. Let x = -2311/42 + 55. Let d = x - c. Is d greater than 3/2?
False
Let m(t) = -t**3 - 8*t**2 - 10*t + 11. Let s be m(-5). Let v be (s/6)/(60/(-72)). Which is smaller: 3 or v?
v
Suppose 162*o = 172*o + 500. Which is smaller: o or -252/5?
-252/5
Let i = -83 - -86. Is 48/19 less than i?
True
Suppose -2*q - 4 = -s, q + 2 = 5*s + 18. Let j = q - -11. Suppose t = -2*o, j = -t - 5*o + 1. Which is greater: 3 or t?
t
Suppose 0 = 6*s - 2*s - 5*m - 201, 4*m + 20 = 0. Let t be s/33 + (-5)/(-3). Suppose 0 = -t*k + 3. Which is bigger: 1/13 or k?
k
Suppose -17*n = -40*n + 46. Let j(f) = -f**3 + f + 2. Let v be j(0). Is n at least as big as v?
True
Let q = 6.1 - 6.05. Let z be (-2 + 2)/(1 + 1). Are q and z unequal?
True
Let v be (-215)/(-6)*3/10. Let b = 21/2 - v. Which is smaller: -0.24 or b?
b
Suppose 2*a = -3*d - 33, -37 = 2*a - d - 8. Is -16 greater than or equal to a?
False
Let y = 62/17077 - -12833561/7001570. Let z = y - 3/82. Is 3 at most z?
False
Let y = 2.646 + 10.354. Is y smaller than 91?
True
Let z = 192 - 413. Does -221 = z?
True
Let b(t) = t - 32. Let m be b(0). Let f be (9/(-6))/((-2136)/m). Which is smaller: -1 or f?
-1
Let f = -217 + 217. Which is smaller: 20/3 or f?
f
Let v = -5 + 0. Let j = -5.03 - v. Let o = 468 + -468.2. Is o smaller than j?
True
Let h = -551 + 471. Is -88 smaller than h?
True
Let k = 3 - 5. Let h = k + 2.1. Let c = 1.47 + -1.43. Which is greater: c or h?
h
Suppose -11*y = 423 + 875. Which is bigger: y or -119?
y
Suppose 2*k + 0*k = 150. Suppose 4*o = -2*l - 60, -5*o + l - k = -3*l. Is 1/2 greater than o?
True
Let x = -2855/7 + 1170599/2870. Is 1 greater than x?
True
Suppose 4*y - l + 185 - 26 = 0, -3*y - 3*l = 138. Which is greater: -36 or y?
-36
Let h = 18.669 + 0.331. Which is smaller: h or -14?
-14
Let u = -75.59 + 76. Let n = -2.41 + u. Is -0.1 not equal to n?
True
Let n(i) = i**3 - 18*i**2. Let v be n(18). Suppose 3*p + 9 = v, -m - 5*p + 2*p + 84 = 0. Which is bigger: 0.1 or m?
m
Let d = 28.1 + -24. Let l = d + -5.1. Which is greater: l or 22?
22
Let a = -111.3 - -104.3. Which is smaller: -9 or a?
-9
Let w = -19.6 - -6.6. Let s = w - -14. Which is smaller: s or -21?
-21
Let q = -11 - -14. Suppose -u + 4*z = 9, -3*u = -q*z + 26 + 1. Which is greater: u or -8?
-8
Let m(i) = -i**3 + 35*i**2 + 19*i - 248. Let c be m(35). Which is smaller: 2 or c?
2
Suppose 0 = -47*u - 18415 - 21347. Do -848 and u have different values?
True
Let l be 4 - (-5)/((-25)/10) - 34. Is -32 greater than or equal to l?
True
Let r = -0.0487 - -1.1487. Which is bigger: r or -3?
r
Let v = 0.104 - 0.004. Is v at most as big as -11.3?
False
Let c be 6*(-6)/(-144) + (-6)/(-8). Is 2/2125 greater than or equal to c?
False
Let t(m) = m**2 - 12*m - 2. Let a be t(12). Let v be (a/3)/((-8)/(-6)). Which is greater: v or 7?
7
Suppose 2*d - 3*u = 2*u - 17, d - 3*u + 11 = 0. Suppose -5*m = -d*h + 4, 2*m = 4*m - h + 1. Let r be ((-12)/(-8))/(84/(-16)). Which is smaller: m or r?
r
Suppose 0 = 2*s + 2*m + 8, s + 3*m = -s - 11. Which is bigger: 2/15 or s?
2/15
Let o be 7099/2852 - (-1)/4 - 2. Is o <= 1?
True
Let a(z) = -z**3 - 5*z**2 + z + 7. Let w be a(-5). Let f(v) = 2*v**2 + 5*v**2 - 8*v - 2*v**w + v**3 + 3*v. Let k be f(-6). Which is greater: k or 1/3?
1/3
Let w = 6 - -19. Suppose 28*d - w*d = 3. Which is smaller: d or -14?
-14
Suppose 20*p + 27 - 107 = 0. Let n(l) = l - 1. Let d be n(-5). Let c be (p/d)/((-32)/(-24)). Is 1 less than c?
False
Let v be 52/(-6)*(0 + 9). Let b = v - -79. Which is greater: b or -15?
b
Suppose -4*c = 5*b - 219, 0*c - 193 = -3*c + 2*b. Suppose -20*f + 4*f + 992 = 0. Are f and c equal?
False
Suppose 2*b + 16 = 6*b. Suppose b*c - 105 = 3. Which is smaller: 26 or c?
26
Let k = -12.22 - -12. Let s = -0.3 - k. Which is smaller: 0.2 or s?
s
Let j be ((-12)/21)/((-324)/14). Is -1 at most as big as j?
True
Suppose -4*c + 4 = 2*z - 0, -z + 3 = c. Suppose o + 2*l + 4 = -z*o, 10 = -5*l. Is 5/24 at most as big as o?
False
Let i be (-2)/((-4)/(34 - 2)). Let r(o) = -2*o**2 + 7*o - 17. Let v be r(5). Let l be (v/i)/((-2)/(-1)). Are 5/13 and l non-equal?
True
Let s be 192/144 + (-3284)/6. Which is bigger: -548 or s?
s
Let s = 2 - -1. Suppose 6 = -s*r - 3*r. Let h be (-6)/8 - (-1)/(-2). Is r >= h?
True
Let a = 1/101 - 111/1010. Let l = -3 + 6. Suppose 0 = 2*z + v - 2*v - l, 2*z - 4*v - 18 = 0. Which is bigger: a or z?
a
Let m(x) = -x**2 + 12. Let c be m(-3). Suppose -f = 0, -4*f + 97 = c*r + 1. Is 61/2 != r?
True
Let d be (-7)/((-154)/(-319))*2*-3. Is 343/4 greater than or equal to d?
False
Let w = -2462 - -2464. Which is smaller: 17/33 or w?
17/33
Suppose -l + 30 = -z - z, -3*z - 45 = 3*l. Let j be (-693)/(-35) + (-3)/z. Do 20 and j have different values?
False
Let p(s) = -s**2 - 19*s + 43. Let g be p(-15). Let d = g + -113. Does d = -10?
True
Let l be (-12)/20 - (-487)/(-5). Let h be (-1)/6 - l/48. Which is bigger: 3 or h?
3
Suppose -3*r - 5*f = -70, 0*r + 5*f - 120 = -5*r. Suppose -5*i + 121 = -u, 54 = 21*i - 19*i + u. Is i at least as big as r?
True
Let w = -8225/408 - -121/6. Does -4 = w?
False
Suppose -m - 231 = -49*l + 45*l, 4 = 4*m. Which is greater: l or 57?
l
Suppose 0*y = -2*y + 34. Suppose -13*g = -y*g - 124. Are -30 and g non-equal?
True
Let y be 5/(-2)*4/10. Which is smaller: y or -1/190?
y
Suppose 2*v + 6 = -3*w, 0*v - 2*v + 3*w + 18 = 0. Suppose 0*y + 12 = -x + 4*y, -3*x - v*y + 24 = 0. Let k = 0.86 + 0.14. Is k less than x?
True
Let u be 93/(-5) + 8/(-20). Let f = u - -20. Is f >= 4/21?
True
Let g be (-6 - -11 - 55) + 7. Which is bigger: g or -1/3?
-1/3
Let z = -1 + 1. Let a = 121 - 79. Let o = a - 42. Is o <= z?
True
Let t = -0.415 + 0.215. Does -31 = t?
False
Let d = -7936/11 + 722. Which is bigger: d or 1?
1
Let v = -72 - 107. Is v < -178?
True
Suppose -4*p + 32 = -3*m, 4 = 2*m + 5*p - 13. Let x be m*(-3 - -4)/4. Is 6/13 at least x?
True
Let y be (1438/6)/(13/(-3)). Suppose 2*w - 2*u - 106 = 0, 3*w - 2*u = 136 + 25. Let v = w + y. Is 1 greater than v?
True
Let w = 49 + -54. Let y be 3/(-6)*(-21 + w). Which is bigger: 15 or y?
15
Suppose k = -2*m + 5*k - 14, -2*m = 4*k + 46. Let g = 16 + m. Which is smaller: -1/45 or g?
-1/45
Let p be 32/(-24) + (-5)/(300/(-8936)). Which is smaller: 149 or p?
p
Suppose 0 = 3*d - 4*p + 2 + 2, 0 = 3*d + 4*p - 28. Suppose 0 = -0*k - k. Suppose 2*a = m + 5, k = 4*m - 9*m - d*a - 25. Is -7 > m?
False
Let p be (-4)/(-6) + ((-4)/(-3) - -2). Let t be (-1)/(-4) - 1/p. Which is smaller: 3 or t?
t
Let r = 1647 + -1644. Let a(c) = -2*c - 5. Let l be (2 + -7)*(-4)/(-5). Let y be a(l). Is r at least y?
True
Let x = -0.33 + 0.03. Let g = 2 + -1.7. Let w = g + x. Which is smaller: -1 or w?
-1
Let m be (-5 - -6)/((-2)/(-6)). Let t be (m/(-4))/(624/(-128)). Is 0 greater than t?
False
Let o be (-14)/45 + (-48)/216. Do o and -2/7 have the same value?
False
Let w = -492 + 475. Is w greater than