o*u - 2 = 0. Which is smaller: h or -38?
h
Let a be (-5)/(-45)*-3 - 85254/(-10). Let j = -8530 + a. Let y = j - -143/5. Is 23 bigger than y?
False
Let l(c) = c**3 - 9*c**2 - 2*c + 13. Let w be l(9). Let f be (w/(-30))/((-4)/(-12)). Which is smaller: f or -3?
-3
Suppose -18631 = -162*n + 6479. Is n != 2658/17?
True
Let q be ((-9)/22)/(6/8). Let c = q - -23/22. Let b be (58 - -3) + (-6 - (-1 - (1 - 2))). Which is smaller: b or c?
c
Suppose -306*l = 518087 - 1057111 - 1215580. Do 5734 and l have the same value?
True
Let q = -1615 - -763. Let j = q - -798.8. Are -0.1 and j nonequal?
True
Let j be (928/228 + -4)*(-63)/(-14). Let h = j + -55/114. Do 0 and h have different values?
True
Suppose 22*w - 9 = 21*w. Suppose 14 = -b + w. Let r(g) = 8*g + 39. Let d be r(b). Do 3/13 and d have the same value?
False
Let q = 156461 - 2970419/19. Which is smaller: q or 0?
0
Let c = 110 + -106. Suppose -c*d - 96 = 2*y, 3*y - 6*d + d = -122. Which is greater: y or -43?
-43
Let w = 1686 + -1774. Which is smaller: -104 or w?
-104
Let p = 2448 - 2458.6. Is p greater than or equal to -6?
False
Let d(b) = b**3 + 44*b**2 + 1. Let n be d(-44). Which is smaller: n or 13/11?
n
Let j(c) = -3*c**2 - 113*c - 755. Let q be j(-29). Which is greater: -2/669 or q?
-2/669
Suppose 2*r = 4*r - 12. Let y(q) = -q**2 - 8*q + 35. Let a be y(-11). Suppose r*p = 8*p + a. Is p greater than 2/37?
False
Let p(n) = -n**3 - 24*n**2 - n - 100. Let d be p(-23). Let o be (-9672)/16 + 12/(-8). Do o and d have different values?
False
Let h(o) = 1515 + o**3 - 3*o**2 - 1588 - 3*o**2 + 18*o. Let j be h(6). Is 36 at most as big as j?
False
Let u be (-36)/435 + 36/(-480)*-8. Are u and 0 non-equal?
True
Let c(u) = -u**2 - 8*u + 4. Let p be c(-5). Suppose p = -i + 61. Let h be (i/12)/(15/54). Which is smaller: h or 13?
h
Let m = 51 - 221. Let v be ((-92)/(-115))/(-2 - 338/m). Which is smaller: v or -67?
v
Suppose -16*a - 556 = 164. Let s = a - -1. Which is greater: s or -43?
-43
Suppose -4*m - 9 = -21. Suppose -r - 3*r = -v - 1, 3*v + m = 4*r. Suppose -3*a + r = -6. Does 14 = a?
False
Let b = -7575 - -7644. Let z = 2 - 1.9. Are b and z equal?
False
Let z be (1 + -2)/((-14)/(-16)). Let u(i) = 4*i**2 + 303*i - 78. Let s be u(-76). Which is bigger: z or s?
z
Suppose t + 136 = -2*w, 206 = -5*w + 3*t - 156. Let a be ((-8)/w + (-8)/28)/(-3). Are 1 and a unequal?
True
Let w(n) = 2*n**3 - 7*n**2 - 81*n - 6. Let k be w(-9). Which is greater: k or -1299?
-1299
Let g(y) = y**3 + 85*y**2 - 1300*y - 63. Let u be g(-99). Are -8578 and u unequal?
True
Let z = -17776/9 + 1911. Which is smaller: z or -64?
z
Suppose 0 = -7*v + 2*v - 2*q - 4, v - 10 = -4*q. Let m be (-15)/((-15)/(-128))*(1 + v). Is m less than or equal to 129?
True
Suppose k - 11 + 9 = 0, 2*f + 1512 = -3*k. Is f less than -761?
False
Let y = 64 - 60. Suppose -4*i - 4*z = 4, -4*i + y*z = 4 - 0. Let d be i - (-11)/13 - (-96)/1976. Do -0.3 and d have the same value?
False
Let s = -472 + 793. Let o = s - 310. Which is bigger: o or 0.05?
o
Let l(q) = -4*q**2 + 93*q + 1586. Let r be l(-13). Is r >= -310?
True
Let b = 0.121 + -73.121. Let p = -77 - -79. Which is smaller: p or b?
b
Let f = -5.5015 + 5.3015. Let h be (1/(-15))/((-16)/(-10)). Does h = f?
False
Suppose -4*m - 81 = r + 437, 0 = 2*r + m + 1001. Let x be (0 - (-3)/r)/((-3)/(-12)). Which is smaller: x or 1?
x
Suppose 2*q - 4*a - 10 = 0, 2*q + 15 = 3*q - 4*a. Let i = q - 5. Let h(u) = 3*u**3 - 22*u**2 - 45*u - 12. Let r be h(9). Does r = i?
False
Let f be (-25 - -84) + -1*5. Suppose -5*s + f - 394 = 3*u, s = -u - 114. Let v = 115 + u. Is -1 < v?
True
Let v = -161/40 - -177/40. Is v >= -1869/16?
True
Suppose -5*d = -9*d - 8. Suppose 9*y - 3*y + 6 = 0. Let f be 0 - y - ((-1)/6 - -2). Is d <= f?
True
Let o be (1/2)/((-2)/(-4)). Suppose 3*z - 5*b = -192, 4*b - 7*b - 64 = z. Let p be (12/z)/(18/12). Which is smaller: o or p?
p
Let f = 1541 + -1676.4. Let l = -29.6 + f. Which is bigger: 0 or l?
0
Let n be 10 + (-6644)/(-121) - ((-15)/55)/3. Is 77 smaller than n?
False
Suppose 5*c + 0*c = -i - 2738, -4*c - 5*i = 2182. Let r = -552 - c. Which is smaller: r or -16/3?
-16/3
Let l = -130417783/2701 - -48285. Is l < 1?
True
Let v = 73 - -128. Let o = v + -200. Suppose 5*l - 4*q + 5*q - 26 = 0, 2*q + 20 = 2*l. Which is smaller: o or l?
o
Let r = 342 + -185. Let w = r - 132. Is -1 >= w?
False
Let b(n) = 2*n + 11. Let p be b(-2). Let j be ((378/p)/6)/(-1). Which is greater: j or -68/9?
-68/9
Let h = -17.967 + -507.033. Which is smaller: h or 0.6?
h
Let k be 117/7 + 1 + (-25)/35. Let a be (2 - -2)/(-2 + 81/36). Is a >= k?
False
Let h = 3450 - 2641. Is h not equal to 807?
True
Suppose 2*r - r = 6. Let g(p) = 2*p + 5. Let y(m) = -2*m - 6. Let c(v) = r*y(v) + 4*g(v). Let j be c(-9). Is j greater than 20?
False
Suppose 5*k = -g + 4*g - 1, 3*k - 4*g = -5. Let b = -1.07 + 0.6. Let a = 0.39 + b. Are k and a equal?
False
Let d = -0.2 - 0.8. Let o = -163581 + 7688306/47. Are o and d non-equal?
True
Suppose 106 = -j + t, 4*t = j + 124 - 30. Let d = j + 112. Which is smaller: d or -1?
-1
Let x = -569 + 1207. Which is greater: x or 1/3?
x
Suppose -2*v - 11 = 5*a, 0 = 4*a - a - 5*v + 19. Let r = -4432 - -4477. Which is bigger: a or r?
r
Let v = -2580 + 2839. Is v smaller than -2?
False
Let c(g) = 377*g**3 + 3*g**2 - 3*g + 1. Suppose 32 = 4*q + 28. Let m be c(q). Let y be m/36*(-8)/(-6). Which is greater: 40/3 or y?
y
Let o(x) = -3*x**2 - 42*x. Let v be o(-14). Suppose v*l = -9*l - 45. Suppose u - 15 = 5*z - 4*u, 4*u + 20 = -4*z. Is l greater than or equal to z?
False
Let s be 3*-1*(12 + 630/(-54)). Are s and 231 equal?
False
Let y(f) = 57*f + 344. Let u be y(-9). Which is smaller: u or -162?
u
Let l = 12 - 14. Let k be (l - -1)/((-11)/451). Let x(z) = 4*z**2 - 5*z - 3. Let c be x(4). Is c greater than or equal to k?
True
Suppose 0 = -4*d + 28 - 72. Let m = -127 - -264. Let f = -147 + m. Which is smaller: d or f?
d
Let m = -63848932 + 5299373792/83. Let d = m + 1055. Does d = 1?
False
Suppose 49*q + 1027 + 149 = 0. Which is smaller: q or 3?
q
Let p be (1 - 1)*(-10)/20. Suppose r + 10 = 4*l, 4*l = -r + 3*r. Let u be (10/25)/((-2)/r). Which is bigger: p or u?
p
Let n be 38/(-8) + 6/((-48)/10). Let r be (0 - (3 + -7)) + n. Is -4 at least as big as r?
False
Let b = -3834 + 3833.9645. Does b = 0?
False
Let u be ((-82)/(-123))/((-2704)/(-12114) + (-14)/63). Is 4709/7 at most u?
True
Let m(h) = 593*h - 13638. Let l be m(23). Which is bigger: l or 75/668?
l
Let r(h) = -909*h - 839. Let p be r(-1). Are 132 and p equal?
False
Let x be (2/3)/((-184)/92). Let j be (-66)/(-18) - (-4)/(-6). Let o be 11*j/36*4. Which is smaller: x or o?
x
Let j = 1003160/1029 - 32/1029. Which is smaller: j or 974?
974
Let i = -8 - 2. Let z be 2*1*5/i. Let m = 43/55 - 35/11. Which is bigger: z or m?
z
Let p(h) = 2*h**3 - 31*h**2 + 10*h - 55. Let w be p(13). Let r = 78 + w. Which is smaller: r or -691?
r
Suppose h = -3*h + 3*g - 33, 5*g - 11 = 3*h. Let v be (20/6)/(4/h). Is 3 equal to v?
False
Let o = -5/69 + -1118/759. Let n be 1/3*42/(-7). Is n at most o?
True
Suppose 0 = j + 14 - 17. Let l(y) = y**3 - 8*y**2 + 13*y - 18. Let d be l(j). Is -3 bigger than d?
True
Let s = -201.79 - 3.51. Which is bigger: s or -2?
-2
Let p be (-1)/(21/(-12) + 2). Let g(b) = b + 1. Let z be g(p). Let c be 651 + -644 - 4/2. Is c > z?
True
Let g be 966/4*(-4)/(-6). Which is bigger: g or 160?
g
Let w(i) = -5*i**3 + 4*i**2 + 4*i - 7. Let q be w(3). Let y be 0 + 10 + -6 - (-372)/q. Suppose -2*x - x = 0. Which is smaller: y or x?
x
Let p be (-28)/42*9/(-6). Let v be (0 + (-27)/96)*(-8)/138. Are v and p non-equal?
True
Suppose -3*z - 36*i + 31*i = -2797, z - 3*i = 923. Let g = z + -30658/33. Suppose 2*d = 5*y - 2, -5*y - 3*d - 2 - 1 = 0. Do g and y have the same value?
False
Let f = 1/140511 + 30549/94938599. Which is smaller: f or 1?
f
Let g be 1*(-122)/104 - (-12)/(-156). Which is smaller: -52 or g?
-52
Suppose 4*t + 73 = -242*m + 247*m, 4*m - 53 = 5*t. Let q be ((-2)/(-3))/((-4)/(-138)). Which is smaller: q or m?
m
Let z be (-6)/(-57) - (-139245)/1140. Which is smaller: z or 0.03?
0.03
Let c = 1.016 - -4.084. Is -0.12 < c?
True
Let g(l) = -3*l + 10. Let t be g(3). Let q be (-2 - -2)/(t - (-3 + 5)). Let o = -30 - -38. Which is smaller: q or o?
q
Let x = -35 - 79. Let m be -23 + 17 + (2 -