 2*z. Suppose -z*i - 21 + 15 = 0. Let g be 10/(-44)*(-6 - i). Is g <= 1?
True
Suppose 5*n + 87 = d, n - 30*d + 32*d + 2 = 0. Let a = -38 - -20. Which is bigger: a or n?
n
Suppose 2 - 1 = 5*r + 3*i, -13 = -2*r + 3*i. Let m = 276 + -274. Suppose 4*z + m = r*z. Which is bigger: z or -0.2?
-0.2
Let y(m) = -m**2 + 4*m - 1. Let f be y(3). Suppose 2*r = h + 140, -5*h + r - 274 = -3*h. Let v be -3*h/144 - 3. Is v >= f?
False
Suppose 4*c + 5*o - 615 = 0, 5*o = -0*c - 2*c + 315. Let s = -26 + c. Let q = 72 - s. Which is bigger: q or -51?
-51
Let c be (4*-6)/(332596/680 + -7). Let y = 2/1999 + c. Is -0.8 <= y?
True
Suppose 25*s - 70*s = 0. Which is smaller: 6/1297 or s?
s
Let o(t) = 102*t - 10. Let c be o(1). Suppose 2*r + z - c = 3*z, -179 = -4*r - z. Let g = -18 + 63. Is r <= g?
True
Let u = -50 - -77. Let a = 32 - u. Suppose l = -4*l + a. Which is smaller: l or -4/11?
-4/11
Suppose -38 = 5*l - 6*g + 3*g, 0 = -l - 3*g - 4. Which is greater: -37/5 or l?
l
Suppose 2*a - 4*l + 96 + 64 = 0, 4*a - 4*l + 300 = 0. Which is bigger: -86 or a?
a
Let i(g) = -22*g + 2. Let y be i(-3). Let n(w) = 679*w + 5499. Let m be n(-8). Does y = m?
False
Suppose -5*a + 3*w + 644 = -w, -379 = -3*a - 5*w. Suppose -8*f = -4*f - a. Suppose 2*v - f = -4. Which is smaller: 3 or v?
3
Let k be -2 + 7 - -34 - (8 - 2) - -4. Is -215 smaller than k?
True
Let n = -0.0825 - -271.4825. Let l = n + -269. Let i = -38/87 + 3/29. Is l >= i?
True
Let h = -59 + 109. Suppose -h = -8*v + 10*v. Let d = -27 - v. Which is greater: 10 or d?
10
Let c = -621 + 626.14. Let y = -0.14 + c. Let x = -0.141 + -0.859. Is y at most as big as x?
False
Let g = -1.7 + -8.3. Let z = 1.54 - -18.56. Let t = z + -20.2. Is g smaller than t?
True
Suppose 2*i - 514 = -4*p, -31*p + 32*p - 139 = -4*i. Suppose -6*a = 115 - p. Which is bigger: 15/26 or a?
a
Let d(z) = -740*z - 14059. Let p be d(-19). Let u = 1/34866 - 26533033/244062. Let o = 109 + u. Is p < o?
False
Let o(a) = -a. Let v be o(4). Suppose -2430 + 90 = -18*h. Let x be (18/5)/((-104)/h). Is x bigger than v?
False
Let v be ((20/(-5))/1108)/1. Suppose 45*g = 120*g + 75. Which is smaller: g or v?
g
Let k = -626.03 - -627. Let u = k - 0.87. Do 0 and u have different values?
True
Let u = 11853/23 + -515. Let f = 0.0291 + -0.3291. Is u at most as big as f?
False
Let q = 6840 + -5330. Is q less than 1508?
False
Let n(f) = -9*f**2 - 17*f + 15. Let a be n(-6). Which is smaller: -214 or a?
-214
Let u be (-10)/65 + (-3 - 36014/(-26)) + 7. Which is smaller: u or 5561/4?
u
Let p = -25 + 43. Let c = 37001 - 37000. Does p = c?
False
Let z be 136/6 - (1 - 3). Let g = z + -512/21. Let n = 6621 + -6634. Which is bigger: g or n?
g
Suppose 0 = 6*a - 40 + 16. Let b be (-1)/a + (-26155)/445740*-33. Let m = -42/391 + b. Is 2 < m?
False
Let q be -1*(2 - 11) - -5. Suppose q = 5*h - 3*c, c - 20 = -5*h + 6*c. Suppose y + 2 = h. Which is bigger: y or -140?
y
Let g(j) = -j**2 + 6*j - 5. Let s be g(5). Let i = 493 - 5909/12. Is i equal to s?
False
Let t = 10090 + -423781/42. Which is smaller: t or 42?
t
Let n = -2275 - -2652. Which is greater: 380 or n?
380
Let z = 3085 - 3085.1. Is z <= -3/76?
True
Let s(n) = -n**3 + 13*n**2 + 35*n - 16. Let k be s(14). Suppose -17*a - k = -15*a. Let h = -139 - a. Is -7/16 <= h?
True
Suppose 0 = 5*p + 5*s - 30, -p - p + 9 = -s. Let b be (-3 - p - -6)/(1*1022). Is 0 greater than b?
True
Let f = -31 - -34. Suppose f*x + 392 = -5*x. Let z = x + 54. Is z less than or equal to 5?
True
Let o = -13955 - -9369. Which is greater: 1 or o?
1
Suppose 0*c = 2*c - 3*b + 13, 0 = 4*c + 4*b - 24. Let o be 1*(-825)/33 + 40. Which is smaller: o or c?
c
Suppose 0 = -j - y - 2469, -217*y - 2483 = j - 218*y. Do j and -2476 have the same value?
True
Let v be (10 - 7)*(-124)/6. Let r = -7311 + 7251. Which is smaller: v or r?
v
Let t be 12/(-44) + (-31239)/(-198). Let c = t - 151. Is -1/4 at most c?
True
Let y(i) = -i**2 - i + 38. Let x be y(4). Suppose x = -2*q + 88. Is q equal to 41?
False
Let h(c) = c**3 + 8*c**2 - 15. Let g be h(-8). Let b = 4 - g. Let o = b + 4. Do o and 22 have the same value?
False
Let u be 4*(3/2 - 1). Suppose -3*f - 14 = -t + 14, 4*t = 3*f + 76. Let n be ((-5)/8)/((-8)/t). Which is greater: n or u?
u
Let p = -4/1992265 - 1089739891/14475797490. Let u = 2/519 + p. Are -1 and u unequal?
True
Let w(d) = 60*d + 30 - 40*d + 44 - 32*d. Let o be w(5). Is o bigger than 9?
True
Let t = -62 + 61.71. Let d = -778 - -775. Which is smaller: d or t?
d
Let n = -17 + 109.1. Let b = n - 99.1. Which is smaller: 0.25 or b?
b
Suppose 25*a - 37 - 20 = -32. Is a greater than 140/107?
False
Let v = -16247/2083825 + -2/2033. Which is greater: v or -1?
v
Let c be 3*(2/8 - (-6354)/216). Let t = c + -81. Suppose -7 = -5*z + 3. Which is bigger: t or z?
t
Let j = 31771/35783820 + -2/29331. Are j and 0 non-equal?
True
Let m be ((-11100)/156 - -7) + (-4)/(-26). Let h be m/(-6) - 7*72/84. Which is bigger: 3 or h?
h
Let h = -9162 - -1603356/175. Let q(v) = -v**2 + 5*v - 4. Let o be q(4). Is h greater than o?
True
Let a be ((-1)/15066)/(105/(-140)). Let h = a - -949120/429381. Which is smaller: 1 or h?
1
Let h = -20811/8 + 95231/40. Which is smaller: -222 or h?
-222
Let g = 0 - 0. Let u = 28472 + -2135402/75. Which is smaller: u or g?
u
Let b be (19/(-57))/((-1)/15). Suppose -4*d = -k - 18, -20 = d - 5*d. Suppose 9 = -k*a - b. Which is smaller: a or -1/4?
a
Let w(o) = -3*o + 6. Let v be w(-4). Let a = 51 - v. Is 32 <= a?
True
Let p = 1.1 + -9.1. Let k = 1846 - 1876. Let i = p - k. Is 1 > i?
False
Let l = 107363359343/693025281 + 427767/693719. Let o = 2022/13 - l. Is 1 greater than or equal to o?
True
Let g be ((-5)/20)/(303/(-99)). Which is smaller: -1 or g?
-1
Let t(n) = 10*n + 9. Let y be t(-4). Let i = -1328 + 1298. Do y and i have the same value?
False
Let o = 0.261 - 485.261. Let y = 485.028 + o. Which is bigger: -3 or y?
y
Suppose -8*i + 2*i - 6 = 0. Let v be (6/(-3))/(i*(-1)/(-2)). Suppose -v*w - 1 = -3*w. Which is smaller: w or -3/10?
w
Let z = -2/1509 - 2541146/7545. Which is greater: z or -336?
-336
Suppose -4*q + 18 = 5*h - 80, -q + 5*h + 62 = 0. Which is smaller: 398/13 or q?
398/13
Let j be (15/(-18) - -1)*44/(-33). Which is bigger: -724 or j?
j
Let k = 64 - 55. Let g be (-6)/88 + 3/(-6 - -18). Which is smaller: k or g?
g
Let g be ((-9)/4)/(1/12). Let j = 6.852 + -6.852. Which is bigger: g or j?
j
Let d = 0 - -5. Suppose -d*a + 3*m = -27, -m - 1 = 3. Suppose -a*h + 4*h = -3*h. Is h > 2/245?
False
Suppose -4*c - 5 = 5*p - 28, -p = -5*c + 36. Is 241 > c?
True
Let h = 768.1 - 537.1. Is 12 bigger than h?
False
Suppose 229 + 77 = 9*l. Let y = l + -17. Let n be -13 + y + (-28)/6. Is n < -2?
False
Let y be (10644 - -10)/7*2/4. Suppose 11*d + 119 = -y. Let m = -254 + 175. Is m smaller than d?
False
Let y be -8 - (13 - 7 - 4). Let a be ((-3)/(-2))/(2/(-16)). Let s = y - a. Which is smaller: s or 13?
s
Let b be ((-90)/(-60))/(9/48). Which is smaller: b or 215/31?
215/31
Let q = -4713/5 + 943. Is -947 at most q?
True
Suppose 420 = -50*k + 46*k. Let p = 103 + k. Which is smaller: p or 1/17?
p
Suppose -60*g - 49 = -67*g. Let i be (3/2)/((-30)/(-80)). Suppose 3*y = g*y + i. Which is greater: y or -24/13?
y
Let m(r) = -r**2 - 30*r - 40. Let j be m(-24). Which is smaller: j or 108?
j
Let p be 2/(3*(-2)/3). Let t = -327677/68 - -4819. Which is smaller: t or p?
p
Let b = -1/39279 - 152795/169724559. Is b greater than -1?
True
Suppose 3*a = 6*a - 24. Let l be (-39 + -3 + -1)*-3. Suppose -16 = l*q - 131*q. Does a = q?
True
Suppose -2*j + 8 = 0, -794 - 1397 = 3*a - 4*j. Which is smaller: a or -724?
a
Let v = -7646 + 8521. Does 877 = v?
False
Let m = 5662041/250 + -22648. Is -1 less than m?
True
Let a = 19 + -13. Let f = -791 - -795. Suppose 2*q = -2*v - 4, -q + f = v - a*v. Which is smaller: -3/11 or v?
v
Let q(x) be the first derivative of -x**3/3 + 2*x**2 + x - 22. Let o be q(6). Let v be o/1 + (-42)/(-14). Which is smaller: v or -4?
v
Let k(l) = -l**2 - 8*l + 265. Let p be k(-21). Which is greater: p or 25?
25
Let w = 171/3469 + 14629335/58973. Let k(n) = 26*n**2 - 11*n + 47. Let f be k(3). Let m = w - f. Is m > -1/2?
True
Let x = 6.93 + -7.33. Let u = 26 - 28. Which is smaller: x or u?
u
Suppose 6865*r = 6894*r - 27 - 2. Which is smaller: r or -15/184?
-15/184
Let c(b) = -b**2 + 3*b + 9.