e ((-50)/(-100))/(54/48) + (-546)/8721*7. Are f and n equal?
False
Let o be 10/4*(-1088)/(-340). Suppose 5*z + 9 = -4*w, -5*w + 149*z = 152*z + o. Which is bigger: w or -64?
w
Let k = 264767/12108 - -50/1009. Which is smaller: k or 21?
21
Let d be 9/6*(-8)/24*2. Is 352 > d?
True
Let f = 814771/73 + -11161. Suppose 34 = 23*x + 11. Is x greater than or equal to f?
True
Let v = -268.031 - -0.031. Let h = -270 - v. Which is smaller: 7/8 or h?
h
Suppose -2*g + r = g + 178, 2*r - 8 = 0. Let j = 82 + g. Let d be (-14)/(-36) - 36/j. Which is bigger: d or -2?
d
Let f = 0.614 - -18.236. Let p = f + -19. Let i = -0.04 - p. Is -1 greater than i?
False
Let y(n) be the second derivative of n**3/3 - 23*n**2/2 - 4*n - 4. Let p be y(7). Is -12 < p?
True
Suppose -203*i + 10636 = -8649. Suppose -2 - 4 = -3*h. Suppose -6*g + 285 = -3*g + 4*w, 2*g + h*w - 190 = 0. Is i > g?
False
Suppose -448 = -24*m - 8*m. Suppose -7*l + m - 252 = 0. Is -36 greater than or equal to l?
False
Suppose 2*i - 5*w + 8 = 0, -8 = -2*i + 4*w - 7*w. Which is smaller: 32/1083 or i?
32/1083
Suppose -4 = 2*u + 3*x - 0, -2*u + 3*x - 4 = 0. Suppose -5*f = -2*h - 27, h = -f - 0*f + 4. Suppose 88 = -3*r - f*p, -4*r + 3*p - 83 = 44. Is u at most r?
False
Let r(b) = -8*b - 72. Let a be r(-9). Let v = -424 + 32647/77. Are v and a unequal?
True
Let w = -105008/3 - -556894/15. Let d = w + -2109. Is 16 less than d?
False
Let a(w) = 4 - 12 + w - 12 + 2 + 1. Let y be a(-16). Is y > -28?
False
Let h = 593151 + -8103035807/13661. Are -1 and h equal?
False
Let p = 8 - 6. Let l = 202553 - 202552.96. Is l < p?
True
Suppose 0 = 279*j + 41*j - 2560. Let p(u) = u + 6. Let i be p(-4). Let v = 7 + i. Is j >= v?
False
Let p be 4524/(-468) + 16/(-12). Is -119/10 at least as big as p?
False
Let t = 77440359/31 + -2497502. Let n = t + -574. Let w be 4/22 + (-45)/(-55) + -2. Which is smaller: n or w?
w
Let n = 9973 + -10412. Which is greater: n or -438?
-438
Let f = -22746 - -21377. Is f at most -2?
True
Let d(k) = -k - 1. Let v be d(2). Let g = v + 6. Suppose -18 = 5*l + g*w, l + 4*w - 14 = -4. Is l bigger than -6?
False
Let h = 53 + -53.328. Let s = h + 0.328. Is 4.8 less than s?
False
Let r = -10.5 + 3.3. Let b = 7.4 + r. Is b greater than 0.67?
False
Let j be (1 - 61/(-4))/(15*19/1140). Is j at least 45?
True
Let b be (-1837)/(-308) + (-2)/(-7). Let p(n) = -10 - 9 - 18 - 6*n + 0. Let h be p(-7). Which is greater: b or h?
b
Let p = 5.58 + -5.8. Let g = -389.8 + 389. Which is smaller: g or p?
g
Let w(p) = p + 5. Let f be w(-7). Let s = 1 + f. Let m be 186/(-1092) + 380/988. Which is greater: s or m?
m
Let d = -15773 - -15772. Is d <= -175/134?
False
Let z(v) = 434*v**2 - 433*v**2 - 4 - 21*v - 2. Let j be z(21). Suppose 0 = s + 2 + 4. Is s less than j?
False
Let v(d) = -d**2 - 127*d + 1360. Let t be v(10). Which is bigger: -699/62 or t?
t
Let c be ((-322)/21 - -15)/((-3)/45). Is 26 < c?
False
Let n = -186/163 + 85677/74654. Which is greater: n or 3/4?
3/4
Let j = -1466 + -2845. Are j and -1 non-equal?
True
Let o be (-1017)/((2/5 - 0)/(302/(-755))). Is o not equal to 1017?
False
Let n = 103 + -183. Let f = n + 82. Suppose 5 = 7*b - f. Which is greater: 12/11 or b?
12/11
Let x = -3.246 - -0.156. Let l = x - -48.09. Which is smaller: 0.1 or l?
0.1
Let h(s) = -s**3 - 10*s**2 - 8*s + 10. Let u be h(-9). Which is smaller: u or 3/1055?
3/1055
Suppose 0 = -2*r + 6*r + 264. Let z(c) = 26*c - 3. Let l be z(3). Let m = r + l. Does m = 9?
True
Let q be ((-12)/6)/506*(-4)/6. Let o = 1919 - 1919. Which is smaller: q or o?
o
Let d be 5 - (-5)/(65/(-3344))*-1. Let t = d + -269. Is -7 greater than t?
False
Let v = -9 + 7.1. Let l be 8 - 40/(45/9). Which is greater: l or v?
l
Let l be (1 - 0)/(123/(-12) - -10). Let y be (-3)/l - (-11)/((-44)/839). Is y greater than or equal to -209?
True
Let z be ((-7)/(-56)*4)/((-4)/(-88)). Let u be (z + -18)*(-49)/(-1). Are u and -342 equal?
False
Let z be (16/(-2) - 1)/(15/(-5)). Let r be z/3 + 2 - 0/(-10). Which is smaller: 5 or r?
r
Let t(w) = 6*w + 44. Let h(a) = -2*a + 54. Let j be h(24). Let c be t(j). Which is bigger: 78 or c?
c
Let d(t) = -t - 1. Let w(i) = -3*i - 2. Let n(s) = 8*d(s) - 3*w(s). Let h be n(0). Let z = -37/35 - -6/7. Are z and h nonequal?
True
Let m = -9332.05 + 9524. Let f = m - 184. Let g = f - -0.05. Which is greater: g or -0.4?
g
Let r(k) = -72*k + 158. Let y be r(-5). Is 518 greater than y?
False
Let v be (2/(-6))/(154/6). Let j(n) = n**3 - 25*n**2 + 28*n - 92. Let i be j(24). Suppose 0*s - 4*y - 8 = -3*s, i*s + 3*y = -6. Which is smaller: s or v?
v
Suppose 14341 - 2221 = -120*n. Do n and -508/5 have different values?
True
Let m = -103 + 275. Let j = 107 - m. Is -0.1 smaller than j?
False
Let y = -14/3047 - -78443/493614. Let d = 1/81 + y. Is 6 smaller than d?
False
Let g(s) = -10*s + 66. Let k be g(-12). Let c = -188 + k. Is 37 at most as big as c?
False
Let j be (8 - (-165)/(-20))/(84/(-32)). Which is smaller: 233 or j?
j
Let p = 72 + -58. Let w be (12/p)/((-7)/49). Let b be (w*7/(-98))/(40/(-14)). Which is greater: b or 1?
1
Suppose -4*u + 288 = -u. Let f = -217 - -119. Let a = f + u. Is -24/13 > a?
True
Let z = 67665/22 + -3074. Is z bigger than 3?
False
Let t be (-2960)/(-259) + (-9)/21. Let h(w) = -4*w**2 - 17*w + 26. Let f(q) = q**2. Let m(p) = -5*f(p) - h(p). Let v be m(t). Which is greater: 39 or v?
v
Suppose 2*u - 6 = 0, -3*b - 8*u + 60 = -4*u. Suppose 4*v - 42 = -2*p, -2*p - v = -29 - b. Is 25 != p?
True
Suppose -i = -5*m + 2, -3*m + 5*i - 12 = -0*m. Suppose 0 = 342*l - 356*l + 462. Which is bigger: l or m?
l
Let d be (4/(-16))/(14/452). Let a be ((-272)/(-32))/((-2)/(-2)). Let g = d + a. Which is smaller: g or -0.04?
-0.04
Suppose 8 = -32*w + 36*w. Let z be 2/w + 0 + -66. Let u = z + 70. Is u < 5?
False
Let n = -14 - -14.28. Let o = n + -0.41. Let l = o - 1.87. Is l at least as big as -0.03?
False
Let a be (6/(-27) - (-186)/(-54) - -3)*-39. Is 17 equal to a?
False
Let k be 1/(3/(-2)) + -1. Let n = 127 + -222.2. Let h = -95 - n. Which is smaller: h or k?
k
Let q be 3 - (3 + -2 + 1). Let v be (200/(-2100))/(3/42) + (-436)/(-282). Is q at most v?
False
Suppose -21*r - 432 = -17*r. Let a be (-24)/r + 11*3/(-27). Is a greater than or equal to 1/6?
False
Suppose 64*r - 28*r - 731 = 19*r. Which is greater: 52 or r?
52
Let w = 12.24 + -22.803. Let y = -0.773 - w. Let q = y + -10. Is q greater than -1/3?
True
Suppose -5*u - 145 = 156 + 4. Which is smaller: u or -14?
u
Suppose -49289 = 20*d + 90631. Is d at least as big as -6995?
False
Let l = 2.597 + -2.59. Let h = -10.007 + l. Which is smaller: -2/9 or h?
h
Let l = 6796 + -7022. Which is smaller: l or -224?
l
Let n = -9777 + 9777. Is n less than -21/433?
False
Let c = 84 + -51. Let m = c - 57. Let i be 5/m + (-8)/(-32). Which is bigger: i or 1?
1
Suppose 0 = -2*g - 0 - 2, -3*l + 4*g = -295. Let u = 533 - 361. Let f = -76 + u. Which is bigger: f or l?
l
Suppose 3*m + 3 = -2*f, -66*f + 3*m + 3 = -61*f. Let k = -1/72 + 131/1656. Which is smaller: f or k?
f
Let h = -2887.04 + 103.04. Is h > -1?
False
Let n = -0.1179 + 1.2179. Do 53 and n have the same value?
False
Suppose 0*l + 2*l - 10 = -2*b, 10 = -l + 2*b. Suppose -28*a - 725 - 143 = l. Is a greater than -37?
True
Let r(b) = b**3 + 2*b**2 - 24*b - 15. Let y be r(-6). Which is bigger: 18 or y?
18
Let r = -1607 + 1606.7. Is r smaller than 34.1?
True
Suppose 0 = -2*t + 2*b + 6, 3*t - 5*t = -5*b. Let p be t/(-8)*(0 - 22/(-55)). Does -4 = p?
False
Let n(g) = -g**3 - 62*g**2 - 871*g + 80. Let w be n(-22). Let m = 0.2 + -0.3. Is w at least as big as m?
False
Suppose -36 = 4*j - 4*m - 500, -m = 2*j - 238. Do j and 117 have the same value?
False
Let o be 1/(2 + (-19)/9). Let r be ((-435)/10)/1*-2. Let i = 80 - r. Which is greater: i or o?
i
Suppose y - 2*v = -0*v + 9, 0 = -2*y - 3*v - 10. Let z be (10 - (-64856)/(-136)) + (-4)/34. Let j = z - -17280/37. Is y bigger than j?
True
Let z(w) = -w + 6. Let n be z(4). Suppose 2*p = -2 - n. Let f be 58/(-174)*1/2. Is f != p?
True
Let s = -0.11461 + -0.31539. Which is smaller: -5.2 or s?
-5.2
Let r = -3212 + 3232. Which is bigger: -23 or r?
r
Let n be (39 - 43)*((-6888)/(-858) + 4/26). Is n greater than -34?
True
Let l(s) = s**2 - 740*s - 4429. Let x be l(-6). Which is smaller: 29 or x?
29
Let p be (-1)/3 - 7/9. Let l = 324.263 - 0.