e (-3786)/(-9) + 26/(-39). Let p be (-29904)/k*10/4. Which is smaller: 0.1 or p?
p
Let o = 132363/13576 - -3/13576. Let n(z) = -2*z - 1. Let d be n(-5). Which is smaller: o or d?
d
Suppose -18*w - 4507 = -4561. Which is greater: w or 0.18?
w
Suppose 0 = -w - 6*w. Suppose -f + 1 = -w*f - r, -26 = 2*f + 5*r. Let v be (-3 + f)*(-10)/4. Is 17 smaller than v?
False
Let k = -66.61 + 66.65. Which is smaller: 5/7 or k?
k
Let m(b) = -2*b**3 - b**2 - 5*b + 643. Let s be m(0). Let y = s - 562. Which is smaller: 80 or y?
80
Suppose 1179 = 29*t - 4186. Suppose 137 = -3*h + t. Is -0.4 greater than or equal to h?
False
Suppose -4*z = -3*z + 38. Let k = -1312 + 1274. Is z smaller than k?
False
Let x be 0 + (-36)/81*(-1)/((-2883)/9). Is x < 1?
True
Suppose -15*r = 129658 - 129538. Let a = -8 - -2. Which is greater: r or a?
a
Let i = -5 - 22. Let c = 13 - i. Let l be (84/c)/(-3)*-1. Is l > 1?
False
Let i = 4 + -3. Let a be ((-297)/(-231))/((-15)/210). Which is smaller: a or i?
a
Suppose 231*f + 14305 = -301*f + 3133. Which is bigger: 153 or f?
153
Let r = 239 + -235. Suppose -2*b + 3*d - 3 = 2*d, r*b - 4*d + 8 = 0. Is b bigger than 0.1?
False
Suppose 2 = 1019*a - 1017*a. Let g be (-12 + (2 - 2))*1. Let j be g/(-153)*a*(-18)/(-4). Which is smaller: -1 or j?
-1
Let v be (-3)/((-135)/18 - -6). Is v at least as big as 4/1573?
True
Suppose -210*i + 11028 = -206*i - 5*v, -3*v = 5*i - 13822. Are 2763 and i non-equal?
True
Suppose 0 = -w - 1, -5*p = -3*w - w + 136. Let s be (-64)/p + 2/(-7). Suppose 0 = 4*b + 2 + s. Which is smaller: 1.1 or b?
b
Let w = 3.85 - 0.07. Let u = w - 0.58. Let c = u - 3.2. Is c < 11?
True
Let k(g) = -125*g**2 - 46*g + 53. Let z be k(2). Is z <= -2155/4?
True
Let g be (-15)/180 + 10258/123240. Is -1 at most as big as g?
True
Suppose 0 = -2*u - 2*m - 42 + 16, -u = -m + 15. Let d be u + 0 - (-45)/15. Let t be (-9)/(45/12 + -3). Which is greater: d or t?
d
Let w be 4*18/(-48)*(-10 - 130/(-39)). Let i(a) = a**2 - 4*a + 5. Let z be i(4). Suppose -z = 2*s + 3*s. Is s bigger than w?
False
Let h = -8 - -26. Let u(m) = h + 22 - 5*m - 13. Let z be u(5). Is 4 > z?
True
Let c = -1723 + 460039/267. Let n = -6493 + 6493. Which is smaller: n or c?
c
Suppose 540*l = 603*l + 63. Which is smaller: 11/147 or l?
l
Let k = -137.927 - 0.073. Let q = 231 + k. Let r = 93.3 - q. Which is smaller: 23 or r?
r
Let b = 5264 + -5265. Is 621 greater than or equal to b?
True
Let z = -4013 + 4017. Let m be (2/5)/((-3)/(-5)). Which is bigger: m or z?
z
Suppose 2*v + 4 = -4*b, 10*b + 2 = 3*v + 8*b. Suppose 3*r + 2*k = 7, 5*r + v*k = 2*k + 1. Let i be 424/53 - r/(1/3). Is 9/2 smaller than i?
True
Let o = 0.06 - 0.16. Suppose -n - 98 = -173. Which is smaller: n or o?
o
Suppose -817 + 277 = -6*s. Let n = 113 - s. Let c = -2204 + 8903/4. Is c smaller than n?
True
Suppose 5*o = 4*k - 1864, 629*k - 634*k + 2*o = -2296. Which is smaller: k or -14?
-14
Suppose c = -1096 + 4268. Let b be (c/56 - -3)/(3/(-6)). Let q = 119 + b. Which is greater: q or 2/13?
2/13
Let r be 4*(0 - (-2)/4). Let j be 588/10 + r/10. Suppose 262*z - 9263 = 105*z. Are z and j unequal?
False
Suppose 4*o = -0*o + 20. Let j be o/46 + (-4)/(-8). Let v = 1/115 - j. Which is bigger: v or -1?
v
Let q = -276.2 - 47.8. Let n = 323 + q. Let p = -2 + 1.92. Which is smaller: p or n?
n
Let d = 7500 + -7269. Which is smaller: 195 or d?
195
Let u be (-24)/(-2) + 59348/(-4958). Which is bigger: -23 or u?
u
Let i = -94 - -97. Suppose -5*n + 8 = -3*r + 2, r + 2 = i*n. Let o = -3 - -3. Which is greater: o or r?
o
Let t = 18971 + -18972. Which is greater: -9/839 or t?
-9/839
Let o = 6 + -4. Let m = -298 - -295. Let n be (2/m)/(-1) + 8/(-30). Which is bigger: n or o?
o
Let q be 2072/(-49) + (-4)/(-14). Let o(h) = 2*h**2 - 81*h + 75. Let l be o(39). Are q and l equal?
True
Let v(c) be the third derivative of -19*c**4/24 - 49*c**3/3 + 52*c**2. Let d be v(-11). Is d at most as big as 111?
True
Let s(v) = v + 10. Let m(y) = -y - 15. Let k be m(-7). Let x be s(k). Suppose 11 = x*b - 53. Which is bigger: b or 34?
34
Let y be 36*(-4)/16*66/(-3). Let d be (-16)/10 + y/(-45) + 4. Let t(b) = b**3 + 4*b**2 + 3*b - 1. Let a be t(d). Which is greater: a or 7/11?
a
Let b = 671314/2489 - 5108/19. Do b and 0 have the same value?
False
Let k(o) = 2*o + 21. Let g be k(-11). Let t be (-6 - -6 - 0) + g/4. Let f be 2/27*3 + (-41)/144. Are f and t non-equal?
True
Let f = 10672 - 10635. Which is smaller: f or 19.8?
19.8
Suppose -3*x - 195 = 3*o, -10 = 2*o + 4*x + 130. Let j be (o/(-24))/(2/(-4) + -1). Which is bigger: 17 or j?
17
Let s = -0.047 - 1.953. Let k = -1052 + 977. Do s and k have different values?
True
Let u = -338 - -341. Let m(q) = q**3 + 6*q**2 + 3*q - 6. Let r be m(-5). Let t = r + -3. Is t greater than u?
False
Let v = 28.64 + -13.3. Let j = 36.12 - v. Let k = j - 21. Which is smaller: 1 or k?
k
Let c = 0.0345 - -2.3855. Let p = c + -1.42. Which is bigger: -2/223 or p?
p
Let k = 1345.2613 - 1345.2. Which is smaller: k or -0.6?
-0.6
Let g be (3 - 2) + 2 + ((-660)/52)/3. Which is smaller: g or 0.06?
g
Suppose 0 = s - 15*v + 14*v - 28, -4*s = 4*v - 112. Let o be (((-92)/(-1))/4)/(-1). Let u = 5 - o. Do u and s have different values?
False
Let v = 8 + -28. Let r be 490/5 - v/(-4). Is 94 less than or equal to r?
False
Let n be 109 + (-5 - 0 - (-105)/21). Suppose 5 = -5*r, 3*r - n = z + 4*r. Is z smaller than -109?
False
Suppose 87*s = 4*u + 90*s + 343, 734 = -10*u + 2*s. Let a be (470/6)/(-1) + 1. Are a and u equal?
False
Let c = 115/8 - 145/8. Let j = 8.267 - 8.3. Let r = 0.167 - j. Which is smaller: c or r?
c
Let h = 2.34 + -0.22. Let f = h - 1.9. Let y = -0.38 - f. Is y at least -0.2?
False
Let p be (-57)/(-126) + 30/(-180). Are 0.9664 and p non-equal?
True
Suppose 1326 = 20*c + 1306. Suppose 1 = s, 4*k - 342 = s - 3*s. Let t = -1021/12 + k. Do t and c have the same value?
False
Let i = -15 + 15. Let h be (-5)/282*(-272)/(-340). Is h bigger than i?
False
Let f(v) = v**3 - 7*v**2 + 5. Let i be f(7). Suppose -i*d = -4 + 4. Suppose d*r - 2*r = -y + 4, 4*r + 8 = -5*y. Which is greater: r or 3/4?
3/4
Let c = -1.7305 + -0.3695. Do 4/29 and c have the same value?
False
Let a(b) = -b**2 - 7*b - 1. Let j be a(-3). Suppose 4*f = 22 + 2. Let n be 2/(-9)*(-7 - 219/f). Is j at least n?
True
Let a(s) = -89*s**2 + s + 1. Let k be a(-2). Let x = -363 - k. Which is bigger: x or 1?
1
Suppose -4*a = -4*s + 2584, 0 = a - 3*s - 0*s + 654. Let b = a - -645. Is b <= 4?
True
Suppose -106 + 106 = -7*l. Is 1292 > l?
True
Let b = 143.4 - 321.5. Let c = b - -99.2. Let q = -79 - c. Which is smaller: 0.4 or q?
q
Suppose -4*m - 4 = -4*q, 22*q = 3*m + 17*q + 11. Let j be m/4 - (-44)/(-16). Are -32/13 and j nonequal?
True
Suppose 0 = -w - 2*t + 6, -4*w + 6*w - 4*t = 4. Suppose -u - w = -4*r, -3*r = -u - 30 + 27. Which is smaller: 5/66 or u?
u
Let b = -796 + 792. Let n be 441/(-3731) + b/52. Which is bigger: n or 0.2?
0.2
Let t = -2970 + 3375. Let o be (-8117)/20*1 - -1. Let k = o + t. Which is greater: k or 0?
k
Let i be (3*3/(-18))/(2/(-8)). Suppose -4 = i*q - 5*l, 2*q = -7*l + 2*l - 4. Let m be q - 40/(-25) - (-126)/340. Is m > -1?
True
Let p(s) = 62*s + 6624. Let y be p(-113). Which is smaller: -381 or y?
y
Let a(u) = -u**2 - 23*u + 42. Let f be a(3). Let t be -4 + 8 - (-2 + 3). Let p = -38 + t. Which is greater: p or f?
p
Let l be 12/2 + 28/14 - 9. Is 5/798 not equal to l?
True
Let x = -878679/1247825 + -1/17575. Is x at most -2?
False
Let c = 75 - 70. Suppose 7*t + 12 = 11*t - 4*l, -l + c = 0. Let j be 1/((-2 + 0)*4/t). Is j > 2/13?
False
Let y = -35 + 48. Let f = y + -10. Let x be ((-3)/(-18) + f/(-18))/1. Are 3/11 and x equal?
False
Let g be 24/(-108) + 1/(-228)*2644/(-6). Which is bigger: 2 or g?
2
Let w(t) = 24*t**2 + 31*t - 92. Let x be w(8). Which is smaller: 1694 or x?
x
Let j be 8 - (1 + 11)*((-1207)/(-51) - 23). Let u be ((-20)/(-66))/((-1)/(-3)). Is u greater than j?
True
Let m(w) = w**2 + 4*w - 2. Let v be m(-4). Let x be (-30)/52 + 1/v. Let q be -1*((112/(-10))/(-8) - (-42)/(-105)). Which is smaller: q or x?
x
Let w = -27395 + 25312. Is -2087 != w?
True
Let l = -285/2 + 134. Let y = l + -19/10. Which is greater: y or -9?
-9
Let p(u) be the first derivative of u**2/2 + 42*u + 22. Let k be p(9). Is k > 50?
True
Let b(k) = 2*k**3 - 14*k**2 + 23*k - 249. Let