4.9. Is m less than or equal to q?
True
Suppose -3*a = -4*p + 26, 2 - 34 = 3*a + 2*p. Let v = -21/2 - a. Let z = 545.5 - 545.2. Is z <= v?
False
Let r be 1584/8070 - ((-4)/12 + 112/210). Is r less than 0?
True
Suppose -2*z + 244 = -t - 4, 5*z - 2*t = 619. Let y = 122 - z. Which is smaller: y or -9?
-9
Let q(u) = -408*u**3 - 64*u**2 + 178*u + 5. Let p be q(3). Which is smaller: p or -11052?
p
Suppose -3*c = -7*c + 640. Suppose -2*d + c = 3*d - 5*l, d - 52 = -4*l. Let y be (d/(-42))/((-1)/7). Is y less than 8?
True
Let d be (-6)/(-63) + (-832)/(-5376). Which is smaller: d or -57?
-57
Let y(i) = 2*i**2 - 173*i + 502. Let r be y(3). Which is bigger: r or 2/2787?
r
Let j be (-6)/(-9) + 2660/(-3975). Let c = j + -2369/6360. Which is greater: c or -1?
c
Let z = -6017 + 5809. Is -199 equal to z?
False
Let s = 121.8 - 137.771. Let d = s + 15.9. Let k = d + -0.229. Is k >= -11?
True
Suppose -6*u = -u + s - 1679, -1366 = -4*u + 3*s. Suppose 337 = 4*q - 3*q. Is u smaller than q?
False
Suppose 3*b - 12 = x, -10*b + 4 = -9*b. Does -2/351 = x?
False
Let g = -32283/55 - -587. Let r(d) = 532*d - 533. Let m be r(1). Do m and g have the same value?
False
Let f = 0.7 + -84.8. Let g = f + 84. Which is bigger: -112 or g?
g
Let m = 4128.9 - 3827. Let d = 313 - m. Let j = 1 + -2. Which is greater: j or d?
d
Let u(n) = n**2 - 6*n - 54. Let c be u(-5). Let j = -59/46 + 9391/7268. Which is smaller: j or c?
j
Let g = -209 - -208. Let k(f) be the third derivative of 17*f**4/12 + f**3/2 + f**2. Let w be k(g). Which is smaller: -30 or w?
w
Let w(y) = -7*y + 4. Let i(r) = 3*r - 2. Let v(s) = 9*i(s) + 4*w(s). Let b be v(-1). Let z be ((-4)/(-2)*10)/b. Which is smaller: -18 or z?
z
Suppose 2*s - 10 = -w + 4*s, 0 = 2*w - 3*s - 17. Suppose 6*p - 9*p + 3*j + 21 = 0, 0 = w*p - 3*j - 33. Which is bigger: -6 or p?
p
Suppose 7*o = -33 + 82. Let m be (20/40)/(9*o). Which is bigger: m or -1?
m
Let o be 3 + -3 - 55/(-1). Let a be (o/15 - 4)*0. Suppose 7*l - 6*l = a. Which is smaller: 3/8 or l?
l
Let v be (19/(-4) - 12/(-16))*-18. Let z be -5*4/v*(-72)/855. Is z bigger than -1?
True
Let h = 3961390/9 - 437870. Is 2284 greater than h?
False
Let x be ((-4)/6)/((-110)/(-4950)). Is x smaller than -281/9?
False
Let y = -2556 - -3727. Do 1171 and y have different values?
False
Let m = 170 + -166. Suppose -g = -2*g + 3*y + 17, m*g - 13 = y. Is 42/13 < g?
False
Suppose 22*n = -4*p + 20*n + 2, p + 4*n = 11. Which is bigger: p or -34/105?
-34/105
Let w = 1/306 - 619/2142. Do 1679 and w have the same value?
False
Let g = -17927 + 17927.086. Which is smaller: g or -1/4?
-1/4
Let v be (4/510)/((-2571)/321 + 8). Let c = v - -12/17. Which is bigger: c or 4/3?
4/3
Let m = 9090/7 + -1311. Let a = -161086 + 161073. Which is smaller: a or m?
a
Let d = 5.809 - -5.191. Suppose 0 = -4*s + 8, -2*c = 3*c - 2*s - 36. Let v = -11 + c. Do v and d have the same value?
False
Let h = -0.8264 + -0.1736. Which is smaller: -0.359 or h?
h
Suppose 3*a - 45 = -2*a. Let g = -24754 + 24769. Is g smaller than a?
False
Let w = 84 - 94. Let l = 6 + w. Let j = 1087/3 + -366. Which is smaller: l or j?
l
Let c = -348 + 528. Suppose c = -15*g + 11*g. Let z = g + 42. Is z >= -3?
True
Suppose 5*n = -30, 630*i + 5*n = 628*i + 3530. Is i > 1780?
False
Let q be (-90)/(-105) + (-795)/7*5. Is -564 < q?
False
Let q be (7 - (-452)/(-12))/((-4)/9). Is 277/4 smaller than q?
False
Let b(u) = -u**3 - 10*u**2 + 57*u + 14. Let m be b(-14). Do m and 2/9467 have the same value?
False
Let j be ((-51800)/(-1554))/(1/6). Which is bigger: 178 or j?
j
Let t(q) = -6*q**2 - 101*q - 367. Let l be t(-5). Suppose 0*p - 5*k + 40 = -2*p, -24 = 2*p - k. Is l not equal to p?
True
Let m be 2/(3/((-6)/(-4))). Let z be (6116/594)/(1 + m). Let h = -7/135 - z. Is h less than -0.1?
True
Suppose 2*l + 43 = 11. Let y = 2/12155 - 534826/36465. Is l < y?
True
Suppose 2373 = -82*s + 61*s. Which is smaller: s or -796/7?
-796/7
Let o = 115879/36 - 12973/4. Which is smaller: -25 or o?
-25
Let y be (0 + 1)/(-2 - (-100)/48). Let h be 33/y - (-24)/(-32). Suppose h*x - 80 = 7*x. Which is greater: -17 or x?
x
Suppose -7*y + y = 42. Let u = -107.43 - -107. Let l = u + 0.13. Which is smaller: l or y?
y
Let r be ((-184)/69)/(((-4)/(-111))/((-30)/3)). Are r and -4 nonequal?
True
Let c = -4054 - -4899. Which is bigger: c or 846?
846
Let u = 831.1608 + 0.1392. Let r = u - 831. Let z be 3 + -4 - 17/(-19). Which is greater: r or z?
r
Suppose 468*m - 199*m = -18023. Suppose 2*w = 8, t - w = 2*w - 16. Let g be t/(-24) - 806/12. Is m at most g?
True
Suppose 0*h = 3*h - 2*y - 82, -4*y + 46 = h. Let c(v) = -v**2 - 18*v - 1. Let f be c(-10). Suppose 9*w - f = 200. Are h and w non-equal?
True
Suppose -38*n = 11*n + 31*n + 1280. Let l = -0.02 + -1.08. Let a = 1 + l. Do a and n have different values?
True
Let x = -6 + 6. Let g = 0 - x. Let t = -1222 + 1222. Is t > g?
False
Let o = -966/17 + 25919/34. Let w = -791569/1122 + o. Is w bigger than 1?
False
Let d = -9437 - -9469. Let o be (-34)/(-4)*-1*4. Let u = d + o. Which is greater: 0.8 or u?
0.8
Let j = 0.1 - -0.4. Let v = 0.1 + j. Suppose -198*g - 188 = -59 + 267. Is v at least g?
True
Let t = -80.037 - -0.037. Let q be -3 - 13*(-3)/12. Are t and q equal?
False
Let p = -1723/6860 - -2/1715. Let x = 0.0737 + -32.3737. Is x not equal to p?
True
Let k = 24214.1 + -24583. Are k and 0 non-equal?
True
Let d = -11 - -9.61. Let q = d - -1.29. Let a = 33 - -36. Which is bigger: a or q?
a
Let g(t) = t**3 - 45*t**2 - 284*t - 1119. Let s be g(51). Let j = 9748/21 + -1381/3. Is s at most as big as j?
True
Let l(z) = -15*z + 853. Let b be l(57). Let w = 0.84 + -0.7. Is b not equal to w?
True
Let k = 107 + -106.316. Is -1/3 < k?
True
Suppose -10 = -14*p + 4*p. Let b(d) = d**3 + 16*d**2 - 16*d + 13. Let y be b(-17). Let c be (-6)/(-4)*y*2/102. Which is greater: c or p?
p
Let t = -8368/9 + 234295/252. Let s(x) = -x**3 - 4*x**2 - x - 3. Let v be s(-4). Which is smaller: t or v?
t
Suppose -27 = 159*i - 156*i. Let q(w) = 2*w - 2. Let v be q(0). Is i less than v?
True
Let q be (2 - 5)*(-1)/(3/(-6)). Let k be 70/q - (-4)/6. Let r be (-16)/(-30)*70/168. Which is greater: k or r?
r
Let r be 2/(-4) + (7 - (-11210)/(-20)). Let p be (-3 + r/(-4))*2. Which is greater: p or 270?
p
Let f(w) = -5*w**3 + 2*w**2 - 2*w + 13. Let a(k) = 4*k**3 - 2*k**2 + 2*k - 12. Let o(i) = 6*a(i) + 5*f(i). Let r be o(-4). Which is greater: r or 73/4?
73/4
Let w(n) = 7 - 3*n - 3*n - 4*n + 5*n + 4. Let v = 11 - 8. Let d be w(v). Is -4 less than d?
False
Let a be (-42)/(-14)*(-10)/6. Let k(f) = -3*f - 19. Let u be k(a). Let b be (-34 - -28)*(0 - (-2)/u). Is b greater than 3?
False
Let p = 15443 + -15562. Which is greater: p or 1/63?
1/63
Let u = -1834.58 - -1817. Let o = -18 - u. Let m = o - 7.58. Is m greater than -2/3?
False
Let c be (-2 - 4/(-2)) + 12/2. Suppose -34 = 5*t + 2*q, 5*q = c*t - 5*t - 4. Let l be t*(22/6)/(8/(-12)). Which is smaller: 32 or l?
32
Let v = 47 - 46. Let d(w) = -4*w - 4. Let t(s) = -s - 1. Let a(c) = v*d(c) - 5*t(c). Let f be a(-7). Is -2 smaller than f?
False
Let x = -0.4 + 0.42. Let d = 0.18 + x. Let u = 3798 + -3797.98. Are u and d non-equal?
True
Let h = 169.83 + -3.83. Let j = h + -114. Let t = j - 55. Is t less than or equal to -5?
False
Suppose 7*x + 10 = 3*x - 2*i, 0 = -4*x + 4*i - 28. Let v be 328/861 - x/(-42). Which is greater: v or 0?
v
Let n = 7256 + -7322. Which is smaller: -25 or n?
n
Let a = 31037 + -31037. Let z = 7 + -11. Do z and a have the same value?
False
Let a(s) = 11*s**2 + s + 1. Suppose -26 = -h - 5*v, -2*v - v = -h + 10. Let b be ((-1)/(-4))/((-4)/h). Let p be a(b). Is p bigger than 12?
False
Let n(x) = 4*x + 18. Let m(p) = -3*p + 6. Let a be m(5). Let d be n(a). Suppose 5*t = t. Which is greater: d or t?
t
Let k(z) = -2*z**3 - 150*z**2 - 110*z + 267. Let i be k(-74). Is i at least -2543?
False
Let x = -49624/119 + 417. Suppose j - 6 + 2 = 0. Suppose 0 = f - j*f. Which is bigger: x or f?
f
Let d(c) = -11*c - 40. Let t be d(-11). Let i = -76 + t. Suppose 2*v + 17 = -a + 6*a, -4*v + i*a = 19. Is v equal to 3/40?
False
Let c be (-4)/(-12)*60/(-4). Suppose 10*y + 680 = -10*y. Which is smaller: c or y?
y
Let i(g) = -g + 5. Let a be i(5). Let q = -20272 - -952790/47. Is a < q?
True
Let z = -5083 + 5073.3. Is 0.1 less than z?
False
Let p be (302/4