v = 46 + -46. Suppose v = d + d - 6. Let f be (-308)/(-168) + d/2. Which is greater: f or 3?
f
Let u be (9 + (-3 - -4))*-2. Let x be u/(-30)*2/4. Which is smaller: x or -119?
-119
Let m be (0 + 2)/(8/14). Let v = 0.28 + -0.26. Which is smaller: m or v?
v
Let c(z) = z**2 + 1 - 27 + 9*z - 35 - 10. Let n be c(9). Is n at most 92?
True
Suppose 92 = -2*b - 2*s - 278, b + 189 = -5*s. Suppose 0 = 3*l + 3*d + 543, 0 = 4*l + 5*d + 416 + 304. Which is smaller: l or b?
l
Let o = 55698 + -55699. Let k = -9 - 7. Let v be (1*(-2)/k)/(-12). Is o equal to v?
False
Let l = -3.71 - 24.09. Let s = l - -28.8. Let f = -48 - -46.1. Which is smaller: s or f?
f
Let l be 0/(-295) + 1/(-725). Is 0 greater than or equal to l?
True
Let d(a) = -204*a - 4903. Let v be d(-29). Is 1011 smaller than v?
True
Let h = -111.13 - -111.13. Which is smaller: -577 or h?
-577
Let i be 22967/(-495) - 18/162. Let u = -384/11 - i. Which is smaller: u or 13?
u
Let s be (-4 + 15 + -8 + -3)/(3/1). Let q = 167505/191 - 877. Does q = s?
False
Let j = -41.96 - -3.16. Which is smaller: j or 2?
j
Suppose s = -4*s - 40. Let f be s/(-10)*(-12)/(-32). Suppose 18*k = 14*k + 10*k. Which is bigger: k or f?
f
Let q = 1287 + -1014. Are q and 275 non-equal?
True
Let s = -18.5808 + -0.1192. Let p = 13 - -6. Let z = p + s. Which is bigger: z or 6?
6
Suppose -16*q - 23580 = -31*q + 21*q. Which is greater: q or -3929?
-3929
Let c be (-405)/972 + (-10)/(-8). Suppose 15 = 5*a, -3*a + 10 + 34 = 5*j. Let h = 8 - j. Which is smaller: h or c?
c
Suppose -4*z = d - 10, 0*d + d = -3*z + 8. Let r be d*-3*1*(-1 + 0). Suppose 54 - r = 6*k. Which is smaller: 4 or k?
4
Let w = -66 - -68. Suppose 6 = -w*m + 12. Suppose -46 = -m*q - 2*i - 15, -2*i + 4 = 0. Which is bigger: 3 or q?
q
Let k be (-3)/(-5) + 36/(-27)*6 + 7. Is k at least -1.48?
True
Let h = -2689 + 2690. Is -133/13 not equal to h?
True
Let q(j) = 46*j - 1302. Let k be q(33). Suppose -4*r + 703 = -157. Which is smaller: k or r?
r
Suppose 0 = 8310*o - 8268*o. Let j = -495/184 + 105/23. Let u = j + -27/8. Is o greater than or equal to u?
True
Let w = -174 + 173. Let a = 415/549318 - 2/861. Let k = a + -1261/9570. Is w <= k?
True
Suppose 39 = -0*j + 3*j. Suppose -3*r + 2*r - j = -2*b, 5*b + 2*r = 28. Let k be b/30 - 78/440. Is k less than 1?
True
Let x = 6815 + -6817. Let o be (-10)/4*30/(-25). Let u be ((-1)/o)/(3/9). Is u at least as big as x?
True
Let i be -16 - 1 - (86 - -50 - 33). Suppose 0 = 3*n - 0*n + 357. Which is smaller: i or n?
i
Let v be ((-6)/22)/((-246)/(-492)). Which is smaller: -53 or v?
-53
Let c(k) = k**3 + 59*k**2 + 9*k - 241. Let z be c(-59). Which is smaller: z or -770?
z
Suppose r = -r - 8. Let a be (-1)/2*-16 + r + 0. Suppose 4*f = t + 12, -4*f - 1 = -5*t + 3. Is t at most a?
True
Let w = -3643.1 - -3892. Let f = w - 249. Is f <= 0.11?
True
Suppose 112*c - 113*c = 5. Let h be ((-60)/25)/(-2)*c. Let l be (1/(-2))/((-1)/(-14)). Which is smaller: h or l?
l
Let i = -34 - 203. Let l = i + 254. Is l < 5?
False
Let c(r) = -2*r**3 + 8*r**2 + 64*r - 3. Let n be c(8). Suppose 5*q + 31 = -49. Is q < n?
True
Suppose 4*f - 20706 + 16548 = -55554. Is f not equal to 0?
True
Suppose 12 = 5*d - 4*d + 5*q, -5*d = 5*q - 20. Suppose -22*h - 130 = d. Which is greater: h or 13?
13
Let t = -26941 - -26942. Which is smaller: 2033/4 or t?
t
Let u = -1 + 1. Suppose -17 = -5*z - 3*z - 169. Which is smaller: u or z?
z
Suppose 0 = 3*s + 2 - 8. Suppose 29 = h + 2*m - 4*m, -m = s. Suppose -x = -2*w + w - 5, w + h = 3*x. Is x less than 10?
False
Let k = -0.20321 - -0.00321. Is -805 != k?
True
Let n be ((-15)/54)/((-140)/168). Let f = 10.72 - -0.28. Which is smaller: n or f?
n
Let o = 12 - 28. Let r = o - -18. Let n be (-2)/4*-7 + 30/(-20). Is n at least as big as r?
True
Suppose 0 = q - z - 9, -2*q + 6 = -5*z + 3. Suppose q*b = 55 + 29. Suppose -7*s - b - 1 = 0. Is 2/261 < s?
False
Let u(o) = 2*o**2 - 7*o + 8. Let d = 38 + -34. Let n be u(d). Let j = n + -11. Which is greater: 1/8 or j?
j
Let c be (-3 + (-9)/(-2))*(-20)/(-3). Let k be (-2)/4 + 23/c. Let q = 157.2 + -157. Is q > k?
False
Suppose 37 = -417*u + 418*u. Suppose 21 = -16*z + u. Which is smaller: -1/947 or z?
-1/947
Suppose 3*n - 20 = -n. Suppose -4*a = 2*x + 4, n = 2*a - 7*a - x. Let f be 4/a - (-12)/(-6). Which is bigger: f or -9?
f
Suppose 67*u + 1240 = 72*u. Suppose 0*s - u = 2*s. Does -125 = s?
False
Suppose -4*p + h = 179, 6*p - 8*p + 3*h - 87 = 0. Let x be (-432)/140*p/(-18). Suppose 4*a = -0*a - 36. Is x less than a?
False
Let u = -22.28 + -0.72. Let m = 388 - 386. Is m less than u?
False
Let j(n) = n**2 - 38 - 7*n + 0*n - 4 + 3*n. Let a be j(14). Which is greater: a or 99?
99
Let s be -7 + ((-234)/(-30) - 6/45). Which is smaller: s or 0.137?
0.137
Let r(y) = y**3 - 22*y**2 + 28*y - 39. Let f be r(21). Suppose 6 = -34*k + f. Which is smaller: 62 or k?
k
Let u(o) = -o - 1. Let k(i) = 2*i - 15. Let n(j) = k(j) + u(j). Let x be n(7). Let q(s) = s**2 + 3*s - 22. Let f be q(x). Which is smaller: 30 or f?
30
Suppose -4*s + 5*h = 6, 5*s - 10 = h - 28. Suppose 5*y + 46 + 14 = 0. Is s < y?
False
Let c(w) = 2*w**2 - 15*w + 19. Let n be c(6). Suppose 5*a = -5, -b - 3*a + n = -0*a. Suppose -16 = b*o - 60. Is 9 at least o?
False
Let i be ((-1)/(-1))/(-13*(-13)/169). Let o = 389 + -8167/21. Which is smaller: i or o?
o
Suppose 3*n - 3*o + 24 = 0, 0 = -4*n + 3*n - 3*o - 12. Let g be 1 - (12/27 + 3/n). Are 2 and g nonequal?
True
Suppose 36*n + 26920 - 7064 = -37*n. Which is greater: n or -3000/11?
n
Let a be 4/(-38) - 6*(-58)/57. Let o = -876/49 - -125/7. Does o = a?
False
Let j = -86 + 122. Suppose 2*q - 14*q = -j. Suppose q*d = -17 + 14. Which is greater: -2/5 or d?
-2/5
Let o = 4204.087 + -4204.2. Which is smaller: -0.5 or o?
-0.5
Let m be (15/(-50)*5)/(-3) + (-4157)/(-2). Which is bigger: 16629/8 or m?
m
Let b = 627 - 627. Let k be 99/(-162)*(3 - 2). Which is bigger: k or b?
b
Let a be 236/(-10) + (-14)/35. Let r = a - -28. Suppose -4*n + 0 + r = 0. Is 1/44 != n?
True
Let h = 1659 - 1765. Which is smaller: h or -112?
-112
Suppose 94*t = -3*t + 237650. Which is bigger: t or 2448?
t
Let o = -438 - -412. Let p be 2/(-13) + 3844/o. Which is smaller: -149 or p?
-149
Let f be (21/1085)/(15/50). Which is smaller: f or -0.06?
-0.06
Let g be 25/5 - -1 - -45. Which is smaller: 24 or g?
24
Suppose 0 = 808*k - 852*k - 44836. Which is bigger: k or 0.3?
0.3
Let y(c) = -c**3 + c**2 + 4*c. Let g be y(2). Suppose -g*z = -2*n + 10, 5*n = 2*z + 15 - 6. Let i be 20/208 + (-2)/8. Is i at most n?
True
Suppose -4*f - 39 = -3*t, 0 = 3*f + 3*t - 0*t + 24. Let s = f + 10. Let p be s/(-5) - (-64)/20. Which is smaller: p or 0?
0
Let q be 4/8 - (-42)/(-4). Let o(p) = -p - 15. Let j be o(q). Let r be 78/390 - (-56)/(-5). Are r and j unequal?
True
Let y(i) = -5*i - 28. Let q be y(-8). Suppose 13*l = q*l - 3. Let c be (0 - (-9)/3)*l. Which is bigger: 0 or c?
0
Suppose x - 32356 = -4*n + 3*x, 0 = n - 2*x - 8089. Let a = n + -9844315/1217. Is a <= -1?
False
Let o = -132336 - -125322254/947. Which is bigger: o or 1?
1
Let z = -251 + 228.3. Let a = -55.3 + z. Is 0.1 < a?
False
Let g = -2805 + 241. Is g at least as big as -2560?
False
Let x = -169 + 19. Let w be (-10)/x*63 - (-3 + 0). Is 8 greater than w?
True
Let w = -0.17 - -4.17. Let m = 0.022 + -0.062. Is w > m?
True
Let r(g) = g**3 + g**2 - 30*g - 81. Let b be r(-3). Which is bigger: -66 or b?
b
Let p(a) = 2*a + 10. Let t(n) = -n - 19. Let r be t(-13). Let u be 4/6 - 50/r. Let c be p(u). Which is smaller: c or 27?
27
Let r be 0 + 61 - (-4)/(-2). Let k = 31498 + -31440. Which is greater: k or r?
r
Let l = -150 + -506. Let x = -657 - l. Is -0.014 >= x?
True
Let f be (8/(-2) - -5)/(2/9788*-1). Are f and -4893 unequal?
True
Let x be (-4)/(-28)*9*(-3 - (-80)/24). Is 198 at most x?
False
Let t = 3188.8 - 3189. Which is smaller: t or -1/2?
-1/2
Let t be (2/(3 + -1))/(-1). Let m(d) = -3*d**3 - 24*d**2 + 90*d - 113. Let f be m(-11). Which is bigger: t or f?
t
Let a = -396 - -344. Let m = a + 106. Is -1 > m?
False
Let f(j) = 11*j - 18. Let k be f(2). Suppose -4*v + k = -8*v. Are -2/311 and v nonequal?
True
Let k = 1174 - 1189. Let c = 4 + -19. Let s = k - c. Is s at least as big as -1/80?
True
Suppose 5*y - 15 = -3*m + 4, m + 3*y = 13. Let h be 7/35 + m/10. Is h at least -5/11?
True
Let w(y) = y**2 + 2*y 