 0. Suppose 5*n - z*r - 85 = -5*r, -n - r + 21 = 0. Suppose -n = 2*l - 68. Is l bigger than 26?
False
Let b(s) = s - 40. Let q be b(-30). Suppose -z - a = -18, 2*a + a + 2 = z. Let i be z/q + (-2)/10. Is i less than or equal to -3/4?
False
Let b = 55 - 136. Let l = 79.5 + b. Which is bigger: l or -1?
-1
Let b = -6341 + 6341. Are b and 11/21 unequal?
True
Let a be (1380/40 + -36)/(7/(-2)). Which is greater: 34/33 or a?
34/33
Let x be -1 + (-3)/(102/(-40)). Let z be (4 + 2)/(4/(-18)). Let r be (-7 - 159/z) + (-1)/(-9). Which is smaller: x or r?
r
Let r be ((-54)/15)/(2/(-15)). Suppose 0 = 23*b - r*b - 112. Let v = b + 42. Which is smaller: v or 13?
13
Suppose -5*d + 2 = -3. Suppose 123*c - 1530 = 89*c. Let i = 232/5 - c. Is i < d?
False
Let n be 17/((-17)/(-4)) - 28538/7. Let u = n + 4065. Which is bigger: -7 or u?
-7
Let l = 350761 - 27004970/77. Let y = -310/7 + l. Which is bigger: 3 or y?
3
Let l be 148/34 - ((-10)/25)/((-14)/140). Let m = -6 - -2. Let t = 3 + m. Is t less than or equal to l?
True
Suppose -2 - 1 = 3*f + 3*q, -3*f = 2*q + 4. Let j(g) = 12*g + 11. Let u be j(f). Which is smaller: u or -12?
u
Let t = -122 - -136.3. Let b = t + -14.4. Let w = -1.4 - -28.4. Which is greater: w or b?
w
Let c(a) = -a**2 - 24*a + 945. Let z be c(21). Let n = 161153/18279 + -238/27. Which is greater: z or n?
n
Let a = 1918.88 - 2422.756. Let k = a + 504. Are k and -2 equal?
False
Let g = -52 - -51. Let d = -827 - -11569/14. Is g greater than d?
False
Let f = -1.2 - -0.2. Let a = -498 + 518.3. Let c = -1.3 + a. Is f equal to c?
False
Let q(h) = -16*h**2 - 476*h + 120. Let v be q(-30). Which is smaller: -4/4679 or v?
-4/4679
Let c = -0.184 - 82.816. Suppose 5*d + o + 324 = 2*o, -5*d - 304 = 4*o. Let r = d - -322/5. Which is smaller: r or c?
c
Let d = -7844/297 - 605/27. Does -50 = d?
False
Let j = 95 - 109. Let l be 6 - (-93*6/(-21) - 7). Is l > j?
True
Let l = 17486 + -87738/5. Let c = 112053 + -112114. Is c greater than l?
True
Let k = -9984 + 10110. Is 27 less than k?
True
Let b be (-2)/14 + (-113589)/10584. Let s be (2/14 - 300/(-56))*-2. Is s at most b?
True
Suppose 2*w + v = 22, -31*v = 2*w - 26*v - 14. Let r be ((-90)/w)/(-1 + 3/12). Which is greater: r or 47/5?
r
Let u(o) = -641*o - 9627. Let i be u(-11). Which is smaller: i or -2577?
-2577
Let d = -1.3 - 14.7. Let r be 903/4 + 1 - (-1 - -1). Let l = r + -227. Which is bigger: d or l?
l
Let s(j) = 12*j**3 - 2*j - 3. Let n be s(-1). Let c = n + 160. Which is bigger: c or 146?
c
Let x = 10 + -24. Let t = x - -23. Suppose -t*a - 23 = -5. Is 1 > a?
True
Let b = -2271 - -1564. Let n = b - -707.22. Is n less than -7?
False
Suppose -12*j + 11*j + 103 = -3*b, 0 = 5*j + 10. Let x(o) = -2*o - 148. Let p be x(b). Is p bigger than -77?
False
Suppose -5*f - 4 = 16. Let r be (4 - 3) + (f - 1). Let z = -8574 - -8570. Is z at least as big as r?
True
Suppose 3*p - 128 = 244. Let c(a) = -125*a**3 + 4*a**2 + 8*a + 2. Let r be c(-1). Which is smaller: r or p?
r
Let d = 10 + -14. Let s be 27/d - (-3)/4. Let p be (-2 + 2)/s + 43*1. Is p equal to 43?
True
Suppose 135*d = -20*d - 56*d + 36*d. Which is bigger: d or -2/3705?
d
Suppose -78191 = 36*o + 61056 - 13751. Which is greater: o or -3484?
-3484
Suppose 5*o + 4*q = -28, -403*o + 406*o + 3*q = -15. Which is smaller: o or -510/67?
o
Let l = 282.54 - 283. Let w = l + 0.46. Is 41 > w?
True
Let y(l) = l**2 + 104*l - 174. Let j be y(11). Are j and 1092 non-equal?
True
Let k(l) = -106*l**2 - 13*l. Let v be k(-2). Is v at least as big as -381?
False
Let t(j) = -17*j - 7. Let v be t(-3). Suppose -v = -2*i + 46. Let r = i - 46. Which is bigger: r or -1/3?
-1/3
Let u(m) = m**3 + 5*m**2 - m - 2. Let w(n) = -n**3 - 4*n**2 + 1. Let c(z) = 2*u(z) + 3*w(z). Let q be c(3). Let p be 5/((-270)/q)*3. Is 3 greater than p?
True
Suppose -231*z = -805*z + 304794. Which is smaller: 532 or z?
z
Let f = -18.241314 - 0.058686. Let h be ((-1)/(-4))/(0 - -1). Which is smaller: h or f?
f
Let k be ((-6)/(-24)*-1)/(14/9). Let u = k - 12/7. Suppose -x - 1 = 1. Is u bigger than x?
True
Let l = 2.24 + 1.3. Let u = l - 2.44. Is 0 not equal to u?
True
Let o = -297.4 - -452.4. Let y(p) = -p**2 + 4*p + 2. Let i be y(4). Which is bigger: o or i?
o
Suppose 4*s - 186907 = 41221. Let r = s + -517415/9. Let m = 458 + r. Which is smaller: -2 or m?
-2
Let v = 410 + -602. Let t = v + 218. Which is smaller: 25 or t?
25
Let g = -31 - -36. Let b = -29 + g. Let c = b - -26. Is c greater than or equal to 11?
False
Let u be (99/825)/((-135)/(-50550)). Which is greater: u or 46?
46
Suppose 57 = 5*c - 123. Let b = 33 - c. Let y be b/9 - 12/(-9). Is y less than or equal to -1/19?
False
Let g = 3/7555 - -309011/1873640. Is 0 >= g?
False
Let g be 66/(-8) - 72/(-9). Let o(p) = 15*p**2 + 6*p - 5. Let i be o(4). Is i at most as big as g?
False
Suppose -3*y + 10*y - 84 = 0. Let x(m) = -5 + 5*m - 1 + 13 + y. Let r be x(-5). Are -2 and r non-equal?
True
Let a = -14413/5 + 2866. Let j = a - -377/20. Which is smaller: j or -5?
-5
Suppose 17992 = 23*c - 2708. Let x be (-7)/((-70)/(-40)) + c/226. Is x greater than -1?
True
Suppose -3*n - 2124 = 3*l, 9*l - 3*n = 4*l - 3548. Let q = 683 + l. Which is smaller: q or -24?
q
Let g be (-166243)/(-136) - -5 - 6/16. Which is smaller: 3680/3 or g?
3680/3
Let w = -5 - -3. Suppose 7*l = 2*l - 15. Let f be (-9)/((234/416)/(l/(-52))). Is w smaller than f?
True
Let u = -5553 + 5554. Which is smaller: u or 2/2979?
2/2979
Suppose -57*r - 261 = -28*r. Suppose 4*t + 0*t - 112 = 0. Suppose 2*m - 6*m - t = 0. Is r bigger than m?
False
Let h be 111/90 + (-13)/39. Suppose 72 = 4*s + 4*r, 5*s - 2*r - 74 = 2*s. Let y be (s + -20)*(-1)/(-5)*-1. Do y and h have the same value?
False
Let t be 1*(-4 + -1)*(-7942)/(-95). Let u = t + 417. Is u != -1/262?
True
Suppose -25*a - 859 + 125 - 891 = 0. Which is greater: a or -70?
a
Let a = 16/2459 - -12766/1817201. Is a equal to -1?
False
Let y = 66546.1 + -66547. Let j = 2.7 + -1.5. Which is greater: j or y?
j
Let c = 1928 - 1927. Is -2/3413 greater than or equal to c?
False
Suppose 0 = 2*b + 4*b + 126. Let n be (6 + b)*6/(-15). Suppose c + 2*c = n. Is c < 4?
True
Let b be (-65)/260*1*(3 + 1). Are b and -2/4135 nonequal?
True
Let l = -45947/1092 + 549/13. Is 1 >= l?
True
Let z = -48/227 - -2859/3859. Let l = -758/9 - -84. Which is bigger: l or z?
z
Let s = 20 - 63. Let j = s + 15. Let i be ((-21)/j)/((-258)/(-16)). Which is bigger: 0 or i?
i
Suppose -40 = 19*m - 116. Which is greater: m or 3?
m
Let i = -103 + 102.804. Let p = 31.596 + i. Let r = p + -31. Which is greater: r or 8?
8
Let m = -85.6 + 82.11. Let p = 0.49 + m. Is p >= -37?
True
Let z be -61*126/(-119133) + 56292/62. Which is bigger: z or 915?
915
Suppose 0 = 5*g - 51 + 36. Let v = 0 + g. Let n be -3 - ((-12)/(-3) - v). Is n less than -6?
False
Let i(m) = -175 + 19*m - 18 + 8*m. Let v be i(20). Is 347 less than v?
False
Let d = -4503 - -4433. Is d less than -70?
False
Let v = -26816 + 25891. Is -928 less than v?
True
Suppose -3*v - 5*l = -297, 4*l + 448 + 47 = 5*v. Let n = -7 - v. Is -106 less than n?
False
Let s = 23 + -22. Let c be ((3 + -3)/(-1 - s))/3. Suppose -4*t - 5*t = c. Does t = 5?
False
Suppose 11*k + 1 = 12*k. Let s(n) = -n + 2. Let j = -8 + 14. Let z be s(j). Is k equal to z?
False
Let w be -248 + 0 + -3*(4 - 3). Let r = w - -264. Are 13 and r non-equal?
False
Suppose 2*b = 6 + 2. Let a(w) = -63*w + 7. Let k be a(b). Let o be ((-7)/k)/((-2)/(-4)). Which is smaller: o or 1?
o
Let o = -54/695 + 2054056/13205. Which is bigger: o or 155?
o
Let j = 121755/19 - 6381. Which is smaller: 27 or j?
27
Let t(r) = -187*r - 55. Let i be t(-14). Is 2/3 >= i?
False
Let p = 2/21537 - 107693/86148. Let x = -0.73 + -44.27. Which is smaller: x or p?
x
Suppose l = -31 + 29. Let w be (0/5)/(-1 - l - 2). Are -1/14 and w equal?
False
Suppose 18*h - 63 = 15*h. Suppose -h*v - 6 = 57. Which is greater: v or -28/9?
v
Let w = 0.1 - 0.2. Let l be ((-4)/(-10) + 2/(-10))*0. Let a = 1/5 + l. Is a greater than or equal to w?
True
Let l = -121.7 + 122.7. Is 2631 smaller than l?
False
Suppose -6*n + 10*n - 5*g = 9129, g + 11385 = 5*n. Which is smaller: n or 2278?
n
Suppose -5*d - 123349 = -109*d + 102227. Which is bigger: -1 or d?
d
Let r = 52424 - 18820234/359. Which is greater: r or 0?
0
Let t(d) = 779*d - 16959. Let z be t(