r than or equal to 159?
False
Suppose 54 = 12*h + 6. Which is greater: h or 5?
5
Let r be (1 - 1)*(-63)/252. Which is smaller: r or -7/9?
-7/9
Suppose 151 = 4*f + 27. Suppose -3*o + w + 91 = 2*w, -64 = -2*o + w. Does f = o?
True
Suppose 9*i + 49 = -50. Let m = -25 - -12. Is m less than i?
True
Let y be ((-58)/5)/(22/55). Which is smaller: y or -89/3?
-89/3
Suppose 16*d - 17*d + 36 = 0. Let k be (6/8)/(2/((-320)/d)). Which is greater: -4 or k?
k
Let d = 7.59 - 7.3. Let v = 0.29 - d. Is 6 <= v?
False
Let c = 195612853181/2926 + -66853334. Let a = -14/209 + c. Are a and 0 nonequal?
True
Let c = 127 + -125. Let g(u) = u - 2. Let p be g(7). Which is greater: p or c?
p
Suppose 0 = -46*l + 10 - 56. Which is greater: -16/19 or l?
-16/19
Let w(r) = r**3 - 7*r**2 + 7*r - 1. Let i be w(6). Suppose -j + 98 = 3*q, i*q - 137 - 25 = -3*j. Is q <= 34?
True
Let s = -869 + 872. Is 0.047 equal to s?
False
Let w = -24 - -14. Let f(r) = -r**3 + 8*r**2 + 5*r + 5. Let l be f(8). Suppose 7*d - l = 12*d. Which is greater: d or w?
d
Let l be 2/((-2)/(-115))*16/(-40). Are l and -45 equal?
False
Let g be (-749)/(-126) - 3/(27/(-2)). Which is greater: g or 7?
7
Let m = -20 + 23. Suppose -m*r = w + 48 - 6, -5*w + 4*r = 115. Which is greater: -1 or w?
-1
Let h = -815807/463 + 1762. Which is bigger: 0 or h?
0
Let g be (-14 + (-1713)/(-123))/(6/4). Which is bigger: g or -20?
g
Let m = 33495526567/66 - 507497888. Let q = m - 10090. Let y = 1/22 + q. Which is smaller: 8/5 or y?
y
Let r be ((-18)/15)/(2/(-5)). Let s be r + (-34)/(-27)*-3. Suppose 6 = 2*l - 3*x, x + 4 = l + 2. Which is smaller: s or l?
s
Let f = 1/3 + 0. Let w be (6 + -5)/2 - 634/700. Let r = 3/25 + w. Does f = r?
False
Suppose 3*u + 4*t = 4, -t = 5*u - 0*t - 1. Let p be 174/(-178) - 2/(-2). Is u > p?
False
Let i be 14/2 + -6 + 7. Let m(y) = -y**3 + 8*y**2 - 7*y + 5. Let f be m(i). Let q = 36 + f. Is -15 at most q?
True
Let d be 7*(-148)/10 - (-2)/(-5). Is d <= -103?
True
Suppose 0 = 9*b + 242 + 1. Let l(s) = -28*s. Let a be l(1). Which is bigger: b or a?
b
Let q = -138 + 148. Is 6 > q?
False
Let l(b) = -5*b**2 - 5*b - 2. Suppose -3*h + 17 - 5 = 0. Let z be l(h). Is -102 <= z?
True
Let m be (5 + 7)/(-4 + 52/(-8)). Is -2 greater than m?
False
Let w(n) = 38*n + 281. Let k be w(-29). Which is smaller: k or -820?
k
Suppose -7 = -5*l - 2. Let g be (8 - 8)/(l*-2). Which is greater: g or -1/14?
g
Let x be ((-24)/30)/((-2)/(-10)). Let l be 1/((-3 - 1)/x). Suppose -2*z + l = 3. Which is smaller: 2/43 or z?
z
Let p be (-2 + 1*-2)/(16/3840). Let l be 4/30 + (-232)/p. Which is smaller: l or 0?
0
Let k = -34404/19 - -1810. Which is bigger: -1 or k?
k
Let n = -59 + 64. Suppose k + a = 41, -4*a - 33 = n*k - 237. Is 40 at least as big as k?
True
Let q(s) be the second derivative of -s**5/20 + 5*s**4/12 - 5*s**3/6 - 3*s**2/2 + s. Let j be q(4). Let p = j - -4. Are p and -0.1 unequal?
True
Suppose 0 = 5*g - 4*g. Let k = 11635/238 + -342/7. Which is smaller: g or k?
g
Let q = -176 + 35. Let h = 21 + q. Let p = h - -825/7. Is -1 >= p?
True
Let j = -2159/6 - -359. Which is greater: j or 0.8?
0.8
Let m be 128/96*9/(-12). Let p be 1*2 - (-20)/(-6). Is p at least m?
False
Let c(i) = 3*i**3 + 1 + 108*i**2 - 24 - 2*i - 2*i**3 - 107*i**2. Let y be c(0). Let a be 1/6*4*-36. Is y >= a?
True
Let q = -0.75 - 161.25. Is q less than or equal to -1?
True
Suppose -3*s + 1 = -s + c, -2*c = -2. Suppose s = -28*u + 71 - 15. Let n = -5/33 + -24/11. Is u at most n?
False
Let y = -1478 - -16246/11. Let q = -0.12 + 0.02. Which is greater: y or q?
q
Let i be (-2)/(-1) + (-43 - -21). Which is greater: i or -1?
-1
Let i(h) = h**2 + h + 5. Let v(p) = p**2 + 6. Let o(k) = -6*i(k) + 5*v(k). Let d be o(-6). Let m be 0 - (-2 - 21/(-11)). Is m equal to d?
False
Suppose 13*h - 36 = 25*h. Which is smaller: 18 or h?
h
Let o be 16/(-42) + (220/30)/11. Let t = -0.36 + 0.3. Which is smaller: o or t?
t
Let k = 13 + -8. Suppose k*v - 10 = -0. Let n be -2*(14/(-4) + v). Is n greater than or equal to 1?
True
Let s = -55 + 63. Let d = -16 - s. Which is greater: d or -23?
-23
Let u = 1.86 + -1.16. Let y = u - 0.7. Which is smaller: y or 22?
y
Let s = 68 - 59. Let w be (-1664)/(-117) - 2/s. Are 13 and w non-equal?
True
Let a = 101 - 102.76. Let d = a - -1.8. Which is smaller: -0.2 or d?
-0.2
Let k = 15 + -14. Suppose 2*z + 44 = 6*z. Let g = z + -11. Which is smaller: k or g?
g
Let m = -267 + 267. Which is greater: -13/46 or m?
m
Let n = -41 - -90. Let w = n - 91. Let f = 39 + w. Which is smaller: 2/5 or f?
f
Let h(u) = -8*u**2 + 76*u + 13. Let o be h(8). Are o and 116 nonequal?
True
Let a = -46.44 - -46. Let h = 0.84 + a. Do h and 15 have different values?
True
Suppose -4*v + 9*v = 0. Let n = -4909/13 - -378. Which is smaller: v or n?
v
Suppose 5*y + 12 = 2*v - 3, -5*y = -4*v + 25. Is v at most as big as -181?
False
Let v = 0.04 - 0.02. Let w = 0.08 + v. Let t = 4 - 10. Which is greater: t or w?
w
Let n = -5.94 + 6.181. Is 2/7 != n?
True
Suppose 0 = -8*i - 319 + 327. Is 78/73 smaller than i?
False
Let v(a) = 2*a + 16. Let k(i) = i + 1. Let x(b) = -3*k(b) + v(b). Let o be x(11). Which is greater: -2/5 or o?
o
Let b be ((-455)/147 - -3)*6/4. Is b at least -5?
True
Let d = 3.67 - 0.37. Let w = -0.24 - 0.06. Let c = d + w. Is c != -0.2?
True
Let z be 3/(-2)*(-4)/(-18)*-3. Suppose -u + 1 = 4. Which is smaller: z or u?
u
Let r = -3 - -5. Suppose 0 = 5*d + 5*h + 40, 4*d + 29 = -3*h + r. Suppose 3*x = -x - 12. Is d less than x?
False
Let j = -44.2 - -43. Let w = 9 + -7.9. Let q = j + w. Which is bigger: -4 or q?
q
Let h(f) = -f + 8. Let m be h(-6). Let y(n) = 3 - 3*n**3 - 4*n - 2*n**2 + 2*n + 5*n. Let u be y(-2). Which is smaller: u or m?
u
Suppose 144 = -8*t + 360. Which is smaller: 29 or t?
t
Let j be (-4)/(-10) + (-4)/10. Let a be (-303)/12 - 7/(-28). Let s be (-10)/(-244)*(-3 + (-95)/a). Which is smaller: s or j?
j
Let k(i) = -i**2 + 2*i + 20. Let w(r) = r**2 - 2*r - 20. Let x(c) = -6*k(c) - 7*w(c). Let m be x(6). Suppose -8 = 2*g - 0*g. Is m greater than g?
False
Let b(r) = -r**3 + 5*r**2 + 8*r - 8. Let n be b(6). Suppose -d + 51 = -n*p, -3*d = 3*p + 47 + 10. Let v be p/(-4)*12/21. Is v > 2?
False
Let g = 62/18525 - -1/1425. Let r = g - -2216/1729. Is r >= 1?
True
Let d = 3631215/16 + -227140. Let x be 6*(0 - (-63)/2). Let r = x + d. Which is greater: 0 or r?
0
Let g = -1182/7 - -168. Let o(h) = 19 + 8*h - 4*h - h. Let u be o(-7). Is g less than u?
False
Suppose -n + 0*n - 204 = 3*k, 398 = -2*n + 4*k. Which is smaller: n or -202?
-202
Suppose -y - 3*y + 20 = 0. Let q be (-36)/(-8)*24/18. Are q and y unequal?
True
Let c = -33 - -35. Let b be -4 - (-25)/400*79*1. Is c at least as big as b?
True
Let n be (0 + 2)/(-3 + 5). Let y = 267/2 + -128. Let d = 71/13 - y. Is d less than or equal to n?
True
Suppose 0 = -4*l - 5*f + 31, 0*l - 3*f - 7 = -4*l. Let w be (-102)/(-21) + l/28. Suppose -w*x = -4*x + 8. Is x greater than -7?
False
Suppose -c - c = 2*x + 284, 3*c + 427 = -2*x. Let j = c + 26. Is j less than -117?
False
Let x = 2860.962 + -2861. Let p = 0 - 0. Which is bigger: p or x?
p
Let v be 1 - 2 - (-2 - (-66)/(-6)). Which is smaller: v or 25?
v
Let a be (4/(-45)*1)/(-738*(-24)/1080). Let y(d) = d + 4. Let v be y(-4). Is v less than or equal to a?
False
Let s(u) = -3*u + 3. Let w be s(-2). Suppose -33 = -3*o + w. Is o smaller than 13?
False
Let b = -13122 - -131419/10. Which is smaller: 19 or b?
19
Let t(i) = 8*i - 217. Let h be t(27). Is h at most as big as -1/42?
True
Let i = 18.15 - 7.17. Let k = i + -11. Let z = k - -0.32. Which is bigger: 1 or z?
1
Let o be (-32)/12 - (-2 + 0). Which is smaller: 193 or o?
o
Let b = -55 - -55.1. Which is bigger: 643 or b?
643
Let m be 92/(-14) - 8*3/(-42). Let r be (-360)/256 + (-9)/m. Is 0 less than r?
True
Suppose -2*k + 2*y - 2 + 4 = 0, 4*k = -5*y + 22. Let o be ((-3)/(-12))/(2/20). Are o and k unequal?
True
Let n(o) = -o**3 + o**2 + 2*o + 1. Let q be n(2). Let g be (-21)/6*8/(-6). Let i = g + -5. Which is greater: i or q?
q
Let k be 6 + (-3200)/230 + (-2)/23. Is -46/7 less than k?
False
Let v = 22 + -28. Let u be (-1910)/(-40) - 2/(-8). Let j be (18/u)/(v/(-10)). Is j <= 0?
False
Let q = -2164.041 - -2163. Let w = -0.041 - q. Is -4 >= w?
False
Let g = 7.2 - 7.3. Let m(o) = -o**2 - 5*o + 3. Let t be m(-4). Which is smaller: t or g?
g
Le