q(c) = -8*c - 12. Let k(t) = -t + 6. Let z(d) = -8*k(d) - q(d). Let j be z(-19). Do j and -340 have different values?
False
Let t be (1 + -97)*(-7 + (-45)/(-6)). Let p be ((-40)/t + 1)*-6. Is 1 equal to p?
False
Let b be (-2)/(-6)*(2 - (-4 + -3)). Suppose -3*q = 3, 3*n - n - b*q = 47. Which is greater: 24 or n?
24
Let l = 86 + -79. Suppose -2*d - 17 = -l. Which is smaller: -58/13 or d?
d
Let j = -93.962 - 0.038. Let g = -8783 + 61483/7. Are j and g equal?
False
Let j = 323 + -320. Let p be (j - -2) + 7 + -8 - 3. Is p greater than -1/303?
True
Let x be 1 - 2 - (-28986)/26718. Let k = -462 + 33721/73. Let a = k + x. Which is smaller: a or 0?
0
Let b = 325/7 + -46. Let z(u) = 18*u - 126. Let y be z(26). Let o = y + -342. Which is bigger: b or o?
b
Let u = 18318 - 18102.6. Which is bigger: u or -0.3?
u
Suppose 0 = -11*g + 15*g + 2340. Let l be g/12 + (-1)/4. Are -50 and l equal?
False
Suppose -2*a - 2*a + 16 = 0. Let i(n) = -2*n**3 - 5*n**2 + 23*n + 38. Let v be i(-4). Is a at most as big as v?
False
Let y be (4 - -11)/(-15*7/(-42)). Let z be 2 + 16/(-4 - -2). Which is bigger: z or y?
y
Let k = 0.453 + -0.533. Let m = 0.01 - -6.99. Is m > k?
True
Suppose -8*i = -2*i - 90. Suppose -3*d - 26 = 3*b - 8, -i = 5*b + 2*d. Let f be (b - 0) + 39/26. Which is bigger: f or 1?
1
Suppose -2*a - 63 - 14 = v, 0 = -5*a + 4*v - 212. Let m = -0.01 + 3.01. Which is bigger: m or a?
m
Suppose 9 + 2 = -2*q - 5*u, -4*q - 3*u = 1. Suppose -q*t - 3 = 29. Let k be 0 + -1 - t/3. Which is greater: 3 or k?
k
Let r = -81994520/23 + 3564410. Let v = r + -8869/69. Let c = 706 + v. Which is bigger: 7 or c?
c
Let s be 15/((-105)/(-28)) + -1*4. Suppose -10*t = -5*t + 2*y - 3, 4*t + y - 3 = s. Are 4/63 and t unequal?
True
Let u = 883/110 - 73/10. Suppose 8*q - 327 + 327 = 0. Is q <= u?
True
Let m(h) = 8*h - 12. Let d be m(9). Suppose -d = -6*q + 4*q. Suppose 18*t + q = 12*t. Which is smaller: -12 or t?
-12
Suppose 2 = 28*r + 8 - 6. Which is bigger: r or -685?
r
Let u = 21 + -17. Let i be (0/3)/(u/(-1) + 7). Which is greater: i or 41?
41
Let y = -2277 + 2277.3. Which is bigger: y or -876?
y
Let o be (15/(-10))/(6/32). Let i be 2/o*(-5 + 4). Let k = 9925 - 9926. Which is bigger: i or k?
i
Let b be 18/(-162) + 16/(-18). Let k = 153 + -103. Let q = -30 + k. Is q smaller than b?
False
Let i = 1.06574 - 0.06574. Let u be -4*5/(2/2). Is u != i?
True
Let z(t) = -4*t**2 + 6*t + 7. Let r be z(5). Let l = -63 - r. Suppose -5*c - 3*w - 1 = -5*w, l = 3*w - 9. Is 0.35 <= c?
True
Suppose 12*w - 887 = -3779. Let x = 292 - 534. Which is greater: w or x?
w
Suppose s - d = -3*s - 31, 2*d = s - 1. Let y = s - -141/16. Let m be -1 - (0/5)/(-12). Which is greater: m or y?
y
Let r(p) = -3*p - 18. Let z be r(-8). Let f(d) = -2*d**2 + 12*d + 1. Let b be f(z). Which is greater: -3/22 or b?
b
Let c(w) = 4*w - 14. Let a be c(1). Let m = a - -10. Is m smaller than -4/23?
False
Let f be (-9)/27 + 4/((-84)/(-13)). Suppose 3*m - 4*z - 39 = 0, -9*m - 77 = -13*m - 3*z. Are f and m unequal?
True
Let s = 2 - 2.05. Let v be 12006/(-1848) + (-155)/(-55) + -3. Let l = v + 52/7. Which is bigger: l or s?
l
Suppose 40*m + 265 + 230 = 7*m. Do -420/31 and m have the same value?
False
Let r(j) = -337*j. Let s be r(-6). Suppose 5*k - 78 - s = 0. Let b be 1/(-4) - (-117)/k. Which is smaller: -1 or b?
-1
Let h(s) = -8*s**2 - 4*s - 3. Let v be h(-2). Let b = 93 - v. Is 119 greater than b?
False
Let c = -2.5 + 3.05. Let h = -2.45 - c. Which is smaller: -66 or h?
-66
Let v = -26.42 + 0.42. Let q = -50 - -25. Let p = v - q. Which is bigger: -0.2 or p?
-0.2
Suppose 7675 + 650 = 5*h. Suppose 19*q = 4*q + h. Let j = q + -131. Which is bigger: j or -21?
j
Let b(c) = -4*c**2 - 2*c - 1. Let f be b(-2). Let h be 462875/(-39284) - (-2)/61. Is f less than or equal to h?
True
Let n be (3324/1939)/(22/(-315)). Which is bigger: -1 or n?
-1
Let a be ((-14)/56 - -1) + (-92)/16. Is a > -132/31?
False
Let g = -0.099 - 50.901. Let y = 988 + -1039. Let w = g - y. Is -2.2 bigger than w?
False
Let c(r) = -r**3 - 8*r**2 + r + 12. Let p be c(-8). Suppose 4 = 4*z + p. Let q be (z + 0)/((-8)/(-4)) - 0. Is q less than 0?
False
Let o(p) = p**3 - 50*p**2 + 149*p - 220. Let z be o(46). Are 2/5 and z nonequal?
True
Let y be (-10)/(-24)*(-246)/41*8/6890. Are y and 0.1 non-equal?
True
Let r be (2/3)/(2/(-12)). Let a(q) = 5*q**2 + 15*q - 31. Let u(c) = -4*c**2 - 14*c + 30. Let t(h) = r*u(h) - 3*a(h). Let g be t(-12). Is -14 at least g?
True
Let g = 0.32 - 0.3. Let j = 3.02 - g. Let x = -324.3 + 327.3. Is x > j?
False
Let x = -115 - -134.8. Let v = x + -19.9. Is 0.053 less than v?
False
Let j = -0.7607 - 0.5393. Which is smaller: 2/243 or j?
j
Let b = 4.524 + 130.476. Do b and -0.1 have different values?
True
Let f be -33*-15*15/27 + 5. Let p be f/72 + 6/(-18). Which is smaller: 4 or p?
p
Let g be 2/4 + 1168/(-1120). Let r = 2308/4445 + g. Is 1 less than or equal to r?
False
Let c be 7/((-868)/136) + (-1)/(-1). Suppose 3*x - 83 = -3*k + 2*k, -318 = -4*k + 2*x. Let g = -81 + k. Which is bigger: c or g?
c
Suppose -5*z + 31 = -l, -3*l - 33 = -3594*z + 3589*z. Let t be (-86)/350 + 4/14. Which is smaller: t or l?
l
Let u = -257/10192 - -1/49. Suppose -2*r = 3*n + 5, -4*r + 6*r + 5*n = -7. Which is smaller: u or r?
r
Let q(i) = 2*i**3 + 8*i**2 + 3*i - 7. Let w be q(-3). Let k be (-1750)/18 - (-14)/63. Which is greater: w or k?
w
Let d = -20 + 19.89. Let v = 0.703 - 3.813. Let u = v - d. Which is smaller: 1 or u?
u
Let k = -2952.96 - -2953. Which is bigger: k or 114?
114
Suppose q = 3*l - 656, 4*l - 4*q - 680 = 200. Is 217 >= l?
False
Let z = 13412/5 + -2682. Is z <= 295/3?
True
Let g(o) = -o**3 + 44*o**2 - 145*o + 21. Let k be g(40). Are 621 and k non-equal?
False
Suppose 2*d - m + 763 = 775, -48 = 3*d + 4*m. Let o be (4/(-131))/(0 - -2). Which is greater: d or o?
d
Let m = -679 - -214. Let v = m + 464.96. Which is smaller: -37 or v?
-37
Let a = -295 - -370. Let y = -133 + a. Which is bigger: y or 2?
2
Let l = -1153/10 + 3439/30. Is l at most as big as 1264?
True
Let i be (-3)/4 + (-330)/40. Let o be -3 + (1 + -3 + 3)*4. Let r(u) = -u - 4. Let d be r(o). Which is greater: i or d?
d
Let c(u) = -20*u. Let q be c(-2). Suppose -2*k + v = k - q, -2*k + 20 = v. Suppose -k = 3*a + a. Is -0.2 greater than or equal to a?
True
Let g(h) = -26*h + 843. Let b be g(34). Let n(y) = y**3 - 3*y**2 + 2*y + 2. Let x be n(2). Suppose 3*l = x*l - 41. Do b and l have the same value?
True
Suppose 0 = 4*i - 4*z - 32, -3*i + 2*z + 19 + 1 = 0. Suppose i*q + u + 1833 = -1189, -q - 759 = 2*u. Is -755 less than q?
False
Let g = 27.64 - -9.5. Let i = 37 - g. Which is greater: i or -2?
i
Suppose -11 - 3 = -2*l. Suppose -l*y - 3 = -10. Let o be (-312)/84 - -4*y. Is -1 smaller than o?
True
Suppose 38*z + 5*g = 40*z - 1489, -z + g = -749. Is z not equal to 754?
True
Suppose -4*g + j = 138305 + 433491, -5*g - 2*j - 714732 = 0. Let u = g - -1285180/9. Let v = u + 9194/63. Are -3 and v nonequal?
True
Let y = -2961/2 - -1532. Let g = 61 - y. Suppose -u - r + 5 = -4, -4*r + 25 = 3*u. Is g less than or equal to u?
True
Let k be (-30)/390 + 12040/26. Suppose 0 = 471*m - k*m + 648. Which is smaller: m or -80?
m
Let f = -20 - -32. Suppose 2*d - f*d - 60 = 0. Let t be 1/d*((-6)/(-33) + -1). Is 0 at least as big as t?
False
Let h = 22798 + -22797.982. Which is smaller: h or -24?
-24
Let b be 2/(-8) + 1 + 24548/144. Let s = -171 + b. Which is bigger: -38 or s?
s
Let v be (7/(-8) - (-5985)/3192)/(781/(-12)). Which is greater: 0 or v?
0
Let f = -317.72 - -318.72. Is 6263 >= f?
True
Let l = 103 - 57. Suppose 61*r = 59*r + l. Let m = 2365/2 + -1160. Do m and r have different values?
True
Let k = -24.29 - -61.83. Let w = -0.54 + k. Let t = w + -37.01. Do -5 and t have different values?
True
Let j(w) = 11*w**2 + w + 3. Let q be j(-3). Let x = q - 120. Is x < -138/7?
True
Let a(v) = -16*v**2 + 1073*v - 41. Let n be a(67). Is n bigger than -0.011?
True
Let d = -25.76 + 22.8. Let u = d + 2.76. Do u and -144 have the same value?
False
Suppose 470 = -3*w - 4*v, 60 = -2*w - 3*v - 252. Let n = -250 - w. Which is smaller: -89 or n?
-89
Let m be ((-3)/2)/((-3)/(-8)). Suppose -194*r - 2190 + 444 = 0. Are r and m nonequal?
True
Suppose 73737*n - 73760*n - 69 = 0. Which is bigger: n or -65/36?
-65/36
Suppose 14*a = 685 - 265. Le