et w(f) = 3*j(f) + 4*t(f). Let i be w(7). Is -6/35 greater than i?
False
Let u = 106/215 - 4/43. Let f = -305 - -215. Let o = f - -59. Is o <= u?
True
Let l be -2567*3/3846 + -8 + 20 + -10. Is 0 smaller than l?
False
Let i = 27 - 25. Suppose 0 = -g - i*w - 6, 2*g - 1 = -w - 10. Let p be 5/(-105) + g/14. Which is smaller: p or 2?
p
Let h = 63 + -64. Let k be h + (386/(-8) - (-5)/20). Does -49 = k?
True
Suppose 34*i - 887 = 745. Let p be (-3)/(-6)*-6 + 33. Let m be (-4)/10 + 1482/p. Is m > i?
True
Let h be 1432/8*-14*(-7)/6. Which is greater: h or 2923?
h
Let p be (-3)/5 + 2780/3900. Let n = p + 2/13. Let v = 0.03 - 0.13. Is v equal to n?
False
Let t(r) = -2*r**2 - 55*r + 4558. Let m be t(-80). Is m greater than -3842?
False
Suppose 8*u = -7*u + 45. Suppose 0 = -n - u*b - 7, -3*n + 0*n - 7 = 2*b. Does n = -6/5?
False
Let r = -318586 - -2864164/9. Let p = -33328/99 - r. Which is bigger: 10 or p?
10
Let m be 96 + (8/(-1) - -5). Let f be m/(-682)*8/(-3). Which is bigger: f or 0?
f
Let t = -14.04 - -14.38. Which is smaller: -0.009 or t?
-0.009
Suppose 4*f - 2*o - 18 = 0, 4*o + 10 = 2*f + 2*o. Suppose f*a - 18 = -10. Let c be (2 + -1 - 0)/(a/(-110)). Do c and -55 have the same value?
True
Let i(b) = 3*b**2 + 8*b + 13. Let q be i(-3). Suppose -9*x - q = -7*x + 3*v, 0 = -4*x - 5*v - 30. Let h = -36 + 22. Which is smaller: x or h?
h
Suppose -2 = -3*n - 14. Let b be (28/8 + -4)*n/18. Which is smaller: b or 1/3?
b
Let k = -6087189 + 115589556/19. Let z = k - -3527. Is 0 not equal to z?
True
Suppose 235 = 3*t - 2*l, 3*t - 2*t + 5*l = 50. Is t not equal to 46?
True
Let o = 1048 + -24108/23. Suppose 0*t = -5*t. Is t less than o?
False
Let y = -9225 + 7699. Is -1528 less than or equal to y?
True
Suppose 0 = -4418*s + 4453*s - 82670. Which is smaller: 2360 or s?
2360
Let d = -13093 + 13173. Is 89 bigger than d?
True
Let m = -8 + -5. Let r = m + 14. Let z = 669 - 121087/181. Is z smaller than r?
True
Suppose -3*i + 0*g + 27 = -3*g, -2*i - 10 = 5*g. Suppose 12 = -q - i. Let r = q + 14. Which is smaller: r or -4?
-4
Let s(l) = 2*l**2 - 2*l + 3. Let r be s(4). Let p be 8/(-12) + (-3)/(r/(-6)). Is -29 > p?
False
Let l = 0.055 - 3.915. Let x(o) = o**3 + 25*o**2 - 72*o + 337. Let t be x(-28). Do l and t have the same value?
False
Let w be (-2051)/2520 - (-34)/680. Is w less than -2?
False
Let t(s) = 6*s + 6. Suppose 0 = -4*b - c + 27, b + 2*c = 5 + 7. Let z be t(b). Suppose 50*l = -82 + 2466 - 184. Is z < l?
True
Suppose 0 = -14*u + 268 - 4020. Let d = -6967/26 - u. Suppose y + 5*i - 2*i = -14, 3*i + 18 = 3*y. Which is smaller: d or y?
d
Let s be (0 + (-10)/(-8))*(60 - 56). Suppose 0 = -3*f + 4*a - 145, 3*a - s*a = -2. Which is smaller: -46 or f?
f
Let c be ((-22)/((-374)/(-3995)))/(-1). Does c = 707/3?
False
Let c(o) = 2661*o + 202231. Let m be c(-76). Let r = 1888/5 + -382. Which is bigger: m or r?
r
Let r(m) = -9*m**2 - m**3 - 58 + 1 + 11*m - 6*m**2 + 23*m**2. Let q be r(9). Suppose 18 = -3*z - 105. Which is greater: q or z?
q
Let n(p) = 2*p + 49. Let s be n(-22). Let z be (-48)/(85/60*-9). Which is smaller: z or s?
z
Let u be (-736380)/(-385) - (-24)/132 - 3/(-21). Is u < 1913?
False
Let o = 3111/8 - 3070541/7896. Suppose f + 2*v + 15 = 5*v, -15 = 2*f - 3*v. Are f and o unequal?
True
Suppose -9*o = -4*o - 3*l - 9, 4*l = 8*o - 16. Let s = 4534/5 + -903. Is s less than o?
False
Let f be (1 + 1)/((2 + -10)*(53 + -40)/13). Let h = -615 + 884. Are h and f unequal?
True
Let k be -4 - -3 - 40023/(-39987). Which is smaller: -1 or k?
-1
Let w be (-1*(-5 + 15))/((-2676)/(-894) + -3). Which is greater: 1483 or w?
w
Let p be 4/16 - 11/(-4). Suppose 4*d = -5*y - 2 + 29, y + p = -5*d. Which is bigger: -1 or y?
y
Let f be 1 + -4 + (-2 - -8). Let r be (5 + -5 - -4)*(-46)/(-8). Suppose t - 66 = r*t. Is t at least f?
False
Let t = -2/44949 + -301427984/224745. Are -1341 and t equal?
False
Suppose 5*p - 122 = -4*j, 149*p = 154*p - 2*j - 134. Let i be -5 + (2331/(-24))/(-3). Which is smaller: p or i?
p
Let o = -4931 + 4964. Which is bigger: 29 or o?
o
Suppose 58 = 5*v + 8. Suppose 67 = -w + v. Let s be (-1)/(-4 + (-231)/w). Is -37/2 bigger than s?
True
Suppose 17*q - 6*q + 2145 = 0. Let g = 188 + q. Let c = 3 + -2. Do c and g have the same value?
False
Let v(f) = -f**3 - 5*f**2 - 5*f + 4. Let u be v(-4). Let w be 10/40 + (-770)/u. Let q be (-32)/(-3) + 16/w. Do 12 and q have different values?
True
Suppose 735 = 5*d + 85. Let y be d/25 + -1*4. Let p = 190 - 190. Is p smaller than y?
True
Let b be (-4 - ((-16398)/5 + 2)) + 0. Let s = b - 3287. Is -2 at most as big as s?
False
Let s(b) = 8*b - 413. Let p be s(51). Let j(c) = c**3 + 2*c**2 + 8*c + 59. Let a be j(p). Which is bigger: a or -58?
a
Let h be 6 - (-16)/(-1 + 5). Suppose 0 = -4*t + 5*n + 18, 2*t - 3*n - h = -0*n. Suppose -2 = 5*z + 2*r, -t*r = 5*z - 6*r - 4. Are 0 and z non-equal?
False
Let u = -11.1 + 81.1. Let c = u - 68. Is 39 greater than c?
True
Suppose 48 = -2*i - 2*p, -7*p = -3*i - 2*p - 72. Let t be ((-2)/8)/((-38)/i). Is 1 at least t?
True
Let m(d) = -d**3 - 27*d**2 + 5. Let n be m(-27). Let f be ((-3)/n)/((-6)/50). Is f < 5?
False
Let y = 46/3 + -15. Suppose 7*b - 666 = 314. Let o = b - 139. Do o and y have the same value?
False
Let n be ((-183425)/203)/(24/(-14)). Let h = -528 + n. Which is smaller: h or -2?
-2
Let l(r) = 4*r**2 - 151*r + 964. Let z be l(31). Is 87 bigger than z?
False
Let c be (-12)/(-72)*-33*60. Which is greater: -334 or c?
c
Let j be ((-2130)/50)/(308/(-528)). Is 72 greater than j?
False
Let i be 2/7 + 188/28 + 2. Let s(j) = -3*j**2 + 25*j + 13. Let w be s(i). Which is greater: w or -2?
-2
Let i = -106 - -81. Let f = -1183 + 1149. Which is smaller: f or i?
f
Suppose -27 = 10*u - 187. Let n = -23 + u. Let a be 3/(-6)*-1*80/n. Are -6 and a unequal?
True
Let f(s) = 2*s**2 + 9*s + 2. Let q be f(-5). Let z be ((-198)/45)/(2/(-10)). Let r = z + -131/6. Is q bigger than r?
True
Let c(f) = f**2 + 79*f + 1430. Let p be c(-27). Suppose -4*j = -70 - 30. Are p and j equal?
False
Let w be (87/5)/(1/4). Let o = 70 - w. Let k = 0.18 + -20.18. Is o >= k?
True
Suppose 97*d = x + 92*d + 26, 5*d - 25 = 0. Is -62/981 greater than x?
True
Let c be 54/(-4797)*(-10)/60. Is c less than 3?
True
Let q be (-3 - 68/(-4)) + -4. Suppose -5*s + 5*r = q, -5*s - 4*r - 4 = 6. Let m = -178 - -173. Is s greater than m?
True
Let m = 148 + -117. Let c = m + -35. Let o = 0.26 + 0.04. Are o and c equal?
False
Let n be (-5)/(-55)*24/16*15284. Let c = -1472 + -614. Let j = c + n. Is j less than -2?
False
Let g be 55/53 - (0 + 1). Let z(v) = -2*v**3 + 9*v**2 - 7*v - 1. Let h be z(3). Suppose 7*l + 1 = 2*j + 6*l, -4*l - 4 = h*j. Which is smaller: g or j?
j
Let z = 6747 + -6758. Which is bigger: z or -120?
z
Let u = 339 + -343. Let k be (u + (-57)/(-12))/(3/(-43)). Which is greater: k or -11?
k
Let o = 64.74 - 139.74. Which is smaller: o or 12?
o
Let g be -2 - 52/(-28) - 16/35. Is 0.041 equal to g?
False
Let h(y) = 358*y - 3225. Let j be h(12). Is 6419/6 at most as big as j?
True
Let g = -7 + 7. Let k be (2 - 2)/(4 - 10). Suppose -4*q + g*q - 40 = k. Is -10 equal to q?
True
Let z = -53 - -56. Suppose -h = -z*h - 4. Let i be (-2176)/(-1584) - h/11. Which is smaller: 1 or i?
1
Suppose -9 = 5*n - 3*a + 4*a, 12 = 4*n - 4*a. Let d be 102/17 + n/(1227/7364). Is d != -1?
True
Let x be (-1)/(-2)*0*(-3)/6. Let b(p) = -p**3 + p**2 + 2*p + 268. Let s be b(x). Is 268 bigger than s?
False
Suppose 631 = -17*x + 597. Let c = 1 - 2. Let k be 0/((x + 3)*c). Which is smaller: k or 3/4?
k
Let m(w) = -w - 7. Let v(n) = -5*n**2 + 4*n**2 + 0*n**2 + 15*n + 5 - 18*n. Let c be v(2). Let j be m(c). Which is smaller: -11/4 or j?
-11/4
Let p = -14.4 - 2.6. Let k = p + 5. Let f = 28.1 - 28. Which is greater: k or f?
f
Let w be (-14)/(-35) + 18/5. Let j(f) = 4*f**2 + 16*f - 11. Let i(s) = 5*s**2 + 16*s - 12. Let a(b) = -3*i(b) + 4*j(b). Let m be a(-17). Is w < m?
True
Suppose 205*b - 209*b = v - 3, 4*b = 4*v - 12. Is 1/9090 greater than b?
True
Let b be ((20/(-25))/((-4)/(-10)))/((-114)/93423). Is b equal to 1640?
False
Let m(r) = -6*r - 22. Let k be m(0). Let g be (-14180)/15*(-3)/k. Let o = g + 129. Is 0.1 != o?
True
Let f = -1169 + 1133. Suppose -5*n = 4*r - 0*r - 194, -5*r - 33 = -n. Let o = f + n. Is o at least as big as 7?
False
Let i = 139.1 + -147. Let c = 