 5*o + 8*w = 7*w + 707, o + 2*w - 136 = 0. Let x = -141 + o. Let v be (-3)/(-3*257)*-2. Which is bigger: x or v?
x
Let k be 1/(-4) - (-27341)/(-76). Let t be 718/(6 + -4)*(-2)/2. Is k bigger than t?
False
Suppose -5*j - p = -0*j - 35, j = -p + 11. Suppose 43*o - 103 - 2 - 67 = 0. Suppose 3*b + j*m = 2*m - 40, 16 = -o*m. Which is bigger: -12 or b?
b
Let h be ((-2)/5)/(13/(-195))*-2. Let v = 334 - 352. Which is bigger: v or h?
h
Let i be (-690)/(-30) - ((-4 - 1) + 4). Let p = -1723 + -1112. Let x be (-2484)/p + 2 + i/(-10). Which is greater: 0 or x?
x
Let h be 1/17*(-56)/140. Suppose 0 = -3*m + j - 1, 4*m - 4*j + 12 = 0. Is m less than h?
False
Let t(y) = y**3 + 6*y**2 + 5*y + 2. Let c be t(-5). Suppose c*q = -3*q + 5. Let d = 378088/5 - 75617. Is d smaller than q?
True
Let s = 18139462/837 + -21672. Suppose -2*i - 3*i + 5 = 5*u, i + 5*u - 5 = 0. Is i less than or equal to s?
False
Suppose 7*w = -0*w + 210. Let i = w - 64. Let t = i - -35. Is t less than 0.3?
False
Suppose -11*z = -10*z + 380. Let a be (266/z)/((-12)/10). Which is greater: 1 or a?
1
Let r(n) = -106*n + 1808. Let k be r(17). Let f(l) = -l + 1. Let y be f(-3). Suppose -4*t = -5*d + 4, -d + y*d = -4*t + 28. Which is greater: k or d?
k
Let m = -15 - 0. Let u(i) = -50*i**2 + 543*i - 849. Let x be u(9). Is m >= x?
False
Let x be 4/5*(-195)/(-6). Let i = -22 + x. Suppose i*g = -0*g - 4. Which is bigger: -0.4 or g?
-0.4
Suppose 10 = 5*d, -j + 5*d - 4 = 17. Let m(p) = -p**2 - 6*p + 48. Let r be m(j). Let l be (-3 + (-20)/r)*-62. Is 9 <= l?
False
Suppose -3*o + 9 = 0, -9*q + 7*q - 3*o - 11 = 0. Is -420/37 less than q?
True
Let i(u) = -u**3 + 3*u**2 + 8*u - 23. Let f be i(3). Which is greater: 39 or f?
39
Let u(q) be the third derivative of q**4/8 - 23*q**3/6 - q**2. Let l be u(9). Suppose 5 = -3*b - l. Is -3 <= b?
True
Let j(k) = -14*k + 15. Suppose 0 = -25*z + 37 - 12. Let y be j(z). Which is smaller: 3/544 or y?
3/544
Suppose 28472 = -1000*d + 996*d. Is -7118 at least as big as d?
True
Let p(y) = -y**2 - 3*y. Let q be p(-2). Suppose d + 6 = -3*r, -3*r = -q*d + 9 + 6. Do -19/5 and r have the same value?
False
Let n(a) = a**3 + 8*a**2 - 14*a - 6. Let s = 295 - 302. Let l be n(s). Which is greater: 139 or l?
l
Suppose -93*c = -84*c - 1062. Is 125 >= c?
True
Let y = -4567 - -4319. Which is smaller: y or -247?
y
Suppose 4*g = -4*j + 1144 + 444, 1573 = 4*g - j. Are g and 1577/4 nonequal?
True
Let d = 395 - 397.89. Let o = d - 1.51. Are -2 and o non-equal?
True
Let b be 14995/(-15) - 0 - 3/(36/(-8)). Do b and -999 have different values?
False
Let x = 170 - 166. Suppose x*g - 59 - 16 = 5*m, -3*m - g = 45. Is -16 bigger than m?
False
Suppose 2*q + 2*z - 63 = 401, 0 = -2*q + 3*z + 449. Let l = q + -181. Is l < 51?
True
Let a be 0 + 11002/7 - (-27 + (-2431)/(-91)). Is a equal to 1572?
True
Let q = -35565 + 141277/4. Let l = q - -246. Is l >= 0.3?
False
Suppose -5617*w + 5628*w - 220 = 0. Which is bigger: w or -0.1?
w
Let w = -14/3399 - 108698/16995. Is -183 equal to w?
False
Let q(g) = -2*g - 5. Let u be q(-7). Let w = -237 + 243. Let z be (w/(-68))/(u/(-24)). Which is smaller: 1 or z?
z
Let u be 18798/(-15795) - 6/(-15). Which is greater: u or -1?
u
Let k = 112 + -111. Let v = -378.71 - -379. Which is bigger: v or k?
k
Let l be -24 - 18/((-306)/391). Which is smaller: 16/2629 or l?
l
Let z = -12633 + 12634. Which is bigger: z or 5/3097?
z
Let n be 16/56*(3350/(-275) + 2/11). Let d = 33 + -59/2. Let o = d + -23/6. Which is greater: n or o?
o
Let z(w) = -w + 20. Let i be z(20). Let m be -10 + i/(-3) + -6 + 3. Is 0 >= m?
True
Suppose g - 5*b = -131, 2*b - 12 = g + 104. Is g >= -90?
False
Let l be 9160/16*(-1 + (-9)/(-5)). Suppose 3*r = -2*m + l, -2*r - 4*m + 156 = -r. Let x = r - 917/6. Which is bigger: -1 or x?
x
Let o = 5099 + -4161. Does o = 4689/5?
False
Let r be -4 + 36*(5 - 3). Suppose q + 3*q = 272. Is q > r?
False
Let x = -973/108 - -13335181/1480140. Are 0 and x nonequal?
True
Suppose -2*x + 3*x = -4*i + 18, -2*i + 2 = 4*x. Let l be (-7)/x*20/7. Suppose 18 = -3*o + 7*k - 2*k, 3*k = -o + 8. Is l equal to o?
False
Let j = -9365 - -9339. Is 1/243 > j?
True
Let o(b) = -5*b + 15. Suppose 6*p = -3*q + 2*p + 26, 3*q = 4*p - 14. Let u be o(q). Let z be (u/3)/(55/(-45)). Is -2 != z?
True
Let t = -0.347 + 0.427. Let n = -8.7 - -9. Let a = n - -0.7. Which is bigger: a or t?
a
Suppose 5*u + 55*h - 29 = 58*h, 0 = 2*u + h - 5. Which is greater: -178 or u?
u
Let l = 2.9 - 3. Let z = -1117 - -306. Let f = z + 787. Is l less than or equal to f?
False
Let g be (-78 + -3)/(3948/(-51856)). Suppose -5320 = n + 4*n. Let v = g + n. Are 1 and v non-equal?
True
Let t = -33 - -57. Let b be ((-903)/t)/7 + 7. Which is smaller: 2 or b?
b
Let i = -2913135/109 + 26726. Do i and 28 have the same value?
False
Let j be 676/(-22) - (-27 + 78/3). Which is greater: j or -30?
j
Let s = 0.11 - 0.131. Let x = -0.009 - s. Is 0 < x?
True
Let c be 11186280/(-447480) + (-2 - -27). Which is bigger: c or 1?
1
Suppose -3*j + 2*j = 4*v - 18, -3*j = 3*v - 18. Is v less than or equal to -307?
False
Let u(m) = 4*m**2 + 11*m - 8. Let o be u(18). Let k = o - 19308/13. Let c = -1606 + 1608. Are c and k nonequal?
True
Let z = -2.88 + -0.12. Let b = -117 + 135. Which is greater: z or b?
b
Suppose b - 5*h = 787 - 827, -32 = -2*b - 4*h. Is b < 1/40538?
True
Suppose -m - 2*m - 5*a = 898, 0 = -5*a + 20. Let q = 296 + m. Let k be (-10)/(-6)*(-56)/10. Are k and q non-equal?
True
Let k = -66 + 69. Suppose q = -3*q - 5*j - 45, k*q + 3*j = -36. Let i be (0 - 1)*q/(-15). Which is greater: i or 0?
0
Suppose 6*v + 140 = 10*v. Let s be 2 - ((-2)/(-7) + (-115)/v). Let z(m) = 5*m**2 + 2. Let y be z(-1). Which is smaller: y or s?
s
Let n(i) = -116*i - 6. Let v be n(8). Let j be v/(-4) - (18/(-12))/1. Suppose j = 14*d - 129. Is 26 less than or equal to d?
True
Suppose -2*n = -7*n + 285. Let p = n - 48. Suppose -12*u - 3 = -p*u. Are -1 and u non-equal?
False
Let a = 33.4 + 4.6. Let z = -44 + a. Which is greater: 0 or z?
0
Suppose 5*z = -2*o - 142, -17*z - o - 57 = -15*z. Let v be 3/381*(-14)/z. Which is greater: 0 or v?
v
Let m be -3 + 8/(-8)*-3. Is m less than 31/255?
True
Suppose -5*k - 5*f = -7*k - 334, 2*f = -4. Which is greater: k or -174?
k
Let y = 102175 + -200127/2. Is y bigger than 2112?
False
Let h be 8/64 - (46685/40 + 1). Is -1167 bigger than h?
True
Suppose 0 = 4*b + 2*z - 118, 5*b = 3*z - 4*z + 143. Let c(g) = -g**3 - 10*g**2 + 26. Let h be c(-9). Let a = b + h. Is a at least -1?
False
Let b be ((-3)/(-4))/(-3 - 0). Let k = -9.7 + -1.1. Which is bigger: k or b?
b
Let h = -217 + 151. Let v be ((-2)/6)/((-11)/h). Let n be 4/((-24)/v) - (-21)/(-9). Is n greater than -5/8?
False
Suppose 3895*m = 3859*m. Suppose 4*y - 4*v = 40 + 44, -v + 123 = 5*y. Which is smaller: m or y?
m
Suppose -3*p - 5740 = 3*r - 21076, r - 2*p = 5133. Which is bigger: r or 5121?
5121
Let g be (-4 + 10)/(14/(-7)). Let o be 24/30 - ((-564)/(-5) + g). Is o less than or equal to -109?
True
Let h(f) = -7*f + 2. Let v be h(0). Suppose -v*u = 41 - 31. Which is greater: u or -6?
u
Let v = 382 + -188. Let c be ((-432)/(-45) - 10) + (-12)/(-30). Is v less than or equal to c?
False
Suppose 240 = -5*h + 8*h. Suppose -h = s - 83. Suppose 0 = -2*n - o - 11 + 30, s*n = o + 16. Is 3 at least as big as n?
False
Let s = -32963 + 32963.11. Is -4/435 smaller than s?
True
Suppose -29*z - 1085 + 1578 = 0. Which is smaller: z or -3/224?
-3/224
Let r(c) = 2*c**2 - 12*c + 12. Let g be r(5). Let k be (18/(-27))/(g/(-9)). Let w be (-2)/3*9/(-2). Is k equal to w?
True
Suppose -5*c = -35 - 35. Let h(l) = 9*l**2 + c + 3 + l**2 - l**3 - l. Let v be h(10). Are 8 and v non-equal?
True
Suppose -206*l + 201*l + 3*x = -23, 3*x + 16 = -2*l. Is 5/352 != l?
True
Suppose 4 = -5*q + 3*q. Let p(w) = w**2 - 13*w + 22. Let a be p(11). Suppose a = 10*t - 7*t. Which is bigger: t or q?
t
Let j(c) = -29*c**2 - 14*c + 18. Let x be j(-5). Let f = x - -1909/3. Is f smaller than -534?
False
Let r(x) = -2*x**2 - 2*x + 21. Let b be r(-9). Let t = b + 1105/9. Which is greater: -14/9 or t?
t
Suppose 167*n + 638 = 178*n. Let i = n + -172. Which is greater: -116 or i?
i
Let v = 0.3599 - 0.1068. Which is smaller: v or 3?
v
Let o be 0 - (3660/12957 - 4/14). Let b = -1268/10489 + o. Suppose 6*n - n = 5. Which is bigger: b or n?
n
Let 