u
Let p = 160 - 129. Suppose -p = j + 85. Is j greater than -116?
False
Let j be 6/(-4) - (-10)/20. Which is bigger: j or -8/9?
-8/9
Suppose 12*u - 13*u - 13 = 0. Let h = 22 + u. Let l(w) = -w**3 - w**2 - 2*w. Let o be l(-2). Which is smaller: h or o?
o
Let v = 0.1123 - 0.0123. Does v = 686?
False
Let a = -270 + 8637/32. Suppose 7*t - 9*t = 5*t. Is t greater than or equal to a?
True
Suppose -8*r - 293 - 851 = 0. Do -143 and r have the same value?
True
Let g = 7123 + -4978975/699. Is 0 less than or equal to g?
True
Let s = -1396 + 12562/9. Are s and -753 non-equal?
True
Suppose -3*b = -6, -9*w + 2*b = -4*w + 11554. Let r be (-3 - 6935/w)*-4 + 0. Are r and 1 nonequal?
True
Let m = -2 - -1. Let s = 24003433/24 + -999845. Let c = s + -298. Is c bigger than m?
True
Suppose 0 = -2*f + y + 7, 3*y + 11 = 3*f + 2. Suppose j + 54 = f*i, 4*j - 5 = -2*i + 13. Which is greater: 14 or i?
14
Let w(q) = -5*q - 1. Let g be w(4). Let p be (-3)/2*56/g. Let f be (-4 + 3)/(p/(-28)). Which is greater: f or 5?
f
Let c = 10.7 + -1.7. Let a = -5 + c. Which is bigger: 1 or a?
a
Let l = 645/8 - 81. Let n = 103649/1896 + -1/1896. Let u = 55 - n. Which is greater: l or u?
u
Let f(a) = a**3 - 4*a**2 - 5*a - 4. Let b be f(5). Let r be b - (3 + -3)/(-1). Do -19/5 and r have the same value?
False
Let k be 5 - (-1 + -3 + 6). Suppose -k*a + 8 = 50. Let v = a + 13. Is -4/11 != v?
True
Let x be 2/7 - 7/(-196)*-1996. Does x = -70?
False
Suppose -h + 10 = 5*m - 31, -4*h + 233 = -3*m. Let d = -51 + h. Which is greater: d or 1?
d
Suppose 2*j = 4*m + 44, 66 = 2*j + j - 2*m. Let n be (256/j)/4 + -3. Which is smaller: n or 0?
n
Let b = -0.05 + 4.05. Let w = -2.4 + b. Let a = 1.5 - w. Do a and -19 have the same value?
False
Let m be -5 + (-1 - (-2 - 1)). Let w be 6/44*(-2)/m. Suppose i = -2*r - 9, 2*i - 18 = -5*r - 41. Is w greater than or equal to i?
False
Suppose -69 = -5*z + 3*w, -2*z - w + 35 = 3. Suppose -10*d - z = -5*d. Is d bigger than -16/7?
False
Let g be 1/2 + (-3)/(-6). Let o be (175/(-34))/(-5) - g. Suppose -25 + 37 = 12*s. Are o and s equal?
False
Let m = 409/5 - 4414/55. Are m and 3 unequal?
True
Let i = 2508 - 2513. Let d = 0.2 + 0. Is d < i?
False
Suppose 0 = 3*v + 2*v + 5. Let r(n) = -n**2 - 7*n + 2. Let z be r(-7). Suppose 0 = 5*p - 7*p - z. Are p and v equal?
True
Suppose -6 = 2*i, 2*a + 5*i + 17 = 3*a. Let z be ((-6)/4)/(5/a). Which is greater: -1/4 or z?
-1/4
Suppose -5*t - 108 = -8*t. Suppose -t*x + 34*x = 24. Suppose -5*s - 33 = -2*s. Which is smaller: s or x?
x
Let l(d) = -d**2 + d + 1. Let j be l(3). Let o = -9 - j. Let i be ((-1)/(-4))/((-18)/o). Is i equal to 0?
False
Suppose -18*q - 64 = 170. Which is smaller: -53/4 or q?
-53/4
Let w be (((-1)/1)/9)/(-1). Suppose -2*g = -5*t - 5*g + 22, t + 4*g = 18. Suppose 0 = t*z + n, 0*z - n = -2*z. Which is smaller: w or z?
z
Let y = -522 + 288. Let f be 6/y*-3*6/(-2). Which is bigger: 1 or f?
1
Suppose -3*y = 2*y - 15. Suppose -12 = -3*a - 2*n, -2*n + 7 = 2*a - y. Let t be 2/(-12) - a/(-12). Is -3/10 less than or equal to t?
True
Suppose 3 = 3*l + 9. Let u be (l - -3)*18/(-190). Let m = u - 2/19. Which is smaller: m or -1/4?
-1/4
Suppose a = 5*a + o + 1196, 2*a + o + 600 = 0. Which is greater: -297 or a?
-297
Let j(s) = s**3 - 6*s**2 - 10*s + 18. Suppose -5*z + 15 = c - z, c - 9 = -z. Let f be j(c). Let w be ((-16)/(-10))/((-3)/3). Do w and f have the same value?
False
Let r(p) = 6*p - 24. Let x be r(5). Let t be x/(7*12/(-8)). Which is greater: t or 0?
0
Let y(f) = f**3 + 2*f**2 - f + 2. Let a be y(-2). Let r = a - 9. Let l be -10 + r/(15/(-12)). Is l less than or equal to -6?
True
Let a(c) = -7*c + 6. Let t be a(1). Let f be (-14)/(-4)*t - -1. Which is smaller: -3 or f?
-3
Let x = -17637/470 + 6/235. Let w = x + 263/7. Suppose 7*d - 850 = -857. Is w greater than or equal to d?
True
Suppose 12*a = 11*a - 2*s + 19, 68 = 5*a + s. Let o be (-1 - 0)*-14 + -1. Is a smaller than o?
False
Let j be (0 - 3) + 6 + 2. Let k(h) = h**2 - 17*h + 6. Let s be k(19). Let m be 209/s + 2/8. Does m = j?
True
Let p = -22 + 21.76. Let t = p - -0.24. Which is smaller: -4 or t?
-4
Let q = -28/13 + 166/65. Is q equal to 5/6?
False
Let o(d) = -d + 6. Let l be o(1). Suppose -l*i + 0 + 5 = 0. Which is smaller: -2/55 or i?
-2/55
Let o be (-2702)/(-182) - (-1)/((-13)/(-2)). Do o and 17 have the same value?
False
Let g = -20 + 17. Let v = g - -4. Suppose -7 = 2*u - v. Is -3 bigger than u?
False
Let h be (32/20 + -2)/(2/538). Suppose v + 4*z + 88 = 0, 50 = 4*v + 3*z + 467. Let i = h - v. Is i < -2?
False
Suppose 0 = 12*f + 5 + 7. Let k(q) = 3*q**2 + 2*q + 1. Let o be k(f). Are 1 and o unequal?
True
Let i = 3 + -3. Let a = -7/208 - -1221/23920. Is a less than i?
False
Suppose 5*q - y - 10 = 0, -4*q - q - y + 10 = 0. Let z be -1*(q/(-1) - -2). Let s(n) = -n - 10. Let a be s(z). Is -8 greater than or equal to a?
True
Let y = -1 + -4. Let x = y - -3. Let t = -8600 + 8599. Is x at most as big as t?
True
Let i(f) = -f**3 + 7*f**2 + 2. Let g be i(7). Suppose 3*s - 4*t = -s - 872, -t = 0. Let z = s - -1094/5. Is g at most as big as z?
False
Let c(k) be the third derivative of k**6/120 - 13*k**5/60 + 3*k**4/8 - 5*k**3/2 + 31*k**2. Let v be c(12). Is v at least as big as -52?
True
Let n = -22.944 + 23. Let z = n + -10.056. Is z less than -0.1?
True
Let j = 213 - 1277/6. Let x = 0.24 - -0.06. Let s = x - 0.4. Does s = j?
False
Suppose -5*a = 5*u - 25, 3*a - 15 = 2*a - 3*u. Let b = -1 + a. Let o be (30/(-21))/(b/7). Are o and 9 equal?
False
Let c = 0 - 1. Let z = 0 + c. Let y = z + -3. Which is smaller: 0.2 or y?
y
Let m = 10 - 12. Let d be 1/(m - (-4 - -1)). Let u be ((-4)/(-8))/(7 - 3). Is u greater than d?
False
Let a = 0 - -6. Let p(i) = 2*i**2 + 48*i + 248. Let h be p(-7). Which is smaller: h or a?
a
Let s(q) = -60*q + 300. Let i be s(5). Which is bigger: i or -40?
i
Let k = 8/231 + -734/231. Which is greater: k or -2?
-2
Let h(o) = -o**3 + 6*o**2 + 42*o - 20. Let n be h(10). Which is greater: n or 1/65?
1/65
Suppose -4*a = 5*l - 4 - 22, -3*a - l = -14. Is 4 greater than or equal to a?
True
Let x(q) = -7*q + 2. Let b be x(-1). Let t be b/6*(-16)/12. Which is smaller: t or 2/9?
t
Let r(k) = 5*k**2 + 9*k - 7. Let l(d) = -10*d**2 - 17*d + 13. Let b(m) = 6*l(m) + 11*r(m). Let p be b(-3). Is p at most as big as -35?
True
Let d = 857 + -858. Which is smaller: d or -3/124?
d
Suppose -7*f + 2435 = -3711. Let x = -9667/11 + f. Is -2 smaller than x?
True
Let c(r) = -r. Let p(s) = 7*s - 12. Let a(j) = -6*c(j) - p(j). Let z be a(0). Which is greater: z or 13?
13
Suppose 2*l = -3*i - 16, i - 27 = 3*l + 8. Let h(b) = -b + 1. Let p be h(-5). Let o = p + l. Is o at least as big as 0.1?
False
Let i be (-26)/(-76)*2 - 1. Let r be (-16)/(5 + -1) - 10/(-2). Is r bigger than i?
True
Let p = -68.7 + 18.7. Let f = 0.09 + -1.09. Is p equal to f?
False
Let g be 12/34*(-4)/40. Let l = g - -601/170. Let b(q) = -4*q**2 - 513*q + 913. Let v be b(-130). Which is greater: v or l?
l
Let t = -4796956/32781 + 1/10927. Let m = t + 146. Let i be 18*(-6)/100 - -1. Which is greater: m or i?
i
Let r be (-284)/(-24) - (-10)/(-15). Which is greater: r or 11?
r
Let r(i) = -19*i + 216. Let w be r(10). Is w bigger than 186/7?
False
Let g(i) = -i**3 + i**2 + 9*i. Let s be g(9). Let f = s + 11905/21. Which is greater: -1 or f?
f
Let j = -4 + 11. Let z(q) = q**3 + 5*q**2 - 5*q + 8. Let d be z(-6). Let l = d + 3. Is l at most as big as j?
True
Suppose 162*k = 160*k - 1116. Which is greater: k or -557?
-557
Let k = -2 + 2.1. Let q be (3/(-6))/(19/722). Which is bigger: q or k?
k
Let h = -514 + 382. Which is smaller: h or -136?
-136
Let y = 483389/1330 - 22728/35. Let c = 30/19 - y. Let q = c + -294. Is -7 at least as big as q?
False
Let j = 14 + -21. Let v be (j/(-6)*-3)/(-2). Is 1 less than v?
True
Let h be (-3)/(-8) + 1806/48. Suppose 2*z + 76 = 4*z. Is z at most h?
True
Let a = -8949 + 1745051/195. Which is greater: a or 1?
1
Let q = 53.1 + -44.7. Is q at most as big as 2?
False
Let v(i) = 3*i**2 + i - 2. Let m be v(-3). Suppose 2*j + m = 4*j. Let p = j - 12. Which is bigger: p or -2/7?
-2/7
Let g be 8/12*66*1. Suppose -i = 3*i - g. Suppose 5*s = 20, -6*o + o + i = 4*s. Which is smaller: -1/4 or o?
o
Suppose -1329 - 1557 = -13*l. Are l and 220 equal?
False
Let j = -102.3 - -102. Let d = 3.3 + -3. 