2?
True
Suppose -13 = 2*l - 1. Let i(m) = -2*m + 2. Let k be i(3). Is l < k?
True
Let d be (-36)/(-8) - (-2)/4. Suppose -4*w - 6 = 3*s + 10, -d*w = 3*s + 20. Let r be 2 - (-3 - w - 16). Which is bigger: 18 or r?
18
Let f be (-2 - -1)/((-2)/(-14)). Let z(k) = -5 - 3*k + k - 6*k - k**2. Let h be z(f). Which is smaller: 1 or h?
1
Let a be -3 - (-410 - (0 - 2)). Let n = a + -4459/11. Suppose -8*t = -4*t - 4. Is n at most as big as t?
True
Let m(s) = 3*s**2 + 7*s - 6. Let q be m(-3). Suppose 5*f - 9*f + 12 = q. Is 4 equal to f?
False
Let f = 5559 + -16676/3. Suppose 0 = -2*b - b + 210. Let s be (-4)/14 - (-62)/b. Do f and s have the same value?
False
Let u(y) = y**3 + 28*y**2 + 64*y + 64. Let l be u(-26). Which is smaller: -244 or l?
l
Let o(g) = g**3 - 14*g**2 + 9*g + 111. Let m be o(13). Which is greater: 64 or m?
64
Let m = 12.2 - 17.7. Let z = 5.5 + m. Is z != 4.9?
True
Suppose 0 = 2*p + 2*p - 4. Let k be 5384/(-88) - (-2)/11. Let m = 306/5 + k. Which is smaller: p or m?
m
Let q = -5237/2 + 2529. Is q greater than -90?
True
Let l be (-6)/124*4/(-6). Which is smaller: 1 or l?
l
Suppose 42*c - 37*c = 0. Suppose 0 = -9*y + 4*y + 565. Let a = y - 2149/19. Are c and a equal?
False
Let q(o) = 5*o**2 + 2*o. Let r be q(-2). Suppose 0 = -2*s + 5*b, -4*s + r = 4*b - 40. Let w = 237 + -239. Which is greater: w or s?
s
Suppose 224*b = 227*b + 63. Is b greater than -146/7?
False
Suppose 5*g = g - 16. Which is smaller: g or 115?
g
Suppose 4*m + 2*y = 0, 0 = 4*m + 5*y - y. Let s be (-320)/6000*110/(-4). Which is greater: m or s?
s
Let m = -51.6 - -83.6. Does 4 = m?
False
Let r = -0.1757 - -25.1137. Let x = r - -0.062. Which is greater: -1 or x?
x
Let o = -22 + 22.51. Let g = o + -2.51. Is g smaller than -0.2?
True
Let w = -232 - -255. Is w greater than 21?
True
Let f be 1/(-6) + (-1634)/(-12). Suppose -5*a - f = -16. Let p be (a/(-32))/((-2)/(-40)). Which is smaller: 14 or p?
14
Let o(u) = 0*u + 15 - 27 + 15 - u**3 - u. Let h be o(0). Is h equal to -0.15?
False
Let o = 0.032 - 0.232. Are -7 and o unequal?
True
Let g be 8/(-2) - -2 - (-31525)/15548. Let r = g - -1/92. Is r less than -1?
False
Let x be (-1 - 1) + (-1008)/(-720). Let r = 2.05 - 0.05. Let z = 1.6 - r. Which is smaller: z or x?
x
Let l(x) = 2*x**2 + x - 1. Let p be l(1). Suppose -2*q = p*q. Suppose 4*k + 0*k + 5*d = q, -2*k = -3*d. Is 1 greater than k?
True
Suppose -9*l + 3*l = 1992. Is l at most -332?
True
Let d = 29 + -26. Suppose 6*i + 3*g + 14 = 2*i, 3*i - d*g = 0. Which is bigger: -21/11 or i?
-21/11
Let w(k) = 8*k**3 - 3*k**2 + 7*k - 6. Let y be w(2). Let u be 134/(-180) + 8/y. Which is smaller: u or -1?
-1
Let x be (-3 - 1)*3/5985*-5. Is x smaller than -1?
False
Let x = 0.021 + 20.979. Let c = x + -20.96. Which is smaller: -4/7 or c?
-4/7
Let r = -16836/5 - -3367. Let h be 26/7 - (-6)/21. Let l = 2 - h. Is l greater than or equal to r?
False
Suppose 4*n - 1359 = -1107. Is n at most as big as -0.03?
False
Let x = -230 + 228.2. Which is bigger: x or 0.6?
0.6
Suppose -5*j - 3*p + 22 = -59, -2*j - 4*p = -38. Let c be 38/(2/((-2)/2)). Let d = j + c. Which is smaller: d or -2?
d
Suppose 2*t + 3*x - 4*x = -184, 0 = -2*x - 8. Are -96 and t equal?
False
Let w = -33007/14684 - 8/3671. Let o = -2 + 0. Which is smaller: o or w?
w
Suppose -5*f + 494 = 2*x, -f + 5*x + 94 = 3*x. Let i be 5 + -6 - (-94)/f. Are -1 and i non-equal?
True
Suppose 3*u + 3*p + 7 = -5, -3*u - 5*p = 10. Which is greater: 3 or u?
3
Suppose p = -4*p + 20, -m - 5 = -2*p. Suppose -4 = -m*l - 7, 5*l - 4 = -x. Suppose 0 = 3*a - x, i - 4*a = 5*i + 68. Is i greater than -20?
False
Let y = -2 - 0. Let s(z) = 12*z + 28. Let l be s(-5). Let i be l/66 + ((-40)/55)/4. Which is bigger: i or y?
i
Let z be -29 + 1 + -1*(1 - 0). Which is greater: z or -1?
-1
Let d be (-2)/3 + 130/6. Suppose 2*h - d - 3 = -2*x, -h + 1 = 0. Let a = -13 + x. Which is greater: -4/5 or a?
-4/5
Let v(c) = c**2 + 8*c - 6. Let b be v(-8). Let a be (-4)/18 + (b - (-436)/72). Which is smaller: a or -1?
-1
Let t(a) = -49*a + 28 - 10 + 51*a. Let k be t(-9). Which is bigger: k or 2?
2
Let l(b) = b**3 - 3*b**2 - b - 2. Let h be l(3). Let d be 110/(-25) - 2/h. Let k be ((1 + -2)*3)/1. Is d < k?
True
Let s be (-9 - -2)*(-20)/350. Is s at most 15/13?
True
Suppose -4*h - 5*a + 17 = 0, 16 = 5*h - a + 2*a. Suppose 6*u - p = u + 3, 5*u + 1 = h*p. Let c be -1*(400/(-564) + 4/6). Which is smaller: u or c?
c
Let g be (-2)/12*(1208 + -6). Let y = -202 - g. Let l(b) = b**2 + 6*b - 2. Let u be l(-6). Which is bigger: y or u?
y
Let t = -17 - -14. Let w = 2.8 + t. Are -0.1 and w unequal?
True
Let d be -1*(-17 + 4)*16. Is d at most 209?
True
Let u(j) = -j - 20. Let r be u(9). Let y = r - -30. Which is bigger: 26 or y?
26
Let p be 0/(-9 + 5) + (-507)/3. Is -171 greater than p?
False
Suppose 3*g - 4*n + 6 - 44 = 0, 4*g + 2*n = 14. Suppose 5*m + 286 = g. Which is smaller: -57 or m?
-57
Let o = 2.108 + -1.075. Let k = o + -0.033. Let n = -0.3 - 0. Is k bigger than n?
True
Suppose -5*h - 4*m + 22 = 0, -3*h + 21 = 3*m + 2*m. Let c be 0/8 - (2 - h). Suppose -2*z + 2 = -c*z. Which is greater: -2/7 or z?
z
Let f be (1 - 3)/(4/(-10)). Suppose 272 = 3*l + 65*l. Which is smaller: f or l?
l
Let m(f) = f - 1. Let q be m(-6). Let p(s) = -2*s - 10. Let c be p(q). Suppose i - 6 = o, 0*i - 4*i + o = -12. Is c less than or equal to i?
False
Suppose -12*k - 1399 + 199 = 0. Let t = 68 + k. Is -32 at most t?
True
Suppose 5*o + 13 = -2*h, -3*o + 4*h + 4 + 9 = 0. Let r be (-24)/(-30) - (-2)/(-5)*1. Are r and o non-equal?
True
Let x(w) = w + 3. Let h be x(18). Let r = 18 - h. Which is smaller: r or 0?
r
Let v = -4 + 10. Let b be v + -1 + -1 - 0. Let w be 5/(-2*(-2)/b). Is 2 at most w?
True
Let j be 108/(-10) + (-4)/20. Let z(v) = -8*v - 1. Let w(q) = -23*q - 2. Let d(l) = j*z(l) + 4*w(l). Let y be d(2). Is -6 at most y?
True
Let k = -935/65988 + 3/611. Suppose -2*z = -73*z. Which is smaller: k or z?
k
Let o be 6137/(-988) - (-2)/(-8). Which is bigger: o or -6?
-6
Suppose -2*p + 572 = 78. Which is smaller: 246 or p?
246
Let d(o) = 2*o**2 - 4*o + 2. Let u be d(2). Let i = -1425 + 15685/11. Which is bigger: i or u?
u
Suppose -4*o = -5*q - 45, 4*q - 5*o + 42 = -3*o. Let r = 43 + q. Suppose -3*i - s + 29 = -r, 4*s + 24 = i. Is i bigger than 21?
False
Suppose 2*b = -6*n + 4*n, 0 = 2*b + 6. Suppose 5*a = -5, -3*y + 5*a + 0*a = -20. Which is smaller: n or y?
n
Let f = 76502/45 + -8453/5. Let t = f + -71/9. Which is smaller: 1 or t?
1
Let l = 93/2 - 44. Let p = 7/3 - l. Is p bigger than 0.3?
False
Let g = -0.84 + -108.16. Is -1/3 < g?
False
Suppose c = 3*l + 13, c + 12 = 5*c - 2*l. Suppose 0*j + 3*j + 4*x = 965, 2*j + 5*x = 648. Let d = j - 10207/32. Which is bigger: d or c?
c
Let w be (-2)/1 - -1 - -1. Let j(a) = -a**3 - 9*a**2 - 8*a + 1. Suppose 2*i - z + 11 = 0, -5*i + 2*i + 4*z - 4 = 0. Let t be j(i). Which is smaller: w or t?
w
Let r = 52.997 - 53. Let w = r - -12.003. Which is smaller: w or -1?
-1
Let l be (-1)/3*(-3)/(2 - 3). Is l less than -48/17?
False
Let p = 0.061 - 0.061. Let q = -26007253/27196960 - -1/169981. Let o = q - -5/32. Which is greater: o or p?
p
Suppose -3*a = 14*a - 1479. Is 87 at least as big as a?
True
Let s(t) = -4*t + 15. Let q be s(6). Let n be (0 + 3/q)*6. Which is bigger: n or -9?
n
Let s(a) = -11*a + 25. Let z(x) = -5*x + 12. Let j(k) = -4*s(k) + 9*z(k). Let c be j(8). Suppose -r + 0*r = 0. Is r less than or equal to c?
True
Let v = 8/121 - -581/363. Which is smaller: 1 or v?
1
Suppose 2*g = l + 53 - 54, -5*l - 5*g = -5. Which is smaller: l or -1/1065?
-1/1065
Let t(m) = -m - 6. Let p = 5 - 10. Let z be t(p). Let u be (-2)/8*(-5 - -4). Is z less than or equal to u?
True
Let d be (0/(-1))/(6/3). Let k = -156 - -101. Let o be 4/10 - (-17)/k. Which is greater: d or o?
o
Let r(g) = -2*g + 6. Let t(y) = 6*y - 17. Let l(w) = -14*r(w) - 4*t(w). Let x be l(4). Is -2/213 smaller than x?
True
Let b be (-72)/(-132) - (-12552)/(-22). Are b and -570 non-equal?
False
Suppose 4*h - 20 = 0, -5*h = -5*x + 3*x - 23. Let u be 7 + x/(2 - 3). Let s be (6/u)/((-3)/(-6)). Which is smaller: -0.3 or s?
-0.3
Let g(u) = u**3 - 10*u**2 + 2*u - 18. Suppose -8*q + 40 = -4*q. Let p be g(q). Suppose b = -2*f + 5 + p, 4*f = -b + 13. Is -1 >= b?
False
Let y be (-4)/((-72)/278)*-1. Which is greater: -16 or y?
y
Suppose -p -