ich is bigger: a or -633?
a
Let m be 41/7 - 3/(-21). Let v be (0*1/m)/(2 - 0). Suppose -11*l + 24*l - 13 = v. Is l at most 2?
True
Suppose 45*m - 50*m = -t + 912, 2*t - 5*m - 1799 = 0. Is 886 greater than or equal to t?
False
Let j = -7.2489 + 7.214. Is j at most as big as -2/7?
False
Let l = -3359 + 36972/11. Which is smaller: l or -2/3?
-2/3
Let a(v) = -v**3 + 11*v**2 + 32*v + 13. Let o be a(-2). Let g = 41/22883 + 9045319/34667745. Let u = g - -2/505. Which is smaller: u or o?
u
Let v = 343 + -346. Let c(j) = -j**2 - 6*j + 10. Let h be c(-7). Suppose 0 = h*x - k + 16, -k + 2 = -2. Which is bigger: x or v?
v
Let o be 70/3 + 144/216. Suppose 5*m = -m - 114. Let l = m - -43. Is o greater than l?
False
Suppose -2*w + 6*w + 691 = -3*h, 5*w + 3*h + 860 = 0. Which is smaller: -171 or w?
-171
Let i = 71 + -67. Suppose -3*p - 73 = 5*v, 0 = 2*v + i. Is -21 greater than or equal to p?
True
Let n = -60 - 9. Let u = 68.97 - -0.03. Let j = n + u. Is 10 != j?
True
Let z = -16540 + 13259. Does -3284 = z?
False
Let t(i) = i**3 - 11*i**2 + 10*i + 2. Let k be t(10). Suppose -2 = k*d - 10. Suppose -d*u + 9 = -3. Which is greater: u or 18/7?
u
Suppose 0 = 92*x - 73*x. Is x bigger than -3/4295?
True
Let z = 6 + 0. Let u = -6 + z. Let y = 1 + 0. Is u bigger than y?
False
Let u = 32 - 29. Suppose u*p - 14 = 13. Let f = -35/4 + p. Which is smaller: 0.03 or f?
0.03
Let s be (19 - 129/6)/((-1)/38). Which is greater: 281/3 or s?
s
Let h = -18619/6631611 - 1/9653. Which is smaller: h or 0?
h
Let h = -6.07 + 0.07. Let f = -0.1303 - -0.2202. Let k = f + 0.6101. Is k greater than h?
True
Suppose -175 = -5*d + 3*l, -2*d + 4*l = d - 116. Let m be (-1 + (-15)/9)*(-456)/d. Let f = -16 + 53. Is f >= m?
False
Suppose -4*h - 40 = 4*d, 0 = 5*d - 5*h - 677 + 697. Are -27 and d unequal?
True
Let f be 2 + (3 - 0) + 1285/(-255). Suppose 0 = -2*n - 9*n - 11. Which is bigger: f or n?
f
Let r be (1 - 173/175)*130. Let q = r + -6/5. Suppose -125 + 117 = 8*a. Is a < q?
True
Let d be 15/(360/(-2)) - 1537/(-12). Suppose 0 = -a + 426 + 209. Suppose -m = 4*m - a. Which is greater: m or d?
d
Let o(b) = 9*b**2 + 1. Let f be o(-1). Let l be (-20)/f + 5 + 24/(-2). Is l greater than -9?
False
Let a = 0 - 0.2. Let l = 80 + -77.5. Let k = 1.6 - l. Is a != k?
True
Let t = 5061 + -5060.99. Which is greater: -1/87 or t?
t
Suppose 43 + 148 = 191*m. Is 5303 >= m?
True
Suppose -4*l + 214 = -3*r, -4*l = 4*r - 0*l + 304. Let i(h) = -4*h**2 - 92*h + 620. Let q be i(6). Is q <= r?
True
Let y = -55 - -94. Let x be (-42)/63 - (-1412)/y. Is x at most 37?
True
Let l = 216516 - 9959103/46. Let n = -29/23 + l. Which is smaller: n or 12?
12
Let j be 21/((-2394)/(-1172)) - (9 - 0). Is j greater than or equal to 0?
True
Let f(r) = r. Suppose 0 = 3*m, m = 4*d + 5*m + 16. Let a(w) = 14*w + 40. Let n(l) = d*f(l) + a(l). Let u be n(-4). Is 0.047 greater than u?
True
Let w = -32.952 - 0.048. Let n = w + 22. Suppose -7*s + 135 - 149 = 0. Which is smaller: s or n?
n
Let k be (12/10)/((-87)/(-290)). Let n be 4/8 + (-75)/2 + k. Which is greater: n or -31?
-31
Suppose -x + 2 = q - 8, 5*q + 2*x = 56. Let p be (-2 + 10/4)*0. Suppose -r + s + 9 = p, 2*r - s - 11 = 11. Is r less than or equal to q?
False
Let x be (-386 + -4 + 1)/(17 - 18). Which is smaller: 384 or x?
384
Suppose -73*l + 68*l + 2*i + 4118 = 0, 0 = l + 2*i - 826. Which is smaller: l or 819?
819
Let l = -970363397/21932944 - 89/181264. Let r = 7/968 - l. Which is greater: r or 44?
r
Let r be (-1)/(-5) - (-1256)/(-30). Let v = r + 1753/42. Let i = 3/7 + v. Which is greater: -17 or i?
i
Let u = -791/4 + 10199/52. Suppose 0 = 6*f - f, -2*i - 6 = -3*f. Does u = i?
False
Let y be ((-14)/63)/(-1) - 34/(-9). Suppose -y*d = d + 5. Which is smaller: 6/13 or d?
d
Let r be 98/210 + (-1 - 26/(-30)). Let q(a) = -2*a + 25. Let x be q(11). Let n be -72*(x - (-14)/(-6)). Is r bigger than n?
True
Suppose 2*u = 6*u, -b + 4*u = -115. Let s = -102 + b. Suppose s*l = 24*l + 143. Which is smaller: -25/2 or l?
l
Let p be (-16)/(-144)*6/(-28). Let b = p - 1717/210. Suppose 3*r - 39 - 15 = 5*v, r - 30 = 3*v. Which is smaller: v or b?
v
Suppose 4*y - b + 6*b + 24 = 0, 2*y + 12 = -2*b. Let x be ((-2)/y)/(4/144 - 0). Which is bigger: 15 or x?
15
Let g(n) = 2*n**2 + n - 6. Let l be g(5). Let z be (-6 - -36) + -30 + ((-15)/(-40))/3. Which is bigger: z or l?
l
Let n = -26533/895563 + -4/21843. Is n <= 0?
True
Let a = 584 + -657. Let b = -78 - a. Which is smaller: 29 or b?
b
Let p = -9210871/954 + 9655. Let q = p + -2539/4770. Is q != -2/7?
True
Suppose -6*m = -8*m + 2. Let z be (11 - m/1)/(16/(-72)). Let q = 51 + -96. Is z at least as big as q?
True
Let x be (3787/378 - 10)/(-1). Let c be 10/(-55) + 282/(-22). Let h = 13 + c. Which is smaller: h or x?
x
Let r be 16053*((-328)/216 + 1) + 2/(-9). Which is greater: r or -8326?
r
Let a(b) = -b**3 + 6*b**2 + 7*b + 11. Let h be a(7). Let g be 8/3*(-2 + -3 + h). Is 19 <= g?
False
Let z(a) = 4*a + a**2 - 11*a + 2*a - 118. Let t be z(-8). Which is smaller: t or -16?
-16
Let d be (-8 - -9) + 1 + 2. Suppose 0 = 5*x - d*q + 363, 0*x = -3*x - 4*q - 205. Let m = 91 + x. Which is smaller: m or 19?
19
Let m = 19857 + -19870. Is m at most 3/28?
True
Let y(g) = 2*g**2 + 6*g + 7. Let x be y(-3). Suppose -2*c + x = 19. Let q be (c/80)/((-2)/(-8)). Do q and -1/3 have the same value?
False
Let p(r) = r**2 - 5*r + 12. Let l be p(8). Let d be -3 + 513/l - 3/12. Which is greater: d or 14?
14
Let g = -149997 + 149829. Let p be (2/2 - 0) + -170. Which is bigger: g or p?
g
Suppose 2*l - 37376 = -3*r, -5*r + 56060 = -1030*l + 1033*l. Which is smaller: 18701 or l?
l
Suppose -9653 = -30*n + 25*n - 2*k, 12*k = -72. Is 1933 != n?
False
Let c = 31264 + -155764/5. Which is smaller: c or 110?
110
Let q = -102.98434 + -0.01566. Which is smaller: q or 11?
q
Suppose 4*y - 5*f - 39 = 0, 5*f = 2*y + 3*f - 18. Let s be 32/(-264) - (-4)/y. Suppose -6*u = -u - u. Is u bigger than s?
False
Let u(y) = 8*y + 63. Let v be u(-11). Let i be 230/v + 5/25. Which is smaller: i or 2/9?
i
Let t = 89 - 77. Suppose -9*k - 39 = -t*k. Is 10 <= k?
True
Suppose 4*c + 3*p - 41 = 0, 116*c - 89 = 130*c - 5*p. Let a = -199100 + 98355443/494. Let w = 5/26 - a. Is w at most as big as c?
False
Let v be (-25)/(225/(-396)) - 11. Is 585/17 >= v?
True
Suppose 2*j - 100 = -5*r, 3*j - 6*j + 2*r + 150 = 0. Suppose -45*y + 35 = -j*y. Which is smaller: y or -4?
y
Suppose 6*q - d = 5*q + 30, 0 = q - 5*d - 26. Suppose 0 = -q*j + 20*j - 2761. Which is bigger: -253 or j?
j
Suppose -4*q = 3*y + 86, -24*y + 23*y = 4*q + 2. Let c = 106 + -427/4. Which is bigger: c or y?
c
Suppose 0 = -11*q + 6*q - 195. Let r be (1488/(-120))/((-16)/(-40)). Does q = r?
False
Let s = 12628 + -138936/11. Is s bigger than -2/5?
False
Let k be ((-9)/36)/(17/(-7412)). Do k and 117 have the same value?
False
Let l = -12 - -10. Let w be (l/6)/(25/6 - 4). Let k be 7/(6/w - (-2)/(-1)). Which is smaller: 2/5 or k?
k
Let w = 330 - 328. Let g be w/13 - (-140)/130*-15. Which is smaller: -15 or g?
g
Let r = -4369/3 - -1870. Is 414 greater than r?
True
Let m(k) = 5*k**2 + 305*k + 1. Let b be m(-61). Do b and 3/2984 have the same value?
False
Let g(a) = 7*a + 0*a - 13*a + 2*a. Let i be g(-1). Suppose -2*s + i = -6*s. Is 2/65 less than or equal to s?
False
Let o = 55 - -171. Let n be 0/(-5) - o - -1*2. Let x = -1073/5 - n. Are x and 8 non-equal?
True
Let k(u) = -u**3 - 3*u**2 - 17*u - 41. Let j be k(-6). Let z = j - 82. Which is smaller: z or 88?
z
Let p = 4 + -3. Let x = 1531/341 + -43/11. Which is greater: p or x?
p
Let f be 3/2 - (-43)/86. Suppose i - 17 + 7 = 0. Let n be ((-6)/27)/(i/(-25)). Which is greater: f or n?
f
Suppose 0 = -4*w + 3*w - 17. Suppose 9*u - 5 + 9 = -140. Which is smaller: w or u?
w
Suppose -199*p - 5 = -200*p. Suppose 5*z + 2 = -4*y + 13, -14 = p*y - 3*z. Which is smaller: 2/7 or y?
y
Suppose 3*t + 2*y = -t - 16, 4 = -t + y. Let x be t - ((-2)/(-6) - 1955/150). Which is greater: x or 9?
9
Suppose 5*t = 3*l - 66488, -2*t - 1399*l - 26600 = -1401*l. Which is bigger: -1 or t?
-1
Let k be ((3 - 5) + 7)/1. Let a be ((-21)/(-15))/(k/235). Which is greater: a or 66?
66
Let n = 7845 + -7844. Is n bigger than -5/467?
True
Let v(a) = -a**2 - 5*a + 9. Let o be v(-6). Suppose -o*i + y - 28 = -6, -4*i - 40 = -4*y. Which is greater: 2 or i?
2
Let v 