 be (-4)/(-2) + (-2)/1 + 372. Let p = -3350/9 + o. Which is smaller: u or p?
p
Let l = -5947/2 - -2851. Is -124 <= l?
True
Let l(j) = j**3 + 2*j. Let n be l(-3). Let i be -13 + 11 + (7 - (1 - -1)). Let q be i/n*(-5)/20. Is q greater than or equal to -1?
True
Let s = 190.5 + -191. Let f be ((-93)/30)/((-2)/44). Let x = 68 - f. Is s less than or equal to x?
True
Suppose 100*i + 6258 = 133*i - 7140. Do i and 406 have different values?
False
Let p(o) = -2*o**3 - 3*o**2 + 46*o - 7. Let u be p(4). Is u equal to 2/7379?
False
Let v = -12495275/211 + 59219. Is 0 at most v?
False
Suppose -4*q = i - 24, 3*q - 27 = 2*i - 5*i. Let o(x) = -9*x + 37. Let p be o(i). Let w be (3/(-26))/(33/(-154)). Which is smaller: w or p?
w
Let v be 10/9*(-27060)/17050. Is -1 > v?
True
Let o = -1308/77 - -168/11. Let y = -366 - -364. Is y > o?
False
Let s = 4385/24 - 27/8. Let v be -177 - 0 - 9/(-9). Let t = v + s. Do t and -0.1 have the same value?
False
Let r be (-4)/(-12)*(-5)/5 - 0. Let d = -206571508/1095129 + -128/17383. Let c = d + 566/3. Are r and c unequal?
True
Let t = -4855/2928 - -199/61. Is 2 >= t?
True
Let d = -4078.3 + 4080. Let r = -0.5 + 2.5. Is r > d?
True
Let s = -2/613 + 741/39232. Is 0 <= s?
True
Let m be (-2)/8*(-2 + 2 + -8). Suppose 0 = -4*l - 5*h - 28, 0 = 2*h - 3 + 11. Let a be (-13)/l - 0/m - 1. Is a > 5?
True
Let a be ((-11)/594)/((-5)/4). Let m(z) = -z**2 - z + 2. Let q be m(-2). Is q > a?
False
Let x be 20/6*(-1 + -8*4). Let b = x - -112. Which is greater: b or 1/2?
b
Let s(b) = b**2 - 5*b - 256. Let y be s(-13). Which is smaller: y or -31?
-31
Let g = 625/452824 - 10/529. Do 1 and g have different values?
True
Let n = 2 + -3. Let l(a) = -2*a - 23. Let h be l(-22). Suppose r - 3*x = -7*x - h, -x = 5. Is n < r?
False
Suppose -3*w = 3*y + 768, 281*w + 4*y - 1016 = 285*w. Which is bigger: w or -252?
-252
Let y = 21763/3 + -7235. Is 0.7 not equal to y?
True
Suppose -5*x + 4*i - 8 = 8, 0 = 4*x - 3*i + 12. Let r = -190506/7 + 27746. Let a = r + -530. Are x and a equal?
False
Let y = -335927/5 + 67747. Is 562 at most y?
False
Let l(g) = -g**3 + 9*g**2 - 6*g - 14. Let p be l(8). Suppose -p*y + 5*q + 882 = 0, -1106 = -3*y - 3*q + 259. Let d = 20297/45 - y. Which is greater: d or 1?
1
Let v(s) = 73*s - 815. Let l be v(11). Is -20 > l?
False
Let d = 530925882/1537 + -345430. Is -1 greater than or equal to d?
False
Let l = -376 + 377. Is l < -3/17717?
False
Let r be 13 - (-260)/(-20) - 0*(-2)/4. Which is bigger: r or 2/549?
2/549
Let u be -2 + -1 - 2/(-1). Let a = -451/9 - -8596/171. Which is greater: u or a?
a
Let n = -96473/8337 - -2/8337. Which is bigger: -7/4 or n?
-7/4
Let q(f) = -f**3 + 28*f**2 + 6*f - 63. Let m be q(29). Let k be 100/250 + 282/m. Which is bigger: k or 0?
k
Let a(v) = -23*v - 51. Let u be a(-4). Let l(k) = k**3 - 8*k**2 + 2*k - 7. Let z be l(8). Let x = 50 - z. Is x not equal to u?
False
Suppose -28 = s - 2*r, 3*s - 16*r + 6*r = -104. Which is smaller: -37/2 or s?
-37/2
Let r = 1 + 0. Let w(i) = -i**2 - 28*i - 112. Let k be w(-5). Let m(f) = -6*f**2 + 19*f. Let j be m(k). Which is greater: r or j?
j
Let z be (25 + 220/(-11))*56/(-3370). Is 1 not equal to z?
True
Suppose 66 = -14*w + 11*w. Let a be 3 + w/8 - (-375)/20. Which is smaller: 17 or a?
17
Let v be 1 - -5 - (-26 - 20 - -1460). Which is greater: v or -1410?
v
Let t = 78 - 77. Suppose -3*s = t - 4. Let j be (-70)/56 + s/(2 - 1). Is j less than 1?
True
Let m = -1512 - -1511. Let p = -0.04 - -6.04. Let n = p + -15. Is m at least as big as n?
True
Let v(j) = -7*j**2 + 26*j + 45. Let m be v(5). Is m less than or equal to -2/1555?
False
Let t = 23 + -20. Let r be 3/(-33) - 102/(-33). Suppose w = r*y + 29, -4*w + 6*y + 71 = 3*y. Which is smaller: w or t?
t
Let f be (2 - 1)*(-6)/7. Suppose 126 = 3*a - 10*a. Let h be a/10 - (-7)/(-35). Which is smaller: f or h?
h
Suppose 7*x + 4*f + 35 = 2*x, -4*x - 3*f = 28. Let j(p) = -162 - 5*p + 93 + 81 + 15*p + p**2. Let z be j(x). Is z equal to -3?
False
Let g = -208/19 - 5227/38. Suppose 750 = -13*l + 8*l. Which is smaller: l or g?
l
Suppose 4795 - 1992283 = -402*l. Which is smaller: 4940 or l?
4940
Let s be (-853)/5 - (-10)/(-25). Let j = -170 - s. Which is smaller: 1/35 or j?
1/35
Let h be (-6768)/(-4320) - (-2)/(-5). Is h at most as big as -0.0194?
False
Let s(b) = -37*b - 140. Let k be s(-4). Suppose -52 = -k*j + 20. Is 7 >= j?
False
Suppose -5*a + 962 = -4*w, -46*a - 384 = -48*a + 2*w. Which is greater: 190 or a?
a
Suppose 2*y = -972 + 710. Let c = -7989/61 - y. Which is smaller: c or -1?
-1
Let f be (-187)/55 - (-6)/(-10). Let u be f + (168/3)/4. Let g(q) = q**2 + 7*q - 9. Let a be g(-9). Is u > a?
True
Let s be 10 + (-7803405)/780345*(3 - 2). Is 1 at least as big as s?
True
Let o = 83 + -56. Suppose 0 = p - 6*p + 2*y - 51, -2*p - o = -3*y. Which is bigger: p or -31/4?
-31/4
Let z be (-5 + 4 + 1)/(0 + -2). Is z < -10/2351?
False
Let f be 6/(-21) + 7210906/(-14). Let p be f/2400 - 6/(-10). Let q = -214 - p. Which is greater: -1 or q?
q
Suppose 2*k = 4*x + 10796, -3*k - 8119 = 3*x + k. Let n = 28397/10 + x. Let v = 139 - n. Which is bigger: -1 or v?
v
Let w be 276 + (-154)/(-14 + 3). Which is smaller: w or 288?
288
Let j be -6*6/81 + 1582/1008. Is j greater than 3.9?
False
Let b be 6/(-15) - 772/20. Let t = b + 71. Is t at least as big as 34?
False
Suppose 0 = 2*h - 10, 2*j + 8*h = 10*h + 2. Suppose 0 = -0*m + j*m + 78. Let y = m - -12. Is y > -3/19?
False
Let q = -40 + 4. Let z = 390 - 427. Let o = q - z. Are 8 and o non-equal?
True
Let j(m) = -m**3 - 9*m**2 + 18*m + 32. Let v be j(-10). Let u = v - 0. Is u != -46?
True
Suppose -5*l - 76 = 2*d + 2*d, 3*d - 4*l + 88 = 0. Let b be (-10)/(-20)*(-5 + 5). Suppose b = 111*f - 119*f - 192. Is f smaller than d?
False
Let d be (277 - 277) + 0 + 0. Is -2.2 less than d?
True
Let v be (-32*2/(-20))/((-4)/(-10)). Suppose 3*m - v*m = -150. Suppose -14 = 3*q - 3*d - 2*d, m = -4*q + d. Which is greater: q or 0?
0
Let p(m) = 92*m - 220. Let k be p(11). Which is greater: 791 or k?
k
Let a(o) = -o**2 + 140*o + 283. Let g be a(-2). Let c = -82229/244 - -337. Are g and c nonequal?
True
Suppose -7*l + 14*l + 15*l - 374 = 0. Which is smaller: 70 or l?
l
Let u = 1/29 + -163/5568. Let k(r) = r**3 - 9*r**2 + 8*r + 2. Let f be k(8). Suppose f = c + 3. Is c != u?
True
Let t = -341 + 335. Let r = -451 - -451.1. Is t > r?
False
Let m = -4.87 - 0.13. Let l = -4.6 - m. Let i = 240764/7 + -34395. Which is smaller: l or i?
i
Let o = -2.14 - -1.91. Suppose 0 = -5*l + 11 - 1. Suppose l*c - 1 = 3*c. Which is smaller: c or o?
c
Let i = -31.4 - -58.5. Let q = -53 - -26. Let g = q + i. Is 47 at most as big as g?
False
Suppose 73 - 3 = -7*o. Let r be (-2 - o/3) + 23/(-60). Is r at least 0?
True
Suppose 19*z = 18*z - 2. Let c be z/((-2)/(-3)) - 89. Let t = 86 + c. Is t greater than -8?
True
Let l be (2 + -4)*(8 + (-2727)/18). Is l bigger than 287?
False
Let p be 4*12/108 + (-338)/(-9). Which is smaller: p or 410/11?
410/11
Let l = 114025/51 + -2245. Are l and -8 unequal?
True
Let y = 77 - 75. Let o(i) = -2*i**3 - 9*i**2 + i - 1. Let d(q) = -2*q**3 - 9*q**2 + 1. Let n(f) = y*o(f) - 3*d(f). Let k be n(-4). Which is smaller: 11/3 or k?
k
Suppose -2*u - 1957 = 3*z, -17*z + 19*z - 4940 = 5*u. Let m = 1000 + u. Which is greater: 16 or m?
16
Let s be (-2)/10 + (18 - 2622/115). Let u(p) = 3*p. Let n be u(1). Suppose -4*z - 5 = n. Which is smaller: s or z?
s
Let s(r) = -r**2 + 30*r + 107. Let a be s(33). Let t be a/28 + 28/245. Which is greater: t or -2.3?
t
Let u be (5/((-60)/(-28)) - 3)*-3. Suppose 5*c + u*o = 123, 5*o + 80 = 10*c - 7*c. Are -1 and c equal?
False
Let z = 74 - 35. Let w = z - 35. Suppose -2*g + 30 = -w*k, 5*g = -0*k - 2*k - 45. Which is smaller: -2 or k?
k
Let z = 9405 + -10791. Is -1394 < z?
True
Let f = 918 - 917. Let n be 39/2*(-120)/(-45). Is f at most n?
True
Let g = 434739/45902 + -1083/118. Is g at most as big as -1?
False
Let j = 32.6 + -23.6. Let t = j - 11. Is -0.21 != t?
True
Let l = -244874452/3839 - -63786. Let k = 61458/65263 - l. Is 1 greater than or equal to k?
True
Suppose -10*w + 2074 - 394 = 0. Is w less than 1/4?
False
Suppose -2*v - 303 = -3*x, -7*v - 109 = -x - 9*v. Let o = 100 - x. Is o bigger than -16/7?
False
Let j be (-510071)/(-5370519) + (-6)/63 + (3 - 3). Which is smaller: j or 1?
j
Let q =