l be 306/136*2*-2. Which is bigger: x or l?
x
Let k = -12026 - -58963480/4903. Is 0.1 < k?
False
Let d = 548.2 + -543.171. Let y = 0.029 - d. Do y and 10/7 have the same value?
False
Let k be (4 + 10/(-3))*3. Let c be 8/(-36) - ((-38)/9 - k). Is 3 <= c?
True
Let b = 2.6 + 67.4. Let q = 69.9 - b. Which is greater: -108 or q?
q
Suppose -4*z + 26 = -6. Let j be 9 + (0 - 1)*4. Suppose -2*i + 10 = -0*i - j*s, 4*s + z = 3*i. Is -2 at least as big as i?
False
Let l(w) = -w**2 - 42*w + 22. Let b(u) = -u**2 + u. Let q(h) = -3*b(h) + l(h). Let n be q(22). Is -1/9 at least as big as n?
False
Let b be 27/((-2)/(-152)*3). Let j = b - 37614/55. Let v(h) = 5*h**3 - 154*h**2 - 31*h. Let w be v(31). Is w at least j?
False
Let m(y) = y**2 - 6. Let w be m(-5). Suppose -6*u = -9*u - z - 33, -5*z + 55 = -5*u. Let t(d) = d**2 + 7*d - 26. Let g be t(u). Are w and g non-equal?
True
Suppose 0 = m - 25*b + 21*b - 40, -3*m = -2*b - 80. Which is greater: 10 or m?
m
Suppose 6*f + q + 7434 + 94728 = 0, 0 = 3*q + 18. Is -17025 >= f?
True
Suppose 4*x + 43 + 24 = -5*n, x = n + 8. Let l(j) be the first derivative of -11*j**4/4 + j**3/3 - 3*j**2/2 + j - 12. Let z be l(1). Which is bigger: n or z?
n
Let f be 4/((-16)/(-188)) + 1 + 0. Suppose u - f - 148 = 0. Which is smaller: 197 or u?
u
Let r be 13/3 + ((-12)/21)/((-37)/(-259)). Is -1722 >= r?
False
Let g be 25 - 24 - 230/(-2). Suppose 11*s + 105 = g. Is s equal to 1/674?
False
Let y be (-321104)/(-10716) + 4/114. Which is smaller: 14 or y?
14
Let b = -507 - -103. Let c be (b/(-8))/(2/(-4)). Let i = -129 - c. Is -26 > i?
True
Let v = 1.38 - -1.46. Which is smaller: 0.03 or v?
0.03
Suppose 45 = -9*b + 54. Suppose -4*f - 4*y = 16, 0 = 4*f + 2*y + 25 + b. Which is bigger: f or -4?
-4
Let q(b) = 48*b - 7. Let k be q(9). Let c = k - 6379/15. Let a = -25.1 + 24.1. Which is greater: a or c?
c
Let z = -72 - -128. Let y = 150 - 97. Let i = z - y. Which is bigger: 3/5 or i?
i
Let f(q) = -q**3 + 9*q**2 + 4*q + 34. Let v be f(8). Suppose -v*m + 131*m = 22. Which is smaller: -6 or m?
-6
Let t = 698 - 1197. Let n = -475 - t. Is n smaller than -3?
False
Suppose 8*f = -31*f + 25 - 64. Is f at most as big as -1/557?
True
Suppose 49*g = -50*g + 76*g - 304888. Is 0.1 greater than g?
True
Let k be 8 + (438/(-24) - -6). Let w = 31/2 + k. Suppose -55 = -5*t - 0*t. Which is smaller: w or t?
t
Let w be (64/48)/(48/(-36)). Are w and -51/181 equal?
False
Let s(l) = 591*l**3 - 4*l**2 - 21*l + 38. Let p be s(3). Are p and 15896 non-equal?
False
Let n be 1141 + -1*(-3 - 0). Let i be n/(-117) + 2/(-9). Let l be (i - -7) + ((-51)/(-53) - -2). Which is greater: 1 or l?
1
Let q = 54376 - 54350.207. Let v = -25.8 + q. Is v at least as big as 1?
False
Let u be 182/5 - 2/5. Let y be (-10)/(-35) + 180/(-42). Let c(n) = -42*n - 131. Let v be c(y). Do u and v have different values?
True
Let t(b) = b**3 - 37*b**2 + 334*b + 138. Let g be t(19). Suppose 10*s - 5*s = 270. Suppose 21 = 3*m + s. Is g at least as big as m?
False
Let i = 456 + -4094/9. Let y(g) = -14*g + 165. Let t be y(8). Suppose 0 = t*x - 48*x. Are i and x nonequal?
True
Let l = 74 + -32. Let d = 2.20571 - 3.20571. Is l bigger than d?
True
Suppose -238464 = -286*j + 259*j. Suppose -14*s - j = 9*s. Is s greater than or equal to -385?
True
Let n = -0.135 + 0.13. Let p = n - -100.005. Let w = -127 + p. Which is smaller: 0.2 or w?
w
Let h(a) = -a**3 - 32*a**2 - 31*a - 35. Let l be h(-31). Let i be (-2)/1 - (1 - 40). Let n = i + l. Is 2 smaller than n?
False
Let g be (-1 - 0)*-1*28. Suppose 79*d + 3*i - 107 = 75*d, -2*i - 24 = -d. Is d less than or equal to g?
True
Let z = -5.3 - -0.8. Let j = -0.367 - 8.133. Let b = j - z. Which is smaller: b or -1/11?
b
Suppose 2*g + 8*i - 7*i + 788 = 0, 4*g + 1564 = -4*i. Is g at least -409?
True
Let d(t) = -t**3 - 12*t**2 + 24*t - 39. Let v be d(-14). Suppose 5*x - 9 = 2*q - 79, 5*q = -3*x + 237. Let p be (56/10)/(18/q). Is v at least as big as p?
True
Suppose -2*i - 3*k = 20, -6*k = 3*i - 5*k + 23. Let l be (-9)/63 - 1/i*141. Suppose -50 + 8 = -2*b. Which is smaller: l or b?
l
Let i(d) = 2*d**2 - 7*d + 15. Let m be i(7). Let z be 26/(((-6)/9)/(3/(-9))). Suppose -168 = -z*h + 677. Is m smaller than h?
True
Suppose 3*v + 645*x - 648*x = -35289, -5*x = 2*v + 23554. Is v >= -11766?
False
Let j = -1569 + 1556.19. Let a = -0.068 + 0.258. Let c = j - a. Does 2 = c?
False
Let w be (-392)/(-182) + (-1)/((-26)/(-4)). Let o be ((-7)/2 + w)/(54/180). Let k be o/(5/2) - 15/(-2). Are 5 and k unequal?
True
Let c = 32 + -32.089. Let l = c - 0.011. Which is bigger: l or 80?
80
Let r(f) = f**3 + 5*f**2 - 5*f - 5. Suppose 72 = -b + 17. Let h = b - -50. Let i be r(h). Is 21 smaller than i?
False
Let x = 893 - 916. Is -23 greater than x?
False
Let l = 154/401 - 209691/2005. Is l > -103?
False
Suppose 15858 = -182*f + 468*f - 2160. Do 57 and f have the same value?
False
Let j = 1746 + 425. Let z = 2152.71 - j. Let w = -0.29 - z. Which is smaller: w or -0.2?
-0.2
Let x = -8231/69 + 206/23. Let k = x + 21524/195. Is k greater than or equal to -1?
True
Let x(j) = -j**2 + 15*j + 18. Let l be x(17). Let n be ((-18)/24)/((-78)/l). Is n at most as big as 0?
True
Suppose -62*c - 50*c - 112 = 0. Is 2/1237 greater than c?
True
Let p be (-25947)/90888 - (111/(-168) - 54/(-144)). Which is smaller: -1 or p?
-1
Suppose -3*t = h - 27, -2*h - 39*t + 36 = -35*t. Is h <= -2/29881?
False
Let i be (-99676)/(-118)*48/32. Let n = i + -1267. Is n at most as big as 0?
False
Let v = 1.6 - -0.05. Let r = 78.35 + v. Which is greater: 0 or r?
r
Let n be (2*2001/(-2004) + 2)/((-128)/640). Is n smaller than 0?
True
Let y(q) = 2*q**3 + 57*q**2 - 156*q - 36. Let x be y(-31). Which is greater: x or 17?
17
Let z be (15/(-6))/(-2 - 90/(-44)). Let s = 21 + z. Which is greater: -28 or s?
-28
Suppose 4*i - 11 + 11 = -30*i. Which is smaller: i or -16/273?
-16/273
Let y(j) = j**2 + 1. Let k be y(1). Suppose -5*q + 72 = k. Suppose 0 = -554*w + 548*w - 3*z - 0*z + 51, 2*z - 18 = 0. Is w equal to q?
False
Let w(i) = -8*i. Let g be w(1). Let n = -11 - g. Let p = 10 + n. Which is bigger: p or 52/7?
52/7
Suppose 8*r + 82 = 290. Let d be ((-2)/(-2) + (-30)/r)/5. Let i be (-1 - -1)/(1 - 2). Is i less than d?
False
Let k = -13622 - -13524. Suppose 5*p + 196 = 3*p. Is p != k?
False
Let t = 4852/5 - 983. Suppose 546*j + 175*j = 9373. Let g = j + t. Which is smaller: g or -0.033?
-0.033
Suppose 0 = 19*l + 39*l + 696. Suppose -4 = 2*x - 2*n, -n + 0*n + 4 = 0. Let m be 24/72 - x/l. Which is bigger: m or 5?
5
Let n = -878040005647/14575 + 60242882. Let j = n - 1/275. Do j and -1 have different values?
True
Let y be (-3903)/(-15) - 33*(-42)/(-154). Is y bigger than 251?
True
Let i = 3 - 20. Let l(c) = 30*c - 58. Let k be l(3). Let f(r) = r**3 - 34*r**2 + 66*r - 62. Let b be f(k). Which is smaller: i or b?
i
Let r be ((-351417250107)/(-15394189200))/7 + -4. Let w = -5/3872752 - r. Let k = w + -18/25. Is -1 less than k?
True
Suppose 4*q + 20 = -0*q. Let d(c) = -10*c - 4. Let y be d(q). Let j(z) = -z**3 + 17*z**2 + 22*z - 328. Let b be j(17). Is b less than y?
False
Let c = 44 + -43.99. Let h = 0.07 - 0.116. Let n = -0.954 + h. Is n smaller than c?
True
Let r be (12 - 14)*1/(-8). Suppose -4*p = 3*w - 667, 26*w + 322 = 2*p + 16*w. Is p at most as big as r?
False
Let b be (-53939)/(-30) + 907/27210. Which is greater: -5 or b?
b
Let p = -1431.8 - -1432. Is p at most as big as -105?
False
Let r = 4364/7 + -623. Let c(t) = t**3 + 7*t**2 + 5*t + 5. Let u be c(-6). Let n be 2 - -1 - (-8 + u). Which is greater: r or n?
r
Let w be (-2*(-2)/8)/((-2)/(-12)). Suppose -1 = -5*o - j + 10, -5*j = w*o - 11. Let z be (9/(-2))/(-1 - o/1). Is z < 2?
True
Let a = 394 + -190. Let o be -4 + 621/a + 2/8. Is o >= -1?
True
Let h(b) = -b**3 + 3*b**2 + 4*b + 2. Let w be h(4). Suppose -15*m + 18*m = 4*a + 5, 4*m - 8 = 4*a. Suppose 2*c + w = 4*s, -c - 4*s + 2 = -m. Does 8/7 = c?
False
Let y be 1 - (-3)/(6/4). Suppose 2*v + 5 = y. Let d = -8745546/19 + 460292. Which is smaller: v or d?
v
Let b = 491443 + -3446830/7. Which is smaller: -960 or b?
b
Suppose 0 = 5*u + 5794*q - 5789*q - 940, 4*q = u - 228. Which is bigger: 9 or u?
u
Let a = 0.6005 + -51.6005. Which is greater: 0.045 or a?
0.045
Let a(c) = c**2 + 10*c - 28. Let y be a(-12). Suppose -4*w - 39 = -2*l + 7*l, 4*l + 29