k. Let s be -46*(-17)/(-136) - u*1. Which is smaller: -12 or s?
-12
Let r = 3521 - 3521.2. Is -588 < r?
True
Let r = -19.85 - -29.32. Let y = r + -0.47. Let i = -7 + y. Which is bigger: i or -7/8?
i
Let r be (2/(2/9))/((-8)/(-192)). Suppose 0 = -15*g + 23*g - r. Suppose -2*f - o - g = 2*f, f + 3 = -4*o. Which is bigger: f or -8?
f
Let z(s) = -10*s**2 + 108*s - 12. Let r be z(11). Let i(f) be the first derivative of -4*f**2 - 3*f - 5. Let t be i(4). Is r less than t?
False
Suppose 38*q = -4*f + 40*q, 3*q = -2*f + 16. Do f and -1021 have the same value?
False
Suppose -4 = 73*p - 77*p. Which is bigger: p or 1/1140?
p
Let y be (-666)/(-7659) - 41655/23. Which is smaller: -5434/3 or y?
-5434/3
Let v be (-3)/(-24)*-2*4. Which is bigger: v or -32/25?
v
Suppose 71*u - 32867 - 111153 = -24*u. Is u >= 1521?
False
Let p = -15 - -14.96. Let g = -0.66 - p. Let u = g + -4.38. Which is bigger: u or 6?
6
Let u(b) = -2*b**2 - 20*b + 93. Let p be u(-20). Which is smaller: -306 or p?
p
Let p be (-7)/(-63) - (-316)/(-576). Suppose 0 = 5*z - 2*z - 12. Suppose 4*l + l = -20, 12 = -4*s - z*l. Which is bigger: s or p?
s
Let g = 104/317 - -328105/1902. Let r = 862/5 - g. Let l = 67/270 + r. Is l not equal to 1?
True
Let k = 51 - 47. Suppose 0 = -k*c - h + 19, -10*c + 14*c + 1 = -5*h. Which is smaller: 112/15 or c?
c
Let c(k) = k**2 - 4*k - 4. Let v be c(6). Suppose v*l - 6*l = 0. Suppose l = 2*n + n - 3. Is n greater than or equal to 6/17?
True
Let d be (8 - 979/110) + (-1 - (-12)/8). Is -1556.2 > d?
False
Let o = -9 - -9.1. Let n = 0.369 - 111.369. Which is bigger: n or o?
o
Suppose -22 = -4*j - 10. Let q = 134 - 73. Suppose -4*b = -4*o - 23 - q, -b - 43 = j*o. Which is smaller: -1 or o?
o
Suppose -3*c = -38 + 11. Suppose 4*u + 2*y = 26, 3*u + 2*y - 3*y - 17 = 0. Suppose -5*m + u*m - 8 = 0. Which is smaller: c or m?
m
Let y = 16223 - 178342/11. Suppose -3*f + 11 + 22 = 0. Which is greater: y or f?
f
Let q = -11596 + 11567. Do q and -216/5 have the same value?
False
Suppose 5*m + c - 3*c + 21 = 0, -4*m = c + 9. Let j = 2/51 - 55/102. Let s = 3/8 + j. Which is smaller: s or m?
m
Let o = -35.9 + 32.7. Let h = o + 2. Which is smaller: -0.2 or h?
h
Let v be -20982*(-7)/14685 - (-10)/(-1). Which is bigger: 1 or v?
1
Let j be 15*1/(5 - 2). Suppose -w + 20 = -j*w. Which is greater: w or 2?
2
Let m be (0 - -3) + 3 + -12. Let x be -57*(m + 4)/(-6). Let b be 6/(1 + (-68)/52). Which is greater: x or b?
x
Let o be (-488)/6*2415/(-460). Which is greater: o or 424?
o
Let c be (0 - 5/2)*124. Suppose -1172*j - 7495 = -1145*j + 951 - 49. Are j and c unequal?
True
Suppose -5*g + 88 = 4*t, t - 2*g + 14 - 49 = 0. Suppose -2*y = -z - 4*z - 11, -t = -3*y + 4*z. Suppose 1854*a - 1893*a + 507 = 0. Is y greater than a?
False
Let q = -360 + 694. Let d = q - 334.1. Is d greater than 161?
False
Let z be (-4)/65*(-5)/2. Let p = 8254.5 + -8247.5. Which is smaller: z or p?
z
Let h = 8.1 + -8.364. Let q = h - 0.086. Let d = q - -0.25. Which is smaller: d or -3/34?
d
Let p = 233.455 + 36.175. Is p greater than -1?
True
Let x = -0.013 + -34.987. Let r = 35 + x. Let g = -31.6 + 29. Which is smaller: g or r?
g
Let l = 379 - 383. Let q be -9*192/4280 - l/10. Which is greater: -1 or q?
q
Let a = 433 + -161. Let m = a - 280. Let j = -0.05 + 2.05. Which is bigger: j or m?
j
Let q be (-3 - (-4)/((-16)/(-10))) + (-23)/(-58). Is q < -6?
False
Suppose 0 = -2*h, -5*n + 6*h - 4*h = 200. Let o = n - -518/13. Suppose -7*g + 3*g - 3*i + 15 = 0, 5*i - 25 = -2*g. Do g and o have the same value?
False
Let n = 0 - 0. Let p be (757 + 1)*(0 - 5/(-10)). Suppose -13*y + p = 119. Are n and y non-equal?
True
Let p be -1 - (2 - 1)*-2. Let v be (-120)/(-14) + (9/21)/p. Suppose -f = -0*f - 10. Which is bigger: v or f?
f
Let o = 68 - 196. Let m = -249 - o. Are 0 and m equal?
False
Let r be (-44121)/177540 - 2/(-8). Which is bigger: r or 1?
1
Let a be 26/10 - 8/(-20). Let x be (-4)/2 + (4 - (-15)/a). Suppose x*u = 2*u. Is u at least -4/7?
True
Let z = -8267 + 7589. Is -4745/7 smaller than z?
False
Let p be (-2)/(28/21)*120/(-3303). Is p greater than or equal to 0?
True
Let w = -288.094 + 287.994. Let g(y) = 5*y**2 + 7*y + 9. Let k be g(-6). Which is smaller: k or w?
w
Let a = 703 - 714. Let w(b) be the second derivative of -b**3/6 - 2*b**2 + 11*b. Let o be w(6). Is o bigger than a?
True
Let k(m) = -m**3 + 10*m**2 - 8*m + 15. Let z be k(9). Suppose -8*w - z = 80. Which is smaller: -25/2 or w?
w
Let s = 5.06 + -5.57. Let h = s + 0.858. Is -2 smaller than h?
True
Suppose -37*b = -7*b + 240. Let l be (-12)/(-498) + b - -8. Is l at most 0?
False
Suppose -3*w - w - 33 = -3*c, -5*c - 3*w = -55. Let s(h) = -17 - c - 7*h - 10. Let t be s(-6). Is 8/3 bigger than t?
False
Let w be (2/(-1))/((-21)/(378/(-12))). Let l be ((-1791)/(-6) - w)/((-4)/(-8)). Do 603 and l have the same value?
True
Let x be ((-8)/(-10 - -14))/7. Is 3024/11 smaller than x?
False
Let u = -375.6 - -409. Let t = u - 33.65. Is t <= -3?
False
Let s(d) = -d + 2. Let b be s(0). Suppose -4*t - 4*w - 78 = -b*t, -3*w - 176 = 4*t. Is t at least as big as -46?
False
Let x be ((-6981)/286482 - 11/209) + (-2)/(-28). Is 1 at least as big as x?
True
Let p = -167 - -675/4. Let x = 144 - 138. Let c be 5/(30/27)*4/x. Which is bigger: p or c?
c
Suppose -4*r - 30 = -16*k + 11*k, 4*r = -4*k + 24. Which is smaller: -20/1289 or r?
-20/1289
Let h = 18967 - 18967. Are -3/154 and h non-equal?
True
Let d = 115 + -28. Let p = -8601 - -8600. Which is greater: d or p?
d
Suppose 0 = -6*t + 5*t + 2. Let b(i) = -2*i**2 + 9*i + 10. Let s = 29 + -24. Let c be b(s). Which is smaller: t or c?
t
Let l = 5.185 - 3.185. Which is bigger: l or -1190?
l
Let a = -4006 - -4046. Which is bigger: 44 or a?
44
Let w(z) = 10*z**2 - 16*z + 22. Let m(q) = -2*q**2 + 2*q - 1. Let p(x) = -6*m(x) - w(x). Let g be p(-4). Is 20 bigger than g?
True
Let f = 25 + 85. Let v = -175 + f. Which is greater: v or -3/2?
-3/2
Let r = -148 + 161.7. Let u = r - 13.33. Let v = -0.67 + u. Is 8 < v?
False
Let v = -139 - -187. Let c be (216/v)/((-6)/40). Which is smaller: 0.05 or c?
c
Let m = -80 - 5. Let v be (-3)/5 - ((-13846)/(-115) + -36). Do m and v have different values?
False
Suppose 0 = -p - 4*j - 23, 4 = -p - 2*p + j. Let z be 2/7*(56/(-35) - p). Is z greater than -149?
True
Let g = 120 + -93. Let t be (-6)/(-100)*g/81. Let a = 7 - 8. Is t <= a?
False
Let a be 196/35 + (0 - 1)*792/132. Let o = 8.3 + -15. Which is greater: o or a?
a
Let r = 88 - -33. Let p = r - 120. Which is bigger: 9/7 or p?
9/7
Let h(t) be the first derivative of -8*t**2 - 4*t + 11. Let w be h(2). Let o = -182 + 147. Which is greater: w or o?
o
Let x = 1548 - 1547.6. Is -8 at most as big as x?
True
Let w = 101.49 - 101.69. Which is bigger: w or -0.03367?
-0.03367
Let y = 100.1 + -97. Let b = y + 0.9. Which is greater: -5/7 or b?
b
Let n = -1794 - -1794. Is n at most 3/278?
True
Let g be ((-1260)/665 - (-3 + (-236)/(-76))) + -122. Does -82 = g?
False
Suppose 14 = -59*w + 66*w. Suppose -5*p + g = 69, w*g = -4 + 12. Is p not equal to -13?
False
Let q = -3482 + 3315. Which is greater: q or -163?
-163
Let z(p) = p**2 - 2*p - 3. Let u be z(3). Suppose 3*f + f = u. Let b = -2655 - -475243/179. Do b and f have the same value?
False
Suppose t = 4*t - 6. Let r be (2 + -2)*(-1)/t. Let n = -2/719 + 6487/5752. Which is bigger: r or n?
n
Let y(h) be the first derivative of h**4/4 - h**3 - 5*h**2/2 + 3*h - 3. Let m be y(3). Let z = -3087 - -3077. Which is smaller: m or z?
m
Let c = -23 + 19. Suppose 0 = 15*q - 12*q - 6. Let g be (-1 + (-4)/(-8))*7*q. Which is smaller: g or c?
g
Suppose -r - 14 - 18 = 0. Let j(y) = 19*y - 275. Let g be j(13). Is r < g?
True
Let b = 6123 + -255457685/41721. Which is smaller: 0 or b?
b
Let h = -2.8 + 3. Let n = 1.3209 + 0.1571. Let r = -0.178 + n. Which is smaller: h or r?
h
Let b = 738.519 + -739. Let o = -0.041 - b. Let t = -0.34 + o. Which is greater: 0.4 or t?
0.4
Suppose 2*f + 10 = 4*g, 5*g - 2*f = 2*f + 5. Suppose -3*r + g*i = -13, -3*i + 6*i = 5*r - 11. Does r = -34?
False
Let v = 21755 + -6853. Are v and 14902 equal?
True
Let x be 20/(-6)*((-1228)/90 + 124/279). Let h(v) = -15*v + 5. Let g be h(4). Let d = g + x. Is d greater than -12?
True
Let l be (-60)/(-75) - 2/(-10). Let b = 4698 + -4698. Which is greater: l or b?
l
Let q = 439 + -4