 w?
w
Suppose -3*w - 8 + 10 = -5*d, 4*d - 2*w = -2. Which is greater: d or 16/447?
16/447
Let q = 1178 + -1879. Is q less than or equal to 1/8?
True
Let l = -2560.76 + 2561. Let a = -61 + 59.76. Let u = a + l. Which is smaller: u or 1.8?
u
Suppose 108 = -2*h + 96. Let l be h/(-14) + (-25564)/196. Which is smaller: l or -129?
l
Let j(n) = -223*n**3 + 14*n**2 + 6*n - 7. Let l be j(-1). Is 229 at most as big as l?
False
Let f = 5/137 + -436/685. Let r = 16 + -15.938. Let n = r - -0.138. Which is smaller: f or n?
f
Let r = 1242 + -1515. Is r smaller than -270?
True
Let w = 7545.219 + -7545. Let m(q) = q - 9. Let r be m(9). Is r smaller than w?
True
Let n be 1/((-2)/(-8) - 0). Let g(o) = 5*o**3 + 41*o**2 + 7*o - 11. Let i(z) = 7*z**3 - 1. Let y be i(-1). Let q be g(y). Which is bigger: n or q?
n
Let a be (-6)/(-73)*(3220/(-30))/(-23). Are a and 0 equal?
False
Let x = 2688 + -2688.00565. Is x greater than -2?
True
Let q = -217518/10985 + 3/2197. Let k = 2123 - 2143. Is k at least q?
False
Let z(m) = -m**3 - m**2 + 12*m + 3900. Let s be z(0). Which is smaller: 3901 or s?
s
Let q = -583/21 - -4003/210. Which is bigger: -9 or q?
q
Let c = -9566413/83 - -115256. Is c at least -2?
True
Suppose i + i + 5*l - 61 = 0, -3*l = -2*i + 53. Suppose 3*t + 3*g = 57, 19 = -3*g + i. Do -4 and t have different values?
True
Let m be (-95)/2*(5 - (-5 + 8)). Which is smaller: 10 or m?
m
Suppose -34*q + 51109 = 8983. Which is smaller: 1240 or q?
q
Suppose -4*k + 4*s = 108, 6*k = 161*s - 164*s - 171. Which is smaller: k or 2/15?
k
Suppose -4*p = -8*m + 3*m + 7, 0 = 4*p + m + 13. Let l = -7779/4 + 178605/92. Is p <= l?
False
Let v be (0 - 264/(-187))*(-599)/37. Let p = v + 258/37. Which is bigger: p or -16?
p
Let q(k) = 40*k + 8. Let t be q(0). Let z be 4 + (11/44 - 26/t). Which is smaller: 7 or z?
z
Let f(j) = 5*j**2 - 1. Let y be f(1). Suppose -3*p = y*a + a - 34, 0 = 3*p - a - 4. Suppose 0*w - p*w - 9 = 3*m, 3 = w - m. Which is smaller: w or -8?
-8
Suppose 98*s - 97*s - 4*j - 705 = 0, 2841 = 4*s + 5*j. Is 710 less than s?
False
Suppose 2*j + n + 12 = 0, -44*j + 45*j - 3*n = -13. Let g be (-2 - j - 0) + 681/(-135). Are g and -0.06 equal?
False
Let z = -2171 + 2066. Suppose -183 - 23 = 2*s. Is s < z?
False
Let q = -63.07 + 63.01. Is q at least 351?
False
Let o = -82 - -82. Let d = o - -50. Suppose 68 = 49*w - d*w. Is -68 at least as big as w?
True
Let k = -17123 - -16719. Which is bigger: k or -400?
-400
Suppose 9 = -3*w + 5*d, 4*w + 4*d = 2*d - 38. Suppose -8 - 4 = -2*c. Let j be (14/3)/(c/(-9)). Do j and w have the same value?
False
Let g = 322 - 322.213. Let f = g + 0.223. Which is bigger: f or 3?
3
Let p = -51 - -43. Let j be 3 - ((-2)/8 - (-514787)/(-260)). Let n = j + -1991. Which is greater: n or p?
n
Suppose r = 10, -150*r + 153*r - 26 = 4*u. Let f = -441749/190 - -2325. Which is greater: f or u?
u
Let a = -117 - -108. Let m be ((-54)/15)/a + -1. Is -0.7 smaller than m?
True
Let j(s) = 2*s**2 + 3*s + 10. Let l be j(4). Let h = l + -50. Suppose 31 = 3*x - 2*w + w, -h*x - 5*w + 35 = 0. Is x greater than or equal to 55/6?
True
Let r be -1115 + 1126 - ((-45)/4)/(-1) - (-329)/4. Suppose 316 + 16 = 4*p. Is p greater than or equal to r?
True
Let r(q) = 7*q**2 - 15*q + 35. Let y be r(7). Let m = y - 331. Which is bigger: -4 or m?
-4
Let l be ((-189)/(-4))/((-1)/2 + (-1748)/736). Which is bigger: l or -17?
l
Let j be (8452/10)/(282/(-470)*(-4)/(-6)). Do -2110 and j have the same value?
False
Suppose 2*l - 13 = r, 5 = r + 4*l - 0. Let f be -1*((-20)/(-5) - (-1 + -4)). Is r greater than or equal to f?
True
Let n = -18363 + 348390/19. Are n and -27 unequal?
True
Let g be 162/21*(2 - (4 - -5)). Is g less than or equal to -382/7?
False
Suppose 5*j - 95 = 85. Let v be (112/j + -3)/((-2)/(-6)). Suppose 4*z - 4 = -8. Which is smaller: z or v?
z
Suppose 3*f = -2*i + 4070, 3*i + 8*f = 10*f + 6079. Is i not equal to 2028?
True
Let a be 12530/12 + (-593 - -604). Is 1056 less than a?
False
Let d be 160/128*84/15. Is 263/32 < d?
False
Let t = -455/8 - -57. Suppose -6*o - 5083 = -5089. Which is bigger: t or o?
o
Let j(o) = o**3 - 20*o**2 - 42*o - 1. Let p be j(22). Let a = p - 46. Let r be a + 5 - 156/87. Do 0 and r have different values?
True
Suppose 1063*b - 8*b = 0. Let i = -2816 + 1591038/565. Is i less than b?
True
Let i(k) = 4*k**3 + 17*k**2 - 4*k - 96. Let g be i(-4). Which is greater: -158 or g?
g
Suppose -19*o + 12495 = -26*o. Let b be ((-476)/o)/(1/282*2). Is -1 greater than or equal to b?
False
Let i be ((-28)/(-5))/((-2)/(-14)*49/(-630)). Is -504 < i?
False
Let k = 7839 + -9092. Is -1253 <= k?
True
Let b be (-1113)/280 - 8/20. Let i = 0.14 + -0.14. Which is smaller: b or i?
b
Suppose 2*g = 3*g - 2*n - 1, 3*n + 6 = -3*g. Let k = -97094/93 + 1044. Which is bigger: k or g?
k
Let p be (1 + (-32)/40)*395. Let h(j) = j**2 + 7*j + 1. Let n be h(-13). Does p = n?
True
Let n = 297258/59 + -33493367/6785. Let g be (512 - 3)*3/15. Let u = n - g. Which is bigger: u or 1?
1
Let m = -29 - 1. Let d = -29 - m. Let k = -0.126 - 0.074. Is k equal to d?
False
Let s = -1014.7 - -1063.8. Is s at most as big as 11?
False
Let x(z) = -71*z - 426. Let g be x(-6). Suppose g = 19*i - 15*i - 3*s + 225, -3*i + 3*s - 168 = 0. Is -59 <= i?
True
Let k be ((-8)/10)/(10 - (-6061)/(-605)). Let r = k + -43. Which is smaller: r or 1/18?
1/18
Suppose 2*m = -f + 15, 9*m = 4*m + f + 27. Let l be (2 - (-4 + m)) + 44. Let a = l - 133/3. Are 4 and a equal?
False
Let j = -4/205 - -9659/1230. Is 9 less than or equal to j?
False
Let t be 11855/4*(-1276)/(-4785). Do t and 1 have the same value?
False
Let h = -62.8 + 63. Let i = -22 - -30. Suppose -2*j + 3 = j, -5*d = 3*j - i. Which is smaller: h or d?
h
Suppose -157*n = -147*n + 10. Is -27/83 at most n?
False
Suppose -5*c - 2*p = 17, 907 = -5*c + 4*p + 926. Which is greater: c or 1/35940?
1/35940
Let k be (-6)/5*5/(-2). Let i = 80 + -78. Suppose -2*t = -3*p + i, -5*p + p = t - 21. Which is bigger: k or p?
p
Suppose -3*q = 0, 2*s - s - 2*q = 4*s. Which is bigger: s or 3/296?
3/296
Let l = -5894 - -5902.5. Which is smaller: 51 or l?
l
Suppose 1022901 = 267*j - 44*j. Is j equal to 4587?
True
Suppose -109*u + 154*u + 12015 = 0. Which is smaller: u or 6?
u
Suppose -40*t - 109 + 349 = 0. Let n(m) = -m - 1. Let z be n(-7). Is t < z?
False
Suppose 3 - 17 = 3*k + 5*t, -4*t + 40 = -4*k. Suppose -4*v = 3*f - 5, -5*f + 11 = -2*v - 2*f. Let j be 13 - 9 - (-9)/v. Which is greater: k or j?
j
Let k be (-4640)/(-128) - 29 - (-18)/(-8). Which is smaller: 202 or k?
k
Let v = 7 - 6. Suppose -4*r = -2*q + 300, -3*q = -5*q - 3*r + 314. Let j = 769/5 - q. Which is bigger: j or v?
v
Let a(z) = z**3 + 41*z**2 - 32*z + 96. Let d be a(-42). Do d and -976/3 have different values?
True
Let x be (14 + -14)/10 + -114. Suppose 3*a = 5*r + 574, 19 = -r - 4*a - 82. Is r equal to x?
False
Let x = 40 + -72. Let t be (-4 + 0)/(x/(-624)). Let l = t - -862/11. Which is bigger: l or 1?
1
Suppose 0 = -10*n + 34*n + 5136. Let t = 857/4 + n. Is 2 less than or equal to t?
False
Let c = -11722 - -5344. Which is bigger: -6377 or c?
-6377
Let d = 36 + -68. Suppose 0*w + 3*w = -3*g + 42, -3*w + 3*g + 48 = 0. Suppose 0 = -q + w - 47. Are q and d equal?
True
Let k = -0.07 - -0.09. Let t = 17.02 - k. Let r be -1*(-8)/(-132)*3. Is t < r?
False
Let a = -1351/1558 - -15/82. Let g = 358 - 358. Which is greater: g or a?
g
Let y = 39789872 - 34259069122/861. Let m be 497/(-213)*(-9)/42 + (-158)/492. Let u = m + y. Is 12 <= u?
True
Suppose -215*n - 18 = -231*n - 66. Do n and -1877 have different values?
True
Let q = 4.218 - 3.92. Which is greater: q or 5?
5
Let g be (-96)/(-128)*(-1192)/(-6). Which is greater: 1040/7 or g?
g
Let n = 1082 + -494. Do 1/4 and n have the same value?
False
Let r = 32 + -68. Suppose -12*a + 11*a = 4*t + 158, 3*t - 4*a + 109 = 0. Which is greater: r or t?
r
Suppose -8 = t - 5*t. Suppose 4*z - 2*g + 1546 = 0, -4*z - 4*g = 1186 + 390. Let v = z + 4294/11. Which is bigger: t or v?
t
Let c = -12900 + 20305. Is c smaller than 1/4?
False
Let y be 2/(-6) - 4/(-12). Suppose y = 3*t - 3*q + 8 + 10, 10 = 2*q. Is t less than or equal to 1/93?
True
Let z = 19377 - 19229. Suppose 3*h - 454 = -p, 0*h + 146 = h - p. Is h <= z?
False
Let l = -21080 - -21098. Suppose i - 3*i + 46 = 0. Is i >= l?
True
Suppose -3*t 