(17). Let j be (-19)/b - (-158)/(-16). Is j at least w?
False
Let m = 60 + -20. Let y(i) = -34*i + 232. Let t be y(8). Let o = t + m. Which is smaller: o or -54?
-54
Let i = 137 - 149. Let b be 3/6 + i/8. Does -5 = b?
False
Let o be 30/(-5) + 3200/168. Let k = o + -40/3. Is 1.26 > k?
True
Let b = 3538 - 3091. Which is smaller: b or 448?
b
Let a = -2744 - -2744. Which is smaller: a or 388?
a
Let m be -14*18/3 - 0. Which is smaller: m or -83?
m
Let n = 2.783 + -2.683. Which is smaller: 784 or n?
n
Let w be (4784/(-364))/((-1)/(-28)). Which is bigger: w or -2/7?
-2/7
Let h be (-18)/27 - (-10)/(-3). Let v be 1/(h*5/(-140)). Is v less than 47/7?
False
Let u = -26100 + 25898. Which is bigger: u or -166?
-166
Suppose 5*p = 15 - 5. Suppose -4*l - p = 5*j - 23, -l = 2*j - 9. Let w be (1 + 0)/((-9)/27). Which is bigger: l or w?
l
Let v be (-3)/75852*4190 - (-3)/18. Is -1/7 > v?
False
Let t(s) be the first derivative of -141 - 2*s**2 - 8*s**2 + 107 + 8*s. Let k be t(3). Do k and -52 have different values?
False
Let y = -90.8454 - -91.03. Are 0 and y unequal?
True
Suppose -16*n + 3*n + 4*n = 27252. Does -3028 = n?
True
Let i(z) = -134*z**2 + 2*z - 1. Let y be i(1). Let c(q) = q**2 - 25*q - 18. Let h be c(6). Which is smaller: y or h?
y
Let p be 13409 + (-47)/((-658)/84). Which is bigger: p or 13414?
p
Let t = -48 + 51. Let s = 0.6 - 0.71. Let k = -0.04 + s. Is t >= k?
True
Let k = 334.9 - 93.9. Is 1/3 less than k?
True
Suppose -9*m - 146 + 38 = 0. Let b be (-267)/876 - (75/m - -6). Do 0 and b have different values?
True
Let p be 5/10 + 0 + (-27)/(-6). Let m = 44 - p. Let f = -37 + m. Which is bigger: f or -24?
f
Let i be 2*((-68)/(-8) - 2). Suppose -10*s = -21*s + 165. Let z = 27 - s. Which is smaller: z or i?
z
Suppose 66*f - 79 = -13. Is f equal to 34/231?
False
Let t(h) = 2*h**2 - 31*h - 1. Let u be t(19). Let d(s) = -4*s**3 + 2*s**2 - 2*s + 1. Let y be d(-3). Are y and u unequal?
True
Let j be (-14870)/34 - (0 - 2). Let h(u) = 480*u - 45. Let i be h(1). Let z = i + j. Is 0 bigger than z?
True
Let w = 6.5 + 5.5. Let r = 4.98 - -1.02. Is w at most as big as r?
False
Let l be -190 + (-12)/3 + 1. Let v = 346 + l. Is v equal to 153?
True
Suppose -2*q + 4*g = -1430, 11*q - 6*g = 16*q - 3623. Let n = 721 - q. Which is smaller: 5/136 or n?
n
Suppose -2*b = -4*b - b. Let o = 13 - 12.1. Let k = -1 - o. Which is greater: k or b?
b
Let o be 3 - (-120)/(-8) - 38312/(-3172). Is o bigger than -1?
True
Let q = -7681 + 7681. Is -129/134 greater than q?
False
Let v = -162 + 166. Let u(b) = b**2 - 6. Let r be u(v). Is 19/2 <= r?
True
Suppose -14*f + 2*d + 10 = -15*f, -2*d - 8 = 0. Do -88/43 and f have the same value?
False
Let n = 4281 - 4282. Which is smaller: 8/181 or n?
n
Suppose 5 = 3*l + f + 11, -120 = 20*f. Which is smaller: l or -1/5113?
-1/5113
Let z be (-254)/22 + (-402)/(-737) + 13926. Which is bigger: z or 13916?
13916
Suppose 1933 = -4*b - 3*c, 3*c = -2*b - 0*c - 971. Let y be ((-1)/(-3))/(b/(-5328)). Is 3 at most y?
True
Let c = -6517 - -45524/7. Let t = -4289/315 - c. Let o = -1.1 - -1. Do t and o have different values?
True
Let v = -0.10578 - -0.50578. Is v not equal to -348?
True
Let r(b) = -b - 5. Let l be r(-8). Let u = -4 + l. Let s = 59/280 - -3/40. Is s < u?
False
Let a(v) = v**3 - 4*v**2 - 93*v + 489. Let f be a(8). Is f at most as big as 20.235?
True
Let h(t) = 3*t**3 + t**2 + 2*t - 2. Let p be h(1). Suppose 3*u - 25 = -2*s, -6*u + 7*u + 43 = p*s. Let g(z) = -z + 5. Let j be g(-7). Is s at least j?
False
Suppose -113*h + 31*h = 79376. Which is greater: -967 or h?
-967
Let s(g) = 8*g + 102. Let f be s(-5). Is f greater than 62?
False
Let y(o) = 2*o**3 + 38*o + 110. Let m be y(-3). Let w(c) = -13*c + 8. Let g be w(5). Is m != g?
True
Let p = 2974.2 + -2974.2. Is p bigger than -15.91?
True
Let a(m) = -2*m**3 - m**2 - 44*m + 4. Let q be a(-6). Suppose -q - 548 = -12*y. Are 99 and y equal?
False
Suppose 81 = -5*x + 106, 3*u + 4*x - 596 = 0. Which is bigger: 173 or u?
u
Let y = 113/3 - 39. Suppose 3*w - 4 = m + 7, -m - 4*w + 17 = 0. Let r be m/(-2) - ((-27)/18)/3. Which is smaller: r or y?
y
Let k = 0.427 + -0.897. Which is smaller: k or -2?
-2
Let o = -6755 + 6755. Which is smaller: 1216 or o?
o
Suppose -5*z + k = -0*k + 336, 4*k + 16 = 0. Let i be 405/(-2)*1/3. Are i and z unequal?
True
Let r = 4881 + -4882. Which is smaller: 2/1557 or r?
r
Let k = -115281.96 + 113348. Let h = k + 1973. Let c = -39 + h. Which is greater: c or -0.2?
c
Let l be (-57)/18 + 3 + (-4097)/(-102). Let g be 2/l*(6 - 5)/(-2). Do -1 and g have the same value?
False
Suppose 4*n + 5 = -4*d + 977, -485 = -2*n - d. Is n at most as big as 239?
False
Suppose -32*s - 2527 + 7403 = -55*s. Which is smaller: s or -215?
-215
Suppose 2*v - 2*s - 332 = -v, 0 = 5*v - s - 544. Let a be (-8)/(-2)*(v + (2 - -1)). Is 443 bigger than a?
False
Let u = 328 - 135. Let k = u + -155. Suppose 0 = 5*y - 0*y - 195. Is y != k?
True
Let j = -43.1 + 117.1. Let d = 58 - j. Let h = -254/9 - -28. Is h smaller than d?
False
Let t = 33866 + -34047. Suppose -4*w - 540 = -w. Which is bigger: w or t?
w
Let l = 25915 + -25966.02. Which is greater: 0 or l?
0
Let g = -13/44 - -115/836. Let y(b) = -6*b**2 + 30*b + 36. Let d be y(8). Let n be 9/(d/6)*0. Which is smaller: n or g?
g
Let l = 108437.929 - 108267. Let t = l - 171. Let q = t + -0.029. Do q and -0.18 have the same value?
False
Suppose -3*b - 125 = 3*x + 169, 0 = -5*b + 20. Let g be 2/(x/(-6) + -9). Let t be ((-1)/(-2))/(148/16). Is t < g?
True
Let a be (-1868)/(-2380) + 6/(-10). Let k = 1/119 - a. Which is greater: 1 or k?
1
Let s be (-4*3)/(-4)*45/405. Which is greater: 2961 or s?
2961
Let o = 4 + -1. Let h = 4 - o. Let y = 30131/316155 - 1/15055. Is h != y?
True
Let k = -108468 + 108219. Let y be 2496/(-10) - 6/15. Which is greater: k or y?
k
Suppose 595 = -7*f + 42*f. Let s(t) = -t**2 - 12*t - 11. Let q be s(-9). Which is smaller: f or q?
q
Let l = 1093.3 + -1094. Which is smaller: l or 0.2?
l
Let j = -14400 - -14345. Is -0.057 <= j?
False
Let q = 273556/31 + -8824. Suppose -x + 12 = -3*s, 4*x - 7 - 5 = 3*s. Which is greater: x or q?
q
Let m = -283 + 586. Let a = -168 + m. Is a equal to 2?
False
Let r(z) = -z**3 - 48*z**2 - 44*z + 134. Let g be r(-47). Let s = -504 + 4466/9. Is s < g?
True
Suppose 3*t - 3211 = -4*x, -915*t = -x - 911*t + 760. Which is bigger: x or 0?
x
Let c = 813/329 + -17/7. Let j be (-20)/(-12) + ((-128)/(-24) - 6). Which is smaller: c or j?
c
Let p(g) = 14 - 2*g - 3*g + 17. Suppose l - 232 = -225. Let v be p(l). Which is greater: v or -6?
v
Let m = 0.53 - 0.06. Let c = 0.096 + -0.206. Let t = 0.21 + c. Which is bigger: m or t?
m
Suppose 5*d = 4*n - 274, -3*n + 328 = 2*n + d. Let x = 120 - n. Let f = 58 - x. Is f > 26/7?
True
Let v be (14/168 + 0/(-2))/(41/(-123)). Let z = 3 - 2. Is v smaller than z?
True
Let u(v) = -v**3 - 6*v**2 - 13*v - 9. Let p be u(-3). Suppose -5*n + 0*n = -p*t + 286, 298 = -5*n - t. Are n and -60 equal?
False
Let z be ((-3)/(-33765))/(7 - 494/70). Is -1 >= z?
False
Let x(b) be the third derivative of 3*b**4/8 - 79*b**3/6 + 5*b**2 - 5. Let i be x(7). Is -21 != i?
True
Let i(w) be the third derivative of w**5/60 + w**4/24 - w**3/2 - 14*w**2. Let z be i(-3). Suppose z*f - 5 = 28. Which is smaller: 9 or f?
9
Suppose 3*r + 13*d - 16*d = 4206, 0 = 2*r - 5*d - 2798. Suppose -r = 5*p - 1604. Which is smaller: p or 122/3?
p
Let u = -6450 + 6656. Which is smaller: 1026/5 or u?
1026/5
Suppose 4*x - 114 + 86 = 4*q, 5*x = -q + 65. Let w be 21/28*x/(-9). Let h = 30646/163 + -188. Is w bigger than h?
False
Let v be 0 - (2/40 + 0). Suppose 2*u - 4*g - 12 = -3*u, 2*g - 16 = -3*u. Let l be 0*(3 + u/6 + -4). Which is greater: l or v?
l
Let p be 38*6/(6 + 6). Suppose 25*d = p*d - 96. Are d and -12 unequal?
True
Suppose 0 = -2*i + 1 + 5. Suppose 0 = -5*z - 2*h + 20, -i*z + h = 2*z - 35. Suppose 0*g - 2*g - 2*s = -z, -4*g = -s + 3. Which is smaller: g or 8/23?
g
Let x = -75 - -35. Let p be -58*(-15)/x*-4. Let s be ((-34)/(-51))/(-1 + p). Is 1 at most s?
False
Let p = -2895 + 2886. Which is greater: -135/14 or p?
p
Let y = -14 - -546. Let n = 536.4 - y. Do 0.1 and n have the same value?
False
Suppose 3*r - 3*r = 2*r. Suppose 4*u + 1 = 5*l - 51, r = l + u - 14. Let m be ((28/l + -2)*0)/(-2). Which is greater: m or 2/9?
2/9
Suppose -1