be x(b). Which is greater: -1 or f?
f
Let f = 8196.643 - -18.357. Which is greater: -1 or f?
f
Let r = 907 + -901. Let s be (-4)/40*(-24)/r. Which is smaller: -0.548 or s?
-0.548
Suppose 5*h - 3 = 7, 3*w + 25 = 5*h. Let q(r) = -3*r + 18. Let i be q(5). Suppose -1 = 5*p - n, -53*n + 58*n = i*p + 5. Which is greater: p or w?
p
Suppose 4*t = 5*q + 24, t - 2*q = -t + 10. Let g be t/(1*-2*(-2)/20). Let a(p) = -p**3 - 7*p**2 + 3. Let f be a(-7). Which is bigger: f or g?
g
Let i be 6/4*(-12)/9. Let a be 0/((1 - 1) + i). Let s = -2839/6878 + -3/362. Which is greater: a or s?
a
Let v be 57 - (-98)/(-12 - -26). Is v at least -16?
True
Let d be -7 - (3 + -7) - -2*11. Let y be (-15)/10*(d/9 - 2). Let b = 570/7 - 23384/287. Is y at least b?
False
Let o = 8987 + -8988. Is o greater than or equal to -1/5447?
False
Let v = -0.504 + 10.384. Let k = -0.12 - v. Which is greater: k or 0.06?
0.06
Let o = 151/25 + -579/100. Is 917 greater than or equal to o?
True
Let o = -2314/5 + 284632/615. Which is smaller: 0 or o?
0
Let d be -5*17/1870 + (-34653)/(-761398). Which is greater: d or 1?
1
Let t be 2/12*75/(-25)*2. Let j be 60/2*2/(-5). Let o = -10 - j. Which is smaller: o or t?
t
Suppose 419 = 5*r - 241. Let z = 57 - r. Let d be (0 - -1)/(z/30). Which is smaller: d or -8?
-8
Let y(q) = -q + 1. Let f be y(-12). Let w(v) = 91*v - 44. Let c be w(f). Let t = c + -154905/136. Which is greater: t or 1?
1
Let r(k) = -3021*k - 433. Let b be r(7). Does b = 0.1?
False
Let n(l) = l**2. Let w be n(1). Let b = 19611/8350 + -63/334. Which is bigger: b or w?
b
Let d = 6287/28251 - 1/3139. Are d and 696 non-equal?
True
Suppose 4*v + 3*f - 29784 = 5*f, -5*f + 37215 = 5*v. Let r be (v/(-15))/(316/(-552)). Let q = r + -867. Which is greater: q or 0?
q
Let d = 16367 - 50792/3. Does d = -563?
False
Let g = -233003/25 + 9323. Let w = -616/75 + g. Is -4 at most w?
False
Let x = -4814.8 - -4560. Which is bigger: -1 or x?
-1
Let u be (-10)/3*(-16)/((-400)/(-45)). Let g(s) = -13*s + 82. Let t be g(u). Is 0.08 != t?
True
Suppose 8 = b - 4*c + 18, 2 = 2*b + 3*c. Let v be -7 - (-1 - 8) - (-2)/b. Which is bigger: -1/231 or v?
v
Let d(r) = -2*r**2 + r - 19. Let l be d(5). Let v be ((-16)/(-32))/((-2)/l). Let b be (-166)/666 - v/(-72). Does -1 = b?
False
Let l(x) = x**3 - 2*x**2 - 4*x + 3. Let z be l(3). Suppose a + 3*b = 22 - 12, 4*a + 5*b - 26 = 0. Let k be 1/(14/a) + (-1166)/(-1113). Is k smaller than z?
False
Let a(d) = 11*d - 1310. Let p be a(119). Let k = -2/5673 - -5881/589992. Is p at least k?
False
Let p be (20/7 + -3)*924/396. Is -2.1321 <= p?
True
Suppose -5*l + 581 + 49 = 2*s, -3*l + 378 = 4*s. Let h = l + -48. Is 77 equal to h?
False
Let i(p) = -p**3 + 13*p**2 + 18*p - 48. Let h be i(14). Suppose 3 = 5*n + h. Is n equal to 1/81?
False
Suppose 3*v = 2*o + 17, 2*v - 5*o - 16 = -6*o. Let k be (-5 - (7 + -14)) + (-10)/v. Which is bigger: 2 or k?
2
Let r = -9937 + 10010. Do r and 89 have different values?
True
Suppose -40204*g + 40233*g = -4756. Suppose -u - 5*j = 160, -u = -0*u + 4*j + 161. Which is bigger: g or u?
g
Let n = -35/188 - 3/47. Let d be (11 - 1593/144)/((-5)/(-130)). Is n > d?
True
Let s be 128274/351 - (146/365 - (-8)/(-45)). Are 364 and s nonequal?
True
Let g be 30/48*(5 + 24295/(-25)). Do 0 and g have the same value?
False
Let b be 147/(-21) + (-1048)/(-147). Let x = b + 2197/441. Which is bigger: x or 6?
6
Suppose -2*g = -4*t - 202, 5*t + g + 260 = 6*g. Are t and -47 unequal?
True
Suppose -204*z + 277*z + 383 + 1104 = 246. Let y = 9.8 + 3.2. Is y less than z?
False
Let t = 275179/2 - 133064. Let j = t + -4643. Let r = 118 + j. Which is greater: 33 or r?
33
Let x(r) = 610*r + 3650. Let g be x(-3). Which is greater: g or -0.1?
g
Let p = -1/11610 + -742927/1311930. Which is smaller: p or -2?
-2
Let k = -184/147 + 1679/441. Is -1/5 greater than k?
False
Let c be 23 - -591 - (-6)/1. Which is bigger: c or 618?
c
Let w = 231 - 230.788. Let k = -0.296 + w. Which is smaller: k or -1?
-1
Let n = 1315/2 - 661. Is n less than -0.122?
True
Let u = 9 - 702. Let m be 3 + 1674/u - 4/7. Do 0 and m have the same value?
False
Suppose 553*i - 555*i = 2. Is i greater than -455?
True
Let x be 1 + 2 + (2 - 3). Suppose 0 = -4*f + 3*j + 5 + 4, -3*j + 12 = 3*f. Suppose -5*i = -x*q + 62, f*q = 2*i + 2*i + 79. Is 19 bigger than q?
False
Let n be (8/20 + 0)*-1*50/(-20). Let o = -3123 - -883808/283. Which is bigger: n or o?
n
Suppose 1 = 3*l - 2*l + 5*g, -l - 3*g = 1. Let q(r) = -r**2 + 8*r + 6. Let h be q(7). Let c = -20 + h. Does c = l?
False
Let g = 626 - 4390/7. Let v = g - -10/21. Let h = -17 - -8. Is h smaller than v?
True
Suppose 0 = 5*k - 19 - 6. Let b be k/2*4*6/(-30). Let i = -8251/13 + 634. Which is smaller: b or i?
b
Suppose -5*m = -49 - 906. Let d = m + -194. Which is smaller: d or 26?
d
Let k = -1564.21 + 1488.197. Let i = k + 0.113. Let m = -76 - i. Is -63 greater than m?
False
Let g be ((-4)/108489)/((44/(-126408))/(-11)). Let n = g - -50/43. Let f = -909/28594 - n. Which is greater: f or 0?
0
Let o(x) = 19*x**2 + 191*x + 10. Let b be o(-10). Is b at most -37/81?
False
Let o = 13981 + -13406. Which is bigger: 578 or o?
578
Let v = 5070.849 + -5083. Let s = -12.1 - v. Let t = s - -7.949. Which is greater: t or 1?
t
Let t be ((-36)/(-24))/((-2)/(-8)). Suppose t + 6 = 4*x, -d + x + 1 = 0. Let g be 8/(-44) - 1*d/(-22). Which is greater: -2/53 or g?
g
Let m = -8.632 - -8.6. Let f = -0.093 + m. Let t = f + -0.675. Is 1 at least as big as t?
True
Suppose 0 = 2*u - 4*u + 2. Let f be (620/68 - 8) + u + -2. Suppose -2*k - 5 = -3*c, -2 = c - 2*k - 9. Which is bigger: c or f?
f
Let o = -5 + 6. Let k be (-34)/(-12) + (41 - 11)/10 + -5. Which is smaller: o or k?
k
Suppose 0 = -4*f - 6*d - 40, f = 5*d - 1 + 17. Suppose -2*v = -6*v + 8. Suppose -5*l - 21 = -v*l. Which is greater: f or l?
f
Let s = 4 - 0. Suppose -3*v = 4*x - 80, -x - 6*v = -5*v - 21. Suppose -4*k + 5 = 3*j, 0 = -k - 4*k + s*j - x. Which is bigger: 2/77 or k?
2/77
Let c = 21730 + -2976973/137. Which is smaller: -1 or c?
-1
Let a be 190/12*((-759)/220)/23 - 6. Which is bigger: a or -9?
a
Let t be 13114659/(-240) - (-6)/(-15). Let z = t + 54622. Let p = -23 - z. Which is smaller: -1 or p?
-1
Let q = 501 - 917. Let s = 367 + q. Which is smaller: -146/3 or s?
s
Suppose 85*s = 14*s - 142. Is s <= -198/91?
False
Let s = 26985 + -26985. Is 2/1025 != s?
True
Let z = 1303 - 1321. Let h be (-3 - -2) + 1 + -17. Which is bigger: h or z?
h
Let n = 9772/13 + -539774/715. Is -3 less than or equal to n?
False
Let h = 13 - 17. Let y be -5 - h - 3/3. Let c = 3 + y. Is 6/7 at least as big as c?
False
Let x = 27404 + -27421. Which is smaller: x or 52?
x
Suppose -6*t + 157 + 290 = -3*d, -t + 143 = -d. Is d bigger than -130?
False
Suppose 0 = -3*r + 3*z, -7*r + 2*r + z + 16 = 0. Suppose 4*f = 4*k - 24, -r*k - f + 8 = -11. Let n(a) = -2*a + 14. Let g be n(k). Are -2 and g non-equal?
True
Let r be (27/21)/(-9)*2. Does -3339 = r?
False
Let p(c) = -c**3 - 5*c**2 + 2. Let o(a) = -a**2 + 16*a - 20. Let d be o(15). Let n be p(d). Suppose r = -n*r + 42. Which is smaller: 4 or r?
4
Let y(z) = -17 + 0 - 31 - 51*z. Let v be y(-9). Suppose 0 = -11*s - 125 + v. Which is smaller: s or 25?
25
Let w be (-378)/84 + (-10)/(-3) + -2. Suppose n - 3*r = -2 + 14, 0 = 5*n - 2*r - 34. Suppose -4*x = -n*x - 8. Are w and x unequal?
True
Let z = -1552 - -1519.76. Let y = -32 - z. Let d = y - 0.14. Which is smaller: 5 or d?
d
Suppose -5 - 40 = -9*o. Suppose 0 = o*x - 155 + 20. Suppose -7*n + 27 - x = 0. Is n at most as big as 2/325?
True
Let c(t) = -3*t**3 + 488*t**2 + 164*t - 31. Let x be c(163). Which is greater: 90 or x?
x
Let i = 75.092 - -1.208. Let s = 9.7 + i. Let o = -115 + s. Are 0.1 and o nonequal?
True
Let k be (-3 + 1)/(59 - 55). Which is bigger: -1635.2 or k?
k
Suppose 0 = -2*c + 2*n - 10, c + 18*n - 15*n - 15 = 0. Let v be 4 + 5/5 + 3467/(-693). Which is greater: c or v?
c
Suppose 3 - 38 = 5*s. Let t be -6*((-55)/(-25) - 2)/((-6)/(-90)). Which is greater: s or t?
s
Suppose 5*u - 24 = j + 104, -3*u = 5*j + 752. Is j less than -143?
True
Let h(r) be the first derivative of r**3/3 - 13*r - 2. Suppose 5*t = 25, 3*z = -t - 7 + 24. Let k be h(z). Is 4 at least k?
True
Let z = 42 + -39. Suppose 0 = -z*c + 7*c - 16. Suppose -2 = c*s - 2*s. Which is smaller: s or -1/28?
s
L