 2*w - 26 + s. Which is bigger: -65 or w?
w
Let b = -5.512 + 5.912. Which is smaller: -20.4 or b?
-20.4
Let p be (-148)/(-222)*12/(-8). Is 6/4703 less than p?
False
Let d = -0.008 - 0.0512. Which is bigger: d or -2?
d
Let d be -2 + 35/5 + -3. Let q(a) = -a**3 + 4*a**2 + a - 4. Let l be q(d). Suppose l*i - 304 = 2*i. Is 77 smaller than i?
False
Let p(l) = l**3 + 12*l**2 - l - 11. Let z = -56 + 44. Let n be p(z). Suppose -2*o + n - 5 = 0. Which is greater: -3 or o?
o
Suppose -136*v + 46*v + 28068 = 2868. Which is bigger: v or 278?
v
Let i be 1 + -4 - (-11 - (-1968)/(-18)). Let z = i - 153. Which is greater: z or -36?
z
Let m be ((30/(-9))/(-2))/((-55)/(-4686)). Which is smaller: 138 or m?
138
Let p = 0.358 + -1.258. Is -6/17 smaller than p?
False
Let d be -37*(-203)/(-49) - (-4)/14. Which is greater: -163 or d?
d
Let a = -5213 - -8507. Which is smaller: 3295 or a?
a
Suppose -4*y + 6 = 4*c - c, 3*y + 33 = 4*c. Suppose -c*o + 3132 = 3*o. Which is bigger: -0.1 or o?
o
Let a = 4/31 + -742/465. Let d = a + 463/285. Let s(q) = 6*q**2 + 12*q - 379. Let t be s(7). Which is bigger: t or d?
d
Let h(b) = 3*b**2 - 7*b - 19. Let a be h(-2). Let u be (a/4)/(-7) - 1516/80. Which is smaller: -19 or u?
u
Let h = 254 - 236. Suppose -h*b - 10 = -23*b. Which is smaller: b or -0.246?
-0.246
Let u(d) = d**3 + 8*d**2 - 16*d - 102. Suppose 8*a - 168 = 29*a. Let b be u(a). Is b < 26?
False
Let n be (-51129)/24 + 8*39/832. Which is smaller: 1 or n?
n
Let b = 14496 + -40385855/2786. Is b less than -1?
False
Let s(b) = 8*b**2 + 321*b - 350. Let a be s(-41). Is -97 greater than or equal to a?
False
Let a = -11135/345771 - -5/927. Is a at most as big as 1?
True
Let u be (29/(-87))/(((-50)/195)/(-2)). Which is smaller: 3 or u?
u
Let w be (297/(-13695))/((-532)/3270). Let u = w - 1/581. Which is smaller: -0.1 or u?
-0.1
Suppose -4*b = -23*x + 410, 53*b - 58*b - 2*x + 41 = 0. Let p be (-1)/(1/1*257). Which is greater: p or b?
b
Let z be 20/((-20)/12 - (-2)/(-6)). Let c(i) = -2*i**3 - 16*i**2 - 2*i - 3. Let n be c(z). Are n and 417 unequal?
False
Suppose 18 = 2*s + 4*p, s + 5*p - 20 = -4*s. Let x(u) = u + 29. Let v be x(-23). Let y be 5/(-20) + v/(-8). Are y and s non-equal?
False
Let d = -178 + 391. Suppose -d*w = -204*w + 9. Which is bigger: w or 3/254?
3/254
Suppose -3250 = 5*j + 530. Let o be (-1)/(-5) - (j/(-30) - 6). Let d be -17 + 0 + 0/3. Is d <= o?
False
Let r be 22/4*-150 - 1. Which is smaller: r or -1653/2?
-1653/2
Let h be 55/(-20)*-5*(-6)/(-15). Let i be 6 - 8 - (2 + -13 + 2). Is h smaller than i?
True
Let m(z) = z**2 + 22*z + 81. Let d be m(-5). Let n be 42/d*-7*(-16)/84. Which is smaller: -10 or n?
n
Suppose -54813 = 12*z + 31400 - 14405. Is -5983 > z?
True
Let j(c) = -361*c + 813. Let l be j(1). Is 441 greater than or equal to l?
False
Suppose -129*q + 12*q + 117 = 0. Are -1/192 and q unequal?
True
Let y = 972 + -848. Which is smaller: -2 or y?
-2
Suppose -6*h = -385 - 659. Let f = -410 + h. Which is bigger: f or -235?
-235
Suppose -3*d + d + 4 = 0. Suppose -3*x - 35 = -8*x + d*o, x - 5*o - 30 = 0. Let f be x/(-20)*(-6 + -2). Which is smaller: 3/2 or f?
3/2
Let d be (4/(-5))/(1/(-60)). Suppose -24 - d = -4*i. Suppose 2*s + 0 = -i. Is -8 smaller than s?
False
Let w be (-1348)/(-9) + 230/1035. Which is greater: 1642/11 or w?
w
Let j = -15494 - -14439. Is j less than -1048?
True
Suppose -v - 3*v = -b - 50, -20 = -2*v + 3*b. Suppose 3*c = 2*j + j + 27, -5*c + v = 3*j. Let o be (-12)/(1 - c) + -4. Which is smaller: o or 0?
o
Let n = -60 + 48. Let i be ((-210)/52)/(n/(-112)). Let p = -38 - i. Is -0.1 greater than p?
True
Let c(v) = 20*v**2 + 261*v + 63. Let f be c(-13). Let o(u) = 12*u + 8. Let z be o(-6). Let d = z + 114. Do f and d have the same value?
True
Let w = -3 - 0.7. Let l = w + 6.8. Let h = l + -3.3. Is -0.2 smaller than h?
False
Let c = -15.61 + 15.53. Which is greater: 55 or c?
55
Suppose 142 = -5*j + 3*j - t, 2*j + 4*t + 148 = 0. Let y be (j/84)/(7/(-9)). Which is smaller: y or 2/3?
2/3
Suppose 638 = -2*o - 2*y, -o - 420 = 3*y - 97. Let p = 316 + o. Which is smaller: -109 or p?
-109
Let w = -1007491/10 - -100749. Let i = 4 + -6. Which is bigger: w or i?
w
Suppose 5*m - 15 = 0, -2*m + 1813 = 2*a - 2999. Is a equal to 2402?
False
Let w = 151.087847 + 0.114153. Let t = w - 0.202. Is -1 <= t?
True
Suppose -p + 14 + 21 = 0. Let t be 4/((p/15 - 3)*-1797). Which is smaller: 0 or t?
0
Suppose p = 6 + 5. Let q(w) be the third derivative of w**5/60 - 3*w**4/8 + 4*w**3/3 + 39*w**2. Let l be q(p). Is 31 less than l?
False
Let d be 8/(-6) - (-2)/6. Let a be 1/(-11) - ((-2065968)/(-71478) - 29). Which is smaller: a or d?
d
Suppose 17*x + 17*x + 306 = 0. Let m be (4 + 39/x)/(3/18). Which is bigger: m or -15/7?
m
Let g be (2/(-12))/((-16080)/96). Is 1 equal to g?
False
Let c = -3495 + 6054. Which is smaller: c or 2560?
c
Let r(f) = 6*f + 2536. Let b be r(-89). Which is smaller: 2001 or b?
2001
Let g be (-10)/(-3)*(-6 - -22 - 4). Suppose g = 5*p - 5*y, 4*p = -5*y - 4 - 0. Let b(l) = 2*l**2 - 12*l + 16. Let h be b(p). Which is greater: h or -3/7?
h
Let s = 273 - 4093/15. Let p = -139/30 + s. Which is bigger: p or -6?
p
Let c = -8604 + 8607. Is 64/33 > c?
False
Suppose -2*s + 4*l + 9372 = 0, 210*s - 28207 = 204*s - l. Is 4698 less than s?
True
Let w be (-10400)/(-306) - 9/(-1134)*-28. Which is smaller: 35 or w?
w
Let s be -5 - (-14 + -8 + 12). Suppose 0 = -4*t - 2*z + 94, s*t - z = -3*z + 117. Which is greater: 25 or t?
25
Suppose -2*m + 5 = -5. Suppose 0 = 3*r + s - 1, -4*r - 2 + m = 3*s. Let c = 23.625 - 23.725. Is c smaller than r?
True
Let v = 1714 - -1167. Are v and 2880 equal?
False
Suppose 18*d - 20*d = -2*k - 4, 2*d + 3*k = 19. Which is bigger: 22.6 or d?
22.6
Let p = -3/286349 + -3149584/24339665. Let m be (-10)/45 + 7/(-9). Is m smaller than p?
True
Suppose 89 = -3*j - 4*p, -j = -p + 5*p + 27. Let g = j + 16. Suppose 6 = 3*z, -v - 2*v - z - 43 = 0. Is g != v?
False
Suppose p + 6 = -0*p + 4*y, -3*p - 4*y = 2. Which is smaller: p or -264/115?
-264/115
Suppose 0 = -h + 2*t - 65, 3*t - 6*t + 6 = 0. Let u be (-1 + 31)*5/(30/27). Let n = u + -197. Is n at least h?
False
Let z(r) = r**3 + 7*r**2 - 1. Let b be z(-7). Suppose -4 = 5*u - 39. Let j be (-128)/56 - (-2)/u. Is j greater than or equal to b?
False
Suppose -5*l = -4*v + 113, 3*v + l = 2*l + 82. Suppose 0 = 13*x + 871 + 689. Let c = -94 - x. Is c > v?
False
Let p(w) = 309*w - 1545. Let q be p(5). Do -1/9901 and q have different values?
True
Let n = 20 - 14. Suppose -3*z + 6*z = n. Suppose 2*t - z = 2. Is t < 20/13?
False
Let h = -25414/3 + 8472. Is -0.229 greater than or equal to h?
False
Suppose 0 = 2*k - 3*c + 574, 36*c = 39*c + 6. Let y = 15 + -21. Let f be ((-2)/y)/(-1) - k/690. Is 1 at least as big as f?
True
Let t be 1760/7 - (-108)/189. Let l = -251 + t. Which is smaller: -8/145 or l?
-8/145
Suppose 4*h - 6*x - 2659 = -9*x, -1297 = -2*h + 5*x. Suppose -3*u + 664 = h. Let a be (-50)/8*(-9)/30. Which is smaller: u or a?
u
Let a = 11.43 + -11.53. Let v(x) = 11*x**2 - 4*x + 1. Let z be v(3). Is z at most as big as a?
False
Let g(t) = -t**3 + 8*t**2 + 63*t - 504. Let c be g(8). Is c at least as big as -23/653?
True
Let o be (-4)/(-5)*25/10. Let t be (1/348*4)/(o/(-12)). Which is bigger: 23 or t?
23
Let y be 7 + -3 + -1 - -2. Suppose 2*p + y*p + 161 = 0. Let r = 101.1 - 101. Which is smaller: r or p?
p
Suppose 3*t - 4*x - 8144 = 0, -t + 12*x + 2712 = 10*x. Let k = 291042/107 - t. Is k at most 1?
True
Let i(d) = d**2 + 106*d - 2836. Let r be i(22). Suppose 2*w + 6 = -2*j, -1 = 2*j + 5*w + 11. Do j and r have the same value?
False
Let p = -696 + 731. Let t = -145 + 95. Let l = p + t. Are l and -16 equal?
False
Suppose 3*r + 5*r = 304. Let c(q) = 18*q + 4. Let w be c(2). Does w = r?
False
Suppose 13 + 7 = -10*t. Let j be (t/(-5))/(3 + 5470/(-1825)). Suppose 3*r - 67 - j = 0. Is r <= 70?
False
Let k = -244 - -146. Let i be 84/k*14/(-6). Let w = -129 + 519/4. Which is smaller: i or w?
w
Let d = 0.39 + -0.338. Let a = d + 47.948. Let q = a + -47.9. Is q at least as big as -20?
True
Suppose -8 = i + i, -k = i - 66. Let x be 2/(-8) - k/(-56). Is 9/16 less than x?
True
Let f = -4715 + 9109. Let c be -5 - f*(-3)/2634. Is 0 < c?
True
Let f = -325187/35 - -9291. Which is smaller: f or -71?
-71
Suppose 2*v = 3*b + 5, 0*v 