be t(19). Let r be (16/o)/((-10)/(-125)). Suppose 2*p = -3*p - r. Is 1 smaller than p?
False
Let x = 6761/2 + -3143. Is x bigger than 237?
True
Let k = 157/4 - 143/4. Let f(c) = -c**2 - 3*c + 13. Let b be f(-5). Which is greater: b or k?
k
Let z(p) be the third derivative of -p**4/3 - 2*p**3/3 + 17*p**2. Let b be z(2). Is -21 > b?
False
Let q = -78.53 - -78. Let v = 0.27 + q. Let z = 12.26 + v. Which is smaller: z or 0?
0
Let f = 3 - 2.84. Let h = -5.84 - f. Let z = h - -6.1. Is z less than 1/9?
True
Suppose 713*u + 18 = 722*u. Do u and 46/29 have the same value?
False
Let q = -18.4 - -35.6. Let n = 41 + -58. Let f = q + n. Is -1 bigger than f?
False
Let o(h) = -7*h**2 + 16*h + 11. Let m(l) = 11*l**2 - 25*l - 17. Let v(r) = 5*m(r) + 8*o(r). Let n be 29/(-9) - 2/(-9). Let k be v(n). Is k at least 0?
False
Suppose -2*u + 30 - 2 = 0. Let m = u + -31. Is -17 at most as big as m?
True
Let k = -355/217 - -11/7. Let f = -351/155 - k. Which is bigger: -1 or f?
-1
Let w = 39.46 - -6.84. Let p = w + -46. Are -4 and p non-equal?
True
Suppose 17*k - 13*k = -12. Let z be (-1 - k) + (-11 - -4). Let d(g) = 2*g**3 + 2*g**2 - 2*g - 1. Let l be d(-2). Is l greater than z?
False
Let b = 8/51 + 3/17. Let f = b + 0. Are f and -0.05 non-equal?
True
Let p be 3 + 0/(-2*2). Let b be -3*(3 + (-14)/p). Suppose -10 = 2*t, 2*k + 0*k + b = -t. Which is smaller: -2/9 or k?
-2/9
Suppose -3*k - 66 = -8*k + 4*d, 2 = 2*d. Is k at least as big as 16?
False
Let f be 118/40 + (-1)/(-4). Suppose -2*d + 34 = 2*t, 82 = 5*d + 7*t - 5*t. Suppose -11*y = -3*y - d. Is f >= y?
True
Let g be -4*(-1)/(-6)*-9. Let h be 3/4 + g/(-8). Suppose -r = -h*r. Are r and 0 equal?
True
Suppose -5*r - 17 = 98. Which is smaller: -21 or r?
r
Let y(o) = -o**3 - 15*o**2 - 2*o + 20. Let g be y(-15). Suppose -3*j = 4*w + g, 6*w - j + 72 = w. Is w at least as big as -13?
False
Suppose 12 = 2*g - 2*h, -g + 14 = -2*g - 4*h. Let k be (-92)/20 - -5 - g/5. Which is bigger: 4/15 or k?
4/15
Let k(v) = -v**3 - 12*v**2 - 12*v - 9. Let a = 3 - 14. Let h be k(a). Is h <= 15/13?
False
Let l be 16/(-9)*54/(-72). Is l greater than or equal to -1?
True
Let x = 1040 - 1065. Let b = -40 - -14. Which is greater: x or b?
x
Let v = 1295.1 - 1368. Let x = 73 + v. Let d = 14.71 + 0.29. Which is smaller: x or d?
x
Let l be -27*2*21/56. Which is smaller: -21 or l?
-21
Let o be (-35)/(-7) - ((-1134)/(-113))/2. Which is greater: -1 or o?
o
Let h be 10/(-6) + (-476)/(-84). Let f = -75.16 - -75. Is f at most as big as h?
True
Suppose 2*l = 2*m, -4*m - 3*l + 9 = -4*l. Let a be ((-6)/(-2))/(21/28). Suppose -a*p - 4 = -r - 15, -p = -3*r. Is m <= p?
True
Let l = 213 - 214. Let u be 16/(-6) + (-4)/(-6). Let i be (7/35)/(u/(-2)). Are l and i non-equal?
True
Let h = 7/24 - -13/120. Suppose -b - b = -2. Which is greater: h or b?
b
Let p(r) = 2*r**2 - 3*r - 2. Let k be p(3). Suppose -c = 5*u - 3*u + 5, 4*c + 4*u = 0. Suppose -x + 14 = -2*t + 5*t, -c*x = t - 42. Is k greater than x?
False
Let m be (816/(-85))/((-84)/(-8)). Let j = -1/61 + -361/305. Let v = m - j. Which is smaller: 1 or v?
v
Let x = 2113 - 23241/11. Is x less than or equal to -30.8?
False
Let p = -0.3 + 0.4. Suppose -m + 3*b = 16, -2*b = -2*m + 4*m. Let x be (6/(-4))/((-60)/m). Which is greater: x or p?
p
Let w = 1164 - 1163.89. Is 9/4 <= w?
False
Suppose 0 = 28*r - 30*r. Let i be ((-9)/(-6))/(-3) + (-3)/(-6). Do i and r have different values?
False
Let q = 100.2 - 156.1. Let u = 56 + q. Suppose -6*s - 9 = -3*s. Is s greater than u?
False
Let g = -73 - -102. Let c = -45 + g. Which is bigger: c or -17?
c
Let r be (-164)/(-18) + (2 - (-25)/(-15)). Let s = r + -9. Let b = 0.2 + -0.1. Which is greater: s or b?
s
Let o = 0.134 + 22.866. Is o less than 1/4?
False
Suppose 5*i + 12 = 42. Let f = -1421 - -1423. Do f and i have different values?
True
Let t = 515.1 - 515. Which is smaller: t or -215?
-215
Let m be 1/((-21)/15) + 1. Suppose -3*i + 11 = -3*r - 2*i, i - 13 = 4*r. Let o be (r/(-5))/(2 + 24/(-15)). Which is bigger: m or o?
o
Let l be (-1*(-822)/(-18))/(4/3). Which is bigger: l or -33?
-33
Let d(s) = -s**3 + 27*s**2 + 27*s + 30. Let v be d(28). Let c = -140/3 - -992/21. Is v less than c?
False
Let s = 1233 + -1281. Which is bigger: s or 1?
1
Let m(i) = i**3 + 6*i**2 - 6*i + 6. Suppose -2*d = 3*d + 35. Let a be m(d). Let o be (a/(-4))/((-85)/20). Which is smaller: 0 or o?
o
Let v be -3*2/6*1. Let k = 5 + -1. Let i = k + v. Which is smaller: i or 6?
i
Let v = -18 + 18. Let a = 21 - 14. Suppose v = -a*s + 2*s. Which is smaller: s or 1/9?
s
Let i(u) = -3*u + 3*u + 5*u - 4*u - 5. Let k be i(4). Is -1/11 != k?
True
Let a be (288/(-60))/(4/(-10)). Which is bigger: 4 or a?
a
Let h = -2215 + 2547. Which is smaller: h or 329?
329
Let x = -47 - -66. Let f = -0.04 + -0.06. Is x < f?
False
Suppose 5*b = -3*j - 6 - 4, 4*b + 8 = -j. Let u = j - -9. Let o = 0.12 - -0.88. Is o equal to u?
False
Let v = 590 - 1548. Which is smaller: -959 or v?
-959
Let k = 6659/11 + -606. Let j = k + 6/11. Which is smaller: j or -1?
-1
Let u = 81/40 - 21/8. Are u and -19.5 non-equal?
True
Let g = 30 - 23. Suppose 0 = 2*b + 4*m, 4*m + 7 = 5*b + g*m. Is -1 >= b?
False
Suppose 3*w + a - 7 = 0, 4*w + w + 2*a - 10 = 0. Let p(b) = b - 1. Let n be p(w). Suppose 4*h - n = 7*h. Which is bigger: -5 or h?
h
Let z be (51*(-4)/21)/(4/(-14)). Let d = z - 56. Which is smaller: -23 or d?
-23
Let r = -1.71 - 74.29. Which is bigger: 2 or r?
2
Let i be -3*4 + -3 + 2. Let q = i - -11. Let z be -5 - -9 - 5/q. Which is greater: 6 or z?
z
Let t = -2 + 1.9. Let n = -1388 - -1419. Are n and t nonequal?
True
Let c be (5/((-15)/12) + 4)/3. Suppose 3*g = 3*n + 3, -2*g + n + 5 = -3*g. Let o be 0/2 - (-2)/g. Is c not equal to o?
True
Let z be (2 + -4)/((-21)/(-6)*-1). Is z != -0.2?
True
Let s(b) = 23*b + 2. Let m be s(-2). Let v be (-9)/(-4) + (-11)/m. Which is bigger: v or -3?
v
Let k = -0.1717 + -0.3103. Do k and 0 have the same value?
False
Let j be (-231)/308*4/(-9). Which is smaller: 1/96 or j?
1/96
Suppose k - x = 0, x + 3 = 2*k + 2*x. Suppose -3 = -j + k. Suppose j*m + 2 = 6*m. Does m = 1/20?
False
Let v = -144 - -84. Let u = v - -59.88. Is u bigger than 3?
False
Suppose -2*c + 39 = 3*m - 19, c = 2*m - 34. Suppose 0 = -3*v + v + m. Let r = v + -9. Which is smaller: -2/29 or r?
-2/29
Let l = 21 + -5. Let o be -8*12/16*3. Let r = o + l. Is 1 smaller than r?
False
Let s = -4 + 2. Let k be 4*(9/(-10))/(21/(-35)). Let v be (20/(-8) - s)*k. Which is smaller: v or -2?
v
Let o be (-3 - -5) + (-854)/80. Let d = o + 44/5. Is d equal to -1?
False
Suppose 5*k - 1 = -6. Let h(d) = 4*d + 14. Let s be h(10). Let l = s - 1243/23. Which is greater: l or k?
l
Let q(g) = 4*g + 134. Let m be q(-17). Is 66 bigger than m?
False
Let b = 286/21 + -2497/189. Which is smaller: -4/7 or b?
-4/7
Let q = 382 + -382.1. Let j = 22.9 - 24. Which is smaller: q or j?
j
Let k be 45/(-975)*(-758)/(-3). Let u = k + -111197/715. Let w = -167 - u. Which is bigger: -1 or w?
w
Suppose 5*w + 4 + 4 = 2*m, 3*w = -4*m - 36. Suppose 5*p = 4*a + p + 48, -4*a - 4*p = 8. Are a and m unequal?
True
Let l = -75 - -72. Let j(v) = -v**3 - 2*v**2 + 4*v + 6. Let c be j(l). Which is smaller: c or 4?
c
Suppose -3*w + 5 = -4. Let b = 4 + -2. Let u be (-2*(w - b))/(-44). Are u and 1 nonequal?
True
Let z be 1*-1*(2 - 5). Suppose -z*o - 1 = -13. Let v be ((-3)/6 + -1)*o. Which is bigger: v or 0?
0
Let i be (6/(-15)*-10)/(2/6). Let k be i/(-14)*(-33)/22. Let q = -3 + 4. Which is smaller: k or q?
q
Let k(r) = -r - 36. Let n be k(-4). Is -31 < n?
False
Suppose -j - j = -118. Suppose -5*v + j + 41 = 0. Let g be (32/v - 0) + -3. Which is bigger: 0 or g?
0
Suppose -9 - 5 = 7*b. Let j be ((1 - -3) + -1)*b/(-33). Is 1/16 at most as big as j?
True
Let a = -0.4 + 10.6. Let g = a + -9. Let o = 0.8 + g. Is o at most as big as 2/5?
False
Let n be 678/(-113) + 29/(-15). Let v = 930 + -4683/5. Let q = n - v. Is 0 > q?
True
Suppose -2*f - 72 = 4*f. Let p = 13 + f. Suppose 0 = 5*g - 2*s - 4 - 3, 0 = g + 2*s + p. Do -1/7 and g have the same value?
False
Suppose n = -n, 2*g = 4*n + 10. Suppose 0 + 1 = -j + q, -j - g*q + 5 = 0. Is -8 at most as big as j?
True
Let t be (-2)/5 - 9/(-10). Let d = 20 + -20. Let a(r) = r**2 + 2*r + 1. Let u be a(d). Is u > t?
True
Let b(d) = -d**2 - 9*d - 20. Let m(f) = -f**3 + 18*f**2 