) = 2 - 17 + 6*r - 2*r + r**2. Let g be t(-7). Suppose -30 = -n - 2*n. Is n != g?
True
Let p be (-1)/(-1 + 2)*(-5 - -95). Are -89 and p equal?
False
Let f be (-16491)/(-15) - (-4 - 110/(-25)). Let v = f - 117591/107. Suppose -4*s - 1 = -l, -3*s - 4*l = -14 - 9. Which is smaller: s or v?
v
Let h(t) = -t**3 + 27*t**2 - 2*t + 89. Let s be h(27). Does -5 = s?
False
Let i = -27 - -29. Suppose 3*n - 4*c = -12, 6*n - i*n + 6 = 2*c. Let k = 2 - 5. Are k and n equal?
False
Let o be 4 - 6 - 6/(-4). Suppose -2*h + 8*h = 108. Let j = 16 - h. Which is smaller: j or o?
j
Let w(s) = -s**3 + 4*s**2 + 1. Let q be w(4). Let m be (76/(-266))/(110/14). Which is greater: m or q?
q
Suppose x - 12 = 3*c, 0*x - 4*c = x + 23. Let o be 159/9*x + 0. Are o and -54 equal?
False
Suppose -13*t = -18*t + 230. Suppose v - 4*q - t = 0, 0 = -3*v - 4*q + 2*q + 208. Let z be (-67)/(-187) + (-12)/v. Which is smaller: z or -1?
-1
Let p(t) = -t**2 + 11*t + 7. Let w be p(11). Let a(o) = o**3 + 6*o**2 - 7*o + 3. Let c be a(-7). Suppose c*u = 26 - 8. Which is bigger: u or w?
w
Let r = -168 + 168.06. Which is bigger: r or -1.4?
r
Let n be (1 + -7)*(-5 + 6). Let u be 3 - (-9)/n*10. Is u at least -12?
True
Let d(x) = x**3 - 8*x**2 - 2*x + 14. Let h be d(4). Is h < -60?
False
Let k(s) = -s**3 - 4*s**2 - 4*s. Let x be k(-3). Suppose -v + 3*m - 1 = 0, 3*v + m - 2*m = 5. Suppose -d - v = -2*d. Is x less than d?
False
Let w(i) = -i**2 + i + 1. Let k be w(-2). Let n be (-12)/(-78) - 1550/(-403). Is k less than n?
True
Let p be (10/(-404))/((-6)/12). Let t = -304610/7 + 461485039/10605. Let a = t + p. Which is smaller: -1 or a?
-1
Suppose -102*t + 16 = -110*t. Let s = -8 + 5. Which is smaller: s or t?
s
Let g = 1.7 + -1.9. Let v = -2.4 + g. Let j = v - 2.4. Which is smaller: 0.2 or j?
j
Let o = -12.303 + 0.203. Let d = -11.86 + -0.14. Let c = d - o. Are c and -0.04 equal?
False
Suppose -5*y + 3*q - 6*q = 15, 2*y + 15 = -3*q. Let i = -729 + 37183/51. Which is smaller: y or i?
y
Let d = -7/18 + 8/9. Let z be 15/(-10)*(-40)/(-12). Which is smaller: z or d?
z
Let b be 8/12 - (-2)/(-30). Let k = -18 - 1. Let l = k + 19. Which is bigger: b or l?
b
Let u = 178 + -214.2. Let k = -11.2 - u. Which is smaller: k or 0?
0
Let n = -137 - -127. Which is greater: n or -31/3?
n
Let o = -5/29 - 19/58. Are o and -16 unequal?
True
Let v = 6638/13 + -510. Suppose 2*n = 2*t - 2, n - 7 = -3*t - 0*t. Which is smaller: v or n?
v
Let m = 100 - 99.716. Let k = 0.016 + m. Is k > 1/3?
False
Let o = -19 + 8. Suppose -3*s + 2*a - 16 = 0, -3*s = -4*s + 3*a - 3. Let t(l) = -l**3 - 7*l**2 - 5*l - 4. Let i be t(s). Which is bigger: o or i?
i
Let h = -4413 - -30945/7. Suppose 28 = 4*b - 4*u, 5*u = -0*b - 3*b + 29. Is b greater than or equal to h?
True
Let v = 376 + -415. Which is smaller: v or -36?
v
Let m = 31 - 31.6. Let w = 0.4 - m. Is w less than 3?
True
Let q(j) = -766*j**2 + 15*j + 2. Let i be q(-1). Are i and -779 non-equal?
False
Suppose 5*v = 4*v - 6. Let k be ((-1)/(3/v))/(13 - 1). Let z = 0.2 + 0. Is z less than k?
False
Suppose -2*f + 3*x - 128 = 0, 3*f + 0*x + 4*x + 192 = 0. Is f less than 2?
True
Let h = -14 - -15. Suppose 13 - h = 4*q. Suppose 2 = 3*k - 2*k. Do k and q have different values?
True
Let m be ((-1)/3)/((-6)/45). Let l be (78/21 - (0 + 4))/(30/(-42)). Which is smaller: m or l?
l
Let t = 67 + -126. Let u = t + 59. Which is bigger: u or -7/12?
u
Suppose 0 = -2*m + 3*s - 10, 2*m - 4*s = -4 - 10. Suppose k = 2*n - 7, -2*k + n = -0*k + 17. Which is smaller: k or m?
k
Suppose -167*x = -12*x + 14*x. Let c = 2 + 1. Which is smaller: x or c?
x
Let a be -7 + (-30)/((-30)/6). Let u = 3 + 5. Let z = 6 - u. Is a equal to z?
False
Suppose c - b = -4, -3*b = b + 4. Let k(z) = z - 10. Let r = -7 - -14. Let x be k(r). Which is smaller: x or c?
c
Let m be -2 + (22/4)/((-8)/(-16)). Let v = -326 + 667/2. Do v and m have the same value?
False
Let c = 12961/9 - 1428. Let t = -13 + c. Is -5 at most t?
True
Let i(j) = -j**3 + 11*j**2 - 23*j + 26. Let g be i(9). Which is smaller: g or -20?
-20
Let u be 6 + 1 - (-45918)/(-6606). Which is smaller: u or 0?
0
Let c = 0.0016 + -0.1016. Is -0.06 equal to c?
False
Let u(s) = 34*s + 178. Let l be u(-5). Is l > 0?
True
Suppose -j + 0*j = -2*o + 5, 2*j = 5*o - 12. Let l = 1042 - 1044. Which is smaller: o or l?
l
Let o = -25/2 + 34/3. Is 2 not equal to o?
True
Let b be (-20)/(-14) + (-6)/14. Let y be (b*4/12)/(-1). Let l be (-7)/28 + (-10)/(-8). Are y and l equal?
False
Let z = 1889 - 35881/19. Is z != 0?
True
Suppose 5*a + 0*g = g - 145, 3*a + 4*g = -64. Let c be 258/63 - (-12)/a. Let d = 3 - c. Which is bigger: d or 0.04?
0.04
Suppose -4*i + 33 = 3*t, -3*i + 9 = -5*t + 2*t. Let q = i - 5. Let v(c) = c**2 - c. Let k be v(1). Is k bigger than q?
False
Let d be (51/1 - -3)/((-18)/24). Let m = 46373/35 + -9780/7. Let l = d - m. Which is smaller: l or 0?
0
Let w(z) = -11*z + 2. Let q be w(1). Let o be (2/4)/((-8)/(-48)). Let m be (o/q)/((-2)/42). Which is smaller: m or 8?
m
Let h = 12 + -9. Suppose 0 = -3*g + o - 38, o - 8 = -h*g - 42. Suppose 24 = -3*t + t. Is g at least t?
True
Let v = -11 + 18. Let o(a) be the third derivative of a**6/120 - a**5/12 - a**4/6 - 2*a**3/3 + 24*a**2. Let s be o(6). Which is smaller: s or v?
v
Let w = 5 + 47. Let b be 4/(-26) - 148/w. Let v be (-160)/(-30) + 1/b. Which is smaller: 3 or v?
3
Let u = 1043/2 + -416. Is u not equal to 106?
True
Let u(s) = s - 5. Let l be u(6). Let c(i) = i**3 + 22*i**2 + 19*i - 21. Let x be c(-18). Let q = x + -12123/13. Which is greater: l or q?
l
Let p = -31876/18589 + -6/641. Is -1 smaller than p?
False
Let d(y) = -y + 4. Let r be d(13). Let p(f) = -3*f**2 + 36*f - 13. Let o be p(12). Do r and o have the same value?
False
Let c = 38.91 - 1.51. Is 2/5 less than or equal to c?
True
Let j = -17 - -22. Suppose -2*u - u - 26 = j*w, -5*w - 24 = 2*u. Let d be (5/(-5))/(u/14). Which is bigger: d or 5?
d
Suppose 121*y + 376 = -3012. Which is bigger: y or -6/7?
-6/7
Suppose -3*g - f + 10 = 0, -2*g + 4*f - 2*f = -4. Suppose 10 = 4*n - 5*v - 25, 0 = -4*v - 12. Suppose 0 = 4*s - 17 + n. Is g at most as big as s?
True
Let z be 15/(-9) + 4*585/(-54). Suppose -22 = 2*d + 70. Which is smaller: z or d?
d
Suppose 336 = 2*y + 7*d - 3*d, 4*y - 666 = -5*d. Let u be 2/(-6) + y/60. Which is smaller: u or 3?
u
Suppose 118 - 136 = -9*d. Is d >= 0?
True
Let j(a) be the first derivative of 3*a**2/2 - 29*a - 24. Let n be j(10). Which is smaller: n or 2/37?
2/37
Let y = 11/5 + -116/55. Let c = -0.2 + 0.1. Is y greater than c?
True
Let u be (396/(-110))/((3/20)/(-1)). Which is smaller: u or 262/11?
262/11
Suppose 20 = -4*k - k. Let p be (-82)/(-8) - k/(-16). Let d be ((-4)/p)/(8/(-160)). Is d at most 8?
True
Let b be (1 + -2)*(4 + 2). Suppose 0 = -5*l + 87 - 102. Is b at most l?
True
Let f = 226 - 2481/11. Let d(u) = u**3 + 3*u**2 - 17*u + 6. Let x be d(-6). Which is smaller: f or x?
x
Let j = 3.76 - 5.76. Do 19 and j have different values?
True
Let w be (-18)/12 + 3 + 3 + -5. Which is smaller: -214 or w?
-214
Let p = 20 - 23. Let t be p*3*(-4)/12. Is 10 > t?
True
Let l = -128 + 114. Let g(m) = 4*m + 57. Let d be g(l). Do d and 2/199 have the same value?
False
Let c(b) = 3*b - 6. Let d be c(7). Suppose -14*z - 2 = -d*z. Let t be 2 - (4 + -2)/z. Are t and 1 equal?
True
Let g = -3636/5 + 729. Let q = 0 + 0. Is q > g?
False
Let c(h) = -h**3 + 52*h - 94. Let g be c(2). Suppose -2*o - 5 = -7*o. Let k(t) = t**3 + t**2 - 2*t + 1. Let m be k(o). Are m and g unequal?
True
Let i be (1*2)/((-13)/(390/(-440))). Which is greater: i or 2/5?
2/5
Let l be (3 + -2)/(-11 + 12). Let s = 2/1493 + 35798/25381. Which is smaller: l or s?
l
Let s = 6 + 29. Let g be -1 + 2 - (-102)/(0 + 3). Is g > s?
False
Let q = -293/8 + 249/8. Is -0.8 at most as big as q?
False
Let s be (10*(-1 + 2))/(3/(-3)). Let r be (-1)/((-3)/10)*12/s. Is -4 at most as big as r?
True
Let u be 1/3 - 374/(-66). Suppose -5*b = -2*t - 0*t - 75, u = 2*b + 4*t. Let i = 16 + -3. Is i <= b?
True
Let i = -618 + 610. Which is greater: i or -10?
i
Suppose -3*c = -2*o + 13, -49*c + 53*c = -5*o - 2. Which is smaller: c or -17/5?
-17/5
Let h(w) = 4*w + 5. Let j be h(-2). Let x be j + 8 + -2 - 4. Is 2/59 at most as big as x?
False
Let w = 1861 + -1953. Is w less than -90?
True
Let i be ((-2040)/(-160))/(114/8). Are i and