k be (12/(-30))/((-12)/30). Is k bigger than v?
True
Let x be (123/39)/(20/888). Let f be -20*6/18*-21. Let r = x - f. Which is bigger: 0 or r?
r
Let i(u) = 172*u**3 - 3*u**2 + 5*u + 3. Let v be i(-3). Let r = 866357/185 + v. Is r not equal to -1?
True
Let p = 12823 + -17498. Do p and -4675 have different values?
False
Let i be 2/3 + (-70)/96. Let a(b) = b**3 - 20*b**2 + 42*b - 16. Let d be a(18). Let q = 92 - d. Is i < q?
True
Let y(d) = 2*d**2 + 4*d - 3. Let u be y(-4). Let n = 3505 - 3494. Is n equal to u?
False
Let z = -122 - -165. Let s = 157 - z. Let p = 121 - s. Is 5 equal to p?
False
Let r = -9 + 12. Let u be (-145)/r - 31/(-93). Which is greater: u or -47?
-47
Let r = 139 + -433. Let d = -291 - r. Is d >= -31?
True
Suppose 3*o = -2*n - 37 + 209, 2*n - 176 = -5*o. Which is smaller: n or 85?
n
Suppose -3*q - 11 = -4*h, -2*q = 2*q + h + 2. Let g be 49/49*((-66)/(-388))/(-33). Is g at least as big as q?
True
Let q be 1 + 14/(-10) - (-630)/450. Do -7/66 and q have different values?
True
Let v be 1*(5 + -3)*2558. Let d be v/40 + 9/90. Is 129 greater than d?
True
Let v be (2 + 1)*((-70)/15)/(-7). Let a be (2*3/(-6))/(v/786). Let o be (-2)/(-8) + (a/(-12) - 1). Are 32 and o non-equal?
False
Suppose 66 = -5*n - 2*u + 4*u, -3*n + 5*u - 51 = 0. Let z be 12/n + 7/4. Let h = 3/43 + -107/301. Is z bigger than h?
True
Let v = 89 - 80. Let g(w) = w**3 - 8*w**2 - 2*w - 23. Let x be g(v). Which is smaller: x or 0?
0
Let m be (1 + (-287)/(-237))/((11716/303)/(-116)). Which is bigger: -6 or m?
-6
Let s(z) = z + 17. Let g be s(6). Let r be (2 - 308/5) + 4/(-10). Let y = r - -85. Which is bigger: g or y?
y
Let d = -188 - -209. Suppose -y - 20 = -d. Which is smaller: y or 18/55?
18/55
Let a = -1918 + 13432/7. Let v = -4 - -5. Which is smaller: a or v?
a
Let t = 5 + -5.13. Let k = 7.34848 - 7.50848. Is k at least t?
False
Let d be 2 - ((-22508)/12)/((-16)/(-12)). Let b = d + -186059/132. Let a = 115/231 - b. Which is bigger: 0 or a?
a
Let r(g) = -2*g**2 - 4*g**2 + 14*g - 8*g - g**3 + 12 + 5*g**2. Let y be r(-6). Suppose -154*u + 2 = -y*u. Does u = 16?
False
Suppose 9*i = 5*i - h + 1473, -4*h + 4 = 0. Let a = -424 + i. Let g be 110/(-2) - (4 - 2). Is g smaller than a?
True
Let j(f) = -f**2 + 27*f - 39. Let a be j(25). Suppose 0 = -20*s + a*s + 27. Which is smaller: s or -6?
-6
Suppose 6*r = -r + 147. Suppose 30 = 5*a - 4*t - r, 5*a - 59 = -4*t. Let p be 10 - (-3)/(-2)*-2. Do p and a have different values?
True
Suppose -b - 1181 = 3*h, 4*b + 6 - 10 = 0. Let t = 388 + h. Is 5 <= t?
False
Let q = -120 - -122. Suppose q*i = 4*h - 60, -22*i + 20*i - 57 = -h. Which is smaller: 3 or i?
i
Let p be (-5)/((-2)/78*-3). Let k = 693 - 758. Is k at most as big as p?
True
Let p be 1 - -1 - (-2)/(-2). Let t be (18/(-2) - 33/33) + 4. Let w be (-39)/(-6916)*-62 + t/(-14). Are w and p equal?
False
Let l = -922 - -927.35. Let x = l - 2.05. Which is smaller: x or 5/2?
5/2
Let m(f) = -6*f + 5. Let r be m(-5). Let v be 242/r - ((-160)/(-70))/(-8). Which is greater: 6 or v?
v
Let s = -7 + 12. Let p be 408/10*70/28. Suppose -22*c + p = -162. Is c bigger than s?
True
Let w(o) = -2*o**2 + 8*o - 4. Let d be w(3). Suppose -2*j + 1 = -a + 19, -d*a + 2*j + 28 = 0. Suppose -3*k = -a + 13. Which is bigger: k or -13?
k
Suppose 2*r + 29 = -5*j, -3*j + 5*r - 1 = 4. Let u = j + 8. Let v be (8/u - 3)*0. Is 1/22 less than or equal to v?
False
Let f = -14 - -10. Let k = -9 - f. Let x = -179 + 178. Is k greater than x?
False
Let d be 1071/(-12)*6/4*2208/(-54). Is d bigger than 5474?
False
Let b(p) be the second derivative of p**3/3 + 4*p**2 + 92*p - 2. Let a be b(-4). Are -1/35 and a nonequal?
True
Let j = 325 - 287.1. Let u = -38.0569 - -0.0569. Let m = u + j. Which is smaller: 0.18 or m?
m
Suppose 0 = 2*v - 6*v - 3*k + 49, -v - 5*k = -25. Let h be v/4*(1 - -1). Let a be (-10)/3*3 + -1155 + 1167. Which is greater: h or a?
h
Suppose -3*u - k + 2 = 0, 2*k = -5*u - 6 + 9. Let b(p) = 16*p**3 + 4*p**2 - 1. Let w be b(u). Let z be (19/(-3))/(1/(-3)). Is w at most z?
True
Let v(y) = 4*y**2 + 129*y - 130. Let k be v(1). Is 522 greater than or equal to k?
True
Let l = -284 - -289. Suppose 4*f - 16 = 0, l*t - f - 4 = -8. Which is smaller: t or -2/45?
-2/45
Let m be 879808/220032 + (-12)/8 + (-20)/8. Is 0 not equal to m?
True
Let x(n) = -n**3 - 39*n**2 - 41*n - 13. Let v be x(-36). Is v >= -2425?
True
Let b(i) = 69*i - 1799. Let v be b(36). Which is greater: v or 682?
v
Let a be (-1662526990)/(-285) - -1 - 2. Let n = 5834423 - a. Let z = -996 + n. Is z > -1?
True
Suppose -20*z - 67 = -167. Suppose -t + d = -4, -z*t - 4*d = -46 - 1. Let o be ((-4)/7)/((-4)/58). Are o and t nonequal?
True
Suppose -3*a = -6, -3*a = 3*s - 2*s - 21. Suppose s*r = -13 - 92. Suppose -6*u = -u + 20. Is u less than r?
False
Suppose -969*z = -966*z + 9. Let g = 1874 - 13140/7. Is z > g?
True
Let b(d) = -193*d + 943. Let l be b(3). Is l at most -1/8?
False
Let h = 5 + 13. Suppose 4*l - h = -4*s + 6*s, 5*l - 2*s - 23 = 0. Suppose 0 = -3*b + 5*p - 17 + 2, l*b = 3*p - 9. Are 1/7 and b nonequal?
True
Suppose -2*r = -8, -11 = l - 3*r - r. Let g be (-2)/(-47)*l/(-10). Let t = 3905 + -3905. Does t = g?
False
Let u(q) = q**3 - 7*q**2 + 3*q + 12. Let t be u(7). Suppose 0 = -2*v + 3*f + 81, -3*v = -4*f - 0*f - 119. Is v less than or equal to t?
True
Let h(m) = -164*m + 82*m + 98*m + 16. Let x be h(-1). Which is smaller: 6/43 or x?
x
Suppose 12 = 2*x + 98. Let r = x + 43. Suppose 3*z - k - 3*k + 49 = r, -5*z + 4*k = 79. Is -15 smaller than z?
False
Let d be (-2)/(-14) - 780/70. Let j = -53 + 49. Let s = -8 + j. Which is bigger: d or s?
d
Suppose 3*o = 0, -4*p + p - 132 = -4*o. Let k = p + 18. Is k != -28?
True
Suppose -433 = -3*a - 5*r, 4*a - 232*r + 231*r = 516. Which is smaller: a or 96?
96
Let c = 94 + 8. Suppose 95*x + c = 98*x. Which is smaller: 33 or x?
33
Let v be -278*(-3)/6 - ((-316)/395)/((-16)/(-60)). Let o be ((-26)/(-4))/((-1)/(-22)). Is v at most as big as o?
True
Suppose 23*i + 2450 = 73*i. Suppose 0 = 3*t - 7*t. Let s = i - t. Which is greater: s or 48?
s
Let m be ((-6)/(-8))/((-2430414)/(-405048) - 6). Which is greater: m or 2407?
m
Let i = -0.051 - -0.127. Let m = -0.076 + i. Let x = 51.82 - -0.18. Is x >= m?
True
Let g = -2645 - -2645. Which is greater: g or -1/1255?
g
Let m = 0.33 + 14.67. Let y = m - 17. Suppose -26*q + 26 = -13*q. Which is greater: q or y?
q
Let b = -5973 + 2701. Is b smaller than 0?
True
Let m(w) = -w + 7. Let k be m(7). Suppose -a + k*a = 0. Let n = 783/2563 - 50/233. Is a equal to n?
False
Suppose 2*k = 3*k + 7*k. Let p = -1111/27 - -41. Is p at least k?
False
Let t = 7255 - 166955/23. Which is smaller: t or -5?
-5
Let b(n) = -2*n**2 - 3*n + 8. Let a be b(-6). Let s = -2841 - -8659/3. Let k = s + a. Is -0.053 > k?
True
Let y = -1277 + 3375. Let d = 2096 - y. Let j = 1925/4 + -484. Which is smaller: d or j?
j
Let b be (((-4)/(-1) + -5)*(-1 - -2))/1. Do b and -19/23 have the same value?
False
Suppose -5*m + 2*j = -m - 20, 4*m + 2*j = 20. Let i be 1*(-124)/(-28) + (0 - m). Which is smaller: i or -2?
-2
Let i = 19 - 282. Let l = i - -243.1. Let o = -20 - l. Which is bigger: o or -1/43?
-1/43
Let o = -70805/4 - -17853. Let l = -12679/84 + o. Let z = -1/7 + l. Is z greater than or equal to 17?
False
Suppose 68*m - 1548180 = 373*m. Is m less than -5074?
True
Suppose 9*y + 2695 - 2686 = 0. Which is greater: y or 1/3588?
1/3588
Let m be (4 - (-98)/(-35))*3/((-6)/10). Let g be 1*-4*(-3)/26. Which is greater: g or m?
g
Let t = -11700657/19388 - 1/19388. Which is smaller: t or -604?
-604
Let x(j) = -j**3 - 76*j**2 + 114*j - 564. Let t be x(-79). Which is smaller: 9155 or t?
t
Let r be (-20 - -2) + (-5724)/54. Which is bigger: r or -121?
-121
Let w be 4 - (8/2 - 6). Let c be -11 + -26 + w + -2. Is -34 <= c?
True
Let r(x) = -x**2 + 5*x + 1. Let i be r(4). Suppose -3*k - 1 = l - 31, -i*l = -5*k - 170. Are 42 and l unequal?
True
Let t be 2*(4 + 27/(-6)). Let q be (-4)/(((-44)/11)/(2/t)). Which is smaller: q or -8?
-8
Let k = 599 - 899. Let r = k - -269. Which is smaller: -28 or r?
r
Suppose 131*p - 54*p - 60*p + 7004 = 0. Is -409 < p?
False
Let i be -2*(-1)/(-3)*(-3)/(-6). Let x = 67376 + -335097/5. Let n = 355 - x. Which is greater: n or i?
i
Let c = -3254 - -3254.3. Is 7.1 equal to c?
False
Suppose -6*u + u + 25 = 