b + 12. Suppose 0 = z + 28 - b. Which is bigger: z or -13?
-13
Let o = -0.11 + 15.11. Let s = o + 15. Let n = s - 30. Which is greater: n or 6/13?
6/13
Let h(k) be the third derivative of -k**6/120 - k**5/5 - 13*k**4/24 - 7*k**3/2 - 146*k**2. Let o be h(-11). Which is smaller: o or 7?
o
Suppose 0 = 7*t - 11 - 10. Suppose 4*q + 4*m = 0, -5*m - 50 = -2*q - t*q. Let s be 204/585 + (-2)/q. Which is smaller: 1 or s?
s
Let c(k) = -k + 9. Let t(n) = -6*n - 4. Let w be t(-2). Let f be c(w). Suppose 0 = -6*o + f - 25. Which is greater: o or -9?
o
Let a = 66 + -62. Suppose -11*m = -10*m - 2*n + 10, n = a. Let g = -35 + 17. Which is smaller: m or g?
g
Suppose 5*x + 166 = q, 3*q - 372 = -369. Suppose -k = -5*k - 132. Is k <= x?
True
Suppose -43*t + 49*t - 1932 = 0. Suppose -29*b + t = -22*b. Which is bigger: 47 or b?
47
Suppose 6 = -c + 3*z, -5*c + 2*z - z + 26 = 0. Suppose x = c*x - 90. Let b be -7 + (-1688)/(-72) - (-8)/(-18). Which is bigger: b or x?
x
Let q be ((-411642)/(-55))/11*15/6. Is 1701 less than q?
False
Let z = -95829 - -2683501/28. Is z smaller than 10?
False
Let v = -5693 + 85394/15. Which is smaller: 1.84 or v?
v
Let k = 91 - 135. Let y = k + 43. Let h be (-45)/(-35) - 2/7. Which is greater: h or y?
h
Let y be (-96)/15 - ((-36)/15 + 2). Let u be (-3240)/88 + y/(-99)*-3. Let n = 1075/29 + u. Which is smaller: -1 or n?
-1
Let x(b) = b**3 + 10*b**2 - 2*b + 40. Let o be x(5). Which is smaller: o or 403?
403
Let j be (2 + 30/(-9))*-3. Suppose j*u = 0, 2 = 2*c - 4*u - 0. Suppose 0 = -4*q + 8, 0*n + c = 5*n + 3*q. Which is smaller: 3/19 or n?
n
Let s(w) = 2*w**2 - 64*w + 173. Let o be s(19). Is o <= -322?
False
Let o = -13630.2 - -13630. Suppose -3*x = -2*x - 3. Let v be (-4)/14*(4 - x). Which is greater: v or o?
o
Let k(o) = o**3 + 29*o**2 + 221*o + 57. Let f be k(-32). Which is smaller: -10088 or f?
-10088
Suppose -12*u - 1800 = 3*u. Let k = u + -1. Is k at most -361/3?
True
Let w(h) = -4*h**3 - 3*h**2 - 1. Let o be w(3). Let f = o - -95. Let x be (((-255)/15)/(-34))/((-2)/164). Is x < f?
False
Let d = 1464/25 - 20987879/358400. Which is smaller: d or 0?
0
Let h(v) = v**3 + v + 1. Let y be h(-1). Let s = 2/20601 + 617936/968247. Let b = 283/517 - s. Is b not equal to y?
True
Let s = -3789 - -3789.0303. Which is smaller: 0.4 or s?
s
Let s = -283 - -357. Let m = -71.2 - 1.8. Let c = m + s. Which is greater: c or -0.38?
c
Let c be (22/429)/(2763/(-2754) - -1). Let g = -45 - -30. Are c and g equal?
False
Suppose 5*o + 0 = 5*n + 25, -5*o = -n - 37. Let s be 10/o*(-10)/25*0. Let j be (-7)/252 + 2/8 - s. Is 1 smaller than j?
False
Let l = 0.0496 - -63.0504. Let v = l - 63. Let r = -0.13 - -2.63. Which is smaller: v or r?
v
Let g = -78 + 78.1. Let v = 1.5 - g. Let k = 0.83 - v. Which is smaller: k or -0.1?
k
Let z be (-21)/(-98)*8*28. Suppose -2*l = 2*g - 102, -6*l + 8*l + 5*g = 111. Is z <= l?
True
Let y = -14061 + 14039. Is y greater than -1.01?
False
Suppose 36859 = 3*n + 5*k, 0 = 542*n - 540*n + 2*k - 24578. Is 12293 < n?
False
Let v = 7.3 + -7. Suppose -283*f + 279*f + 2*z = -268, -f + 5*z = -76. Let w = 100 - f. Is v at most w?
True
Suppose -3*l = 4*h - 17, 16*h - 3*l + 26 = 11*h. Let q = 123 + -186. Which is bigger: h or q?
h
Suppose 5*m + 780 = 7*m - 6*m. Which is smaller: m or -189?
m
Let b = 0.05911 + 377.94089. Which is bigger: -2/5 or b?
b
Let r = 1 - 1.1. Suppose 0 = 3*k - 1161 + 249. Let w = -297 + k. Are r and w equal?
False
Let q be (1 - -5)*(-399)/(-42). Suppose 5*i - 47 = 3*u, -13*u + 8*u + 3*i = q. Do -4 and u have different values?
True
Suppose 0 = -3*g + 11 + 19. Suppose 0 = -g*l + 15*l. Let u = 4/727 + -1267/98145. Is u smaller than l?
True
Suppose 5*k + 78 = -72. Suppose 189*u - 172 = 194*u + 3*t, 3*t + 76 = -2*u. Is k greater than u?
True
Suppose 53*x + 0*x - 41 - 12 = 0. Let d = 3158/7 - 129576/287. Do x and d have the same value?
False
Let d(s) = -s**3 - 2*s**2 - s. Let p be d(0). Let n = 25 + -23. Suppose p = -4*v - n*v. Is v bigger than 1/3?
False
Let j = 20 + -21. Let i = -0.9 + j. Let t = -6.9 - i. Which is greater: -0.1 or t?
-0.1
Let i = 71/19 + -906/95. Let t = -10 - -9.9. Which is greater: i or t?
t
Let m = 22.5883 - 22.6. Let w = 0.0083 - m. Which is smaller: -1.7 or w?
-1.7
Let y = 10198156/12955 + 4/2591. Let s = -2708 - -1918. Let f = s + y. Is f > -4?
True
Suppose 440 + 640 = -12*c. Let y be 25/(-2)*36/c. Suppose 0 = -k + 1 + 6. Is y greater than k?
False
Let m = 194 + -177. Let l be 1*14 - (-1 - 3). Is m < l?
True
Let d = 5 - -4. Let v(f) = 2*f**2 - 17*f - 10. Let y be v(d). Suppose 0 = -t + 3 - 12. Which is smaller: y or t?
t
Suppose 0 = -2*j - 10, 27*c - 250 = 32*c + 3*j. Which is greater: -48 or c?
c
Let m = -3562.63 - -3575. Which is smaller: -2 or m?
-2
Suppose 26*a - 24*a - 21*m = 1326, 5*m - 1326 = -2*a. Let x = 403 - -260. Do x and a have different values?
False
Suppose -3825559 = 246*b + 381779. Is -17101 greater than b?
True
Let f be (100/(-16))/(-25)*-4. Which is greater: f or -24/137?
-24/137
Suppose -54*q - 82*q - 604 - 4836 = 0. Let i be -3*13 - (1 + 1). Is i <= q?
True
Let m be 0/(6/(-6)) + -6. Let y be (-9845)/(-61050) - ((-7)/m + -1). Which is greater: y or -1?
y
Let r be (-12176)/(-761)*2*3/(-2). Do r and -51 have the same value?
False
Let b be ((-30)/1400)/((-1)/4). Suppose -10*t = -9*t. Is b not equal to t?
True
Suppose -7*q - 2*i = -6*q, 0 = 2*q - 3*i - 7. Let l be 17/(-37) - (11/q)/(-11). Is l at least as big as 0?
True
Let o = 5326.9 + -5327. Which is smaller: -2504 or o?
-2504
Suppose 0 = -3*s + 7*s. Suppose s = -2*k - 2*j - 18, -3*j - 13 = 3*k - 2*k. Let l = -1226.06 + 1226. Do k and l have different values?
True
Suppose 267 = 14*r + 85. Suppose -r*z - 3*k = -9*z + 384, -8 = 2*k. Are z and -93 non-equal?
False
Let i = 704 + -704. Let z be 32/692*-1*(2 - 1). Is z less than i?
True
Let o = -8941 - -8941. Suppose -14 = -0*d - d. Let k be 1 + (d/(-26) - 0). Is k >= o?
True
Let v = -3 - -10. Suppose -10*b = -46 + 6. Suppose 3*t - 3 = 0, z - 2 = 2*t - b. Which is bigger: z or v?
v
Let d(w) = w**2 + 8*w - 4. Let j be d(-8). Let g be 0 - 2/j*0. Let n = 88/4247 - -6/137. Which is smaller: g or n?
g
Let t(i) = -i**2 - 17*i + 31. Let w(p) = 2*p**2 + 35*p - 63. Let x(k) = -5*t(k) - 3*w(k). Let m = -8403 - -8384. Let s be x(m). Which is smaller: 54 or s?
s
Let g = -203 - -121. Let c = g - -27. Let x = -51 - c. Is 2 smaller than x?
True
Let z be (-4)/11 + (-38475)/(-8250). Which is bigger: 4 or z?
z
Let z be ((95/6)/19)/((-4)/32) - -7. Are -8/423 and z unequal?
True
Suppose -6*q = -9*q - 6, 7*s = 2*q + 1495. Are 224 and s equal?
False
Let y(c) = 102*c + 110. Let s be y(-5). Let i = s + 789/2. Which is smaller: i or -6?
-6
Let u be -1 + (8/(-28) - 5603/(-7189)). Which is bigger: u or 0?
0
Let z = -7 - -9. Suppose -z*f = -52 - 198. Let j be (-35)/f - (-4)/10. Which is smaller: j or 1?
j
Suppose 4*r + r = y - 18259, 0 = 2*y + 3*r - 36583. Let k be (-1)/((y/8)/7). Are -1 and k nonequal?
True
Suppose -75*l = -88*l + 13. Is l at most as big as -3/3157?
False
Let n be (-1)/((-10)/(-6) - 2). Let y = 4.688 + -0.278. Let k = -4.5 + y. Is n bigger than k?
True
Let i be -4*((-2)/(-4))/(2/(-4)). Suppose -o - o + i = 0. Let j be ((-9)/o)/(24/32). Which is smaller: j or -3?
j
Let v = 94 - 74. Let k be 1120/196*(-21)/(-6). Is k not equal to v?
False
Let z = -70.7 + -63.4. Let v = -134 - z. Which is smaller: 69 or v?
v
Suppose -29*y + 30*y + x = -7, 3*y + 2*x + 20 = 0. Let w = y - -21/4. Is w >= -2/3?
False
Let q(h) = 4*h**2 - 3*h - 6. Let f be q(3). Suppose -f*s - 15 = -20*s. Let x be 0 - (s/(-5) + -7). Is x != 6?
True
Let k = -2514/5 + 2672362/5315. Is 1 at most as big as k?
False
Suppose -2*d - 3*d - 1105 = 0. Let g = d - -1093/5. Let w(b) = 95*b - 98. Let c be w(1). Is c smaller than g?
True
Let a(w) = 3*w - 20. Let x be a(7). Let r(y) = y**2 + y - 2. Let v be r(x). Suppose v*g + 11*g = -726. Which is bigger: g or -67?
g
Suppose 3*f - f = 22. Suppose -10 - f = -7*n. Suppose n*h = b + 21, h = 5*h - 16. Is -28/3 greater than or equal to b?
False
Let f = 163 + -241. Let x be 84/((-2)/(-13) - 66/f). Are x and 87 nonequal?
True
Let k be (-1)/2 - 55/(-22). Suppose a + 3*a + 16 = -k*l, -2*l = 4. Let i = -1.4 + 7.4. Which is smaller: a or i?
a
Let q(c) = c**3 - 8*c**2 + 13*c - 19. Let g be q(3). Which is greater: g o