ich is smaller: m or 0?
m
Suppose -5*d = -390 - 450. Let y = 169 - d. Is 3/67 < y?
True
Let r = 144 - 144. Let o be 18/(-105) - ((-10)/35 - r). Let l be 1 - (3 - (-1)/(-1)). Which is bigger: l or o?
o
Suppose -8*g - 350 = -910. Suppose -3*u = -0*z + 4*z + 273, -3*z - 210 = -3*u. Let v = z + g. Which is greater: v or -2/9?
v
Let b = 556 + 449. Let w = b - 1010. Let u = -0.24 + 10.24. Which is bigger: u or w?
u
Let f = 64 - -257. Let o = -345 + f. Which is bigger: -0.06 or o?
-0.06
Let n be 6/18*17*3. Let k = 2 - n. Let w be k/(-10)*(-10)/3. Is -19/5 < w?
False
Let s be -684 - (-1 + (-15)/(-3)). Let v = s - -1376. Which is bigger: 687 or v?
v
Let w be -630*(-40)/13500 - (-2)/15. Let t(d) = 5*d. Let c be t(1). Suppose 3*u + 10 = -c. Which is smaller: u or w?
u
Let m = -1364.9 - -1362.9. Is m bigger than 381?
False
Let l be ((-210)/1225)/(2/(-60)). Let w = 4.8 - 5. Do w and l have different values?
True
Let j be 78117/(-273) - (1 - 12). Which is smaller: j or -276?
-276
Let l be ((-8)/(-6))/(18/891). Let y = l - 62. Suppose -2*u + 0 = n + 4, 10 = -2*u - y*n. Do u and -9/4 have different values?
True
Let y = -1057 - -1062.7. Let c = -6.725 + 0.025. Let j = y + c. Is j less than -0.2?
True
Let z = -5098 + 7733664/1517. Is z >= 0?
False
Let r(t) = -7*t**2 + 92*t + 721. Let i be r(-8). Which is bigger: i or 0.2?
0.2
Suppose -3*r - 5*l + 77 = 0, -5*r - 2*l - 2*l = -150. Suppose 7*b - 57 = r. Suppose -3*x = u - b, -4*x = -u - 0*x - 15. Which is bigger: 3/71 or u?
u
Let y = 760 + -92. Let w = 87083/4 - 21108. Let s = w - y. Does 1 = s?
False
Let m be (1 + (-4)/3)/((-30)/(-810)). Let c be (-8)/2*(21/m)/7. Let y(w) = -w**2 + 1. Let h be y(1). Do c and h have the same value?
False
Let r(d) = 6*d - 14. Let y be r(-5). Let m = 48 + y. Suppose 4*w + m = 12. Are w and 4/7 nonequal?
True
Let a = 19817 - 8858. Do 10958 and a have the same value?
False
Let t = -7 - -14. Let l = 3824419/43 - 88940. Are t and l unequal?
True
Let s = -0.1 + 1.1. Let h = -461 - -461. Let y = s + h. Is y at most as big as 0.19?
False
Let p be -2*9/6 + 9. Let d(i) = -i**2 + 9*i + 13. Let f be (-64)/(-224) + ((-122)/(-14) - 0). Let w be d(f). Which is bigger: p or w?
w
Let r = -8254 - 463. Which is bigger: r or -8718?
r
Let y(v) = 2*v - 17. Let s(t) = -4*t + 34. Let w(m) = -3*s(m) - 5*y(m). Let d be w(9). Let b be 12/16 + 4/(-16). Which is bigger: b or d?
d
Let x(m) = -63*m + 2166. Let t be x(34). Is t not equal to 106?
True
Suppose -x - 5*c = -0*x + 26, -4*x = -c + 167. Suppose 5*l = 3*q - 1107, 18*q + 3*l + 1845 = 23*q. Suppose -21*m + 12*m - q = 0. Is x >= m?
True
Let o be ((-13)/52)/(99/(-216)*436/(-3)). Which is bigger: o or 0?
0
Let a be 5/((-15)/6)*3/2. Let p(c) = 5*c + 2. Let q be p(-4). Let y be (q/10)/(a/5). Does y = -2/5?
False
Let c = 7.4 - -13.6. Let m = 337 - 358.1. Let a = c + m. Which is smaller: 3 or a?
a
Suppose 0 = 246*g - 268*g + 1045 + 363. Suppose -168 = 4*v - 432. Is g bigger than v?
False
Let z(c) = 86*c + 1883. Let r be z(-21). Is 78 less than r?
False
Let x = 25006807/1782 - 14033. Which is bigger: x or -1?
x
Let h = 435 - 277. Do h and 154 have the same value?
False
Let h be (-1)/((2 - 4)*10). Let a = 150 - -216. Suppose -6*r + 360 = a. Which is smaller: r or h?
r
Let j(u) = 6*u - 13*u - 27*u + 6*u - 27 + u**2. Let s be j(30). Is s at most 35?
True
Let o = 66.665 + -66.665. Let z = 0.07 + 0.23. Let c = -0.4 + z. Is c >= o?
False
Let b = 1 + -1. Let t be (-1332)/(-48) + -14 + 6*1/(-8). Which is bigger: t or b?
t
Suppose 0*k - 10*k + 20 = 0. Suppose 65 = 5*d - 0*d + t, 5*t = k*d - 26. Which is greater: d or 2?
d
Let h be (-1)/2*((-10)/(-2) + -7)*-6. Suppose 0*y = -4*y - 20. Are h and y nonequal?
True
Let z(y) = 69*y + 139. Let t be z(-2). Let o be ((-1)/2)/((-1)/(96/(-186))). Is o > t?
False
Let r(o) = o**2 - 17*o + 9. Let n be r(17). Let v(k) = k**3 - 10*k**2 + 7*k + 21. Let g be v(n). Is 3 at most g?
True
Let q = 176 - 170. Let b be (52/(-78))/(28/54*3). Which is greater: q or b?
q
Let s = -2125.619 + 2126. Is s smaller than 1/8?
False
Let m = -618 - -617.7. Which is smaller: m or 864?
m
Suppose 4*l = z + 1, -16 = 4*z - 4*l - 0. Let b(h) = h**2 + 8*h + 6. Let x be b(z). Let c = -4/281 + -10381/1124. Is c at most as big as x?
True
Let y = 7475 - 9575. Which is bigger: y or -2102?
y
Suppose 8010 = 3*j + 2325. Suppose -7*a = 898 + j. Is a > -398?
False
Let r be (-60295)/(-62) - 3/6. Let a = r - 971. Which is smaller: -12/55 or a?
-12/55
Let m = -18114 + 73249/4. Suppose 3*i + 2*o + 606 = 0, 0 = -i + 4*o - 0*o - 188. Let z = i + m. Which is bigger: z or 1?
1
Let n be (-2928)/610 - 6/5. Is -84 bigger than n?
False
Let l = -1/39086496620 + -134981096360426067/7231001874700. Let c = l + 18667. Which is bigger: c or 1?
1
Let p be (4 - (-2248)/20)/(-16*11/5940). Which is smaller: p or -3930?
-3930
Let q = 33 - 24. Suppose -11 + q = g. Let k be g/7 + 60/504. Is 0 > k?
True
Suppose 0 = -3*z - 3*r + 54 + 24, 5*z + 3*r = 130. Let a be -2 - (z/(-6) - -2). Let s(y) = y - 7. Let u be s(8). Is u less than or equal to a?
False
Let a(m) = 3*m**2 - 2*m. Let o be a(-1). Suppose 4*l + 3*y = 2, 5*l + 17 - 2 = o*y. Is 3/320 not equal to l?
True
Let c = 135 - 512. Let m = 380 + c. Is m smaller than -0.08?
False
Let h be 336/18*48/28. Is h at most -41?
False
Let m = 667 + -668. Suppose -4*t + 2*t = 8. Let b be (-5)/t*(-2)/5. Which is smaller: b or m?
m
Suppose -14*v + 25*v - 1305 = 2*v. Is 877/6 not equal to v?
True
Let c be (9 + 2817/(-315))*-7. Which is smaller: 341.5 or c?
c
Let c = 19.62 - 15.62. Are -3/730 and c unequal?
True
Suppose -17*o + 18*o + 7 = 0. Let t be (-191)/8 - o/(-56). Are t and -27 unequal?
True
Suppose s = 4*s - 93. Suppose v - 13*p = -14*p - 2, -6*v - p = 7. Which is greater: v or s?
s
Suppose -8 = q + q. Let d be q/6*(-366)/(-8). Let j = 1459 + -1491. Is j bigger than d?
False
Let y(s) = 16*s**2 - 6*s - 31. Let i be y(-6). Let d be 110/(-1224) + (5 - i/119). Is 0.1 less than or equal to d?
False
Suppose 66 = 3*s + 9. Suppose 109*y - 108*y - 5*o + 38 = 0, -3*o = -5*y + 30. Which is greater: s or y?
s
Let i be -15 - (-74695)/3395 - 7. Let j = 5 - 5. Which is greater: j or i?
i
Suppose -3*t - 79*b = -78*b + 5767, -5*t + 5*b - 9645 = 0. Do t and -5776/3 have the same value?
False
Let h = 103.806 - -0.194. Let i = 101.5 + -101.5. Is h smaller than i?
False
Let p(y) = -180*y - 4571. Let w be p(-11). Is -2591 smaller than w?
False
Let f be (2 - 7/4) + (-2967)/828. Suppose 0 = 4*m - 7*m + 3*r, -m = 3*r + 12. Is m < f?
False
Suppose 2*u - 4*w + 16 = 0, -15 = 5*u - 3*w - 2*w. Let v = u + 3. Suppose -v*b + 3*c + 223 = 0, -b - 3*c = 2*c - 39. Which is bigger: 45 or b?
45
Let d = 2631.071 - 2618. Let h = 0.013 - -0.058. Let b = d - h. Which is bigger: -3 or b?
b
Let l be (-10 + (-1364)/(-136))*-10. Which is smaller: l or -2/7?
l
Let n be 1 - (-64)/24*18 - -4. Which is smaller: 573/11 or n?
573/11
Let d = -23/2 - -10. Let m(v) = 4*v**2 - 57*v + 115. Let a(x) = x**2 - 14*x + 29. Let c(s) = 9*a(s) - 2*m(s). Let z be c(8). Is z less than or equal to d?
False
Let z = 30 + -27. Let t = 7.7 - -30.3. Which is smaller: z or t?
z
Let q = 0.05 - -104.95. Let n = 105.087 - q. Let j = 1.913 + n. Is j not equal to 0.07?
True
Let w(k) = -331*k**3 + 6*k**2 + 22*k + 10. Let m be w(-2). Are 2638 and m nonequal?
False
Let r(d) = 26*d**2 + d. Let h be r(1). Let n be (-440)/(-16) - 3/((-13 + -14)/(-9)). Is h at most as big as n?
False
Let b be 1085/15 + (-4)/(-6). Let g be (1*3)/((3/75)/((-4)/(-4))). Are g and b unequal?
True
Let x = -15 + -2. Let s be (-177)/10 - (-786)/524. Which is smaller: s or x?
x
Let u be (-2)/6 + 98/60. Let k(c) = 57*c + 5. Let i(m) = -28*m - 3. Let l(s) = -5*i(s) - 3*k(s). Let n be l(0). Which is smaller: n or u?
n
Let f = -30 - -2329. Suppose 23*i = -185 - f. Which is smaller: i or 0.2?
i
Let s = -31 - -30.7. Let d = 6.3 + s. Let z = 3 - d. Is z at least as big as 3?
False
Let z = 372 + -215. Let m = 153 - z. Is -15/4 greater than m?
True
Suppose -149*x - 175*x = 184*x - 152*x. Is x smaller than -36/1081?
False
Suppose -250 = 15*k + 365. Which is smaller: k or 23?
k
Suppose -f - 5 = -5. Suppose 3*q - 2*q = -22. Let c be 2/q - 0/(-4). Is f <= c?
False
Let u = -142 - -268. Suppose -121 = -i - u. Suppose 0 = -6*s + 2*s + 12. Is s bigger than i?
True
Let a(l) = -1161*l