True
Suppose 168 = 15*l + 9*l. Which is smaller: 0.3 or l?
0.3
Suppose -3*s + i - 7 = 5*i, 4*i = -4. Suppose 8 = 4*m + w, 4 = m + m + 4*w. Let k be m/(-4)*(-1 - s). Is k <= 0?
True
Let i = -22 - -23. Let y = 1/34 - 29/408. Is i smaller than y?
False
Let p(q) = -2*q**3 - 2*q**2 + q + 2. Let m be p(-1). Suppose 2*k + m = -d, 0 = 5*k + 1 + 4. Let n be 13/(884/(-72)) + d. Which is smaller: -1 or n?
-1
Let m(b) = b + 6. Let y be m(6). Let d be (-5)/(-3)*18/y. Which is smaller: d or 3?
d
Suppose -2*m + 5*u = -13, 0 = 4*m - u + 1. Let v be -2*m*6/(-4). Is -21/5 greater than v?
False
Let c = 39410 - 2758757/70. Let r = -3/14 - c. Which is greater: r or 1?
1
Let x = 1/149 + 437/1490. Let m = 2.145 - 0.045. Let b = -2 + m. Is b < x?
True
Let y = 8 - 8.6. Suppose 6*x - 4*x = 0. Suppose x = 6*b - 3 + 9. Which is bigger: b or y?
y
Let m(l) = -6 + 1 + l - 4. Let b be m(9). Is -12/11 > b?
False
Let r be (6 - 3) + 2*1. Suppose r*m + 10 = 10*m. Suppose 4*p - m*p - 20 = 0. Is 10 greater than or equal to p?
True
Let x = -28.977 + -0.023. Let h = x + 28.8. Is -0.7 < h?
True
Let h(f) = f**3 - 9*f**2 + 14*f + 1. Let o be h(7). Let t be o*(-5 - -1 - -4). Which is smaller: t or 2/39?
t
Let o be 0*(28/2184 - (-4)/26). Let d = -236/615 - 2/123. Is d not equal to o?
True
Suppose 6 = 5*x - 3*x. Suppose -4*o + 36 = 4*a, -a = -o - 0*o - x. Let q be 2/(-2) - (-7)/a. Which is smaller: 2/5 or q?
q
Let r(w) = 3*w + 20. Let y be r(-5). Suppose -y*c + 3*c = a - 8, -4*a - 4*c + 20 = 0. Are -2 and a non-equal?
True
Suppose -19*k - 5 = -24*k. Is k at least 21/11?
False
Suppose -6*i + 2*i + 48 = 0. Suppose 0 = -3*v - p + i, 0 + 21 = 5*v + 2*p. Suppose -v*g - 2 = 1. Which is smaller: -1/8 or g?
g
Let p = -13/70 + 9/35. Let s be (9/6 - 1)/1. Which is greater: s or p?
s
Let v = -114 + 111. Let n be (-2 - (-4 - (v - -5)))*-1. Which is bigger: n or -7?
n
Let n be 16/130*(-55)/814. Are 1 and n equal?
False
Let o = -92 + 89. Which is bigger: o or 13?
13
Let u be (1 - (-1 - 2)) + (5 - 12). Which is smaller: -22 or u?
-22
Let l = -22 + 29. Let c be 57/(-12) + l/(-28). Is 7 at most as big as c?
False
Suppose -r - 20 = -3*g, 0*g + r - 20 = -5*g. Let x be 4/(-54)*3 + 148/18. Which is smaller: g or x?
g
Let o(j) = j**2 + j - 4. Let y be o(2). Suppose 5*t - y*t = 18. Let w be (t + -4)*(-5)/8. Is w less than or equal to -1?
True
Let b = -2218 + 496. Which is smaller: -1721 or b?
b
Let j be 3/9 + 6/9. Let u be 3*j - (-12)/(-12). Suppose 0 = 2*f + t + 4*t - 7, -4*t + 4 = 0. Do f and u have the same value?
False
Suppose 2*n = -4*c + 20, 5*c + 8*n - 20 = 3*n. Which is bigger: c or 37/7?
c
Suppose 0*s + 2*s = -5*w - 1070, -5*s = 4*w + 873. Let z be (-93268)/441 - 6/21. Let o = z - w. Is 0.1 <= o?
True
Let d be ((-1)/(-4245))/((-27)/(-90)). Which is greater: -1 or d?
d
Let x(f) = 15*f - 75. Let p be x(8). Is p >= 89/2?
True
Let x(g) = -4*g + 13. Let s be x(3). Which is bigger: s or 28?
28
Let u = 0.34 + 6.76. Let p = u - 8. Let y = p - -1. Are y and 2/29 equal?
False
Suppose -19*p - 226 + 1005 = 0. Suppose 3*h = -47 + 170. Is h > p?
False
Let m(z) = -3*z + 11. Let i be m(4). Let v be (-35355)/(-60) - i/(-4). Let f be (-114)/v*(-2)/6. Which is greater: f or -1?
f
Let d = -10311668/451 - -22864. Which is greater: -1 or d?
d
Let n = -0.3 + 1.3. Let d = 3.7 - 3.73. Which is smaller: n or d?
d
Let w = 29.938 + -30. Let m = w - 0.838. Is 2 < m?
False
Suppose -8*j = -2*j + 6. Suppose 7*i + 475 = 2*i. Let p be (189/i + 2)*2. Which is smaller: p or j?
j
Suppose -49*t - 153 = -46*t. Which is smaller: t or -50?
t
Let z(y) = -2*y**3 + 6*y**2 + 9*y - 14. Let b be z(9). Let s be ((-3)/2)/(b/(-230) + -4). Which is greater: 67/3 or s?
s
Suppose -2*h - 2*h + 12 = a, 2*a = h - 3. Let v(n) = n**2 - 4*n + 3. Let w be v(h). Suppose -3*y = 3*t - 6, -t - 5*y + 1 + 13 = 0. Is w greater than t?
True
Let w(z) = 14*z - 465. Let k be w(40). Is k at most 657/7?
False
Let t be (-6)/(-2504)*(-6)/3. Let w = t + -4975/6886. Let v = 6 + -8. Is w at least v?
True
Let k(x) = 2*x - 13. Let i be 0/(-2 - 0) + -3. Let u = i - -14. Let h be k(u). Which is greater: 10 or h?
10
Suppose 3*y + 8 = -y. Is y < 69?
True
Suppose -3*d - 2*d - 13 = -2*n, 2*d + 6 = n. Let i be -25*((-6)/(-10) + d). Let f be (-18)/9 - i/(-1). Is f at most as big as 7?
False
Let v = -0.8 - -3.8. Let t = 3 - 10. Let z = t - -7.1. Which is greater: z or v?
v
Suppose -6 = -0*b - 3*b. Let f(q) = -q**3 + 11*q**2 - 8*q - 11. Let x be f(10). Suppose x = 5*n + 4. Is n smaller than b?
True
Let j = -5 + -7. Let g be (j/2)/((-165)/140). Let c = -370/77 + g. Which is bigger: c or -1?
c
Suppose 4*w + 72 = -2*j, -5*w + 2*j - 3*j = 90. Which is smaller: -27 or w?
-27
Let h(m) = 5*m - 21. Let q be h(3). Let z be (-2)/q - ((-65)/(-37))/5. Does z = 0?
False
Let c(v) = 6*v - 2. Let a be c(1). Let k be 32/122*a/16. Is k smaller than -1?
False
Let t = -313308072614/509269 - -17841126/29. Let r be (86 - 88)*2/2066. Let f = r + t. Which is smaller: 0 or f?
f
Let x(r) = -r**3 - 7*r**2 + 34*r + 41. Let w be x(-10). Is -2/223 less than w?
True
Let v = -1504 + 765. Which is greater: v or -1?
-1
Let u(w) = -23*w - 127. Let l be u(-6). Suppose 3*j = -4*b + 45, 3*b + 24 = 4*b + 5*j. Which is bigger: l or b?
l
Let a be (7/(-14))/((-6)/(-4) + -1). Is a at least as big as -34?
True
Suppose 5*y - 508 = -4*x, 2*y - 214 = 4*x - 750. Let p be 4/((-64)/x) - -3. Is p less than -1?
True
Let p = 144 - 105. Let o = 39 - p. Which is smaller: -6 or o?
-6
Suppose -3*l - u = l + 108, 0 = 5*l - 5*u + 160. Let d = l - -73. Suppose -6*j - d = -3*j. Is j at least -15?
True
Let t = -54 - -135. Suppose -t = 5*p + 4*b - 7, -5*b = -p - 9. Are p and -15 non-equal?
True
Let s be ((-4)/3)/((-84)/486)*-7. Let u = s + 56. Is u >= -4?
True
Let h = -356 - -251. Is -105 not equal to h?
False
Suppose 0 = -8*g + 693 + 771. Which is bigger: 186 or g?
186
Let x = -8735 + 25918/3. Do x and -97 have different values?
True
Suppose -5*o = -3*j - 26 + 6, -4 = -o + j. Is 40 at least as big as o?
True
Let y be (-4562)/(-1610) - (10 - 7). Let r = y + 18/35. Let n = -127/299 + r. Do 1 and n have different values?
True
Suppose -379 = 16*p - 1179. Is -0.1 >= p?
False
Let t = -8 + 15. Suppose 3*l + 3 = -3, t = -n - 3*l. Is n less than -4/13?
True
Let p = 6.6295 - 6.68. Are p and -0.1 non-equal?
True
Let j = -2.7 + 2.7. Let h = 0.03 + 3.97. Which is smaller: h or j?
j
Let t = -7.363 + 107.383. Let k = t + -100. Is -1 bigger than k?
False
Let w = -0.423 - -0.323. Which is greater: -0.12 or w?
w
Let r be (8*1 + (-22 - -11))*1/5. Let q = 8 - 7.91. Is r greater than q?
False
Let u be (16/18*3)/((-2)/(-12)). Let k be 1/2 - (3 - u). Is 15 <= k?
False
Let h(b) = 15*b**2 + 2*b + 1. Let f be h(-1). Let i be f/18 - 2/(-9). Let x be (-1 - 9/(-16))*1610/(-5635). Is x equal to i?
False
Let c = -512.1008 - -3.1408. Let v = c + 486. Let b = -23 - v. Is -2 less than or equal to b?
True
Suppose 2*f = -2*w - 8, 4*w = -f - 17 + 10. Which is smaller: 6/395 or w?
w
Suppose 2*c + 108 = 8*c. Suppose -c = 3*g + 3*a, -2*g + 0 = 5*a + 24. Let m be (0 - 0) + g/4. Is -0.07 at most m?
False
Suppose 14*a - 241 = 361. Which is bigger: 46 or a?
46
Suppose -2*x + 30 = 5*y, 2*x + 3 + 7 = 5*y. Suppose -5*t = -2*b + b + 1, 4*b - 3*t = y. Is 1/17 not equal to b?
True
Suppose -2063 - 641 = 8*h. Is -336 != h?
True
Suppose 13 = -6*f + 115. Suppose -5*s + s + 3*h = 11, -4*s + h - f = 0. Is -6 >= s?
False
Let y be (2 - (-7)/(-3))*-36. Let g be (1/3)/(4/y). Is g bigger than 14?
False
Let v = 5/14 - 2/7. Let c = 6.749 + 0.251. Is c at most v?
False
Let i = -1.41 - 20.69. Let y = -22 - i. Which is smaller: 13/2 or y?
y
Suppose w = -0*w. Let a(q) = 2*q**3 + 13*q**2 - 8*q - 2. Let y be a(-7). Which is smaller: y or w?
w
Let f be (-49)/105 + (-8)/(-10). Which is smaller: 5 or f?
f
Let h = -1772 - -38953/22. Is h < 2/7?
True
Let k = -3/620 - 2601/620. Let t = -35 + 25. Let q be 3*1*t/6. Is k less than q?
False
Let n = 0.98 + 0.66. Let b = -3.83 + n. Let k = b - -0.19. Is 0.8 at least as big as k?
True
Let o be (-7)/(-2) + 21/(-14). Suppose o = 4*u + 6. Which is smaller: u or -2/135?
u
Suppose 5*b - 7 + 22 = 0. Let k = 5 + b. Suppose -4*h = -2*q - 14, 0 = 173*h - 176*h + 2*q + 13. Which is smaller: h or k?
h
Let u = 251833/55 - 4579. Which is smaller: u or -1?
-1
Let c = -7.98 - 0.02. Let g = 1