Suppose w*k = -2*j - 1, 3 = 4*j + 4*k - 1. Let x be r(j). Are x and -34/3 nonequal?
True
Let b be (126/(-108) - -6) + -4. Which is bigger: 2128 or b?
2128
Let u(i) = 20*i - 84. Let t(y) = -3*y + 13. Let b(k) = 32*t(k) + 5*u(k). Let c be b(1). Is c smaller than 3/32?
True
Let k = 1723 + -1723. Is k greater than -25/332?
True
Let k(q) = -q**2 - 16*q - 30. Let n = 121 - 136. Let r be k(n). Is r at least -140/9?
True
Let t = 2314 - 16202/7. Is t <= -454?
False
Let s = -6289 - -6288. Is -14/739 at most s?
False
Let n = 7 + 68. Suppose -84*l = -89*l - n. Which is smaller: -12 or l?
l
Let m = -39914 + 3432645/86. Which is smaller: 1 or m?
m
Let d be 8/28*(-245)/70. Is -420 equal to d?
False
Let y(w) be the third derivative of w**6/360 - 13*w**4/6 - 35*w**3/6 + 44*w**2. Let g(a) be the first derivative of y(a). Let x be g(-7). Is -11/4 less than x?
False
Let b(l) = l**3 + 30*l**2 + 85*l + 110. Let h be b(-27). Is h less than or equal to -17.4?
False
Let l be (2 + 28/(-6))*3/(-1). Suppose -5*r + l - 3 = 0. Are r and 2/121 non-equal?
True
Suppose p = -h + 105, 5*p - 72*h = -70*h + 574. Which is bigger: 790/7 or p?
790/7
Suppose -3*b + b = 4. Let i be ((-2 - b)/(-6))/(0 + 1). Let l be (-2)/6*54/123. Which is bigger: l or i?
i
Let f = 13322 - 66612/5. Which is greater: f or 273?
273
Let n be 10/(-50) + (-185956)/70 + -1. Let l = n + 2646. Let m = 710/63 + l. Which is greater: m or 1?
1
Suppose 0 = -11*v + 102 - 58. Suppose 4*b = -t - 2, v*t - 6 = -2*b + 7*t. Which is bigger: b or -360?
b
Let x = -1517 + 1543. Which is smaller: 8 or x?
8
Let l(b) = 659*b + 7175. Let k be l(-24). Which is greater: -8643 or k?
k
Suppose 2*o = -3*w - 63, 36 = -3*o + 4*w - 67. Let r(a) = a**2 + 29*a - 131. Let d be r(o). Is d at least as big as -51?
True
Let k = -1 - -0.9. Let n = 19.978 + -19.806. Is k at least as big as n?
False
Suppose 3*g = -4*s + 344 + 3266, 2*g + 5*s - 2409 = 0. Suppose 10*b + 1212 = g. Which is greater: b or -8/99?
-8/99
Suppose -9 = 26*l - 113. Suppose -619 = -3*y + l*z, 4*y + 69*z = 70*z + 821. Which is bigger: 206 or y?
206
Suppose 0 = -14*w + 16*w - 18. Suppose -w*d + 18*d = 9. Which is smaller: d or -2/401?
-2/401
Let j(a) = -792*a - 149. Let r be j(-5). Which is smaller: 3810 or r?
3810
Let j be (-21)/(-2)*((-12032)/(-36) + (-280)/(-252)). Is j greater than or equal to 17612/5?
False
Let q = 2027.4 + -2027.364. Is 3/23 equal to q?
False
Let b = 2843 - 3083. Are -252 and b non-equal?
True
Let p = 0.23 + -31.23. Let k = p - -33. Let y = 1.06 - 1. Is k less than y?
False
Suppose 76 = -31*d + 107. Let i = -1/1295 - -9/2072. Is i less than or equal to d?
True
Let q be (41/(-369))/((-28)/9 - -3). Do q and 45/41 have the same value?
False
Suppose 1080*o + 198 = 1077*o. Are o and -29 unequal?
True
Let w = 9099/25 - 364. Suppose 1 = h - 1. Suppose -4*i + h = -6*i. Which is smaller: w or i?
i
Let x = -22 - -23. Let p be 1*7/(-14) - -2. Which is smaller: x or p?
x
Let v(g) = -3*g + 55. Let h be v(24). Let m = -23 - h. Let q(a) = a + 22. Let l be q(m). Is l greater than or equal to -1?
True
Let n = 148.6 + -22.6. Let h = n + -127. Which is smaller: h or -2/35?
h
Let i = -2.9 + 1.9. Let o be (-11 - (-7961)/771) + 4/6. Which is bigger: i or o?
o
Let j(d) = 9 + d - 10 + 2*d + 12 + 2. Let r be j(0). Let u = -22 - -36. Which is greater: r or u?
u
Let l = -0.16567 - -0.26625. Is l <= -2/3?
False
Let z = -302 - -302. Let x = 15511/51328 + -39/128. Which is smaller: x or z?
x
Suppose 2*k + l = -33 - 0, -3 = 3*l. Does k = -116?
False
Let q be (-1)/(-2 - 122/(-60)). Let f be (2 + 2)/(-3*(-5)/q). Let v(w) = w - 1. Let p be v(f). Which is bigger: p or -47/6?
-47/6
Let m be -2 + (145 - (-4)/4) - 4. Suppose 4*p + 36 = m. Let h be (-4)/p - 165/195. Which is smaller: -1/3 or h?
h
Let o be 2/(-13) - (-786)/39. Let a(h) = 12*h - 247. Let u be a(o). Which is smaller: 6 or u?
u
Suppose 53*h + 138 = 52*h. Let m be (h/10 + 3)*10/(-4). Is m bigger than 138/5?
False
Let o(t) be the second derivative of t**5/20 - t**4/12 - 7*t**3/6 + 13*t**2/2 - t + 29. Let u be o(2). Which is smaller: u or -5?
-5
Let g = -976.671 - -976.6. Is -14 at most as big as g?
True
Let s = -1450/21 - -208/3. Let v(w) = w**3 - 33*w**2 + 33*w - 10. Let h be v(32). Is h at least s?
True
Suppose 74*l = 64*l + 240. Is 19 <= l?
True
Let p = 1610573/100 - 16106. Are 1 and p equal?
False
Let i be (-4)/4 + (3440916/472)/(-9). Let y = 811 + i. Which is smaller: 0 or y?
y
Let q = 869 - 598. Let j(c) = -2*c**2 - 127*c + 334. Let s be j(-64). Are q and s unequal?
True
Let m(g) = -2*g**2 + 21*g + 14. Let y be m(11). Suppose 10*k - 7 - y = 0. Let b = -138.4 + 139. Which is bigger: b or k?
k
Let g = 1.7864 - -0.2836. Is -6/5 != g?
True
Let t = 629 - 623.4. Which is greater: 3/70 or t?
t
Let p = 216728 - 9970455/46. Let a = -21 - p. Is 0 less than or equal to a?
True
Let t = 39 + 107. Let g = 4166 + -4167. Do g and t have the same value?
False
Suppose 41 + 37 - 132 = 54*i. Let d be 843/3340 + 2/(-8). Is i <= d?
True
Suppose 2*a - 3*z = 2 + 17, a = 3*z + 11. Let x = -11 - a. Let s be 8/6 + x/12. Which is smaller: -6 or s?
-6
Let c(k) = 18*k + 173. Let b be c(7). Suppose -b + 103 = -7*i. Is i less than 2/9?
False
Let u be -29*-9*(-30)/(-135). Which is greater: 648/11 or u?
648/11
Suppose 2*g + 66 - 340 = 0. Let z = g - 112. Is z greater than or equal to 25?
True
Let q be ((-1)/(-2))/(7/(-14))*2 + 2. Let g = -71/88 + 32339/39864. Which is bigger: q or g?
g
Let l be 3/(-15) + (-1212)/(-60). Suppose l*a = 24*a + 52. Let k be 1*26*(-4)/8. Is k at most a?
True
Let t(f) = -f**2 + 10*f + 1. Let h be t(9). Let o be 1 + -1 + 12/h. Suppose -39*c = 19*c - 58. Which is greater: o or c?
o
Let g(x) = -4*x + 31. Let s be g(-6). Let n be (-12)/s - (-12)/30. Let z(q) = q**3 + 3*q**2 + 2*q - 1. Let w be z(-2). Which is smaller: w or n?
w
Let t(v) = -224*v - 299. Let b be t(-4). Is 596 equal to b?
False
Let u = 49 - 17. Let t = -37 + u. Let a be 32/5 + 1 + 2 + t. Is a less than or equal to 4?
False
Let g = -0.8 - -0.794. Let c = 4140 - 4124.994. Let o = c + g. Is o bigger than -1?
True
Let i(h) = -509*h**3. Let b be i(-1). Let a = 380 - b. Which is smaller: -128 or a?
a
Let k be ((3/(-2))/1)/3. Suppose 8*u - 556 = 4*u. Suppose 4*g + u - 27 = 0. Which is greater: g or k?
k
Let f(a) = -a**3 + 56*a**2 - 159*a + 22. Let r be f(53). Which is greater: r or 1.4?
r
Suppose -1080 = -23*z + 3*z. Let j = -38 + z. Are 16 and j unequal?
False
Let t = -2279 - -2280. Do t and -1/4084 have the same value?
False
Suppose 5*r - 5 = -4*i, 4*r + 69*i + 32 = 73*i. Let w be r*(1 + (-561)/(-36)). Which is bigger: -51 or w?
w
Let l be ((140/49 - 4) + 1)/(4/(-1204)). Which is greater: l or 130/3?
130/3
Let z = -352 + -967. Is -1318 less than or equal to z?
False
Let r(k) = 29*k + 15. Let j be r(8). Suppose j = -3*h - 2*b, 328 = -9*h + 5*h - 3*b. Are -85 and h nonequal?
False
Suppose -3*v = 2*o, -5*v + 8*o = 9*o - 7. Let p = 63 - 61. Is p bigger than v?
False
Let l = 33390 - 33390. Let q be 2 - (-8)/(-2) - 25. Let s be (16/(-78))/4*q. Which is smaller: l or s?
l
Suppose 129 = 13*t - 508. Suppose 2*q = k + t - 578, -4*k = 2*q + 554. Is q at most -535/2?
False
Suppose 2*u - 3*u = 5*q - 26, -4*q - u = -21. Suppose 569 = -27*i - 79. Let m be i/(-5) - (-12)/(-15). Is q at least as big as m?
True
Let h = -1198/693 + 56/33. Suppose 4*c - 3*q = -5*q + 94, 2*q + 114 = 4*c. Suppose 0 = 4*t - 22 + c. Is h < t?
False
Let t(a) = -a**3 - 98. Let u be t(0). Let z = u - -55. Let h be (-6)/1 - 36*(6 + -5). Is h at most as big as z?
False
Let n be (-8628)/1 - 7 - ((-9 - -7) + -4). Which is greater: n or -8628?
-8628
Let o(s) = s**3 - 6*s**2 - 6*s + 3. Let j be o(7). Suppose 0 = -3*z + 4*y + 248, -2*z - 2*y - 82 = -3*z. Let f = z + -74. Is f < j?
False
Let d(f) = -f + 14. Let x be d(0). Suppose j - 5*u = -7, 14 - 23 = -5*j + 3*u. Suppose j*o = 2*w + 44, -3*o = 5*w - 33 + 17. Which is greater: o or x?
x
Let k be -1 - ((-160)/(-6))/(30/90). Let m = -89 - k. Is m < 4?
True
Let j be ((1 - 0)*1)/((-4)/44). Let g = -14 - j. Let f be (-14)/g - 3/(-9). Which is smaller: f or 6?
f
Let u = 8733 - 8753. Does u = -21?
False
Let t(c) = -c**3 - 15*c**2 + 78*c + 35. Let a be t(-19). Let w(r) = 14*r**2 + 18*r + 1. Let q be w(a). Which is greater: 3 or q?
q
Let n = -97 + 95. Let v be (1/n)/((-13)/364). 