3.7. Let p = i + u. Is p less than or equal to -2/11?
False
Let y(b) = -58*b - 488. Let u be y(-22). Which is smaller: 1/2 or u?
1/2
Let h(s) = 5*s + 10. Let c be h(-6). Let y be 1/2 + (-45)/c. Which is smaller: 4 or y?
y
Let k = -198 - -199. Which is smaller: k or -5?
-5
Let x = -0.048 + 12.048. Let z = x + -16. Is -1/6 at least as big as z?
True
Let x be (1 + (-2)/6)*6. Suppose -x*v - 24 = l + 2*l, 4*l = v - 13. Let i be 3/6*-4 - 2. Are i and l nonequal?
False
Suppose 2*j - 4 = -o, -5*o + 6 = -o - 2*j. Suppose -2*c = o*c - 12. Let z = c + -8. Which is greater: 1/2 or z?
1/2
Let h = -6 - -5.95. Let m = -11.95 + h. Let f = m - -12. Which is smaller: 7 or f?
f
Suppose 4*n - 72 = -5*q, -5*q + 3*n + 60 = 9. Let z be (-2)/(-24)*-13 - (-9)/q. Is -2.8 >= z?
False
Suppose -5*x = -6 - 4. Suppose -a = 5*m - 19, -x*m = -5*a - m - 35. Let b be (-8)/a - 1 - 0. Is b >= -1?
True
Let x(i) = -i**2 - 8*i + 4. Let g be x(-8). Suppose -p + g = -5. Let r(b) = -b**3 + 8*b**2 + 7*b + 12. Let o be r(p). Which is smaller: o or -2?
o
Let m = -6.9 + 5.8. Let f = 1 + m. Is 2/29 > f?
True
Suppose 2*q - q + 5*z + 207 = 0, -z + 177 = -q. Let a be (q/92 - -2)*-4. Let m(b) = -b**3 + 3*b**2 + 1. Let i be m(3). Is i at least a?
True
Let z = -23127/37 - -625. Let a(u) = -u - 6. Let d be a(6). Let w = d + 13. Is w not equal to z?
True
Let d = -4.5 + 4.27. Let l = -12.77 + d. Which is smaller: l or -2?
l
Suppose 0 = -s + 2 + 7. Let c be ((-2)/10 - 170/25)*-2. Suppose 2*t + 0*t - c = 0. Which is greater: t or s?
s
Let d = -18948 + 435729/23. Is d <= -2?
True
Let w = 799 + -11992/15. Let s = 2/3 + w. Is -0.3 less than s?
True
Let p = -621 - -618. Is p less than -3/38?
True
Let w be 1/2*12/6. Let p = -326361/193 - -1691. Which is bigger: p or w?
w
Let o be (10/(-3))/((-3)/(-9)). Let b = 15 + o. Suppose 0 = b*r + 20, -3*y - r + 5 = -6*y. Which is smaller: y or -2?
y
Let i = -70 + 73. Suppose i*y - 22 = 2*n - 4*n, 4*n = 5*y. Which is bigger: -8 or n?
n
Let c(w) = 5*w**3 - 2*w**2 - w. Let u be c(-1). Let s(v) = -3*v + 3. Let y be s(u). Let z be 0/(-2) + (-12)/y. Is 0 greater than z?
True
Let i = 2 - -10. Let c be (15/(-25))/(i/(-10)). Are 4/11 and c equal?
False
Let x be (-3)/2*40/(-1030). Let s = 1297/721 + x. Are s and -1 unequal?
True
Let f(r) = 2 + r + 22 - r**2 + 4*r. Let w be f(8). Which is smaller: w or -3?
-3
Let c = 17.78 - 15.88. Is -10 at least c?
False
Let r be (0 - 6/(-4))/12. Let z(y) be the first derivative of y**3/3 - 2*y**2 - 6*y + 1. Let w be z(5). Which is smaller: r or w?
w
Suppose 4*h = -5*n + 29, 2*n + 48 = 3*h - 3*n. Let d = 11 - h. Let t be (6/4*-2)/(-14). Which is smaller: t or d?
d
Let w = 60 + -56. Let r be (9/(-6))/(2 + -8 + w). Which is smaller: r or 0?
0
Let j be 0 + 2/10*13. Let y = j + -86/35. Let o = 0.966 - -0.034. Is o not equal to y?
True
Let y = -251/6 + 42. Let n(l) = -l**2 - 4*l + 22. Let q be n(-7). Which is greater: y or q?
q
Let p = -19025/329 + -223/47. Is p smaller than -63?
False
Suppose h - 60 = -4*h. Suppose -4*x + h = 4. Suppose -x*i - 3 = 5. Which is smaller: -2/7 or i?
i
Let w = 2090 + -2090.853. Let o = 0.007 - w. Let n = o - 0.16. Which is smaller: n or 0?
0
Suppose -92 = -62*a - 30. Let m be ((-2)/(-12))/((-3)/2). Is m at least a?
False
Let r = 919 - 923. Let i be 100/(-16) - 2/(-8). Which is smaller: i or r?
i
Let c be (-5)/(-30)*(-72)/(-42). Are c and -20 non-equal?
True
Let i = 146 - 145. Which is smaller: 1/120 or i?
1/120
Let d(u) = -10*u + 37. Let b be d(7). Let k be b/18 - (-1)/(-6). Is -12/11 greater than k?
True
Let y = -59 - -59. Suppose y = 2*k + 83 + 35. Which is greater: k or -58?
-58
Let c(u) = 54*u + 432. Let i be c(-8). Is 16/71 at least i?
True
Let t = 491 + -507. Does t = -67/4?
False
Let g be (-3)/(-6) - (-9)/(-2). Let r(s) = -s**3 - 4*s**2 - s - 4. Let d be r(-4). Let k be g/(-12)*3 + d. Is -1/6 > k?
False
Let v(l) = l**3 + 5*l**2 + 5*l + 6. Let k be v(-4). Suppose -4*g = 5*x + k, x - 5*g - 8 = 9. Which is smaller: -1 or x?
-1
Let k = 357 - 366. Suppose 3*w + 3*h = -9, -3*h = w + 2*h - 13. Which is bigger: w or k?
w
Suppose 3*f - 6 - 3 = 0. Suppose 0 = 2*w - f*h + 15, 2 = 4*w + h - 3. Suppose w = -8*j + 4*j - 4. Do -2 and j have different values?
True
Suppose 4 = s - z, -5*z + 20 = 3*s + 2*s. Suppose -8*a - 68 = -s*a. Which is bigger: a or -16?
-16
Let g = -364 + 363. Is 67/5 > g?
True
Let a be (8/(-10))/((-2)/10). Let d be (-399)/(-19)*36/(-42). Let s be (-26)/d - (a + -3). Which is greater: s or -1?
s
Suppose 4*r = -h + 5*h - 20, -4*h + 20 = -2*r. Which is smaller: 8/121 or r?
r
Let s = 20 + -6. Suppose -3*z + 0*z - 2*r = -26, z - s = -2*r. Let j be ((-4)/(-6))/(4/z). Is 1 <= j?
True
Let u = -45 - -227/5. Let b = -1649 + 1648.6. Which is smaller: u or b?
b
Let l = 25 - 20. Let r be (-35)/(-275) + (-2)/l. Which is smaller: r or 1?
r
Let g be -7 + (14 - 6) - -113. Is 111 <= g?
True
Let h = -1875/13 + 145. Which is smaller: h or 1?
h
Let p(g) = -g**3 + 6*g**2 - g + 13. Let h be p(6). Suppose h*b - 3*b + 68 = 0. Is -17 bigger than b?
False
Suppose -47*u + 38069 = -5547. Are 928 and u nonequal?
False
Suppose 2*w = 6 - 46. Let l = 556 - 577. Do l and w have the same value?
False
Let w = -6529/7 + 933. Let g = 0.2 - 4.2. Let t = g - -7. Is w <= t?
True
Let s(d) = -3*d**2 - 49*d - 15. Let p be s(-11). Is 160 at least p?
False
Let l be 1 + (-1 - (-8)/22). Let f(a) = 5*a - 27. Let b be f(5). Let w be ((-5)/(-5) + b)/(-1). Are w and l nonequal?
True
Let k = 212 - 229.8. Let f = -18 - k. Which is smaller: 5 or f?
f
Let n(t) = -6*t + 18. Let x be n(3). Suppose y + 38 = -5*k + 140, -4*k + 3*y + 74 = x. Which is bigger: k or 0?
k
Let n = 37 + -19. Suppose 2*u = 5*r - 59, 0 = -2*r - 3*u + u + n. Suppose -4*d = 5*x + r, d - 2*x - 3 = 4. Is d >= -7?
True
Let s = -82 + 82.007. Let f = s + 0.993. Which is smaller: 0.5 or f?
0.5
Suppose 0 = 17*o - 42 + 841. Is -49 >= o?
False
Suppose 7*v - 29 + 8 = 0. Suppose -j + 5*w - 7 = -2, 5*w = -v*j - 95. Which is bigger: j or -26?
j
Let n = -45 + 17. Which is smaller: -3/4 or n?
n
Suppose 0 = w - 25 + 235. Let r be (w/(-25))/(-6)*-1. Let o(g) = g**2 - 2*g - 3. Let a be o(3). Which is smaller: a or r?
a
Let b = -92 + 56. Let y = b + 120. Let a = -248/3 + y. Which is smaller: a or 1?
1
Let s be (-4)/3 - 3/((-90)/(-350)). Which is smaller: -10 or s?
s
Let r = 169 - 109. Let w = -15 + r. Let u = w + -179/4. Which is smaller: 0 or u?
0
Let m be (-370)/64 + (-582)/(-97). Is -1 less than m?
True
Suppose -d = -36 + 34. Suppose -h - 4*j + 4 = 0, -3*h + 24 = d*j - 38. Which is bigger: 25 or h?
25
Let l be (-2 - (-1572)/(-15)) + (-38)/190. Which is greater: l or -112?
l
Let x = -69/17 - -1159/340. Let q = x - -1/4. Let d = 2.2 - 0.2. Is q less than or equal to d?
True
Let d be 0 + 90/(-20) + (-2)/(-4). Which is smaller: d or -75/28?
d
Let f be ((-36)/(-3))/(-4) + 4 + -9. Let o be (-6)/((-66)/(-24) + 6/f). Let m be 0/2 + 2 + -5. Does m = o?
True
Let x = 83 - 162. Let p = x + 77. Is -7/6 smaller than p?
False
Suppose u + 51 = 3*q, -21*q + 87 = -2*u - 20*q. Which is bigger: -41 or u?
-41
Let a = 58359/40 + -7008/5. Which is bigger: a or 58?
58
Let d(y) = y**2 + y - 3. Let r be d(-4). Let f = -9 + r. Let n = -229/3798 - -1/211. Which is bigger: f or n?
f
Let p = 318 - 318. Which is greater: -5/18 or p?
p
Let c be (-1)/(2 - 82/42). Let y = 15 + c. Let i be 16/12 - (-8)/y. Which is smaller: i or -1?
-1
Let z be 80/(-120)*(3 - 15/4). Is -6.28 < z?
True
Let y = 4 - -176. Are 181 and y equal?
False
Suppose -6 + 0 = -2*c. Suppose -c*g + 0*g - 18 = 0. Let a be (-6)/243*9/g. Does 0 = a?
False
Let y be (-252)/(-10) + (4 - 84/12). Which is greater: y or 23?
23
Let a = -0.201 + 2.581. Is 0.1 greater than or equal to a?
False
Let m = 604 - 611. Let i be (1/2)/((-3)/2). Is m equal to i?
False
Let n(j) be the second derivative of j**5/20 - j**4/3 - j**3/3 + 5*j**2/2 + 10*j. Let m be n(4). Let l be 2 - 3 - m/4. Which is greater: 0 or l?
0
Let y(s) = 7*s**3 - s**2 - s + 1. Let w be y(1). Suppose -w*j - 63 = -21. Are -7 and j non-equal?
False
Suppose 99*n - 2*c + 31 = 96*n, -c = 2*n + 23. Let q be (-34)/9 + 4/(-18). Is n > q?
False
Let h = 789 - 7103/9. Let s = 13.3 - 14. Which is smaller: s or h?
s
Let k be -22 + (-2 + 1 - -1). Let v be 483/33 + 156/429. Let l = k + v. Is l > -9?
True
Suppose 0 = -5*a - 4*f - 52, -4*a