m = s, 6 - 7 = -5*m - 2*s. Which is greater: b or m?
m
Let p be (-2)/(-17) - (-5)/((-595)/14). Let g = 17630 - 70129/4. Let q = -5123/52 + g. Is q smaller than p?
True
Let r be (-257)/(-4) + (-2)/8. Suppose 132*a = 142*a - 640. Is a at least as big as r?
True
Suppose 8 = o - 2*n, o + n = 30 - 34. Suppose 11*r - 5*r - 6 = 0. Let c be r/3*(-4)/94. Is o at most as big as c?
False
Let k(t) = -10*t + 4 - 4 + 2 + 4*t. Let i be k(-1). Suppose 2*j - v = 14, 4*j - 10*v = -5*v + 40. Which is smaller: j or i?
j
Let z = -11.413 + 0.513. Let b = 11.2 + z. Let k = 0.4 + -0.43. Are k and b nonequal?
True
Let t be 4/(-12) - (-3)/(180/(-28)). Suppose 2*p - 10 = 6. Let g be p/16 - (-4)/(16/6). Is g < t?
False
Let t(g) = -4*g**2 - 9*g - 3. Let u be t(-2). Let a be u/(-2) - 1 - (-15)/(-270). Which is greater: a or -1?
a
Let g(a) = -707*a + 6357. Let n be g(9). Which is bigger: n or 15?
15
Let f = 81655 - 10370245/127. Which is smaller: f or -1?
-1
Let b = 22930.63 - 22932. Is b at least as big as 4/75?
False
Let p = 100 + -58. Let f be p/(-4) + ((-27)/2)/(-9). Let d be f/((-432)/52) + 6/(-8). Is d equal to -2/7?
False
Suppose 0 = -2*n - 100*p + 101*p - 3943, 0 = 4*n + 4*p + 7904. Which is bigger: -1972 or n?
-1972
Let g = 781 - 775. Let h(z) = -19 + 5*z - 4*z + 2*z. Let n be h(g). Which is smaller: n or -1/4?
n
Let t = 483 - 457. Let i be t/195 - 1*(-6)/(-45). Do i and 3/29 have the same value?
False
Let l = -0.4468 - 0.0532. Let m(r) = -5*r. Let a be m(4). Let g be 18/a - 9/(-6). Which is smaller: l or g?
l
Let r = 25 - 24.761. Let p = 0.239 - r. Let a = 2 + -2.6. Is p greater than a?
True
Let v = -8233 + 535127/65. Which is smaller: v or 0?
v
Let d = -8.506 + 7.016. Is d bigger than -0.2?
False
Let j be (4/2)/(22/1331)*1. Suppose 0 = -k + j - 122. Let p be (14/(-2) - -3)*k. Which is smaller: 7/2 or p?
7/2
Let k be (-6682)/(-78) + -3 + 3/9. Which is smaller: k or -38?
-38
Suppose 2*r = 2*v - 232, 0 = -4*r - r + 5. Let s = 35/246 - -57125/492. Let n = v - s. Which is greater: 0 or n?
n
Let y(d) = 6*d + 17. Let w be y(1). Let x = -4.96 + 5. Which is smaller: w or x?
x
Suppose -3*p = 3*v - 444, 5*v + 0*v + 2*p = 746. Suppose 57*t - 67*t = -v. Which is bigger: t or 7?
t
Let q = 309 + -44. Suppose -2*v = 5*n - q, v + n - 134 = -3*n. Is v smaller than 131?
True
Let q = 58 - 50. Let z be 76 - (4 - q - -3). Let l be (-283)/z + 6/99*-3. Which is smaller: l or -3?
l
Let c(a) = -3*a**3 + 6*a**2 + 9*a - 9. Let z be c(6). Let r = -639 - z. Are -2/5 and r equal?
False
Let q = 8217 - 7544. Is 673 bigger than q?
False
Let s(x) = -x**3 + 4*x**2 + x - 2. Let v be s(7). Let z = -216 - v. Let p be 3/(-36)*z - 2/3. Is p less than 5?
False
Let x(g) = 2*g**2 - 89*g + 953. Let m be x(18). Which is bigger: m or -39/19?
m
Let g = -526 - -743. Let f be (g/(-21) - -10) + (-20)/(-114). Which is smaller: f or -2?
-2
Let g be -5 - (4 - 13)*1. Let p(j) = -2*j**3 + 5*j**2 - 7*j + 5. Let o be p(g). Do -72 and o have different values?
True
Suppose -66 = -2*l - q, 11 = 5*q - 9. Which is bigger: l or -124?
l
Let s = -2581/15 - -857/5. Is s not equal to 156?
True
Suppose -316*n = -38*n + 675540. Do -2433 and n have the same value?
False
Let m = -103 - -105. Let v = 2.81 - m. Let n = v - 0.51. Is n at least 4/7?
False
Let c be -243 + 211 + (-1)/((-1)/6). Which is greater: c or -63?
c
Let o(f) = f**2 - 17*f + 2. Let h be o(19). Suppose 0 = 42*d - h*d. Let r = 14 - 85/6. Is d bigger than r?
True
Suppose -5*z + 37 = -4*a, 5*a = 3*z + a - 19. Suppose -4*l = -z*l. Let m = l - 3. Which is greater: m or -42/17?
-42/17
Let j be (1/18)/(25 + 298/(-12)). Is -1/36 > j?
False
Let v be 248*(-7)/7 - (-6 - -7). Is v > -246?
False
Suppose 37*w - 20*w = 18*w. Which is greater: -8/1299 or w?
w
Let w = 61.996 - -0.004. Let b = 75 - w. Let c = b + -21. Which is smaller: 0 or c?
c
Let t = 224.86 - 2.86. Let f = t - 223. Is 23 > f?
True
Let r = -3699.67 + 3698. Which is bigger: r or -13?
r
Suppose -84 = 7*m - 0*m. Let u be (1 + 7)*(m + 180/16). Which is greater: u or -12?
u
Let b(v) = v**2 + 7*v + 19. Let m be b(-8). Let x be (7 + (-1197)/m)*(-1)/(-2). Which is bigger: x or -19?
x
Let v = -290/7 + 3319/84. Let i = v + 9/4. Suppose 0 = -13*s - 146 + 107. Which is bigger: i or s?
i
Let o be (-191)/2 + -1*(-2)/4. Let s = 94 + o. Let g be (-2 - s/1)/(3/6). Which is greater: -5/7 or g?
-5/7
Suppose 5*b = b - o + 11, -2*o - 14 = -4*b. Let r be ((-8)/32)/((-2)/(-23949)). Let j = r + 2998. Which is bigger: j or b?
j
Suppose 0 = -44*n + 48*n + 8. Let j be (-2 + (-42)/(-18))/n. Which is bigger: 12/25 or j?
12/25
Let q(o) = -o**3 - 38*o**2 + 37*o - 72. Let b be q(-39). Let d = 120 + b. Is d >= 127?
False
Suppose -5*p + 5 = 3*j, 0 = 5*j - 10*j - p + 1. Let t be j*((-12)/(-18))/(8 - 6). Which is greater: t or 46/31?
46/31
Suppose -3*t + 36 = 3*m, 4*t + 3*m = -t + 62. Let o be t*(4 - 10/2). Which is smaller: o or -11?
o
Let q = -4.306 + 216.306. Which is smaller: -4 or q?
-4
Let v(k) = -k**2 + 3*k + 3. Let z be v(6). Let w = -59634 + 59617. Which is smaller: w or z?
w
Let k = -8.573 - -9.773. Let d = -3.6 - -4. Is k at least as big as d?
True
Suppose -24 = -10*z + 26. Suppose -2*t + 6*t = -12, z*t + 15 = -5*j. Is -1 at least as big as j?
False
Let y = 776 - 3896/5. Let b = -18/5 - y. Let j = 1 - -2. Which is bigger: b or j?
j
Let t be (-7)/(-63)*(2158925/(-118) + -1). Let r = -2033 - t. Let g = -2117/2478 + r. Which is bigger: g or -3?
g
Let d be (0 - -2)*254/4. Suppose 250*m - d = 251*m. Is m bigger than -127?
False
Let m = 8805 - 5083. Is 3722 <= m?
True
Suppose 121*d + 9070 = -6418. Which is greater: d or 31?
31
Let u(h) = h**3 - 8*h**2 - 11*h + 5. Let g = -7 + 16. Let o be u(g). Let k(r) = -2*r**2 + 2*r - 1. Let d be k(3). Is o greater than or equal to d?
True
Let p = 79316 + -1031970/13. Is p bigger than -67?
True
Let a(f) = -117*f - 22. Let b be a(11). Let l be (b/4)/(-7) + 12/(-16). Is 47 smaller than l?
False
Suppose -f - q + 974 = 0, 5*f - 1706 = 2*q + 3157. Which is smaller: 975 or f?
f
Let u = 21045 + -11114. Which is smaller: u or 9932?
u
Let o = -85 + 169/2. Are 70 and o nonequal?
True
Suppose -2*w + 7*w = -c + 135, 120 = 5*w - 2*c. Let j = 12807 - 12804. Which is bigger: w or j?
w
Let b be 4 + (132/462)/((-4)/38542). Is b greater than -2749?
False
Let h be 7 + 242/(-16) + 25 + -18. Is -50 at least h?
False
Let x(s) = 83*s**2 + 3234*s - 54. Let q be x(-39). Is 432/7 greater than q?
False
Let s(j) = 3*j**2 - 13*j + 26. Let r be s(3). Let b be -2 + (-388)/14 + (-4)/r. Do -6 and b have the same value?
False
Suppose -2*d = -2*k + 74, 0 = 724*k - 725*k + 2*d + 36. Which is bigger: k or 977/25?
977/25
Suppose -z = 2*i - 4*z - 18, -5*z = -2*i + 30. Let m = 0.628 - 325.628. Is m equal to i?
False
Suppose -11*c = -13*c + 10. Suppose 4*v + 4 = 5*b - 18, -4*v - 18 = -3*b. Let u be b/c*(-5)/73. Which is smaller: -1 or u?
-1
Let w(a) = 2*a**3 - 39*a**2 - 17*a - 60. Let l be w(20). Which is smaller: 1/8478 or l?
l
Let h = 0.2075 + -0.1075. Let l = -1666/5 + 8342/25. Which is smaller: h or l?
h
Let b = -1304 - -1369. Are 5 and b unequal?
True
Let h(j) = -j**3 - 23*j**2 - 1. Let a be h(-23). Is a bigger than 1/567?
False
Suppose 0 = -2*q - 3*q + z + 70, z - 60 = -5*q. Let x be (-5577)/676*5/3*(-8)/10. Which is smaller: q or x?
x
Let x = 398 - 397. Let m be 6*-4*4/(-848). Which is smaller: m or x?
m
Let k(n) = -n**2 - 7*n + 160. Let o be k(-13). Let v be o/(-6) - (-5 + (-124)/(-24)). Are -15 and v unequal?
True
Let b be (-14)/(-63) - ((-14)/(-105) + 2/(-15)). Which is bigger: b or -120.4?
b
Let d be (539/(-2) + 1)/(9/(-144)). Suppose 0 = j - 4*x - 1060, -4*j + 5*x = 3*x - d. Let p = 4281/4 - j. Which is smaller: p or -5?
p
Suppose r = 2*d + 3, 5*d - 8*r = -15*r + 21. Which is smaller: 66/19 or d?
d
Suppose 0 = 11*z - 2365 + 6490. Is -373 <= z?
False
Let y be (1611/210)/(12/(-16)). Let a = -87/7 - y. Which is smaller: -3 or a?
-3
Let b = 121/32056 + 38672169/64592840. Let o = -1/403 + b. Is 4 bigger than o?
True
Let w(a) = a**2 - 6*a - 103. Let d be w(23). Let u = 262 - d. Which is smaller: -11 or u?
u
Let f(q) = -4*q**2 - 81*q + 155. Let n be f(-22). Is -1/12281 at most as big as n?
True
Suppose -4*k - 2*r = -10, -r + 1 = -k - 1. Suppose -q = -2*v + 7*v + k, -5 = v - q. Let x be v - -1 - (-23)/1. Which is smaller: 3 or x?
3
Suppose -2