= -12 + 28. Let m(x) = 4*x**3 + 3*x**2 - 2*x - 3. Let z be m(-3). Let w be (z/(-9) + -7)/((-1)/(-9)). Is w smaller than s?
True
Suppose 5 = 3*s - 8*s. Let i(w) = -w + 1 + w + 0*w + 2*w. Let v be i(s). Are -4/3 and v equal?
False
Let n = -1/392 - -801/6664. Which is smaller: n or -3/5?
-3/5
Let v(k) = -k**3 - 19*k**2 - 17*k + 17. Let c be v(-18). Is -12/17 at least as big as c?
True
Suppose -2*n = n + 9, -i + 4*n = -10. Let u be (i/4)/(9/6). Let b(r) = -2*r**3 - r**2 + r. Let x be b(1). Which is smaller: u or x?
x
Let x(c) = 8*c**3 + 4*c**2. Let q be x(-3). Let l be (-4)/(-6) - q/(-189). Which is bigger: l or 3/10?
3/10
Let x be (30/24)/(2/8). Suppose -o = x*o - 12. Which is smaller: 13/7 or o?
13/7
Suppose -61*k + 66*k - 115 = 0. Suppose -5*c - 2*q - k = 0, 3*q - 5 - 13 = 3*c. Which is smaller: -0.03 or c?
c
Let c(a) = a - 6. Let k(t) = t**3 + 5*t**2 - 4*t - 10. Let q be k(-5). Let d be c(q). Which is smaller: d or 2?
2
Suppose -3*d - 152 = -22*d. Which is smaller: 130/19 or d?
130/19
Let h(g) = -2*g**2 - 81*g + 125. Let v be h(-42). Is 63 at most v?
False
Suppose 0 = 2*d + 5 + 3. Let j be ((-1155)/(-12))/7*d. Let z = j - -82. Is 26 bigger than z?
False
Suppose -333 = -12*b + 183. Is b at least as big as 38?
True
Let m be (1/2)/(9/162). Let q = -6 + m. Suppose 2*g + 21 = 3*v, -3*v + q = 2*g + 2*g. Which is smaller: g or -1?
g
Let t be 5/36*14/(-105). Which is smaller: t or -3?
-3
Let c(n) = 3*n + 9. Let k be c(4). Is k != 29?
True
Suppose -81*c - 9 = -72*c. Is -1/205 equal to c?
False
Let c be (-32)/28*28/(-8). Suppose v = -n + 2, 2*v = -3*n + c*v - 9. Let k = 32/5 + -6. Is k at most n?
False
Let c be ((-76)/(-20) - 4)/15. Let v be 1/(-6) + (-7)/(-6). Is c bigger than v?
False
Let y(d) = 2*d**3 + 41*d**2 - 14*d + 56. Let s be y(-21). Which is smaller: s or -92?
-92
Let i be (15 - 18)*(-40)/(-42). Is i at most as big as -2?
True
Let r = 88 - 79. Suppose 5*m - 55 = -5. Let x = -9 + m. Which is bigger: r or x?
r
Let c(r) = 7*r - 18. Let p(j) = 6*j - 19. Let x(o) = -5*c(o) + 6*p(o). Let h be x(0). Let a be -4 - (183/h - -4). Are 1 and a unequal?
True
Let w(c) = -3*c**2 + c. Let s be w(1). Let l be s/10 + 44/20. Let v be 2 - 0 - (11 + l). Which is greater: v or -10?
-10
Let f(i) be the second derivative of -i**4/12 - 4*i**3/3 - i**2 - i. Suppose -7*t = 18*t + 200. Let n be f(t). Is n > -3?
True
Let m be (17/3638)/(3 - 2). Is m at most as big as -1?
False
Let z = -9.28 - -11.68. Are 2/33 and z equal?
False
Let i = -2/95 - -509/1615. Let d be ((-4)/(-8))/1*0. Which is smaller: i or d?
d
Suppose 2*g - 5*i + 75 = 0, g = 3*i - 2 - 35. Which is smaller: -52 or g?
-52
Let b = 14 - 18. Let k(t) = 2*t**2 + t - 7. Let l be k(b). Suppose -l = -2*g + g - 5*d, -3*g - 4*d + 19 = 0. Is g >= 0?
True
Suppose 3155 + 1345 = -45*c. Which is bigger: -0.7 or c?
-0.7
Let i(b) = -2*b + 21. Let z(l) = l**3 + 12*l**2 - 13*l. Let c be z(-13). Let h be i(c). Let t be 7/h + (-5)/3. Which is greater: -2 or t?
t
Let j = 32.2 + -10.2. Let r = j - 23. Does 0.02 = r?
False
Suppose 3 = -6*o + 45. Let n(r) = -2*r + 14. Let c be n(o). Let m be (-18)/(-56) - (-1)/(-4). Is c smaller than m?
True
Let f = -4/51 - -3245/408. Let k = -15/2 + f. Is k less than 0?
False
Let i = 2776025380/1950273 - 50032/9243. Let s = i + -1418. Which is greater: 1 or s?
1
Let t = 3518167/8 + -440496. Let b = t - -724. Which is greater: 0 or b?
0
Let d = 15 - 14.922. Let g = d - 1.078. Is g at least as big as 1/4?
False
Let h = -53 + 12. Let y = -45 - h. Which is bigger: y or -1?
-1
Let l be (-78)/(-27) - 4/(-36). Let c be (6/1)/(2 - 3). Let n be ((-5)/2)/(l/c). Which is bigger: n or 4?
n
Let f(r) = -17*r - 248. Let z be f(-15). Which is smaller: z or 59/10?
59/10
Let f = 3.55 - -16.35. Let v = f + -20. Let i = v + 0.14. Which is smaller: i or 0.1?
i
Let l(g) = 9*g**2 - g - 1. Let z be l(-2). Let v = -42 + z. Is -5 equal to v?
True
Let t = 136 + -113. Which is smaller: t or 8?
8
Let y = -29 + 31. Suppose 0 = -2*h - y*g + 104, -5*h = g + g - 260. Suppose -h + 0 = 4*o. Do -13 and o have different values?
False
Let a = -41 + 25. Let q = -0.014 + 0.114. Which is smaller: a or q?
a
Let o(i) = -i**3 - i**2. Let f be o(-1). Let c be 4578/(-910) + (3 + 2 - 0). Is f greater than c?
True
Suppose -y + 1 - 5 = 0. Let z be 12/8*(y + 2). Suppose 0 = -4*p + 5*q - 36, 4*q = -5*p - 1 - 3. Which is bigger: z or p?
z
Let b(m) = -m**2 + m - 2. Let l be b(0). Let k be (-2 - 0)/(l/(-9)). Are 2 and k nonequal?
True
Suppose 0 = -2*g + 8 - 4. Suppose 2 = c, m = 2*m - g*c + 2. Let v = 6 - 6. Which is greater: v or m?
m
Let x = -2 - -5. Let c = 51 + -12. Suppose -5*n + f = c, x*n - f + 41 = 16. Is -8 not equal to n?
True
Suppose 4*y = -2*x + 6 + 12, 3 = -2*y + 3*x. Let w(b) = 3*b**2 - b - 2*b - 3 + 2. Let z be w(y). Is 17 > z?
False
Let f(m) = -m**2 - 10*m - 15. Let a be f(-3). Which is bigger: a or 10?
10
Suppose -8445 - 3691 = 82*t. Which is smaller: -149 or t?
-149
Suppose 4*a - 30 = -0*i - 5*i, 0 = -5*a - 3*i + 44. Let b = 19/2 - a. Which is bigger: 5/3 or b?
5/3
Let c be (-26)/(-52) - (-2)/4. Which is smaller: c or 1/4?
1/4
Let l = 1.5 - 8.5. Let a = 19 + l. Let t = 11.7 - a. Is t not equal to 0?
True
Let g = -23 - -23. Let s = 2.5 + -2.4. Is g less than s?
True
Let z(r) = -5*r - 6 + 3*r + 15. Let c be z(9). Let u = 73/8 + c. Is u at most as big as 1?
True
Let r be (-2)/(-6)*(-7 + 10). Let i = r - 24. Is i greater than -23?
False
Let l = 4 - 4.06. Let s = -0.16 - l. Which is smaller: s or -17?
-17
Suppose 310 = 2*a - 2*p, 0 = -0*a + 3*a + 3*p - 465. Let s = 159 - a. Is 5 greater than s?
True
Suppose 5*h + 19 = 5*o + 119, 0 = -5*h + 15. Suppose -3*x - 3*l = -45, l - 5*l - 4 = 0. Let a = o + x. Are a and -2/89 equal?
False
Let k be (-4 + 3 - 0)*-1. Let f = 68238/43 + -1587. Is k at least f?
True
Let t be -2 + 3/2 - (-276)/168. Suppose -18 = 3*x - 30. Suppose 5*c = 2*j + 11 + 5, x*j - 4*c = -8. Which is smaller: j or t?
t
Let c be 47 - (-1)/2*-2. Let h = -884 + 930. Is h <= c?
True
Let b = 469 + -475. Is -17 > b?
False
Let m be (2/(-6))/((-1528)/(-510) - 3). Which is smaller: 90 or m?
m
Suppose -8*m + 29 + 51 = 0. Let g be (-2 + 32/m)*(-10)/(-3). Suppose i = -3*j - j + 14, -2*i - 5 = -3*j. Is g less than j?
False
Let j = -65544/7 + 4994665/532. Let v = j - -23/19. Let z = v + -26. Which is greater: z or -0.02?
z
Let q = 1.428 - 0.048. Do 0 and q have different values?
True
Let f be (-29)/(-203) + 2/(-14). Are f and -2 equal?
False
Let l = -254.549 + 0.549. Do -1/2 and l have different values?
True
Let d = -86 + 87. Let q = -129 - -5419/42. Are q and d non-equal?
True
Suppose -5*k - 31 = -z, 15 = -5*k + 3*z - 8. Let v(r) = r**2 + 6*r. Let x be v(k). Let h be (-6)/(-57) + 750/95. Is h at least x?
True
Let x = -6/835 + -138496/15865. Which is smaller: x or -9?
-9
Let z = 2 + -8. Suppose -3*d = 4*d - 105. Let v = d + -19. Which is bigger: z or v?
v
Suppose -366*w = -368*w - 2. Is -2/2183 at most as big as w?
False
Let a = -12.53 + 12.583. Suppose -u = 1 + 1. Is u not equal to a?
True
Suppose -96 = -0*r + 3*r. Let a be (1*5)/(16/r). Which is smaller: a or -1?
a
Let d(q) = q**3 - 11*q**2 + 9*q. Let c be d(11). Let p = c - 148. Let s be (-14)/p + 38/14. Which is smaller: s or 2?
2
Let c(f) = f**3 + 25*f**2 + 33*f + 209. Let b be c(-24). Is -194/35 at most b?
False
Let p = 825.1 + -876. Let f = -51 - p. Let l = -3 - -5. Which is smaller: l or f?
f
Let y = -34 - -36. Let v be (4 + -7)/(6/20). Is v at least as big as y?
False
Let r = -465 + 312. Is -154 > r?
False
Let i(m) be the third derivative of -m**4/24 + m**3/2 + 4*m**2. Let s be i(0). Suppose 2 = -t, -7 = s*q + 7*t - 2*t. Which is smaller: 0.3 or q?
0.3
Suppose -9*b + 4*t = -4*b + 5, 21 = 2*b + 3*t. Suppose 3*l - 1 = -2*d, l - 10 = b*l - 4*d. Which is smaller: l or 6/13?
l
Let d = 0 - -1. Let a be 3/((74/(-1221))/((-4)/9)). Is d at least as big as a?
False
Let j = 478 - 6220/13. Suppose -4*l + 2*l = 0. Which is smaller: j or l?
j
Let i = -42 + 47. Suppose 0 = -5*u, -4*d - 5*u - 11 = -31. Is i not equal to d?
False
Suppose k + 0*k - o + 76 = 0, -4*k = -3*o + 303. Let c be ((-32)/50)/(30/k). Let v(w) = -2*w - 12. Let x be v(-7). Is x < c?
False
Let d = 0 - -1. Let c = 626 + -704. Which is bigger: c or d?
d
Let l be (5 - 4/4)*(0 + 5). Suppose l = -q + 26. Is q not equal to -0.3?
True
