. Is 27 less than b?
False
Suppose -y - 2 = 0, -5*y = -2*r + 111 - 17. Suppose -4*z - r = -198. Suppose 6 + z = 5*q. Which is greater: 8 or q?
q
Suppose 0 = 9*g - 25*g. Which is smaller: g or -1?
-1
Let b be 13452/(-20205) - (-8)/12. Let w = b - -2107/154905. Which is greater: 0 or w?
w
Let r = 4364/265 - -7/53. Is r at most as big as 17?
True
Let k = 3.8 + 5.8. Let u = -0.6 + k. Which is smaller: u or 0.06?
0.06
Suppose 1 = 4*i - 3*i. Let x = 7596/7 + -273449/252. Do i and x have different values?
True
Let s(k) = -k**3 - 14*k**2 - 26*k - 19. Suppose -36 = 4*h + 12. Let o be s(h). Is o at most 23/5?
False
Let y = -3/8 - -35/136. Which is greater: -1/7 or y?
y
Suppose 0 = -0*n - 2*n - 4. Let l = -1446 + 954. Let j = l - -5400/11. Are n and j unequal?
True
Let x = -7 + 14. Let l(a) = -a**3 + 6*a**2 + 19*a - 80. Let o be l(7). Suppose -x + 27 = o*k. Is 4 < k?
True
Let f(k) = -k**2 - k + 103. Let x be f(-20). Which is smaller: -278 or x?
-278
Let p be 2/(-5) + (-4)/(-10). Let w(y) = -y**3 + 13*y**2 + 13*y + 18. Let v be w(14). Suppose k - 2*k - 5*t + 9 = 0, 10 = -v*k + 3*t. Is k equal to p?
False
Suppose 15*x + 24 = 11*x. Let c be x*(-12)/(-9) - -1. Let f = -8 + 0. Which is smaller: c or f?
f
Let f = 804 + -796. Which is greater: f or -10?
f
Let c(r) = r**2 - 6*r + 5. Let y be c(6). Let i(s) = 5*s - 114. Let p be i(24). Suppose p - y = f. Which is smaller: f or 4?
f
Let p = -1943/2745 - -32/45. Let g = p - -899/4880. Which is bigger: g or -1?
g
Let g = 277/5 + -52. Let s be (-2 - 1) + (-5)/((-5)/(-148)). Let v = s + 154. Which is smaller: g or v?
v
Let d = -2281 + 2280.81. Is -5/17 at most as big as d?
True
Suppose 5*h + o + 9 = 0, -4*o = -7*o - 12. Does h = -2/113?
False
Let k be ((-531)/(-708))/(-1 - 17/(-8)). Is k equal to 0.01?
False
Let p(k) = k**2 + 2*k + 4. Suppose 0 = f - 4*f. Let r be p(f). Let i be (r/12)/(1/6). Is i at least 0?
True
Let o = -78 - -81. Which is greater: -1 or o?
o
Let p be (-22)/(-33)*(-3 + (-66)/(-4)). Does 53/6 = p?
False
Let a = 5 + -11. Let r be (3 + a - 13)/(-2). Suppose -2*g + 8 = 0, 4*t - g + r = -0*g. Which is smaller: -5 or t?
-5
Let u be (-1)/18*((-18)/3)/3. Suppose y + 2 = 1. Is y > u?
False
Suppose -m + 3*i - 9 = -35, 130 = 5*m - i. Suppose -m = 2*b + 8. Which is smaller: b or -15?
b
Suppose 6 = t - 4*g - 12, t + 2*g + 12 = 0. Let b be t/13 - 84/(-39). Which is smaller: b or 1?
1
Let o = -1.583 - 0.417. Are o and -0.081 non-equal?
True
Let r(m) = -2*m**2 + 7*m + 6. Let g be r(6). Let t be (0 + -2)/(6/g). Let h be 0 + 3/35 - 12/(-60). Is h > t?
False
Let k = 21.8 - 20.8. Is 29 >= k?
True
Let l = 3.42 + 9.58. Which is bigger: -2/17 or l?
l
Suppose -4*l = -12, 7*a - 4*a = -4*l + 30. Let z(w) = -1 - w + 8 + 5 - 2. Let d be z(8). Is a at most d?
False
Let h be 276/(-44) - (-3 - -4). Let f = h + 582/77. Are f and 1 unequal?
True
Let p = 126 - 125.997. Let v = p + -0.133. Is -1 < v?
True
Let x(q) = q + 3. Let w be x(4). Suppose -6*f = -w*f. Is -0.3 != f?
True
Suppose 5*m = -4*y + 380, -304 = -5*m + m + 3*y. Let a = 96 - m. Is 21 <= a?
False
Let z = -8031 - -1252841/156. Let g = 2/39 + z. Let u be (3 + (-33)/12)*2*0. Which is smaller: g or u?
u
Let a(p) = -3*p + 42. Let l be a(-14). Let d be l/(-20) + 1/(-20)*-4. Is d greater than -4?
False
Let z be ((-6)/108)/(2 - 14/8). Is -0.2 greater than z?
True
Suppose -4*m - 64 = -4*t, -2*t + 5*m + 32 = -t. Suppose 131 + 45 = 44*a. Suppose -a*n + 3 = -f - 9, -t = 2*f - 4*n. Is f equal to -3/10?
False
Let m = -268.6 - -292. Let q = 23 - m. Which is greater: q or 1?
1
Let p be 1/(1*2/(-20)). Let s = p - -4. Let m be ((-3)/(-18))/(2/s). Is 13/5 greater than or equal to m?
True
Let a(b) = -b**2 + 7*b + 5. Suppose -2*g - 8 = -24. Let m be a(g). Let s be (-1)/(2/1 + m). Which is smaller: s or -1/5?
-1/5
Let c = -482 - -544. Which is smaller: c or 58?
58
Let v = -13 - -18. Let m = v - 5.07. Let p = m + 1.07. Is p less than -0.2?
False
Let c(k) = k**2 + 6*k + 14. Let f be c(-2). Let r = 183/7 + -571/28. Which is greater: r or f?
f
Let j = -492 - -493. Which is smaller: j or 26/89?
26/89
Let c(g) = g + 17. Let i be c(-7). Let r be (-104)/6 + i/(-15). Let l be (3/(-18))/((-16)/r). Which is greater: -1 or l?
l
Let a be 1/(-1) + 2 + -24. Let l(t) = -3*t + 8. Let b be l(10). Is b greater than a?
True
Let b(w) = -3*w**3 + w**2 - w. Suppose 5*g - 2*g - 3 = 0. Let t be b(g). Suppose 2*i = d + 6 + 2, -5*i = -5*d - 25. Which is greater: t or d?
d
Let o = -59 + 32. Let d = o - -38. Which is smaller: 12 or d?
d
Let t be 1617/1122 + -2 + 3 + -2. Is t != 0?
True
Let i = -22 - -25. Suppose -3 = i*j, 0*j - 20 = -4*a - 4*j. Are 10 and a nonequal?
True
Let p be (3 - 0/4)/1. Suppose -3*o - p*o = -12. Suppose o*q = 2 + 8. Which is smaller: 3 or q?
3
Let l be 2 + ((-14)/7 - 27). Are -0.1 and l nonequal?
True
Let j be (-5559)/408 + 6/(-16). Which is smaller: j or -1/8?
j
Let j = 6.2 - -46.8. Let o = -63 + j. Which is bigger: o or 2?
2
Suppose -r - 3*b = -8, 0*r - 2*b + 22 = 4*r. Suppose -r = -3*w + 7. Is 7 greater than w?
True
Suppose -3*l = 4*l - 7. Suppose -7*u - l = -6*u. Which is greater: u or -3/5?
-3/5
Suppose 0 = 5*t + 589 - 594, 3*t + 153 = -2*z. Let j = -168 - -91. Which is greater: j or z?
j
Suppose 3*o + 5*i = -0*o - 38, -5*i - 49 = 4*o. Let r be (0 + -5 - -6)*-1. Is r equal to o?
False
Suppose 0 = -2*f - 5*f + 588. Suppose 15 = -0*r + 5*r, f = -3*v - r. Are v and -29 non-equal?
False
Let i = -35.01 - -35. Let f = -0.09 + i. Let g be 14*(1 - 1/2). Which is greater: f or g?
g
Let u = 431 + -430.9. Is u at most as big as 0.0575?
False
Let h = 13 + -6. Let o = h - 6. Let m = 3 - 2. Is o bigger than m?
False
Suppose -2*d = 4*y + 2, 1 = -4*y + 2*d + 3. Suppose -j + 0*j + 4 = y. Suppose u = -4*t + j, -t = t + 5*u - 2. Which is smaller: t or 0?
0
Let m(r) = -r**2 - 6*r + 5. Let b be m(-6). Suppose 0*v = -b*v + 20. Let f be (2/6)/(v/12). Which is smaller: f or -4/13?
-4/13
Suppose r + 6*k - 19 = 4*k, -20 = -4*k. Let n be (-18)/(-1)*(-1 + (-15)/(-9)). Suppose -4*w - w + 46 = -2*g, -3*w = 4*g - n. Are r and w non-equal?
True
Let h = -0.83 - -54.83. Let j = h - 89. Let p = j + 32. Is 5 > p?
True
Let i be -1 - 15/(0 - -5). Let k be (i - -3) + 1 - 1. Do k and 2 have different values?
True
Let w be 1 - 0/(-2) - 0. Suppose -687*g + 697*g = -10. Is g at most w?
True
Let b be (-7)/((-210)/(-4428)) - (-4)/4. Are -147 and b equal?
False
Let m = 30 - 45. Let r = 12 + m. Let d be ((-24)/9)/(2/r). Is 4 at least as big as d?
True
Suppose -2*r + 301 = 233. Which is greater: r or 172/5?
172/5
Let m be 1 + -2 - (-5 + 1). Let h be m + (-2 + 3 - 3). Let s be (h - -5)*(-6)/102. Which is bigger: s or 0?
0
Let r be (-98)/28*(0 - (3 + -1)). Which is greater: 23 or r?
23
Let p = 104 + -104. Let c = 12 - 8. Suppose p = -2*h - c*k, -7 = -5*h - k - 43. Is h less than -0.2?
True
Suppose 0 = -7*x + 3*x + 216. Suppose 3*j - x = -0*j. Suppose 15 + j = 3*k. Is k < 11?
False
Let u = -157 - -73. Is u > 1/3?
False
Let d = 0.348 + -0.448. Is -324 != d?
True
Let f be 834/(-1668)*((0 - 2) + 2)/(-2). Let o(r) = 8*r**2 - 2*r - 1. Let b be o(2). Let y be (2 + b/(-13))*1. Which is smaller: f or y?
y
Let w = 202.5 - 202.3. Is w bigger than -170?
True
Let g be (-8)/28 - (-9)/7. Let l be ((1 - g)/1)/1. Let d be (-4)/(-14) - (62/21 + -2). Which is smaller: d or l?
d
Let h = -33 - -33.021. Let x = h - -1.979. Which is smaller: x or 3?
x
Suppose 4 = 4*i, -t + i + 90 = -137. Is t smaller than 225?
False
Suppose 0 = -9*t + 11*t + 154. Let k = t - -77. Which is greater: k or 3?
3
Let x = -0.67 + 2.37. Let u = x + -1.5. Which is smaller: u or -5?
-5
Suppose 4*g - 1046 = -4*x + 442, -20 = 4*x. Which is smaller: g or 379?
g
Suppose -14*s - 33 = -25*s. Suppose -5*b - 51 = -7*g + 5*g, -g = s*b - 31. Is g less than or equal to 29?
True
Suppose 0 = -5*n - 4*u - 64, -4*n + 11 = 5*u + 64. Let d be (3 - 13) + (-54)/54. Is d greater than or equal to n?
True
Let f = -1385.1 - -1385. Which is smaller: -3 or f?
-3
Suppose 3*h - 8*h - 5 = 0. Which is greater: 1/13 or h?
1/13
Let h = -248 - -5. Is h > 1?
False
Let u = -468.6 + 469. Is -0.059 not equal to u?
True
Let b(s) = 128*s**3 + 4*s**2 - 30*s + 27. Let j be b(1). Is -2 > j?
False
Let d = -2 - -4. Suppose 12 = a + 2*v - 0*v, d*v - 16 = -2*a. Suppose 5*t = -h - 3*h - 11, 2 = -a*h - 2*t. Which is bigger: 2/11 or 