he same value?
False
Suppose 0 = -3*d - 15, 12*l + 23*d = 24*d + 9281. Is l less than or equal to 775?
True
Let q be (-11630)/(-2688) - (-5928)/(-1368). Which is smaller: -0.5 or q?
-0.5
Let m be (-1 - -2)*(3 - 3). Let r = -1429/1025820 - 4/6255. Do r and m have the same value?
False
Let m be (-6)/(6 - (-60)/(-8)). Suppose 2*v - 7*v = -h + 9, -5*h + 24 = -m*v. Are -2/109 and v nonequal?
True
Let n be (10 + 2 + -2)*(-4)/10. Let b be (0/1)/(n + 5). Is b at least 1?
False
Let k = -1646.747 - -1086.616. Let m = -560 - k. Which is greater: -1/5 or m?
m
Let t = 0.086 + 0.088. Let m = t - 0.124. Let w = 2 - 1. Is w <= m?
False
Suppose 0 = 2*s - 0*s, 2*s - 42 = -3*f. Suppose 4*x = 4, 3*o - 2*x + 0 - 10 = 0. Let q be ((-4)/22 + (-12060)/(-3168))*o. Which is smaller: f or q?
f
Suppose z + z = -8. Let k be ((-104)/32)/(1/z). Suppose -u + 2 = 0, 59*r - 4*u = 54*r - 28. Which is smaller: k or r?
r
Let m(z) = z**2 - 22*z + 96. Let p be m(6). Suppose p = -10*v - 8*v - 18. Is -1/140 bigger than v?
True
Let o = 2656 - 2664. Which is smaller: o or 61?
o
Let g be -1 + (2010/(-33))/(-10). Suppose 207*n - 200*n - 28 = 0. Which is bigger: n or g?
g
Let j(l) = l**2 + 9*l + 16. Let o be (3 + (1 - 4))*1. Suppose 2 = -u + 2*h + 1, 3*u - 4*h + 9 = o. Let p be j(u). Is p greater than or equal to 17/6?
False
Let f = -93 - -11. Let j = -116 - f. Let s = -5 - -4. Which is greater: s or j?
s
Let n = -20 + 20. Which is smaller: n or 635/4?
n
Let w = -932.006 + 932. Which is greater: w or -0.2?
w
Suppose 4*c + 1764 = 2*m - 6*m, -4*c + 4*m = 1780. Which is bigger: -441 or c?
-441
Let t = 2/7149 + -23435/7106106. Let n = 15248039931/4970 + -3068016. Let g = n - t. Which is smaller: 0 or g?
0
Let o be 1/(-5) - (-81)/(-45). Let c be -2 + 62/18 + o. Let g = 5913 + -5914. Is c at least g?
True
Let b be 7*(-14 + (-648)/(-63)). Is 58 greater than b?
True
Let l = 330 + -178. Let g be 3/(-7) + l/28 + -1. Which is smaller: g or 28?
g
Let a = -30139 - -331527/11. Is -3/319 at most a?
False
Let x = -40.055 + 40. Let w = 11.945 - x. Let i = 0.39 + -1.39. Is i < w?
True
Suppose -3 = q - 7. Let a be 2/1*(-38)/19 + 6. Suppose -q*t + 26 = a. Is 3 > t?
False
Let l be (-5 - (-121)/22)/((-1)/2). Is l > 747?
False
Let r be ((-414)/2392)/((-12012)/(-11)). Is -1 at least as big as r?
False
Let v be (16/(-1480))/((-1)/(-5)). Let k = -101/185 + v. Do k and 0.01 have the same value?
False
Let b = 2808 - 2807. Which is greater: -1477 or b?
b
Let s = 554 + -553.9. Which is bigger: -2.569 or s?
s
Let a be (66/(-110))/(3/(-45)). Suppose a*l - 9 = 180. Which is smaller: 18 or l?
18
Let f = 183 - 77. Let c be (-9502)/(-88) - (-24)/1056. Which is smaller: f or c?
f
Let l(a) = -a**3 - 18*a**2 + 18*a - 13. Let b(n) = -2*n**2 - 15*n - 11. Let o be b(-8). Let w be l(o). Suppose 0 = -4*k - 2 + w. Which is smaller: 1/58 or k?
1/58
Let q = 0.01 + -6.01. Let x = -12 - q. Let w = -0.0328 - -0.3328. Is x less than w?
True
Suppose -3*y + 4*s + 12 = -5*y, 0 = -3*y + s - 39. Let c be (3 + 6)/(y/(-200)). Are 150 and c equal?
True
Let a(z) = -z**2 - 2 + 2*z**3 - z**3 - z**2 + 2*z. Let d = 3709 - 3706. Let i be a(d). Which is bigger: 16 or i?
16
Let c = 4032 - 4015. Is c >= 16?
True
Let o = 0.82 - -28.18. Let n = -0.036 + -28.964. Let g = n + 29. Is g < o?
True
Let z = -66040/77 - -858. Let h = z - 2578/8547. Which is smaller: h or 1?
h
Let m = 1.3 - 0.3. Let d be ((-6)/(-15))/((-44)/100221). Let l = d + 911. Is l > m?
False
Let n = -325/43548 - -1/114. Which is smaller: 0 or n?
0
Let s be (-4)/(-6) - 4*50/(-60). Suppose -34*l = -s*l - 3060. Is 100 > l?
False
Let a be 2141100/(-34237632) - -1*3/48. Which is greater: 1 or a?
1
Suppose 4*h = -3*h. Let s = -12104/45 + 808/3. Which is smaller: s or h?
h
Suppose 3*l - 3*p + 19 = -86, 5*l + 181 = 3*p. Let k(u) = -u - 10. Let g be k(-8). Let a be 2 + (-2)/g - 43. Which is bigger: l or a?
l
Let b = 64 - 68. Let k be ((-2)/b - (-4)/(-8))/(-1). Which is smaller: 5/29 or k?
k
Let b(c) = -2*c**3 - 82*c**2 - 35*c - 582. Let m be b(-41). Is 852 greater than m?
False
Let y = 24381 - 24315. Is y at most -2.8?
False
Suppose 2 = -2*j - 0. Let o be ((-44472)/(-4044) - 11)/(2/4). Is o less than j?
False
Let v = 15475/32615283 - -7/9733. Is 0 > v?
False
Suppose 2*f - 12 - 11 = -5*s, -5*f - 3*s + 48 = 0. Suppose -f = -x - 5*h, -2*h = -5*x + 6*x - 6. Is x < -29?
False
Let a = 6382 - 6383. Is a smaller than 2/6779?
True
Suppose -11*c + 144 = 13*c. Suppose -c*a - 5*f - 117 = -4*a, 3*f - 93 = 2*a. Which is smaller: a or -48?
a
Let y = 16749 + -184047/11. Suppose -3*d + 59 = -g, -3*d - 3*g + 146 = 107. Which is smaller: d or y?
y
Let v = -9 + -52. Let a = v + 66. Is a at most as big as 6?
True
Suppose -4*w = -5*k + 6, 12*k + 17*k + 74 = -4*w. Let y(n) = -n**2 - 4*n. Let c be y(-3). Suppose s - 3 = -s + c*a, 5*a - 5 = 0. Is k >= s?
False
Let l be (-30)/(-36) + 1911/(-1170). Is 1410 >= l?
True
Let u(z) = z**3 - 12*z**2 - 5*z + 63. Let a be u(12). Which is smaller: -25 or a?
-25
Let j(z) = 2*z**3 + 25*z**2 + 44*z + 402. Let b be j(-12). Is 289/15 at most b?
False
Let o = -2606 - -2474. Is o less than or equal to -2480/19?
True
Suppose -43*v + 30 = -5*r - 45*v, -10 = 2*v. Let a be (-1)/(19/115) + 1. Is a at most as big as r?
True
Let q = -1854.01 + 1862. Let g = -208 + 208.01. Let r = g + q. Is -0.01 less than or equal to r?
True
Let k be (-369)/42 - (-1)/(-2). Suppose -f + 6*f + 20 = 2*z - 20, z = 0. Is f equal to k?
False
Let y be 38/(-3)*54/(-72). Do y and 11 have the same value?
False
Let x be (15/12)/(13/(-4)). Let s = -7615/2 + 3807. Is x less than s?
False
Let q = 20582 - 20581. Which is smaller: q or -29/842?
-29/842
Let i be (-2)/(-183)*561/(-34). Which is bigger: i or 0?
0
Let t be 0/((-3 + 55/20)*4). Suppose -2*n - 20 = 3*u - 6*n, -2*n + 10 = t. Is u bigger than -12/35?
True
Let y be 45/(-39) + 1 + (-86904)/(-923). Which is smaller: 468/5 or y?
468/5
Suppose -2*d + 26 = -3*d. Suppose -188*o - 4 = -189*o, 6*j + 3*o + 168 = 0. Are j and d non-equal?
True
Let g = -12597/2 - -6264. Are 2/15 and g unequal?
True
Suppose h = 6*y - 5*y + 5, 5*h = 3*y + 15. Suppose -4*r - u = -0*u + 21, 3*r + 2*u + 22 = h. Which is greater: r or -13/4?
-13/4
Let s be 6/12 - 93/62. Which is greater: s or -4/12439?
-4/12439
Suppose -5*u = 2*x - 5*x - 12, -3*u - 4*x - 16 = 0. Let d(q) = q**2 + 21*q + 54. Let r = -107 - -89. Let g be d(r). Is u less than or equal to g?
True
Let v be (-3)/(27/(-52))*(27 - (-5486)/(-208)). Which is greater: 4 or v?
4
Let p(y) = 20*y + 40. Suppose -r = -11*r - 90. Let m be p(r). Is m at most as big as -0.1?
True
Let q = 0.01 + 0.05. Let f(w) = 2*w**3 + 6*w**2 + 4. Let r be f(5). Let g = r + -406. Which is bigger: q or g?
q
Let p be 1352/68 - 6/(-51). Suppose 0 = -4*j - p, j + 5 = -3*w - 0. Let k be 1/2 + 14/(-30). Which is bigger: w or k?
k
Let j be 48/264 + (0 - (-108)/(-110)). Let l be (-1)/6*8/10. Which is bigger: l or j?
l
Let g be (-16)/(-1614)*(4 + -7). Let p = g + 1399/19906. Is p >= -1?
True
Suppose -6*x = -852 + 846. Which is bigger: 3/1919 or x?
x
Let j = -311 + 335. Let s be j + -28 + (-18)/(-4). Are s and 102 non-equal?
True
Let z be 187/(-121) + -7*(-42)/539. Is z equal to 241?
False
Let k = 4 - -2. Suppose 4*h = 2*f + 18, 4*f + k = -5*h + 35. Let j be 5/(-2)*f*6. Which is greater: j or -16?
j
Suppose 4*b = 3*u + 41 - 160, 2*b = 8. Let g be 2/u*5 - (-168)/(-27). Let w(d) = -d**3 - 5*d**2 + 4*d - 12. Let k be w(g). Which is greater: k or 4/5?
4/5
Let g(k) be the second derivative of k**4/12 + k**3/3 + 7*k**2/2 - 15*k. Let n be g(5). Suppose 0 = 6*r - 12*r + n. Is 9 less than r?
False
Let k = 115 - 115. Suppose 15*p - 826 - 329 = k. Which is smaller: p or -1/4?
-1/4
Suppose 0 = -5*u + 2*t + 221, 0*u + 5*t - 145 = -3*u. Let v(y) = -84*y - 582. Let w be v(-7). Suppose -q = -w*q - u. Is 2 at most as big as q?
False
Suppose o - 535*x + 538*x = -2583, -3*o - 7697 = -4*x. Which is bigger: -2567 or o?
-2567
Let l be ((4/17)/2)/((-1)/2). Let y = 1.1009 + -0.1009. Is l <= y?
True
Let n = 397 + -636. Let z = 239.12 + n. Is -13 smaller than z?
True
Suppose 0 = -3*b + 17 + 190. Suppose -2*m + 43 = 237. Let a = -29 - m. Is a bigger than b?
False
Let k(l) = 4*l**2 - 6*l**2 + 7*l**2 + l**3 - 10*l - 8 + 0*l**3. Let u be k(-6). Let v be 1/(-2) - (-124)/8. Are v and u equal?
False
Suppose -6*k = 