6*u - 214. Let m be 1/7*(-77)/o. Is -30 less than m?
True
Suppose 17*y - 40 = 7*y. Suppose -2*q = -5*t + y*t - 10, 5*t - 4*q = -38. Do -31/6 and t have different values?
True
Let n be (-4725)/(-162) + (2 - 1)/(-6). Suppose c - 275 = -5*x - 0*c, 3*x - 143 = -5*c. Let v = x - 29. Which is smaller: n or v?
v
Suppose 5*b = 7 - 7. Let x(m) = m**2 + 7. Let i be x(b). Let g be -3 + i + 33/(-7). Is -1 less than or equal to g?
True
Let l(t) = -19*t + 121. Let j(z) = -9*z + 61. Let g(n) = 7*j(n) - 4*l(n). Let o be g(9). Which is greater: 3/2 or o?
o
Let h be 35/(-16996)*(-1 - -17). Is h greater than 1?
False
Let t = 931611/402046 + -1/9806. Is 1 smaller than t?
True
Suppose -10*l - 6132 = -6*l. Let y be l/384 - (-4)/1. Is 1/2 smaller than y?
False
Let o be 88083/(-9783) + 99/11. Is o smaller than 1?
True
Let b be -37*(4 + -3)*1. Let i = 37 + b. Suppose i = 3*a + 13*a - 176. Is 11 <= a?
True
Let l = 0.9 - 0.1. Let n = 43735 - 43705. Is n greater than l?
True
Let b(j) = -j**2 + 1. Let m(w) = 6*w**2 + w + 2. Let a(i) = -2*b(i) - m(i). Let l be a(2). Is l at least -22?
True
Let r be (75/(-3) - -1)*(11430/(-36) - -3). Which is smaller: 1 or r?
1
Suppose -5*w + 2*y + 19 = -15, 0 = 4*w - 3*y - 30. Let a be (3/w)/((-2)/4)*1. Let q(c) = -c**3 + 3*c**2 + 5*c - 5. Let v be q(4). Is a less than or equal to v?
True
Let k(o) = o**2 - 2*o + 3. Let z be k(-6). Suppose -69*r - 82 = -71*r + 2*q, 0 = -4*r - 2*q + 224. Is r less than or equal to z?
True
Let c(x) be the first derivative of -8*x**2 + 32*x + 31. Let b be c(4). Is b at most as big as -30?
True
Let r = -137 + 193. Let d = -54 + r. Suppose -g + 2*l + 51 = -4*g, -2*l - 34 = d*g. Do -16 and g have the same value?
False
Let z(v) = -v**3 + 12*v**2 + 105*v - 13. Let y be z(-7). Which is bigger: y or 186?
186
Let h be (-1073)/185 + (-1)/5. Is h >= 279?
False
Let o = -2 + 3. Let t = -21 - -23. Let h be (1/t)/(7/(-8)) + 1. Which is smaller: h or o?
h
Let u = 4498 + -4509. Is u at most 182?
True
Let u = 912 - 825. Which is smaller: -0.1 or u?
-0.1
Let x(q) = -9659*q + 154544. Let o be x(16). Let g = -0.053 - 25.947. Let t = -10 - g. Which is smaller: o or t?
o
Let s(q) be the first derivative of -2*q**3/3 - 9*q**2/2 - 11*q - 4. Let p be (45/(-36)*-1)/(2/(-8)). Let c be s(p). Which is bigger: c or -15?
-15
Let y be 6/18 + (-71)/(-3). Let n be y/(-4256)*(-26140)/10002. Let h = -1/3334 - n. Which is greater: h or -1?
h
Let x(c) = -22*c**2 - 3*c - 1. Let a be x(-1). Let n = -164 + 264. Suppose 0 = 6*g - g + n. Is g < a?
False
Suppose 62*z = 4*g + 65*z - 25, 0 = 5*g - 4*z + 23. Which is smaller: -14/3321 or g?
-14/3321
Let f be -1*(-11 + (-2863 - -7)). Are 2868 and f non-equal?
True
Let v(k) = -k**3 + 3*k**2 + 19*k - 7. Let i be v(6). Is i bigger than 1366?
False
Let p = -1018 - -1018. Let f = 0.0448 - 539.0448. Which is smaller: f or p?
f
Let x(f) = 2*f**2 + 12*f - 597. Let u be x(-31). Is 952 at least as big as u?
False
Let f be 520/(-39)*27/(-36). Suppose -23 - 49 = -3*n. Let v = n + -15. Is v not equal to f?
True
Let l = 6.607 - -2.393. Let a = -5587/6 - -928. Is l greater than or equal to a?
True
Suppose -43*d - 100 = -38*d - 5*r, -4*r + 98 = -5*d. Is -16 greater than or equal to d?
True
Let k(b) = -b**2 - 28*b + 680. Let c be k(-57). Is -971 less than or equal to c?
False
Let l(d) = -61*d - 139. Let y(z) = -123*z - 285. Let u(a) = 13*l(a) - 6*y(a). Let p be u(-6). Is p smaller than 234?
True
Let y(u) = u**3 - 18*u**2 - 27*u + 23. Let k be y(19). Let r = k - -1421/11. Let z = r + -21/55. Which is smaller: 0 or z?
z
Let w = -399/8 - -163981/3288. Suppose 216 = -283*q + 184 - 251. Which is smaller: q or w?
q
Suppose -y - 37 = 3*w - 11, y + 2 = 0. Suppose 5*h - 7 = 23. Suppose 4*d + g - 2*g - 6 = 0, h = -2*d - 4*g. Does d = w?
False
Let y = -187.44 - 301.56. Which is smaller: 0.02 or y?
y
Suppose -1632 = -1101*t + 1097*t + 604. Does t = -4?
False
Let g = 656 + -3273/5. Is g < -108?
False
Suppose -i + 262*v = 267*v - 11, 4*i = -2*v + 8. Which is smaller: -1/416 or i?
-1/416
Let i be ((-16)/24)/(2/(-144)). Suppose i = -c + 7*c. Suppose 0 = 40*z - 42*z - c. Which is bigger: z or -5?
z
Let y be (-92)/7*882/72*-2. Is y greater than 3528/11?
True
Let h = -122/3 - -40. Let x = -26 - -36. Let p = x - 0. Which is smaller: p or h?
h
Let i = -0.02414 - -0.26414. Let g = -56/5 + 54/5. Is g equal to i?
False
Let t be ((-1639)/(-543) - 3)*(-168)/(-280). Which is smaller: t or -7?
-7
Suppose -4*q = -34*q - 3540. Let r be (7 - 2) + q/8 - -3. Is -6 > r?
True
Let t = 89741/35 - 17944/7. Let c = 9 + -6. Is c at most t?
False
Suppose 0 + 60 = -5*r. Let y be (1/(-3))/(1/r). Suppose y*v - 38 = -0*v - 3*j, -40 = -4*v - 4*j. Is 8 bigger than v?
False
Let a = 9167342/15 - 610903. Let c = a + -253. Is 4/15 not equal to c?
True
Let r be 1 + -3 + 32 + -3. Let f be (8/(-20))/(149/30 + -5). Suppose -f*w + 231 = -81. Which is bigger: r or w?
r
Let s be (4/(-6))/(((-704)/594)/(-16)). Which is greater: -194/21 or s?
s
Suppose -23*q + 4*b - 2068 = -21*q, 5*b = 4*q + 4154. Is q < -1046?
False
Let h = -162.2 - -145. Let r = h + 17. Do 101 and r have the same value?
False
Suppose -634 = -4*p - t + 420, -p + 272 = -4*t. Let a = 248 - p. Is a bigger than -16?
False
Let j be 1*(132/(-110) - -1). Are j and 276 nonequal?
True
Let w(q) be the second derivative of q**5/20 + 5*q**4/4 - 5*q**3/2 + 13*q**2/2 - 9*q. Let y be 250/(-15) + 1/(-3) - -1. Let v be w(y). Is v less than -1?
True
Let l be ((-1)/3 + 52/39)*7. Suppose l*d - 3*d - 17 = 5*o, -4*d + 14 = -2*o. Suppose x = -d*r - 2, 3*r = -8*x + 3*x + 2. Is -2/153 less than x?
True
Let m be (89496/(-64))/(-3) + 1/(-8). Let w = m + -62445/134. Is w != 1?
True
Let h be (53/2)/(30/60). Let l = h - 53. Let s = -17 + 16. Which is smaller: l or s?
s
Let t = -515 + 513. Let x = -27.6 + 15.82. Let q = 12 + x. Is t greater than or equal to q?
False
Let b = -17470 + 17747. Are 7/2 and b equal?
False
Let i be (-8174)/2360 + 6/(-10) + (-1 - -5). Which is smaller: -1 or i?
-1
Suppose 0 = -158*l + 150*l - 133936. Which is bigger: l or -16744?
l
Let r be 2*(-62)/2 + 2. Suppose i = -4*l - 144, -39 = l - 0*i + i. Let q = r - l. Is -26 greater than q?
False
Let n = -52 + 52. Let p(r) = 2*r**3 - 16*r**2 + 10. Let c be p(8). Suppose -3*y - c = -8*y. Is n > y?
False
Let j = -30.5 - -31.1. Is -0.22 less than j?
True
Let x(q) = q**2 + 17*q - 33. Let a be x(-20). Suppose -j = -4*z - 2*j + a, -3*z = j - 21. Suppose -32 = v - z. Which is smaller: -27 or v?
-27
Suppose -x = -2*n + 91 - 19, -n = -2*x - 30. Suppose -3*k = 4*h - 52, 2*k + 10 = -h + n. Let m = 7 + 4. Which is smaller: k or m?
m
Suppose -g = 3*g + o - 2971, 0 = 2*g - 5*o - 1469. Let m = 741 - g. Which is bigger: 2/227 or m?
2/227
Let j(t) = t**3 - 11*t**2 - 40*t - 27. Suppose 6*b + 26*b - 448 = 0. Let a be j(b). Which is greater: -1/198 or a?
a
Suppose -84*g = 115*g - 93338 - 35017. Does g = 645?
True
Let r = -1256 + 1352. Is 109 < r?
False
Let y be 1*6*5/(7 - 37). Let v be (14 - 9 - 15)/y. Let b = 29 - 18. Is b greater than or equal to v?
True
Let x = -134 - -234. Suppose 9*y = 10*y - x. Let n be (y/30)/((-2)/(-3)). Is n less than 4?
False
Let j = 48 + -41. Suppose -3*y + 0*y - 16 = 2*o, -3*o = -4*y + j. Let s be ((-3)/y)/((-9)/6). Which is bigger: -0.024 or s?
-0.024
Suppose -o + 4 - 1 = 0, -2*f - 7 = -3*o. Let m be 1/(-4)*-18*(-22)/33. Let w be (33/(-110))/(-174*m/15). Is w not equal to f?
True
Let x be (7947/14388 + 18/(-33))*-172. Which is bigger: x or 0?
0
Suppose 0 = -2*f + 3*a + 52, 5*f + 22 - 114 = -2*a. Suppose -8*n + 13*n - f = 0. Let u be n/5*(4 + 54/(-12)). Is u greater than or equal to -1?
True
Let i = 10 - -5. Let k be 1/((i/3)/(-5)). Let c be -8 + 8 - (k + 1). Which is smaller: 7 or c?
c
Let b = -0.949 - 0.051. Let p = 7586/73203 - 2/1877. Which is bigger: b or p?
p
Suppose 34*s = 35*s - 1082. Is s < 1/4?
False
Let o(i) = -16*i + 12. Let v = -20 + 26. Let q be o(v). Let m be 6/8 - 133/q. Which is greater: m or 1/2?
m
Let b be 834/(-30) + 4/5. Let z = 81 + -101. Let i be 6/30 - (2 - 494/z). Which is greater: b or i?
i
Let y = -40.2 - -40.4. Is y greater than or equal to -482?
True
Let r = 7966 + -28283. Which is smaller: -20318 or r?
-20318
Suppose 0 = -k + 791 + 679. Let c be (-1)/(-5) + k/25. Let t = -36 + c. Is t less than 0?
False
Let t(w) = -w**2 + w - 2. Let