+ 6. Let j(c) = 6*u(c) + v(c). Let t be j(2). Is -0.1 greater than t?
True
Let q = -0.001 + -5.099. Let x = -2.7 - q. Let y = x - 3.4. Are y and 0.6 equal?
False
Let k(j) = -3*j**2 - 8*j + 15*j + 2 - j**3 - 8*j. Let w be k(-2). Is w at most as big as 2/5?
True
Let k = 4 - 0. Let g be (-24387)/(-7506) + (-2)/(-9). Let o = 4/139 + g. Does o = k?
False
Let j = -120 - -132. Let v be -2 - (-18)/j - 129/(-90). Is 0 > v?
False
Suppose 41 + 7 = 6*g. Suppose j + 77 = g*j. Suppose 0*v - 2*v = -18. Is v equal to j?
False
Let b(r) = -2 - 2*r - r + 2*r + 0. Let h be b(-2). Let q be 0/2 + h/(-1). Is q > -1/3?
True
Let k = -2602 + 2544. Is k at least as big as -60?
True
Let z(p) = p**2 - 48*p - 1068. Let g be z(-16). Suppose 4*h - 2*h + 88 = 0. Is h less than or equal to g?
True
Let a(d) = -d**2 - 3*d - 3. Suppose -30 = 4*q + 5*b + 102, 2*b + 64 = -2*q. Let z = 26 + q. Let n be a(z). Which is smaller: n or 1/31?
n
Let m be ((-56)/7 - -3) + -57. Which is smaller: m or -67?
-67
Suppose 3*n + 6 = 3*b + 3, -3*b + 4*n + 3 = 0. Let z be 88/14 - 4/14. Let q be (40/z - 4) + -3. Which is bigger: q or b?
b
Let y be (23/(690/(-8)))/(2/(-3)). Which is smaller: -0.01 or y?
-0.01
Let u be 2/(-8)*(5 + -25). Suppose 2*b - a - u + 14 = 0, -4*a = b - 9. Which is smaller: -1/2 or b?
b
Suppose 3*f = -3*u + 543, -4*u - f = -1101 + 362. Let n = -187 + u. Let c be -2 - ((-34)/37 + -1). Does n = c?
False
Let m = -231 - -231.8. Which is bigger: m or -0.23?
m
Let u = -6/319 + -7000/957. Let f = -107/15 - u. Let i(g) = g**2 - 6*g. Let k be i(6). Is f < k?
False
Suppose 2*v + 1 = 9. Suppose w + 3 = -3*o - 0*o, -2*w - o = -v. Does w = 2/7?
False
Let q = -10 - -10. Suppose 22 = 2*d + 2*n - 7*n, 3*d - 2*n - 11 = q. Let s be (3 + 0 + d)/(-5). Which is smaller: -2 or s?
-2
Let z = 405 - 506. Is -101 bigger than z?
False
Let r be 2 + -1 + (-3)/((-6)/(-8)). Let m be (r/2 + 1)*100/(-8). Which is bigger: m or 7?
7
Suppose -17*l + 87*l = 48790. Is 698 greater than l?
True
Suppose 2 = 3*u - 4. Let v be -3*1/u*-10. Suppose 0*q = -q + v. Are q and 15 nonequal?
False
Let t(y) = -y**3 + 5*y**2 - 7*y + 10. Let w be t(4). Let d be (w/(-95))/(4/10). Let q(p) = p - 5. Let i be q(6). Which is greater: i or d?
i
Let h be 6 - 4*4167/(-18). Is 930 at least as big as h?
False
Let x(p) = -2 + 7*p + 2 + 4 - 4*p. Let w = -25 - -20. Let q be x(w). Is q less than or equal to 1/2?
True
Let s = 914/5 - 182. Let k = -65 - -67. Suppose -3*u = l - 12, -k*l - 4*u = -l - 16. Which is smaller: s or l?
l
Let v be 2 - 4*(-34)/(-67). Let q = 75/268 + v. Which is smaller: 0.3 or q?
q
Suppose 0 = 2*h - 15 - 3. Suppose 0 = -5*c - 3 + 38. Let f = c - h. Which is smaller: f or -4/7?
f
Let h = -431 - -91. Which is smaller: h or 0?
h
Suppose 2*h = 2*a + 4082 - 412, -a - 5501 = -3*h. Is h greater than or equal to 1833?
True
Let r = 9 - -44. Suppose 4*s - 3*j + 214 = 8*s, -3*s + 4*j = -148. Which is greater: s or r?
r
Suppose 1 = -2*j - 5*i, 4*i = 3*j + 3*i + 10. Let q be 6 - (-17)/((-1122)/540). Which is greater: q or j?
q
Let x = 349 - 345. Do 2/7 and x have different values?
True
Let n = -84 - -73. Let j be n/15*1 + (-4)/(-10). Which is bigger: 1/7 or j?
1/7
Let n(z) = 11*z**3 - 5*z**2 + 8. Let k be n(-4). Let j be k/12*(-2)/(-88). Let x = j - -18/11. Is x greater than -2?
True
Let r be (-7)/(-14)*(-1 + -1 - 0). Which is greater: 1/24 or r?
1/24
Let r = 64 - 27. Suppose 0 = -4*z + y - 4 - r, 11 = -z + y. Is z at least -12?
True
Let q = 3738/13 - 288. Is 1 equal to q?
False
Let j = -19 - -27. Suppose j = b + 3. Suppose -b*i - 40 = -4*y, -3*y - 5*i + 8 = -22. Is y less than 10?
False
Let d(w) = 44*w + 1. Let c be d(0). Is -2/1181 smaller than c?
True
Let p = 4.31 - 4.2. Which is smaller: p or -0.1?
-0.1
Let n be -5 + -1 + 5/(-60)*-818. Is n < 61?
False
Let r = 6363474 + -17385007545/2732. Let i = -2/683 + r. Which is smaller: i or 0?
0
Suppose -5*n - 55 = 15. Let k be (1/(-5))/(n/(-10) - 2). Is k less than or equal to 12?
True
Let i = 259 - 241. Suppose -i*p = -13*p. Let j be (-1)/((-1 - -8)/(-1)). Does j = p?
False
Suppose -6*c + 9*c = 18. Let h(m) = -m + 4. Let q be h(c). Which is smaller: q or -1?
q
Suppose k + 11 = 10. Suppose n + 2*n = -540. Let c be (-25)/n*(-6)/(-20). Are c and k equal?
False
Let m = -110 + 264. Let w be 7/4*56/m. Are 1/3 and w unequal?
True
Let m = 7225997/1331 - 5429. Which is bigger: -1 or m?
m
Let u = 959/5 - 192. Suppose -1 = -5*l + 4. Suppose b + l = -0*b. Which is bigger: b or u?
u
Suppose c + 77 = -5*y + 4*c, -4*c - 20 = y. Let d = y + 15. Is d smaller than -4/13?
True
Let x = 0.118 + 0.192. Is x at most as big as 0?
False
Let j(t) = t - 4. Let h be j(5). Suppose -y + 2*p - 7 = -4*y, 2*y - 3*p = 9. Suppose -w + 3 = -y*s, 4*w = s + 2*s - 6. Which is smaller: s or h?
s
Let r be (-4)/(5/((-5)/2)). Suppose -5*h + 20 = -r*x + x, 4*h - 20 = 0. Let i = -5 + x. Which is bigger: i or 1/8?
1/8
Let r(j) = -3*j - 18. Let k be r(-7). Suppose -k = -z, z + z + 26 = 4*f. Is 10 at most as big as f?
False
Suppose -4*v = 5*w - 12, -v - w = -2*v - 6. Let t be (-2)/(-4)*(v + 0). Is t at most -3/80?
True
Suppose 10*t = 190 - 40. Let f be ((-48)/t)/4 + (-10)/(-75). Which is bigger: f or -1?
f
Suppose 4*y + 3*q - 17 = 0, 0*y - 29 = -5*y + 4*q. Let n be -2 + y/2 + 3. Are n and 3 equal?
False
Suppose w - 5 = -3*f, -3*w - 7 = -2*f - 0*w. Suppose 0 = 2*u - d + 11, 3*u + 26 = u - f*d. Let i be (u/(-36))/((-2)/(-3)). Which is smaller: i or -2/9?
-2/9
Let k be ((-2)/(-5))/(8/10). Let d be (-14)/(-35) + ((-447)/135 - -3). Is k at most d?
False
Let p = -1.743 - 0.257. Which is bigger: 0.2 or p?
0.2
Suppose v + 330 = 5*n - 4*v, 330 = 5*n + 3*v. Let d = n - 65. Is d bigger than 5/8?
True
Suppose -p + 656 = -4*p - 2*j, -3*j - 654 = 3*p. Which is bigger: p or -222?
p
Let o = 477 + -299. Which is smaller: 177 or o?
177
Let m be (4 - -2 - 7) + 2. Is 3/830 greater than or equal to m?
False
Let a = -16 + 19. Suppose -4*h - u + 4 = u, -2*h - 5*u - 6 = 0. Suppose 4*s - 18 - h = 0. Is s smaller than a?
False
Let g be (-3)/(-27) - (-521)/7056. Let w be 2/6 - 31/147. Let v = w - g. Which is greater: 0 or v?
0
Suppose -4*i + 4*g + 31 = i, -g - 16 = -4*i. Let s be (-9 + 6)/(i/2). Which is smaller: s or -3?
-3
Let c(d) = d**3 - 38*d**2 - 128*d - 26. Let t be c(41). Which is greater: t or -461/2?
-461/2
Let n(a) = -a + 50. Let i be n(16). Suppose i = 3*x - 5. Let u = -29 + 43. Which is bigger: u or x?
u
Suppose -19 = 4*z + 5*g, z + 0*g + 3*g = -10. Let s = 181 + -5245/29. Let x = -49/145 + s. Are x and z unequal?
True
Let h(n) = -2*n - 17. Let p be h(-13). Suppose -s + 3 = -5*l + 14, p = 4*l - s. Which is bigger: 9 or l?
9
Let y = -5.36 - -0.7. Let q = y - 0.34. Suppose 2*d + 1 = 3*p - 4, 2*d = 5*p - 11. Is d at most as big as q?
False
Suppose -15*u + 24 = 9*u. Suppose 86 - 29 = p. Is u bigger than p?
False
Let d = 16 - 18. Suppose -r = -7*r - 18. Is d greater than r?
True
Suppose -2*p - 14 - 10 = 0. Let y be p/45*(-6)/(-4). Is y greater than 12?
False
Let c = -1 - -4. Suppose -c*f = 5*m - 58, 4*m = 4*f - m - 54. Let g = -34 - -49. Is g at least f?
False
Let u = -33 + 164/5. Suppose 93 - 105 = 12*y. Are y and u equal?
False
Let n be 27/(-50) + 2/5. Let v be (3/(-120))/((-2)/(1968/10)). Let p = n - v. Are p and -2 unequal?
True
Suppose 5*f = 2*d - 109, 3*d - 2*f - 21 = 115. Let w be 12/d + 4/(-14). Let n = -39/4 + 10. Which is smaller: n or w?
w
Let w = -0.599 + 33.599. Let k = 5/22 - 69/110. Which is smaller: k or w?
k
Let d = 91.9 + -90.89. Which is bigger: d or 0?
d
Suppose -2*v - 18 + 16 = 0. Which is greater: v or -31/20?
v
Let q = 43 - 46. Let i = -0.25 - -0.05. Which is smaller: q or i?
q
Let y(z) = -z**3 + 6*z**2 - z - 1. Let k(f) = f**3 - 6*f**2. Let o(j) = 2*k(j) + 3*y(j). Let h be o(5). Is 5 at least as big as h?
False
Let w be ((-653)/10)/((20/14)/(-1)). Let x = w - 183/4. Does -2/9 = x?
False
Let v(o) = 91*o + 20. Let q be v(-3). Let r be 11086/q - (-2)/(-11). Which is bigger: r or -43?
-43
Let a = -1486.02 + 1500. Let o = -1.24 - -15.24. Let l = o - a. Which is smaller: l or 0.1?
l
Let c be -1 + -3 - 482205/(-120621). Is c equal to 1?
False
Suppose 1729*g = 1726*g - 6. Which is greater: g or -376?
g
Suppose 8*h - 4 = 7*h. Suppose h*v = v - 9. Is v at least -2?
False
Let p = 45 + -46.29. Let n = 5110 - 20439/4. Is n less than p?
Fals