 20/l - (-4)/6*1. Which is bigger: 38 or w?
38
Let w = 1102922/13 + -84738. Let t = w + -102. Is -0.3 equal to t?
False
Let k be -19*(-3)/3 + 4. Suppose -k = -4*s - 7, 5*j - 4*s = -1. Is j greater than 3?
False
Let l be (85 - 83)*(-81)/2. Which is bigger: -82 or l?
l
Suppose 0 = v + 3 + 1. Suppose 4*o = -5*j - 20, 5*j - 5*o = 16 + 9. Suppose a - 12 = 5*a - 3*c, 2*a - 4*c + 6 = j. Is a at most v?
False
Let f = -18 - -22. Suppose f*g + 2 = 14. Suppose 0 = -3*j - j + g*l + 12, -3*j + 20 = -5*l. Which is greater: 6/5 or j?
6/5
Let f = 1097 - 1069. Is -8 smaller than f?
True
Let s be (1 + 0)/((-55)/160). Let l = -182/55 - s. Is l at most 0.04?
True
Let r be (-20)/(-385)*(-6 - -7). Which is bigger: r or 0?
r
Let f = 17 - 29. Let w = 32 - 34. Let l be (w/(-4))/(f/(-16)). Which is smaller: 2 or l?
l
Let v = 1.18 + -0.08. Let h = -1.2 + v. Which is smaller: h or 46?
h
Let g(p) = -p - 10. Let j be g(-5). Let d(y) = 2*y**2 + 4*y - 12. Let h be d(j). Is 19 less than h?
False
Let c = -167 - -167. Let g be 412/1914 - 0/11. Let i = 8/29 - g. Which is smaller: i or c?
c
Suppose 2*f - 3*f = -7*f. Suppose -4*y + 5*n = 6, f*y + 2*y = n. Is y <= 8/5?
True
Let x = 23 + -9. Let n(g) = 16 + 11 + 2*g + 8. Let t be n(-10). Which is smaller: x or t?
x
Suppose 7 = 5*l + b, 2*l - b = b - 2. Let s(u) be the third derivative of u**4/24 - u**3/6 + 8*u**2. Let r be s(l). Which is bigger: -1/4 or r?
r
Let o be ((-40)/(-15) + -2)*9. Let t = o - -3. Is t greater than 1?
True
Suppose 0 = -3*y - 5*a - 5, 4*y - 2*a + 0*a - 28 = 0. Let v = 6 + 1. Which is smaller: y or v?
y
Suppose 4*v = 2*z - 32, -z - 4*z - 2*v + 20 = 0. Suppose 3*i - z*y + 11*y = -17, 3*y - 13 = 4*i. Is -6 equal to i?
False
Let x be (-8 - 268/(-10))/((-2)/10*-2). Suppose -4*y - 27 = 3*f - 171, 5*f - 5*y = 240. Which is smaller: x or f?
x
Let b = 8.7 - 8.8. Let w(h) = -h**3 - 6*h**2 - h - 10. Let v be w(-6). Which is smaller: v or b?
v
Let u be 7 + (-6 - (-6)/2). Suppose -16 - 4 = -u*a. Suppose -20 = 3*v + v + 2*l, -a*l = v + 23. Is -1 at most v?
False
Let l = 532 + -529.7. Do l and -13 have the same value?
False
Let m(w) = -5*w**2 - w + 97. Let c be m(11). Which is greater: c or -520?
c
Suppose 0 = 2*t + 2*t. Let n be (-19 - -7) + (-2667)/(-231). Which is bigger: n or t?
t
Let b = 24 + -19. Suppose 45 + 0 = 5*u. Which is bigger: u or b?
u
Let u be (-2 + 8)*2/(-4). Let c(j) = -j**3 - 3*j**2 - j + 2. Let t be c(u). Suppose -10 = 4*b + 2*n, 1 = -t*b - n - 7. Is b greater than 2?
False
Suppose 3*a - 4*r - 359 = 0, -2*a + 5*r - 22 = -273. Which is bigger: -2 or a?
a
Let u be (-2 + 2)*-1 + 0. Let v be 1 - (-4 - -2)/1. Suppose n + 4*n + 14 = j, 7 = 2*j - v*n. Are u and j nonequal?
True
Let d be 2/(-35)*5 + 404/(-14). Is d greater than -30?
True
Let g = 20/11 + 16/11. Let p be 1*(9 + -14 - -7). Is p smaller than g?
True
Let b = 0.1297 + 14.8703. Which is bigger: 56 or b?
56
Let q(d) = -d**3 + 8*d**2 + d - 5. Let l be q(8). Suppose -j = l*j. Which is smaller: 2/19 or j?
j
Let x = 126 - 136. Is x bigger than -12?
True
Let r be -3 - (-1 - 95/(-10)). Let a = r - -111/10. Are a and -87 equal?
False
Let x be -115*(-21)/((-735)/14). Is x at most as big as -424/9?
False
Let c(n) = -n**3 + 2*n**2 + 7*n - 10. Let q be c(4). Let y = 408/29 + q. Which is smaller: y or -1?
-1
Let z = 38.915 + 0.085. Let t = 34 - z. Let d = -2.1 + 0.1. Which is bigger: t or d?
d
Let n be -2 + 7408/(-14) + 3. Let f = -529 - n. Let h = 89 + -90. Is f greater than h?
True
Let z = -302385/127 + 2381. Which is greater: z or 1?
1
Let j = -39 - 57. Let y = j + 243. Is 147 greater than or equal to y?
True
Let c = 11.6 + -9. Let h = -8.4 - c. Let u = 14 + h. Is u at most 0.3?
False
Let z(g) = g**3 + 5*g**2 - 6*g + 5. Let o be z(-6). Let x(k) = -k**3 + 4*k**2 + 4*k - 1. Let a be x(o). Let v be (-2)/a + 10/(-3). Which is greater: -4 or v?
v
Let v(r) = -3*r**3 - 2*r**2 - r - 2. Let i be v(-3). Do 64 and i have the same value?
True
Let r = 50 - 38. Let y be ((-93)/(-9))/((-4)/r). Is -30 equal to y?
False
Let c(m) = -m**3 - 5*m**2 - 4*m + 5. Let x be c(-4). Suppose 3*n - k = 18, 19*n = 18*n - k + 2. Is x less than or equal to n?
True
Let g be (-7296)/(-15) + ((-21)/15 - -1). Which is smaller: g or 484?
484
Let n = -100 - -703/7. Suppose 3 = 5*v + 13. Let o be (3 - 2) + 2/v. Are o and n equal?
False
Let m be (2/4)/((-5)/(-40)). Let j = 9 + -6. Suppose j*x - 2 - 4 = 0. Which is smaller: x or m?
x
Let u be 110 + -115 + (5 - 0). Let d = -10220/3 + 3360. Let r = d - -47. Is u > r?
False
Suppose 2*l = -4, -2*b + 38 = -b + l. Is b less than 39?
False
Let d(w) = w**3 + 6*w**2 - 6*w + 5. Let f be d(-5). Suppose 4*r + f = -r. Is 2 > r?
True
Let q be -1*4 - (-7 + 1). Suppose 30 = -2*c + 4*f, -q*c + 0*c - 25 = f. Is c at most as big as -15?
False
Suppose 8*n + 10 = 6*n. Let x be (222/42 - 5)*n/2. Do x and 0 have different values?
True
Suppose o - 4*f - 1 = 0, f + 10 = -3*o - 13. Let j be 2/22*(-14)/o. Let w = -10 - -11. Which is smaller: j or w?
j
Let y(a) = a**3 + a**2 - a - 1. Let z be y(0). Which is greater: z or -3/53?
-3/53
Let i = 16.7 + -2.7. Let g = -2 - i. Is g greater than 1?
False
Let j be (-1308)/(-24) + ((-15)/6 - -3). Is j > 55?
False
Let z = -14.3 + 5.1. Let i = z + 9. Is i <= -6?
False
Suppose 3*v = -s + 2 - 8, 3*v = s - 12. Suppose 2*d + h - 2 + 22 = 0, -4 = s*d - 5*h. Is d != -8?
False
Let y = 0.26 - 0.06. Let q(z) = -z**3 + 9*z**2 + 14*z - 7. Let t be q(10). Suppose -5 + t = 4*b. Do b and y have the same value?
False
Let f be 90/25*10/3. Let t = f - 24. Let h be t - -9 - 1/5. Which is greater: -2 or h?
-2
Let w = 27.02 - 0.02. Let b = -25 + w. Which is bigger: -2 or b?
b
Suppose -4*b + 25 = b - 5*r, 5*r = 2*b - 16. Suppose 0 = 17*m - 14*m - b. Which is greater: 2 or m?
2
Let b = 27 - 24. Suppose 4*i - 64 = -3*j, -b*j + 20 + 45 = 5*i. Let g = -21 + j. Which is greater: g or -3/14?
-3/14
Let u = -9665.1 - -10208. Let g = 521 - u. Let k = g - -22. Which is bigger: k or -29?
k
Suppose -1 = 3*p - 2*m, -2*p = -4*m - 6 + 4. Is p != 6/91?
True
Let g = 5 + -3. Let d = -498.3 + 516.3. Is g equal to d?
False
Let z(r) = -r**2 - 6*r + 2. Let b be (18/15)/((-4)/20). Let o be z(b). Let q be (-3)/(-63) + o/7. Is q < -1/9?
False
Let t be 175/185 + (-1 - 0). Let f(d) = d**2 + 9*d + 7 - 9 - 8. Let s be f(-10). Is s not equal to t?
True
Let d(q) = 4*q - 125. Let r be d(29). Suppose 4*h - 2 = -2*b, -8 = 4*b - 0*h + 4*h. Which is greater: r or b?
b
Let d be -3 + 2 + 1 + (-56)/1603. Is -1 less than d?
True
Let r be 3/((-9)/(-6))*(-15)/795. Which is bigger: 0 or r?
0
Let n = -27.13 + 27. Let w = n + 1.13. Let m = -0.2 + 0.21. Is w at least m?
True
Let t be -1 + (0 - 0 - (-23373)/43416). Let r = t - -30/67. Which is bigger: 0 or r?
0
Suppose 13*h - 3*i = 12*h - 329, 5*i + 1725 = -5*h. Which is greater: -340 or h?
-340
Let d(l) = l**3 + 2*l**2. Let a be d(-2). Let s(x) = x**2 + 6*x - 21. Let i be s(-9). Suppose 0 = -3*q + 5*u - 2*u + i, 3*q = 2*u + 3. Is a bigger than q?
True
Let v(o) = o**3 + 14*o**2 - 11*o + 34. Let r be v(-15). Which is smaller: -21 or r?
r
Let f = -2 + -1. Let d = f - -3.1. Let i = 1.486 + -1.546. Is i >= d?
False
Suppose -2*m - 29 = 5. Which is smaller: -18 or m?
-18
Let y = -244 + 5122/21. Suppose 0*q = q - 1. Are y and q non-equal?
True
Let y = 1.5 - 0.8. Let v = 3.7 - y. Let c = 944.4 + -944. Which is smaller: c or v?
c
Let x = -41.7 - -41.5. Is -97 greater than x?
False
Suppose 4*j = -2*o + 2, -2*o - 19 = 2*j - 5*j. Which is bigger: -28 or j?
j
Let c(f) = -f - 79. Let r be c(-55). Which is bigger: r or -19?
-19
Let v = -0.4 + 0.4. Let u = v - 0.1. Let i be 69/189 - 1/7. Which is greater: i or u?
i
Let m be ((-14)/(-3))/(-1*3/27). Let n = 228.1 - 228. Which is smaller: m or n?
m
Let c = -73/75 + 16/25. Is 1816 bigger than c?
True
Suppose 5*v + 5 = 20. Let o be (-2269)/(11 + -3 + -1 + -2). Let n = o - -456. Is n less than or equal to v?
True
Let j be (-3390)/54*16/(-40). Does j = 26?
False
Let k = 125 - -106. Is k at least 232?
False
Let n = -354.03 - -354. Which is bigger: n or 1?
1
Suppose 37*o + 48647 = 5394. Is o > -1169?
False
Let u be -4 + 10 + (-9)/3. Suppose 5*j - 5*c = -25, -u*c = 2*c - 25. Which is smaller: j or 1?
j
Suppose -4*n = -5*j - 210, -2*j - 134 = j - 4*n. Let w = 605/16 + j. Which is smaller: w or -1?
-1
Suppose -987 = -3*s - 2*h, -64*