- 0.12. Is m greater than or equal to u?
True
Suppose 3*d - 80 = d. Let l = 106 - d. Let p be 2/(l/101) + (-3)/1. Is -1 smaller than p?
True
Let n = 131 + -85. Let j = n + -46.008. Let h = j - 0.092. Are 2.2 and h non-equal?
True
Let c = -103/264 + 273433/698808. Is c equal to -1?
False
Let m be ((-11)/(7139/(-44)))/(-10). Which is bigger: m or -1?
m
Let z be 2*((-8866)/5911 + 6/4). Is -1 equal to z?
False
Let f = -4634.03 - -4634. Let d = 0.21 - 0.11. Which is smaller: f or d?
f
Let o(s) = -s + 16. Let n be o(13). Suppose 0*h + n*h = 42. Let p be 30/h + (-8)/4. Is 0 greater than or equal to p?
False
Let g be (-78)/36 - 28/(-24). Which is greater: -2/11361 or g?
-2/11361
Suppose 0 = 4*y - 12*y - 1648. Let h = -1460/7 - y. Which is smaller: h or 0?
h
Let x = -14018 - -14018. Suppose p = -3 + 1. Which is greater: p or x?
x
Let o = 40451/5683506 + -13/1686. Is o less than -1?
False
Suppose -h - 501 - 308 = 0. Do h and 2 have the same value?
False
Let l(d) = -48*d + 250. Let t be l(5). Let z be 2/(-2)*(-22)/(-1). Let p be -2 - z/t - 1764/8220. Is -1 smaller than p?
True
Let z = 1 - -2. Let k be (z/(-15) - (-20)/(-25)) + -41. Which is greater: k or -44?
k
Suppose -b - 11*x + 13*x = -416, -5*b + 2*x = -2064. Suppose -1100*h = -1096*h + b. Is -102 less than h?
False
Suppose 0 = 4*h - 12, -4*x + 3*h - 2 - 3 = 0. Is x at most as big as -2/2835?
False
Let s be 1056/(-102) + 4 + 7. Are 2 and s nonequal?
True
Suppose 0*v + 5*v + 44 = -f, -2*v = 4*f + 14. Let b(l) = 12433 - 12434 - l - 3*l. Let h be b(v). Is 67/2 not equal to h?
True
Let x(i) = 4*i**3 - i**2 + 69*i + 136. Let s be x(-2). Let n = -65 + 28. Which is smaller: s or n?
s
Suppose 77 - 363 = -2*d. Let a be (-2004)/(-14) - (-2)/(-14). Is a greater than d?
False
Let w be 3/((-30)/404) - 108/(-270). Let m(g) = -3*g**3 + 4*g**2 + 3*g - 6. Let v be m(3). Which is greater: v or w?
w
Let z be -1 - 1 - ((-588896)/(-193697) + -5). Let b = -3/469 - z. Is b <= 1?
True
Let u = -0.045 + 2.041. Let z = u - -0.894. Is z > 2/7?
True
Let v be 1*(-9 + -8 + 14). Let r = -4405 + 92450/21. Is r less than v?
False
Let t = -16.396 + -0.714. Does 1 = t?
False
Suppose -2*m - 5*v - 1204 = 0, 2*m - 6*v + 8*v = -1204. Is m != -4216/7?
True
Let i be 212/230 + (0 - ((-286)/(-65) + -4)). Suppose -4*q - 20 = -48. Let m = q + -6. Are i and m equal?
False
Suppose -13*t = -18*t - 5*z - 35, 25 = -5*z. Let d be 4 + 1 + (5 - 7). Let y be 9/t*d/(-72)*2. Is y < 1?
True
Let q = -182 + 177. Let u be ((-44)/55)/((-6)/q). Is -99 greater than u?
False
Let p = 84 + -81. Let g be 15/p - (3 + -4). Suppose -3*c - c + 32 = 0. Are g and c nonequal?
True
Let h be (12*(-3)/(-22))/((-213)/(-1562)). Let r(f) = 3 + f**3 - 13*f**2 - 5*f - 30 + 19*f. Let o be r(h). Which is smaller: -14/5 or o?
o
Suppose 255 = -21*f - 81. Which is greater: f or -17?
f
Let n = 81 - 1319/13. Which is bigger: n or -20?
-20
Let i(w) = 105*w + 2. Let r be i(2). Let o = -9422 + 28894/3. Let k = o - r. Are -3 and k equal?
False
Suppose -2*k = -3*f + 14, 6 = 2*f - 2*k - 2. Suppose l = f*l - 25. Suppose 0*j = l*j. Is j < -2/25?
False
Suppose 14 - 4 = 4*a - 2*m, -4*m + 13 = 3*a. Suppose -f - a*l - 114 = -l, 0 = -4*f - l - 428. Which is bigger: f or 1?
1
Let m be 460/330*(-1)/(-30) + 54/(-594). Let s be 4/14 - 18/14. Which is smaller: s or m?
s
Suppose -5*g = i - 496, -4*g + 552 = 5*i + 151. Let h = g + -96. Suppose -2*r - h*r + 50 = 0. Is r >= 8?
True
Suppose 81*b + 475*b = -7*b. Which is smaller: b or 37/440?
b
Suppose 0 = 5*t - 12*t + 70. Suppose -t*d = d + 22. Let c = 7 - 9. Is c < d?
False
Let m = 17.3986 + -17.5986. Let v = 0.8 + 0.2. Which is smaller: v or m?
m
Suppose -2*l - 156 = -4*o, 42*l - 46*l - 336 = -2*o. Let n = -222 - l. Is n >= -139?
True
Let y(k) = 18*k + 8*k - 40*k + 17*k + 83. Let d be y(-20). Which is greater: d or 22?
d
Let r = 3054 + -3000.84. Let z = -54 + r. Let b = z + 18.84. Which is greater: b or 1/2?
b
Let q = -25 + 15. Let k be (12/16)/((-5)/(q*38)). Do 56 and k have different values?
True
Let h = 0.105 + -0.355. Let j = -146 + 148. Are h and j equal?
False
Let y = -302 - -298. Let o be (-6 + y + 8)/(8/12). Which is greater: 52 or o?
52
Let c = 193 + -194. Which is smaller: c or -34/57?
c
Let u = -731 + 730. Is -1/1602 at least as big as u?
True
Suppose 5*h = 2*c - 28, -h - 2*c + 5 = 1. Let p be (h/3)/((-6)/36). Is p <= -15?
False
Let x be -8 - (2 - (4 + -432)). Are x and -2/17 nonequal?
True
Let l be 6/(-27) - 14/(-63). Suppose -3*b = -15 - l. Suppose b*o = -3*z - 15, -3*z + 0*o + 3 = -o. Is -6/29 smaller than z?
True
Suppose -3*v - 2*q = -0*v + 5019, 4*q - 3362 = 2*v. Is v > -1675?
False
Suppose -56*a + 108*a + 80*a = -425*a. Which is bigger: -7/253 or a?
a
Let p be (-2)/(-4)*(-14)/(-8). Let a = -428 - -516. Suppose 3*r - a = -85. Is r at least as big as p?
True
Let z = 760 - 1516. Which is smaller: -754 or z?
z
Let g be (-3 + 2)*(-7 + 0). Let v(z) = 2*z - 51. Let i be v(26). Let l be (-66)/33 - i/(1/(-4)). Is g at most as big as l?
False
Let u = 18 + -19. Let z be 1/41*(0 - (-3)/99). Let y = z + -4964/4059. Is u at least as big as y?
True
Let x = 16 - 8. Suppose 0 = t - 3*o - 8, -2*t + 4*o + x = -12. Suppose 0 = 2*d + y + 2*y - t, y + 28 = 4*d. Which is bigger: 3 or d?
d
Let k = 14401.4 - 2381.4. Let l = k + -12232.899. Let z = 213 + l. Which is bigger: z or 0.1?
z
Let s be 34/8 + (-2)/8. Suppose -x + 15 = s*x. Which is smaller: 7 or x?
x
Suppose -2806 = -3*u - 5*i + 7132, 3*i - 16590 = -5*u. Is u less than -1?
False
Suppose -32*c - 11641 = -20*c + 1931. Which is bigger: c or -1128?
-1128
Suppose -5*z - 3*b = 15, b = -2*z - 4*b - 25. Suppose z*l + j - 4 = 4*l, -2*l = -3*j + 12. Let o = 1/4 - l. Which is smaller: 3.2 or o?
o
Let c be 42*(20/(-8) - 5). Which is smaller: -317 or c?
-317
Suppose 5*h = -20, 3*h - 66 = 2*k + 2*h. Let v = -18 - k. Let b(j) = -3*j + 4. Let w be b(-4). Are v and w non-equal?
True
Let k be ((-21)/14700)/(-1 - 1). Is k less than or equal to -0.4?
False
Suppose 32*g = 4*v + 34*g - 6, 41 = 4*v - 5*g. Let j be (-100)/120*v/(-5). Which is smaller: j or -47/8?
-47/8
Let s = -18.108 - -17.8. Let m = 0.32 + s. Let g = 5.988 + m. Which is greater: g or -3?
g
Suppose 55*g - 1070 - 697 = -62. Let k = 66 - 36. Is k less than or equal to g?
True
Suppose 46*n - t + 654 = 42*n, -5*n = -5*t + 795. Is -187 greater than or equal to n?
False
Let c(r) = r**2 + 86*r + 1474. Let s be c(-23). Are s and 134 unequal?
True
Let m(w) = -w**3 + 4*w**2 + 5*w. Let r be m(5). Suppose -5*b + 5 = k, 0 = -r*b - 4*b + 2*k - 10. Suppose -4*j + b*j = 4. Which is bigger: j or -8/9?
-8/9
Let i(j) = -j**2 - 8*j + 21. Let y be i(-10). Let t(u) = u**3 - 12*u**2 - 13*u - 5. Let p be t(13). Let k be 1/4 + p/120*2. Is y not equal to k?
True
Let l = 3.7 + 8.3. Suppose 48 = -15*q + 17*q. Let a be (2 + 1)*(52/q + -2). Is l > a?
True
Let r(s) = -s**3 - 6*s**2 + 2*s + 13. Let z be r(-6). Let t = -3/560 - -41/59920. Which is greater: z or t?
z
Let l = -284 - -288. Suppose 3*h + 3 = l*p, -5*p = -0*p - 2*h - 2. Let f = -164/3 - -56. Is f greater than p?
True
Suppose 0 = 2*q - 2*y - 6, -2*q + 14*y = 18*y + 12. Let l be (-3)/((-27)/(-3)) - 544/(-1614). Let d = l + 479/15871. Which is bigger: d or q?
d
Let o be (-7385)/(-14)*414/(-75). Let c = 2853 + o. Is -60 at most c?
True
Let j = -604 + 572. Let q = 223/7 + j. Which is greater: -1 or q?
q
Let g = -487 - -441. Is 60 less than g?
False
Let x = -4420 - -4421. Does x = 108/47?
False
Let t = 190 + -278. Let y = 59 + t. Which is smaller: y or 0.2?
y
Let d be (223480/125)/(((-4)/(-50))/(21/(-105))). Which is greater: -4471 or d?
d
Let x = 529 - 807. Let h = 121 - x. Which is smaller: h or 1/3?
1/3
Let p = 18 + -20. Let j = 4.35 + 1.65. Is p at most j?
True
Let t = -2 + 8. Suppose j + 4*w = -3 + t, 0 = -2*j + 2*w - 4. Is -97 > j?
False
Suppose 2*i = 5*g, 2*i - 5 - 9 = -2*g. Suppose -226*q = -6608 - 28648. Suppose i*z + 144 = -2*f, -3*z - q = 2*z - 2*f. Is z >= -30?
True
Let a = -6616 + 7033. Is a < 404?
False
Let h be (-3)/(-15)*((-44)/5912)/11. Let p = h + -1633/1585155. Does 1 = p?
False
Let a = -734 + 300941/410. Let b = 429/7790 - a. Let d = -47/171 + b. Which is bigger: d or 8?
8
Let p = 5350 - 3012. Is 2338 > p?
False
Let j(d) = 19*d**2 + 79*d + 88. Let s be j(-4). Are 691/9 and s non-equal?
True
Let g = 36352203/1484 - 97