77 + 520/1980. Is 1 at most w?
False
Let j be (-6)/9*-3 + 4. Let a = 254 - 317. Let v be 28/(-24)*(201/a + 3). Is v bigger than j?
False
Let a(h) = -27*h - 7. Let f be a(4). Let g = f + 148. Is 101/3 bigger than g?
True
Let f be 5880/14 - (-2 + 3 - 5). Suppose -250 = -3*d + 2*b, 0*d - 5*d + f = 4*b. Let c = -84 + d. Which is smaller: c or -1/20?
-1/20
Let k = -162098 - -162099. Let z be (-1)/1 + 128/116. Are z and k equal?
False
Suppose 4*c - 13767 = -2223. Is c equal to 2888?
False
Suppose -5*v + 33 = 6*v. Suppose 0 = -2*c - 2*n + 26 - 2, -v*n = -4*c + 83. Suppose 0 = 4*d + p - 8, -4 = d + 3*p - c. Is d > 1/3?
True
Suppose -2*s - 2*s + 20 = 0. Let f = -2.577 + 1.577. Which is smaller: f or s?
f
Let h = 27853 - 28931. Which is greater: h or -7544/7?
-7544/7
Suppose 5*i + 703 = 24*i. Let r = 12 - 9. Suppose -18 = r*q - 132. Which is greater: q or i?
q
Let y = 400764491259 + -94180191389787/235. Let w = 2280616 + y. Let u = w + 11/47. Is 4 > u?
True
Let k be 1 - 13/(13/(-42)). Suppose j - k = -28. Suppose -12*g = -7*g - j. Is g >= 4?
False
Let j be (-1)/((-2)/19 - (-5085)/51015). Let a(u) = u**2 - 9*u + 17. Let l be a(-9). Is j greater than l?
False
Let i = 3.7 - 28.6. Let x = i - -25.1. Is x less than 4/73?
False
Let n(x) = 2*x - 21. Let a be n(12). Suppose 0*w - a*w + 4*q + 17 = 0, q = 3*w - 11. Let t be (8 - w - 5) + -1. Is t greater than -3?
True
Let o(i) = i**3 - 2*i**2 + 3. Let n be o(9). Let t be 94/n - (-16)/(-80). Which is greater: t or -0.1?
t
Let t = -575/3 - -208147/1086. Which is bigger: -1 or t?
t
Let w be (77/(-14) + 5)*8/(-4). Which is greater: w or 4/5019?
w
Let o = -55 + 335. Let n be 34/(-5)*3*o/(-24). Let c be ((-2)/4)/((-35)/n). Which is bigger: 2 or c?
c
Let t = 439715 + -439716. Let j be 4/6 + (-53)/21. Which is greater: t or j?
t
Suppose 2*i + 0*i - 134 = 0. Let g(r) = -5*r - 1. Let v be g(-1). Suppose 0 = -4*o - v*x + 272, -2*x + 5*x = 5*o - 332. Is o at least as big as i?
True
Let z = 23 + -15. Let i be (0 - -2)/((-8)/(-10)*-15). Are i and z unequal?
True
Let l = 441.1 + -308.5. Is l > -3?
True
Let b be 3632/(-72)*7/58 + 240/40. Which is smaller: -1 or b?
-1
Suppose 3*z - 12 = z + 2*y, 0 = -3*z + y + 20. Let j be 2/z + 54/(-42). Which is greater: j or -0.056?
-0.056
Let c be 0/(-3) - (-1)/((-10386)/(-8673)). Let q = c - 1/577. Suppose 8*m - 6 = 2. Is m smaller than q?
False
Let o(a) = a**3 + 8*a**2 - 7*a - 9. Let t(b) = -3*b**3 - 25*b**2 + 18*b + 27. Let k(h) = 8*o(h) + 3*t(h). Let q be k(-6). Which is greater: -161 or q?
q
Let m = 4 + -5. Let d = 6332 - 12667/2. Which is smaller: d or m?
d
Suppose -213*p = -223*p + 10. Let b be (2 - 1) + 608/(-620). Is p less than b?
False
Suppose 5*d = -4*a + 32, 0*d = a - 3*d + 9. Suppose -4*p + a*j + 468 = -7*p, 5*p - 4*j = -771. Let s be 3*p/475 + 1. Are s and 1 unequal?
True
Let h be ((6 - (-16)/(-2))*1/2)/1. Is h greater than -2/2587?
False
Let b(w) = w**2 - 11*w + 12. Let i be b(10). Suppose -i*t = 4*k - 96, 0 = -t + 4*t - k - 130. Let j be 55/t*4/10*1. Which is bigger: 0.01 or j?
j
Let v = 9 + 26. Let u = 16 - -15. Let t = v - u. Which is smaller: t or -1?
-1
Let t = 51.217 + -0.217. Let g = t + -52. Do 2/49 and g have the same value?
False
Let j = -39.5 - 0.5. Let q = j - -80. Let l = q - 40.1. Which is greater: 5 or l?
5
Let i = 82772743/24415 + -202/4883. Which is greater: i or 3390?
i
Let h = 8101855/297 + -27279. Which is bigger: h or -1?
h
Suppose 0 = 6*w - w + 20. Let m = 269/14 - -65/7. Let o = 25 - m. Is w at least as big as o?
False
Suppose 0 = -7*t + 8*t - 4. Suppose -k + t*s - 4 = -24, 3*k - 4*s = 28. Let u be ((-2)/k)/((-6)/(-24)). Which is smaller: u or 2?
u
Let s = 5.74 + -5.84. Let q(t) = -2*t - 6 - t**2 + t - 5. Let o be q(0). Is s bigger than o?
True
Let n be -10*(-21)/6 + (-21 - -18). Suppose 4*f - 6 = 6. Suppose -f*v + 9 + 9 = 3*s, -5*s = 4*v - n. Which is smaller: s or 11?
s
Suppose 0 = 224*d - 223*d - 2*g + 8, 0 = -2*d + g - 4. Which is smaller: -5/361 or d?
-5/361
Let l be 2684/(-72) + -2*(-2)/(-18). Let b = l + 1129/30. Let s = b + -3/35. Is s <= 1?
True
Let r = 317 - 120. Let v = -183 + r. Is 5 at most v?
True
Let v be (-575278)/82182 + ((-3)/10)/(39/(-910)). Is 0 at most v?
False
Let i(n) = -4*n - 4. Suppose 4 = -2*a + y, -6 = 3*a + 2*y - 5*y. Let j be -1 + ((-15)/(-15))/(1 + a). Let o be i(j). Which is smaller: 9 or o?
o
Let r be 332/14 + (-4)/(-14). Let s be 1*(3 - r/9). Let d = -0.0038 - 0.9962. Which is smaller: d or s?
d
Let r be (6 + -39)*(4550/1137 + -4). Is r bigger than -1?
True
Let t = 274 + -7944/29. Let y = -3329 - -3329. Which is smaller: t or y?
y
Let b(i) = 60*i + 9. Let v(d) = -3*d**2 - 125*d - 80. Let j be v(-41). Let h be b(j). Which is smaller: h or 2/3?
2/3
Suppose 274 - 286 = -4*s. Suppose 2*h + 15 = i, 4*h - 4 = -s*i - 9. Is -7 at least as big as h?
False
Let t = -282 + 297.39. Let k = t + -15.4. Is k < 2/73?
True
Suppose 58 = 3*k - 50. Suppose 9 = z - b, -5 = -4*z + 5*b + k. Suppose -5*p - z = -p. Is -23 bigger than p?
False
Let l be 7 + 0 - 5940/825. Is l at least as big as 5?
False
Let q be ((-9396)/(-1161) + 0 + -9)*1. Which is smaller: q or -2?
-2
Let b = 0.114 - 41.714. Let z = b - -1.6. Let c = z - -39. Is c at least as big as 3/25?
False
Suppose -11*t - 3552 = -14*t. Suppose 0 = 3*f + 218 - t. Which is smaller: 323 or f?
f
Suppose 0 = 12*x + 22*x - 3264. Is -8 equal to x?
False
Let x = -372 + 332. Let v be (x/(-90))/(410/(-15)). Which is greater: 1 or v?
1
Suppose -22*p + 70*p = 320400. Is p less than 6675?
False
Suppose -1551 + 186 = -13*n. Suppose 30 = n*s - 107*s. Let w = 5 - 22. Which is smaller: w or s?
w
Let n(p) = -3*p - 9. Let s be n(-2). Let q be 2 - (s/((-9)/93) - 0). Let z = q + 25. Which is smaller: z or -2?
z
Suppose -13*j + 149 - 84 = 0. Is 106 bigger than j?
True
Let f = 5827/3 - 1918. Let p = 24 - f. Suppose -15*l + 19*l = 0. Which is smaller: l or p?
p
Suppose 106928 = -83*h + 312*h - 367789. Which is smaller: h or 2076?
h
Let a be (16/(-24) - 20/3)*9/(-60). Let y(f) = -2*f - 3. Let q be y(-2). Is a at least q?
True
Let u = -24 + 58. Let s be 34 - (7 + (8/(-4) - 4)). Which is smaller: s or u?
s
Let g be 6*-1*12/9. Let i(j) be the first derivative of 3*j**2/2 + 26*j - 2819. Let y be i(g). Is y bigger than -3?
True
Let n = 0 - -25. Let z = n + -45. Let s be (-1)/2*z/(-25). Is -31 at least as big as s?
False
Let l = 241 - 405. Let v = l + 190. Is -0.4 > v?
False
Suppose -5*o + 1169 = -356. Let z be -9 - o/(-35) - 134/(-812). Is 0 > z?
True
Suppose 4*j = 5*m + 28, 0 = 2*j + 2*m + 56 - 52. Suppose 0 = 3*y + 326 - 128. Which is greater: j or y?
j
Suppose -3*x - 3*t + 319 - 193 = 0, -3*x = -3*t - 156. Is 48 < x?
False
Let w = -574 + 334. Let y be (-1211)/(-4876) + 60/w. Is 1 > y?
True
Let b be ((-7126)/175)/((-12)/30). Let j = 101 - b. Is j != -57?
True
Let u be 42/(-7)*6/(-12). Let v be 2/(-5) + (1362/330 - u). Let t(d) = -d - 2. Let y be t(-3). Which is bigger: y or v?
y
Suppose 2*u + u - 36 = 0. Let h be (1/(-2))/(u/(-24)). Let t be (9/6)/(13/2). Which is smaller: t or h?
t
Suppose -3224*o + 3229*o = 5. Which is smaller: 20/99 or o?
20/99
Let u = 2932 + -2839. Which is smaller: 3 or u?
3
Suppose 0 = 3*g + 4*w - 1982, g - 3342 = -4*g + 3*w. Let s = g + -665. Which is greater: 9/118 or s?
s
Let p(j) = 32 - 7 - j**2 - 10 + 4*j + 2*j**3. Let x be p(0). Suppose 5*b - 4*b = 12. Which is smaller: b or x?
b
Suppose 6*b - 3*b = 12. Let w be (b + -3)*0 - 5/5. Suppose 2 = -2*n - 4*f + 10, 2*n - 11 = -5*f. Is w != n?
True
Let g(d) = -163*d + 2323. Let y be g(15). Which is smaller: y or -10?
y
Let d be ((-6)/7)/(2 - 1449/735). Which is greater: -204/7 or d?
-204/7
Suppose -5*m + 202 = 2*i - 12, 334 = 3*i + m. Let q = 65 - i. Let c = 41 + q. Which is greater: -16/3 or c?
-16/3
Let w be (-10580)/(-364) - (-2)/7. Let i = -49548 + 643696/13. Let v = w + i. Which is greater: -3 or v?
-3
Suppose 0 = 4*g + 5*i - 83, 3*g = -4*i + 92 - 29. Which is smaller: g or -2?
-2
Suppose 136*h - 62454 + 22487 = 71689. Is h greater than 822?
False
Let c = 190 - 300. Which is greater: 1 or c?
1
Let b(l) = 2*l**2 - 30*l - 490. Let r be b(25). Is r less than or equal to -83?
False
Suppose 40*y - 45*y - 25 = 5*z, y - 5 = 0. Let x be (-4)/(-18) - 2508/270. Which is bigger: x or z?
x
Suppose -5*o - 3 = -13, -494 = -2*a - o. Is 246 >= a?
True
Le